Results 111 to 120 of about 1,567 (182)

WGT: Tools and algorithms for recognizing, visualizing, and generating Wheeler graphs. [PDF]

iScience, 2023
Chao KH, Chen PW, Seshia SA, Langmead B.
europepmc   +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

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]

Sensors (Basel), 2022
Zbrzezny AM, Zbrzezny A.
europepmc   +1 more source

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

Form Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

Local equations describe unreasonably efficient stochastic algorithms in random K-SAT. [PDF]

Proc Natl Acad Sci U S A
Machado D, González-García J, Mulet R.
europepmc   +1 more source

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

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

A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software. [PDF]

Data Brief
Heradio R, Cerrada C, Abad I, Aranda E, Escribano JJ, Fernandez-Amoros D.   +5 more
europepmc   +1 more source

Advances in Quantum Computing. [PDF]

Entropy (Basel), 2023
La Cour B.
europepmc   +1 more source

Kinetic Human Movement Ontology: a semantic terminology model to symbolically represent physiological movement. [PDF]

Sci Data
Amith M, Ha V, Nguyen E, Gong Y, Lin A, Tao C, Cui L.   +6 more
europepmc   +1 more source

BioLogical: a universal analysis framework for biosystem logical dynamics. [PDF]

Comput Struct Biotechnol J
Yao Y, Liu D, Zhang Z, Zhao C, Pei D.
europepmc   +1 more source