LiquidXML: Adaptive XML Content Redistribution Jesús Camacho-Rodríguez1 1 INRIA Saclay, France

Source URL: www.user.tu-berlin.de

• Data management
• File sharing
• Distributed data storage
• Peer-to-peer
• Materialized view
• Database
• Query language
• Query Rewriting

Evaluation of cartographic continuum quality Scientific context The postdoc is involved in the MapMupxing project), funded by the Fench National Research Agency and leaded by IGN COGIT Team with INRIA Saclay a

Source URL: recherche.ign.fr

• Cartography
• Institut gographique national
• Continuum
• Topographic map
• Geovisualization
• Topography
• Map
• Hoarau

DRAFT (November 28, 2011) Ipsen US Location Move News Release

Source URL: www.oncodesign.com

• Ipsen
• Paris-Saclay
• SBF 120
• Hewlett-Packard

Post-doctoral research position available Starting end of 2008 Laboratoire Léon Brillouin CEA-CNRS (CEA Saclay) FRANCE Description of the project The Laboratoire Leon Brillouin (LLB) is seeking candidates for a 2-year p

Source URL: www.cemag.es

PARIS: Probabilistic Alignment of Relations, Instances, and Schema INRIA Saclay – ˆIle-de-France 4 rue Jacques MonodOrsay Cedex, France

Source URL: suchanek.name

Cody & Waite Flocq Coq.Interval Gappa Conclusion Formal Proof of Cody & Waite’s Exponential Guillaume Melquiond Inria Saclay–ˆIle-de-France & LRI, Universit´ e Paris Sud, CNRS

Source URL: fastrelax.gforge.inria.fr

1 Cooper pair box qubits at CEA-Saclay F. Nguyen, A. Palacios Laloy, F. Mallet,N. Boulant, P. Bertet, D. Vion , and D. Esteve CEA Saclay SPEC Orme des merisiers Bˆat 772 F91191 Gif sur Yvette Cedex The Cooper pair box

Source URL: moriond2008.lpa.ens.fr

Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay  Île-de-France,

Source URL: www.lri.fr

• Computer arithmetic
• Arithmetic
• Mathematics
• Computing
• Rounding
• IEEE floating point
• GNU MPFR
• Arbitrary-precision arithmetic
• Division algorithm
• Unit in the last place
• Pi
• Double-precision floating-point format

Higher-Order Representation Predicates in Separation Logic Arthur Charguéraud Inria, Université Paris-Saclay, France LRI, CNRS & Univ. Paris-Sud, Université Paris-Saclay, France

Source URL: chargueraud.org

Post-doctoral position Towards highly scalable domain decomposition methods for the time domain. E. Jamelot1 , J.-J. Lautard1 , Y. Maday2 , O. Mula3 The Laboratory of Numerical Methods for Reactor Studies of CEA-Saclay

Source URL: www.ceremade.dauphine.fr