Results 131 to 140 of about 44,520 (208)

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

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

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

A new paradox for well-being subjectivism. [PDF]

Analysis, 2023
Davies B.
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

How large language models need symbolism. [PDF]

Natl Sci Rev
Deng X, Li H.
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

Complete realization of energy landscapes and non-equilibrium trapping dynamics in small spin glass and optimization problems. [PDF]

Sci Rep
Po HF, Yeung CH.
europepmc   +1 more source