Results 161 to 170 of about 18,245 (221)

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

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

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

The neural dynamics associated with computational complexity. [PDF]

PLoS Comput Biol
Franco JP, Bossaerts P, Murawski C.
europepmc   +1 more source

Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better. [PDF]

Entropy (Basel)
Bennakhi A, Byrd GT, Franzon P.
europepmc   +1 more source

From prior knowledge to data-informed models: a review of Boolean network inference. [PDF]

Brief Bioinform
Klemmer P, Hemedan AA, Schneider R, Ostaszewski M.   +3 more
europepmc   +1 more source

Predicting the satisfiability of Boolean formulas by incorporating gated recurrent unit (GRU) in the Transformer framework. [PDF]

PeerJ Comput Sci
Chang W, Guo M, Luo J.
europepmc   +1 more source

Towards higher order oscillatory Ising machines. [PDF]

Sci Rep
Prova NS, Cilasun H, Kumar A, Efe A, Sapatnekar SS, Karpuzcu UR.   +5 more
europepmc   +1 more source

SAT-inspired feature engineering with stacking ensemble learning for fault detection in digital logic circuits. [PDF]

Sci Rep
Thangaganesan Chandradevi S, Ramachandran D.   +1 more
europepmc   +1 more source

How large language models need symbolism. [PDF]

Natl Sci Rev
Deng X, Li H.
europepmc   +1 more source