This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operational semantics, but is excluded by the common representation of binding as meta-level λabstraction. Drawing upon ideas from functional logic programming, weion. Drawing upon ideas from functional logic programming, we ...

Every single false positive that an automated design flaw detection tool presents to a developer places a cognitive burden on him and should thus be avoided. A preliminary yet already quite comprehensive catalog of false positives was recently presented in [1]. We elaborated in [5, 4] that developers accept design flaws in the context of specific design ideas, e.g. feature envy in the context o...

The use of interactivity as a variable in empirical investigations has dramatically increased with the emergence of new communication channels such as the world wide web. Though many scholars have employed the concept in analyses, theoretical and operational definitions are exceedingly scattered and incoherent. Accordingly, the purpose of this project is to engender a detailed explication of in...

o be labeled as being ‘‘intelligent’’ imparts positive feelings, encourages self esteem and a sense of worth. Yet, what is intelligent and smart? This has been the focus of theories, definitions and philosophies dating as far back as Plato (428 BC); yet most presumably, dating prior to this historical figure, might be due to the fact that humankind is himself intelligent. One way to seek unders...

OBJECTIVES Systematic reviews on complex interventions like self-management interventions often do not explicitly state an operational definition of the intervention studied, which may impact the review's conclusions. This study aimed to propose an operational definition of self-management interventions and determine its discriminative performance compared with other operational definitions. ...

Outcome following cardiac arrest and cardiopulmonary resuscitation is dependent on critical interventions, particularly early defibrillation, effective chest compressions, and advanced life support. Utstein-style definitions and reporting templates have been used extensively in published studies of cardiac arrest, which has led to greater understanding of the elements of resuscitation practice ...

Outcome after cardiac arrest and cardiopulmonary resuscitation is dependent on critical interventions, particularly early defibrillation, effective chest compressions, and advanced life support. Utstein-style definitions and reporting templates have been used extensively in published studies of cardiac arrest, which has led to greater understanding of the elements of resuscitation practice and ...

This paper presents a taxonomy that allows defining the fault tolerance regimes fail-operational, fail-degraded, and fail-safe in context of automotive systems. Fault such as these are widely used recent publications related to automated driving, yet without definitions. largely holds true for safety standards, too. We show defined scientific domain partially ambiguous well taxonomically unrela...

Instead of asking why psychoanalysis has lost its central position in mental health, one might marvel at its longevity when considering that psychoanalysts have not attained agreement about basic methods for observing unconscious mentation, either their own or that of others. Ambiguity abounds regarding the operations involved in, and the usefulness of, introspection, and even more so of empath...