8 ressources en auto-formation : stic

FILTRES

8 résultats
page 1 sur 1
Résultats de 1 à 8
Présentation de la ressource en auto-formation Analyse mathématique, modèles et simulations numériques (série : Colloquium Jacques Morgenstern) cours / présentation
02/06/2009
Analyse mathématique, modèles et simulations numériques (série : Colloquium Jacques Morgenstern)
Auteur(s) : Lions Pierre-Louis
Description : Dans cet exposé, nous présentons quelques aspects généraux de la simulation numérique, de la modélisation mathématique et de l'analyse mathématique de ces modèles. En partant d'exemples industriels, nous rappellerons quelques éléments historiques et montrerons la nécessité d'une approche mathéma ...
Présentation de la ressource en auto-formation Colloquium Jacques Morgenstern cours / présentation
02/06/2009
Colloquium Jacques Morgenstern
Description : Le but du colloquium est d'offrir une vision d'ensemble des recherches les plus actives et les plus prometteuses dans le domaine des Sciences et Technologies de l'Information et de la Communication (STIC). Nouveaux thèmes scientifiques, nouveaux domaines d'application, enjeux sociaux et philosop ...
Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern) cours / présentation
11/12/2009
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Auteur(s) : Leroy Xavier
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...
Présentation de la ressource en auto-formation Computer security (série : Colloquium Jacques Morgenstern) cours / présentation
02/06/2009
Computer security (série : Colloquium Jacques Morgenstern)
Auteur(s) : Abadi Martín
Description : Butler Lampson, one of the pioneers in computer security, once wrote: "What people want from computer security is to be as secure with computers as they are in the real world". Increasingly, however, the "real world" is full of interconnected computers in critical roles. Accordingly, computer s ...
Présentation de la ressource en auto-formation Do general purpose languages have a future? cours / présentation
02/06/2009
Do general purpose languages have a future?
Auteur(s) : Stroustrup Bjarne
Description : As the computing world matures, the roles of computer professionals are becoming more specialized. In particular, a programmer can spend a whole career doing work in embedded systems or data analysis without a need to gain expertise in other fields. Would such programmers be best served by completely ...
Présentation de la ressource en auto-formation Entre mathématiques et informatique : l'analyse des algorithmes (série : Colloquium Jacques Morgenstern) cours / présentation
13/01/2003
Entre mathématiques et informatique : l'analyse des algorithmes (série : Colloquium Jacques Morgenstern)
Auteur(s) : Flajolet Philippe
Description : Jusqu'au dix-neuvième siècle, les mathématiques sont de nature largement algorithmique, mais les problèmes de complexité, s'ils sont présents, restent souvent subliminaux. L'avènement de l'informatique pose, dès les années 1950, de nombreuses questions dès lors que l'on cherche à comprendre, prédire, ...
Présentation de la ressource en auto-formation Health informatics : where we are now, and where we may be going (série : Colloquium Jacques Morgenstern) cours / présentation
02/06/2009
Health informatics : where we are now, and where we may be going (série : Colloquium Jacques Morgenstern)
Auteur(s) : Brady Michael
Description : Twenty years ago, Informatics was seen as a component part of the problem in delivering effective healthcare at affordable cost, not least because of a number of hugely costly and embarrassing software system failures. Nowadays, Informatics is seen as part of the solution. We begin the presentation ...
Présentation de la ressource en auto-formation Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern) cours / présentation
02/06/2009
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
Auteur(s) : Muller Jean-Michel
Description : Je vais essayer d'illustrer par quelques exemples les progrès accomplis ces dernières années dans le domaine de l'arithmétique virgule flottante. Longtemps l'arithmétique flottante n'a été qu'une collection de recettes de cuisine: on avait le choix entre utiliser cette arithmétique, et obtenir r ...