Results 81 to 90 of about 1,330,014 (301)
Mantis: Predicting System Performance through Program Analysis and Modeling [PDF]
arXiv, 2010 We present Mantis, a new framework that automatically predicts program performance with high accuracy. Mantis integrates techniques from programming language and machine learning for performance modeling, and is a radical departure from traditional approaches. Mantis extracts program features, which are information about program execution runs, through
arxiv
Reversible Debugging in Logic Programming [PDF]
arXiv, 2020 Reversible debugging is becoming increasingly popular for locating the source of errors. This technique proposes a more natural approach to debugging, where one can explore a computation from the observable misbehaviour backwards to the source of the error. In this work, we propose a reversible debugging scheme for logic programs.
arxiv
, 2009 Overview. X-ray scattering from polymer composites during deformation has not yet become a routine method. Thus, a scientific group that intends to be successful in this field, still has to provide developer’s qualifications both in the fields of ...
N. Stribeck
semanticscholar +1 more source
CNS Mitochondria‐Derived Vesicle in Blood: Potential Biomarkers for Brain Mitochondria Dysfunction
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Mitochondrial dysfunction is a hallmark of neurodegenerative diseases like Alzheimer's (AD) and Parkinson's (PD). Our goal was to develop practical, noninvasive methods to assess mitochondrial status through the detection of mitochondria‐derived vesicles (MDVs).
Qi Liu +12 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Amygdala enlargement has been the subject of controversial studies regarding its significance in terms of pathogenicity both in epilepsy and in psychiatric comorbidities such as anxiety, depression, and post‐traumatic stress disorder.
Hélène Mourre +15 more
wiley +1 more source
Exact computation of GMM estimators for instrumental variable quantile regression models [PDF]
arXiv, 2017 We show that the generalized method of moments (GMM) estimation problem in instrumental variable quantile regression (IVQR) models can be equivalently formulated as a mixed integer quadratic programming problem. This enables exact computation of the GMM estimators for the IVQR models.
arxiv
Bounded Quantifier Instantiation for Checking Inductive Invariants
, 2019 We consider the problem of checking whether a proposed invariant $\varphi$ expressed in first-order logic with quantifier alternation is inductive, i.e. preserved by a piece of code.
Feldman, Yotam M. Y. +4 more
core +1 more source
Coffee Consumption Is Associated With Later Age‐at‐Onset of Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Observation studies suggest that coffee consumption may lower the risk and delay the age‐at‐onset (AAO) of Parkinson's disease (PD). The aim of this study was to explore the causal relationship and genetic association between coffee consumption and the AAO, risk, and progression of PD. Using Mendelian randomization, we identified a significant
Dariia Kuzovenkova +3 more
wiley +1 more source
Actionable Wearables Data for the Neurology Clinic: A Proof‐of‐Concept Tool
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Wearable devices can monitor key health and fitness domains. In multiple sclerosis (MS), monitoring step count and sleep is feasible, valid, and offers a holistic glimpse of patient functioning and worsening. However, data generated from wearables are typically unavailable at the point of care.
Nicolette Miller +12 more
wiley +1 more source
Assertion checker for the C programming language based on computations over event traces [PDF]
arXiv, 2001 This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -- precedence and inclusion, and represents the temporal relationship between actions.
arxiv