Results 121 to 130 of about 14,682 (204)

Achieving Operational Universality through a Turing Complete Chemputer. [PDF]

JACS Au
Gahler D, Thomas D, Lach S, Cronin L.
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

copick: An open dataset interface and toolkit for collaborative annotation and analysis of cryo-electron tomography data. [PDF]

Protein Sci
Ermel UH, Schwartz J, Zhao Z, Ji D, Peck A, Yu Y, Paraan M, Carragher B, Frangakis AS, Harrington KIS.   +9 more
europepmc   +1 more source

Design of high-performance, accurate, and approximate Dadda-tree multipliers for image processing applications. [PDF]

Sci Rep
Rather AA, Khurshid B, Banday SA, Algarni AA.   +3 more
europepmc   +1 more source

Cadastral plots dataset: Availability of passive climatization strategies in Barcelona's residential buildings. [PDF]

Data Brief
Moccia A, Alonso-Montolío C, Coch H.
europepmc   +1 more source

Kolmogorovian Censorship, Predictive Incompleteness, and the Locality Loophole in Bell Experiments. [PDF]

Entropy (Basel)
Grangier P.
europepmc   +1 more source

Spring-loaded DNA origami arrays as energy-supplied hardware for modular nanorobots. [PDF]

Sci Robot
Pfeiffer M, Cole F, Wang D, Ke Y, Tinnefeld P.   +4 more
europepmc   +1 more source

On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization

, 2005
Marques-Silva, J. P., Manquinho, V., João Marques-Silva, Vasco Manquinho   +3 more
core   +1 more source

Accelerating hybrid XOR-CNF Boolean satisfiability problems natively with in-memory computing. [PDF]

Nat Commun
Im H, Böhm F, Pedretti G, Kushida N, Noori M, Valiante E, Zhang X, Yang CW, Bhattacharya T, Sheng X, Ignowski J, Heittmann A, Strachan JP, Mohseni M, Beausoleil R, Vaerenbergh TV, Rozada I.   +16 more
europepmc   +1 more source

Vertical Self-Rectifying Memristive Arrays for Page-Wise Parallel Logic and Arithmetic Processing. [PDF]

Adv Mater
Son K, Cho JM, Shin DH, Kim YR, Ghenzi N, Cheong S, Kim BS, Lee JK, Kim S, Choi W, Lee SH, Han J, Hwang CS.   +12 more
europepmc   +1 more source