1![Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller](https://www.pdfsearch.io/img/a73407626bb7674c7a77467de437755a.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2005-01-20 09:50:18
|
---|
2![Note issued with Warrant for Letters Patent from Lord Lyon King of Arms in the application of GEORGE DAVID MENKING Note issued with Warrant for Letters Patent from Lord Lyon King of Arms in the application of GEORGE DAVID MENKING](https://www.pdfsearch.io/img/5da16ed078b447b55d0e5b307ae16d29.jpg) | Add to Reading ListSource URL: www.lyon-court.comLanguage: English - Date: 2015-06-01 07:40:52
|
---|
3![Program verification Data Structures in Abstract Interpretation Laure Gonnord and David Monniaux University of Lyon / LIP November 2016 Program verification Data Structures in Abstract Interpretation Laure Gonnord and David Monniaux University of Lyon / LIP November 2016](https://www.pdfsearch.io/img/565e30fbb5b7313fe9869e251907921d.jpg) | Add to Reading ListSource URL: laure.gonnord.orgLanguage: English |
---|
4![From Data Deluge to Data Curation Philip Lord, Alison Macdonald, Liz Lyon, David Giaretta The Digital Archiving Consultancy Limited and the Digital Curation Centre Abstract e-Science – or e-Research - enables new forms From Data Deluge to Data Curation Philip Lord, Alison Macdonald, Liz Lyon, David Giaretta The Digital Archiving Consultancy Limited and the Digital Curation Centre Abstract e-Science – or e-Research - enables new forms](https://www.pdfsearch.io/img/6d0c11902a9e163a7821dde732f4eba4.jpg) | Add to Reading ListSource URL: www.ukoln.ac.ukLanguage: English - Date: 2004-07-24 11:21:32
|
---|
5![The Intervalgram: An Audio Feature for Large-scale Melody Recognition Thomas C. Walters, David A. Ross, and Richard F. Lyon Google, 1600 Amphitheatre Parkway, Mountain View, CA, 94043, USA The Intervalgram: An Audio Feature for Large-scale Melody Recognition Thomas C. Walters, David A. Ross, and Richard F. Lyon Google, 1600 Amphitheatre Parkway, Mountain View, CA, 94043, USA](https://www.pdfsearch.io/img/49b125d30fbf4540e2cde68c5aa7bde8.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2012-08-09 17:55:48
|
---|
6![LEMA: Towards a Language for Reliable Arithmetic Philippe Th´eveny. Joint work with Vincent Lef`evre, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol PLMMS 2010, 8 LEMA: Towards a Language for Reliable Arithmetic Philippe Th´eveny. Joint work with Vincent Lef`evre, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol PLMMS 2010, 8](https://www.pdfsearch.io/img/6dcf95348417f0129ea9ea0238575696.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2012-01-17 09:36:32
|
---|
7![Microsoft Word - List of Abstracts Microsoft Word - List of Abstracts](https://www.pdfsearch.io/img/b044247fad7480111d78a1daf99b78a3.jpg) | Add to Reading ListSource URL: www3.unine.chLanguage: English - Date: 2011-10-06 11:08:53
|
---|
8![Reflections on X10 Towards Performance and Productivity at Scale David Grove IBM TJ Watson Research Center Reflections on X10 Towards Performance and Productivity at Scale David Grove IBM TJ Watson Research Center](https://www.pdfsearch.io/img/33c16c4b52d1453960ed0743aa754cf5.jpg) | Add to Reading ListSource URL: labexcompilation.ens-lyon.frLanguage: English - Date: 2013-06-30 04:55:18
|
---|
9![Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org](https://www.pdfsearch.io/img/f46a65a4dd32205772128bbff4d01b7d.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2007-08-02 03:39:16
|
---|
10![David Lyon BIOGRAPHY David Lyon is an experienced consultant with deep expertise across environmental and sustainability issues. He focuses on the strategic and commercial implications of issues such as water availabilit David Lyon BIOGRAPHY David Lyon is an experienced consultant with deep expertise across environmental and sustainability issues. He focuses on the strategic and commercial implications of issues such as water availabilit](https://www.pdfsearch.io/img/997fc562dab58915fc23573fd9c872fc.jpg) | Add to Reading ListSource URL: www.irbaris.comLanguage: English - Date: 2011-05-03 06:01:15
|
---|