Motiviert durch die Frage, wie sich Verständnis innerhalb eines Gesprächs unter Studenten bei der gemeinsamen Bearbeitung von Lernmaterial entwickelt, entstand der Wunsch, diese Gespräche möglichst automatisiert auswerten zu können, um so zukünftig mögliche Probleme bei der Bearbeitung von Aufgabenstellungen in studienbegleitenden Laboren vorzubeugen. Dazu wurden sechs Gruppen von jeweils zwei ...

A framework for defining the physical basis of consciousness is derived in terms of the complementarity inherent in the cosmology of a continuous state conscious universe as it relates to self-organized living systems. The activity of a dynamic counterpart of standard static Casimir-like modes is described by an extended spacetime Cavity Quantum Electrodynamics in terms of a 12D Topological Fie...

calculus is a new calculus that integrates in a uniform and simple settings rst-order rewriting,-calculus and non-deterministic computations. This paper describes the calculus from its syntax to its basic properties in the untyped case. We show how it embeds rst-order rewriting and-calculus. Finally we shows how-calculus can be used to give an operational semantics to the rewrite based language...

This paper discusses some improvements in recent and planned versions of the multimodal annotation tool ELAN, which are targeted at improving the usability of annotated files. Increased support for multilingual documents is provided, by allowing for multilingual vocabularies and by specifying a language per document, annotation layer (tier) or annotation. In addition, improvements in the search...

Implementing a compiler for such a language with nonde-terministic features is known to be a diicult task. This paper presents two new functions setChoicePoint and fail that extend the C language to eeciently handle choice point management. Algorithms and implementation techniques are detailed. As an application, we give compilation schemes to illustrate the power and the easy use of setChoiceP...

Various efforts have been made for the development of tools and methods dedicated to the automatic processing of multilingual terminology databases. For that purpose, multilingual parallel corpora have been used as a basis resource. However, most of the neologisms in technical and scientific domains are realised by multiword terms that are rarely identified in parallel corpora. In this paper, w...

The framework of computational systems has been already used for describing several computational logics. In this paper is described the way a propositional prover and a predicate prover are implemented in ELAN, the system developed in Nancy for describing and executing computational systems. The inference rules for the provers are described by conditional rewrite rules and their application is...

Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reactions and different generation algorithms. In parallel, several software systems based on rewriting have been developed for the easy modeling and prototyping of systems using rules controlled by strategies. This paper pr...