Results 91 to 100 of about 578,113 (185)

Cuts for circular proofs: semantics and cut-elimination

, 2013
One of the authors introduced in (Santocanale 2003) a calculus of circular proofs for studying the computability arising from the following categorical operations: finite products, finite coproducts, initial algebras, final coalgebras. The calculus presented (Santocanale 2003) is cut-free; even if sound and complete for provability, it lacked an ...
Santocanale, Luigi, Fortier, Jérôme
openaire   +3 more sources

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 Res
Romanowski JS, Myles KM, Adelman ZN.
europepmc   +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 Pharmacol
Lindauer A, Benichou B, González Aseguinolaza G, Combal JP.   +3 more
europepmc   +1 more source

Biliary elimination of cholesterol can be modulated by hepatocyte mitochondrial Aquaporin-8 in mice. [PDF]

Sci Rep
Capitani MC, Capiglioni AM, Marinelli RA, Marrone J.   +3 more
europepmc   +1 more source

Online and Mobile Application Diet Information for Food Chemical Intolerances: An Evaluation of the Content, Quality and Health Literacy Demand. [PDF]

J Hum Nutr Diet
Clancy AK, Leray K, Pun N.
europepmc   +1 more source

Strategies to improve the efficiency of homing gene drives with multiplexed gRNAs. [PDF]

BMC Biol
Chen W, Wu P, Champer J.
europepmc   +1 more source

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

Carbonylolysis of waste polyesters into high-value organic acids. [PDF]

Nat Commun
Liu D, Zhu S, Mei Q.
europepmc   +1 more source

Feature learning augmented with sampling and heuristics (FLASH) improves model performance and biomarker identification. [PDF]

NPJ Syst Biol Appl
Kumar S, Agarwal A, Chatterjee S.
europepmc   +1 more source

Development of a ribavirin dosing regimen in transplant recipients with chronic hepatitis E virus infection: a population pharmacokinetic and -dynamic model. [PDF]

J Antimicrob Chemother
Mulder MB, van Noort M, de Man RA, Kamar N, de Bruijne J, Knoester M, Blokzijl H, Vanwolleghem T, Roosens L, Izopet J, Gandia P, van der Eijk AA, Metselaar HJ, Ahsman MJ, van Steeg TJ, Hesselink DA, de Winter BCM.   +16 more
europepmc   +1 more source