Related papers: Space-time process algebra with asynchronous commu…
Information flow or information transfer is an important concept in dynamical systems which has applications in a wide variety of scientific disciplines. In this study, we show that a rigorous formalism can be established in the context of…
Based on the assumption that time evolves only in one direction and mechanical systems can be described by Lagrangeans, a dynamical C*-algebra is presented for non-relativistic particles at atomic scales. Without presupposing any…
A method is discussed to analyze the dynamics of a dissipative quantum system. The method hinges upon the definition of an alternative (time-dependent) product among the observables of the system. In the long time limit this yields a…
The standard formulation of quantum theory assumes a predefined notion of time. This is a major obstacle in the search for a quantum theory of gravity, where the causal structure of space-time is expected to be dynamical and fundamentally…
Asynchronous programming has appeared as a programming style that overcomes undesired properties of concurrent programming. Typically in asynchronous models of programming, methods are posted into a post list for latter execution. The order…
Timetabling is a typical application of constraint programming whose task is to allocate activities to slots in available resources respecting various constraints like precedence and capacity. In this paper we present a basic concept, a…
We introduce the notion of an extended moment in time, the duron. This is a region of temporal ambiguity which arises naturally in the nature of process which we take to be basic. We introduce an algebra of process and show how it is…
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is…
It is well known that we can use structural proof theory to refine, or generalize, existing paradigmatic computational primitives, or to discover new ones. Under such a point of view we keep developing a programme whose goal is establishing…
Despite the growing availability of sensing and data in general, we remain unable to fully characterise many in-service engineering systems and structures from a purely data-driven approach. The vast data and resources available to capture…
The process approach to NRQM offers a fourth framework for the quantization of physical systems. Unlike the standard approaches (Schrodinger-Heisenberg, Feynman, Wigner-Gronewald-Moyal), the process approach is not merely equivalent to NRQM…
We introduce a dynamical evolution operator for dealing with unstable physical process, such as scattering resonances, photon emission, decoherence and particle decay. With that aim, we use the formalism of rigged Hilbert space and…
The tools, ideas, and insights from linear algebra, abstract algebra, and functional analysis can be extremely useful to signal processing and system theory in various areas of engineering, science, and social science including…
Many important results in modern quantum information theory have been obtained for an idealized situation when the spacetime dependence of quantum phenomena is neglected. However the transmission and processing of (quantum) information is a…
Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time bounds, is a…
The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall…
Time dependence for barrier penetration is considered in the phase space. An asymptotic phase-space propagator for nonrelativistic scattering on a one - dimensional barrier is constructed. The propagator has a form universal for various…
In recent years there has been a substantial increase in the availability of datasets which contain information about the location and timing of an event or group of events and the application of methods to analyse spatio-temporal datasets…
In this paper we discuss some physical applications of topological *-algebras of unbounded operators. Our first example is a simple system of free bosons. Then we analyze different models which are related to this one. We also discuss the…
In this paper we use the framework of algebraic effects from programming language theory to analyze the Beta-Bernoulli process, a standard building block in Bayesian models. Our analysis reveals the importance of abstract data types, and…