Results 51 to 60 of about 495 (265)

Nominal SOS

Electronic Notes in Theoretical Computer Science, 2012
AbstractPlotkinʼs style of Structural Operational Semantics (SOS) has become a de facto standard in giving operational semantics to formalisms and process calculi. In many such formalisms and calculi, the concepts of names, variables and binders are essential ingredients. In this paper, we propose a formal framework for dealing with names in SOS.
Matteo Cimini, Mohammad Reza Mousavi 0001, Michel A. Reniers, Murdoch James Gabbay   +3 more
openaire   +3 more sources

Plasma EV Proteomics Identifies ECM Remodeling and Inflammatory Proteins LUM and C7 as Candidate Biomarkers in FSHD

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Facioscapulohumeral muscular dystrophy (FSHD) is one of the most debilitating and common muscular dystrophies. Despite its severity, no approved therapy exists for FSHD patients. However, several therapeutic candidates are currently under development, and some have recently entered clinical trials, marking the need for reliable ...
Mustafa Bilal Bayazit, Chiranth K. Nagaraj, Jackson S. Newell, Kim Truc Nguyen, Xilal Y. Rima, Jacob Doon‐Ralls, Eduardo Reátegui, Jeffrey M. Statland, Rabi Tawil, Kevin M. Flanigan, Scott Q. Harper, Nizar Y. Saad   +11 more
wiley   +1 more source

Neurochemical Endpoints to Inform Early‐Stage Trials of Spinocerebellar Ataxia 2 and 3 in a Multisite Setting

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Neurochemical levels measured by brain MR spectroscopy (MRS) have been proposed as endpoints for clinical trials in early‐stage spinocerebellar ataxia (SCA) trials. We tested their trial‐readiness by quantifying neurochemicals in three affected brain regions in early‐stage cohorts of SCA2 and SCA3, examining their reproducibility in ...
James M. Joers, Yaqiao Wei, Dinesh K. Deelchand, Adam Berrington, Young Woo Park, Guita Banan, Michal Povazan, Jens T. Rosenberg, André J. W. van der Kouwe, Tetsuo Ashizawa, Khalaf O. Bushara, Chiadi U. Onyike, Sub H. Subramony, Jeremy D. Schmahmann, Brian J. Soher, Peter B. Barker, Thomas H. Mareci, Eva‐Maria Ratai, Lynn E. Eberly, Gülin Öz   +19 more
wiley   +1 more source

T1 Over Squared Proton Density Ratio to Characterize Multiple Sclerosis Lesions

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Differentiating remyelinated from demyelinated lesions in MS remains challenging without histological confirmation. This study introduces the T1‐to‐PD2 ratio (TPR) imaging approach and evaluates its ability to characterize MS lesions alongside other quantitative MRI (qMRI) metrics. Methods Thirty individuals with MS (mean age: 47.5 ± 
Sarah J. Wright, Scotty G. McKay, Jean Ramos Bou, Fen Bao, Vivian B. Truong, Chenyang Li, Li Jiang, Anza B. Memon, E. Mark Haacke, Yulin Ge, Yongsheng Chen   +10 more
wiley   +1 more source

Nominal rewriting

Information and Computation, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maribel Fernández, Murdoch Gabbay
openaire   +2 more sources

Factors Associated With the Rising Trend in Self‐Reported Cognitive Disability Among U.S. Adults Aged 18–39 From 2013–2024

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Building on our prior Behavioral Risk Factor Surveillance System analysis identifying adults aged 18–39 as the primary driver of the national increase in self‐reported cognitive disability, we examined factors associated with this rise using 2013–2024 U.S. BRFSS data. Methods We analyzed U.S.
Adam de Havenon, Ka‐Ho Wong, Mirriam Mananah, Christopher D. Anderson, Ada Fenick, Amy Arnsten, Arman Fesharaki‐Zadeh, James C. McPartland, Mary L. Adams, Kevin N. Sheth   +9 more
wiley   +1 more source

Ontognoseological horizon of the functions of the linguistic sign

Семиотические исследования
The article considers the function of a linguistic sign that forms an intelligible integrity from the point of view of their systemic interrelations arising in the essential center of the one-to-one correspondence between being and thinking.
Alexander Nickolaevich Ognev
doaj   +1 more source

Endothelial Cell Proteins as Biomarkers in Susac Syndrome

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Susac syndrome (SS) is a rare CD8+ T cell–mediated microangiopathy affecting the brain, retina, and auditory labyrinth. Endothelial injury is thought to be a central mechanism; however, no circulating disease biomarkers are known. We performed targeted proteomic profiling to identify circulating endothelial‐associated proteins as ...
Rohit Benjamin, Yue Andy Qi, Ying Hao, Catherine DeMarino, Samuel Darko, Irene Cortese, Daniel S. Reich, María I. Gaitán, Steven Jacobson, Bridgett J. Billioux, Bryan Smith, Avindra Nath   +11 more
wiley   +1 more source

Fontenelle “esprit fort”

ThéoRèmes, 2016
Going thoroughly through Fontenelle’s thought about religion, it is advisable to point out that he creates a philosophical language, which deliberately denies both the discourse of traditional metaphysics and theology, and the point of view of ancient ...
Jean Dagen
doaj   +1 more source

Nominal Narrowing.

, 2016
Nominal unification is a generalisation of first-order unification that takes alpha-equivalence into account. In this paper, we study nominal unification in the context of equational theories. We introduce nominal narrowing and design a general nominal E-unification procedure, which is sound and complete for a wide class of equational theories. We give
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho   +2 more
openaire   +3 more sources