Sciweavers

1809 search results - page 80 / 362
» Using GDE in Educational Systems
Sort
View
ADAEUROPE
2004
Springer
15 years 3 months ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...
CORR
2004
Springer
88views Education» more  CORR 2004»
14 years 9 months ago
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
Joseph Y. Halpern
ACSE
2000
ACM
15 years 2 months ago
A streamlined system for building online presentation archives using SMIL
The demand for and expectation of ubiquitous access to multimedia online learning resources are much higher amongst computer science students than other fields of study. Previous ...
Darren James, Jane Hunter
CORR
2007
Springer
158views Education» more  CORR 2007»
14 years 10 months ago
Model of Electrostatic Actuated Deformable Mirror Using Strongly Coupled Electro-Mechanical Finite Element
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
V. Rochus, J.-C. Golinval, C. Louis, C. Mendez, I....
AIED
2007
Springer
15 years 4 months ago
Using Ontologies for an Effective Design of Collaborative Learning Activities
Although artificial intelligence has been successfully introduced to enhance Education through technologies in the past few years, major challenges still remain. One of them is how...
Seiji Isotani, Riichiro Mizoguchi