Sciweavers

1772 search results - page 305 / 355
» The Model Coupling Toolkit
Sort
View
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
13 years 8 months ago
Extreme scalability challenges in micro-finite element simulations of human bone
Coupling recent imaging capabilities with microstructural finite element (microFE) analysis offers a powerful tool to determine bone stiffness and strength. It shows high potentia...
Constantine Bekas, Alessandro Curioni, Peter Arben...
COR
2010
155views more  COR 2010»
13 years 8 months ago
A memetic algorithm for the multi-compartment vehicle routing problem with stochastic demands
The Multi-Compartment Vehicle Routing Problem (MC-VRP) consists of designing transportation routes to satisfy the demands of a set of costumers for several products that because o...
Jorge E. Mendoza, Bruno Castanier, Christelle Gu&e...
CGF
2008
124views more  CGF 2008»
13 years 8 months ago
Real-time Animation of Sand-Water Interaction
Recent advances in physically-based simulations have made it possible to generate realistic animations. However, in the case of solid-fluid coupling, wetting effects have rarely b...
Witawat Rungjiratananon, Zoltan Szego, Yoshihiro K...
CORR
2010
Springer
47views Education» more  CORR 2010»
13 years 8 months ago
Lower bounds for the error decay incurred by coarse quantization schemes
Several analog-to-digital conversion methods for bandlimited signals used in applications, such as quantization schemes, employ coarse quantization coupled with oversampling. The...
Felix Krahmer, Rachel Ward
ENTCS
2008
170views more  ENTCS 2008»
13 years 8 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi