Ressources
Votre recherche
1294 résultats
Du rêve à la réalité des preuves
Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
Stratégies de capture de fugitifs... ou l’application de la théorie des graphes à PacMan
La théorie des graphes offre un cadre théorique puissant pour comprendre le fonctionnement de nombreux jeux...
Généralités : autour de l'acronyme RADAR (Télédétection radar)
Cours vidéo de l'ensemble multimédia "Télédétection radar" Premier module du chapitre 1 "Généralités sur le système et les images radar" qui envisage tour à tour les notions de radar, d'imagerie radar...
La fabrication de la bière (Génie industriel agroalimentaire)
Documentaire vidéo illustrant le processus de fabrication de la bière. Il est une composante de l'ensemble pe?dagogique Ge?nie Industriel Alimentaire.
Prospection/exploration et évaluation économique des ressources (RMDI)
Ce cours vous propose un aperçu des méthodes de prospection et d'exploration des ressources minérales. L'évaluation économique d'un projet minier sera également abordée. Il s'agit du quatrième module...
La régulation automatique (série : Cours Polytech'Lille)
Ce support de cours de la régulation, sans avoir la prétention de traiter tous les sujets de la régulation (et surtout avancée) a pour but principal, sans être simpliste, de présenter avec une approch...
Technologies XML
Les technologies XML sont une composante fondamentale de l'informatique depuis une dizaine d'année. Elles se sont introduites dans toutes les disciplines fondamentales (structuration de données, bases...
Le calcul, une notion difficile à attraper
Il faut attendre le vingtième siècle pour que l’on puisse répondre clairement à la question de savoir ce qu’est un calcul et donc ce qu’est un calculateur et ce qui peut être calculé.
Le contrôle statistique (ensemble "Décision et prévision statistiques")
Partie 3 du cours de "Décision et prévision statistiques". Le contrôle de la qualité constitue sans doute le poste le plus important de l'entreprise moderne. Les méthodes de fabrication à la chaîne ex...
Etude du comportement piéton en réalité virtuelle
De nos jours les architectes cherchent à valider les ouvrages destinés à accueillir du public dès leur conception. Pour cela ils utilisent notamment des simulateurs de foule. Mais pour réaliser ces de...