Results 91 to 100 of about 1,044,682 (335)
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
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 +22 more
wiley +1 more source
Research on network programmable technologies
Dianxin kexue, 2016 Network programmable technologies enforce the capacity of flexible configuration and resource composition by providing network devices with programmable interfaces.
Lijun XIE +5 more
doaj
Energy efficiency in ROS communication: a comparison across programming languages and workloads
Frontiers in Robotics and AIIntroductionThe Robot Operating System (ROS) is a widely used framework for robotic software development, providing robust client libraries for both C++ and Python.
Michel Albonico +2 more
doaj +1 more source
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 +7 more
wiley +1 more source
Practice Recommendations for Genetic Testing of Ataxias
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Over the past decade, significant advances in genetic testing for ataxia have improved diagnostic accuracy, informed clinical trial eligibility, guided treatment decisions, and enabled cascade testing of at‐risk relatives. While guidance exists for other neurogenetic conditions, there are no standardized guidelines on genetic ...
Sharan R. Srinivasan +7 more
wiley +1 more source
Towards rule-based visual programming of generic visual systems
, 2000 This paper illustrates how the diagram programming language DiaPlan can be used to program visual systems. DiaPlan is a visual rule-based language that is founded on the computational model of graph transformation.
Hoffmann, Berthold, Minas, Mark
core +3 more sources
Characteristics of Cerebral Palsy in the Midwestern US
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cerebral palsy (CP) is the most common lifelong motor disability worldwide. Yet, data is limited on how CP manifests in the US. Our objective was to characterize and determine factors affecting functional outcomes in a large population of young people with CP in the Midwestern US.
Susie Kim +6 more
wiley +1 more source
Programming Language Use in US Academia and Industry
Informatics in Education, 2015 In the same way that natural languages influence and shape the way we think, programming languages have a profound impact on the way a programmer analyzes a problem and formulates its solution in the form of a program.
Latifa BEN ARFA RABAI +2 more
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Managing long COVID in people with multiple sclerosis and related disorders (pwMSRD) is complex due to overlapping symptoms. To address evidence gaps, we evaluated long COVID susceptibility in pwMSRD versus controls and its associations with multi‐domain function and disability.
Chen Hu +15 more
wiley +1 more source