Sciweavers

6549 search results - page 42 / 1310
» Parsimonious additive models
Sort
View
TOCL
2012
235views Formal Methods» more  TOCL 2012»
11 years 11 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner
COMSNETS
2012
168views more  COMSNETS 2012»
12 years 4 months ago
Limitations of scanned human copresence encounters for modelling proximity-borne malware
—Patterns of human encounters, which are difficult to observe directly, are fundamental to the propagation of mobile malware aimed at infecting devices in spatial proximity. We ...
James Mitchell, Eamonn O'Neill, Gjergji Zyba, Geof...
IPL
2007
105views more  IPL 2007»
13 years 8 months ago
Improving the arithmetic of elliptic curves in the Jacobi model
The use of elliptic curve cryptosystems on embedded systems has been becoming widespread for some years. Therefore the resistance of such cryptosystems to side-channel attacks is ...
Sylvain Duquesne
IJBC
2006
65views more  IJBC 2006»
13 years 8 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
TOMACS
2008
91views more  TOMACS 2008»
13 years 8 months ago
On constructing optimistic simulation algorithms for the discrete event system specification
abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models. Categories and Subject Descriptors: I...
James J. Nutaro