Context-Aware Adaptation: A Case Study On Mathematical Notations

References

• Andrejko , A. , Barla , M. and Bielikova , M. 2007 . “ Ontology-based user modeling for web-based information systems ” . In Advances in Information Systems Development , Edited by: Wojtkowski , W. , Wojtkowski , W. G. , Zupancic , J. , Maggar , G. and Knapp , G,. 457 – 468 . Springer .
   Google Scholar
• Archambault , D. , Stöger , B. , Fitzpatrick , D. and Miesenberger , K. 2007 . Access to scientific content by visually impaired people . Upgrade: The European Journal for the Informatics Professional , 8 ( 2 ) : 29 – 42 .
   Google Scholar
• Boole, G. (1858). An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. New York: Dover Publications. Reprinted with corrections, 1858. Originally published in 1854 http://www.gutenberg.org/etext/15114
   Google Scholar
• Brusilovsky , P. , Kobsa , A. and Neidl , W. , eds. 2007 . The Adaptive Web: Methods and Strategies of Web Personalization , Number 4321 in LNCS. Berlin/Heidelberg: Springer .
   Google Scholar
• Chaitin , G. J. 1987 . Algorithmic Information Theory , Cambridge University Press .
   Google Scholar
• Chee , Y. M. , Franke , K. , Froumentin , M. , Madhvanath , S. , Magana , J. A. , Russell , Seni, G. , Tremblay , C. , Watt , S. M. and Yaeger , L. 2006 . Ink markup language (inkml). W3C Working Draft
   Google Scholar
• Conlan , O. , Lewis , D. , Higel , S. , O'Sullivan , D. and Wade , V. 2003 . “ Applying adaptive hypermedia techniques to semantic web service composition ” . In Proceedings of International Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems 53 – 62 .
   Google Scholar
• Cristea, A., Smits, D., & de Bra, P. (2007). Towards a generic adaptive hypermedia platform: A conversion case study. Journal of Digital Information, 8(3) http://dialnet.unirioja.es/servlet/oaiart?codigo?2415354 (dialnet.unirioja.es/servlet/oaiart?codigo=2415354)
   Google Scholar
• Cuypers , H. , Cohen , A.M. , Knopper , J. W. , Verrijzer , R. and Spanbroek , M. . MathDox, a system for interactive Mathematics . Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008 . June 3–4 2008 , Vienna, Austria. pp. 5177 – 5182 . AACE .
   Google Scholar
• De Bra , P. and Calvi , L. . AHA: a generic adaptive hypermedia system . Proceedings of the 2nd Workshop on Adaptive Hypermedia and Hypermedia . June 20–24 1198 , Pittsburgh, USA.
   Google Scholar
• De Bra , P. , Aerts , A. , Berden , B. , De Lange , B. , Rousseau , B. , Santic , T. , Smits , D. and Stash , N. August 26–30, 2003 2003 . “ AHA! the adaptive hypermedia architecture ” . In Proceedings of ACM Hypertext Conference August 26–30, 2003 , 81 – 84 . Nottingham, , UK
   Google Scholar
• Design Science. (2009). Mathplayer: display math in your browser http://www.dessci.com/en/products/mathplayer
   Google Scholar
• Euzenat, M. H. J., & Patel-Schneider, P. F. (2003). Owl web ontology language: Xml presentation syntax. W3C Note http://www.w3.org/TR/owl-xmlsyntax/
   Google Scholar
• Faulhaber , A. and Melis , E. 2008 . “ An efficient student model based on student performance and metadata ” . In Proceedings of the 18th European Conference on Aritifical Intelligence Edited by: Ghallab , Malik , Spyropoulos , Constantine D. , Fakotakis , Nikos and Nikos , Avouris . 276 – 280 .
   Google Scholar
• Galilei , G. 1623 . The Assayer Rome
   Google Scholar
• González , P. A. 2006 . “ Sentido: an authoring environment for OMDoc ” . In OMDoc – An open markup format for mathematical documents [Version 1.2] Kohlhase (2006), chapter 26.3
   Google Scholar
• Hales, C., McLaughlin, S., et al. (2007). The Flyspeck project http://code.google.com/p/flyspeck/ (Accessed: 7 June 2009 ).
   Google Scholar
• Heckmann , D. and Krüger , A. June 22–26, 2003 2003 . “ A user modeling markup language (userml) for ubiquitous computing ” . In Ninth International Conference on User Modeling (UM 2003) Edited by: Brusilovsky , P. , Corbett , A. and de Rosis , F. June 22–26, 2003 , Berlin/Heidelberg, , Germany
   Google Scholar
