Results 41 to 50 of about 17,836 (258)
Reversing Algebraic Process Calculi [PDF]
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Iain Phillips 0001, Irek Ulidowski
openaire +3 more sources
Process algebra with backtracking
, 1994 An extension of process algebra for modelling processes with backtracking is introduced. This extension is semantically based on processes that transform data because, in our view, backtracking is the undoing of the effects caused by a process in some initial data-state if this process fails.
Jan A. Bergstra +2 more
openaire +4 more sources
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source
Matrix product and sum rule for Macdonald polynomials [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 We present a new, explicit sum formula for symmetric Macdonald polynomials Pλ and show that they can be written as a trace over a product of (infinite dimensional) matrices. These matrices satisfy the Zamolodchikov– Faddeev (ZF) algebra.
Luigi Cantini +2 more
doaj +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
Process Algebra with Strategic Interleaving [PDF]
Theory of Computing Systems, 2018 In process algebras such as ACP (Algebra of Communicating Processes), parallel processes are considered to be interleaved in an arbitrary way. In the case of multi-threading as found in contemporary programming languages, parallel processes are actually interleaved according to some interleaving strategy.
Jan A. Bergstra, Cornelis A. Middelburg
openaire +4 more sources
Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Controlling the Field Assisted Sintering Technology (FAST) parameters, dwell temperature and cooling rate, significantly influences the microstructural evolution in titanium aluminide GE4822. Significant γ‐lamellar colonies develop only upon cooling through the α‐transus.
Jack Krohn, James Pepper, Martin Jackson
wiley +1 more source
An algebra for process creation
Acta Informatica, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J.C.M. Baeten (Jos) +1 more
openaire +4 more sources
Organic Materials of Tomorrow: Horizons of Artificial Intelligence
Advanced Materials, EarlyView.This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena +3 more
wiley +1 more source