Adverse vaccinal events, or perceived vaccine-associated adverse events, are relatively uncommon in companion animal practice. These events, however, often evoke great concern to owners and veterinarians. Because of the low incidence of these events and the large number of potential antigenic causes, exact mechanisms are often difficult to elucidate. This article reviews current evidence relate...

This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We rst develop matrix as well as Kripke style semantics for those logics. Then, by extending the Godel-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting...

As people age, physical and mental abilities begin to degenerate. This often leads to disabilities. Many family members may not always be able to help the elderly, and home medical care can be discouragingly expensive. Currently, there are existing agencies that provide companionship services for the elderly by sending hired staff to the homes of elderly people who choose to live independently....

Resistive companion (RC) modeling is an easy-to-use approach for electric circuit simulations. With a RC numerical solver, simulations of complex electric systems can be achieved based on RC models. In this study, the construction of RC battery models is investigated. A general battery model and a nickel±metal hydride cell model have been built. Simulations of RC battery models on virtual test ...

Page 2 of 215 Abstract Embodied Conversational Agents (ECA) seek to provide a more natural means of interaction for a user through conversation. ECA build on the dialogue abilities of spoken dialogue systems with the provision of a physical or virtual avatar. The rationale for this Thesis is that an ECA should be able to support a form of conversation capable of understanding both the content a...

Objective- To determine the prevalence of nutritional secondary hyperparathyroidism (NSH) in companion and stray cats of Ahvaz.   Design- Clinical study. Animals- 80 cats (companion=40 and stray=40) Procedures- This survey was accomplished during a two-year period and based on clinical, radiographic and laboratory findings between 2005 and 2007. The studied cats were divided into two gener...

This paper is a companion technical report to the article “Continuation-Passing C: from threads to events through continuations”. It contains the complete version of the proofs of correctness of lambda-lifting and CPS-conversion presented in the article.

In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in λ-calculus, the ”call by value” in a context of a ”call by name”. J.L. Krivine has shown that, using Gődel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extensio...

In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the maintenance of relationships with our peers and it is grounded by cognitive features of memory. Aiming at creating agents that sustain long-term interactions, we developed MAY, a conversational virtual companion that gathers m...

This paper presents a qualitative study conducted to explore perceptions, attitudes and expectations for a virtual assistive companion designed to supplement human caregiving and facilitate an improved quality of life and long-term health benefits for older adults. The study was conducted adopting a human-centred approach; employing focus groups and individual interviews with older adults, prof...