Zobrazeno 1 - 3
of 3
pro vyhledávání: '"William M. Siever"'
Autor:
Michelle Leger, William M. Siever, Adam Harter, Marketa Illetskova, Alex R. Bertels, Samuel A. Mulder, Daniel R. Tauritz, Joshua M. Tuggle, Samuel N. Richter, Denis Bueno
Publikováno v:
SSCI
Many real-world engineering and science problems can be mapped to Boolean satisfiability problems (SAT). CDCL SAT solvers are among the most efficient solvers. Previous work showed that instances derived from a particular problem class exhibit a uniq
Publikováno v:
GECCO (Companion)
The run-time of evolutionary algorithms (EAs) is typically dominated by fitness evaluation. This is particularly the case when the genotypes are complex, such as in genetic programming (GP). Evaluating multiple offspring in parallel is appropriate in
Autor:
Mariesa L. Crow, Bruce M. McMillin, Stanley Atcitty, William M. Siever, Ann Miller, Daniel R. Tauritz
Publikováno v:
SIMULATION. 84:297-309
High-speed simulations of power transmission systems, which often rely on solving nonlinear systems of equations, are an increasingly important tool for training, testing equipment, on-line control and situational awareness. Such simulations, however