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
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 ...
We will discuss a couple of results and
questions regarding the structure of large graphs. These include vertex
transitive graphs, expanders and random graphs.
The theme of this talk is the sampling of
cluster and iterated cluster point processes. It is partially a review,
mainly of the Brix–Kendall exact sampling method for cluster point
processes and its adaptation by Moller and Rasmussen to Hawkes branching
point processes on the real line with light-tail fertility ...
A Poisson outdegree-one graph is a
directed graph based on a marked Poisson point process such that each
vertex has only one outgoing edge. We state the absence of percolation
for such graphs satisfying two assumptions. The Shield assumption
roughly says that the graph is locally determined with possible random ...
