Results 141 to 150 of about 775,915 (321)
Facts in Exile: Corruption and Abstraction in Citizens United v. Federal Election Commission
, 2011 Zephyr Teachout
openalex +1 more source
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers [PDF]
, 2014 Arlen Cox +2 more
openalex +1 more source
Exosome Proteomics of SOD1D90A Mutation Suggest Early Disease Mechanisms, and FN1 as a Biomarker
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Amyotrophic lateral sclerosis (ALS) is a neuromuscular disease. Super oxide dismutase 1 (SOD1) gene mutations cause ALS, and the D90A mutation is associated with primarily upper motor neuron (UMN) loss. Objective Our goal is to reveal the early cellular events in ALS pathology and identify potential pharmacokinetic biomarkers, using well ...
Mukesh Gautam +6 more
wiley +1 more source
Sound Abstraction of Probabilistic Actions in The Constraint Mass Assignment Framework [PDF]
, 2013 AnHai Doan, Peter Haddawy
openalex +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Alexander disease (AxD) is a severe neurodegenerative disorder caused by gain‐of‐function mutations in the gene for GFAP, which lead to protein aggregation and a primary astrocytopathy. Symptoms vary, but failure to thrive (FTT) and frequent emesis are common and cause significant morbidity. Here we investigate GDF15, a member of the
Tracy L. Hagemann +6 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Facioscapulohumeral muscular dystrophy type 1 (FSHD1) is a progressive neuromuscular disorder with no approved treatments. Identifying reliable biomarkers is critical to monitor disease severity, activity, and progression. Interleukin‐6 (IL‐6) has been proposed as a candidate biomarker, but longitudinal validation is limited ...
Jonathan Pini +13 more
wiley +1 more source
Temporal logic with predicate abstraction
, 2004 A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants) moving over the ...
Lisitsa, Alexei, Potapov, Igor
core +2 more sources
SNUPN‐Related Muscular Dystrophy: Novel Phenotypic, Pathological and Functional Protein Insights
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective SNUPN‐related muscular dystrophy or LGMDR29 is a new entity that covers from a congenital or childhood onset pure muscular dystrophy to more complex phenotypes combining neurodevelopmental features, cataracts, or spinocerebellar ataxia. So far, 12 different variants have been described.
Nuria Muelas +18 more
wiley +1 more source
Guaranteed Error Bounds on Approximate Model Abstractions through\n Reachability Analysis [PDF]
, 2018 Luca Cardelli +3 more
openalex +1 more source