Results 191 to 200 of about 580,256 (322)

In Vivo Passive Sampling Implantation in Fish for Monitoring of PAHs: Calibration and Kinetics. [PDF]

J Xenobiot
Narváez Valderrama JF, García Londoño JJ, Gil Ramírez D, Arias-Monsalve CS, Gallego JL.   +4 more
europepmc   +1 more source

Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic

, 2015
Roberto Maieli
openalex   +1 more source

eliminates two processing steps; cuts mixing time in half! [PDF]

, 1958

openalex   +1 more source

High‐Resolution MRI Revealed Different Etiology‐Specific Associations With Cerebral Infarction in Adult Moyamoya Vasculopathy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective High‐resolution MRI enables detailed assessment of intracranial vessel wall pathology in moyamoya vasculopathy. We aimed to classify adult moyamoya vasculopathy etiologies using high‐resolution MRI and to examine subtype‐specific associations between high‐resolution MRI features and ischemic infarction.
Guangsong Han, Jiachun Pan, Yuehui Hong, Xiaoyuan Fan, Ming Yao, Lixin Zhou, Yicheng Zhu, Feng Feng, Jun Ni   +8 more
wiley   +1 more source

A proof of cut-elimination theorem in simple type-theory [PDF]

, 1967
Moto-o Takahashi
openalex   +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

Decision-making value of a 1-cm tumor diameter cut-off for postoperative ¹³¹I treatment in papillary thyroid microcarcinoma. [PDF]

Am J Transl Res
Zheng G, Guo H, Yao S, Jia Q, Tan J, Meng Z.   +5 more
europepmc   +1 more source

Cut elimination in coalgebraic logics

, 2010
Dirk Pattinson, Lutz Schröder
openalex   +2 more sources

Free Definite Description Theory – Sequent Calculi and Cut Elimination

, 2020
Andrzej Indrzejczak
openalex   +2 more sources

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic [PDF]

, 2010
Rajeev Goré, Linda Postniece, Alwen Tiu
openalex   +1 more source