Interrupt Timed Automata (ITA ) form a subclass of stopwatch automata where reachability and some variants timed model checking are decidable even in presence parameters. They well suited to analyze real-time operating systems. Here we extend ITA with polynomial guards updates, leading the class (PolITA ). We prove that is 2EXPTIME on PolITA, using an adaptation cylindrical algebraic decomposit...

This field study investigated the distribution of the freshwater snails of the family Ampullariidae in 18 provinces of Thailand. The introduced Pomacea canaliculata has wide distribution in the studied provinces. Pila angelica, P. ampullacea and P. pesmei still have limited distribution. Pila polita, which is absent in the south, now can be found in Phangnga, a southern province of Thailand. Mo...

BACKGROUND The temporal dynamics of insect populations in tropical environments is highly complex and poorly known. Long-term seasonality studies are scarce, and particularly so for ichneumonid wasps (Hymenoptera Ichneumonidae). This study represents an effort to elucidate aspects of seasonality and forest succession in the Brazilian Atlantic Forest. NEW INFORMATION We report on the seasonal ...

Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parameters. They are well suited to model and analyze real-time operating systems. Here we extend ITA with polynomial guards and updates, leading to the class of polynomial ITA (PolITA). We prove that reachability is decidable in 2EX...

Establishment of new populations is contingent on overcoming abiotic and biotic barriers. While this applies to all species, these hurdles are at the forefront invasion biology where prediction, prevention, eradication, control strategies depend an understanding processes. Terrestrial Arundina graminifolia epiphytic Dendrobium crumenatum two non-indigenous orchids spreading throughout Puerto Ri...

1. Pulling forces of Chrysolina polita (L.) on glass, perspex and cloth have been recorded and are plotted against body weight. The additional weight of eggs in many of the females is probably the main reason that, in females, pulling forces do. not increase significantly with body weight, whereas those of males do. 2. Pulling forces on glass and perspex are significantly correlated but, in gen...

A survey of Angiostrongylus infections in rats and snails was carried out in the provinces of Ubon Ratchathani, Udon Thani. Kalasin, Chaiyaphum and Khon Kaen in northeast Thailand. Only two Rattus norvegicus (3.8%) and one Bandicota indica (1.4%) out of 151 R. rattus, 52 R. norvegicus and 69 B. indica examined were infected with adult lung worms. All worms recovered were A. cantonensis. Prevale...

Part-of-Speech (POS) tagging is a crucial task in Natural Language Processing (NLP). POS tags may be assigned to tokens in text manually, by trained linguists, or using algorithmic approaches. Particularly, in the case of annotated text corpora, the quantity of textual data makes it unfeasible to rely on manual tagging and automated methods are used extensively. The quality of such methods is o...

BACKGROUND Many plants of the family Moraceae are used in the treatment of infectious diseases. Ficus polita Vahl., an edible plant belonging to this family is used traditionally in case of dyspepsia, infectious diseases, abdominal pains and diarrhea. The present work was designed to assess the antimicrobial activity of the methanol extract from the roots of F. polita (FPR), as well as that of ...