Results 161 to 170 of about 62,255 (228)

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

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

Boolean Satisfiability Solvers and Their Applications in Model Checking

Proceedings of the IEEE, 2015
Y. Vizel, Georg Weissenbacher, S. Malik
semanticscholar   +1 more source

Thermodynamic consistency of autocatalytic cycles. [PDF]

Proc Natl Acad Sci U S A
Kosc T, Kuperberg D, Rajon E, Charlat S.
europepmc   +1 more source

Variant-Based Satisfiability in Initial Algebras

International Workshop on Formal Techniques for Safety-Critical Systems, 2015
J. Meseguer
semanticscholar   +1 more source

Seed2LP: seed inference in metabolic networks for reverse ecology applications. [PDF]

Bioinformatics
Ghassemi Nedjad C, Bolteau M, Bourneuf L, Paulevé L, Frioux C.   +4 more
europepmc   +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

Boolean satisfiability [PDF]

Communications of the ACM, 2014
openaire   +1 more source

Extract, model, refine: improved modelling of program verification tools through data enrichment. [PDF]

Softw Syst Model
Lathouwers S, Liu Y, Zaytsev V.
europepmc   +1 more source