Results 51 to 60 of about 12,179 (98)

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

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

Arch Hist Exact Sci
Bodner M.
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

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

J Appl Stat
Nie J, Yu J.
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

Adaptive and migration-enhanced tree seed algorithm for multi-threshold CT image segmentation and lung cancer recognition. [PDF]

PLoS One
Li C, Jiang J, Ma Z, Yu Z, Li H, Liu J, Li L, Yu Z.   +7 more
europepmc   +1 more source

Computational Approach to Molecular Catalysis by 3d Transition Metals: Challenges and Opportunities. [PDF]

Chem Rev, 2019
Vogiatzis KD, Polynski MV, Kirkland JK, Townsend J, Hashemi A, Liu C, Pidko EA.   +6 more
europepmc   +1 more source