Results 51 to 60 of about 12,135 (97)

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

A fuzzy graph theoretic approach to face shape recognition using cubic outerplanar structures. [PDF]

Sci Rep
Jaisankar D, Ramalingam S, Zegeye GB.
europepmc   +1 more source

On the Nuisance Parameter Elimination Principle in Hypothesis Testing. [PDF]

Entropy (Basel)
Flórez Rivera AF, Esteves LG, Fossaluza V, de Bragança Pereira CA.   +3 more
europepmc   +1 more source

LLpowershap: logistic loss-based automated Shapley values feature selection method. [PDF]

BMC Med Res Methodol
Madakkatel I, Hyppönen E.
europepmc   +1 more source

"In Mathematical Language": On Mathematical Foundations of Quantum Foundations. [PDF]

Entropy (Basel)
Plotnitsky A.
europepmc   +1 more source

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications. [PDF]

Front Neurorobot, 2017
Zhang J, Kang M, Li X, Liu GY.
europepmc   +1 more source

Hilbert's problems, Kant, and decidability. [PDF]

Arch Hist Exact Sci
Bodner M.
europepmc   +1 more source

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. [PDF]

J Autom Reason, 2018
Blanchette JC, Fleury M, Lammich P, Weidenbach C.   +3 more
europepmc   +1 more source

Big-Data Science in Porous Materials: Materials Genomics and Machine Learning. [PDF]

Chem Rev, 2020
Jablonka KM, Ongari D, Moosavi SM, Smit B.   +3 more
europepmc   +1 more source

Bayesian factor selection in a hybrid approach to confirmatory factor analysis. [PDF]

J Appl Stat
Nie J, Yu J.
europepmc   +1 more source