Modelling a layer for real-time management of interactions in web based distance learning

In the last few years, the University of Aveiro, Portugal, has been offering several distance learning courses over the Web, using e-learning platforms. Experience showed that different editions of a same course, using the same contents and structure, and having similar target learners, had different success rates. What would be the reason for that? A hypothesis was considered: The level of success could be directly related with the remote follow-up of the learners’ participation in the courses; the best results usually occur when the follow-up is closer. The existing e-learning platforms offer and the standardization works being developed by organizations and consortiums like IMS (IMS Global Learning Consortium, Inc), ADL SCORM (Advanced Distributed Learning Sherable Content Object Reference Model), IEEE LTSC LOM (Institute of Electrical and Electronic Engineers Learning Technologies Standard Committee Learning Object Metadata), ARIADNE (ARIADNE Foundation for the European Knowledge Pool), AICC CMI (Aviation Industry CBT Committee Computer Managed Instruction), etc, don’t cover the course monitorization concerns mentioned. Those projects were focused on aspects like contents and its delivery in the context of the execution of the courses’ activities. This is even true in the SCORM project that doesn’t include any reference to the management of the e-learning processes. Recently, in the context of the IMS Global Consortium, a new project designated IMS LD (Learning Design) is under development, providing a framework for the description of learning units under a three level model. In the most recently defined level, the C level, some functionalities related to notifications were proposed, expressing similar concerns to the ones that triggered our research. However, the extent at which IMS LD takes the functionalities is, from our point of view, not complete. This article describes a proposal of a reference model and functionalities towards a specification of a layer for real-time management of user interactions on LMSs, and its possible integration with the ADL SCORM standard proposal. The paper includes a discussion of the management metadata model for the LMS sub-system and how the integration of the management module under SCORM may be achieved

On the Polytope Escape Problem for Continuous Linear Dynamical Systems

The Polyhedral Escape Problem for continuous linear dynamical systems consists of deciding, given an affine function $f: \mathbb{R}^{d} \rightarrow \mathbb{R}^{d}$ and a convex polyhedron $\mathcal{P} \subseteq \mathbb{R}^{d}$, whether, for some initial point $\boldsymbol{x}_{0}$ in $\mathcal{P}$, the trajectory of the unique solution to the differential equation $\dot{\boldsymbol{x}}(t)=f(\boldsymbol{x}(t))$, $\boldsymbol{x}(0)=\boldsymbol{x}_{0}$, is entirely contained in $\mathcal{P}$. We show that this problem is decidable, by reducing it in polynomial time to the decision version of linear programming with real algebraic coefficients, thus placing it in $\exists \mathbb{R}$, which lies between NP and PSPACE. Our algorithm makes use of spectral techniques and relies among others on tools from Diophantine approximation.Comment: Accepted to HSCC 201

Enhancing web supported learning in higher education by adding a management layer to LMSs

There are many situations in the e-Learning experiences that can compromise the success of the courses. Many times simple reasons are great enough to motivate people to abandon them. For example, if someone does not execute a programmed activity inside the defined window of time, it can compromise the rest of the course to that person. In such situations it would be important that the teacher knew about the situation in useful time, to be able to take any corrective action. Another example could be presented, involving the professor and the learners. Let us assume that an activity A2 is programmed to be executed by the learners and that it depends on the previous knowledge of the result of the evaluation of a work submitted by the learners to the teacher (activity A1). If the teacher doesn’t inform the learners about their classification in useful time, that can compromise the execution of the activity A2. It seems to be necessary to use mechanisms of automatic management, in real time, of the envolvement of each participant in a distance learning course using LMS (Learning Management System). Such a functionality allows the detection of deviations to the scheduled activities planned for each actor. If it is the case, the referred mechanism can initiate the process of sending notifications to the relevant entities, enabling the correction of these deviations. Several organizations and consortiuns, involving the industry, governmental institutions and universities, are developing projects of standardization. It seemed important to us to see how the referred aspects were covered by those projects, and to perceive how it could be possible to articulate our work with the ones that are available from these organizations and consortiuns. This article describes the work that the authors are developing towards the specification of a layer for real-time management of user interactions with LMSs, during the operationalization of a course, and also includes a management meta-data model, related to that management layer

On Termination of Integer Linear Loops

A fundamental problem in program verification concerns the termination of simple linear loops of the form x := u ; while Bx >= b do {x := Ax + a} where x is a vector of variables, u, a, and c are integer vectors, and A and B are integer matrices. Assuming the matrix A is diagonalisable, we give a decision procedure for the problem of whether, for all initial integer vectors u, such a loop terminates. The correctness of our algorithm relies on sophisticated tools from algebraic and analytic number theory, Diophantine geometry, and real algebraic geometry. To the best of our knowledge, this is the first substantial advance on a 10-year-old open problem of Tiwari (2004) and Braverman (2006).Comment: Accepted to SODA1