Results 181 to 190 of about 2,682,535 (254)

Time for a globally unified chronic HBV terminology? [PDF]

JHEP Rep
Wang S, Freeland C, Lim SG, Desalegn H, Cohen C, Janssen HLA.   +5 more
europepmc   +1 more source

A Randomized, Double-Blind, Placebo-Controlled, Multiple Ascending Dose Phase 1 Study of Firsekibart in Chinese Healthy Participants. [PDF]

Clin Pharmacol Drug Dev
Yong X, Du X, Li X, Chen Y, Zhu X, Luo T, Xu Q.   +6 more
europepmc   +1 more source

Spatiotemporal trends in P. falciparum malaria and identification of high-risk villages in Eastern Myanmar: an 8-year observational study. [PDF]

Sci Rep
Rae JD, Parker DM, Maude RJ, Thu AM, Devine A, Nosten FH, Simpson JA.   +6 more
europepmc   +1 more source

Rebound in prevalence and intensity of Onchocerca volvulus infection five years after cessation of alternative treatment strategies in the Massangam Health District, West Region, Cameroon: need for coordinated and sustained efforts. [PDF]

PLoS Negl Trop Dis
Ondoua Nganjou GS, Sumo L, Efon Ekangouo A, Toche NN, Bopda J, Sondi Dissake JC, Youmbi Kammogne I, Domche A, Niamsi Emalio Y, Mpaba Minkat TM, Nko'Ayissi GB, Hedtke SM, Grant WN, Njiokou F, Kamgno J, Nana Djeunga HC.   +15 more
europepmc   +1 more source

Cut-elimination for SBL

Cut-elimination for SBL
openaire  

A dynamic pharmacometric framework defining the relationship between ivermectin exposure and mosquito lethality

Hoglund RM, Kobylinski KC, Jittamala P, Hanboonkunupakarn B, Wamaket N, Sriwichai P, Phasomkusolsil S, White NJ, Day NP, Tarning J.   +9 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Cut-Elimination: Syntax and Semantics

Studia Logica, 2014
This article concerns the cut-elimination by resolution (CERES) method for first-order logic [\textit{M. Baaz} et al., Lect. Notes Comput. Sci. 3452, 481--495 (2005; Zbl 1108.03305)]. Compared with reductive cut-elimination (e.g.\ Gentzen-/Schütte-/Tait-style) which can be viewed as sequences of local reductions, CERES operates globally on LK-proofs ...
M. Baaz, A. Leitsch
semanticscholar   +2 more sources

Cut-Elimination for Quantified Conditional Logic

Journal of Philosophical Logic, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christoph Benzmüller
semanticscholar   +2 more sources