Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las

Source URL: www.lix.polytechnique.fr

• Computer arithmetic
• Abstract interpretation
• Interval arithmetic
• Rounding
• Floating point
• Affine arithmetic
• Interval
• Function
• Limit of a function
• NaN
• Fixed-point arithmetic
• Machine epsilon

On Cornacchia’s algorithm for solving the diophantine equation u2 + dv 2 = m F. Morain ∗† J.-L. Nicolas ‡ September 12, 1990

Source URL: www.lix.polytechnique.fr

• QN
• Euclidean algorithm
• Diophantine approximation
• Coprime integers
• Diophantine equation

 CHARACTERISTICS  IN FLIGHT DATA ­ ESTIMATION WITH LOGISTIC REGRESSION AND SUPPORT VECTOR MACHINES Claus Gwiggner, Ecole Polytechnique, LIX, Palaiseau, France Gert Lanckriet, University of Berkele

Source URL: eceweb.ucsd.edu

• Statistical classification
• Regression analysis
• Machine learning
• Econometrics
• Support vector machine
• Logistic regression
• Binary classification
• Regression
• Predictive analytics
• Least squares support vector machine

Quelques lignes d’input dans Axiom Abstract Ce documaine est un premi`ere pr´esentation d’Axiom, pr´evue pour un novice. On montrera surtout le fonctionnement de l’interprˆete, en pr´esent

Source URL: www.lix.polytechnique.fr

Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea.

Source URL: www.lix.polytechnique.fr

• Computer arithmetic
• Abstract interpretation
• Floating point
• Interval arithmetic
• Fluctuat
• Rounding
• Infinite loop
• Affine arithmetic
• Lookup table
• Recursion
• Division algorithm
• Fixed-point arithmetic

Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1

Source URL: www.lix.polytechnique.fr

• Computer arithmetic
• Floating point
• Fluctuat
• Abstract interpretation
• Rounding
• Interval arithmetic
• Loss of significance
• NaN
• Common logarithm
• Lookup table
• Affine arithmetic
• Signed zero

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Source URL: www.lix.polytechnique.fr

• Abstract interpretation
• Software testing
• AbsInt
• Fluctuat
• Astre
• Formal methods
• Radhia Cousot
• Static program analysis
• Patrick Cousot
• Formal verification
• Simulink
• Polyspace

Hellmut FLASHAR u.a. (Hgg.), Die Philosophie der Antike. Frühgriechische Philosophie BdGrundriss der Geschichte der Philosophie. Basel: Schwabe Verlag 2013, LIX + 1061 S. Das Ganze, das es gegen die jeder allge

Source URL: gfa.gbv.de

Label-free Modular Systems for Classical and Intuitionistic Modal Logics Sonia Marin ENS, Paris, France Lutz Straßburger

Source URL: www.lix.polytechnique.fr

Judging Granularity for Automated Mathematics Teaching? Marvin Schiller, Christoph Benzm¨ uller, and Ann Van de Veire Dept. of Computer Science Saarland University, 66041 Saarbr¨

Source URL: www.lix.polytechnique.fr