POSTULAT Urheber Côme Vuille (Suppl.), PLR, Sonia Tauss-Cornut, PLR, Xavier Mottet, PLR, und Bernard Pignat, PLR Gegenstand Mehr Weitsicht für eine effizientere Mobilität in der oberen Genferseeregion

Source URL: parlement.vs.ch

Francis Xavier Timmes Arizona State University School of Earth and Space Exploration (SESE) E-mail: 01Apr2016

Source URL: cococubed.asu.edu

arXiv:1603.03220v2 [math.ST] 31 MarConvergence Rates for a Class of Estimators Based on Stein’s Identity Chris J. Oates1,2 , Jon Cockayne3 , Fran¸cois-Xavier Briol3 , Mark Girolami3,4 1

Source URL: arxiv.org

37th AIAA Fluid Dynamics Conference and Exhibit, 25-28 June 2007, Miami, USA Efficient Numerical Method for Global Linear Stability Problem Xavier Merle∗, Jean-Christophe Robinet†, Alain Lerat‡ SINUMEF Laboratory

Source URL: jch.robinet.pagesperso-orange.fr

Bericht Reisestipendium GFFC / DJO 2011 Dany Xavier Lopes Ribeiro, Bünde Zusammen mit der Kollegin Kerstin Wittor, habe ich 2011 das Reisestipendium der GFFC /DJO, im Werts von 2500 €, erhalten. Im September 2012, nac

Source URL: www.gesellschaft-fuer-fusschirurgie.de

A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ

Source URL: www.lri.fr

• Computer arithmetic
• Computing
• Software engineering
• Computer architecture
• IEEE floating point
• Double-precision floating-point format
• Extended precision
• Processor register
• Compiler correctness
• Rounding
• Fortran
• Single-precision floating-point format

Climate DynamicsDOIs00382Filip Lefebre Æ Xavier Fettweis Æ Hubert Galle´e Jean-Pascal Van Ypersele Æ Philippe Marbaix Wouter Greuell Æ Pierluigi Calanca

Source URL: www.climate.be

The Ravel data set∗ Xavier Alameda-Pineda Jordi Sanchez-Riera INRIA Grenoble Rhône-Alpes

Source URL: embots.dfki.de

Introduction CompCert Flocq CompCert+Flocq Conclusion A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond

Source URL: www.lri.fr

• Compilers
• Computer arithmetic
• CompCert
• Logic in computer science
• Xavier Leroy
• GNU Compiler Collection
• Floating point
• X86

Spectral Modeling for Higher-level Sound Transformations Xavier Amatriain, Jordi Bonada, Alex Loscos, Xavier Serra Music Technology Group, Pompeu Fabra University {xavier.amatriain, jordi.bonada, alex.loscos, xavier.serr

Source URL: xavier.amatriain.net