Results 161 to 170 of about 12,229,216 (240)

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

Social balance as a satisfiability problem of computer science.

Physical review. E, Statistical, nonlinear, and soft matter physics, 2007
F. Radicchi, Daniele Vilone, Sooeyon Yoon, H. Meyer-Ortmanns   +3 more
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

Minimal reduct for propositional circumscription. [PDF]

Front Artif Intell
Xie Z, Wang Y, Yang L, Feng R.
europepmc   +1 more source

Minimum uncertainty as Bayesian network model selection principle. [PDF]

BMC Bioinformatics
Gogoshin G, Rodin AS.
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

The Firefighter problem with dynamic defence costs. [PDF]

PLoS One
Hunter E, Enright J.
europepmc   +1 more source

Research on a Hybrid Scheduling Algorithm Based on Critical-Link Optimization for Large-Scale Time-Triggered Ethernet. [PDF]

Sensors (Basel)
Zhu H, Li Z, Cheng J, Jin Z.
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

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source