Ressources
Votre recherche
1294 résultats
La vérité et la machine
Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
Le recuit simulé
Découvrons cet algorithme d’optimisation grâce à deux animations interactives. La première explique le principe de ce procédé, la seconde l’applique à un problème informatique célèbre : le voyageur de...
La simulation de Monte-Carlo
Que vous évoque Monte-Carlo ? Son casino, la roulette et autres jeux de hasard ? Découvrez ce dont il s’agit dans le contexte des sciences du numérique.
Lutter contre les codes malveillants
Aujourd'hui, les téléphones portables sont en réalité de tout petits ordinateurs qui peuvent exécuter des applications choisies par l’utilisateur sur des marchés d’applications. Attirés par l’argent f...
Les Tours de Hanoï : un problème classique de récursion
La pensée récursive est partout. Un exemple fréquemment utilisé en algorithmique pour en faire la démonstration se trouve être un casse-tête, les tours de Hanoï.
Scenari Quetzal
Quetzal est un modèle Scenari dédié à l'évaluation, qui permet : - de gérer des banques de questions de quelques unes à plusieurs milliers ; -de générer des questionnaires, en mode manuel assisté ou p...
Vibroacoustique : ensemble des ressources
Le projet "Vibroacoustique" est un ensemble de ressources numériques de cours spécifiques à ce sous domaine de l’Acoustique. Ce domaine particulier de la vibroacoustique est une composante essentielle...
Géométrie - Bilan utilisateur (Télédétection radar)
Cours vidéo de l'ensemble multimédia "Télédétection radar" Cinquième module du chapitre 2 consacré à la géométrie des images et en particulier aux effets du relief. Il établit un bilan utilisateur.
Caractéristiques et chocs (Ondes de surface et ressauts)
Dans ce cours, nous étudions les systèmes d'équations aux dérivées partielles hyperboliques 1D en nous servant de l'exemple des équations de Saint-Venant comme prototype de cette classe d'équations. C...
Optical fibers sensors. (Optique Pour l'Ingénieur : Optique guidée et fibres optiques)
This unit presents the three main sorts of optical fiber sensors, which are intensity modulation, phase modulation and polarization modulation. We will study in detail each sort in a section. We will ...