It is essential that that hardware be used efficiently. The Ctadel project aims at resolving this conflict, by developing an automatic generator to produce efficient code from the physical equations, formulated in a mathematical notation. The use of 3D computer graphics in science, entertainment and education is a fast growing enterprise. Major advances have been made with respect to performance, usability and creativity, resulting in an ever growing user-base of 3D computer graphics applications. Experimental results are given, comparing the traditional method of 3D object manipulation, with the use of these cast shadows as interaction-objects.
Data mining is the research area where methods for exploration of large data sets are developed.
It often focuses on non-standard behaviour. In the talk we shall discuss one or two algorithms, and we shall try to give some intuition for the notion of interestingness in real life databases. In particular we mention association rules. Implementations are then ensured to be correct by construction through systematic refinement from higher levels. It offers a number of features that make the language an attractive one.