438 search results - page 63 / 88 » Optimal Solvers for PDE-Constrained Optimization |
104
click to vote
PROCEDIA
2010
14 years 9 months ago
2010
High quality meshes are crucial for the solution of partial differential equations (PDEs) via the finite element method (or other PDE solvers). The accuracy of the PDE solution,...
112
click to vote
SAT
2010
Springer
14 years 9 months ago
2010
Springer
Algorithms based on local search are popular for solving many optimization problems including the maximum satisfiability problem (MAXSAT). With regard to MAXSAT, the state of the ...
110
click to vote
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
102
click to vote
RECOMB
2007
Springer
15 years 11 months ago
2007
Springer
In the past decade, genome rearrangements have attracted increasing attention from both biologists and computer scientists as a new type of data for phylogenetic analysis. Methods ...
118
click to vote
FM
2008
Springer
15 years 29 days ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...