Results 31 to 40 of about 5,092 (246)
Remote Sensing, 2022 The Nadir Mapper (NM) and Nadir Profiler (NP) within the Ozone Mapping and Profiler Suites (OMPS) are ultraviolet spectrometers to measure Earth radiance and Solar irradiance spectra from 300–380 nm and 250–310 nm, respectively.
Banghua Yan +15 more
doaj +1 more source
piHyFlow Operational Semantics
, 2023 Simulation models have been described using different perspectives, or worldviews. In the process interaction world view (PI), every entity is modeled by a sequence of actions describing its life cycle, offering a comprehensive model that groups the events involving each entity.
openaire +2 more sources
Towards a mathematical operational semantics [PDF]
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 2002 We present a categorical theory of 'well-behaved' operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial ...
Plotkin, Gordon, Turi, Daniele
openaire +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with epilepsy (PWE) may experience cognitive deficits but fail to undergo formal evaluation. This study compares cognitive status between PWE and healthy controls in the West African Republic of Guinea. Methods A cross‐sectional, case–control study was conducted in sequential recruitment phases (July 2024–July 2025) at Ignace ...
Maya L. Mastick +14 more
wiley +1 more source
Deductive Verification of Telecommunication Systems Written in C
Моделирование и анализ информационных систем, 2015 A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj +1 more source
From algebra to operational semantics [PDF]
Information Processing Letters, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
He, J, Hoare, C
openaire +3 more sources
An Out‐of‐Place Etiology: Recognizing FMR1 Premutation in the Memory Clinic
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT The FMR1 gene premutation (55–200 CGG repeats) is usually associated with a wide range of symptoms and phenotypes within the Fragile X‐tremor/ataxia syndrome (FXTAS), but may also manifest as predominant or isolated cognitive decline. We describe three male patients referred for progressive cognitive impairment and behavioral changes. Standard
Guido Greco +7 more
wiley +1 more source
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 +2 more
wiley +1 more source
Causality in the Semantics of Esterel: Revisited [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the semantics
MohammadReza Mousavi
doaj +1 more source
Operational Semantics of Security Protocols [PDF]
, 2005 Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e.g. the intruder model. Further characteristics of the model are a straightforward handling of parallel execution of multiple protocols, locality of security claims, the ...
Cremers, C.J.F., Mauw, S.
openaire +2 more sources