Results 61 to 70 of about 268 (109)

Um estudo de C omega em calculo de sequentes e dedução natural

, 2018
Orientador: Itala Maria Loffredo D'OttavianoTese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias HumanasResumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1w, desenvolve-se uma análise ...
Moura, José Eduardo de Almeida
core  

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

Entropy (Basel)
Plotnitsky A.
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

Markov Boundary Discovery with Ridge Regularized Linear Models. [PDF]

J Causal Inference, 2016
Strobl EV, Visweswaran S.
europepmc   +1 more source

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

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

Tracking of Lines in Spherical Images via Sub-Riemannian Geodesics in SO(3). [PDF]

J Math Imaging Vis, 2017
Mashtakov A, Duits R, Sachkov Y, Bekkers EJ, Beschastnyi I.   +4 more
europepmc   +1 more source

An innovative cellular medicine approach via the utilization of novel nanotechnology-based biomechatronic platforms as a label-free biomarker for early melanoma diagnosis. [PDF]

Sci Rep
Alqabandi JA, David R, Abdel-Motal UM, ElAbd RO, Youcef-Toumi K.   +4 more
europepmc   +1 more source