Results 71 to 80 of about 11,242,864 (292)
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
Stochastic Process Algebras [PDF]
, 2007 In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice.
Clark, Allan +3 more
openaire +3 more sources
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 +5 more sources
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
Algebraic Process Verification [PDF]
, 2001 This chapter addresses the question how to verify distributed and communicating systems in an effective way from an explicit process algebraic standpoint. This means that all calculations are based on the axioms and principles of the process algebras.
J.F. Groote (Jan Friso) +1 more
openaire +3 more sources
The composition algebra of a cyclic quiver [PDF]
, 1993 Ringel CM. The composition algebra of a cyclic quiver. Proceedings of the London Mathematical Society : Ser. 3.
Ringel, Claus Michael
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
Graphics calculators and algebra [PDF]
, 1999 The personal technology of the graphics calculator is presently the only one likely to be available widely enough to influence curriculum design and implementation on a large scale.
Kissane, B.
core
Advanced Science, EarlyView.A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source
Exchange učilišta Algebra u hibridnom okruženju
, 2014 U ovom završnom radu opisan je proces migracije e-mail sustava učilišta Algebra s vlastitog sustava Exchange 2010/2013 na sustav Office 365 Exchange Online.
Pavleković, Igor
core +1 more source