We describe a BDI (Belief, Desire, Intention) approach and architecture for a conversational virtual companion embodied as a child’s Toy. Our aim is to support both structured conversation-based activities (e.g., story-telling, collaborative games) as well as more free-flowing, engaging dialogue with variation and some unpredictability. We argue that a goal-oriented approach to the agent’s conv...

We report our findings on the properties of Flagg and Friedman’s translation from Epistemic into Intuitionistic logic, which was proposed as the basis of a comprehensive proof method for the faithfulness of the Gödel translation. We focus on the propositional case and raise the issue of the admissibility of the translated necessitation rule. Then, we contribute to Flagg and Friedman’s program b...

This artifact provides the full mechanization in FCSL of the developments in the companion paper, “Concurrent Data Structures Linked in Time”. In the latter, we propose a new method, based on a separation-style logic, for reasoning about concurrent objects with such linearization points. We embrace the dynamic nature of linearization points, and encode it as part of the data structure’s auxilia...

A standard way of dealing with a regular matrix polynomial P (λ) is to convert it into an equivalent matrix pencil – a process known as linearization. Two vector spaces of pencils L1(P ) and L2(P ) that generalize the first and second companion forms have recently been introduced by Mackey, Mackey, Mehl and Mehrmann. Almost all of these pencils are linearizations for P (λ) when P is regular. Th...

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 ...

We present an extension of Perron–Frobenius theory to the spectra and numerical ranges of Perron polynomials, namely, matrix polynomials of the form L(λ) = Iλ − Am−1λm−1 − · · · − A1λ− A0, where the coefficient matrices are entrywise nonnegative. Our approach relies on the companion matrix linearization. First, we recount the generalization of the Perron–Frobenius Theorem to Perron polynomials ...

Linearization technologies that can be used for linearizing RoF transmission are reviewed. Three main linearization methods, i.e. electrical analog linearization, optical linearization, and electrical digital linearization are presented and compared. Analog linearization can be achieved using analog predistortion circuits, and can be used for suppression of odd order nonlinear distortion compon...

finding the most appropriate governing equation under different environmental conditions is the most important step for both designing sorption systems and pollutant transport modeling. in this study, the second order model based on the sorbent concentration is theoretically and experimentally investigated. a circular flume was used for the sorption of cadmium by zeolite to simulate the natural...