Sciweavers

2664 search results - page 81 / 533
» Theory by Process
Sort
View
ROOM
2000
13 years 9 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum
BC
2002
102views more  BC 2002»
13 years 8 months ago
Pathological tremors as diffusional processes
Two types of pathological tremors, essential and Parkinsonian, are studied using dynamical systems theory. It is shown that pathological tremors can be characterized as diffusional...
Jianbo Gao, Wen-wen Tung
CPHYSICS
2006
95views more  CPHYSICS 2006»
13 years 8 months ago
Efficient data processing and quantum phenomena: Single-particle systems
We study the relation between the acquisition and analysis of data and quantum theory using a probabilistic and deterministic model for photon polarizers. We introduce criteria fo...
H. De Raedt, Koen De Raedt, K. Michielsen, S. Miya...
FOSSACS
2006
Springer
13 years 11 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
FTSTO
2006
43views more  FTSTO 2006»
13 years 8 months ago
Long Range Dependence
The notion of long range dependence is discussed from a variety of points of view, and a new approach is suggested. A number of related topics is also discussed, including connect...
Gennady Samorodnitsky