نتایج جستجو برای: level and compositional

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

2015
Nils Jähnig Thomas Göthel Sabine Glesner

An important property of programming language semantics is that they should be compositional. However, unstructured low-level code contains goto-like commands making it hard to define a semantics that is compositional. In this paper, we follow the ideas of Saabas and Uustalu [7] to structure low-level code. This gives us the possibility to define a compositional denotational semantics based on ...

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

abstract this study evaluated and compared medical terminology and english for the students of medicine (ii) as two representatives of the textbooks available on the iranian market for teaching english to the students of medicine. this research was performed on the basis of a teacher’s and a number of students’ attitudes and the students’ needs analysis for two reasons: first, to investigate...

1996
Johannes Sametinger

Component-oriented software development is the design and development of software systems in a compositional way, i.e., the creation of a set of components that are supposed to work together in some way. Components are not designed in isolation but rather are meant to collaborate. Technically speaking, component-oriented software development is the integration of computational and compositional...

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

within communicative, interactive, and learner-centered framework of language teaching and learning, students need to learn four skills of listening, speaking, reading, and writing for their educational success. but of all the language skills, reading enjoys a paramount significance in so many second or foreign language academic contexts. in spite of its importance, language learners still have...

Journal: :Computational Geosciences 2021

This work studies the influence of several compositional effects on thermal and reactive processes. First, impact using a fully model in context simulations is considered. Detailed phase behavior models rely descriptions oil up to tens components. Lumping large number components into smaller pseudo-components order reduce computational cost standard practice for simulations. schemes are typical...

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

abstract: research purpose: the purpose of this research is to identify academic databases assessment factors and criteria at law and political science majors. the necessity of this research is to distinguish academic databases assessment factors and criteria and to identify the most important ones and rank them in order to select an appropriate database according to students’ and faculty memb...

2013
Eric Verhulst Jose de la Vara Bernhard Sputh Vincenzo De Florio Luis de la Vara Bernhard H.C. Sputh Vincenzo de Florio

Safety engineering standards define rigorous and controllable processes for system development. Nevertheless, safety standards differences from distinct domains are non-negligible. We focus in particular on the aviation, automotive and railway standards, all related to the transportation market. We argue that the Safety Integrity Levels are not sufficient to be used as a top level requirement f...

2017
Milan Jelisavcic Rafael Kiesel Kyrre Glette Evert Haasdijk A. E. Eiben

Evolving robot morphologies implies the need for lifetime learning so that newborn robots can learn to manipulate their bodies. An individual’s morphology will obviously combine traits of all its parents; it must adapt its own controller to suit its morphology, and cannot rely on the controller of any one parent to perform well without adaptation. This paper investigates the practicability and ...

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

چکیده کنه تارتن دو لکه ای tetranychus urticae koch یکی از چندخوارترین آفات شناخته شده محصولات کشاورزی دنیا به حساب می آید. در این بررسی جمعیت تخم و مراحل فعال این کنه در شرایط آلودگی طبیعی و مصنوعی در برگ های 8 رقم لوبیا در سال 1392 در گلخانه و مزرعه تحقیقاتی دانشکده کشاورزی دانشگاه ارومیه موردمطالعه قرار گرفت. آزمایش به صورت طرح کاملاً تصادفی برای شرایط مزرعه در10 تکرار و برای شرایط گلخانه ای...

2010
P. Filzmoser K. Hron

Multivariate outlier detection is usually based on Mahalanobis distances, by plugging in robust estimates of location and covariance. For compositional data, carrying only relative information, a special transformation needs to be consulted in order to be able to work in the appropriate geometry. The effect of the transformation is discussed in this contribution. Furthermore, different possibil...

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

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