نتایج جستجو برای: by using following methods
تعداد نتایج: 9282681 فیلتر نتایج به سال:
We present a novel compiled approach to Normalisation by Evaluation (NBE) for ML-like languages. It supports efficient normalisation of open λ-terms with respect to β-reduction and rewrite rules. We have implemented NBE and show both a detailed formal model of our implementation and its verification in Isabelle. Finally we discuss how NBE is turned into a proof rule in Isabelle.
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based presentation that lightweight formal methods are effective in building realistic networked multiplayer games. The evidence is produced via a pilot study that uses Design-by-Contract, under realistic game development con...
OBJECTIVE To evaluate the technical competence of professionals carrying out activities related to contraceptive care. METHODS Evaluative research in the field of health was conducted in eight districts of the State of Ceara from July to September 2003. Data was collected by means of interviews with 29 nurses working in the Family Health Care Program within these districts and 50 people being...
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrite rules. We have implemented NBE and show both a detailed formal model of our implementation and its verification in Isabelle. Finally we discuss how NBE is turned into a proof rule in Isabelle.
Consider the hypothetical situation of a society with virtually unconstrained storage and exchange of personal information and shameless exploitation thereof for decision making, for example in contract negotiation. In this paper we develop a stylised formal model to tackle the question if public knowledge about how exactly personal information is used in decision making changes aggregate behav...
testing plays a vital role in any language teaching program. it allows teachers and stakeholders, including program administrators, parents, admissions officers and prospective employers to be assured that the learners are progressing according to an accepted standard (douglas, 2010). the problems currently facing language testers have both practical and theoretical implications but the first i...
burnout is a response to the chronic work stress which is prevalent mostly among the people who do people job, like teaching. the purpose of this study was to develop a valid and reliable instrument that can measure burnout in foreign language teachers. although some widely used instruments were developed before which measured burnout in teachers, a specific instrument which include specific sy...
abstract nowadays, industries cannot play a crucial role in national and international competitions. the tourism industry is no exception. tourism industry development as the most important economic sector and income generation is one of the key challenges of economic development in the world. therefore, countries were successful that take advantage of the capabilities of tourism sector using ...
introduction: the acrosome is a sac shaped organelle contaning lysosomal enzyme that is located on the anterior of sperm head. during the acrosome reaction its content is released in the vicinity of the egg. the acrosome reacted sperm then penetrates through the egg barriers. there are several methods for evaluating the acrosomal status; some of those are complex, expensive and/or non-accurate ...
most of the verbal constructions of harzani dialect have got inflectional affixes. the majority of the constructions are made up vy adding a specific verbal affix to the verbal stem (infinitive without infinitive marker). only a few number of them is formed by adding a verbal affix to the past participle of the verb. there are specific rules for the formation of different verbal types. there is...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید