نتایج جستجو برای: mechanized and semi

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

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

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

thermal barrier coatings (tbcs) are used to provide thermal insulation to the hot section components of gas turbines in order to enhance the operating temperature and turbine efficiency. hot corrosion and thermal shocks are the main destructive factors in tbcs which comes as a result of oxygen and molten salt diffusion into the coating. in this thesis atmospheric plasma spraying was used to dep...

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

abstract previous studies on willingness to communicate (wtc) have shown the influence of many individual or situational factors on students’ tendency to engage in classroom communication, in which wtc has been viewed either at the trait-level or situational level. however, due to the complexity of the notion of willingness to communicate, the present study suggests that these two strands are ...

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

this study was conducted to investigate the impact of portfolio assessment as a process-oriented assessment mechanism on iranian efl students’ english writing and its subskills of focus, elaboration, organization, conventions, and vocabulary. out of ninety juniors majoring in english literature and translation at the university of isfahan, sixty one of them who were at the same level of writing...

Journal: :Asian Journal of Agricultural Extension, Economics & Sociology 2014

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

the application of a comprehensive model of communicative language ability (cla) to language teaching and testing has always been an imperative in l2 education since hymess proposal of communicative competence in the 1970s. recent l2 research has clearly underscored the importance of sufficient pragmatics representation as an essential component of cla in pedagogical and testing practices in l2...

Journal: :چغندرقند 0
علیرضا نیکویی مربی پژوهشی گروه تحقیقات اقتصاد کشاورزی مرکز تحقیقات کشاورزی و منابع طبیعی اصفهان

sugar beet is one of the main crops in iranthat provides primary materials for sugar industries and so, its economic aspects are very important. one of these aspects is employment; it has begged to draw policy maker attentions. nevertheless, there hasnot been any survey study on this matter in iranyet. in this study, the current value of labor use in sugar beet cultivation (direct employment) i...

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

a semi-empirical mathematical model for predicting physical part of ignition delay period in the combustion of direct - injection diesel engines with swirl is developed . this model based on a single droplet evaporation model . the governing equations , namely , equations of droplet motion , heat and mass transfer were solved simultaneously using a rung-kutta step by step unmerical method . the...

Journal: :مهندسی بیوسیستم ایران 0
علیرضا شاه محمدی دانشگاه شهید بهشتی هادی ویسی دانشیار گروه اگرو اگولوژی پژوهشکده علوم محیطی دانشگاه شهید بهشتی کوروس خوشبخت دانشیار گروه آگرواکولوژی،پژوهشکده علوم محیطی، دانشگاه شهید بهشتی،تهران عبدالمجید مهدوی دامغانی دانشیار گروه آگرواکولوژی،پژوهشکده علوم محیطی، دانشگاه شهید بهشتی،تهران الیاس سلطانی استادیار گروه زراعت و اصلاح نباتات، پردیس ابوریحان، دانشگاه تهران

in recent years, the debate over the environmental sustainability of agricultural productions is widely increased. in this context, environmental impacts of potato production by semi-mechanized method were studied in markazi province of iran. in this research, life cycle assessment approach was used to identify and reduce environmental impacts. the environmental impacts of potato production in ...

2016
Cláudio Almeida Nadine Dessay Antônio Monteiro Laurent Durieux Adriano Venturieri Frédérique Seyler

The current Amazon landscape consists of heterogeneous mosaics formed by interactions between the original forest and productive activities. Recognizing and quantifying the characteristics of these landscapes is essential for understanding agricultural production chains, assessing the impact of policies, and in planning future actions. Our main objective was to construct the regionalization of ...

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

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