<--- Back to Details
First PageDocument Content
Science and technology in Europe / Physics / CERN / Meyrin / Gif-sur-Yvette / Orsay / Europe
Date: 2016-03-12 04:20:16
Science and technology in Europe
Physics
CERN
Meyrin
Gif-sur-Yvette
Orsay
Europe

EW Interactions and Unified Theories Registered:

Add to Reading List

Source URL: moriond.in2p3.fr

Download Document from Source Website

File Size: 138,61 KB

Share Document on Facebook

Similar Documents

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

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

DocID: 1xVef - View Document

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

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

DocID: 1xTIX - View Document

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

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

DocID: 1xTxf - View Document

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

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

DocID: 1xTeu - View Document

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

DocID: 1tY5j - View Document