نتایج جستجو برای: a mechanized system for self

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

Journal: :CoRR 2016
Manfred Kerber Christoph Lange Colin Rowat

Mechanized reasoning uses computers to verify proofs and to help discover new theorems. Computer scientists have applied mechanized reasoning to economic problems but – to date – this work has not yet been properly presented in economics journals. We introduce mechanized reasoning to economists in three ways. First, we introduce mechanized reasoning in general, describing both the techniques an...

Journal: :تحقیقات مهندسی کشاورزی 0
محمد یونسی الموتی دانشجوی سابق دکتری دانشگاه تربیت مدرس و استادیار آموزشکده کشاورزی کرج محمدهادی خوش تقاضا دانشیار دانشگاه تربیت مدرس مجتبی زاهدی فر استادیار موسسه تحقیقات علوم دامی کشور

the nutritional value of cereal straw can be increased using urea treatments as a source of ammonia. the conventional urea treatment process for cereal straw is a laborious and time-consuming task. it is essential to facilitate or eliminate part of the procedure with the use of machinery. this study examines the mechanical urea treatment of wheat straw and compares chemical components and diges...

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

the importance of writing as a complex skill in applied linguistics has drawn the attention of many researchers to evaluate textbooks in order to help learners gain self-sufficiency and autonomy in the field of language use and communication. investigations have shown that developments in textbooks evaluation can promote the quality of pedagogies and consequently the learning. this study attemp...

Journal: :به نژادی نهال و بذر 0
منوچهر طاهری مازندرانی m. taheri mazandarani اسماعیل بیضائی e. beyzaei حمیدرضا دری dorri h. r. علی اکبر قنبری a. a. ghanbari پرویز صالحی p. salehi غلامرضا طاهریون g. taheriyoon رضا محمدخانی

white been line wa8592-1 was first introduced in iran through the yield trail nurseries received fron ciat in 1991. in observation nurseries carried out during 1992 and 1993 cropping seasons, ten bean populations were evaluated for yield and other characteristics, and 60 lines were selected. preliminary and advanced yield trails carried out for six years (1995-2000) in four locations khomein, e...

ژورنال: یافته 2009
احمدی, مریم , بیرجندی, مهدی , صمدبیک, مهناز ,

Results of thoughts, activities and measures taken in each organization are maintained as documents and records these records, which are created by spending great time and cost, contain valuable information and experiences that have an important role in promoting the goal or goals of the organization. therefore, medical records filing can be called memory of the organizations which weakness in ...

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

this study was designed to investigate the impacts of teachers self-disclosure on students foreign language classroom anxiety, attitude to english language learning and their achievement scores at the end of the term. there were 48 female learners of intermediate level. they were not randomly selected. there were one experimental group with 21 students and one control group with 27 students.the...

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

abstract in first part of this project, the use of a new and biguanid-like catalyst supported on silica as a recyclable catalyst provides a new route for the synthesis of a variety of arylalkylidene rhodanine derivatives through knoevenagle reaction in at present of solvent at room temperature. rhodanine derivatives and especially arylalkylidene rhodanines have proven to be attractive compound...

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

abstract venlafaxine, 1–[2–(dimethylamino)–1–(4–methoxyphenyl) ethyl]cyclohexanol hydrochloride is a novel non-tricyclic antidepressant. venlafaxine is a second generation antidepressant drug, has a neuropharmacologic profile distinct from that of existing antidepressants including tricyclic compounds, selective serotonin reuptake inhibitors and monoamine oxidase inhibitors. venlafaxine impart...

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

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