541 résultats : INRIA

Recherche en cours

Par établissement = INRIA

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

541 résultats

page 6 sur 55

résultats 51 à 60

La déferlante des données

Description : L’utilisation des appareils connectés engendre toujours plus de données à traiter et à stocker. Une journée dans le monde numérique, c’est une déferlante de données…

Mots clés : sciences du numérique, développement durable, data center, big data, data center engineering management, cloud, consommation énergétique, smart grid, fuscia

Date : 29-06-2015

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La déferlante des données

Ajouter à mon panier

Accéder au document

L’épidémie du smartphone : prolifération et dissémination des composants électroniques

Description : Notre société utilise toujours plus d’appareils électroniques. Mais de quoi sont -ils constitués ? Et quels sont les impacts de ces composants sur l’environnement ?

Mots clés : développement durable, sciences numériques, appareil électronique, composant électronique, recyclage, fuscia

Date : 22-05-2015

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

L’épidémie du smartphone : prolifération et dissémination des composants électroniques

Ajouter à mon panier

Accéder au document

Description : Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...

Mots clés : Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia

Date : 21-09-2012

Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Preuves de programmes en coq

Ajouter à mon panier

Accéder au document

Arkangel dans Black Mirror : la réalité diminuée

Description : Black Mirror est une série qui interroge les usages de la technologie dans la société. Souvent les situations sont poussées à l’extrême pour mettre en avant les travers de ce qui parfois apparait comme de bonnes solutions. Dans cet épisode, la société Arkangel propose un système numérique de contrôle ...

Mots clés : traitement image automatique, censure visuelle automatique, abstraction image, contenu explicite, filtrage, reconnaissance automatique, réalité virtuelle, réalité diminuée, censure sensorielle

Date : 16-04-2020

Droits : Ce document est diffusé sous licence Creative Commons : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Arkangel dans Black Mirror : la réalité diminuée

Ajouter à mon panier

Accéder au document

À propos de la validité des modèles

Description : Mettre la modélisation au service de la compréhension des systèmes biologiques, c’est ce que fait Guillaume Beslon, en tant que modélisateur. Écoutez cet épisode du podcast audio.

Mots clés : podcast, interdisciplinarité, modèle individu-centré, scalabilité, système biologique, fuscia

Date : 22-04-2010

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

À propos de la validité des modèles

Ajouter à mon panier

Accéder au document

Comment améliorer la qualité des images ?

Description : On s'interesse ici à des détails inaccessibles dans l'image, parce que le détecteur est trop loin de la scène que l'on cherche à imager, comme par exemple en imagerie satellitaire pour l'observation de la terre, ou que l'on cherche des objets petits, comme en microscopie pour la biologie. On essaye ...

Mots clés : traitement d'images (techniques numériques), analyse d'image, modélisation image

Date : 18-12-2013

Droits : Droits réservés à l'éditeur et aux auteurs.

Comment améliorer la qualité des images ?

Ajouter à mon panier

Accéder aux documents

Le corps : vues de l’intérieur

Description : L’imagerie médicale a révolutionné la pratique médicale, en permettant une véritable vision de l’intérieur du corps.

Mots clés : image, santé, IRM, données, fuscia

Date : 23-10-2013

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Le corps : vues de l’intérieur

Ajouter à mon panier

Accéder au document

Simulation de l’opération de la cataracte

Description : L’opération de la cataracte est aujourd’hui extrêmement courante. En vue d’améliorer l’apprentissage par les chirurgiens ophtalmologistes en formation des gestes nécessaires à cette intervention, les chercheurs mettent au point un outil de simulation. Une vidéo présente l’état d’avancement de leurs ...

Mots clés : réalité virtuelle, phacoémulsification, simulation chirurgicale mécanique, modèle masses-ressorts, fuscia

Date : 16-11-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Simulation de l’opération de la cataracte

Ajouter à mon panier

Accéder au document

Advisor : aide à la vidéo-surveillance

Description : Comment rendre les stations de métro plus sûres ? Peut-on distinguer automatiquement des comportements humains suspects ? Cette vidéo présente les solutions expérimentées dans le projet ADVISOR.

Mots clés : reconnaissance de comportements, interprétation de scène vidéo, transports en commun, vidéo surveillance intelligente, fuscia

Date : 02-06-2005

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Advisor : aide à la vidéo-surveillance

Ajouter à mon panier

Accéder au document

Demandez le programme

Description : La programmation consiste à décomposer un algorithme en ordres simples et à les écrire en un langage compréhensible par l’ordinateur.

Mots clés : bug, paradigme de programmation, niveau d'abstraction, erreur, preuve de programme, fuscia

Date : 28-11-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Demandez le programme

Ajouter à mon panier

Accéder au document

Rebondir