274 résultats : 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 1 sur 7
résultats 1 à 40
UNIT
Description : Comment fonctionne MapReduce, l’un des principaux logiciels utilisés pour faire des calculs sur des données massives ?
Mots clés : big data, données massives, calcul, MapReduce, fuscia
Date : 01-04-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
UNIT
Description : L’IA vous fait peur ? Vous en entendez parler à toutes les sauces ? Les humains seraient bons pour la casse ? Mais c’est quoi l’intelligence (artificielle) au fait ? Class’Code IAI est un Mooc citoyen accessible à toutes et à tous de 7 à 107 ans pour se questionner, expérimenter et comprendre ce ...
Mots clés : intelligence artificielle, programmation objetIA, programmation informatique, apprentissage machine, polymorphisme, jeux de données, développement durable
Date : 06-04-2020
Droits : Les ressources du cours sont diffusées sous Licence Creative Commons CC-BY - Attribution
UNIT
Description : L’Intelligence Artificielle (IA) s’est construite sur une opposition forte entre connaissances et données. Les neurosciences ont tout d’abord fourni des éléments confortant cette vision avec la description de deux formes de mémoire, traitant respectivement de connaissances et de données. Les neu ...
Mots clés : neurosciences, intelligence artificielle, modèle computationnel, mémoire
Date : 26-08-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
UNIT
Description : Comment comprime-t-on les formes sur un ordinateur ? En se limitant au cas des maillages de surfaces, ce document décrit une technique de compression.
Mots clés : modélisation 3D, maillage triangulaire, codage entropique, compression mono-résolution, représentation de formes complexes, fuscia
Date : 18-10-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
UNIT
Description : Ce cours traite de la géométrie algorithmique par la triangulation de Delaunay et les diagrammes de Voronoï. Ce cours est accompagné d'une démonstration des fonctionnalités de CGAL. "Le but de ce module est de présenter les grandes tendances de la géométrie algorithmique actuelle, et en particulier ...
Mots clés : algorithme géométrique, triangulation de Delaunay, diagramme de Voronoï, relation d'Euler, algorithme incrémental, probablilités, CGAL, Computational Geometry Algorithms Library, 2D, 3D, maillage, fuscia
Date : 16-07-2004
Droits : Les cours mis à disposition sur cette page Web sont distribués sous licence creative common Paternité ce qui signifie que vous avez l'autorisation de communiquer, reproduire, distribuer l'œuvre au public et de la modifier à condition de citer les auteurs et le titre du (ou des) document(s) utilisé(s) ...
UNIT
Description : La science informatique se retrouve dans de nombreux domaines et, pour certains, cela peut être surprenant ! Interstices se prend au jeu et démarre une collection de visuels mettant en scène la richesse et la diversité de cette science.
Mots clés : trafic routier, urbanisation, EDP, fuscia
Date : 29-09-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
UNIT
Description : Difficile de parler de la blockchain sans évoquer la plus célèbre des cryptomonnaies, le bitcoin. Cette monnaie virtuelle qui vaut aujourd'hui son pesant d'or, repose sur un système cryptographique dit infaillible : la blockchain. Faisons le point sur ce sujet avec la chercheuse Emmanuelle Anceaume ...
Mots clés : blockchain, monnaie numérique, bitcoin, technologie, chaine de confiance décentralisée, fuscia
Date : 09-04-2018
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
UNIT
Description : L’intégrité d’un système physique interagissant avec son milieu n’est garantie que si certaines contraintes de temps sont respectées. Connaître le pire temps d’exécution d’un programme permet d’offrir cette garantie.
Mots clés : contrainte, pire temps d'exécution, graphe de flot de contrôle, système temps réel, analyse statique, fuscia
Date : 03-05-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
UNISCIEL (unisciel)
Description : Permet de s'initier à la recherche dichotomique dans un cas concret.
Mots clés : proglet, dichotomie, recherche dichotomique, convertisseur analogique-numérique
Date : 2011
Droits : Pour les documents: Licence creative commons de type 2: paternité, pas d'utilisation commerciale ou pour le code source: licence CeCILLv2 (compatible GNU GPL) - pour plus d'information se reporter au site rubrique licence
UNIT
Description : Cet exposé est une introduction didactique à la recherche sur l’analyse des images médicales, la simulation chirurgicale et la robotique médicale.
Mots clés : simulation chirurgicale, robotique médicale, fusion d'images, chirurgie assistée par ordinateur, fuscia
Date : 18-03-2004
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
UNIT
Description : Les neuroprothèses créent une interface avec le système nerveux afin de restaurer des fonctions motrices et sensitives déficientes.
Mots clés : électrothérapie, électrophysiologie, système nerveux, neuroprothèse, fuscia
Date : 07-01-2011
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
UNIT
Description : Augmenter l’humain, le rendre plus fort, plus rapide... Très tôt, la science-fiction a imaginé l’homme bionique et les cyborgs. C'est le cas par exemple dans la série télévisée L'homme qui valait trois milliards. Où en est-on réellement aujourd'hui ?
Mots clés : neuroprothèse, capteur, éthique, fuscia
Date : 18-08-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
UNIT
Description : Dans cette vidéo, on vous montre comment la recherche améliore la stimulation électrique fonctionnelle, une technique permettant parfois de restaurer le mouvement de membres paralysés.
Mots clés : stimulation musculaire, principe sensori-moteur, modélisation musculaire, fuscia
Date : 19-09-2007
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
UNIT
Description : Améliorer le quotidien de certains handicapés moteurs en restaurant le mouvement de leurs membres paralysés, tel est l’objectif de la stimulation électrique fonctionnelle. Explications de Christine Azevedo.
Mots clés : podcast, stimulation électrique fonctionnelle, handicap moteur, mouvement, modélisation, fuscia
Date : 17-04-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
UNIT
Description : Au cœur de la convergence technologique entre l’internet et les communications mobiles sans fil se développent des réseaux mobiles d’un nouveau genre : les réseaux ad hoc.
Mots clés : algorithme de routage, réseau sans fil, réseau ambiant, Internet, algorithme d'état des liens, règle du multipoint, algorithme d'autoproclamation, fuscia
Date : 14-03-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
UNIT
Description : Les spécialistes des réseaux de communication s’efforcent de bien comprendre les propriétés statistiques du trafic de données qu’ils doivent acheminer. La gestion de ces réseaux et leur développement en dépendent.
Mots clés : Internet, ingénierie de trafic, loi statistique, TCP/IP, contrôle d'admission, processus aléatoires à mémoire longue, fuscia
Date : 03-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
UNIT
Description : Ubi-Bus est une application conçue pour faciliter l’utilisation des réseaux de bus urbains par les usagers mal-voyants. Cette solution fait appel à l’ubiquité numérique et plus précisément aux systèmes d’information spatiaux.
Mots clés : système d'information spatial, ubiquité numérique, fuscia
Date : 06-05-2004
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
UNIT
Description : Dans un périmètre physique défini autour d’un panneau d'affichage, Ubi-Board permet à tout utilisateur équipé d’un outil de communication d’accéder à un contenu personnalisé. Cette vidéo en explique le principe.
Mots clés : affichage contextuel, liaison radio courte portée, sensibilité au contexte, fuscia
Date : 20-02-2007
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
UNIT
Description : Essayons de montrer concrètement comment marche une machine abstraite ! Nous vous proposons de tester sur une applet le fonctionnement d’une machine de Turing.
Mots clés : algorithme, codage binaire, programme informatique, opération numérique, machine de Turing, fuscia
Date : 08-01-2009
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
UNIT
Description : La France vient de se doter du supercalculateur baptisé Jean Zay, l'un des plus puissants d'Europe, offrant des capacités de calculs inimaginables jusqu'à présent pour la recherche française. Mais saviez-vous que des pannes peuvent se produire chaque jour dans ces machines surpuissantes ? Anne Benoit ...
Mots clés : supercalculateur, calcul haute performance, tolérance aux pannes, modélisation, optimisation, fréquence optimale de sauvegarde
Date : 10-02-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
UNIT
Description : Créer un réseau de panneaux communicants pour aider les automobilistes à appréhender les situations dangereuses, voilà l’objectif du projet CAPTIV.
Mots clés : CAPTIV, sécurité routière, antenne planaire, réseaux de capteurs, protocole ZigBee, fuscia
Date : 30-10-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
UNIT
Description : Intégrer des éléments virtuels dans des images réelles, en temps réel et en trois dimensions : comment fait-on ? À quoi cela sert-il ?
Mots clés : réalité augmentée, modèle 3D, traitement image, classification image, fuscia
Date : 04-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
UNIT
Description : La théorie des jeux : un vaste domaine de recherche à la frontière de l’économie et des mathématiques, qui n’a rien à voir avec les jeux vidéos. De quels jeux s’agit-il ici ?
Mots clés : mathématiques appliquées, théorie des jeux, calcul des variations, programmation dynamique, recherche opérationnelle, fuscia
Date : 30-05-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
UNIT
Description : Qu’est-ce que les mathématiques ont à nous dire sur le comportement des espèces vivantes ? Pierre Bernhard nous en parle dans cet épisode du podcast audio.
Mots clés : podcast, mathématiques appliquées, comportement optimal, interdisciplinarité, programmation dynamique, fuscia
Date : 19-03-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
UNIT
Description : Née au milieu du vingtième siècle avec les premiers calculateurs électroniques, l’informatique n’a cessé de se développer, touchant tous les secteurs d’activité.
Mots clés : histoire de l'informatique, ordinateur, théorie de la calculabilité, théorie de la complexité, loi de Moore, sciences du numérique, fuscia
Date : 31-01-2011
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
UNIT
Description : Les systèmes embarqués envahissent tous les pans de l’industrie, depuis l’avionique jusqu’aux objets de la vie courante. Doit-on redouter cette évolution technologique ? Regardez cette conférence de Gérard Berry...
Mots clés : informatisation, bug application, preuve formelle, circuit, fuscia
Date : 08-06-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
UNIT
Description : La modélisation des cellules permettra-t-elle de trouver des solutions aux problèmes que nos ordinateurs ne savent pas résoudre ? Pour le chercheur Hugues Berry, c’est une piste à explorer...
Mots clés : podcast, bio-inspiration, puissance de calcul, technologie multicoeurs, modélisation multi-échelles, loi de Moore, fuscia
Date : 26-09-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
UNIT
Description : Synthétiser le mouvement d’une chevelure suscite un intérêt croissant chez les développeurs de jeux vidéos ou de films d’animation mais aussi les industriels en cosmétique.
Mots clés : mathématiques appliquées, modèle mécanique, Super-Hélice, équations de Kirchhoff, fuscia
Date : 24-01-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
UNIT
Description : Toujours plus d’appareils connectés, toujours plus de données collectées… les logiciels n’échappent pas non plus aux besoins en énergie toujours croissants.
Mots clés : sciences du numérique, développement durable, obésiciel, éco-conception logiciel, consommation énergétique, 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
UNIT
Description : Pour expliciter le positionnement complexe des sciences et techniques de l’information et de la communication dans la problématique du développement durable, plusieurs axes de réflexion.
Mots clés : développement durable, sciences du numérique, 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
UNIT
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
UNIT
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
UNIT
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
UNIT
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
UNIT
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
UNIT
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
UNIT
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
UNIT
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
UNIT
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
UNIT
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