Rhône-Alpes - PDFSEARCH.IO - Document Search Engine

Rhône-Alpes
Results: 775

#	Item
61	P1788 – Standardization of Interval Arithmetic Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GdT AriC, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Mathematics Computer arithmetic Arithmetic Numerical analysis Interval arithmetic Interval Rounding Real number
62	3DVDesign : Communication Depatement Inria Grenoble - Rhône-Alpes DecCopyright : CC BY-SA 3.0 International Conference on 3D Vision Add to Reading List Source URL: 3dv2015.webconf.inrialpes.fr Language: English - Date: 2015-04-14 10:56:31 Piscataway New Jersey French Institute for Research in Computer Science and Automation Theoretical computer science Grenoble Institute of Electrical and Electronics Engineers Xplore Politics of France Academia France
63	Fiche Migrations résidentielles de la Suisse vers Rhône-Alpes On peut appréhender la population d’«origine suisse» vivant en RhôneAlpes selon trois critères : la nationalité, le lieu de naissance ou le lieu de Add to Reading List Source URL: www.ge.ch Language: French - Date: 2010-06-21 02:58:14
64	Recovery in JOTM Marek Procházka INRIA Rhône-Alpes June 10, 2002 Add to Reading List Source URL: jotm.objectweb.org Language: English - Date: 2009-03-13 09:12:38 Computing Transaction processing Software Data management Enterprise JavaBeans Two-phase commit protocol X/Open XA Database transaction Extensible Storage Engine Database Rollback Datasource
65	Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Software Computing Mathematics GNU MPFR Rounding Interval arithmetic GNU Multiple Precision Arithmetic Library Maple Fixed-point arithmetic IEEE floating point TeX
66	Proofs by Exhaustive Tests in Small Precision Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GdT Arénaire, Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Publishing Typography Mathematics Desktop publishing software Digital typography Donald Knuth TeX Typesetting Algorithm Rounding
67	FÉDÉRATION DE RECHERCHE EN MATHÉMATIQUES RHÔNE-ALPES / AUVERGNE FR CNRS 3490 Appel d’offres Projets de recherche inter-laboratoires La Fédération a lancé un programme de soutien annuel aux Add to Reading List Source URL: frmraa.math.cnrs.fr Language: French - Date: 2015-09-23 03:05:34
68	A Flexible Framework for Adding Transactions to Components Marek Prochazka INRIA Rhône-Alpes 665, avenue de l’Europe, MontbonnotSaint Ismier Cedex, France Add to Reading List Source URL: jotm.objectweb.org Language: English - Date: 2009-03-13 09:12:38 Computing Transaction processing Data management Software Java Transaction API Enterprise JavaBeans Concurrency control Distributed transaction Microsoft Transaction Server Two-phase commit protocol Java Platform Enterprise Edition ACID
69	AUVERGNE RHÔNE-ALPES SITE DE CLERMONT-FERRAND Sections sportives Add to Reading List Source URL: www.onisep.fr Language: French
70	Arithmétique flottante en précision arbitraire Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon École « précision et reproductibilité en calcul numérique », Fréjus Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Computing Software Computer programming GNU MPFR Paul Zimmermann GNU Multiple Precision Arithmetic Library Rounding Floating point Fixed-point arithmetic IEEE floating point Precision