Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
stic
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
8
résultats
section 1
sur 1
résultats
1 à 8
UNIT
Analyse mathématique, modèles et simulations numériques (série : Colloquium Jacques Morgenstern)
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ématiqu ...
Date
:
13-05-2003
Description complète
Analyse mathématique, modèles et simulations numériques (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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 philosophiqu ...
Description complète
Colloquium Jacques Morgenstern
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
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 erre ...
Date
:
08-10-2009
Description complète
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Computer security (série : Colloquium Jacques Morgenstern)
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 secur ...
Date
:
18-03-2003
Description complète
Computer security (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Do general purpose languages have a future?
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 completel ...
Date
:
08-07-2003
Description complète
Do general purpose languages have a future?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Entre mathématiques et informatique : l'analyse des algorithmes (série : Colloquium Jacques Morgenstern)
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 ...
Date
:
13-01-2003
Description complète
Entre mathématiques et informatique : l'analyse des algorithmes (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Health informatics : where we are now, and where we may be going (série : Colloquium Jacques Morgenstern)
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 ...
Date
:
12-11-2002
Description complète
Health informatics : where we are now, and where we may be going (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
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 rapid ...
Date
:
05-02-2004
Description complète
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Afficher section
2
sur 1