37 résultats : RÉGION PACA

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
37 résultats
page 1 sur 4
résultats 1 à 10
Canal-U
Théorie du Contrôle, 50 ans après
Description : La conférence commence par l'introduction de Pierre Bernhard, ancien directeur du centre de recherche Inria à Sophia Antipolis qui présente la carrière d'Alain Bensoussan et met en avant le foisonnement de ses travaux de recherche. En préambule, Alain Besoussant fait la génèse de la création du ...
Mots clés : histoire des sciences, Inria sophia Antipolis, théorie du contrôle
Date : 28-11-2013
Format : video/mp4
Auteur : BENSOUSSAN Alain
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)
Description : Le but de la conférence est d'exposer des problèmes simples de conception de réseaux qui m'ont intrigués pendant de nombreuses années et continuent de m'intriguer. Les réseaux de télécommunications mais aussi les réseaux routiers ou sociaux se modélisent bien avec des graphes. Les sommets représentent ...
Mots clés : réseau social, graphe, hypergraphe, modélisation réseaux, problème delta-d, réseau routier, théorie des graphes
Date : 12-05-2011
Format : video/mp4
Auteur : BERMOND Jean-Claude
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Pour quoi tu cherches ? : pourquoi et comment notre monde est devenu numérique
Description : Un court métrage «docu-fiction» pour découvrir ces grands personnages de l’Informatique et des Sciences du Numérique et partager quelques unes de leurs grandes idées... « Notre monde a changé... Notre monde est devenu numérique, bouleversé par l’arrivée de l’informatique. Il faut comprendre ce monde ...
Mots clés : recherche scientifique, histoire de l'informatique, Ada Lovelace, Al Khwarismi, Alan Turing, Claude Shannon, Grace Hopper, Rose dieng, sciences du numérique
Date : 02-12-2010
Format : video/mp4
Auteur : BERRY Gérard, SOYEZ Julia, TONNELIER Marie, LAMOUCHE Benoit, CAILLIERE Mathieu, AIGOUY Philippe, VIEVILLE Thierry
Thème : Informatique
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
Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3
Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à ...
Mots clés : synchronisation, systèmes temps-réels
Date : 15-01-2014
Format : video/mp4
Auteur : BERRY Gérard
Thème : Informatique, Ingénierie et activités connexes
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3
Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés à ...
Mots clés : synchronisation, systèmes temps-réels
Date : 22-01-2014
Format : video/mp4
Auteur : BERRY Gérard
Thème : Informatique, Ingénierie et activités connexes
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle
Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés ...
Mots clés : synchronisation, systèmes temps-réels
Date : 29-01-2014
Format : video/mp4
Auteur : BERRY Gérard
Thème : Informatique, Ingénierie et activités connexes
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Risque, science, et pluralisme
Description : En partant des probabilités philosophiques de Cournot, et en étudiant l'accueil dans le monde scientifique de la notion de hasard chez Jacques Monod, ainsi que quelques cas de l'histoire de l'astronomie, nous nous sensibiliserons à la nature des risques que prend la construction de connaissa ...
Mots clés : philosophie des sciences, hasard, epistémologie, probabilités
Date : 31-05-2012
Format : video/mp4
Auteur : BOULEAU Nicolas
Thème : Généralités - Sciences fondamentales, Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
Description : Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses variantes physique, ou effective) stipule que tous ...
Mots clés : calculabilité, complexité, informatique théorique, modèle de calcul analogique, machine de turing
Date : 15-03-2012
Format : video/mp4
Auteur : BOURNEZ Olivier
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Sécurité sur Internet ? La logique à la rescousse...
Description : De nombreux dispositifs électroniques visent à améliorer la sécurité des échanges sur des réseaux ouverts comme Internet. Ces dispositifs, tels que les protocoles cryptographiques, reposent souvent sur le chiffrement des données et plus généralement sur des fonctions cryptographiques. Chiffrer ...
Mots clés : authentification, chiffrement, verification, vote éléctronique, protocole de sécurité, protocole crytographique
Date : 07-06-2012
Format : video/mp4
Auteur : CORTIER Véronique
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Optimisation et apprentissage
Description : L'apprentissage est un domaine émergent à l'interface de l'informatique et des statistiques, porté par la croissance exponentielle du flot de données générées par des applications aussi variées que la biologie, le commerce en ligne, l'imagerie, la vidéo, le traitement du langage, etc. Ce domaine ...
Mots clés : mathématiques appliquées, apprentissage automatique
Date : 17-04-2014
Format : video/mp4
Auteur : d'Aspremont Alexandre
Thème : Mathématiques, Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.