<strong>Proceedings</strong> NIOC 2011 6 MathDox at work The MathDox software offers various ways to interact with mathematical documents. To combine the strength of MathDox with the facilities of an e-learning environment, we extended the MathDox exercise system with a scoring mechanism compatible with the SCORM-standard. This makes it possible to include MathDox pages and exercises in SCORM-packages and upload them in e-learning environments like Blackboard or Moodle. At Eindhoven University of Technology we have set up various e-learning sites based on the MathDox software embedded in a Moodle e-learning environment: – Wortel <strong>TU</strong>/e; this is the open mathematical e-learning site of the Eindhoven University of Technolgy. Here one finds course material for various (undergraduate) courses at first year university level and for high school students. The site can be found at wortel.tue.nl. – Telmme; for the past couple of years there is a substantial increase of the number of students entering a masters program at one of the three Dutch universities of technology who obtained their bachelor degree at another university or in an other country. One of the effects is that the group of students entering a masters program is very diverse, not in the least with respect to their mathematical background. To give students the possibilities to test their mathematical knowledge and require the necessary mathematical skills, the three Dutch universities of technology offer online study material on mathematics via the e-learning site www.telmme.nl. – Wis<strong>TU</strong>/e; on entering the Eindhoven University of Technology, all new students do take a test on mathematics. To prepare them for this test, they can practice at www.wistue.nl. FIGURE 4 The Telmme e-learning environment 62
<strong>Proceedings</strong> NIOC 2011 From the student and teacher evaluations of the described systems it becomes clear that both groups really appreciate the extra possibilities that MathDox offers. In particular, the immediate and relevant feedback on exercises is highly appreciated. However, both students and teachers do not want to see the e-learning as offered by the MathDox environment as a substitution for the classical way of teaching, but they consider it to be valuable addition. A thorough investigation on the effects of the intelligent feedback as provided by the MathDox system in the area of linear algebra has been carried out in (Corbalan et al., 2010). This research has shown that there is a significant improvement of the far transfer of knowledge, meaning that students hat have studied the material with the help of more intelligent feedback do have more insight in more complex situations and exercises. References Buswell, S. Caprotti, O. Carlisle, D.P., Dewar, M.C., Gaëtano, M. and Kohlhase, M., The OpenMath standard, Version 2.0, (2004), http://www.openmath.org/standard/om20- 2004-06-30/ Caprotti, O, Cohen, A.M., & Riem, M., Java phrasebooks for Computer Algebra and Automated Deduction, Sigsam Bulletin (2000). Caprotti, O., Cohen, A. M., Cuypers, H., Riem, M. N., & Sterk, H. (2000). Using OpenMath servers for distributing mathematical computations. In Wei Chi Yang, Sung-Chi Chu & Jen-Chung Chuan (Eds.), ATCM 2000: <strong>Proceedings</strong> of the Fifth Asian Technology Conference in Mathematics, 2000, Chiang-Mai, Thailand, 325--336. Cohen, A.M. Cuypers, H., Jibetean, D. & Spanbroek,M., LeActiveMath Exercise Language, Deliverable 7, LeActivemath, http://www.leactivemath.org/publications1.html (2004). Cohen A.M., Cuypers, H., Barreiro, E.R., Sterk, H. (2003) Interactive Mathematical Documents on the Web, in Algebra, Geometry and Software Systems (eds M. Joswig and N. Takayama), Springer Verlag, 289-306. Cohen, A.M., Cuypers, H., Barreiro, E (2006) MathDox: mathematical documents on the web. In M. Kohlhase (Ed.), OMDoc: An Open Markup Format for Mathematical Documents (pp. 262-265) Berlin: Springer-Verlag. Corbalan, G., Cuypers, H., Paes, F., (2010), Computer-Based Feedback in Linear Algebra: Effects on Transfer Performance and Motivation, Computers & Education, 55 (2010), 692-703. Cuypers, H., Knopper, J.W., Spanbroek, M.,Verrijzer, R. (2008), MathDox - A System for Interactive Mathematics in <strong>Proceedings</strong> of Ed-media 2008, 5177-5182. Cuypers, H., Knoper, J.W., Brouwer, M.(2009) MathDox Editor, Electronic proceedings MathUI 2009 http://www.activemath.org/workshops/MathUI/09/ Goguadze, G., Palomo, A. G., Melis, E.(2005) Interactivity of Exercises in ActiveMath Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences Sharing. Good Practices of Research Experimentation and Innovation, Volume 133, Edited by Chee-Kit Looi, David Jonassen, Mitsuru Ikeda. Melis, E & Siekmann, J. (2004) Activemath: An intelligent tutoring system for mathematics. <strong>Proceedings</strong> of the International Conference on Artificial Intelligence and Soft Computing, 91-101. Sangwin,C. (2007) STACK: making many fine judgements rapidly. Walsh, N. (1999) DocBook: The Definitive Guide, O'Reilly & Associates, Inc. 1999. 63
- Page 1 and 2:
Proceedings NIOC 2011 7 en 8 april
- Page 4 and 5:
Sponsoren Programmaraad NIOC 2011 T
- Page 7:
Voorwoord NIOC 2011 Grenzeloos ICT
- Page 10 and 11:
Naar een open repository met inform
- Page 12 and 13: Proceedings NIOC 2011 2 Thema’s B
- Page 14 and 15: Proceedings NIOC 2011 Veel aanbiede
- Page 16 and 17: Proceedings NIOC 2011 2.5 COMMUNITY
- Page 18 and 19: Bouw een intelligente robot in de k
- Page 20 and 21: Proceedings NIOC 2011 Dwengo vzw on
- Page 22 and 23: Proceedings NIOC 2011 Deze workshop
- Page 24 and 25: Overbruggen van de tweede digitale
- Page 26 and 27: Proceedings NIOC 2011 Uit onderzoek
- Page 28: Proceedings NIOC 2011 En daarmee is
- Page 31 and 32: Free Technology Academy: Europees o
- Page 33 and 34: Proceedings NIOC 2011 6 Resultaten
- Page 35 and 36: Ideeën, wat moeten we zonder Inlei
- Page 37 and 38: Proceedings NIOC 2011 2 Afbakening
- Page 39 and 40: Proceedings NIOC 2011 Dit duidt op
- Page 42 and 43: De Open Generatiekloof Auteurs Emie
- Page 44 and 45: Proceedings NIOC 2011 Het conceptue
- Page 46 and 47: Proceedings NIOC 2011 4.1 RELATIEF
- Page 48 and 49: Proceedings NIOC 2011 Als laatste s
- Page 50: Proceedings NIOC 2011 ECABO is het
- Page 53 and 54: Mogelijke opzet voor een cursus Duu
- Page 55 and 56: Proceedings NIOC 2011 Hiervoor is k
- Page 57 and 58: MathDox Interactive Mathematics in
- Page 59 and 60: Proceedings NIOC 2011 4 MathDox sof
- Page 61: Proceedings NIOC 2011 16
- Page 65 and 66: Versiebeheer en de kwaliteit van te
- Page 67 and 68: Proceedings NIOC 2011 We hebben dri
- Page 69 and 70: Proceedings NIOC 2011 Ook hier geld
- Page 71 and 72: Proceedings NIOC 2011 FIGUUR 3 Boxp
- Page 73 and 74: Proceedings NIOC 2011 Met name bij
- Page 76 and 77: InfVO - een Amsterdamse steun in de
- Page 78 and 79: Proceedings NIOC 2011 De leerlingen
- Page 80 and 81: Proceedings NIOC 2011 5 De uitvoeri
- Page 82 and 83: Ontwerp van een 1-jarige Master Sof
- Page 84 and 85: Proceedings NIOC 2011 3 Kaders De g
- Page 86 and 87: Proceedings NIOC 2011 FIGUUR 3 Soft
- Page 88 and 89: Proceedings NIOC 2011 9 OU Master S
- Page 90 and 91: Proceedings NIOC 2011 13 Toelatings
- Page 92 and 93: Modularisering van Sterk Afhankelij
- Page 94 and 95: Proceedings NIOC 2011 De 4 vakken w
- Page 96 and 97: Proceedings NIOC 2011 3 Alle GipHou
- Page 98: Proceedings NIOC 2011 2 weken voora
- Page 101 and 102: Informatica in het VO: hoe verder 1
- Page 103 and 104: Proceedings NIOC 2011 5 Bestuurlijk
- Page 105 and 106: Hoe weet een opleiding wat het bero
- Page 107 and 108: Proceedings NIOC 2011 NVAO beoordel
- Page 109 and 110: Proceedings NIOC 2011 4.1 ZORG, WEL
- Page 111 and 112: Proceedings NIOC 2011 Schön, Donal
- Page 113 and 114:
Human-Computer Interaction onderwij
- Page 115 and 116:
Proceedings NIOC 2011 2.3 ROL VAN D
- Page 117 and 118:
Proceedings NIOC 2011 Naast DevThis
- Page 119 and 120:
MUMIE, een internationaal wiskundig
- Page 121 and 122:
Proceedings NIOC 2011 - 80% of the
- Page 123 and 124:
Ervaringen met het Gebruik van Soci
- Page 125 and 126:
Proceedings NIOC 2011 De combinatie
- Page 128 and 129:
Getting Things Done Auteur C.J. Koc
- Page 130:
Proceedings NIOC 2011 Hoe start je
- Page 133 and 134:
Rendement van objectgeoriënteerd p
- Page 135 and 136:
Proceedings NIOC 2011 2.1 ATTITUDE
- Page 137 and 138:
Proceedings NIOC 2011 3.2.2.1 Gebru
- Page 139 and 140:
Proceedings NIOC 2011 4.1.2 Motivat
- Page 141 and 142:
Proceedings NIOC 2011 100% Tussento
- Page 143 and 144:
Gebruik meth. add Creatie obj. in m
- Page 145 and 146:
Proceedings NIOC 2011 Bij het imple
- Page 147 and 148:
Proceedings NIOC 2011 Schmidt, 2007
- Page 149 and 150:
Een tijd-(en grenze)loze manier van
- Page 151 and 152:
Proceedings NIOC 2011 Active Studen
- Page 153 and 154:
Proceedings NIOC 2011 Het totaal aa
- Page 156 and 157:
De computer verdwijnt, lang leve am
- Page 158 and 159:
Proceedings NIOC 2011 Om ambient in
- Page 160 and 161:
Proceedings NIOC 2011 De effectivit
- Page 162 and 163:
Proceedings NIOC 2011 6 Uitdagingen
- Page 164 and 165:
Ervaringen met ICT-onderzoek in het
- Page 166 and 167:
Proceedings NIOC 2011 4 Welke onder
- Page 168 and 169:
Math-Bridge, een internationale wis
- Page 170 and 171:
Proceedings NIOC 2011 Math-Bridge k
- Page 172 and 173:
Proceedings NIOC 2011 FIGUUR 4 Lesm
- Page 174 and 175:
Wat kunnen we leren van Wikileaks A
- Page 176:
Proceedings NIOC 2011 3 Beperken va
- Page 179 and 180:
Ambacht en Inspiratie Digi-shoppen,
- Page 181 and 182:
Proceedings NIOC 2011 Veel van de o
- Page 183 and 184:
Toepassing van Ambient Intelligent
- Page 185 and 186:
Proceedings NIOC 2011 3 Aanpak Voor
- Page 187 and 188:
Proceedings NIOC 2011 5 Conclusies
- Page 189 and 190:
Cameratoezicht voor valdetectie: he
- Page 191 and 192:
Proceedings NIOC 2011 In deze huisk
- Page 193 and 194:
Proceedings NIOC 2011 Willems, J.,
- Page 195 and 196:
Onderzoek van onderwijs door lerare
- Page 197 and 198:
Proceedings NIOC 2011 Uitvoeringsfa
- Page 199 and 200:
Proceedings NIOC 2011 De methode wa
- Page 201 and 202:
De Propedeuse: meer dan een eerste
- Page 203 and 204:
Proceedings NIOC 2011 2.3 VERBETERI
- Page 205 and 206:
Proceedings NIOC 2011 Tijdens het w
- Page 207 and 208:
Proceedings NIOC 2011 Noten 1 We ge
- Page 209 and 210:
Semantic wiki’s voor Semantic web
- Page 211 and 212:
Proceedings NIOC 2011 In het vijfde
- Page 213 and 214:
Onderzoekend wat je allemaal niet h
- Page 215 and 216:
Proceedings NIOC 2011 8 Conclusie:
- Page 217 and 218:
Imagoverbetering van ict, gebruik v
- Page 219 and 220:
Proceedings NIOC 2011 2.1.4 De Carr
- Page 222 and 223:
Het curriculum van het hoger IT ond
- Page 224 and 225:
Proceedings NIOC 2011 Studenten heb
- Page 226 and 227:
Proceedings NIOC 2011 Maar is het o
- Page 228 and 229:
De clientkant van webapplicaties in
- Page 230 and 231:
Proceedings NIOC 2011 JavaScript we
- Page 232 and 233:
Proceedings NIOC 2011 Eenzelfde ont
- Page 234 and 235:
Future Store: de (ambient) winkel v
- Page 236 and 237:
Proceedings NIOC 2011 6 Vervolgens
- Page 238 and 239:
Proceedings NIOC 2011 Van een aanta
- Page 240:
Proceedings NIOC 2011 7 Tenslotte D
- Page 243 and 244:
Proceedings NIOC 2011 From Computer
- Page 245 and 246:
Proceedings NIOC 2011 Dit Utrechtse
- Page 247 and 248:
Proceedings NIOC 2011 Hieronder vol
- Page 250 and 251:
Oracle helpt studenten klaarstomen
- Page 252 and 253:
Gedicht in binaire code Leo van Moe
- Page 254:
Trefwoordenregister 1-jarige master