Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou1 , Alexandre Chapoutot2 , and Samuel Mimram1 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Polynomials
• Numerical analysis
• Interpolation
• Algebra
• Polynomial interpolation
• Affine arithmetic
• Numerical integration
• Lagrange polynomial
• Polynomial

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Data types
• C++
• C
• Primitive types
• Software bugs
• Pointer
• Struct
• Memory safety
• C dynamic memory allocation

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• RungeKutta methods
• Mathematical analysis
• Numerical analysis
• Mathematics
• Differential calculus
• Euler method
• Stiff equation
• Numerical integration
• Truncation error
• BogackiShampine method
• Affine arithmetic
• Integral

ZF-HEALTH Workshop: ZF-HEALTH resources for in silico experimentation VIBE-Z – BioEmergences – MecaGen June 1-3, 2013 Gif-sur-Yvette France

Source URL: zf-health.org

Defining Several Ontologies to Enhance the Expressive Power of Queries Bich-Liên Doan and Yolaine Bourda Computer Science Dpt. SUPELEC, 3 rue Joliot Curie, 91192 Gif-sur-Yvette, France , Yolaine

Source URL: www.l3s.de

Malware Analysis Arun Lakhotia University of Louisiana at Lafayette, USA Presented at ISSISP 2017, CNRS Gif Sur Yvette

Source URL: issisp2017.github.io

CEA LIST’s Participation at MediaEval 2013 Retrieving Diverse Social Images Task Adrian Popescu CEA, LIST, Vision & Content Engineering Laboratory, 91190 Gif-sur-Yvette, France.

Source URL: ceur-ws.org

Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif-sur-Yvette Cedex, France {eric.goubault, sylvie.putot}@cea.fr Abstract. We present a new numerical abstract domain for static

Source URL: www.lix.polytechnique.fr

CEA LIST’s Participation at MediaEval 2013 Placing Task Adrian Popescu CEA, LIST, Vision & Content Engineering Laboratory, 91190 Gif-sur-Yvette, France. 1.

Source URL: ceur-ws.org

• Computing
• Information science
• Information
• Geocodes
• Geographic data and information
• Geotagging
• Global Positioning System
• Video hosting
• Geolocation
• Tag
• Flickr