Nous sommes aujourd'hui habitués à voir des avions passer au dessus de nos têtes, si bien qu'on ne prend plus vraiment le temps de les observer. Pourtant, la forme des avions, et plus particulièrement la forme de leurs ailes, a significativement évolué avec les progrès des sciences et des techniques. Voyons ce qui motive ces évolutions et comment mathématique et informatique se combinent aujourd'hui pour concevoir les avions de demain.
Mot(s) clés libre(s) : aérodynamisme, performance, algorithme optimisation, équation Navier-Stokes, maillage

Déterminer si une image numérique contient une voiture est très difficile pour un ordinateur. Les méthodes actuelles se basent sur une analyse spatiale et fréquentielle de l'image, suivie d'un algorithme de classification.  
Mot(s) clés libre(s) : détection d'objet, algorithme de détection d'objet

Les données numériques sont devenues un tel enjeu économique et sociétal que la question du statut juridique des systèmes algorithmiques se pose de plus en plus. Le droit peut-il apporter des solutions pour pallier les failles autour de ces questions ? Célia Zolynski partage son point de vue avec nous dans cet épisode du podcast Interstices.
Mot(s) clés libre(s) : données numériques, systèmes algorithmiques, droit du numérique, intelligence artificielle, enjeux juridiques, éthique

Ce module définit ce qu'est l'algorithmique et les algorithmes, précise comment formuler et décomposer un algorithme puis présente succintement l'activité de programmation et les types de programmation.
Mot(s) clés libre(s) : Définitions, Concepts, algorithmie, algorithme

Dans cet exposé, quelques grands algorithmes d'estimation de paramètres et de génération de trajectoire sont démystifiés. Les principes généraux sont décrits et les points clés de ces méthodes mises en avant. Ils permettent de prendre la mesure des mécanismes qui permettent à un système artificiel d'implémenter des fonctionnalités perceptives observées chez l'animal, comme la perception du mouvement.Présentation donnée en juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France.
Mot(s) clés libre(s) : algorithme, catégorisation, équation différentielle, estimation, génération de trajectoires, modèlisation, résolution numérique, système dynamique, traitement de l'information

Java's Cool (alias Javascool) est un recueil de ressource conçu pour l'apprentissage des bases de la programmation. Il est composé de documents et logiciels pour l'enseignement de l'algorithmique.
Mot(s) clés libre(s) : Java, algorithmique, algorithme, sciences informatique lycée, educlet, proglet

La photographie est devenue une pratique massivement répandue. Grâce à l'arrivée des smartphones, il est devenu très facile de faire une belle photo et de la partager à des milliers de personnes en quelques secondes sur les réseaux sociaux. Cependant, nous avons tendance à oublier tout le travail effectué par les algorithmes de traitement d’images, ces méthodes qui permettent la formation de l’image, sa visualisation, son amélioration et son stockage.
Mot(s) clés libre(s) : algorithme traitement image, image couleur, image numérique, photographie

Développer des algorithmes permettant aux robots de faire face à des situations non prévues par leur concepteur et de s’adapter à de nouvelles tâches qu’un utilisateur pourrait leur donner, voilà un des nouveaux défis scientifiques auxquels se heurtent les chercheurs en robotique aujourd'hui.
Mot(s) clés libre(s) : robot autonome, robot humanoide, apprentissage machine, processus Markov, algorithme évolutionniste, neuroscience cognitive

Cette appliquette permet de visualiser la propagation d'une onde d'Alfvèn dans un plasma magnétisé uniforme.
Mot(s) clés libre(s) : Alfvèn, plasma magnétisé, algorithme de Lax-Wendroff

An important problem in quantum computing is the so-called approximate synthesis problem: to find a quantum circuit, preferably as short as possible, that approximates a given unitary operator up to given epsilon. Moreover, the solution should be computed by an efficient algorithm. For nearly two decades, the standard solution to this problem was the Solovay-Kitaev algorithm, which is based on geometric ideas. This algorithm produces circuits of size O(log^c(1/epsilon)), where c is approximately 3.97. It was a long-standing open problem whether this exponent c could be reduced to 1. In this talk, I will report on a number-theoretic algorithm that achieves circuit size O(log(1/epsilon)) in the case of the so-called Clifford+T gate set, thereby answering the above question positively. In case the operator to be approximated is diagonal, the algorithm satisfies an even stronger property: it computes the optimal solution to the given approximation problem. The algorithm also generalizes to certain other gate sets arising from number-theoretic unitary groups. This is joint work with Neil J. Ross.
Mot(s) clés libre(s) : Solovay-Kitaev algorithm