Results 71 to 80 of about 194,768 (276)

Paradoxes of rational agency and formal systems that verify their own soundness [PDF]

, 2013
We consider extensions of Peano arithmetic which include an assertibility predicate. Any such system which is arithmetically sound effectively verifies its own soundness.
Weaver, Nik
core  

Fluid Biomarkers of Disease Burden and Cognitive Dysfunction in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Identifying objective biomarkers for progressive supranuclear palsy (PSP) is crucial to improving diagnosis and establishing clinical trial and treatment endpoints. This study evaluated fluid biomarkers in PSP versus controls and their associations with regional 18F‐PI‐2620 tau‐PET, clinical, and cognitive outcomes.
Roxane Dilcher, Charles B. Malpas, Stuart J. McDonald, William T. O’Brien, Craig Despott, Kelly L. Bertram, Matthew P. Pase, Lukas Frontzkowski, Meng Law, Terence J. O’Brien, Lucy Vivash   +10 more
wiley   +1 more source

Local testability of distance-balanced quantum codes

npj Quantum Information
In this paper, we prove a lower bound on the soundness of quantum locally testable codes under the distance balancing construction of Evra et al. Our technical contribution is that the soundness of the quantum code after this procedure is at least its ...
Adam Wills, Ting-Chun Lin, Min-Hsiu Hsieh   +2 more
doaj   +1 more source

Functional and Structural Evidence of Neurofluid Circuit Aberrations in Huntington Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Disrupted neurofluid regulation may contribute to neurodegeneration in Huntington disease (HD). Because neurofluid pathways influence waste clearance, inflammation, and the distribution of central nervous system (CNS)–delivered therapeutics, understanding their dysfunction is increasingly important as targeted treatments emerge.
Kilian Hett, Abigail Dubois, Melanie Leguizamon, Alexander Song, Paula Trujillo, Colin D. McKnight, Ciaran M. Considine, Manus J. Donahue, Daniel O. Claassen   +8 more
wiley   +1 more source

Applying Soundness Standards to Qualified Reasoning

Informal Logic, 2004
Defining qualified reasoning as reasoning containing such loose qualifying words as 'probably,' 'usually,' 'probable, 'likely,' 'ceteris paribus,' and 'primafacie, Ennis argues that typical cases of qualified reasoning, though they might be good ...
Robert H. Ennis
doaj   +1 more source

Structure–Function Decoupling of the Sensorimotor and Default Mode Networks in Black Americans With MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Multiple sclerosis (MS) exhibits racially disparate rates of disease progression. Black people with MS (B‐PwMS) experience a more severe disease course than non‐Hispanic White people with MS (NHW‐PwMS). Here we investigated structural and functional connectivity as well as structure–function decoupling in the ...
Emilio Cipriano, Giacomo Boffa, Maria Petracca, Marta Ponzano, Nicole Graziano, Claire Wigley, Claire Riley, Jonathan Howard, Pietro Bontempi, Sylvia Klineova, Fred Lublin, Matilde Inglese   +11 more
wiley   +1 more source

A CROSS-COUNTRY ANALYSIS OF THE BANKS’ FINANCIAL SOUNDNESS: THE CASE OF THE CEE-3 COUNTRIES [PDF]

Annals of the University of Oradea: Economic Science, 2013
The European integration process has a direct impact on all the components of the macroeconomic environment. The existence of a well functioning and sound banking sector becomes of great importance for the integration process as the European Union ...
Sargu Alina Camelia, Roman Angela, ,
doaj  

How does competition affect efficiency and soundness in banking? New empirical evidence [PDF]

A growing body of literature indicates that competition increases bank soundness. Applying an industrial organization based approach to large data sets for European and U.S.
Schaeck, Klaus, Čihák, Martin
core  

Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories

, 2016
Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is the consistency of a theory with the set of all true $\Pi_n$-sentences or
Salehi, Saeed, Seraji, Payam
core   +1 more source

Baseline Regional Cholinergic Denervation Predicts Cognitive Trajectories in Moderate Parkinson Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Cognitive decline is a disabling and variable feature of Parkinson disease (PD). While cholinergic system degeneration is linked to cognitive impairments in PD, most prior research reported cross‐sectional associations. We aimed to fill this gap by investigating whether baseline regional cerebral vesicular acetylcholine transporter ...
Taylor Brown, Giulia Carli, Prabesh Kanel, Stiven Roytman, Jaimie Barr, Nicolaas I. Bohnen, Roger L. Albin   +6 more
wiley   +1 more source