Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

Source URL: perso.ens-lyon.fr

• Numerical analysis
• Mathematics
• Applied mathematics
• Iterative refinement
• Iterative method
• Interval arithmetic
• Newton's method
• Condition number
• Residual
• Root-finding algorithm
• Affine arithmetic

1 Minutes of the General Assembly of ICEVI-Europe held on July 6, 2017 at Sint-Lodewijkscollege in Bruges, Belgium Present: Hans Welling, Nathalie Lewi-Dumont, Steve McCall, Tarja Hännikäinen, Francis Boe, Andrea

Source URL: www.icevi-europe.org

¨ Solving Stochastic Buchi Games on Infinite Arenas with a Finite Attractor∗ Nathalie Bertrand

Source URL: people.rennes.inria.fr

Active diagnosis for probabilistic systems? ´ Nathalie Bertrand1 , Eric Fabre1 , 1,2 2

Source URL: people.rennes.inria.fr

Parameterized verification of many identical probabilistic timed processes Nathalie Bertrand1 and Paulin Fournier2 1 2

Source URL: people.rennes.inria.fr

Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3

Source URL: people.rennes.inria.fr

Foundation of Diagnosis and Predictability in Probabilistic Systems∗ Nathalie Bertrand1 , Serge Haddad2 , and Engel Lefaucheux1,2 1 2

Source URL: people.rennes.inria.fr

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems∗ Nathalie Bertrand1 , Giorgio Delzanno2 , Barbara König3 , Arnaud Sangnier4 , and Jan Stückrath3 1 2

Source URL: people.rennes.inria.fr

The FCHS NEWSLETTER www.frenchcolonial.org President Nathalie Dessens Ecole Doctorale ALLPH@

Source URL: www.frenchcolonial.org