Results 111 to 120 of about 481 (175)

Tower-Complete Problems in Contraction-Free Substructural Logics

, 2022
Hiromi Tanaka
openalex   +2 more sources

Powers and limitations of Urquhart-style semantics I: basic substructural logics

Eunsuk Yang
openalex   +1 more source

Adapting CHMTRN (CHeMistry TRaNslator) for a New Use. [PDF]

J Chem Inf Model, 2020
Judson PN, Ihlenfeldt WD, Patel H, Delannée V, Tarasova N, Nicklaus MC.   +5 more
europepmc   +1 more source

Retrosynthetic reaction pathway prediction through neural machine translation of atomic environments. [PDF]

Nat Commun, 2022
Ucak UV, Ashyrmamatov I, Ko J, Lee J.
europepmc   +1 more source

Algebraic proof theory for substructural logics: Cut-elimination and completions

, 2011
Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui   +2 more
openalex   +1 more source

AI-Driven Polypharmacology in Small-Molecule Drug Discovery. [PDF]

Int J Mol Sci
Abdelsayed M.
europepmc   +1 more source

Heat Capacity Estimation Using a Complete Set of Homodesmotic Reactions for Organic Compounds. [PDF]

Molecules, 2022
Khursan SL.
europepmc   +1 more source

Identify drug-drug interactions via deep learning: A real world study. [PDF]

J Pharm Anal
Li J, Zhao Y, Wang Z, Lei C, Wu L, Zhang Y, He S, Bo X, Xiao J.   +8 more
europepmc   +1 more source

Computational Approaches to Enzyme Inhibition by Marine Natural Products in the Search for New Drugs. [PDF]

Mar Drugs, 2023
Gago F.
europepmc   +1 more source