Ressources
Votre recherche
1294 résultats
Intelligence économique (Kit de gestion pour l'ingénieur)
Ensemble de supports pédagogiques destinés à alimenter des formations en intelligence économique. Chacun d'entre eux a pour vocation d’illustrer un des aspects de l’intelligence économique en présenta...
MPFR : vers un calcul flottant correct ?
Obtenir un seul résultat pour un calcul donné : à première vue, cela semble une évidence ; c’est en fait un vaste sujet de recherche. Une nouvelle étape est franchie aujourd’hui grâce à MPFR, une bibl...
TER Humains virtuels
Ce cours a pour objectif de vous permettre d'acquérir les bases en animation d'agents virtuels humains, elle explique comment créer des visages avec la prise en compte des expressions faciales (appelé...
Moteurs alternatifs à combustion interne (Thermoptim)
Présentation d'une des principales technologies énergétiques, en tant que systèmes complets : les moteurs alternatifs à combustion interne. Tous les moteurs alternatifs à combustion interne fonctionne...
Le ballet des processus dans un système d’exploitation
Que se passe-t-il quand vous appuyez sur le bouton de mise en marche de votre ordinateur ? Avant que vous ne puissiez commencer à travailler, tout un ballet s’exécute…
Mon Cartable Connecté, du son 3D pour l’enfant hospitalisé
En France, près de 2 millions d’enfants hospitalisés chaque année ne peuvent se rendre physiquement à l’école. Quelle réponse humaine et technologique peut-on apporter pour améliorer l’exigence d’une ...
Programmation Logique et Intelligence Artificielle
Cette présentation est une introduction à la logique de programmation. Les trois premières parties expliquent comment se conçoit la logique de programmation à travers le prisme du langage Prolog, vous...
Des modèles numériques pour aider à contrôler une épidémie
En 2020, avec l’épidémie de COVID-19, notre vie a basculé dans une situation que peu de monde aurait pu imaginer, contraignant de nombreux pays à prendre des mesures gouvernementales strictes pour con...
Introduction au cours (Télédétection radar)
Cours vidéo de l'ensemble multimédia "Télédétection radar" Premier module d'introduction au cours. Il précise le format du cours, le public visé, les prérequis nécessaires et propose pour finir une dé...
Preuves formelles, preuves calculatoires
Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjectu...