Sciweavers

145 search results - page 6 / 29
» Novel Solver for Dynamic Surfaces
Sort
View
CP
2011
Springer
12 years 7 months ago
Algorithm Selection and Scheduling
Algorithm portfolios aim to increase the robustness of our ability to solve problems efficiently. While recently proposed algorithm selection methods come ever closer to identifyin...
Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, ...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 5 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
TJS
2002
136views more  TJS 2002»
13 years 7 months ago
A Virtual Test Facility for the Simulation of Dynamic Response in Materials
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...
Julian Cummings, Michael Aivazis, Ravi Samtaney, R...
JCB
2006
79views more  JCB 2006»
13 years 7 months ago
A Stability Boundary Based Method for Finding Saddle Points on Potential Energy Surfaces
The task of finding saddle points on potential energy surfaces plays a crucial role in understanding the dynamics of a micromolecule as well as in studying the folding pathways of...
Chandan K. Reddy, Hsiao-Dong Chiang
SI3D
2009
ACM
14 years 2 months ago
Interactive water streams with sphere scan conversion
Fluid simulations require efficient dynamics, surface extraction and rendering in order to achieve real time interaction. We present a novel technique for the surface extraction ...
Rama Hoetzlein, Tobias Höllerer