THIS ARTICLE reports on a program designed to develop computer literacy by offering instruction in a wide range of programming languages. Beginning in 1968, a computer-assisted course in computer programming was conducted through the Business Department of Woodrow Wilson High School, an "inner city" school in the Hunter's Point-Bayview area of San Francisco. Each day for three semesters, betwee...

When inserting screws into a vertebral pedicle, the surgeon usually exposes the back part of the vertebra and uses his or her anatomic knowledge to align the drill in the proper direction. A slight error in direction may result in an important error in the position of the tip of the screw. This is done with no direct visibility of crucial structures (spinal cord, pleura, vessels). Statistical a...

From 15.07. to 20.07.07, the Dagstuhl Seminar 07291 Scienti c Visualization was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas ar...

We define a new parameter to quantify the antigenic distance between two H3N2 influenza strains: we use this parameter to measure antigenic distance between circulating H3N2 strains and the closest vaccine component of the influenza vaccine. For the data between 1971 and 2004, the measure of antigenic distance correlates better with efficacy in humans of the H3N2 influenza A annual vaccine than...

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...