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 podcast 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 ...
Mathematical Explorations of Brain’s Activity The last century has been a fascinating period during which important experimental work have brought to light a vast body of findings characterizing brain’s activity in response of stimuli and their neuronal and molecular bases. These studies have revealed how millions of neurons interact together in ...
Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and automated techniques for software verification, allowing to ensure a high degree of reliability and of confidence in their behaviors. In this talk, we ...
Over the past decade, numerous knowledge bases (KBs) have been built to power a new generation of Web applications that provide entity-centric search and recommendation services. These KBs offer comprehensive, machine-readable descriptions of a large variety of real-world entities (e.g., persons, places, products, events) published on the Web as Linked ...
 
FMSH
 
Facebook Twitter Google+
Mon Compte