Sciweavers

1583 search results - page 172 / 317
» Continuous Optimization
Sort
View
BMCBI
2008
114views more  BMCBI 2008»
15 years 3 months ago
Testing the Coulomb/Accessible Surface Area solvent model for protein stability, ligand binding, and protein design
Background: Protein structure prediction and computational protein design require efficient yet sufficiently accurate descriptions of aqueous solvent. We continue to evaluate the ...
Marcel Schmidt am Busch, Anne Lopes, Najette Amara...
132
Voted
SIMVIS
2004
15 years 4 months ago
Model-based Approach to Automatic 3D Seismic Horizon Correlation across Faults
Seismic data provide detailed information about subsurface structures. Reflection events visible in the seismic data are known as horizons, and indicate boundaries between differe...
Fitsum Admasu, Klaus D. Tönnies
110
Voted
CEC
2005
IEEE
15 years 9 months ago
Performance of aggregation pheromone system on unimodal and multimodal problems
This paper describes and analyzes the aggregation pheromone system (APS) algorithm, which extends ant colony optimization (ACO) to continuous domains. APS uses the collective behav...
Shigeyoshi Tsutsui, Martin Pelikan, Ashish Ghosh
125
Voted
AC
2005
Springer
15 years 3 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
VLSID
2006
IEEE
148views VLSI» more  VLSID 2006»
16 years 3 months ago
Efficient Design and Analysis of Robust Power Distribution Meshes
With increasing design complexity, as well as continued scaling of supplies, the design and analysis of power/ground distribution networks poses a difficult problem in modern IC d...
Puneet Gupta, Andrew B. Kahng