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
Les supercalculateurs actuels sont de plus en
plus complexes que ce soit au niveau de l'architecture des processeurs, du
réseau ou de la hiérarchie mémoire. Leur programmation est un enjeu majeur pour
exploiter efficacement les ressources disponibles qui atteignent aujourd'hui
des millions de cœurs de calcul. Dans le cadre de cet exposé nous vous ...
Dans cet exposé, nous montrerons les principes
qui sous-tendent l’optimisation de systèmes incertains, comme la notion de
stratégie optimale, le principe d’optimalité de Bellman et la programmation
dynamique. Ces notions seront illustrées par plusieurs problèmes célèbres,
comme la roue de la fortune et le problème du stagiaire. Dans le cas de
l’optimisation multi-agents, nous introduirons ...
Ces
dernières années, les priorités stratégiques des systèmes de transport se sont
concentrées sur la recherche, le développement et l'adoption de technologies
liées à l'automatisation au fur et à mesure leur apparition.
Au
cours de cet exposé, nous présenterons tout d'abord les différentes techniques
de contrôle du trafic, en parallèle au développement technologique. Nous
montrerons également les ...
Cet
exposé présentera le cycle de vie du numérique et les impacts environnementaux
associés à l’extraction des ressources, la conception, l'usage et la fin de
vie.
Différentes
approches venant du monde de la recherche, qui tentent de réduire ces impacts
dans le domaine du matériel, du logiciel et des usages du numérique seront également
présentées.
Le développement des navigateurs web et
l'avalanche de traces numériques à laquelle nous assistons depuis les années
2000 ont ouvert de nouveaux modes d'expérimentation en sciences cognitives. Pour
la compréhension du langage en particulier, il est de plus en plus facile de
mettre en place des plates-formes où de nombreuses personnes interagissent en
même temps ...
Pour répondre à la demande croissante de
puissance de calculs, les circuits numériques sont de plus en plus complexes et
impliquent une diversité des techniques pour leur conception et leur fabrication.
Cette course à la croissance fait face à des défis technologiques tels que le
mur de la miniaturisation des transistors ou l’efficacité énergétique,
entrainant ...
The networks used in biological applications at different scales (molecular, cellular and populational) are of different types, genetic, neuronal, and social, but they share the same dynamical concepts, the notion of intercation graph G(J) associated to their Jacobian matrix J, and also the concepts of frustrated nodes, positive or negative ...
Les techniques d’imagerie classiques
utilisent des ondes pour sonder un milieu inconnu et sont employées pour
des applications médicales (échographie) ou géophysiques (séismologie)
par exemple.
Ces ondes sont émises par des réseaux de
sources et après propagation dans le milieu elles sont enregistrées
par des réseaux de récepteurs.
Ces techniques ...
We introduce and study the computational
power of Oritatami, a theoretical model to explore greedy molecular
folding, by which the molecule begins to fold before waiting the end of
its production. This model is inspired by our recent experimental work
demonstrating the construction of shapes at the nanoscale by folding an ...
Cet exposé retrace brièvement l'historique de
l'algorithmique répartie à travers l'un de ses problèmes les plus fondamentaux:
la validation atomique.
