<?xml version="1.0" encoding="UTF-8"?><lom xmlns="http://ltsc.ieee.org/xsd/LOM" xmlns:lomfr="http://www.lom-fr.fr/xsd/LOMFR" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://ltsc.ieee.org/xsd/LOM http://www.lom-fr.fr/xsd/lomfrv1.0/std/lomfr.xsd">
<general>
<identifier>
<catalog>Canal-U_Ocms</catalog>
<entry>6629</entry>
</identifier>
<title><string language="fre"><![CDATA[Pourquoi mon ordinateur calcule faux?]]></string></title>
<language>FRE</language>
<description>
<string language="fre"><![CDATA[Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique.
Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010.]]></string></description>
<keyword><string language="fre"><![CDATA[bug]]></string></keyword><keyword><string language="fre"><![CDATA[algorithmique]]></string></keyword><keyword><string language="fre"><![CDATA[arithmétique flottante]]></string></keyword><keyword><string language="fre"><![CDATA[calcul informatique]]></string></keyword><keyword><string language="fre"><![CDATA[méthode formelle]]></string></keyword><keyword><string language="fre"><![CDATA[nombre à virgule flottante]]></string></keyword><keyword><string language="fre"><![CDATA[preuve de programme]]></string></keyword><keyword><string language="fre"><![CDATA[vérification de logiciel]]></string></keyword>
<lomfr:documentType>
<lomfr:source>LOMFRv1.0</lomfr:source>
<lomfr:value>image en mouvement</lomfr:value>
</lomfr:documentType>
</general><lifeCycle>
<contribute>
<role>
<source>LOMv1.0</source>
<value>author</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:25:24
FN:Sylvie BOLDO
N:BOLDO;Sylvie;;;
URL;TYPE=work:https://www.canal-u.tv/auteurs/boldo_sylvie
ROLE:author
NOTE:Sylvie Boldo est Chargée de recherche INRIA dans l'équipe-projet PROVAL. Elle est chercheuse en preuve de programmes et arithmétique des ordinateurs. 
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2009-06-16</dateTime></date>
</contribute>
<contribute>
<role>
<source>LOMv1.0</source>
<value>content provider</value>
</role>
<entity><![CDATA[BEGIN:VCARD
VERSION:3.0
CLASS:PUBLIC
REV:2021-09-16 17:25:24
FN:INRIA (Institut national de recherche en informatique et automatique)
N:INRIA (Institut national de recherche en informatique et automatique);;;;
URL;TYPE=work:http://www.inria.fr/
ROLE:content provider
TZ:+0200
END:VCARD
]]></entity>
<date><dateTime>2009-06-16</dateTime></date>
</contribute>
</lifeCycle>
<metaMetadata>
<metadataSchema>LOMv1.0</metadataSchema>
<metadataSchema>LOMFRv1.0</metadataSchema>
</metaMetadata>
<technical>
<format>video/mp4</format>
<location><![CDATA[https://www.canal-u.tv/video/inria/pourquoi_mon_ordinateur_calcule_faux.6629]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/fuscia/s_boldo.mp4]]></location>
<location><![CDATA[https://streaming-canal-u.fmsh.fr/vod/media/canalu/videos/fuscia/s_boldo.1303835718.mp4]]></location>
<size>108251671</size>
<duration><duration>PT0H36M0S</duration></duration>
</technical>
<educational>
<learningResourceType>
<source>LOMv1.0</source>
<value>lecture</value>
</learningResourceType>
<context>
<source>LOMv1.0</source>
<value>formation continue</value>
</context>
</educational>
<rights>
<cost>
<source>LOMv1.0</source>
<value>no</value>
</cost>
<copyrightAndOtherRestrictions>
<source>LOMv1.0</source>
<value>no</value>
</copyrightAndOtherRestrictions>
<description>
<string language="fre"><![CDATA[Droits réservés à l'éditeur et aux auteurs. 
]]></string>
</description>
</rights>
<relation>
<kind>
<source>LOMv1.0</source>
<value>ispartof</value>
</kind>
<resource>
<identifier>
<catalog>URI</catalog>
<entry>https://www.canal-u.tv/producteurs/inria/science_info_lycee_profs_conferences_de_formation_des_professeurs_du_secondaire_en_science_informatique</entry>
</identifier>
<description>
<string language="fre"><![CDATA[Science Info Lycée Profs : conférences de formation des professeurs du secondaire en science informatique.]]></string>
</description>
</resource>
</relation>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre"><![CDATA[Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr]]></string>
</source>
<taxon>
<id/>
<entry>
<string language="fre"/>
</entry>
</taxon>
</taxonPath>
</classification>
<classification>
<purpose>
<source>LOMv1.0</source>
<value>discipline</value>
</purpose>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>518</id>
<entry>
<string language="fre"><![CDATA[Analyse numérique]]></string>
</entry>
</taxon>
</taxonPath>
<taxonPath>
<source>
<string language="fre">CDD 22e éd.</string>
<string language="eng">DDC 22nd ed.</string>
</source>
<taxon>
<id>005.14</id>
<entry>
<string language="fre"><![CDATA[Vérification, essai, mesure, débogage]]></string>
</entry>
</taxon>
</taxonPath>
</classification> </lom>