Results 141 to 150 of about 44,054 (190)

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

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

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

Boolean satisfiability [PDF]

Communications of the ACM, 2014
openaire   +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

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

A novel obfuscation method based on majority logic for preventing unauthorized access to binary deep neural networks. [PDF]

Sci Rep
Mohseni A, Moaiyeri MH, Adel MJ.
europepmc   +1 more source

Parameterized Complexities of Dominating and Independent Set Reconfiguration

, 2022
Bodlaender HL, Groenland C, Swennenhuis CMF.   +2 more
europepmc   +1 more source

A dataset on vulnerabilities affecting dependencies in software package managers. [PDF]

Data Brief
Márquez AG, Varela-Vaca ÁJ, Gómez López MT.   +2 more
europepmc   +1 more source