Canal-U

Mon compte

Inria

Inria est un organisme public de recherche, dédié aux sciences et technologies du numérique.

Pour vous abonner au flux RSS de Inria, cliquez sur l’icône de votre lecteur favori :

Liste des programmes

En informatique, un calcul est décrit par un programme, lui-même exprimé dans un langage de programmation. Dans cet exposé, nous nous intéresserons à la synthèse de programmes, c'est à dire la construction automatique d'un programme à partir d'une spécification équationnelle.A travers l'exemple de la recherche du parenthésage optimal d'un produit ...
La croissance microbienne peut être formulée comme un problème d'optimisation : comment allouer les ressources nutritives extraites de l'environnement aux différentes fonctions cellulaires afin de maximiser le succès de réproduction des microorganismes ? Nous expliquerons que l'analyse de modèles mathématiques de la croissance microbienne permet de mieux comprendre les stratégies d'allocation de ressources qui ont ...
Le calcul de l'enveloppe convexe d'un nuage de points est un des problèmes fondamentaux en informatique, avec des applications multiples : traitement d'images, reconstruction 3D, détection de collisions, planification de trajectoires, ... Nous présentons deux algorithmes pour résoudre ce problème, connus sous le nom de "gift wrapping" et de "Graham scan", et nous discutons leur ...
La synthèse d’images (parfois appelée « la 3D ») permet de créer dans l’ordinateur des mondes fictifs, ultra-réalistes ou de style cartoon selon l’envie des graphistes, des réalisateurs, des artistes. Mais comment fait-on pour créer un monde ? Avec des mathématiques ! Créer un monde virtuel nécessite déjà de représenter ...
Les processeurs actuels permettent de l'ordre de quelques tera-opérations par seconde. Puissance nécessaire pour soutenir les besoins en simulation numérique, qui constitue, après la théorie et l'expérimentation, le 3ème pilier de la science. Nous nous intéresserons aux problèmes du mouvement des données d'une mémoire centrale importante mais lente vers les unités arithmétiques et logiques en ...
Pourquoi y a-t-il tant de personnes sans emploi alors qu’au même moment un grand nombre de postes sont disponibles ? La théorie de l’appariement analyse ces problèmes où un certain nombre de personnes doivent être attribuées à un certain nombre de postes. La présentation introduira le modèle de base associé au problème et développera des applications actuelles ...
With society’s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification ...
Computer vision has made impressive gains through the use of deep learning models, trained with large-scale labeled data. However, labels require expertise and curation and are expensive to collect. Can one discover useful visual representations without the use of explicitly curated labels? In this talk, I will present several case ...
Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required ...
Bordenave and Caputo (2014) defined a notion of entropy for probability distributions on rooted graphs with finite expected degree at the root. When such a probability distribution \rho has finite BC entropy \Sigma(\rho), the growth in the number of vertices n of the number of graphs on n vertices whose ...
 
FMSH
 
Facebook Twitter
Mon Compte