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

La statistique "classique" se focalise habituellement sur le comportement moyen des phénomènes aléatoires, ses résultats les plus connus étant par exemple la loi des grands nombres ou le théorème de la limite centrale. La statistique des valeurs extrêmes, au contraire, étudie le comportement exceptionnel d'une grandeur physique. Les domaines d'application privilégiés sont les sciences environnementales (phénomènes ...
Les unités de traitement parallèles sont maintenant partout. Depuis les tablettes connectées jusqu'aux supercalculateurs des grands laboratoires nationaux, l'utilisation de leurs nouvelles fonctionnalités nécessite une compréhension du fonctionnement des algorithmes distribués et des caractéristiques intrinsèques de leurs architectures. Dans cet exposé, nous ferons un tour d'horizon rapide des principes des diverses architectures actuelles, de l'algorithmique parallèle ...
De nombreuses situations concrètes de la vie quotidienne font intervenir des points de vue différents. Du point de vue informatique et mathématique, ceci correspond à optimiser simultanément plusieurs "objectifs" qui sont souvent contradictoires. L'objectif de cette intervention est de présenter la méthodologie d'analyse multi-objectifs à partir d'un problème d'allocation d'applications sur des plates-formes de calcul à ...
La première course de nano-voitures se déroulera à Toulouse en octobre 2016, et permettra d’évaluer les progrès récents en conception de nano-mécanismes. Pour les nano-voitures ou d’autres nanosystèmes complexes (les vecteurs de médicaments, les dispositifs électroniques, les nano-capteurs, etc.), la modélisation et la simulation peuvent souvent apporter une aide significative lors des phases de conception ...
Présentation des principes généraux de l'optimisation multi-critères et de l'ordonnancement pour les systèmes temps-réel embarqués. En particulier les notions d'optimum de Pareto et les techniques d'ordonnancement de liste. Ensuite sera présenté en détail un cas particulier d'ordonnancement multi-critères (temps d'exécution, consommation énergétique, fiabilité).  
Les langages permettent la communication. La sémantique définit la manière d'interpréter les énoncés des langages pour leur attribuer un sens. Cette description très générale s'applique et est appliquée tant aux langues naturelles que nous parlons tous les jours qu'aux langages artificiels utilisés pour programmer les ordinateurs. Dans cette présentation on mettra en évidence ce qui ...
An important problem in quantum computing is the so-called approximate synthesis problem: to find a quantum circuit, preferably as short as possible, that approximates a given unitary operator up to given epsilon. Moreover, the solution should be computed by an efficient algorithm. For nearly two decades, the standard solution to ...
Dans ce premier chapitre, nous allons voir comment nous sommes passés d'un Web documentaire à un Web de données. On va donc commencer par une brève histoire du Web pour voir d'où nous venons.
Intéressons-nous aux principes architecturaux du Web notamment dans l'optique de voir comment on va les adpater pour aller vers un Web de données liées.
Nous venons de voir les principes architecturaux du Web que l'on va adapter par la suite pour échanger des données liées. Mais ce qui est très important aussi dans ces principes, c'est leur standardisation, parce que de la standardisation dépend l'intéropérabilité sur le Web.
 
FMSH
 
Facebook Twitter Google+
Mon Compte