2017-08-19

Mathematical Aspects of Computer Science (CIRM)

# You can also click the upper-left icon to select videos from the playlist.

source: Centre International de Rencontres Mathématiques     2015年8月7日
Mathematical Aspects of Computer Science

Luc Bougé : Levez-vous vite, ô nuages désirés ! Cloud computing, an introduction 1:38:19 Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities.
Tous les fournisseurs d'applications mettent actuellement en place des infrastructures "cloud". Cette nouvelle approche de l'utilisation des logiciels va complètement changer notre comportement en tant qu'utilisateurs, mais aussi en tant qu'enseignants et en tant que chercheurs.
L'objectif de cet exposé est de dégager les grands concepts scientifique de cette évolution technologique et commerciale.
• Pourquoi le cloud aujourd'hui?!
• Qu'est-ce qui a permis son émergence si rapide maintenant?
•Quels sont les nouveaux défis de recherche qui sont posés?
• Pourquoi le cloud aujourd'hui?
• Qu'est-ce que çà change pour l'enseignement?
• Qu'est-ce qui a permis son émergence si rapide maintenant?
•Qu'est-ce que ça change pour l'enseignement?
• Quels sont les nouveaux défis de recherche qui sont osés?
Recording during the thematic meeting: "Algorithm and programming", the April 23, 2014 at the Centre International de rencontres Mathématiques (Marseille, France)
Hugo Gimbert: Two-player perfect-information shift-invariant submixing stochastic games are [...] 35:29
Simon Lacoste-Julien: Apprentissage statistique et big data : notions de base pour l'analyse [...] 1:41:53
Thomas Genet: Towards static analysis of functional programs using term rewriting and tree automata 41:59
Volker Diekert: Recognizable languages are Church-Rosser congruential 42:59
Bruno Courcelle: Recognizable sets of graphs: algebraic and logical aspects 38:38
Mikolaj Bojanczyk: MSO+U 45:25
Richard Lassaigne: Introduction à la théorie de la complexité 1:09:56
Viorica Patraucean: Mirror-symmetry in images and 3D shapes 30:57
Benjamin N'Guyen : Bases de données 1:39:43
Denis Monasse : Sur la création de livres numériques 1:27:37
Gilles Dowek : Une deuxième révolution galiléenne? 1:31:44
Gilles Dowek : Des nombres aux arbres : comment varier ses exemples d'algorithmes ? 1:30:51
Dominique Barbolosi : Exemples de modélisation mathématiques en médecine - Partie 1 1:09:10
Dominique Barbolosi : Exemples de modélisation mathématiques en médecine - Partie 2 1:29:33
Jean Sequeira : La transformée de Hough ... 55 ans plus tard! 1:24:08
Frédéric Vivien: Ordonnancement - 1ère partie : ordonnancement sur une machine 1:04:47
Frédéric Vivien : Ordonnancement - 2ème partie : ordonnancement sur machines parallèles 1:17:20
Clément Maria: The compressed annotation matrix: an efficient data structure for persistent [...] 34:59
Eva Darulova : Programming with numerical uncertainties 46:55
Sylvie Boldo : Formal verification of numerical analysis programs 57:57
Fabian Immler : Verified numerics for ODEs in Isabelle/HOL 1:01:18
Laurent Théry : Proof and computation in Coq 57:00
Norbert Müller : Wrapping in exact real arithmetic 59:52
Sylvie Boldo : Formal verification of numerical analysis programs 57:57
Eva Darulova : Programming with numerical uncertainties 46:55
Sylvia Serfaty : Mean field limits for Ginzburg-Landau vortices 1:05:30
Interview at Cirm : Sylvia Serfaty 24:13
Eugenia Malinnikova : Uncertainty principles for discrete Schrödinger evolutions 45:18
François Boisson : Buffer Overflow ou explication de «une faille de type bufferoverflow ... 1:57:49
Olivier Bournez : Calculer avec des équations différentielles. Calculabilité, complexité. 1:35:02
Luc Bougé : Big Data : Tremendous challenges, great solutions 1:27:40
Frédéric Vivien : Algorithmes d’approximation - Partie 2 1:06:37
Frédéric Vivien : Algorithmes d’approximation - Partie 1 1:31:22
Bojan Mohar: Embedding extension problems 1:01:12
Dimitrios Thilikos: Bidimensionality and subexponential parameterized algorithms 1:19:11
Uli Wagner: Algorithmic aspects of embeddability : higher-dimensional analogues of graph planarity 1:40:07
Louis Esperet: Coloring graphs on surfaces 1:20:39
Samuel Petite: Automorphism groups of low complexity subshift - Lecture 2 1:06:43
Laurent Bartholdi: Amenable groups - Lecture 2 1:01:10
Nathalie Aubrun: About the Domino problem on finitely generated groups - Lecture 1 59:44
Émilie Charlier: Logic, decidability and numeration systems - Lecture 1 1:07:31
Jason P. Bell: Applications of algebra to automatic sequences and pattern avoidance - Lecture 1 55:13
Peter Bürgisser: Condition: the geometry of numerical algorithms - Lecture 2 1:32:31
Peter Bürgisser: Condition: the geometry of numerical algorithms - Lecture 1 1:32:37
Guillaume Fertin : Le problème Graph Motif - Partie 1 1:08:54
Guillaume Fertin : Le problème Graph Motif - Partie 2 1:12:50
Gérard Berry : L'informatique, de la révolution technique à la révolution mentale 1:29:26
Gilles Dowek : La difficile explication des résultats des calculs : des preuves automatiques à ... 1:13:29
Sylvie Boldo : Arithmétique à virgule flottante : plaie ou terrain de jeu? 2:30:40
Gérard Berry : L’importance des langages en informatique 1:57:32
Gilles Dowek : Informatique et physique : quelques interactions 1:48:42
Jean-Michel Morel: Detection theory and novelty filters 46:55

No comments: