Results 141 to 150 of about 481 (175)

On non-eliminability of the cut rule and the roles of associativity and distributivity in non-commutative substructural logics

, 2009
Takeshi Ueno, Koji Nakatogawa, Osamu Watari   +2 more
openalex   +2 more sources

Measurement of inferior colliculus volume based on MRI image stacks and its relationship with age and hearing status. [PDF]

PLoS One
Kwok P, Gleich O, Koch P, Schenkl G, Koch N, Bohr C.   +5 more
europepmc   +1 more source

On Sahlqvist Formulas in Relevant Logic. [PDF]

J Philos Logic, 2018
Badia G.
europepmc   +1 more source

Semilinear substructural logics with the finite embeddability property

, 2016
San-Min Wang
openalex   +2 more sources

Modal Translation of Substructural Logics

, 2018
Takis Hartonas
openalex   +2 more sources

MEN: leveraging explainable multimodal encoding network for precision prediction of CYP450 inhibitors. [PDF]

Sci Rep
Atwereboannah AA, Wu WP, Al-Antari MA, Yussif SB, Ejiyi CJ, Tenagyei EK, Kissanga GB, Emmanuel GSA, Gu YH, Ahene E.   +9 more
europepmc   +1 more source

Explainable artificial intelligence (XAI) to find optimal in-silico biomarkers for cardiac drug toxicity evaluation. [PDF]

Sci Rep
Pramudito MA, Fuadah YN, Qauli AI, Marcellinus A, Lim KM.   +4 more
europepmc   +1 more source

Substructural Logic for Orientable and Non-Orientable Surfaces

, 2011
Christophe Fouqueré, Virgile Mogbil, Gabriele Pulcini   +2 more
openalex   +1 more source

Molecular similarity: Theory, applications, and perspectives. [PDF]

Artif Intell Chem
López-Pérez K, Avellaneda-Tamayo JF, Chen L, López-López E, Juárez-Mercado KE, Medina-Franco JL, Miranda-Quintana RA.   +6 more
europepmc   +1 more source