Results 61 to 70 of about 29,356 (295)
Aspects of multiscale modelling in a process algebra for biological systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for modelling biological systems actions are instantaneous.
Roberto Barbuti +4 more
doaj +1 more source
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
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
A uniform definition of stochastic process calculi [PDF]
, 2012 We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors.
De Nicola, Rocco +8 more
core +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
Relating Reasoning Methodologies in Linear Logic and Process Algebra [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic.
Yuxin Deng +2 more
doaj +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
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
The Algebra of Synchronous Processes [PDF]
Fundamenta Informaticae, 1989 An algebraical theory called ASP is presented, describing synchronous cooperation of processes. The theory ASP was first mentioned in BERGSTRA & KLOP [4] as an alternative for the theory ACP, which works with asynchronous cooperation (see also in [5]).
openaire +2 more sources
Stronger computational modelling of signalling pathways using both continuous and discrete-state methods [PDF]
, 2006 Starting from a biochemical signalling pathway model expresses in a process algebra enriched with quantitative information, we automatically derive both continuous-space and discrete-space representations suitable for numerical evaluation.
Calder, M. +8 more
core +1 more source