Automated Study Planning (ASP) system was designed to assist the students in organising their studies. Interactive expert system ASP forms a part of a bigger project that concerns computer-based education and training in higher learning [1]. The formulation of the study-planning process, whereupon the reasoning engine of ASP is built, has been acquired from the practical knowledge of the study-...

Computer Assisted Pronunciation Training systems have become popular tools to train on second languages. Many second language learners prefer to train on pronunciation in a stress free environment with no other listeners. There exists no such tool for training on pronunciation of the Norwegian language. Pronunciation exercises in training systems should be directed at important properties in th...

In this paper we present a method to quantify the cardiac blood irrigation through echographic images for heart disease diagnosis. This method relies on the registration of acquired images with a heart model in order to provide a robust segmentation of the cardiac walls, giving the doctor precise and non subjective anatomical information, as well as to advance towards future works oriented to a...

This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I/O automata to extract a set of proof obligations for showing that the behaviors of one algorithm are among those of another, and it uses the Larch tools for speci cation and deduction to discharge these obligations in a natural and easy-to-read fashion. The approach is demonstrate...

We present the current state-of-the art of computer-assisted interstitial (fractionated) brachytherapy as a "picture-book" without wanting to give an in-depth presentation of either hrachytherapy itself or of otolaryngolngic aspects of oncologic treatment. However, our results show that 3Docomputer-assisted navigation techniques can successfully be applied in interstitial brachytherapy to exact...

This chapter is dedicated to educational applications of medical visualization techniques. Interactive 3D visualizations have great potential for anatomy education as well as for surgery education, with users ranging from high school students and physiotherapists to medical doctors who want to rehearse therapeutical interventions. Computer-assisted training systems enhance surgical manuals, sur...

1 Running Head: COMPUTER ASSISTED TOPIC CLASSIFICATION PRE-PUBLICATION VERSION. Cite as JITP 4:4, Forthcoming. There are a few known changes to the colors of the graphs and there may be other editorial changes as suggested by the editors. Abstract Social scientists interested in mixed methods research have traditionally turned to human annotators to classify the documents or events used in thei...

In recent years, significant improvements have been achieved in statistical machine translation (MT), but still even the best machine translation technology is far from replacing or even competing with human translators. However, an MT system helps to increase the productivity of human translators. Usually, human translators edit the MT system output to correct the errors, or they may edit the ...

The present study investigated the existing relationship between computer assisted semen motility parameters and gametes motility duration, known to express semen quality and fertilizing capacity in fish. The objective was particularly to identify computer aided semen analysis (CASA) parameters that could be used as potential fertility predictors. Semen samples were collected from the beginning...