87 résultats : INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
87 résultats
page 7 sur 9
résultats 61 à 70
Canal-U
Introduction à la calculabilité
Description : Qu'est-ce que le calcul en Informatique ? Dans la première partie on s'intéresse à l'aspect épistémologique : comment s'est-on interessé au problème de la calculabilité en informatique  ? on abordera ensuite les bases de la calculabilité : qu'est-ce qu'un système de programmation ? quelles sont ...
Mots clés : calculabilité, calcul informatique, Georg Cantor (1845-1918)
Date : 05-06-2013
Format : video/mp4
Auteur : PAPAZIAN Christophe
Thème : Mathématiques, Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Numerical Optimal Transport and Applications
Description : Optimal transport (OT) has become a fundamental mathematical theoretical tool at the interface between calculus of variations, partial differential equations and probability. It took however much more time for this notion to become mainstream in numerical applications. This situation is in large ...
Mots clés : transport optimal
Date : 19-01-2017
Format : video/mp4
Auteur : PEYRE Gabriel
Thème : Mathématiques, Physique, Mécanique, Optique, Electromagnetisme, Métrologie
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Je peux voir les mots que tu dis ! Prix FFUP du meilleur documentaire
Description : Comment peut-on améliorer l’apprentissage et la maîtrise de la langue française pour des enfants sourds ? Peut-on coupler certains fondements théoriques de l'éducation avec des travaux de recherche en sciences du numérique ? "Je peux voir les mots que tu dis !" nous permet de suivre la création ...
Mots clés : handicap, enfants sourds
Date : 01-01-2011
Format : video/mp4
Auteur : PIQUARD-KIPFFER Agnès, LELARGE Denis
Thème : Éducation
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Éléments d'algorithmique : mariages stables
Description : Comment aborder les problèmes d'algorithmique dans le cadre du programme ISN au Lycée ? François Pottier , qui est chercheur Inria et enseignant à l'école Polytechnique en « Algorithmique et programmation» s'appuie sur des éléments du programme de CPGE pour répondre à cette question : • analyser ...
Mots clés : algorithmique, problème des mariages stables
Date : 05-06-2013
Format : video/mp4
Auteur : POTTIER François
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : master, formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
L'Internet virtuel
Description : Qu'est-ce que la virtualisation d'internet ? Guy Pujolle explique comment Internet va évoluer très probablement dans le futur en partie avec les équipements du réseau qui seront virtualisés, depuis les routeurs jusqu’au firewall en passant par les diverses box intermédiaires. Guy Pujolle a reçu ...
Mots clés : Internet, sécurité des données, machine virtuelle, virtualisation, data center, reseau virtuel, cloud
Date : 18-12-2013
Format : video/mp4
Auteur : PUJOLLE Guy
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : licence
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Notes de cours de commande optimale stochastique
Description : Ces notes correspondent au cours oral d'introduction à la commande stochastique donné dans le cadre du DEA MMME de PARIS 1 DE 1999 À 2007 (11 séances de 2h). Le cours est composé de deux parties. La première partie est consacrée à la commande optimale des chaînes de Markov à états finis en ...
Mots clés : commande optimale, chaîne Markov, équation Kolmogorov, commande linéaire quadratique gaussienne, équation différentielle stochastique, équation dérivée partielle, programmation dynamique, algèbre maxplus, système linéaire, graphe d'événement, chaîne Bellman, fuscia
Date : 29-05-2007
Format : Document PDF
Auteur : Quadrat Jean-Pierre
Éditeur : Girardeau Pierre
Thème : Ingénierie et activités connexes, Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, master, bac+5, doctorat
Public : apprenant, enseignant
Droits : Ce notes de cours sont diffusées sous licence creative common "Paternité - Pas d'Utilisation Commerciale - Pas de modification" ce qui signifie que vous pouvez diffuser et utiliser cette œuvre à condition de citer l'auteur et que le titre. Vous avez interdiction de désassembler le document, de le ...
Canal-U
Mathematical models for the cardiovascular system
Description : Mathematical models for the cardiovascular system: analysis, numerical simulation, applications The role of mathematics in understanding and simulating fluid dynamics and biochemical processes in the physiological and pathological functioning of the human cardiovascular system is becoming more ...
Mots clés : modéle mathématique, simulation numérique, imagerie médicale, dynamique des fluides, système cardiovasculaire, grille informatique
Date : 09-06-2011
Format : video/mp4
Auteur : QUARTERONI Alfio
Thème : Mathématiques, Physique, Mécanique, Optique, Electromagnetisme, Métrologie, Médecine et santé
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Algorithmes et génomes : analyse informatique de l'information génétique : 1ere partie
Description : La séquence de caractères est un des objets que les informaticiens connaissent bien et pour lequel ils ont développé de très nombreux algorithmes. C’est donc très naturellement que l’informatique et les sciences du vivant se sont rencontrées autour de la problématique de l’analyse des séquences ...
Mots clés : algorithme, bioinformatique, analyse de génome, séquence génomique
Date : 23-11-2011
Format : video/mp4
Auteur : RECHENMANN Francois
Thème : Systèmes, Sciences de la vie, Biologie, Biochimie, Ecologie, Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Algorithmes et génomes : analyse informatique de l'information génétique : 2ème partie
Description : La séquence de caractères est un des objets que les informaticiens connaissent bien et pour lequel ils ont développé de très nombreux algorithmes. C’est donc très naturellement que l’informatique et les sciences du vivant se sont rencontrées autour de la problématique de l’analyse des séquences ...
Mots clés : algorithme, bioinformatique, analyse de génome, séquence génomique
Date : 23-11-2011
Format : video/mp4
Auteur : RECHENMANN Francois
Thème : Systèmes, Sciences de la vie, Biologie, Biochimie, Ecologie, Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Quel avenir pour le Web ? Faire face aux enjeux politiques et technologiques avec le Web de données Gouvernementalité algorithmique
Description : La chercheuse Antoinette Rouvroy s'interroge sur la place que prennent les algorithmes dans notre société et s'inquiète d'une forme de «gouvernementalité algorithmique»  Dernière journée du cycle propose d’élargir la réflexion à l’avenir du Web et des modèles de développement qui l’accompagnent. ...
Mots clés : Internet, surveillance, évolution technologique, droit et morale, sciences et technologies, web de données, Web 3.0
Date : 13-11-2014
Format : video/mp4
Auteur : ROUVROY Antoinette
Thème : Informatique, Bibliothéconomie, Sciences de l'information
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.