This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the strong constraint of safe cooperation of both. In practice, we instantiate the theoretical study on the Coq proof assistant and the ELAN rewriting based system, focusing first on equational and then on inductive proofs. Di...

In case of transtibial amputation, the deficit resulting from loss lower limb can be partly compensated with a prosthetic foot and adapted rehabilitation. New feet have been developed for amputees to mimic ankle adaptability varying terrain. Among them, Microprocessor Prosthetic Ankles (MPA) microprocessor control an electric or hydraulic actuator adapt kinematics in stairs slopes. The objectiv...

Dieses Paper beschreibt ein Konzept für die Erweiterung bestehender Lernportale um Zahlungsund Abrechnungsfunktionen sowie Rechteverwaltungsund Rechtesicherungssysteme, um eine Bereitstellung von kostenpflichtigem eLearningContent zu ermöglichen. Ziel ist eine Refinanzierung der nicht unerheblichen Kosten für die Erstellung von hochwertigem eLearning-Lehrund Lerninhalt (Content) sowie der Koste...

The Corpus Oral Informatizado da Lingua Galega (CORILGA) project aims at building a corpus of oral language for Galician, primarily designed to study the linguistic variation and change. This project is currently under development and it is periodically enriched with new contributions. The long-term goal is that all the speech recordings will be enriched with phonetic, syllabic, morphosyntactic...