Sciweavers

4285 search results - page 209 / 857
» Differential Behavioral Analysis
Sort
View
HYBRID
2009
Springer
15 years 10 months ago
Applications of MetiTarski in the Verification of Control and Hybrid Systems
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
Behzad Akbarpour, Lawrence C. Paulson
DAGM
2004
Springer
15 years 10 months ago
Accurate and Efficient Approximation of the Continuous Gaussian Scale-Space
Abstract. The Gaussian scale-space is a standard tool in image analysis. While continuous in theory, it is generally realized with fixed regular grids in practice. This prevents th...
Ullrich Köthe
FDTC
2008
Springer
160views Cryptology» more  FDTC 2008»
15 years 8 months ago
Error Detection for Borrow-Save Adders Dedicated to ECC Unit
Differential Fault Analysis (DFA) is a real threat for elliptic curve cryptosystems. This paper describes an elliptic curve cryptoprocessor unit resistant against fault injection....
Julien Francq, Jean-Baptiste Rigaud, Pascal Manet,...
IJBC
2006
65views more  IJBC 2006»
15 years 6 months ago
Noise-Sensitivity in Machine Tool Vibrations
We consider the effect of random variation in the material parameters in a model for machine tool vibrations, specifically regenerative chatter. We show that fluctuations in these...
E. Buckwar, R. Kuske, B. L'esperance, T. Soo
CORR
2002
Springer
106views Education» more  CORR 2002»
15 years 6 months ago
On model selection and the disability of neural networks to decompose tasks
A neural network with fixed topology can be regarded as a parametrization of functions, which decides on the correlations between functional variations when parameters are adapted...
Marc Toussaint