Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
W Billingsley, P Robinson - Journal of Automated Reasoning, 2007 - Springer
Abstract The Intelligent Book project aims to improve online education by designing
materials that can model the subject matter they teach, in the manner of a reactive learning …
materials that can model the subject matter they teach, in the manner of a reactive learning …
[PDF][PDF] Intelligent tutoring and supervised problem solving in the browser.
Web-based intelligent tutoring systems are becoming increasingly sophisticated. One
approach to the resulting complexity is to separate the application into a front-end applet …
approach to the resulting complexity is to separate the application into a front-end applet …
The intelligent book: technologies for intelligent and adaptive textbooks, focussing on discrete mathematics
WH Billingsley - 2008 - cl.cam.ac.uk
Abstract An “Intelligent Book” is a Web-based textbook that contains exercises that are
backed by computer models or reasoning systems. Within the exercises, students work …
backed by computer models or reasoning systems. Within the exercises, students work …
Employing authentic analytics for more authentic tasks
W Billingsley, P Fletcher - Big data in education: Pedagogy and research, 2021 - Springer
Although teaching systems and other infrastructure collect large amounts of information that
can give insights into the learning behaviour of students, much of this data tends to be …
can give insights into the learning behaviour of students, much of this data tends to be …
Logen--generation and simulation of digital logic on the gate-level via internet
S Kubisch, R Rennert, H Pfueller… - 2006 1ST IEEE …, 2006 - ieeexplore.ieee.org
The Internet is omnipresent. Everyone uses the Internet for information retrieval and
communication. It is part and parcel of everyday life and culture. This is also true for all levels …
communication. It is part and parcel of everyday life and culture. This is also true for all levels …
An Accelerated CS0 for Online Mature-Age Part-Time Students
W Billingsley, J Vitale - Proceedings of the 26th ACM Conference on …, 2021 - dl.acm.org
In this paper, we present the design of a" CS0" Computational Thinking course at an
Australian regional university, that is also offered to non-enrolled students via the Open …
Australian regional university, that is also offered to non-enrolled students via the Open …