Boldo - PDFSEARCH.IO - Document Search Engine

Boldo
Results: 38

#	Item
21	Floats & Ropes: a case study for formal numerical program verication? Sylvie Boldo INRIA Saclay - Île-de-France, ProVal, Orsay, FLRI, Univ Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: fost.saclay.inria.fr Language: English - Date: 2014-03-11 10:57:24
22	Some Functions Computable with a Fused-mac Sylvie Boldo and Jean-Michel Muller Laboratoire LIP (CNRS/ENS Lyon/Inria/Univ. lyon 1), Projet Ar´enaire, 46 all´ee d’Italie, 69364 Lyon Cedex 07, F RANCE Sylvie.Boldo@ens-l Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2006-04-21 06:44:27 Mathematics Rounding Floating point Unit in the last place Methods of computing square roots Division Multiply–accumulate operation Computer arithmetic Arithmetic Numbers
23	Habilitation à Diriger des Recherches presentée à l’Université Paris-Sud Spécialité: Informatique par Sylvie Boldo Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-02 03:44:54 Mathematics Floating point IEEE 754-2008 Rounding Precision Single-precision floating-point format Double-precision floating-point format Arithmetic precision Unit in the last place Computer arithmetic Numbers Computing
24	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-24 04:48:50 Computer architecture Numbers Long double Floating point Double-precision floating-point format IEEE 754-2008 Single-precision floating-point format Extended precision Fortran Computer arithmetic Computing Data types
25	Maternal Risk Factors Related to Fetal and Infant Mortality – Environment Boldo E, Medina S, Oberg M, Puklová V, Mekel O, Patja K, et al. Health impact assessment of environmental tobacco smoke in European children: s Add to Reading List Source URL: www.nfimr.org Language: English - Date: 2011-08-29 09:59:59 Epidemiology Infant mortality Public health David A. Savitz Health Design of experiments Ecological study
26	_.“..I _._’ lNTEGRATlVE THERAPEUTICS Add to Reading List Source URL: www.fda.gov Language: English - Date: 2005-12-27 16:31:00 Food and Drug Administration Medicinal plants Berries Dietary supplements Herbs Enzyme Boldo Center for Food Safety and Applied Nutrition Federal Food Drug and Cosmetic Act Chemistry Medicine Health
27	EnzymaticTher~~@ NATURAL MEDICINES” Office of Special Nutritionals (HFS-450) Add to Reading List Source URL: www.fda.gov Language: English - Date: 2003-10-27 08:50:35 Biology Quaternary ammonium compounds Lipotropic Metabolism Choline Methionine Boldo B vitamins Nutrition Chemistry Dietary supplements
28	B.2 Fabrication de vraies ortho-images et correction des ombres Didier Boldo Introduction Cet article est consacré à une méthode permettant de fabriquer automatiquement de vraies ortho-images (avec Add to Reading List Source URL: lareg.ensg.ign.fr Language: French - Date: 2014-06-27 11:54:44
29	Microsoft Word - Summary_responses_herbals_140208.doc Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2013-10-09 09:25:57 Clinical research Dietary supplements Pharmaceuticals policy European Directive on Traditional Herbal Medicinal Products European Union European Medicines Agency Herbalism Boldo Herbalist Alternative medicine Medicine Health
30	B.2 Fabrication de vraies ortho-images et correction des ombres Didier Boldo Introduction Cet article est consacré à une méthode permettant de fabriquer automatiquement de vraies ortho-images (avec Add to Reading List Source URL: recherche.ign.fr Language: French - Date: 2014-06-27 11:54:44

UPDATE