The paper presents a, relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves on previous temporal systems, such as [MPS3a] and [MP83b]? in that it reduces the validity of progra,m properties into pure assertional reasoning, not involving additional tempora,l rea.soning. The proof system is based on the classific...

abstract background prevention of myocardial siderosis is a key step to reduce rate of mortality in thalassemic patients. our objective was to study association between echocardiography parameters and serum ferritin level in patients with major thalassemia. materials and methods sixty-six patients with major thalassemia were studied in amir kabir hospital, arak, iran. serum ferritin levels were...

AMIR DEMBO 1 Department of Statistics, Stanford University, Stanford, CA 94305-4065, USA email: [email protected] QI-MAN SHAO 2 Department of Mathematics, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China; Department of Mathematics, University of Oregon, Eugene, OR 97403, USA; Department of Mathematics, Zhejiang University, Hangzhou, Zhejiang 310027...

Gene silencing by RNA interference is a particularly important tool in the study of gene function in polyploid cereal species for which the collections of natural or induced mutants are very limited. Previously we have been testing small interfering RNA-based approach of gene silencing in wheat and triticale. In this research, artificial microRNAs (amiRs) were studied in the same species and th...

BACKGROUND Envelope protein 53R was identified from frog Rana grylio virus (RGV), a member of the family Iridoviridae, and it plays an important role in the virus assembly. Although inhibition of iridovirus major capsid protein (MCP) by small hairpin RNAs (shRNAs) has been shown to cause resistance to viral infection in vitro, RNA interference (RNAi) to inhibit aquatic animal virus envelope pro...

In surah Al-Kahf verses 60-82, the term bahrain has a deeper connotation than its lexical sense. It is because passage linked to story of Musa and Khidr. The two prophets reflect several types knowledge that encompasses. This research aims examine uncover meaning word bahrain. study employed semiotic approach qualitative descriptive method. stages in analyzing data are isytiqaq kabir, syntagmat...