Results 121 to 130 of about 14,163,398 (293)
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 +5 more
wiley +1 more source
Reversible Sessions Using Monitors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of ...
Claudio A. Mezzina, Jorge A. Pérez
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives We aimed to determine the frequency of subclinical optic nerve (ON) lesions using MRI, optical coherence tomography (OCT), and visual evoked potentials (VEP) in radiologically isolated syndrome (RIS), and to assess their diagnostic and prognostic significance.
Christine Lebrun‐Frenay +13 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective The objective of this study was to estimate the minimal important change (MIC) and minimal clinically important difference (MCID) for pain and physical function in individuals with hip osteoarthritis (OA) following a physiotherapist‐guided exercise intervention.
Yareni Guerrero +8 more
wiley +1 more source
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions [PDF]
Logical Methods in Computer ScienceMixed-choice has long been barred from models of asynchronous communication since it compromises the decidability of key properties of communicating finite-state machines.
Jonah Pears +3 more
doaj +1 more source
Arthritis Care &Research, EarlyView.Objective The objective of this article is to identify perceptions of patients with systemic lupus erythematosus (SLE) regarding artificial intelligence (AI)–based online symptom assessment tools, and the potential of these tools to address diagnostic barriers.
Olivia A. Stein +7 more
wiley +1 more source
Session Types for Functional Multithreading [PDF]
, 2004 We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, associated with a communication channel, specifies the state transitions of a protocol and also the data types of messages associated with transitions; thus typechecking can verify ...
Vasconcelos, Vasco T. +2 more
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective Although the definition of a gout flare is well established, the state of gout flare resolution has not yet been defined. This study aimed to explore patients’ experiences and perceptions of gout flare resolution. Methods Semistructured interviews were conducted with 24 people with gout, guided by open‐ended questions exploring their ...
Sarah Stewart +5 more
wiley +1 more source
Intrinsically Typed Sessions With Callbacks
CoRR, 2023 All formalizations of session types rely on linear types for soundness as session-typed communication channels must change their type at every operation. Embedded language implementations of session types follow suit. They either rely on clever typing constructions to guarantee linearity statically, or on run-time checks that approximate linearity.
openaire +2 more sources
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
Advanced Engineering Materials, EarlyView.A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source