Algorithmique

AAI : Une intelligence artificielle qui argumente

Alan Turing, dans son jeu de l’imitation, définit l’IA comme la capaciter à argumenter. Nous sommes encore loin de pouvoir amener une machine à discuter de manière pertinente sur n’importe quel sujet. En revanche, il est possible de produire des argumentations intelligentes en fournissant à la machine une connaissance experte sur un sujet limité.

Nettoyage, exploration et visualisation d'un jeu de données portant sur l’accueil de personnes réfugiées par des familles françaises : le programme CALM.

Configuration d’ordonnancement de systèmes temps réel embarqués

Contexte

Ce projet porte sur l’ordonnancement de systèmes embarqués temps réel critiques sur processeur multi-cœurs. Les systèmes temps réel doivent respecter des échéances temporelles strictes et un tel comportement est d’autant plus important qu’un non-respect peut entrainer des défaillances et éventuellement des pertes humaines.

Description

Staromètre

Le projet consiste à implémenter un ou plusieurs algorithme(s) de calcul de centralité des nœuds d’un graphe, la centralité d’un nœud étant définie comme le nombre de plus courts chemins passant par ce nœud. L’algorithme sera testé sur des réseaux réels, comme ceux disponibles sur : http://snap.stanford.edu

Compilation d’un mini langage impératif en assembleur

L'objectif de ce projet est de réaliser un compilateur pour un langage de programmation impératif simple ne contenant que les instructions les plus basiques.
On considèrera que toutes les variables prennent la valeur d'entiers, et on aura au minimum les fonctionnalités suivantes:

Cryptoprocesseur résistant aux attaques

L’objectif de ce projet est le codage SystemVerilog d’une architecture de cryptoprocesseur "Present" protégée contre les attaques par canaux cachés.

Energy Consumption Analysis of Software for Smartphones

The service uptime of battery-powered devices, e.g., smartphones or tablets, is a sensitive issue for nearly any user. Optimizing the battery-lifetime of smartphones is therefore a hot topic in the research and the industry arenas. Minimizing energy consumption of electronic devices can be achieved by hardware optimization, and gains can also be attained at the software layer. On the other hand, energy can also be controlled during runtime, for example by clock gating active components, introducing sleeping states for I/O devices, or also via dynamic voltage frequency scaling (DVFS).

Energy Consumption Analysis of Software for Smartphones

The service uptime of battery-powered devices, e.g., smartphones or tablets, is a sensitive issue for nearly any user. Optimizing the battery-lifetime of smartphones is therefore a hot topic in the research and the industry arenas. Minimizing energy consumption of electronic devices can be achieved at any stage in the device's conception process. On the other hand, energy can also be controlled during runtime, for example by clock gating active components, introducing sleeping states for I/O devices, or also via dynamic voltage frequency scaling (DVFS).

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

Le générateur poïétique permet à un ensemble d'utilisateur de créer une oeuvre d'art de manière collective. Chaque utilisateur contrôle une portion d’un écran, mais perçoit tout l’écran. Aucune consigne n'est donnée aux utisateurs qui découvrent très vite qu'ils peuvent être collectivement créatifs.

Subscribe to RSS - Algorithmique