Sciweavers

1103 search results - page 32 / 221
» New Advances and Applications of Combining Simulation and Op...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
AICOM
2005
91views more  AICOM 2005»
14 years 9 months ago
Multiagent systems for cardiac pacing simulation and control
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
Francesco Amigoni, Alessandro Beda, Nicola Gatti
SIAMJO
2010
83views more  SIAMJO 2010»
14 years 8 months ago
The Lifted Newton Method and Its Application in Optimization
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
Jan Albersmeyer, Moritz Diehl
TROB
2002
112views more  TROB 2002»
14 years 9 months ago
SHaDe, a new 3-DOF haptic device
This paper presents a new type of haptic device using spherical geometry. The basic idea of haptic devices is to provide users with feedback information on the motion and/or force ...
Lionel Birglen, Clément Gosselin, Nicolas P...
PRL
2002
91views more  PRL 2002»
14 years 9 months ago
StrCombo: combination of string recognizers
In this paper, we contribute a new paradigm of combining string recognizers and propose generic frameworks for hierarchical and parallel combination of multiple string recognizers...
Xiangyun Ye, Mohamed Cheriet, Ching Y. Suen