An overview of the applications of control theory to prosthetic sense organs including the senses of vision, taste and odor is being presented in this paper. Simulation aspect nowadays has been the centre of research in the field of prosthesis. There have been various successful applications of prosthetic organs, in case of natural biological organs dis-functioning patients. Simulation aspects ...

MathGirls is computer-based algebra designed for high school girls learning algebra I. Given that girls are in general more interested in interactive computing and more positive about the social presence of pedagogical agents, the primary goal of MathGirls is to provide a girl-friendly learning environment that helps enhance girls’ self-efficacy beliefs in and motivation towards learning algebr...

A general theory of the evolution of interactive surfaces or sites on cell macromolecules is presented based on the assumption that all macromolecules present in cells are covered with reactive groups to which counter sites can theoretically be made. Initially such potentially reactive sites are considered to exist in pairs. Once one member of a pair is incorporated into a cell, its opposite nu...

 Today lectures often are accompanied by web publications of the courses where students can recapitulate the material enriched by additional information and links. For technical fields, complex mathematical formulas have to be published on the web, up to now a problem. We present a new course management system that uses new techniques of web based publishing like MathML in order to display mat...

We study several classes of interactive assistants from the points of view of decision theory and computational complexity. We first introduce a special class of POMDPs called hidden-goal MDPs (HGMDPs), which formalize the problem of interactively assisting an agent whose goal is hidden and whose actions are observable. In spite of its restricted nature, we show that optimal action selection in...

The objectives of the project were, briefly: (1) To study and design a foundational calculus and prototype programming language, based on the π-calculus, for describing and analysing migratory distributed systems; (2) To further develop the theory of action calculi, a graphical formalisation of interactive systems, to compare disciplines and study common concepts; (3) To test this framework upo...