Muriel Jourdan

Learn More
b thispaper, we present the main rdts we have ob tained through our &xTtience in designing ~d implementing JIadeus, ~ authoring and presentation tool for interactive mtitimedia documents. This system do= an ~cient support for the spetimtion of temporal scenarios and fits in m artitecture that Mom the btegration of both authoring ad presentation phases of(More)
Sequence-dependent recognition of dsDNA-binding proteins is well understood, yet sequence-specific recognition of dsRNA by proteins remains largely unknown, despite their importance in RNA maturation pathways. Adenosine deaminases that act on RNA (ADARs) recode genomic information by the site-selective deamination of adenosine. Here, we report the solution(More)
A system is said to be reactive if it interacts continuously with an environment, at a speed imposed by the environment. The system deals with inputs and outputs and the languages for programming reactive systems aim at describing the complex ordering and causality relations between the inputs and the corresponding outputs. The synchronous approach, based(More)
The synthesis of a novel group of quinacridine-based ligands (MMQs) is described along with an evaluation of their G-quadruplex binding properties. A set of biophysical assays was applied to characterize their interaction with DNA quadruplexes: FRET-melting experiments and equilibrium microdialysis were used to evaluate their quadruplex affinity and their(More)
In this paper we describe our experience with a development environment for robot controllers, which provides the user with formal veriication func-tionalities. We study how to augment these functionalities by also allowing formal veriication of quantitative real-time properties. Our approach is based on the timed extension of a synchronous language, named(More)
A model beta-hairpin peptide has been used to investigate the context-dependent contribution of cross-strand Lys-Glu interactions to hairpin stability. We have mutated two Ser-Lys interstrand pairs to Glu-Lys salt bridges, one close to the type I' Asn-Gly turn sequence (Ser6 --> Glu), and one close to the N- and C-termini (Ser15 --> Glu). Each individual(More)
This report presents an extensive work on the speciication and the formal veriication of complex applications in advanced robotics systems. In a rst part, the need for such studies is presented, and a state-of-the-art in the eld is given, evolving from the computer science area to the robotics one. Then, the key features used in the paper are presented.(More)
In this paper, we present the currently achieved results of our research goal: building an easy to use and powerful multimedia documents authoring environment, which provides high level of expressiveness and open document format. These results are concerned with both the time representation and the time management in our authoring system Madeus. In the rst(More)
An undersea robot like a long range AUV is a typical example of critical system, like a satellite or a planetary rover. We mean here that, for such a system, any repairing or recovery operation, even a mission reconnguration, which would involve the intervention of a human operator is always costly, often diicult and sometimes impossible. This is why such(More)
This paper presents Smil‐Editor – an authoring environment to write multimedia documents encoded in SMIL. The main feature of Smil‐Editor is to strongly integrate the presentation view, in which the document is executed, with the editing process. In this view objects can be selected to perform a wide set of editing actions ranging from attributes setting to(More)