ibn sina speaks repeatedly of the distinction between the specific (khas) being and the positive (ijabi) being; a distinction on the basis of which is his distinction of being and essence. thence, the famous problem of the distinction of being and essence is applicable to this distinction too. the difficulty is this: if the specific being is 'being'? this is indeed a problem about ess...

Where ‘soul’ and ‘body’ are traditionally viewed (following Descartes) as two separate entities belonging to two different realities, today this is by no means the case. A large number of studies in the areas of psychopathology and orthopedagogy have already been carried out from which it seems clear that the inadequate actualization of either lived bodiliness [corporeality] or the psychic life...

An intrusion tolerant database uses damage assessment techniques to detect damage propagation scales in a corrupted database system. Traditional damage assessment approaches in a intrusion tolerant database system can only locate damages which are caused by reading corrupted data. In fact, there are many other damage spreading patterns that have not been considered in traditional damage assessm...

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected].. FLM Publishing Association is collaborating with JSTOR to...

We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithms that deal with chaotic iteration. To this end we propose a simple abstract framework that allows us to classify and compare these algorithms and to establish in a uniform way their basic properties. Note. This is a ...

Kuhn’s incommensurability thesis seems to challenge scientific realism. One response to that challenge is to focus on the continuity of reference. The causal theory of reference in particular seems to offer the possibility of continuity of reference that would provide a basis for the sort of comparability between theories that the realist requires. In “Dubbing and Redubbing: The Vulnerability o...

In this paper, we give a re-formulation of our previously defined distillation algorithm, which can automatically transform higherorder functional programs into equivalent tail-recursive programs. Our re-formulation simplifies the presentation of the transformation and hopefully makes it easier to understand. Using distillation, it is possible to produce superlinear improvement in the run-time ...

SEMAT/OMG Essence provides a powerful Language and a Kernel for describing software development processes. How can it be tweaked to apply it to systems engineering methods description? We must harmonize Essence and various systems engineering standards in order to provide a more formal system approach to obtaining a Systems Engineering Essence. In this paper, an approach of using Essence for sy...

“I’m late, I’m late ...” cries the Mad Hatter in Alice in Wonderland. Mad though he may be, he seems to be singing our song. How often do conversations end abruptly when one conversant looks at his watch and leans impatiently into the “rush” position? How often do people dash past each other, eyes averted, muttering “Late for a meeting, gotta run...” as a substitute for a personal greeting and ...

Development of languages for specifying or modelling problems is an important direction in constraint modelling. To provide greater abstraction and modelling convenience, these languages are becoming more syntactically rich, leading to a variety of questions about their expressive power. In this paper, we consider the expressiveness of Essence, a specification language with a rich variety of sy...