For applying the sweep-line method, a state space reduction technique, it is necessary to provide an automatic calculation of a progress measure. In [1], such a calculation has been proposed for Petri nets. The approach presented there may lead to suboptimal results, therefore the author suggested possible optimizations. In this paper, we check whether the proposed optimization goals indeed lea...

If we wish to eeciently estimate the expectation of an arbitrary function on the basis of the output of a Gibbs sampler, which is better: deterministic or random sweep? In each case we calculate the asymptotic variance of the empirical estimator, the average of the function over the output, and determine the minimal asymptotic variance for estimators that use no information about the underlying...

We present a state space exploration method for on-the-fly verification. The method is aimed at systems for which it is possible to define a measure of progress based on the states of the system. The measure of progress makes it possible to delete certain states on-the-fly during state space generation, since these states can never be reached again. This in turn reduces the memory used for stat...

The Asian citrus psyllid (ACP), Diaphorina citri Kuwayama is a key pest of citrus due to its role as vector of citrus greening disease or "huanglongbing." ACP monitoring is considered an indispensable tool for management of vector and disease. In the present study, datasets collected between 2009 and 2013 from 245 citrus blocks were used to evaluate precision, sensitivity for detection, and eff...

BACKGROUND & OBJECTIVE In the tsunami (December 2004) affected coastal villages located on southern parts of Coramandel Coast of India, seawater intrusion has created serious problems for the people. In order to assess the risk of outbreak of fly-borne diseases, a longitudinal study for one year was carried out to investigate muscoid fly abundance and their distribution in relation to various p...

spiders are one of the most abundant invertebrates in terrestrial ecosystems that have a good potential to pest control in crops. species richness and abundance of spiders and the effects of different agricultural practices on these predators were studied in winter wheat fields in shirvan, mashhad and gonabad, cities in northeast of iran. in each region, high and low input fields of winter whea...

Arthropods are critical ecosystem components due to their high diversity and sensitivity to perturbation. Furthermore, due to their ease of capture they are often the focus of environmental health surveys. There is much debate regarding the best sampling method to use in these surveys. Sweep netting and pan trapping are two sampling methods commonly used in agricultural arthropod surveys, but h...

fauna of ichneumonidae of isfahan province was studied in 2012. specimens were collected using sweep net and malaise trap on various plants from different places in isfahan. totally, 18 species belong to 16 genera and 7 subfamilies were collected and identified as: anomalon cruentatum (geoffroy, 1785) (anomaloninae); exetastes syriacus schmiedeknecht, 1910 (banchinae); diplazon laetatorius (fab...