ten varieties of iranian soybeans are cultivated in different areas of the country; persia or sahar (sr), hill (hl), williams (wz), gorgan 3 (gn), clarke (kl), hawkey (hk), zaan (zn), harcor (hr), dare (dr) and simes (ss), grown in tropical regions. samples of these 10 varieties were obtained from the institute of plant and seed research. after sample preparation, their oils were extracted and ...

We consider advanced policy description specifications in the context of Answer Set Programming (ASP). Motivated by our application scenario, we further extend an existing policy description language, so that it allows for expressing preferences among sets of objects. This is done by extending the concept of ordered disjunctions to cardinality constraints. We demonstrate that this extension is ...

This paper addresses the problem of multilingual text summarisation. The goal is to analyse three approaches for generating summaries in four languages (English, Spanish, German and French), in order to determine the best one to adopt when tackling this issue. The proposed approaches rely on: i) language-independent techniques; ii) language-specific resources; and iii) machine translation resou...

This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order langua...

The simulation and optimization of an actual physics system are usually constructed based on the stochastic models, which have both qualitative and quantitative characteristics inherently.Mostmodeling specifications and frameworks find it difficult to describe the qualitative model directly. In order to deal with the expert knowledge, uncertain reasoning, and other qualitative information, a qu...

Stability studies play a critical role in assuring product quality at all points in the vaccine life cycle. These studies used to determine vaccine expiry date and vaccine efficacy. Accelerated stability and long term stability study performed for three batches of trivalent oral poliomyelitis vaccine (OPV) and three batches of monovalent OPV (type1) manufactured by Razi institute. After samplin...

Specification theories as a tool in the development process of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature and hence fragile and unsuited for modern software systems. We propose the first specification theory which allows to capture quantitative aspects during the refinement and implementatio...

From a highly distributed timed automata specification, the paper analyses an implementation in the form of a looping controller, launching possibly many tasks in each cycle. Qualitative and quantitative constraints are distinguished on the specification to allow such an implementation, and the analysis of the semantic differences between the specification and the implementation leads to define...