The sweep-line state space method allows states to be deleted from memory during state exploration, thus alleviating state explosion. Properties of the system (such as the absence of deadlocks) can then be verified on-the-fly. This paper presents an extension to the sweepline method that allows on-the-fly checking of language inclusion, which is useful for protocol verification. This has been i...

Appendix 1. Content knowledge and skills assessment questions forPOB (BIOL 1108K, Principles of Biology II). Content knowledge and skills were assessed with pre-exposure (beginning of semester) and post-exposure (end of semester) tests.* indicates correct answer. Content area Question Taxonomy Which definition best describes a species? a. A group of similar looking organisms that live in the sa...

The simultaneous-open procedure of the Datagram Congestion Control Protocol (DCCP), RFC 5596, was published in September 2009. Its design aims to overcome DCCP weaknesses when the Server is behind a middle box, such as Network Address Translators or firewalls. The original DCCP specification, RFC 4340, only allows the Client to initiate the call. The call request cannot reach the Server behind ...

in order to improve the knowledge of the caelifera species of north eastern iran, faunistic investigations on grasshoppers of this region were carried out during 2013-2014. collected specimens as well as deposited specimens in insect museum of ferdowsi university of mashhad were examined, in detail. totally 19 species belonging to 17 genera, 9 subfamilies and 3 families were collected and deter...

Object-based systems present particular challenges for state space exploration. Objects can be dynamically created and discarded, and can be referenced via object identifiers. Consistent relabelling of object identifiers in a state leads to a state that is superficially different but behaviourally equivalent to the original. Similarly, object-based systems can include garbage which has no effec...

The seasonal abundance patterns of insects inhabiting the understory vegetation of a mixed deciduous forest were examined with the help of the sweep-net sampling method. During the study period of 2 years, insects were sampled regularly from the understory vegetation of the three selected habitats (moist-deciduous, riverine, and teak plantation) of the mixed deciduous forest. Insect abundance w...

This study was carried out to determine the species of the genus Opius Wesmael, 1835 in Hormozgan province (Southern Iran). Malaise traps and sweep nets were used to obtain adult specimens from various habitats in Hormozgan province during 2011-2013. Fifteen species from the genus Opius belonging to ten subgenera were collected. The subgenera Merotrachys Fischer, 1972 and Opiostomus Fischer, 19...

sphecidae is a large and important family of hymenoptera. all members of this family are presocial predators of other arthropods and play a role in the control of pest complex. in this study, sphecids were collected from east azerbaijan province using sweep net, malaise traps and yellow pan traps. twenty species of the family sphecidae (hymenoptera), belonging to subfamilies pemphredoninae, ast...

The sweep-line state space method allows states to be deleted from memory during state exploration, thus alleviating state explosion. Properties of the system (such as the absence of deadlocks) can then be verified on-the-fly. This paper presents an extension to the sweepline method that allows on-the-fly checking of language inclusion, which is useful for protocol verification. This has been i...