نتایج جستجو برای: the first 6
تعداد نتایج: 16268218 فیلتر نتایج به سال:
We propose a simple but powerful approach to the verification of parameterised systems. The approach is based on modelling the reachability between parameterized states as deducibility between suitable encodings of states by formulae of first-order predicate logic. To establish a safety property, that is non-reachability of unsafe states, the finite model finder is used to find a finite counter...
abstract: country’s fiber optic network, as one of the most important communication infrastructures, is of high importance; therefore, ensuring security of the network and its data is essential. no remarkable research has been done on assessing security of the country’s fiber optic network. besides, according to an official statistics released by ertebatat zirsakht company, unwanted disconnec...
abstract the current study sets out 1) to investigate the strategic needs of iranian efl learners in reading literary and non-literary texts; 2) to shed some light on the differences between reading literary and non-literary texts; and 3) to specify the differences in the interaction of participants with texts while reading two literary subgenres ( i.e., short story and literary essays). to ...
in this research we have studied the effect of some transition-metals (cu, ag and au) substitutions on two-electron reduction potential of flavins by application of dft method. all geometries have been optimized at blyp level of theory and “6-31+g** + lanl2dz” mixed basis set. the frequency job at the same method and basis sets has been performed to obtain gibbs free energy of compounds. it h...
learning a second or foreign language requires the manipulation of four main skills, namely, listening, reading, speaking, and writing which lead to effective communication. it is obvious that vocabulary is an indispensible part of any communication, so without a vocabulary, no meaningful communication can take place and meaningful communication relies heavily on vocabulary. one fundamental fac...
A major breakthrough in UV-LIGA (Lithographie, Galvanoformung and Abformung) started with the use of epoxy-based EPON SU-8 photoresist in the mid-1990s. Using this photoresist has enabled the fabrication of tall and high aspect ratio structures without the use of a very expensive synchrotron source needed to expose the photoresist layer in X-ray LIGA. SU-8 photoresist appeared to be well-suited...
Background: The skin of newborns is very thin and sensitive to burns. In this age group, the mortality rate is very high. Burns account for approximately 2 million injuries annually in the United States alone out of which 500,000 cases need medical treatment and 100,000 cases require hospitalization. This study aimed to determine the incidence and magnitude of the injury, mortality rate, and ca...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید