نتایج جستجو برای: program theory
تعداد نتایج: 1200298 فیلتر نتایج به سال:
abstract the influence of cation?? and anion?? interactions on the strength and nature of n…h hydrogen bond has been investigated by quantum chemical calculations in s-triazine…3hf complex. ab initio calculations were performed at mp2/6-311++g(d,p) level of theory. the natural bond orbital (nbo) analysis and the bader’s quantum theory of atoms in molecules (aim) were also used to elucidate t...
even though, to date, a lot of studies have been conducted on the subject of politeness theory, there are very few studies regarding the applicability of this theory to translation between english and persian which shows the reason behind conducting the present study. this study was carried out with the aim of highlighting whether there is any difference between english and persian methods of u...
§1 Abstract We provide an intensional semantics for certain elementary program transformations by describing a translation from these transformations to the derivations of a simple theory of operations and types and we show that this semantics is intensionally faithful. Our objective is to understand more precisely the intensional structure of a class of semi-formal program derivations.
The Standard Model of particles, experimentally validated by the Higgs boson detection, represents the crowning of quantum theory. It is admitted that the whole universe is composed of fundamental particles, at one and the same time for matter and for three out of the four different interactions. They all manifest experimentally either as waves or as particles, justifying that they leans upon a...
The Minimalist Program (Chomsky 1995, 2000) and Optimality Theory (Prince and Smolensky 1993, 2004) are not alternative theories logically inconsistent with each other. Optimality Theory is a theory of how universal constraints of grammar interact (Prince and Smolensky 1993, Grimshaw 2005). Minimalism, as Chomsky notes (2000:41), is a research program –not a theory– investigating to what extent...
concepts. In addition, the interactive feedback design imposed lower germane cognitive and reflected on learner’s performance. On the practical side, the study contributes to the future study on considering the role of the animated agent in the multimedia design principles for reducing extraneous cognitive load. To elaborate, instructional designers should combine the role of the animated agent...
A dialectical rough set theory focussed on the relation between roughly equivalent objects and classical objects was introduced in [1] by the present author. The focus of our investigation is on elucidating the minimal conditions on the nature of granularity, underlying semantic domain and nature of the general rough set theories (RST) involved for possible extension of the semantics to more ge...
We present an approach to folding of finite program terms based on the detection of recurrence relations in a single given term which is considered as the kth unfolding of an unknown recursive program. Our approach goes beyond Summers’ classical approach of inductive program synthesis in several aspects and allows to deal with a larger class of programming problems. We show how inductive synthe...
Synthetic Domain Theory provides a setting to consider domains as sets with certain closure properties for computing suprema of ascending chains. As a consequence the notion of domain can be internalized which allows one to construct and reason about solutions of recursive domain equations. Moreover, one can derive that all functions are continuous. In this thesis such a synthetic theory of dom...
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in eecient problem solutions. We emphasize computing abilities in relation to programming and speciication languages, as these provide the user's interface with the computer. Due to the breadth of the topic we mainly discuss eeciency as measured by comp...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید