Rechercher une ressource pédagogique : stic

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

8 résultats
section 1 sur 1
résultats 1 à 8
UNIT
UNIT
13.05.2003
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éma ...
  • fuscia
  • conférence
  • STIC
  • équations aux dérivées partielles
  • couplage d'échelle
  • couplage de modèles
  • mathématiques appliquées
  • onde de choc
UNIT
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 philosop ...
  • fuscia
  • conférence
  • recherche
  • STIC
  • mathématiques appliquées
UNIT
UNIT
08.10.2009
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 ...
  • compilateur
  • logiciel critique
  • programmation fonctionnelle
  • vérification de programme
  • vérification formelle
  • preuve formelle
  • fuscia
  • conference
  • stic
  • recherche
UNIT
UNIT
18.03.2003
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 s ...
  • fuscia
  • conférence
  • recherche
  • STIC
  • protocole de sécurité
  • confidentialité
  • intégrité
  • disponibilité
  • authentification
  • communication
  • spam
  • clé
  • cryptage
  • attaque
  • pi calcul
  • analyse formelle
  • mémoire
  • puissance de calcul
  • cache
  • contrôle d'accès
  • Binder
  • logique
  • base de ...
UNIT
UNIT
08.07.2003
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 completely ...
  • fuscia
  • conférence
  • recherche
  • STIC
  • langage de programmation
  • langage spécialisé
  • langage général
  • bibliothèque logicielle
  • développement
  • implémentation
  • code
  • legacy code
  • abstraction
  • interopérabilité
  • performance
  • optimisation
  • objet
  • container
  • sémantique formelle
UNIT
UNIT
13.01.2003
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, ...
  • fuscia
  • conférence
  • recherche
  • STIC
  • calcul
  • complexité
  • arbre digital
  • tri
  • transformation de Mellin
  • comptage probabiliste
  • systèmes dynamiques
UNIT
UNIT
12.11.2002
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 ...
  • fuscia
  • conférence
  • recherche
  • STIC
  • IRM
  • grid computing
  • imagerie 3D
  • mathématiques appliquées
UNIT
UNIT
05.02.2004
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 r ...
  • fuscia
  • conférence
  • STIC
  • arithmétique des ordinateurs
  • opération arithmétique
  • implantation sur machine
  • algorithme
  • calculabilité
  • virgule flottante
  • fiabilité
  • précision
  • cohérence
  • division
  • arrondi correct
  • dépassement de capacité
  • multiprécision
  • numération