Results 131 to 140 of about 42,931 (182)

Flow rate selection depends on the size of allergen particles to achieve optimal nasal irrigation. [PDF]

Sci Rep
Liu Y, Sui X, Yang Q, Jie Z, Yang Z, Feng W, Zhou R.   +6 more
europepmc   +1 more source

All-to-all reconfigurability with sparse and higher-order Ising machines. [PDF]

Nat Commun
Nikhar S, Kannan S, Aadit NA, Chowdhury S, Camsari KY.   +4 more
europepmc   +1 more source

SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

, 2020
Janhunen Tomi, Tasharrofi Shahab
openaire   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Anesthesia Practice Shift Scheduling With a Generative Deep Learning Model. [PDF]

Cureus
Emeneker W, Heape S, Hartman G, Gillespie M, Perkins S.   +4 more
europepmc   +1 more source

Optimization by decoded quantum interferometry. [PDF]

Nature
Jordan SP, Shutty N, Wootters M, Zalcman A, Schmidhuber A, King R, Isakov SV, Khattar T, Babbush R.   +8 more
europepmc   +1 more source

Experimental and In Silico Studies on the Development of an Electrochemical Biosensor for the Quantification of H₂O₂ Based on the ChOx Enzyme. [PDF]

Biosensors (Basel)
Ortiz-Santos E, Valdés-Ramírez G, Millán-Pacheco C, Serratos IN, Serratos IN, Lozano-Camargo ML, Dalmasso P, Rivas GA, Galicia L.   +8 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

SAT-Hard: A Learning-Based Hardware SAT-Solver

2019 22nd Euromicro Conference on Digital System Design (DSD), 2019
Within the last decades, tremendous research work has been carried out on the development of software-based algorithms to solve the Boolean Satisfiability Problem. These SAT-solvers have then been heavily orchestrated for addressing complex computational tasks like the verification of circuits. In this field, most of the applied techniques focused only
Ustaoglu, Buse, Huhn, Sebastian, Sill Torres, Frank, Große, Daniel, Drechsler, Rolf   +4 more
openaire   +2 more sources

Amoeba-inspired SAT Solver

IEICE Proceeding Series, 2014
†Flucto-order Functions Research Team, RIKEN Advanced Science Institute,‡Tokyo Tech-RIKEN International School, Tokyo Institute of Technology,2-1, Hirosawa, Wako, Saitama 351-0198, Japan£Photonic Network Research Institute, National Institute of Information and Communications Technology,4-2-1 Nukui-kita, Koganei, Tokyo 184-8795, Japan§Graduate School ...
Masashi Aono, Song-Ju Kim, Liping Zhu, Makoto Naruse, Motoichi Ohtsu, Hirokazu Hori, Masahiko Hara   +6 more
openaire   +1 more source