نتایج جستجو برای: the first 6

تعداد نتایج: 16268218  

2009
Alexei Lisitsa

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس 1389

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه اصفهان - دانشکده زبانهای خارجی 1389

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1391

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

Journal: :Archives of Disease in Childhood 1980

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1390

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

Journal: :Micromachines 2014
Grégoire Genolet Hubert Lorenz

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید