Computation in the Informatic Jungle
نویسنده
چکیده
Informatics bridges Turing-computation and interactive behaviour; examples of the latter include ubiquitous/pervasive and biological systems. But how does a model of computation fit within a model of less disciplined informatic behaviour? This paper offers a precise treatment of that relationship, identifying a class of calculational bigraphical reactive systems. We show how such a system contains a confluent calculation sub-model, and how calculation only ever enables, never prevents, informatic behaviour of the larger model. We submit these results as a modest but essential beginning of a unified informatic theory.
منابع مشابه
Computation in the Informatic Jungle Draft
Informatics bridges Turing-computation and interactive behaviour; examples of the latter include ubiquitous/pervasive and biological systems. But how does a model of computation fit within a model of less disciplined informatic behaviour? This paper offers a precise treatment of that relationship, identifying a class of calculational bigraphical reactive systems. We show how such a system conta...
متن کاملPhysics from Computer Science: a Position Statement
In this statement we provide some examples of transdisciplinary journeys, from one field to another, and back. In particular, the quantum informatic endeavor is not just a matter of feeding physical theory into the general field of natural computation, but also one of using high-level methods developed in Computer Science to improve on the quantum physical formalism itself, and the understandin...
متن کاملTranslational Biomedical Informatics and Pharmacometrics Approaches in the Drug Interactions Research
Drug interaction is a leading cause of adverse drug events and a major obstacle for current clinical practice. Pharmacovigilance data mining, pharmacokinetic modeling, and text mining are computation and informatic tools on integrating drug interaction knowledge and generating drug interaction hypothesis. We provide a comprehensive overview of these translational biomedical informatics methodol...
متن کاملstudents of Management & Medical Informatic Faculty of Isfahan in 1999
Introduction. Considering the improvement of the teaching quality in the higher education, this study was planned to evaluate the field training in the faculty of management and medical informatics by students. Its results will be used in planning field training of this faculty Methods. A checklist with five variables was distributed among 57 students in this survey. Data analysis (both descri...
متن کاملEquilibrium in the Jungle Equilibrium in the Jungle *
In the jungle, power and coercion govern the exchange of resources. We study a simple, stylized model of the jungle that mirrors an exchange economy. We define the notion of jungle equilibrium and demonstrate that a number of standard results of competitive markets hold in the jungle. JEL Classification: C7, D4, S477, B201
متن کامل