Results 71 to 80 of about 17,836 (258)
Process algebra with prepositional signals
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baeten, J.C.M., Bergstra, J.A.
openaire +11 more sources
Advanced Science, EarlyView.Correcting the apparent priming effect resolves systematic biases in Asian rice fertilizer nitrogen accounting. Net soil retention drops below 7%, while 48% of fertilizer escapes, inflicting US$98.53 billion in annual reactive‐nitrogen damages. High‐resolution mapping uncovers N‐risk archetypes across 42% of the rice area, delivering a spatially ...
Xiuyun Liu +5 more
wiley +1 more source
Electronic Notes in Theoretical Computer Science, 2006 AbstractAfter 25 years of research (19 personally) into process algebras, I ask what areas of mathematics other than the analysis of concurrent computation could or indeed should its basic approach be applied? In particular, I identify the two areas of reductionism and model comprehension, upon which I believe that process algebra has the potential to ...
openaire +1 more source
Exact Discrete Stochastic Simulation With Deep‐Learning‐Scale Gradient Optimization
Advanced Science, EarlyView.A 203,796‐parameter gene regulatory network classifies handwritten digits with 98.4% accuracy using exact stochastic dynamics. The framework decouples forward simulation from backward differentiation, making continuous‐time Markov chain models compatible with deep‐learning optimization.
Jose M. G. Vilar, Leonor Saiz
wiley +1 more source
Advanced Science, EarlyView.We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai +8 more
wiley +1 more source
Enhancing Formal Methods Integration with ACP2Petri
Journal of Information and Organizational Sciences, 2016 The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension ...
Slavomír Šimoňák, Martin Šolc
doaj
Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies
Advanced Science, EarlyView.A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang +14 more
wiley +1 more source
Abstraction in Probabilistic Process Algebra [PDF]
, 2001 Process algebras with abstraction have been widely used for the specification and verification of non-probabilistic concurrent systems. The main strategy in these algebras is introducing a constant, denoting an internal action, and a set of fairness rules.
Andova, S., Baeten, J.C.M.
openaire +2 more sources
Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections
Advanced Electronic Materials, EarlyView.The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley +1 more source
USE OF COMPUTER ALGEBRA SYSTEM MAXIMA IN THE PROCESS OF TEACHING FUTURE MATHEMATICS TEACHERS
Інформаційні технології і засоби навчання, 2019 The article is devoted to the research of a problem of the application of computer algebra systems in the course of skill training of future mathematics teachers.
Vladyslav Ye. Velychko +2 more
doaj +1 more source