• Heckmann , D. , Schwartz , T. , Brandherm , B. , Schmitz , M. and M. von Wilamowitz-Mocllendorff , M. . Gumo The General User Model Ontology . User Modeling 2005 . July 24–29 2005 , Edinburgh, UK. pp. 428 – 432 .
   Google Scholar
• Hendricks, B., & Galvan, A. (2007). The Connexions Markup Language (CNXML) http://cnx.org/aboutus/technology/cnxml/0.5/spec (Accessed: 7 June 2009 ).
   Google Scholar
• Henry, G., Baraniuk, R. G., & Kelty, C. (2003). The connexions project: Promoting open sharing of knowledge for education. In Syllabus, Technology for Higher Education, 2003 http://scholorship.rice.edu/handle/1911/19951 (Accessed: 7 June 2009 ).
   Google Scholar
• JOBAD. (2008). JOBAD framework – JavaScript API for OMDocbased active documents. https://jomdoc.omdoc.org/wiki/JOBAD URL https://jomdoc.omdoc.org/wiki/JOBAD .
   Google Scholar
• JOMDoc. (2008). JOMDoc Project. http://omdoc.org/jomdoc URL http://omdoc.org/jomdoc
   Google Scholar
• Kobsa , A. 2007 . “ Generic User Modeling Systems ” . In The Adaptive Web: Methods and Strategies of Web Personalization Edited by: Brusilovsky . 136 – 154 . chapter 4
   Google Scholar
• Kohlhase , M. 2006 . OMDoc – An open markup format for mathematical documents [Version 1.2] , Verlag : Springer . Number 4180 in LNAI
   Google Scholar
• Kohlhase , M. 2008 . Using LATEX as a semantic markup format . Mathematics in Computer Science , (in press)
   Google Scholar
• Kohlhase , M. , Lange , C. and Rabe , F. June 25–26, 2007 2007 . “ Presenting mathematical content with flexible elisions ” . In OpenMath/ JEM Workshop 2007 , Edited by: Caprotti , O. , Kohlhase , M. and Libbrecht , P. June 25–26, 2007 , Hagenberg, , Austria : University of Linz .
   Google Scholar
• Kohlhase , M. , Müller , C. and Müller , N. June 27, 2007 2007 . “ Documents with flexible notation contexts as interfaces to mathematical knowledge ” . In Mathematical User Interfaces Workshop 2007 , Edited by: Libbrecht , P. June 27, 2007 , Hagenberg, , Austria : University of Linz .
   Google Scholar
• Kohlhase, M., Müller, C., & Rabe, F. (2008). Notations for Living Mathematical Documents In S. Autexier, J. Campbell, J. Rubio, Volker. Sorge, Masakasu. Suzuki, and F. Wiedijk, (Eds.), Intelligent Computer Mathematics, 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28–August 1, 2008, Proceedings, number 5144 in LNAI, (pp. 504–519). Verlag: Springer http://omdoc.org/pubs/mkm08-notations.pdf
   Google Scholar
• Kohlhase, M., Lange, C., Müller, C., Müller, N., & Rabe, F., (2009). Notations for active documents. KWARC Report KWARC2009-1, Jacobs University Bremen, 2009 http://kwarc.info/publications/papers/KLMMR_NfAD.pdf (Accessed: 7 June 2009 ).
   Google Scholar
• Lange , C. 2008 . “ SWiM – a semantic wiki for mathematical knowledge management ” . In The Semantic Web Research and Application, volume 5021 of Lecture Notes in Computer Science , Edited by: Bechhofer , S. , Hauswirth , M. , Hoffmann , J. and Koubarakis , M. 832 – 837 . Berlin/Heidelberg, , Germany : Springer .
   Google Scholar
• Lange , C. , McLaughlin , S. and Rabe , F. 2008 . Flyspeck in a semantic wiki – collaborating on a large scale formalization of the Kepler conjecture
   Google Scholar
• Li , M. and Vitanyi , P. 1997 . An Introduction to Kolmogorov Complexity and Its Applications , New York, NY: Springer .
   Google Scholar
• Liu , B. 2007 . Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data (Data-Centric Systems and Applications) , New York, NY : Springer .
   Google Scholar
• MathWebSearch. (2008). Version 0.4, Jacobs University Bremen http://kwarc.info/projects/mws/
   Google Scholar
