We present an undergraduate course on concurrent programming where formal models are used in different stages of the learning process. The main practical difference with other approaches lies in the fact that the ability to develop correct concurrent software relies on a systematic transformation of formal models of inter-process interaction (so…

It is a hard task to strike a balance between extents of control a learner exercises and the amount of guidance, active or passive, afforded by the learning environment to guide, support, and motivate the learner. Adaptive systems strive to find the right balance in a spectrum that spans between self-control and system-guidance. They also concern…

Most software development is carried out by teams of software engineers working collaboratively to achieve the desired goal. Consequently software development education not only needs to develop a student's ability to write programs that can be easily comprehended by others and be able to comprehend programs written by others, but also the ability…

With the widespread use of the Internet, adopting e-learning systems in courses has gradually become more and more important in universities in Taiwan. However, because of limitations of teachers' time, selecting suitable online IT tools has become very important. This study proposes an analytic hierarchy process (AHP)-multi-choice goal…

The purpose of this study was to develop a framework for analyzing and evaluating student-constructed models of physical phenomena and monitoring the progress of these models. Moreover, we aimed to examine whether this framework could capture differences between models created using different computer-based modeling tools; namely, computer-based…

Cohesion, or the connectedness of discourse, has been recognized as playing a crucial role in both language production and comprehension processes. Researchers have debated about the "right" number and classification of cohesive devices, as well as about their interaction with coherence and/or genre. The present study proposes an integrative model…

Solving physics problem in university physics education using a computational approach requires knowledge and skills in several domains, for example, physics, mathematics, programming, and modeling. These competences are in turn related to students' beliefs about the domains as well as about learning. These knowledge and beliefs components are…

Our objective was to determine whether the Federation Internationale de Football Association (FIFA) World Cup in 1998 had a short-term impact on the number of suicides in France. Exhaustive individual daily data on suicides from 1979 to 2006 were obtained from the French epidemiological center on the medical causes of death (CepiDC-INSERM;…

The means of producing information and the infrastructure for disseminating it are constantly changing. The web mobilizes information in electronic formats, making it easier to copy, modify, remix, and redistribute. This has changed how information is produced, distributed, and used. People are not just consuming information; they are actively…

The genre of educational adventure games is a common and successful choice in game-based learning. The games combine captivating narratives that motivate players to continue playing with game mechanics that are conductive to learning: the gameplay is slow-paced, allowing players to learn at their own pace, and focused on puzzles that can be…

Purpose: The aim of this paper is to develop a system for automatic extraction of metadata from scientific papers in PDF format for the information system for monitoring the scientific research activity of the University of Novi Sad (CRIS UNS). Design/methodology/approach: The system is based on machine learning and performs automatic extraction…

Consider a discrete bivariate random variable (X, Y) with possible values x[subscript 1], x[subscript 2],..., x[subscript I] for X and y[subscript 1], y[subscript 2],..., y[subscript J] for Y. Further suppose that the corresponding families of conditional distributions, for X given values of Y and of Y for given values of X are available. We…

The usability of Identity Management (IdM) systems is highly dependent upon design that simplifies the processes of identification, authentication, and authorization. Recent findings reveal two critical problems that degrade IdM usability: (1) unfeasible techniques for managing various digital identifiers, and (2) ambiguous security interfaces.…

Model-driven software development (MDSD) aims to support the development and evolution of software intensive systems using the basic concepts of model, metamodel, and model transformation. In parallel with the ongoing academic research, MDSD is more and more applied in industrial practices. After being accepted both by a broad community of…

New approaches to emergent learner-directed learning design can be strengthened with a theoretical framework that considers learning as a dynamic process. We propose an approach that models a learning process using a set of spatial concepts: learning space, position of a learner, niche, perspective, step, path, direction of a step and step…