Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of measurable space. The theory as developed so far included a treatment of bisimulation, logical characterization of bisimulation, weak bisimulation, metrics, universal domains for LMPs and approximations. Much of the theory involve...

This study employed an eye-tracking technique to examine students’ visual attention when solving a multiple-choice science problem. Six university students participated in a problem-solving task to predict occurrences of landslide hazards from four images representing four combinations of four factors. Participants’ responses and visual attention were recorded by an eye tracker. Participants we...

The use of cartographic representations in 3D views accumulates the advantages of technological advances, but faces a lack of cartographic knowledge needed to build these representations. Consequences include misconceptions in map design that can inhibit or even impair the understanding of the features represented and their spatial relations. A common task in 3D map-use is virtual navigation su...

For a detailed review of this subject I refer to a recent paper [1]; in this talk I only very briefly comment on a few most important questions: (a) Very recent significant progress in viscous hydrodynamics calculations (b) Initial eccentricity/flow fluctuations, the effect of which has been clarified recently (c) Initial conditions, in particular the role of the gradients in the initial veloci...

Recent research in computational music research, including my own, has been greatly influenced by methods in computational linguistics. But I believe the influence could also go the other way: Music may offer some interesting lessons for language research, particularly with regard to the modeling of cognition. In this talk I will focus on an important problem in music cognition: the problem of ...

The specific problem addressed in this paper is the lack of assessment and feedback tools appropriate to support learning and instruction in complex and dynamic task domains. In such domains, representative problems can be identified but they often lack single solutions, and there is a great deal of variability between and among problems. As a consequence, in order to determine progress of lear...

Docking is possibly the most widely used technique in structure-based drug design. It is recognized as extremely useful to guide the development of active molecules as well as in virtual screening to identify new leads. But docking is also notoriously imperfect and many aspects need to improve. In this talk I will present our work on two different sources of errors in the docking predictions: p...

Inference is an important strategy that could be applied in listening activities. It could help one to grasp the meanings of an oral message by analysing textual and contextual information. When the listener has difficulties in activities because of his poor linguistic skills, it is strongly recommended that he apply the inference strategy efficiently. But how and to what degree does this strat...

Taken literally, the term “requirements engineering” (RE) is a misnomer. A requirement is something that is wanted; engineering, according to Webster’s, is calculated manipulation. If our wants would arise by calculated manipulation, then something would be wrong. Our wants should not be engineered. What should be engineered, are solutions that meet our wants. So what is requirements engineerin...

Designing cognitive tutors and modeling behavior for ill-defined domains require innovative methods and techniques. We combine a top-down, theoretical approach with a bottom-up, empirical approach to develop a student model for the selection of aspect in French verbs. In performing this task, we design a new representation applicable to feature-driven ill-defined problem spaces and utilize tuto...