Results 61 to 70 of about 194,768 (276)
Derandomized Parallel Repetition via Structured PCPs [PDF]
, 2014 A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return is allowed to err with some bounded probability.
Dinur, Irit, Meir, Or
core +1 more source
A Forensically Sound Adversary Model for Mobile Devices
, 2015 In this paper, we propose an adversary model to facilitate forensic investigations of mobile devices (e.g. Android, iOS and Windows smartphones) that can be readily adapted to the latest mobile device technologies. This is essential given the ongoing and
Choo, Kim-Kwang Raymond +2 more
core +2 more sources
Applying an Ethical Lens to the Treatment of People With Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT The practice of neurology requires an understanding of clinical ethics for decision‐making. In multiple sclerosis (MS) care, there are a wide range of ethical considerations that may arise. These involve shared decision‐making around selection of a disease‐modifying therapy (DMT), risks and benefits of well‐studied medications in comparison to
Methma Udawatta, Farrah J. Mateen
wiley +1 more source
“Regulatory Daubert”: A Proposal to Enhance Judicial Review of Agency Science by Incorporating Daubert Principles into Administrative Law [PDF]
, 2003 In Daubert v. Merrell Dow Pharmaceuticals Inc, the US Supreme Court empowered federal judges to reject irrelevant or unreliable scientific evidence. Daubert provides a suitable framework for reviewing the quality of agency science and the soundness of ...
Raul, Alan Charles, Dwyer, Julie Zampa
core +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To delineate specific in vivo white matter pathology in neuronal intranuclear inclusion disease (NIID) using diffusion spectrum imaging (DSI) and define its clinical relevance. Methods DSI was performed on 42 NIID patients and 38 matched controls.
Kaiyan Jiang +10 more
wiley +1 more source
Soundness Correction of Data Petri Nets
IEEE AccessA process model is called sound if it always terminates properly and each model activity can occur in a process instance. Conducting soundness verification right after process design enables the detection and elimination of design errors in a process to ...
Nikolai M. Suvorov, Irina A. Lomazova
doaj +1 more source
BMC Plant Biology, 2017 The inclusive threshold policy for publication in BMC journals including BMC Plant Biology means that editorial decisions are largely based on the soundness of the research presented rather than the novelty or potential impact of the work.
Fabrizio Costa +2 more
doaj +1 more source
Neuroinflammation in GAD65 Antibody‐Associated Epilepsy Measured Using [18F]DPA‐714 PET/MRI
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT The timing for initiating immunotherapy in patients with glutamic acid decarboxylase 65 (GAD65) antibody‐associated epilepsy is a challenge. We used the translocator protein radioligand [18F]DPA‐714 and PET to evaluate brain microglial activation.
Jingjing Chen +10 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Accessing brain magnetic resonance imaging (MRI) can be challenging, especially for underserved patients, which may lead to disparities in neurological diagnosis. Method This mixed‐methods study enrolled adults with one of four neurological disorders: mild cognitive impairment or dementia of the Alzheimer type, multiple sclerosis ...
Maya L. Mastick +19 more
wiley +1 more source
Synthesized size-sound sound symbolism [PDF]
, 2016 38th Annual Meeting of the Cognitive Science Society (CogSci 2016), 10 augustus ...
Lockwood, Gwilym +2 more
openaire +2 more sources