Results 151 to 160 of about 117,954 (285)

On proof mining by cut-elimination

, 2014
. We present cut-elimination as a method of proof mining, in the sense that hidden mathematical information can be extracted by eliminating lemmas from proofs.
Alexander Leitsch
core  

Re-emergence of malaria in Karen State, Myanmar: has the battle of Burma been lost? [PDF]

Malar J
Pateekhum C, Thu AM, Lwin KM, Nyaw SB, Tun SW, Daniel S, Khin A, Aung WL, Kain K, Imwong M, Day NP, White NJ, Nosten FH.   +12 more
europepmc   +1 more source

Diffusion Spectrum Imaging Maps Early Axonal Loss and a Unique Progressive Signal in Neuronal Intranuclear Inclusion Disease

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, Yixiu Pei, Xiaobao Hu, Ying Xiong, Fang Wang, Yanyan Yu, Min Zhu, Dandan Tan, Meihong Zhou, Daojun Hong, Fuqing Zhou   +10 more
wiley   +1 more source

Cut-Elimination for Full Intuitionistic Linear Logic

, 1996
We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and exponential-free) Linear Logicintroduced by Hyland and de Paiva.
de Paiva, Valeria, Braüner, Torben
core  

Urine tapentadol quantification in people injecting supratherapeutic doses: Clinical utility and liquid chromatography-tandem mass spectrometry method validation. [PDF]

Indian J Psychiatry
Sharma P, Shivaprakash P, Shukla L, Murthy P.   +3 more
europepmc   +1 more source

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

Vestibular Patient Journey: Insights From Vestibular Disorders Association (VeDA) Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Vestibular symptoms impose a high burden of disability. Understanding real‐world diagnostic and treatment pathways can identify care gaps and guide interventions. We aimed to characterize symptom profiles, diagnostic trends, provider involvement, and treatment patterns in vestibular disorders.
Ali Rafati, Sami I. Nassar, Shaun A. Nguyen, Patricia L. Gerend, Michael C. Schubert, Michael T. Teixido, Frederick A. Godley, Joel A. Goebel, Cynthia A. Ryan, Habib G. Rizk, Amir Kheradmand   +10 more
wiley   +1 more source

Innovation and progress towards TB elimination in New South Wales, Australia. [PDF]

IJTLD Open
Donnan EJ, Pett J, Furlong C, Ulbricht E, Massey PD, Sintchenko V, Marais BJ.   +6 more
europepmc   +1 more source

Clinical Validation of Plasma p‐217tau in Neurological Diseases

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Plasma p‐217tau is a minimally invasive but specific biomarker for diagnosing Alzheimer's disease (AD). However, its disease specificity remains to be clinically evaluated. We validated the reliability of the p‐217tau biomarker in 12 other neurological diseases.
Takeshi Kawarabayashi, Takumi Nakamura, Ryoma Takahashi, Tetsuya Ueda, Seiji Kinoshita, Chikage Uchida, Takashi Sugawara, Kentaro Hashimoto, Kunihiko Ishizawa, Masakuni Amari, Hiroo Kasahara, Yoshio Ikeda, Masamitsu Takatama, Mikio Shoji   +13 more
wiley   +1 more source

The paradox of progress: how RAE research may be fueling inequity in sport. [PDF]

Front Sports Act Living
Horton S, Smith KL, Chittle L, Dixon JC.
europepmc   +1 more source