Approfondir

Pour en savoir plus sur des notions fondamentales

Intermédiaire

Calculer sur des données massives

Comment fonctionne MapReduce, l’un des principaux logiciels utilisés pour faire des calculs sur des données massives ?

→ Lire l'article

Publié le 06/05/2015

Par Serge Abiteboul

Tags Calcul Donnée Web

Intermédiaire

Modélisation en dynamique des populations

Les différents formalismes de simulation de l'évolution d'une population, initialement antagonistes, tendent à se réconcilier.

→ Lire l'article

Publié le 15/04/2014

Par Fabien Campillo

Tags Biodiversité Vivant

Intermédiaire

Les planètes tournent-elles rond ?

Des planètes qui s’écrasent dans le Soleil ou, au contraire, qui s’éloignent ! Voilà ce qui arrive si on choisit la mauvaise méthode pour calculer leurs positions.

→ Lire l'article
Intermédiaire

L’eau sous nos pieds

Comment peut-on s’assurer que les déchets résidentiels ou industriels n’altéreront pas la qualité de l’eau de la nappe phréatique ?

→ Lire l'article
Intermédiaire

Idée reçue : Comparer la puissance de deux ordinateurs, c’est facile !

Il y a une quinzaine d'années, quand on achetait un nouvel ordinateur, on avait une idée assez précise de sa puissance. De nos jours, c’est beaucoup plus difficile !

→ Lire l'article
Intermédiaire

Modéliser les robots à câbles

Déterminer les caractéristiques de ce type de robot et prévoir ses mouvements ne se fait pas au hasard, mais se calcule grâce à des modèles mathématiques.

→ Lire l'article

Publié le 05/03/2013

Par Jean-Pierre Merlet

Tags Commande Géométrie Robot

Facile

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.

→ Lire l'article

Publié le 08/06/2012

Par Jean-Paul Delahaye

Tags Preuve

Intermédiaire

Modéliser la propagation d’une épidémie

La propagation d'une épidémie peut être modélisée par des équations différentielles. Leur résolution numérique permet de déterminer son comportement.

→ Lire l'article

Publié le 28/11/2011

Par François Rechenmann

Tags Santé Simulation Vivant

Facile

Un algorithme pour mettre en rang une équipe de football

Réaliser un alignement, une évidence ? Pas si sûr... Du sport de ballon au sport cérébral, découvrez différentes méthodes pour y parvenir.

→ Lire l'article

Publié le 28/07/2011

Par Jocelyne Erhel

Tags Algorithme

Avancé

Stratégies magiques au pays de Nim

Le théorème de Sprague-Grundy de la théorie des jeux est l’une de ces petites merveilles mathématiques qui permettent de battre votre adversaire et dont la simplicité vous laisse pantois d’admiration.

→ Lire l'article

Publié le 21/06/2011

Par Jean-Paul Delahaye

Tags Jeu

Intermédiaire

Calculer différemment

Comment dépasser les limitations des machines de Turing pour calculer plus, pour calculer autrement, pour calculer plus vite ou pour calculer mieux ?

→ Lire l'article

Publié le 27/01/2011

Par Jean-Louis Giavitto

Tags Calcul

Intermédiaire

Modéliser la dynamique des populations animales : la prédation

Dans un écosystème, les populations interagissent et leurs effectifs évoluent en conséquence. La simulation permet de déterminer le comportement qui en résulte.

→ Lire l'article

Publié le 27/10/2010

Par François Rechenmann

Tags Simulation Vivant

Intermédiaire

Systèmes dynamiques et équations différentielles

Un système dynamique est un ensemble d’entités en interaction. Comment le représenter pour comprendre et prédire son comportement ?

→ Lire l'article

Publié le 27/07/2010

Par François Rechenmann

Tags Mouvement Prévision Simulation

Intermédiaire

Les ingrédients des algorithmes

Pour programmer un ordinateur, le plus important ce sont les méthodes mises en œuvre. Découvrez les ingrédients à combiner pour créer ces algorithmes !

→ Lire l'article
Intermédiaire

Cultivons notre jardin

Les plantes poussent si lentement qu’elles semblent figées dans leur architecture. Aujourd’hui, grâce à la modélisation sur ordinateur, les hommes « accélèrent » ce processus et ainsi prévoient, optimisent les récoltes...

→ Lire l'article

Publié le 19/01/2010

Par Philippe de Reffye

Tags Environnement

Intermédiaire

Idée reçue : Si un problème est NP-complet, alors ce n’est pas la peine de s’y attaquer

Pourquoi une affirmation aussi catégorique est-elle en partie fausse ? Revenir sur la définition des problèmes P, NP et des problèmes NP-complets aide à le comprendre.

→ Lire l'article

Publié le 09/12/2009

Par Jean-Paul Delahaye

Tags Preuve

Facile

La fin des Dames anglaises ?

Depuis le 29 avril 2007, c’est chose faite : de nombreuses innovations et une opiniâtreté exceptionnelle sont venues à bout de Checkers, le jeu de Dames anglaises.

→ Lire l'article

Publié le 27/10/2009

Par Jean-Paul Delahaye

Tags Histoire Jeu

Intermédiaire

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.

→ Lire l'article

Publié le 30/09/2009

Par Benjamin Werner

Tags Preuve Sécurité

Intermédiaire

Pierre, feuille, ciseaux...

Joué comme un jeu de conquête, l’ancien jeu chinois de la pierre, de la feuille et des ciseaux éclaire les phénomènes de synchronisation et de maintien de la diversité animale.

→ Lire l'article

Publié le 23/03/2009

Par Jean-Paul Delahaye

Tags Biodiversité Jeu Vivant

Intermédiaire

Théories et théorie de l’information

Information, c’est le thème proposé aux étudiants des classes préparatoires aux grandes écoles pour leurs TIPE de l’année 2008-2009. Une occasion pour nous d’élargir la réflexion sur ce sujet.

→ Lire l'article

Publié le 05/09/2008

Par Jean-Paul Delahaye

Tags Information