Results 151 to 160 of about 12,229,216 (240)

Logical computation with self-assembling electric circuits. [PDF]

PLoS One, 2022
Yasmin R, Deaton R.
europepmc   +1 more source

Combining greedy and evolutionary algorithms to maximize influence in networks under deterministic linear threshold model. [PDF]

PLoS One
Andreev A, Kochemazov S, Semenov A.
europepmc   +1 more source

A geometric framework for reaction enumeration in computational nucleic acid devices. [PDF]

J R Soc Interface, 2023
Kumar S, Lakin MR.
europepmc   +1 more source

Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance. [PDF]

PeerJ Comput Sci
Yun S, Wang X.
europepmc   +1 more source

The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic

Information and Control, 1984
S. Yamasaki, S. Doshita
semanticscholar   +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

Solving perfect matchings by frequency-grouped multi-photon events using a silicon chip. [PDF]

Nat Commun
Zhu P, Zheng Q, Wang K, Yu M, Xia G, Liu J, Liu Y, Zhu Z, Xu P.   +8 more
europepmc   +1 more source

A Localized Scalable DNA Logic Circuit System Based on the DNA Origami Surface. [PDF]

Int J Mol Sci
Tang Z, Li S, Chen C, Zhou Z, Yin Z.
europepmc   +1 more source

GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem

Evolutionary Computation, 2006
F. Lardeux, F. Saubion, Jin-Kao Hao
semanticscholar   +1 more source

Two-Phase Distributed Genetic-Based Algorithm for Time-Aware Shaper Scheduling in Industrial Sensor Networks. [PDF]

Sensors (Basel)
Chang RI, Hsu TW, Chen YT.
europepmc   +1 more source