Results 131 to 140 of about 118,936 (260)

Cut-elimination for $\omega_{1}$

, 2018
In this paper we calibrate the strength of the soundness of a Kripke-Platek set theory with the axioms of Infinity and \Pi_{1}-Collection with the assumption that`there exists an uncountable regular ordinal' in terms of the existence of ordinals.
openaire   +2 more sources

Self‐Regulated Learning Meets AI: Reinterpreting Self‐Regulation, Co‐Regulation, and Socially Shared Regulation in Human–AI Interaction

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley   +1 more source

Screening performance of the MUS-3600 urine analyzer for urinary tract infection: comparison with urine culture. [PDF]

Acta Biochim Pol
Yalçınkaya Kara ZM, Genç L, Odabaşı MS, Aktaş E.   +3 more
europepmc   +1 more source

RNA Sequencing Resolves Cryptic Pathogenic Variants in Mitochondrial Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Mitochondrial diseases are the most common inherited metabolic disorders, characterized by pronounced clinical and genetic heterogeneity that complicates molecular diagnosis. Although DNA‐based sequencing approaches have become standard in genetic testing, up to half of patients remain without a definitive diagnosis.
Zhimei Liu, Xin Duan, Fatemeh Peymani, Jia Wang, Chengjia Bao, Chaolong Xu, Ying Zou, Zixuan Zhang, Yunxi Zhang, Tongyue Li, Martin Pavlov, Junling Wang, Minhan Song, Tianyu Song, Xiaodi Han, Mingxi Sun, Danmin Shen, Ruoyu Duan, Huafang Jiang, Manting Xu, Holger Prokisch, Fang Fang   +21 more
wiley   +1 more source

Topdown Cut-Elimination

Topdown Cut-Elimination
A direct cut-elimination procedure is proposed, which works for the sequent calculi not only of the classical and the intuitionistic logics but also of the standard modal logics. In the procedure, we do not introduce the inference rule mix but eliminate the usual rule cut directly.
openaire   +3 more sources

Authors' response. [PDF]

J Forensic Sci
Maskell PD, de Korompay A.
europepmc   +1 more source

Sertraline Treatment Can Mimic Niemann‐Pick Type C Biomarker Profile: A Diagnostic Pitfall

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Oxysterols (cholestane‐3β,5α,6β‐triol and 7‐ketocholesterol) and N‐palmitoyl‐O‐phosphocholineserine (PPCS) are sensitive biomarkers for Niemann‐Pick disease type C (NPC) screening. However, false‐positive results occur, with a biomarker profile suggestive of NPC despite the absence of pathogenic variants in genes involved in NPC or ...
Maria Makrygianni, Cecile Pagan, Antony Citterio‐Quentin, Isabelle Rouvet, Giulia Dingeo, Cyril Hanin, Claudine Laurent‐Levinson, Samia Pichard, Bénédicte Héron, Clément Gourguechon, Daniele Mandia, Jerome Guitton, Carole Lacout, Nicolas Schleinitz, Florient Potier, Olivier Flabeau, Elsa Besse‐Pinot, Foudil Lamari, Magali Pettazzoni, Yann Nadjar   +19 more
wiley   +1 more source

Sn-Driven Grain Boundary Elimination for Single-Crystalline Ni-Rich Cathodes with Superior High-Voltage Stability in Lithium-Ion Batteries. [PDF]

Adv Sci (Weinh)
Xie G, Qian D, Li R, Liu TX, Lu S.
europepmc   +1 more source

Long‐Term Efficacy of Immunotherapy in Autoimmune Autonomic Ganglionopathy—A 10‐Year Follow Up Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Autoimmune autonomic ganglionopathy (AAG) is a rare but potentially treatable cause of severe autonomic failure. Evidence guiding long‐term immunotherapy, treatment sequencing, and residual autonomic impairment is limited. We evaluated long‐term treatment response, residual autonomic dysfunction, and relapse patterns in patients with
Giacomo Chiaro, Shiwen Koay, Gordon T. Ingle, Patricia McNamara, Laura Watson, Fion Bremner, Valeria Iodice   +6 more
wiley   +1 more source

Insulated at home, indispensable abroad: positioning India's global health strategy after the 2025 contraction in development assistance. [PDF]

Front Health Serv
Sriram S.
europepmc   +1 more source