E-learning has become an integral part in higher education in the last decade. The emerging multimedia information technologies will allow researchers to identify new ways to store, retrieve, share, and manipulate complex information which are expected to be used for building exciting new e-learning applications. The focus of this paper is on video based educational material where presenters de...

We present a calculus with dependent types, subtyping and late-bound overloading. Besides its theoretical interest this work is motivated by several practical needs that range from the definition of logic encodings, to proof specialization and reuse, and to object-oriented extension of the SML module system. The theoretical study of this calculus is not straightforward. While confluence is rela...

Until recently a widespread recommendation for clinicians was not to respond to the content of patients' delusions but to stress at an early time point that the patient has a mental illness (educating approach). An opposed recommendation is to validate the patients' symptoms and normalize them (normalizing approach). This study used an experimental design to compare the impact of these two appr...

We study infinitary term rewriting systems containing finitely many rules. For these, we show that if a weakly convergent reduction is not strongly convergent, it contains a term that reduces to itself in one step (but the step itself need not be part of the reduction). Using this result, we prove the starkly surprising result that for any orthogonal system with finitely many rules, the system ...

J Softw Evol Proc 2016; 1–18 Abstract A set of restructurings to systematically normalize selective syntax in C++ is presented. The objective is to convert variations in syntax of specific portions of code into a single form to simplify the construction of large, complex program transformation rules. Current approaches to constructing transformations require developers to account for a large nu...

Part I of this paper describes a new approach to the objective estimation of perceived speech quality. This new approach uses a simple but effective perceptual transformation and a distance measure that consists of a hierarchy of measuring normalizing blocks. Each measuring normalizing block integrates two perceptually transformed signals over some time or frequency interval to determine the av...