Yves-Marie Duval (1934-2007)

Appl . Environ . Microbiol . Marie - Thérèse Adeline , Denis Faure and Yves Dessaux

Letters 1934..1934

Sir, With interest we read the editorial by Wolf on obesity as a renal risk factor [1]. We fully support the author’s view that overweight and insulin resistance, as mediators of renal risk, deserve attention not only in morbidly obese patients with overt insulin resistance, but also in renal patients with less severe obesity. Recent data from our group suggest that the impact of overweight and...

Minimal Duval Extensions

A word v = wu is a (nontrivial) Duval extension of the unbordered word w, if (u is not a prefix of v and) w is an unbordered factor of v of maximum length. After a short survey of the research topic related to Duval extensions, we show that, if wu is a minimal Duval extension, then u is a factor of w. We also show that finite, unbordered factors of Sturmian words are Lyndon words.

About Duval Extensions ∗

A word v = wu is a (nontrivial) Duval extension of the unbordered word w, if (u is not a prefix of v and) w is an unbordered factor of v of maximum length. A survey of the state of the art of research on Duval extensions is given in this paper.

Model-checking of Ctl on Infinite Kripke Structures Defined by Simple Graph Grammars Yves-marie Quemener and Thierry Jéron

We present an algorithm for checking whether an innnite transition system, deened by a graph grammar of a restricted kind, is a model of a formula of the temporal logic CTL. We rst present the syntax and the semantics of CTL, that are deened with respect to transition systems, labelled with atomic propositions. Then, we show how to adapt the formalism of graph grammars, for expressing such innn...