Sciweavers

381 search results - page 38 / 77
» Interactive data Analysis: The Control Project
Sort
View
ACSAC
2005
IEEE
15 years 7 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
WSC
2008
15 years 3 months ago
Simplification and aggregation strategies applied for factory analysis in conceptual phase using simulation
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
Matias Urenda Moris, Amos Ng, Jacob Svensson
NAR
2011
208views Computer Vision» more  NAR 2011»
14 years 4 months ago
MIPS: curated databases and comprehensive secondary data resources in 2010
The Munich Information Center for Protein Sequences (MIPS at the Helmholtz Center for Environmental Health, Neuherberg, Germany) has many years of experience in providing annotate...
Hans-Werner Mewes, Andreas Ruepp, Fabian J. Theis,...
HUC
2005
Springer
15 years 7 months ago
Analysis of Chewing Sounds for Dietary Monitoring
The paper reports the results of the first stage of our work on an automatic dietary monitoring system. The work is part of a large European project on using ubiquitous systems to...
Oliver Amft, Mathias Stäger, Paul Lukowicz, G...
HAPTICS
2003
IEEE
15 years 6 months ago
Electro-Rheological Fluidic Actuators for Haptic Vehicular Instrument Controls
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
J. Melli-Huber, Brian Weinberg, Avi Fisch, Jason N...