Results 131 to 140 of about 2,682,535 (254)

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

, 2010
Rajeev Goré, Linda Postniece, Alwen Tiu
openalex   +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

Don't Eliminate Cut: Exponential Separations in LLM-Based Theorem Proving

Sho Sonoda, Shunta Akiyama, Yuya Uezato
openalex   +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

Method of eliminating the effect of a free gas on the measurement of water cut three-phase oil-water emulsion by the flow microwave water-cut meter

, 2019
M. I. Gurevich, Dmitriy Tsarapkin, Vladimir Lomanov, Г. А. Баталова, Yury Lachuga, Vladimir Kvitko, Roman Denisov   +6 more
openalex   +1 more source

Causes of water encroachment in open-cut tunnel structures and innovative waterproofing, and repair systems for its elimination

, 2023
D.S. Konyukhov, Tengiz E. Kobidze, Oleg B. Krymov   +2 more
openalex   +2 more sources

A Standardized 10-Step Algorithm for Vitrectomy in Diabetic Tractional Retinal Detachment. [PDF]

Cureus
Pérez González D.
europepmc   +1 more source

Reconciling Lambek's restriction, cut-elimination, and substitution in\n the presence of exponential modalities [PDF]

, 2016
Max Kanovich, Stepan Kuznetsov, Andre Scedrov   +2 more
openalex   +1 more source

Cuts for circular proofs: semantics and cut-elimination

Annual Conference for Computer Science Logic, 2013
J. Fortier, L. Santocanale
semanticscholar   +1 more source