Programmation

Calculateur de PI sur un cluster FPGA

Pour ceux qui se sont bien amusés avec les cartes FPGA pendant les TPS de PAN, la fête continue. On va connecter 16 de ces cartes en utilisant le réseau ethernet et implementer des calculs parallèles distribués. Chacune de ces puces contient, en plus du FPGA, un processeur ARM embarqué qui va faciliter notre tâche. On commencera avec un K2000 distribué sur toutes les cartes et ensuite on passera aux choses sérieuses: calculer la valeur de PI avec le maximum de précision, un problème classique et universel.

Détection des changements de plan pour le séquencement d'une vidéo

Le séquencement de vidéos est une des étapes de l'indexation de données multimédia . Cela consiste à séparer les plans successifs de la vidéo. L'information prise en compte peut provenir tout aussi bien du son que de l'image, ou des deux à la fois. Dans le cadre de ce projet nous nous intéressons uniquement à l'image, et un changement de plan correspondra à un changement de caméra lors du montage de la vidéo (les mouvements de la caméra ou les changements de mise au point ne seront pas pris en compte).

Reconnaissance de visages dans les images

Python LIG Crawler

Le protocole LISP (Locator/Identifier Separation Protocol) [1,2,3] a été introduit pour séparer les rôles d’identificateur et de localisateur d’une adresse IP. LISP considère deux espaces d’adressage indépendants: le Routing Locator Space (RLOC), qui est globalement routable, et le Endpoint Identifier Space (EID) qui est seulement routable localement. Avec LISP, les routeurs dans le coeur du réseau manipulent des RLOCs et des routes sont maintenues de sorte que les paquets puissent être transférés de routeur en routeur.

Peut-on interpoler les triangulations ?

Dans un projet de recherche récent, on a introduit pour la première fois une famille de distances entre les triangulations permettant de comparer deux triangulations avec différents nombres de sommets, en établissant une équivalence entre ces triangulations et l'espace des distributions discrètes défini sur le même domaine. L’idée principale est de se servir de la distance de Wasserstein de la théorie du transport optimal pour définir une métrique sur l'espace des triangulations régulières [Memari et Desbrun, preprint 2014].

Modifications colorimétriques d’images et de vidéos

Les appareils imageurs grand-public (appareils numériques compacts, réflexes, photo-phones) ont pris ces dernières années une place croissante dans la vie quotidienne, et le développement d’algorithmes de restauration des images et des vidéo est un important enjeu industriel. Il s’agit également d’un domaine pour lequel les échanges entre recherche académique et applications sont particulièrement rapides.

Un harmoniseur automatique avec rectification de hauteur pour l’aide à la composition musicale

De nombreuses applications musicales permettent de générer un accompagnement dans un style bien défini à partir d’une suite d’accord (JamGrid, Band in a Box…), afin de permettre au musicien soliste de travailler son improvisation.

Dans ce projet, nous nous intéressons au problème inverse, qui consiste à proposer au musicien soliste une suggestion d’accords pour l’aider à créer un accompagnement à partir d’un thème qu’il aura trouvé.

Interpréteur Logo pour programmer une tortue graphique

Logo est un langage de programmation qui fut très populaire dans les années 1980 pour sa fonctionnalité de tortue graphique : le langage permet de décrire, de manière assez simple, des instructions à l'intention d'une tortue qui parcourt un espace de travail. Ainsi, pour dessiner une maison, on peut écrire le programme suivant :

 

POUR carré

 RÉPÈTE 4 [AVANCE 50 DROITE 90]

FIN

 

Test de Turing pour le générateur poïétique

On observe généralement des phénomènes émergents. Au départ, chacun découvre les possibilités d’action sur sa zone. Puis les utilisateurs découvrent des régularités structurelles entre leur création et une autre zone, souvent une zone adjacente. On observe alors une simplification du tableau global. Lorsque la "logique" globale devient trop simple au goût de certains, ils se plaisent à réintroduire de la diversité.

Émergence d’une communication coûteuse dans les réseaux sociaux

Les réseaux sociaux reposent en partie sur le principe suivant: les individus réalisent des actes de communication (tweets, posts, discussions...) et établissent des liens sur la base des actes de communication des autres. Or les actes de communication ont un coût, ne serait-ce que par le temps qu’ils nécessitent (penser à la tenue d’un blog).

La question se pose de savoir quel est l’investissement optimal que chacun doit consentir à la communication, en fonction du gain social qu’il peut espérer.

Pages

Subscribe to RSS - Programmation