true understanding of the concepts of quranic verses depends on using efficient means in the field of exegesis rules. context as one of the most important rules of interpretation has various functions in the semantics of quranic implications and concepts. ahlul-bayt as the true interpreters of the quran, in the position of explaining quranic verses, have used various functions of context and it...

Pseudo-Articulatory Representations (PARs) have been proposed and discussed in relation to speech processing with results reported for both synthesis and recognition. PARs are derived from linguistic specifications of articulatory activity which are both abstract and idealized. The abstractions and idealizations permit the linguistic generality to be distinguished from the articulatory reality;...

Trace analysis plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Recent research efforts bring empirical evidence that execution traces are frequently comprised of many meaningful trace slices merged together, each slice corresponding to instances of relevant parameters. For example, a Java program creating...

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 ...

At present, designers of real-time systems face a dilemma between expressiveness and automatic verification: if they can specify some aspects of their system in some automaton-based formalism, then automatic verification is possible; but more complex system components may be hard or impossible to express in such decidable formalisms. These more complex components may still be simulated; but the...