Research on validation and verification of requirements specifications has thus far focused on functional properties. Yet, in embedded systems, functional requirements constitute only a small fraction of the properties that must hold to guarantee proper and safe operation of the system under design. In this paper we try to shine some light on the kinds of requirements occurring in current embed...

groundwater is one of the common resources in varamin plain, but due to over extraction it has been exposed to ruin. this phenomenon will lead to economic and environmental problems. on the other hand, the world is expected to face with more stochastic events of water supply. furthermore, incorporating stochastic consideration of water supply becomes more acute in designing water facilities. th...

This is the first time that gait characteristics of broiler (meat) chickens have been compared with their progenitor, jungle fowl, and the first kinematic study to report a link between broiler gait parameters and defined lameness scores. A commercial motion-capturing system recorded three-dimensional temporospatial information during walking. The hypothesis was that the gait characteristics of...

Rapid land-use change in the tropics causes dramatic losses in biodiversity and associated functions. In Sumatra, Indonesia, lowland rainforest has mainly been transformed by smallholders into oil palm (Elaeis guineensis) and rubber (Hevea brasiliensis) monocultures, interspersed with jungle rubber (rubber agroforests) and a few forest remnants. In two regions of the Jambi province, we conducte...