1940 résultats

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1940 résultats
page 18 sur 194
résultats 171 à 180
Canal-U
Description : 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 ...
Mots clés : bug, algorithmique, arithmétique flottante, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
Date : 16-06-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste. Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une ar ...
Mots clés : calcul informatique, preuve de programme, analyse numérique, arithmétique virgule flottante, erreur de calcul, méthodes formelles
Date : 05-06-2013
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Description : La programmation consiste à décomposer un algorithme en ordres simples et à les écrire en un langage compréhensible par l’ordinateur.
Mots clés : bug, paradigme de programmation, niveau d'abstraction, erreur, preuve de programme, fuscia
Date : 28-11-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Réaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais doit-on aveuglément faire confiance aux résultats obtenus par nos machines ? Sylvie Boldo nous apporte quelques éléments de réponse.
Mots clés : podcast, virgule flottante, double précision, calcul numérique, erreur, norme IEEE 754, fuscia
Date : 26-03-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Dans Astérix et Cléopâtre, Obélix doit couper un gâteau en trois parts pour Astérix, Panoramix et lui. Équipé seulement d’un couteau, il coupe des parts très inégales... Mais comment couper en trois parts égales ?
Mots clés : algorithme, écriture binaire, calcul, fuscia
Date : 27-05-2010
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
UNIT
Description : Comment faire en sorte que le partage de ressources matérielles ne permette pas à une application malveillante d’espionner ou d’interférer avec l’exécution d’autres applications ?
Mots clés : système exploitation, sécurité système, cybersécurité, partage de ressources, processus
Date : 30-06-2020
Droits : Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
Canal-U
Description : 16 UFR ont une formation en 6 années avec un numérus clusus de 1000 étudiants par an. Les perspectives sont plus que sombres. C'est une profession qui se médicalise de plus en plus. Il n'y a aucune concertation nationale des expériences. celles qui ont eu lieu concernaient surtout le degré clinique. ...
Mots clés : pédagogie, numérique, IMP 2007, bucco-dentaire, ondotologie, UFR, UN3S
Date : 29-10-2007
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Session : TIC et qualité des soins. Titre : HIT Paris 2009 - Analyse des risques appliquée au circuit du médicament : en direct d'Hopipharm à Marseille. Sécurisation du circuit des chimiothérapies en établissement hospitalier : application à la production des médicaments anticancéreux. Résumé : ...
Mots clés : sécurité, TIC, santé, SI, HIT Paris 2009, circuit du médicament
Date : 27-05-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Session : TIC et qualité des soins. Titre : Analyse des risques appliquée au circuit du médicament : en direct d'Hopipharm à Marseille. Présentation des méthodes d'analyse de gestion de risques. La mise en place d'une démarche qualité sur un processus aussi complexe que le circuit du médicament ...
Mots clés : sécurité, TIC, santé, SI, HIT Paris 2009, circuit du médicament, gestion de risques
Date : 27-05-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Conférence donnée par Alexandre BONUCCI, le 23 janvier 2007, dans le cadre du séminaire "La Balado diffusion de contenus de cours". Cette présentation expose de façon générale la démarche de l'université lumière Lyon 2 en matière de développement des services numériques aux usagers (étudiants ...
Mots clés : podcasting, podcast, baladodiffusion, balado-diffusion
Date : 01-01-2007
Droits : Droits réservés à l'éditeur et aux auteurs.