نتایج جستجو برای: mechanization potential

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

Journal: :DARTS 2015
Avraham Shinnar Jérôme Siméon Martin Hirzel

This artifact contains the accompanying code for the ECOOP 2015 paper: “A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization”. It contains source files for a full mechanization of the three languages presented in the paper: CAMP (Calculus for Aggregating Matching Patterns), NRA (Nested Relational Algebra) and NNRC (Named Nested Relational Calculus). Translations...

Journal: :California Agriculture 2018

Journal: :TRENDS IN THE SCIENCES 2003

Journal: :Journal for Maritime Research 1999

Journal: :Journal of the Institute of Brewing 1948

2014
Timothy Bourke Rob J. van Glabbeek Peter Höfner

The Ad hoc On-demand Distance Vector (AODV) routing protocol allows the nodes in a Mobile Ad hoc Network (MANET) or a Wireless Mesh Network (WMN) to know where to forward data packets. Such a protocol is ‘loop free’ if it never leads to routing decisions that forward packets in circles. This paper describes the mechanization of an existing pen-and-paper proof of loop freedom of AODV in the inte...

Journal: :Kvasny Prumysl 1960

ژورنال: علوم آب و خاک 2003
مرتضی الماسی, , نعیم لویمی, ,

This study aims to evaluate mechanization quality and quantity for improvement purposes. Northern Ahwaz including five districts with a total area of 286,800 hectares was selected for evaluation. The current potentials for scientific mechanization and suitable production methods in the study area were identified within the framework of a field study. In addition to a holistic study of the area ...

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

abstract in the present research solution of chalcopyrite in sulfuric acid in hydrometallurgy method using electrochemistry with cyclic voltammetry technique has been investigated. the value of maximum reduction peak current of copper ions represents the measure of solubility. in this research different parameters temperature, potential, potential exert time, chalcopyrite concentration, sulfur...

molaei, Masomeh, najafi kani, Aliakbar , Shahkooei, Esmaeil,

Introduction Todays, the importance of agricultural development and putting more value on it, unlike past days, is concluded from the fact that in the process of economic development program, an increasing attention is given to social welfare goals in addition to other goals of increasing revenue. In every society, at times of population increase, the increase of agricultural products, which...

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

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