Sciweavers

303 search results - page 24 / 61
» Challenging the Mathematics Curriculum
Sort
View
DIGITEL
2008
IEEE
14 years 2 months ago
Using Humanoid Robots as Instructional Media in Elementary Language Education
As robot technologies have developed rapidly, many researchers have tried to use robots to support education. Studies have shown that robots can help students develop problem-solv...
Gwo-Dong Chen, Chih-Wei Chang
OTM
2007
Springer
14 years 2 months ago
Compiler Assisted Elliptic Curve Cryptography
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
Manuel Barbosa, Andrew Moss, Dan Page
GLVLSI
2006
IEEE
105views VLSI» more  GLVLSI 2006»
14 years 2 months ago
A practical approach for monitoring analog circuits
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
Mohamed H. Zaki, Sofiène Tahar, Guy Bois
ICRA
2006
IEEE
165views Robotics» more  ICRA 2006»
14 years 2 months ago
Trajectory Tracking and Balance Stabilization Control of Autonomous Motorcycles
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
Jingang Yi, Dezhen Song, Anthony Levandowski, Suha...
IWNAS
2006
IEEE
14 years 1 months ago
A Fast Read/Write Process to Reduce RDMA Communication Latency
RDMA reduces network latency by eliminating unnecessary copies from network interface cards to application buffers, but how to reduce memory registration cost is a challenge. Prev...
Li Ou, Jizhong Han