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 ...
