Results 91 to 100 of about 401 (180)

A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. [PDF]

J Formaliz Reason, 2018
Narkawicz A, Munoz C, Dutle A.
europepmc   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

Improved (DFT) Generalized k-nearest information systems on Molecular QSAR-QMMM Cryptographic Mining and Chern-Simons Weighted ℓneuron(ι):=φ∘D∘R2∘S∘R1 Topologies for the generation of the Roccustyrna Ligand Targeting SARS-COV-2 D614G Binding Sites.

, 2021
Grigoriadis I.
europepmc   +1 more source

Kolmogorovian versus Non-Kolmogorovian Probabilities in Contextual Theories. [PDF]

Entropy (Basel), 2021
Garola C.
europepmc   +1 more source

Subintuitionistic logics and their modal companions: a nested approach. [PDF]

J Appl Non Class Log
Tesi M.
europepmc   +1 more source

A Logical Modeling of Severe Ignorance. [PDF]

J Philos Logic, 2023
Bonzio S, Fano V, Graziani P, Pra Baldi M.   +3 more
europepmc   +1 more source

The limit of human intelligence. [PDF]

Heliyon
Acharjee S, Gogoi U.
europepmc   +1 more source

Human verifications: Computable with truth values outside logic. [PDF]

Proc Natl Acad Sci U S A, 2023
Johnson-Laird PN, Byrne RMJ, Khemlani SS.   +2 more
europepmc   +1 more source

The ambiguity of "true" in English, German, and Chinese. [PDF]

Asian J Philos
Reuter K.
europepmc   +1 more source