• Melis , E. and Siekmann , J. 2004 . “ Activemath: An intelligent tutoring system for mathematics ” . In Proceedings of the International Conference ‘Artificial Intelligence and Soft Computing' (ASC 2004) , 91 – 101 . Marbella, Spain, Septembar 1–3, 2004 .
   Google Scholar
• Melis , E. , Faulhaber , A. , Eichelmann , A. and Narciss , S. 2008 . “ Interoperable Competencies Characterizing Learning Objects in Mathematics ” . In Intelligent Tutoring Systems, volume 5091 of LNCS , 416 – 425 . Berlin/Heidelberg, Germany: Springer .
   Google Scholar
• Miller, B., (2007). LaTeXML: A LATEX to xml converter http://dlmf.nist.gov/LaTeXML/ (Accessed: 2009 June ).
   Google Scholar
• MKM. (2008). International Conference on Mathematic Knowledge Management http://www.mkm-ig.org/
   Google Scholar
• Müller , C. 2008 . “ Towards CoPing with Information Overload ” . In LWA Conference Proceedings (FGWM) , Edited by: Baumeister , J. and Atzmüller , M. 33 – 40 . Würzburg, , Germany : University of Würzburg .
   Google Scholar
• Müller , C. and Kohlhase , M. 2007 . panta rhei . Wissens- und Er-fahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings . 2007 . Edited by: Hinneburg , A. pp. 318 – 323 .
   Google Scholar
• Müller, C., & Kohlhase, M. (2008a). Context Áware Adaptation: A Case Study on Mathematical Notations. Research reports, Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland
   Google Scholar
• Müller , C. and Kohlhase , M. September 24–28, 2008 2008b . “ Towards A Community of Practice Toolkit Based On Semantically Marked Up Artifacts ” . In Proceedings of the 1st World Summit of the Knowledge Society: LNAI 5288 — Emerging Technologies and Information Systems for the Knowledge Society , Edited by: Lytras , M.D. September 24–28, 2008 , 41 – 50 . Berlin, Heidelberg : Springer-Verlag . Athens, Greece
   Google Scholar
• Nauerz , A. , Welsch , M. , Bakalov , F. and König-Ries . 2008 . “ Adaptive Portals: Adapting and Recommending Content and Expertise ” . In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings , Edited by: Baumeister , J. and Atzmüller , M. Vol. 448 , Würzburg, , Germany : University of Würzburg .
   Google Scholar
• Naylor , B. and Watt , S. M. 2003 . Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms . Annals of Mathematics and Artificial Intelligence , 38 ( 1–3 ) : 3 – 25 .
   Google Scholar
• Odlyzko , A.M. 1995 . Tragic loss or good riddance? the impending demise of traditional scholarly journals . International Journal of Human-Computer Studies , 42 : 71 – 122 .
   Web of Science ®Google Scholar
• OMCD-Core. (2004). OpenMath content dictionaries http://www.openmath.org/cd/
   Google Scholar
• OpenMath. (2004). Version 2.0, The Open Math Society http://www.openmath.org/
   Google Scholar
• panta rhei. (2008). The panta rhei Project http://trac.kwarc.info/panta-rhei (Accessed: 7 June 2009 ).
   Google Scholar
• Rivest , R. , Shamir , A. and Adleman , L. 1978 . A method for obtaining digital signatures and public-key cryptosystems . Communications of the ACM , 21 ( 2 ) : 120 – 126 . 1978
   Web of Science ®Google Scholar
• Smirnova , E. and Watt , S. M. 2006 . “ Notation Selection in Mathematical Computing Environments ” . In Proceedings Transgressive Computing 2006: A conference in honor of Jean Della Dora (TC 2006) 339 – 355 . Granada, , Spain
   Google Scholar
• Ullrich , C. 2008 . Pedagogically Founded Courseware Generation for Web-Based Learning , Berlin, , Germany : Springer . LNCS
   Google Scholar
• W3C. (2003) Mathematical Markup Language (MathML) Version 2.0 (Second Edition) http://www.w3.org/TR/MathML2/ (Accessed: 7 June 2009 ).
   Google Scholar
• W3C RDFa Primer. (2008). Rdfa primer http://www.w3.org/TR/xhtml-rdfa-primer/ (Accessed: 7 June 2009 ).
   Google Scholar
• W3C Resource Description Framework. (2004). Resource Description Framework (RDF) http://www.w3.org/RDF/ (Accessed: 7 June 2009 ).
   Google Scholar