Results 61 to 70 of about 435,235 (283)
Multi-state asymmetric simple exclusion processes [PDF]
, 2014 It is known that the Markov matrix of the asymmetric simple exclusion process (ASEP) is invariant under the Uq(sl2) algebra. This is the result of the fact that the Markov matrix of the ASEP coincides with the generator of the Temperley-Lieb (TL) algebra,
Matsui, Chihiro
core +1 more source
Process Algebra with Iteration and Nesting [PDF]
The Computer Journal, 1994 We introduce iteration in process algebra by means of (the original, binary version of) Kleene's star operation: x * y is the process that chooses between x and y, and upon termination of x has this choice again. We add this operation to a whole range of process algebra axiom systems, starting from BPA (Basic Process Algebra).
Bergstra, J.A., Bethke, I., Ponse, A.
openaire +4 more sources
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source
Mathematics of a Process Algebra Inspired by Whitehead’s Process and Reality: A Review
MathematicsProcess algebras have been developed within computer science and engineering to address complicated computational and manufacturing problems. The process algebra described herein was inspired by the Process Theory of Whitehead and the theory of ...
William Sulis
doaj +1 more source
Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System
Advanced Science, EarlyView.A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu +15 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
State Equations in Stochastic Process Algebra Models
IEEE Access, 2019 State equations are usually used for structural or qualitative analysis, such as deadlock checking, in P/T systems. In this paper, we instead consider timed state equations in stochastic process algebra models, to derive quantified dynamic information on
Jie Ding, Xin-Shan Zhu, Xiao Chen
doaj +1 more source
Compositional bisimulation metric reasoning with Probabilistic Process Calculi [PDF]
Logical Methods in Computer Science, 2017 We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics.
Daniel Gebler +2 more
doaj +1 more source
Spectral stochastic processes arising in quantum mechanical models with a non-L2 ground state
, 1994 A functional integral representation is given for a large class of quantum mechanical models with a non--L2 ground state. As a prototype the particle in a periodic potential is discussed: a unique ground state is shown to exist as a state on the Weyl ...
B. Simon +8 more
core +1 more source
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source