274 résultats : INRIA

Recherche en cours

Par auteur = INRIA

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

274 résultats

page 4 sur 28

résultats 31 à 40

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

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

Pourquoi mon ordinateur calcule-t-il faux ?

Description : Réaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais doit-on aveuglément faire confiance aux résultats obtenus par nos machines ? Sylvie Boldo nous apporte quelques éléments de réponse.

Mots clés : podcast, virgule flottante, double précision, calcul numérique, erreur, norme IEEE 754, fuscia

Date : 26-03-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

Pourquoi mon ordinateur calcule-t-il faux ?

Ajouter à mon panier

Accéder au document

Un algorithme de découpe de gâteau

Description : Dans Astérix et Cléopâtre, Obélix doit couper un gâteau en trois parts pour Astérix, Panoramix et lui. Équipé seulement d’un couteau, il coupe des parts très inégales... Mais comment couper en trois parts égales ?

Mots clés : algorithme, écriture binaire, calcul, fuscia

Date : 27-05-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

Un algorithme de découpe de gâteau

Ajouter à mon panier

Accéder au document

Rebondir