نتایج جستجو برای: operational
تعداد نتایج: 77487 فیلتر نتایج به سال:
Analyzing argumentation semantics with respect to the notion of skepticism is an important issue for developing general and wellfounded comparisons among existing approaches. In this paper, we show that the notion of skepticism plays also a significant role in order to better understand the behavior of a specific semantics in different situations. Building on an articulated classification of ar...
The concept of flow is briefly reviewed and several theoretical and methodological problems related to flow research are discussed. In three studies, we attempted to avoid these problems by measuring the experience of flow in its components, rather than operationally defining flow in terms of challenge and skill. With this measure, we tested the assumption that experience of flow substantially ...
The past decade has witnessed substantial growth in the study of religiosity/spirituality and its relationship with various indicators of health. Most of these studies found positive relationships between religion, spirituality and health (both mental and physical health). However, various studies in this field are criticized specially for not clearly and operationally defining the constructs r...
Dyslexia describes a condition first mentioned in English around the turn of the century (Morgan, 1896; Hinshelwood, 1900). Since then the characteristics, causes, and nature of the disability have been discussed by scores of investigators. However, a great deal of disagreement persists among educators, psychologists, clinicians, and physicians, as well as the general public (Reid, 1968). The p...
We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the semantics of SOS also provide answers to the semantic challenges of Esterel and that they satisfy the intuitive requirements set by the language designers.
In order to intelligently select the correct high speed op amp for a given application, an understanding of the various op amp topologies as well as the tradeoffs between them is required. The two most widely used topologies are voltage feedback (VFB) and current feedback (CFB). An overview of these topologies has been presented in previous tutorials (MT-050, MT051, MT-052), but the following d...
Polyinstantiation has generated a great deal of controversy lately. Some have argued that pol~nstantia~on and integriry are fundamentally incompatible, and have proposed alternatives to polyinstantiation. Others have argued about the correct definition of polyinstantiation and its operational semantics. In this paper we provide a fresh analysis of the basic problem that we are rrying ro solve; ...
In a recent paper by H. L. Resnikoff and J. L. Dolby, "The Nature of Affixing in Written English," an algorithm for the structural definition of affixes was developed and applied to data consisting of all the words of the form CVCVC in the Shorter Oxford Dictionary. Fourteen strong prefixes and twelve strong suffixes and seven weak prefixes and forty weak suffixes were defined, but it was noted...
When developing a new language with semantics described by Structural Operational Semantics (SOS), one often wants an axiomatisation of this language (w.r.t. to some equivalence) as well. We describe a method for automating the straightforward soundness proofs for the axioms of such an axiomatisation.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید