Results 51 to 60 of about 1,341,656 (346)
The Sigma-Semantics: A Comprehensive Semantics for Functional Programs [PDF]
, 1996 A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every ...
Chitil, Olaf
core +4 more sources
Lightweight Time Modeling in Timed Creol [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-based style, formulated in rewriting logic.
Olaf Owe +3 more
doaj +1 more source
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
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
Correctness of an STM Haskell implementation [PDF]
, 2012 A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given.
Bieniusa A. +7 more
core +3 more sources
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
Enriched Lawvere Theories for Operational Semantics
, 2019 Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity ...
Baez, John C., Williams, Christian
core +1 more source
Adult‐Onset Subacute Sclerosing Panencephalitis Presenting With Subacute Cognitive Deficits
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT We describe the case of a 41‐year‐old man diagnosed with adult‐onset subacute sclerosing panencephalitis (SSPE). The patient presented with subacute progressive cognitive deficits and a neuropsychological profile indicating predominant frontoparietal dysfunction. MRI showed only mild parietal‐predominant cerebral atrophy.
Dennis Yeow +4 more
wiley +1 more source