We study the model checking problem for logics whose semantics are defined using transitive Kripke models. We show that the model checking problem is P-complete for the intuitionistic logic KC. Interestingly, for its modal companion S4.2 we also obtain P-completeness even if we consider formulas with one variable only. This result is optimal since model checking for S4 without variables is NC-c...

Companion cells represent a major component of the phloem, the plant vascular tissue system responsible for long-distance transport of organic nutrients from the sites of synthesis (source organs) to sites of utilization (sink organs). The companion cells are intimately associated with phloem sieve elements, which make up the actual transport vessel (sieve tube) through which mass flow of assim...

heartworm disease is caused by dirofilaria immitis in dogs and cats. dirofilariasis is clinically considered very important, because of its severe and life threatening disease in case of even light infection. cats are infected much less commonly, even in areas which present heavily infected dogs. after clinical examination blood samples were collected from 120 companion and stray adult cats in ...

Virtual companions that interact with users in a socially complex environment require a wide range of social skills. Displaying curiosity is simultaneously a factor to improve a companion’s believability and to unobtrusively affect the user’s activities over time. Curiosity represents a drive to know new things. It is a major driving force for engaging learners in active learning. Existing rese...