نتایج جستجو برای: normal level

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

2002
ALEXANDER BOLOTOV

We consider the relationship between -automata and a specific logical formulation based on a normal form for temporal logic formulae. While this normal form was developed for use with execution and clausal resolution in temporal logics, we here show how it can represent, syntactically, -automata in a high-level way. Technical proofs of the correctness of this representation are given.

Journal: :Journal of Endocrinology and Diabetes 2019

Journal: :Indonesian Journal of Obstetrics and Gynecology 2016

Journal: :journal of sciences, islamic republic of iran 2010
m. mohammadzadeh

in this paper we consider several generalizations of the skew t-normal distribution, and some of their properties. also, we represent several theorems for constructing each generalized skew t-normal distribution. next, we illustrate the application of the proposed distribution studying the ratio of two heavy metals, nickel and vanadium, associated with crude oil in shadgan wetland in the south-...

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

هدف این پژوهش به کارگیری skew-normal (sn) markov-switching(ms) garch جهت لحاظ نمودن چولگی در توزیع سریهای زمانی مالی است. انگیزه اصلی بیان این مدل آن است که روش متداول برای در نظر گرفتن عدم تقارن در مدل های normal(n) ms garch یعنی اضافه نمودن میانگین رژیم ها به مدل، منجر به ایجاد بازده های خود همبسته می گردد که امری نامطلوب است. جهت یک مقایسه کامل ، تمامی حالات ممکن مدل های sn ms garch و n ms g...

Information regarding metabolic profile in different physiological periods of ewes can assist veterinarians to monitor the herd health and productive performance. Furthermore, the relationships among the metabolic parameters can be used to detect the effect of each parameter on another one. Five clinically healthy adult Ghezel ewes were selected at 4 weeks before parturition and evaluated at 4 ...

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

abstract this study investigates the teachers’ correction of students’ spoken errors of linguistic forms in efl classes, aiming at (a) examining the relationship between the learners’ proficiency level and the provision of corrective feedback types, (b) exploring the extent to which teachers’ use of different corrective feedback types is related to the immediate types of context in which err...

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

one of the most commonly used techniques to reduce the corrosion rate of rebar in concrete is addition substances named corrosion inhibitors into the concrete. corrosion inhibitor is chemical compounds that were added to concrete to prevent corrosion of steel in concrete. sodium nitrate is a type of anodic inhibitors that this study investigatesthe effect of this inhibitor on the properties of ...

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

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