Tailoring of instructional methods to learner levels of expertise may reduce extraneous cognitive load and improve learning. Contemporary technology-based learning environments have the potential to substantially enable learner-adapted instruction. This paper investigates the effects of adaptive instruction based on using the isolated-interactive elements effect that occurs when learners who ar...

Interactive stories are commonly used for learning and entertainment purposes and enhance the development of several perceptual and cognitive skills. These experiences are not very common among blind children because most computer games and electronic toys do not have accessible sound interfaces. This study introduces the idea of interactive hyperstories performed in a 3D acoustic virtual world...

introduction: health information systems have the potential of improving the quality of healthcare and treatment procedures and supporting the physicians in their clinical diagnoses. nowadays, evaluating the usability is widely accepted as a crucial factor in the acceptance and success of the interactive healthcare systems. the present study aimed to evaluate the usability of ulite software bas...

I have developed an interactive microcomputer simulation program for the design, comparison, and evaluation of alternative quality-control (QC) procedures. The program estimates the probabilities for rejection under different conditions of random and systematic error when these procedures are used and plots their power function graphs. It also estimates the probabilities for detection of critic...

This paper considers total functions, which are uniformly defined, total procedures (or batch programs), which terminate uniformly, and total processes, which consist of a UNITY-like set of total procedures, so that they never terminate. This collection is shown to be Turing-complete. It can also appropriate for interactive programming. The paper argues from a software engineering viewpoint tha...

This research paper explores the current state of play regarding crossborder trade and logistics operations in Switzerland, aiming to identify opportunities to reduce costs and to improve efficiencies in cross-border supply chains, covering procedures, tools and services associated with import, export and transit procedures. The study present the following conclusions and recommendations: Inter...

Understanding and analyzing the needs of an enterprise in the early stages of a project requires knowledge about stakeholders, their goals, interactions, and alternative actions. Agent-goal models offer a way to systematically and graphically capture this information, even as it evolves through continued elicitation. However, the complexity of resulting models makes it difficult to evaluate the...

ion of Systems with Counters for Symbolic Model Checking Klaus Schneider and George Logothetis University of Karlsruhe, Department of Computer Science, Institute for Computer Design and Fault Tolerance (Prof. Dr.-Ing. D. Schmid), P.O. Box 6980, 76128 Karlsruhe, Germany, email: {Klaus.Schneider,George.Logothetis}@informatik.uni-karlsruhe.de, http://goethe.ira.uka.de/ Abstract Model checking of t...

The mouse has emerged as a major experimental model system for examining the functional properties of the mammalian CNS; both during development and following CNS injury. Histologic procedures currently used to determine the relative position of structures within the CNS are presently limited in their ability to take full advantage of this system for surgical and morphometric procedures. We pre...