General methods have been proposed [2, 4] for the model checking of probabilistic systems, where the verification of a probabilistic statement is reduced to the solution of a linear system over the system's state space. To overcome the state space explosion problem, some probabilistic model checkers, such as PRISM [3], use MTBDDs. We propose a different solution, in which we use a Monte-Carlo a...

The response of Aedes albopictus to the BG-Sentinel, Omni-directional-Fay-Prince, and Mosquito MagnetX traps was evaluated in four suburban and four sylvatic habitats in north-central Florida to ascertain potential height preference of this species. These traps, which are primarily designed to attract diurnal mosquitoes, were set at 1 and 6 m and were evaluated during 40 trapping periods over 4...

Carum carvi (CC) is a grassy plant which is believed to have several therapeutic effects, including anti-asthmatic properties. We have therefore studied the bronchodilatory and anticholinergic effects of this plant. The bronchodilatory effects of the aqueous extract (AE), macerated extract (ME), essential oil (EO), and 4µM theophylline (T) in comparison with saline (S) were examined by the...

Given a combinatorial search problem, it may be highly useful to enumerate its (all) solutions besides just finding one solution, or showing that none exists. The same can stated about optimal if an objective function is provided. This work goes beyond the bare enumeration of and addresses computational task solution by optimality (SEO). studied in context Answer Set Programming (ASP) where (op...

In this manuscript, we introduce  a new class of fuzzy problems, namely ``fuzzy inclusion linear systems" and   propose a fuzzy solution set for it. Then, we present a theoretical discussion about the relationship between  the fuzzy solution set of a  fuzzy inclusion linear system and the algebraic solution of a fuzzy linear system. New necessary and sufficient conditions are derived for obtain...

Fuzzy relation inequalities based on max-F composition are discussed, where F is a binary aggregation on [0,1]. For a fixed fuzzy relation inequalities system $ A circ^{F}textbf{x}leqtextbf{b}$, we characterize all matrices $ A^{'} $ For which the solution set of the system $ A^{' } circ^{F}textbf{x}leqtextbf{b}$ is the same as the original solution set. Similarly, for a fixed matrix $ A $, the...