-
M. Homik and E. Melis, "Using Blogs for Learning Logs," in Proceedings of ePortfolio2006, Oxford, UK, 2006.
@INPROCEEDINGS{HomikMelis-ep2006,
author = {Martin Homik and Erica Melis},
title = {{Using Blogs for Learning Logs}},
booktitle = {{Proceedings of ePortfolio2006}},
year = {2006},
month = {oct},
pages = {--},
address = {{Oxford, UK}},
publisher = {{EIfEL}},
url = {http://www.activemath.org/pubs/bi.php?id=HomikMelis-ep2006},
abstract = {In general, students leave a course and do not continue to reflect on its content. Therefore, learning gaps are neither identified nor closed. Studies showed that paper-based learning logs that target cognitive and meta-cognitive processing by prompts can overcome this deficiency. We conducted an explorative study with electronic learning logs based on the blog function of the eportfolio system Elgg. Results indicate that using blogs for learning logs are well accepted by students but the cost-benefit ratio related to time investment is considered too high.},
pdfurl = {HomikMelis-ep2006.pdf},
projects = {LeActiveMath},
rights = {public},
selected = {false},
note = {Find the slides at http://www.eife-l.org/news/ep2006/programme},
}
-
M. Homik, "Assembly Tool," LeActiveMath Consortium, Deliverable D37, 2006.
@TECHREPORT{LeAM-D37-assembly-tool,
author = {Martin Homik},
title = {{Assembly Tool}},
institution = {{LeActiveMath Consortium}},
month = {jun},
year = {2006},
type = {{Deliverable}},
number = {{D37}},
projects = {{LeActiveMath}},
rights = {public},
selected = {false},
url = {http://www.activemath.org/pubs/bi.php?id=LeAM-D37-assembly-tool},
pdfurl = {LeAM-D37-assembly-tool.pdf},
}
-
M. Homik and E. Melis, "EPortfolios in ActiveMath," in Proceedings ePortfolio2005, Cambridge, UK pdfurl = HomikMelis-ePortfolio-ep2005.pdf, 2005, pp. 213-222.
@InProceedings{HomikMelis-ePortfolio-ep2005,
author = {Martin Homik and Erica Melis},
title = {ePortfolios in ActiveMath},
booktitle = {Proceedings ePortfolio2005},
pages = {213--222},
year = 2005, publisher = {},
editor = {},
projects = {},
address = {Cambridge, UK} pdfurl = {HomikMelis-ePortfolio-ep2005.pdf},
rights = {public},
url = {http://www.activemath.org/pubs/bi.php?id=HomikMelis-ePortfolio-ep2005},
selected = {false},
ISBN = {2-9524576-1-1},
abstract = {Existing ePortfolios record the work of a learner and his assessments. The standalone application Workbook of the web-based and user-adaptive learning environment ActiveMath tries to go beyond that. It aims at supporting explicit learning by providing interaction, construction and reflection opportunities.}
}
-
E. Melis, P. Kärger, and M. Homik, "Interactive Concept Mapping in ActiveMath (iCMap)," in Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik, 2005, pp. 247-258.
@InProceedings{MelisKaergerHomikcmapDelphi05,
author = {E. Melis and P. K{\"a}rger and M. Homik},
title = {{Interactive Concept Mapping in ActiveMath (iCMap)}},
OPTcrossref = {},
OPTkey = {},
booktitle = {Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik},
pages = {247--258},
year = {2005},
editor = {J\"{o}rg M. Haake, Ulrich Lucke, Djamshid Tavangarian},
volume = {66},
OPTnumber = {},
series = {LNI},
isbn = {3-88579-395-4},
OPTaddress = {},
OPTmonth = {},
organization = {Gesellschaft für Informatik e.V. (GI)},
OPTpublisher = {-},
OPTnote = {accepted},
pdfurl = {MelisKaergerHomikcmapDelphi05.pdf},
projects = {LeAM},
rights = {public},
selected = {false},
url = {http://www.activemath.org/pubs/bi.php?id=MelisKaergerHomikcmapDelphi05},
abstract = {Mind maps have been used for many (including educational) purposes. Several tools are available for visualizing and creating those maps. However, evaluation and feedback is rarely available in such tools and thus, an important aspect of interactive exercises is missing. This paper presents the interactive concept map tool, {\cmap},
that is integrated with the web-based learning environment {\activemath}. It discusses the main diagnosis mechanisms, the generation of feedback, and the adoption of the collaborative learning tool CoolModes to develop {\cmap}.}
}
-
M. Homik and A. Meier, "Designing a Proof GUI for Non-Experts — Evaluation of an Experiment," Universität des Saarlandes, FB Informatik, Seki Report SR-01-05, 2005.
@TechReport{HomikMeierSeki0105,
author = {Martin Homik and Andreas Meier},
title = {Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment},
pdfurl = {HomikMeierSeki0105.pdf},
institution = {Universit{\"a}t des Saarlandes, FB Informatik},
year = {2005},
rights = {public},
selected = {false},
projects = {Mippa},
url = {http://www.activemath.org/pubs/bi.php?id=HomikMeierSeki0105},
type = {Seki Report},
number = {SR-01-05},
abstract = {Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for non-expert users. This paper describes a paper and pencil HCI experiment, in which (non-expert) students were asked to make suggestions for a GUI for an interactive system for mathematical proofs. They had to explain the usage of the GUI by applying it to construct a proof sketch for a given theorem. The evaluation of the experiment provides insights for the interaction design for non-expert users and the needs and wants of this user group.}
}
-
M. Homik and E.Melis, "Interactive Concept Mapping," LeActiveMath Consortium, Deliverable D28, 2005.
@TECHREPORT{LeAM-D28-concept-mapping,
author = {M. Homik and E.Melis},
title = {{Interactive Concept Mapping}},
institution = {{LeActiveMath Consortium}},
month = {dec},
year = {2005},
type = {{Deliverable}},
number = {{D28}},
projects = {{LeActiveMath}},
rights = {public},
selected = {false},
url = {http://www.activemath.org/pubs/bi.php?id=LeAM-D28-concept-mapping},
pdfurl = {LeAM-D28.pdf},
}
-
E. Melis, G. Goguadze, M. Homik, P. Libbrecht, C. Ullrich, and S. Winterstein, "Semantic-Aware Components and Services of ActiveMath," British Journal of Educational Technology, 2005.
@Article{Melisetal-SemanticAware-BJET-2005,
author = {Erica Melis and Giorgi Goguadze and Martin Homik and Paul Libbrecht and Carsten Ullrich and Stefan Winterstein},
title = {Semantic-Aware Components and Services of ActiveMath},
journal = {British Journal of Educational Technology},
year = {2005},
OPTkey = {},
OPTvolume = {},
OPTnumber = {},
OPTpages = {},
OPTmonth = {},
OPTnote = {},
projects = {LeActiveMath},
url = {http://www.activemath.org/pubs/bi.php?id=Melisetal-SemanticAware-BJET-2005},
pdfurl = {Melisetal-SemanticAware-BJET-2005.pdf},
rights = {public},
selected = {true},
abstract = {ActiveMath is a complex Web-based adaptive learning environment with a number of components and interactive learning tools. The basis for handling semantics of learning content is provided by its semantic (mathematics) content markup which is additionally annotated with educational metadata. Several components, tools, and external services can make use of that content markup, for instance a course generator, a semantic search engine, and user input evaluation services. The components and services have to communicate, pass content and state changes, actions, etc including mathematical semantics and educational markup. The novel event infrastructure supports this communication. This article focuses on usage of the content's semantics by selected novel components and sketches the communication.},
OPTannote = {}
}
-
M. Homik and A. Meier, "Designing a Proof GUI for Non-Experts — Evaluation of an Experiment," in Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005), Edinburgh, Scotland, 2005, pp. 160-178.
@InProceedings{HomikMeierUITP2005,
author = {Martin Homik and Andreas Meier},
title = {Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment},
booktitle = {Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005)},
year = {2005},
pages = {160--178},
address = {Edinburgh, Scotland},
projects = {Mippa},
annote = {accepted},
url = {http://www.activemath.org/pubs/bi.php?id=HomikMeierUITP2005},
rights = {public},
selected = {false},
pdfurl = {HomikMeierUITP2005.pdf},
abstract = {Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for non-expert users. This paper describes a paper and pencil experiment, in which (non-expert) students were asked to make suggestions for a GUI for an interactive system for mathematical proofs. They had to explain the usage of the GUI by applying it to construct a proof sketch for a given theorem. The evaluation of the experiment provides insights for the interaction design for non-expert users and the needs and wants of this user group.},
newsletter = {yes}
}
M. Homik and E. Melis, "Using Blogs for Learning Logs," in Proceedings of ePortfolio2006, Oxford, UK, 2006.