Auroral Occurrences in Norwegian Archives.

Luminosity variations in several parallel auroral arcs before auroral breakup

Variation of the luminosity in two parallel auroral arcs before auroral breakup has been studied by using digitised TV-data with high temporal and spatial resolution. The intervals when a new arc appears near already existing one were chosen for analysis. It is shown, for all cases, that the appearance of a new arc is accompanied by fading or disappearance of another arc. We have named these ev...

Occurrences in Debugger Speciications

We describe formal manipulations of programming language semantics that permit execution animation for interpreters. We rst study the use of occurrences in the-calculus and we describe an implementation of the notion of residuals. We then describe applications in the development of interpreters for the lazy-calculus and the parallel language Oc-cam.

Section III Auroral Region

Norwegian University of Science and Technology Technical Report IDI-TR-8/2010 Exploiting Time-based Synonyms in Searching Document Archives

Recently a large number of easily accessible information resources have become available. To increase search quality, document creation time can be taken into account in order to increase precision, and query expansion of named entities can be employed in order to increase recall. A peculiarity of named entities compared to other vocabulary terms is that they are very dynamic in appearance, and...

Modelling occurrences in cultural documentation

CLIO , developped by ICS-FORTH, is a system for cultural documentation purposes of museums. It serves as a scientific catalogue of museum artifacts, as opposed to the basic documentation and administrative purposes served by usual collections management systems. It supports artifact descriptions as temporal, geographical, cultural, historical contexts; style, technique, usage, and physical data...