Sciweavers

4635 search results - page 286 / 927
» Modeling Design Knowledge on Structure
Sort
View

Book
301views
17 years 2 months ago
Simulating Humans: Computer Graphics, Animation, and Control
"This book is intended for human factors engineers requiring current knowledge of how a computer graphics surrogate human can augment their analyses of designed environments. ...
Norman I. Badler, Cary B. Phillips, Bonnie L. Webb...
GECCO
2005
Springer
119views Optimization» more  GECCO 2005»
15 years 10 months ago
A multi-objective evolutionary approach to peptide structure redesign and stabilization
The prediction of the native structures of proteins, the socalled protein folding problem, is a NP hard multi-minima optimization problem for which to date no routine solutions ex...
Tim Hohm, Daniel Hoffmann
SIAMSC
2008
118views more  SIAMSC 2008»
15 years 4 months ago
Splitting Methods Based on Algebraic Factorization for Fluid-Structure Interaction
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...
Santiago Badia, Annalisa Quaini, Alfio Quarteroni
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 10 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
DATASCIENCE
2006
105views more  DATASCIENCE 2006»
15 years 4 months ago
Data publication in the open access initiative
The `Berlin Declaration' was published in 2003 as a guideline to policy makers to promote the Internet as a functional instrument for a global scientific knowledge base. Beca...
Jens Klump, Roland Bertelmann, Jan Brase, Michael ...