Self-assessment and study choice are two important metacognitive processes involved in Self-Regulated Learning. Yet not much empirical work has been conducted in ITSs to investigate how we can best support these two processes and improve students’ learning outcomes. The present work redesigned an Open Learner Model (OLM) with three features aimed at supporting self-assessment (self-assessment p...

This article gives sharp convergence results for stiffly accurate colloca-tion methods as applied to differential-algebraic equations (DAE's) of index 3 in Hessenberg form, proving partially a conjecture of Hairer, Lubich, and Roche.

Despite a steady supply of equipment and continuous training, teachers’ use of computers for instruction seems to be limited. Whether the problem is due to teachers’ ability or usage of computers for instruction is not well understood. In order to better understand the role of ability and usage in technology integration, teachers’ proficiency of technology integration was evaluated by separate ...

In this paper we investigate the optimal risk control and dividend distribution problem for a diffusion model with a terminal value. Usually the insurer cedes risk by means of a reinsurance contract, and pays dividends out dynamically from the surplus. Consider that the insurer is trying to balance risk control and dividend payout in terms of reinsurance and dividend distribution policies. Then...

A new method for solving algebraic equation systems common in cryptanalysis is proposed. Our method differs from the others in that the equations are not represented as multivariate polynomials, but as a system of Multiple Right Hand Sides linear equations. The method was tested on scaled versions of the AES. The results overcome significantly what was previously achieved with Gröbner Basis rel...

In this contribution the principles behind Structural Equation Modeling (SEM) are presented. SEM is used for assessing the quality of models that are proposed on the basis of theory and experience. This contribution has an introductory level.

Estimation of consistent initial conditions is very crucial for the successful solution of differential–algebraic equation (DAE) systems that arise in many fields of science and engineering. In this paper, an efficient perturbation approach for initialization of DAE systems of index-1 is proposed and implemented for DAE models governing batteries. In addition, different existing solvers are com...

Brain-behavior associations in fMRI studies are typically restricted to a single level of analysis: either a circumscribed brain region-of-interest (ROI) or a larger network of brain regions. However, this common practice may not always account for the interdependencies among ROIs of the same network or potentially unique information at the ROI-level, respectively. To account for both sources o...

A new index closely related to the strangeness index of a differential-algebraic equation is presented. Basic properties of the strangeness index are shown to be valid also for the new index. The definition of the new index is conceptually simpler than that of the strangeness index, hence making it potentially better suited for both practical applications and theoretical developments.

ValEncIA-IVP is a verified solver for initial value problems for sets of ordinary differential equations which determines guaranteed enclosures of all reachable states. In this paper, we present its new features which allow for a wider application domain. They also improve the performance of ValEncIA-IVP. Especially for the simulation of asymptotically stable systems, we present a new exponenti...