547 search results - page 17 / 110 » Teaching with technology, setting an example |
CE
2008
13 years 8 months ago
2008
E-Science has the potential to transform school science by enabling learners, teachers and research scientists to engage together in authentic scientific enquiry, collaboration an...
MKM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
TEI
2010
ACM
14 years 2 months ago
2010
ACM
“Programmable bricks” are microcontroller-based devices that can be used in various educational projects, such as robotic prototypes, environmental sensing, and interactive ar...
JSW
2008
13 years 8 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
ATAL
2007
Springer
13 years 12 months ago
2007
Springer
The paper describes functionality of Magenta Multi-Agent Logistics i-Scheduler Engine presented on AAMAS 2006 conferences and gives examples of its application in business domain....