Results 51 to 60 of about 1,022,127 (268)

Document number: N4024 Date: 2014-05-22 Project: [PDF]

Reply-to: Nat Goodspeed ( nat at lindenlab dot com) Oliver Kowalke (oliver dot kowalke at gmail dot com) Distinguishing coroutines and ...
Programming Language C
core  

Step-Indexed Logical Relations for Probability (long version)

, 2015
It is well-known that constructing models of higher-order probabilistic programming languages is challenging. We show how to construct step-indexed logical relations for a probabilistic extension of a higher-order programming language with impredicative ...
A. Ahmed, D. Dreyer, R. Crubillé
core   +1 more source

Remaining Burden of Spinal Muscular Atrophy Among Treated Patients: A Survey of Patients and Caregivers

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Spinal muscular atrophy (SMA) significantly impacts motor function. This study aimed to assess the persistent burden and unmet needs among currently treated patients with SMA and their caregivers. Methods Two complementary web‐based surveys were distributed in August 2024 among patients with SMA and their caregivers.
Julie A. Parsons, Natalie Land, Melissa Culhane Maravic, Claire Cagle, Amal Jamaleddine, Hemal Shah, Thomas Brown, Christabella Cherubino, Mouhamed Gueye   +8 more
wiley   +1 more source

Programming Languages

, 2019
Compilers translate information from one representation to another. Most commonly, the information is a program. Compilers translate from high-level source code to low-level code. Translators transform representations at the same level of abstraction. Windows – 50 million LOC. Google internet services – 2 billion LOC.
openaire   +1 more source

Digital Activity Markers in Chronic Inflammatory Demyelinating Polyneuropathy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To evaluate the utility of smartwatch and smartphone‐based activity metrics for assessing disease severity and quality of life in patients with chronic inflammatory demyelinating polyneuropathy (CIDP). Methods In the electronic monitoring of disease activity in patients with CIDP (EMDA‐CIDP) trial, we performed a prospective ...
Lars Masanneck, Jan Voth, Noëmi Gmahl, Konstantin Jendretzky, Niklas Huntemann, Noah M. Werner, Linea Schmidt, Menekse Oeztuerk, Paula Quint, Christina B. Schroeter, Hans Peter Hartung, Thomas Skripuletz, Gerd Meyer zu Hörste, Tobias Ruck, Sven G. Meuth, Marc Pawlitzki   +15 more
wiley   +1 more source

Programming language design [PDF]

, 1974
I can still find no better way to express my thoughts on this subject than the following [McKeeman 66]: “The universe and its reflection in the ideas of man have wonderfully complex structures. Our ability to comprehend this complexity and perceive an underlying simplicity is intimately bound with our ability to symbolize and communicate our experience.
openaire   +2 more sources

Theorem proving support in programming language semantics [PDF]

, 2007
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core   +3 more sources

Serum Neurofilament Light Chain in Multiple Sclerosis: Superiority of Age‐ and BMI‐Corrected Z Scores/Percentiles Over Absolute Cutoff Values for Prediction of Treatment Response

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Prognostication of disease course and prediction of treatment response in multiple sclerosis is an unmet need. We compared the performance of serum neurofilament light chain Z scores (age‐ and BMI‐adjusted) with absolute concentrations for the prediction of response to disease‐modifying therapy.
Maximilian Einsiedler, Aleksandra Maleska Maceski, Sofia Sandgren, Johanna Oechtering, Sabine Schaedelin, Lisa Hofer, Amar Zadic, Juan Francisco Vilchez Gomez, Lester Melie‐Garcia, Alessandro Cagol, Riccardo Galbusera, Sebastian Finkener, Patrice Lalive, Marjolaine Uginet, Stefanie Müller, Caroline Pot, Amandine Mathias, Renaud Du Pasquier, Robert Hoepner, Andrew Chan, Giulio Disanto, Chiara Zecca, Marcus D’Souza, Lars G. Hemkens, Tobias Derfuss, Özgür Yaldizli, Patrick Roth, Claudio Gobbi, David Brassat, Björn Tackenberg, Henrik Zetterberg, Tjalf Ziemssen, Heinz Wiendl, Klaus Berger, Marco Hermesdorf, Fredrik Piehl, Ludwig Kappos, Cristina Granziera, Ahmed Abdelhak, David Leppert, Eline A. J. Willemse, Pascal Benkert, Jens Kuhle, Swiss Multiple Sclerosis Cohort Study (SMSC)   +43 more
wiley   +1 more source

The rs10191329 Risk Allele Is Associated With Pronounced Retinal Layer Atrophy in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To investigate whether the rs10191329 risk allele in the DYSF–ZNF638 locus, which is implicated in central nervous system resilience rather than immune‐mediated pathology, is associated with retinal layer thinning, a biomarker of neuroaxonal damage in relapsing multiple sclerosis (RMS). Methods From a prospective observational study,
Gabriel Bsteh, Ruchi Tanavade, Nik Krajnc, Fabian Föttinger, Theresa König, Martin Krenn, Lukas Haider, Barbara Kornek, Fritz Leutmezer, Kerstin U. Ludwig, Stefan Macher, Tobias Monschein, Markus Ponleitner, Paulus Rommer, Christiane Schmied, Karin Zebenholzer, Tobias Zrzavy, Gudrun Zulehner, Franziska Di Pauli, Axel Schmidt, Harald Hegen, Berthold Pemp, Thomas Berger   +22 more
wiley   +1 more source

Bilateral versus Unilateral Training With Rhythmic Auditory Cueing in Stroke Rehabilitation: Effects on Upper Limb Function and Interhemispheric Inhibition

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Stroke is a leading cause of long‐term disability in adults, with upper limb hemiparesis being a common impairment. Traditional training is mostly aimed at paralyzed limbs, but the effect of bilateral training is still unclear.
Fangfang Qian, Yanhong Dai, Guoqiang Zheng, Qi Zhong, Jianliang Lu, Luying Hu, Youhua He, Zhuoming Chen   +7 more
wiley   +1 more source