Sciweavers

78 search results - page 7 / 16
» The Importance of Branching Models in SCM
Sort
View
BC
2004
73views more  BC 2004»
14 years 9 months ago
Dynamics and stability of insect locomotion: a hexapedal model for horizontal plane motions
We develop a simple hexapedal model for the dynamics of insect locomotion in the horizontal plane. Each leg is a linear spring endowed with two inputs, controlling force-free lengt...
Justin E. Seipel, Philip J. Holmes, Robert J. Full
FIMH
2007
Springer
15 years 3 months ago
Simulation of 3D Ultrasound with a Realistic Electro-mechanical Model of the Heart
This paper presents a first set of experiments to integrate a realistic electro-mechanical model of a beating heart into simulated real-time three-dimensional (RT3D) ultrasound da...
Qi Duan, Philippe Moireau, Elsa D. Angelini, Domin...
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
15 years 1 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...
94
Voted
IJCSA
2006
289views more  IJCSA 2006»
14 years 9 months ago
Cash Forecasting: An Application of Artificial Neural Networks in Finance
Artificial Neural Networks are universal and highly flexible function approximators first used in the fields of cognitive science and engineering. In recent years, Neural Networks...
PremChand Kumar, Ekta Walia
POPL
2007
ACM
15 years 9 months ago
On the analysis of interacting pushdown systems
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
Vineet Kahlon, Aarti Gupta