Sciweavers

3295 search results - page 475 / 659
» Using Technologies to Improve E-Learning
Sort
View
CORR
2010
Springer
225views Education» more  CORR 2010»
15 years 5 months ago
Analysis of the Security of BB84 by Model Checking
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
Mohamed Elboukhari, Mostafa Azizi, Abdelmalek Aziz...
175
Voted
SAC
2008
ACM
15 years 5 months ago
ECG data provisioning for telehomecare monitoring
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
Bernardo Gonçalves, José Gonç...
194
Voted
CPAIOR
2010
Springer
15 years 4 months ago
Boosting Set Constraint Propagation for Network Design
Abstract. This paper reconsiders the deployment of synchronous optical networks (SONET), an optimization problem naturally expressed in terms of set variables. Earlier approaches, ...
Justin Yip, Pascal Van Hentenryck, Carmen Gervet
TPDS
2010
260views more  TPDS 2010»
15 years 4 months ago
Real-Time Modeling of Wheel-Rail Contact Laws with System-On-Chip
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
Yongji Zhou, T. X. Mei, Steven Freear
IGARSS
2010
15 years 4 months ago
A tracking algorithm for GNSS reflected signals on sea surface
The observation of the ocean surface using electromagnetic sources of opportunity (GNSS signals for instance) has been a green research topic for several years. The Global Navigat...
Sarab Tay, Arnaud Coatanhay, Frederic Maussang, Re...