Results 141 to 150 of about 36,627 (309)

Program Equivalence in the Erlang Actor Model

Computers
This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky, Dániel Horpácsi, Simon Thompson   +2 more
doaj   +1 more source

How do programs become more concurrent? A story of program transformations [PDF]

, 2008
For several decades, programmers have relied onMooreâ s Law to improve the performance of their softwareapplications. From now on, programmers need to programthe multi-cores if they want to deliver efficient code.
Dig, Danny, Marrero, John, Ernst, Michael D.   +2 more
core  

Influenza Vaccination Responses in Disabled Stroke Patients: A Single‐Center Prospective Observational Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective This study aimed to investigate the immunological response to influenza vaccination, the incidence and severity of influenza infection, and the side effects of the vaccination in patients with ischemic stroke. Methods This prospective observational study was conducted between 2023 and 2024 at Ramathibodi Hospital.
Achiraya Pakngao, Sureerat Suwatcharangoon, Pintip Ngamjanyapron, Kobporn Boonnak, Thanitta Suangtamai, Porpon Rotjanapan   +5 more
wiley   +1 more source

Dynamics and Pragmatics for High Performance Concurrency [PDF]

This thesis is concerned with support at all levels for building highly concurrent and dynamic parallel processing systems. The CSP model of concurrency, as (largely) embodied in the occam programming language is used due to its simplicity ...
Barnes, Frederick R.M.
core  

Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani, Emmanuel Barbeau, Béatrice Lemesle, Emilie Milongo‐Rigal, Sophie Fernandez, Sandrine Charpentier, Jean‐François Albucher, Nicolas Raposo, Fabrice Bonneville, Patrice Péran, Jérémie Pariente   +10 more
wiley   +1 more source

Unraveling 4‐Phenylbutyrate's Therapeutic Role in SLC6A1 Disorders: Pharmacochaperoning Over HDAC Inhibition

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Variants in SLC6A1, encoding the GABA transporter 1 (GAT‐1), cause epilepsy, autism spectrum disorder, and developmental delay via loss of GABA uptake, impaired trafficking, and ER retention. We previously found that 4‐Phenylbutyrate (PBA), an FDA‐approved drug, restores GABA uptake and reduces seizures in SLC6A1‐related disorders ...
Melissa B. DeLeeuw, Karishma Randhave, Ekta Anand, Ziang (Debbie) Song, Wangzhen Shen, Jing‐Qiong Kang   +5 more
wiley   +1 more source

Higher Dimensional Transition Systems

, 1996
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional transition.
Cattani, G.L., Gian Luca Cattani, Vladimiro Sassone, Sassone, V.   +3 more
core   +1 more source

Paramagnetic Rim Lesions and Choroid Plexus Volume at Diagnosis Are Associated With Cognitive Progression Independent of Relapse and MRI Activity in Early Relapsing–Remitting Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Paramagnetic rim lesions (PRLs) and choroid plexus (CP) enlargement reflect smoldering inflammation in multiple sclerosis. Their role in cognitive progression remains unexplored. Eighty‐seven early relapsing–remitting MS patients were enrolled at diagnosis and followed longitudinally.
Stefano Ziccardi, Damiano Marastoni, Agnese Tamanti, Pietro Biasi, Valentina Visani, Annalisa Colombi, Tom A. Fuchs, Monica Sicchieri, Chiara Eccher, Francesco Guarnaccia, Milena Calderone, Valentina Camera, Francesca Benedetta Pizzini, Roberta Magliozzi, Marco Castellaro, Massimiliano Calabrese   +15 more
wiley   +1 more source

Effects of Add‐On Icosapent Ethyl With Standard Treatment on Functional Outcomes and Inflammatory Biomarkers in Acute Ischemic Stroke: A Blinded Randomized Controlled Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Ischemic stroke, a major cause of mortality and long‐term disability, results from the abrupt cessation of cerebral blood flow due to vascular occlusion or rupture. Icosapent Ethyl (EPA‐EE), approved for hypertriglyceridemia, has anti‐inflammatory and antithrombotic properties that may lessen ischemic damage.
Mitra Mahmoudi Meymand, Seyed Hossein Aghamiri, Saeed Mohmammad Soleymani, Shadiyeh Bararpoor Poshkohi, Samaneh Masoudi, Hadi Esmaily   +5 more
wiley   +1 more source

An Interpretation of Cognitive Theory in Concurrency Theory [PDF]

, 1998
Theories of concurrent systems have been extensively investigated in the computer science domain. However, these theories are very general in nature and hence, we would argue, are applicable to many disciplines in which concurrency arises. Furthermore, a
Howard Bowman, Bowman, Howard
core