Results 41 to 50 of about 57,646 (303)

Measurable Stochastics for Brane Calculus [PDF]

, 2010
We give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of the stochastic distribution of possible derivations.
Gabriel Ciobanu, Giorgio Bacci, Maciej Koutny, Marino Miculan   +3 more
core   +4 more sources

Structural operational semantics for stochastic and weighted transition systems

, 2013
We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Aceto, Barr, Bartek Klin, Bartels, Bernardo, Bloom, Brookes, Cardelli, de Nicola, de Vink, Degano, Götz, Hermanns, Hillston, Hillston, Hillston, Klin, Klin, Klin, Larsen, Mac Lane, Milner, Moller, Park, Plotkin, Plotkin, Priami, Priami, Priami, Rutten, Sangiorgi, Turi, Vladimiro Sassone   +32 more
core   +2 more sources

Conservative Extension in Structural Operational Semantics

BRICS Report Series, 1999
<p>Structural operational semantics (SOS) [44] provides a framework to give<br />an operational semantics to programming and specification languages. In<br />particular, because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes.
Verhoef, C., Aceto, L., Fokkink, W.J.
openaire   +5 more sources

Automata-based Static Analysis of XML Document Adaptation [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
The structure of an XML document can be optionally specified by means of XML Schema, thus enabling the exploitation of structural information for efficient document handling. Upon schema evolution, or when exchanging documents among different collections
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini   +2 more
doaj   +1 more source

Prospective Life Cycle Assessment: Effect of Electricity Decarbonization in Building Sector

Energies, 2021
The building sector is responsible for 43% of France’s final energy consumption and is strongly associated with a high environmental impact due to its high consumption of energy and natural resources.
Leslie Ayagapin, Jean Philippe Praene, Doorgeshwaree Jaggeshar, Dinesh Surroop   +3 more
doaj   +1 more source

Structural Operational Semantics for Continuous State Probabilistic Processes [PDF]

, 2012
We consider the problem of modeling syntax and semantics of probabilistic processes with continuous states (e.g. with continuous data). Syntax and semantics of these systems can be defined as algebras and coalgebras of suitable endofunctors over Meas, the category of measurable spaces.
Giorgio Bacci, Marino Miculan
openalex   +4 more sources

Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
In this paper, we deal with the problem of implementing an abstract machine for a stochastic version of the Brane Calculus. Instead of defining an ad hoc abstract machine, we consider the generic stochastic abstract machine introduced by Lakin, Paulevé ...
Marino Miculan, Ilaria Sambarino
doaj   +1 more source

Super‐Refractory Status Epilepticus (SRSE) in a Patient With Compound Heterozygous OPA1 Variants: Case Report and Literature Review

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Super‐Refractory Status Epilepticus (SRSE) is a rare, life‐threatening neurological emergency with unclear etiology in many cases. Mitochondrial dysfunction, often due to disease‐causing genetic variants, is increasingly recognized as a cause, with each gene producing distinct pathophysiological mechanisms.
Pouria Mohammadi, Lara Basovic, Christopher Michael McGraw   +2 more
wiley   +1 more source

Fluid Biomarkers of Disease Burden and Cognitive Dysfunction in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Identifying objective biomarkers for progressive supranuclear palsy (PSP) is crucial to improving diagnosis and establishing clinical trial and treatment endpoints. This study evaluated fluid biomarkers in PSP versus controls and their associations with regional 18F‐PI‐2620 tau‐PET, clinical, and cognitive outcomes.
Roxane Dilcher, Charles B. Malpas, Stuart J. McDonald, William T. O’Brien, Craig Despott, Kelly L. Bertram, Matthew P. Pase, Lukas Frontzkowski, Meng Law, Terence J. O’Brien, Lucy Vivash   +10 more
wiley   +1 more source

Establishment of Ship-Motion-Based Operational Limiting Criteria for Safe and Efficient Offshore Cable-Laying Operations

Journal of Marine Science and Engineering
As offshore wind projects are located further and deeper in the ocean, time-intensive and costly cable laying plays an increasingly critical role in offshore wind farm construction.
Xu Han, Zhibo Xu, Xin Li, Wei Shi, Zhipeng Leng   +4 more
doaj   +1 more source