203 search results - page 17 / 41 » Making Computer Programming Fun and Accessible |
ACG
2009
Springer
14 years 4 months ago
2009
Springer
Retrograde analysis is a tool for reconstructing a game tree starting from its leaves; with these techniques one can solve specific subsets of a complex game, achieving optimal pl...
ECTEL
2009
Springer
13 years 7 months ago
2009
Springer
Successful self-regulated learning in a personalized learning environment (PLE) requires self-monitoring of the learner and reflection of learning behaviour. We introduce a tool ca...
CPHYSICS
2006
13 years 9 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
ICFP
1999
ACM
14 years 2 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...