Epsilon Substitution for $ID_1$ via Cut-Elimination [PDF]
, 2015 Henry Towsner
openalex +1 more source
Re-emergence of malaria in Karen State, Myanmar: has the battle of Burma been lost? [PDF]
Malar JPateekhum C +12 more
europepmc +1 more source
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic
, 2015 Matthias Baaz, Christian G. Fermüller
openalex +2 more sources
Evaluation of the Use of a Medium Cut-Off Dialyser Theranova 400 for Severe Metaldehyde Intoxication in Three Dogs: Dialytic Clearance and Therapeutic Response. [PDF]
Vet Med SciRodary M +5 more
europepmc +1 more source
Generating facets for the cut polytope of a graph by triangular elimination [PDF]
, 2006 David Avis, Hiroshi Imai, Tsuyoshi Ito
openalex +1 more source
Microhomology-mediated end joining is the predominant form of DNA repair in the mosquito Aedes aegypti with implications for gene editing, gene drive, and transgene removal. [PDF]
Nucleic Acids ResRomanowski JS, Myles KM, Adelman ZN.
europepmc +1 more source
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We\n Can Explore Them [PDF]
, 2020 Ekaterina Komendantskaya +2 more
openalex +1 more source
Simple cut elimination proof for hybrid logic
, 2016 Andrzej Indrzejczak
semanticscholar +1 more source
From Radiocopper to Cold Copper: Mechanistic Modeling and Simulation to Define Clinical Response Criteria and Biomarkers for VTX-801 in Wilson Disease. [PDF]
CPT Pharmacometrics Syst PharmacolLindauer A +3 more
europepmc +1 more source