|
|<
<< Page précédente
1
2
3
4
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Pourquoi mon ordinateur calcule faux?
/ INRIA
/ 16-06-2009
/ Canal-U - OAI Archive
BOLDO Sylvie
Voir le résumé
Voir le résumé
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. Mot(s) clés libre(s) : algorithmique, arithmétique flottante, bug, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
|
Accéder à la ressource
|
|
HIT Paris 2009 - Aide à la décision, importance du contexte
/ Canal-U/Sciences de la Santé et du Sport, CERIMES
/ 27-05-2009
/ Canal-U - OAI Archive
BEUSCART Régis
Voir le résumé
Voir le résumé
HIT Paris 2009 - Thème : TIC et qualité des soinsTitre : Intégrer l'aide à la décision dans le SI, aide à la décision, importance du contextePublic cible : ingénieurs, professionnels de santé, industriels, institutionnels, associations et réseauxLes systèmes d'information cliniques se développent dans les hôpitaux et les réseaux de soins et intègrent les premiers outils d'aide à la décision clinique. Ces outils font appel à des services terminologiques et des outils décisionnels permettant d'identifier dans les dossiers patients des erreurs médicales, de repérer des situations à risque, d'éviter certaines prescriptions dangereuses, de déduire des règles applicables dans différentes situations cliniques. Les participants de la table ronde donneront une vision de l'avancée de leurs travaux et de leurs projets dans ce domaine.Intervenant : Pr Régis Beuscart, Cerim, Centre d'Etudes et de Recherche en Informatique Médicale, Faculté de médecine, LilleSCD Médecine. Mot(s) clés libre(s) : HIT Paris 2009, logiciel, over alerting, réseaux, sécurité, SI, système de prescription médicamenteuse, TIC
|
Accéder à la ressource
|
|
HIT Paris 2009 - Programmes de détection et de prévention des erreurs liées au médicament.
/ Canal-U/Sciences de la Santé et du Sport, CERIMES
/ 27-05-2009
/ Canal-U - OAI Archive
BEUSCART Marie-Christine
Voir le résumé
Voir le résumé
Thème : TIC et qualité des soins B3a S'organiser pour le partage et l'échange de données médicales, faciliter l'adoption des outilsTitre : HIT Paris 2009 - Optimiser la facilité d’usage : l’apport de l’ergonomie dans la conception des programmes de détection et de prévention des erreurs liées au médicamentPublic cible : managers hospitaliers, ingénieurs, professionnels de santé, industrielsDétails : Optimiser la facilité d’usage : l’apport de l’ergonomie dans la conception des programmes de détection et de prévention des erreurs liées au médicament.Intervenant : Marie-Catherine Beuscart, Responsable du laboratoire Evalab (Ergonomie et usage des Nouvelles Technologies en Santé), Lille 2 Université.SCD Médecine. Mot(s) clés libre(s) : ergonomie, HIT Paris 2009, logiciel, prescription médicale, PSIP, qualité, santé, sécurisation, SI, TIC
|
Accéder à la ressource
|
|
Le logiciel, objet de notre quotidien
/ Mission 2000 en France
/ 10-09-2000
/ Canal-U - OAI Archive
BERRY Gérard
Voir le résumé
Voir le résumé
Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, et maintenant les objets du quotidien, du téléphone au stimulateur cardiaque en passant par tout l'audiovisuel, les jeux, et bien sûr Internet. On assiste en fait à la mise en place d'un nouveau système nerveux logiciel, avec lequel nous sommes sans cesse en contact. Or, le logiciel reste un objet mystérieux pour la plupart des gens. Il est purement immatériel, ne se voit pas, ne pèse rien. Pourtant, il produit des tas d'ennuis allant de l'inconfort des interfaces homme-machine mal conçus aux problèmes de sécurité des réseaux en passant par des crashs catastrophiques de fusées ou de satellites. La qualité du logiciel devient un des points faibles de notre société. Pour les spécialistes, ce n'est pas étonnant. Le logiciel est un objet purement intellectuel d'une très grande complexité, qui ne se laisse pas appréhender pas des approches naïves. Un logiciel est formé de millions d'ordres élémentaires à une machine ultra-rapide et quasi-infaillible mais parfaitement stupide, le microprocesseur. De minuscules erreurs peuvent avoir de grandes conséquences et on ne sait pas encore se protéger. Nous essaierons de mieux faire comprendre la nature profonde de l'objet logiciel, et nous présenterons les approches scientifiques modernes qui permettront de construire des logiciels plus sûrs et d'en assurer la correction. Mot(s) clés libre(s) : algorithmique, bug, circuit intégré, langage de programmation, logiciel informatique, microélectronique, microprocesseur
|
Accéder à la ressource
|
|
FORMATIC 2009 - Collaboration entre chercheurs, gestionnaires et cliniciens
/ Canal-U/Sciences de la Santé et du Sport, CERIMES
/ 05-02-2009
/ Canal-U - OAI Archive
BELANGER Guy
Voir le résumé
Voir le résumé
Titre : Formatic 2009 - Collaboration entre chercheurs, gestionnaires et cliniciens : un exemple pratique et concret du développement d'un système d'information de gestion de la qualité des soins et des services.Intervenant : Guy Bélanger, Université du Quebec à Rimouski.SCD Médecine. Mot(s) clés libre(s) : chercheurs, cliniciens, communication, Formatic Santé 2009, gestionnaires, information, informatique, logiciel, technologie, TIC
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
2
3
4
Page suivante >>
>|
|
documents par page
|