Results 111 to 120 of about 14,163,398 (293)

Intrinsically-Typed Mechanized Semantics for Session Types [PDF]

ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, 2019
Session types have emerged as a powerful paradigm for structuring communication-based programs. They guarantee type soundness and session fidelity for concurrent programs with sophisticated communication protocols.
Peter Thiemann
semanticscholar   +1 more source

Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Self‐Limited Epilepsy with Centrotemporal Spikes (SeLECTS) is associated with language impairments despite seizures originating in the motor cortex, suggesting aberrant cross‐network interactions. Here we tested whether functional connectivity in SeLECTS during language tasks predicts language performance.
Wendy Qi, Katharine Lee, Kerry C. Nix, Miguel Menchaca, Xiwei Shé, Lorelei Santa Maria, Wei Wu, Zihuai He, Fiona M. Baumer   +8 more
wiley   +1 more source

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion [PDF]

Logical Methods in Computer Science, 2016
We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and select types of the standard binary session types with a set of required ...
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida   +3 more
doaj   +1 more source

ALDOA Promotes Glycolysis and NLRP3/GSDMD Pyroptosis to Accelerate ALS Progression

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is characterized by progressive motor neuron degeneration. Glycolytic dysregulation is implicated in disease progression, yet the underlying mechanisms remain unclear. This study investigates how Aldolase A (ALDOA) drives ALS progression through glycolysis‐mediated motor neuron pyroptosis.
Kaixin Yan, Yan Jiang, Yuxuan Yong, Tianshuo Zhang, Niannian Zhang, Qianqian Zeng, Xue Gong, Li Meng, Fangfang Bi, Yongmin Liu   +9 more
wiley   +1 more source

High‐Resolution MRI Revealed Different Etiology‐Specific Associations With Cerebral Infarction in Adult Moyamoya Vasculopathy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective High‐resolution MRI enables detailed assessment of intracranial vessel wall pathology in moyamoya vasculopathy. We aimed to classify adult moyamoya vasculopathy etiologies using high‐resolution MRI and to examine subtype‐specific associations between high‐resolution MRI features and ischemic infarction.
Guangsong Han, Jiachun Pan, Yuehui Hong, Xiaoyuan Fan, Ming Yao, Lixin Zhou, Yicheng Zhu, Feng Feng, Jun Ni   +8 more
wiley   +1 more source

Service Equivalence via Multiparty Session Type Isomorphisms [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
This paper addresses a problem found within the construction of Service Oriented Architecture: the adaptation of service protocols with respect to functional redundancy and heterogeneity of global communication patterns.
Assel Altayeva, Nobuko Yoshida
doaj   +1 more source

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

A Message-Passing Interpretation of Adjoint Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
We present a system of session types based on adjoint logic which generalize standard binary session types. Our system allows us to uniformly capture several new behaviors in the space of asynchronous message-passing communication, including multicast ...
Klaas Pruiksma, Frank Pfenning
doaj   +1 more source

Session Types for Orchestration Charts

, 2008
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestra- tion language and an associated behavioural typing language. Sessions play a pivotal role in this approach. Orcharts (orchestration charts) de- fine session based services and Typecharts provide for session types with ...
FANTECHI, ALESSANDRO, E. Najm
openaire   +4 more sources

Multiparty asynchronous session types

ACM SIGPLAN Notices, 2008
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have been studied over the last decade for a wide range of process calculi and programming languages, focussing on binary (two-party) sessions.
Kohei Honda 0001, Nobuko Yoshida, Marco Carbone   +2 more
openaire   +4 more sources