La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
De Gilles Dowek
Apparaît également dans la collection : Algorithm and programming / Algorithmique et programmation
Mathématiques
et Interactions
Informations sur la vidéo
- Date de captation 02/05/2017
- Date de publication 11/05/2017
- Institut CIRM
- Licence CC BY NC ND
- Langue Français
- Audience Chercheurs
- Réalisateur(s) Guillaume Hennenfent
- Format MP4
Données de citation
- DOI 10.24350/CIRM.V.19163803
- Citer cette vidéo Dowek, Gilles (02/05/2017). La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19163803
- URL https://dx.doi.org/10.24350/CIRM.V.19163803
Domaine(s)
Codes MSC
Document(s)
Dernières questions liées sur MathOverflow
Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflowPoser une question sur MathOverflow
-
Toutes les vidéos de la collection
![Random subgroups, totally non free actions and factor representations]()
46:24publiée le 15 juillet 2015Random subgroups, totally non free actions and factor representations
De Rostislav Grigorchuk
![Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 1]()
01:21:48publiée le 2 août 2015Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 1
De Céline Grandmont
![$H^{3}$ non ramifié et cycles de codimension 2]()
55:34publiée le 30 septembre 2015$H^{3}$ non ramifié et cycles de codimension 2
De Jean-Louis Colliot-Thélène
![Maximum size of a set of integers with no two adding up to a square]()
36:25publiée le 6 octobre 2015Maximum size of a set of integers with no two adding up to a square
De Endre Szemerédi
![Galois codes for arithmetic and geometry via the power of valuation theory]()
01:01:09publiée le 17 novembre 2015Galois codes for arithmetic and geometry via the power of valuation theory
De Jochen Koenigsmann
![Stability and applications to birational and hyperkaehler geometry - Lecture 1]()
44:48publiée le 5 janvier 2016Stability and applications to birational and hyperkaehler geometry - Lecture 1
De Arend Bayer
![Non-backtracking spectrum of random graphs: community detection and non-regular Ramanujan graphs]()
57:41publiée le 29 janvier 2016Non-backtracking spectrum of random graphs: community detection and non-regular Ramanujan graphs
De Laurent Massoulié
![Ergodic measures for subshifts with eventually constant growth]()
01:00:39publiée le 31 mars 2016Ergodic measures for subshifts with eventually constant growth
De Jon Fickenscher
![Perturbative techniques of the dynamics in the $C^1$-topology]()
01:09:39publiée le 7 avril 2016Perturbative techniques of the dynamics in the $C^1$-topology
De Sylvain Crovisier
![The $\mathbb{L}^ \bullet$-Homology fundamental class for singular spaces and the stratified Novikov conjecture]()
54:24publiée le 1 juillet 2016The $\mathbb{L}^ \bullet$-Homology fundamental class for singular spaces and the stratified Novikov conjecture
De Markus Banagl
![Inhomogeneities and temperature effects in Bose-Einstein condensates]()
46:35publiée le 15 juillet 2016Inhomogeneities and temperature effects in Bose-Einstein condensates
De Anne de Bouard
![ADMM in imaging inverse problems: some history and recent advances]()
50:44publiée le 10 novembre 2016ADMM in imaging inverse problems: some history and recent advances
De Mário Figueiredo
![Extensions between Iwahori-Hecke modules for $SL_2(F)$ in characteristic $p$]()
50:39publiée le 16 novembre 2016Extensions between Iwahori-Hecke modules for $SL_2(F)$ in characteristic $p$
De Ramla Abdellatif
![Integral points on Markoff type cubic surfaces and dynamics]()
01:02:29publiée le 6 janvier 2017Integral points on Markoff type cubic surfaces and dynamics
De Peter Sarnak
![Condition: the geometry of numerical algorithms - Lecture 1]()
01:32:36publiée le 26 janvier 2017Condition: the geometry of numerical algorithms - Lecture 1
De Peter Bürgisser
![Singular hyperbolicity and homoclinic tangencies of 3-dimensional flows]()
56:31publiée le 2 mars 2017Singular hyperbolicity and homoclinic tangencies of 3-dimensional flows
De Sylvain Crovisier
![Palm equivalence and quasi-symmetries of determinantal point processes associated with Hilbert spaces of holomorphic functions]()
44:53publiée le 8 mars 2017Palm equivalence and quasi-symmetries of determinantal point processes associated with Hilbert spaces of holomorphic functions
De Yanqi Qiu
![Various aspects of the dynamics of the cubic Szegö solutions]()
56:37publiée le 13 juillet 2017Various aspects of the dynamics of the cubic Szegö solutions
De Sandrine Grellier
![Growth of normalizing sequences in limit theorems]()
54:32publiée le 15 novembre 2018Growth of normalizing sequences in limit theorems
De Sébastien Gouëzel
![Intermittent weak solutions of the 3D Navier-Stokes equations]()
01:02:14publiée le 19 décembre 2018Intermittent weak solutions of the 3D Navier-Stokes equations
De Vlad Vicol
![On the existence of algebraic approximations of compact Kähler manifolds]()
50:27publiée le 9 janvier 2019On the existence of algebraic approximations of compact Kähler manifolds
De Hsueh-Yung Lin
![Classification des représentations admissibles irréductibles modulo p des groupes réductifs p-adiques]()
01:03:06publiée le 10 août 2016Classification des représentations admissibles irréductibles modulo p des groupes réductifs p-adiques
De Guy Henniart
![Nakayama automorphism and quantum group actions on Artin-Schelter regular algebras]()
44:54publiée le 11 décembre 2014Nakayama automorphism and quantum group actions on Artin-Schelter regular algebras
De James Zhang
![Braided autoequivalences, quantum commutative Galois objects and the Brauer groups]()
38:44publiée le 11 décembre 2014Braided autoequivalences, quantum commutative Galois objects and the Brauer groups
De Yinhuo Zhang
![The Zariski problem for homogeneous and quasi-homogeneous curves]()
01:06:55publiée le 17 février 2015The Zariski problem for homogeneous and quasi-homogeneous curves
De Yohann Genzmer
![Criteria for equivalence between power series and polynomials]()
01:02:30publiée le 17 février 2015Criteria for equivalence between power series and polynomials
De Wojciech Kucharz
![Another type of approximation: the valuative Cohen theorem]()
01:04:57publiée le 17 février 2015Another type of approximation: the valuative Cohen theorem
De Bernard Teissier
![Grothendieck residue in the Jacobian algebra and cup product in vanishing cohomology]()
53:56publiée le 10 mars 2015Grothendieck residue in the Jacobian algebra and cup product in vanishing cohomology
De Xavier Gómez-Mont
![The intersection form, logarithmic vector fields, and the Severi strata in the discriminant of a plane curve singularity]()
49:36publiée le 16 mars 2015The intersection form, logarithmic vector fields, and the Severi strata in the discriminant of a plane curve singularity
De David Mond
![Equisingularity of map germs from a surface to the plane]()
52:47publiée le 16 mars 2015Equisingularity of map germs from a surface to the plane
De Juan José Nuño-Ballesteros
![The asymptotic spectral gap of hyperbolic dynamics : tentative to improve the estimates]()
01:00:08publiée le 30 mars 2015The asymptotic spectral gap of hyperbolic dynamics : tentative to improve the estimates
De Frédéric Faure
![Geometry and analysis of locally symmetric spaces of infinite volume]()
57:25publiée le 30 mars 2015Geometry and analysis of locally symmetric spaces of infinite volume
De Lizhen Ji
![Compter et optimiser avec les graphes unimodulaires - Cours 1]()
01:16:31publiée le 2 avril 2015Compter et optimiser avec les graphes unimodulaires - Cours 1
De Charles Bordenave
![Compter et optimiser avec les graphes unimodulaires - Cours 2]()
01:16:03publiée le 2 avril 2015Compter et optimiser avec les graphes unimodulaires - Cours 2
De Charles Bordenave
![Reconstruction methods for ill-posed inverse problems - Part 1]()
53:00publiée le 29 avril 2015Reconstruction methods for ill-posed inverse problems - Part 1
De Samuli Siltanen
![Reconstruction methods for ill-posed inverse problems - Part 2]()
49:46publiée le 29 avril 2015Reconstruction methods for ill-posed inverse problems - Part 2
De Samuli Siltanen
![What is maturity? Discussing links between the concept and the underlying physiology of organisms]()
49:16publiée le 20 mai 2015What is maturity? Discussing links between the concept and the underlying physiology of organisms
De Starrlight Augustine
![On the relevance and irrelevance of dynamic energy budget models for population and community dynamics]()
01:06:19publiée le 13 mai 2015On the relevance and irrelevance of dynamic energy budget models for population and community dynamics
De André M. de Roos
![Dynamic Energy Budget Theory as integrative hub for evaluating organismal performance in multivariate environments]()
55:03publiée le 13 mai 2015Dynamic Energy Budget Theory as integrative hub for evaluating organismal performance in multivariate environments
De Erik B. Muller
![Size matters for balancing energy supply and demand in aquatic ectotherms]()
54:33publiée le 13 mai 2015Size matters for balancing energy supply and demand in aquatic ectotherms
De Wilco C.E.P. Verberk
![Exemples de modélisation mathématiques en médecine - partie 1]()
01:09:09publiée le 19 mai 2015Exemples de modélisation mathématiques en médecine - partie 1
De Dominique Barbolosi
![Exemples de modélisation mathématiques en médecine - partie 2]()
01:29:32publiée le 19 mai 2015Exemples de modélisation mathématiques en médecine - partie 2
De Dominique Barbolosi
![Des nombres aux arbres : comment varier ses exemples d'algorithmes ?]()
01:30:50publiée le 19 mai 2015Des nombres aux arbres : comment varier ses exemples d'algorithmes ?
De Gilles Dowek
![Ordonnancement - 1ère partie : ordonnancement sur une machine]()
01:04:46publiée le 19 mai 2015Ordonnancement - 1ère partie : ordonnancement sur une machine
De Frédéric Vivien
![Ordonnancement - 2ème partie : ordonnancement sur machines parallèles]()
01:17:19publiée le 19 mai 2015Ordonnancement - 2ème partie : ordonnancement sur machines parallèles
De Frédéric Vivien
![Computing the image of Galois representations attached to elliptic curves]()
28:53publiée le 4 juin 2015Computing the image of Galois representations attached to elliptic curves
De Andrew Sutherland
![Computing discrete logarithms in $GF(p^n)$: practical improvement of the individual logarithm step]()
25:52publiée le 4 juin 2015Computing discrete logarithms in $GF(p^n)$: practical improvement of the individual logarithm step
De Aurore Guillevic
![A string theorist view point on the genus-two Kawazumi-Zhang invariant]()
49:56publiée le 18 juin 2015A string theorist view point on the genus-two Kawazumi-Zhang invariant
De Boris Pioline
![Expansions of the real field by trajectories of definable vector fields]()
48:01publiée le 25 juin 2015Expansions of the real field by trajectories of definable vector fields
De Chris Miller
![Smooth parametrizations in analysis, dynamics, and diophantine geometry]()
47:56publiée le 25 juin 2015Smooth parametrizations in analysis, dynamics, and diophantine geometry
De Yosef Yomdin
![Representation theory, effective ergodic theorems, and applications - Lecture 1]()
54:20publiée le 16 juillet 2015Representation theory, effective ergodic theorems, and applications - Lecture 1
De Amos Nevo
![Representation theory, effective ergodic theorems, and applications - Lecture 2]()
01:02:51publiée le 16 juillet 2015Representation theory, effective ergodic theorems, and applications - Lecture 2
De Amos Nevo
![Representation theory, effective ergodic theorems, and applications - Lecture 3]()
01:00:16publiée le 16 juillet 2015Representation theory, effective ergodic theorems, and applications - Lecture 3
De Amos Nevo
![Representation theory, effective ergodic theorems, and applications - Lecture 4]()
01:06:43publiée le 16 juillet 2015Representation theory, effective ergodic theorems, and applications - Lecture 4
De Amos Nevo
![On the algebraic hull of the Kontsevich-Zorich cocycle and applications to finiteness theorems]()
01:00:00publiée le 20 juillet 2015On the algebraic hull of the Kontsevich-Zorich cocycle and applications to finiteness theorems
De Alex Eskin
![On the ergodicity of billiards in non-rational polygons]()
01:03:12publiée le 20 juillet 2015On the ergodicity of billiards in non-rational polygons
De Giovanni Forni
![Limits of zeroes of holomorphic differential on stable nodal Riemann surfaces]()
01:03:24publiée le 20 juillet 2015Limits of zeroes of holomorphic differential on stable nodal Riemann surfaces
De Samuel Grushevsky
![Multiple mixing and Ratner property in area-preserving flows]()
01:06:15publiée le 20 juillet 2015Multiple mixing and Ratner property in area-preserving flows
De Corinna Ulcigrai
![Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 2]()
01:34:27publiée le 2 août 2015Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 2
De Céline Grandmont
![Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 3]()
01:30:10publiée le 2 août 2015Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 3
De Céline Grandmont
![Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 4]()
01:18:05publiée le 2 août 2015Mathematical and numerical analysis of some fluid structure interaction problems - Lecture 4
De Céline Grandmont
![Bioremediation of natural resources: how optimization and numerical simulations can help?]()
23:27publiée le 2 février 2022Bioremediation of natural resources: how optimization and numerical simulations can help?
De Antoine Rousseau
![A characterization of class groups via sets of lengths]()
25:23publiée le 6 octobre 2015A characterization of class groups via sets of lengths
De Alfred Geroldinger
![Invariant random subgroups of acylindrically hyperbolic groups]()
46:09publiée le 13 octobre 2015Invariant random subgroups of acylindrically hyperbolic groups
De Denis V. Osin
![Persistence modules and Hamiltonian diffeomorphisms - Part 2]()
50:55publiée le 21 octobre 2015Persistence modules and Hamiltonian diffeomorphisms - Part 2
De Leonid Polterovich
![Persistence modules and Hamiltonian diffeomorphisms - Part 4]()
01:02:23publiée le 21 octobre 2015Persistence modules and Hamiltonian diffeomorphisms - Part 4
De Leonid Polterovich
![Potpourri of open problems and conjectures in linear dynamics and ergodic theory]()
54:29publiée le 3 novembre 2015Potpourri of open problems and conjectures in linear dynamics and ergodic theory
De Vitaly Bergelson
![Rates of decay associated with operator semigroups]()
42:13publiée le 3 novembre 2015Rates of decay associated with operator semigroups
De Charles J. K. Batty
![Logarithmico-exponential series and fractal analysis]()
01:08:30publiée le 12 novembre 2015Logarithmico-exponential series and fractal analysis
De Jean-Philippe Rolin
![O-minimalism: the first-order properties of o-minimality]()
32:10publiée le 12 novembre 2015O-minimalism: the first-order properties of o-minimality
De Hans Schoutens
![On the relations between the $L^1$ norm of partial derivatives with very accessible proof]()
55:25publiée le 26 novembre 2015On the relations between the $L^1$ norm of partial derivatives with very accessible proof
De Michal Wojciechowski
![The uniformization of the moduli space of abelian 6-folds]()
01:00:55publiée le 2 décembre 2015The uniformization of the moduli space of abelian 6-folds
De Gavril Farkas
![Geometry and moduli spaces of Gushel-Mukai varieties]()
01:07:49publiée le 2 décembre 2015Geometry and moduli spaces of Gushel-Mukai varieties
De Alexander Kuznetsov
![On the proof of S-duality modularity conjecture on quintic threefolds]()
01:04:27publiée le 2 décembre 2015On the proof of S-duality modularity conjecture on quintic threefolds
De Artan Sheshmani
![Approximating freeness under constraints, with applications]()
52:24publiée le 2 décembre 2015Approximating freeness under constraints, with applications
De Sorin Popa
![Free probability of type B and asymptotics of finite-rank perturbations of random matrices]()
48:47publiée le 2 décembre 2015Free probability of type B and asymptotics of finite-rank perturbations of random matrices
De Dimitri Shlyakhtenko
![Stability and applications to birational and hyperkaehler geometry - Lecture 2]()
43:16publiée le 5 janvier 2016Stability and applications to birational and hyperkaehler geometry - Lecture 2
De Arend Bayer
![Stability and applications to birational and hyperkaehler geometry - Lecture 3]()
48:33publiée le 5 janvier 2016Stability and applications to birational and hyperkaehler geometry - Lecture 3
De Arend Bayer
![Séries trigonométriques lacunaires, extrapolation minimale dans une algèbre de Wiener et échantillonnage parcimonieux]()
59:03publiée le 13 janvier 2016Séries trigonométriques lacunaires, extrapolation minimale dans une algèbre de Wiener et échantillonnage parcimonieux
De Jean-Pierre Kahane
![Rational approximation of functions with logarithmic singularities]()
53:08publiée le 13 janvier 2016Rational approximation of functions with logarithmic singularities
De Alexander Pushnitski
![Uncertainty principles for discrete Schrödinger evolutions]()
45:17publiée le 13 janvier 2016Uncertainty principles for discrete Schrödinger evolutions
De Eugenia Malinnikova
![Spectral measures of factor of i.i.d. processes on the regular tree]()
54:10publiée le 29 janvier 2016Spectral measures of factor of i.i.d. processes on the regular tree
De Ágnes Backhausz
![Anchored expansion in the hyperbolic Poisson Voronoi tessellation]()
49:05publiée le 29 janvier 2016Anchored expansion in the hyperbolic Poisson Voronoi tessellation
De Elliot Paquette
![Random forests variable importances: towards a better understanding and large-scale feature selection]()
52:03publiée le 19 février 2016Random forests variable importances: towards a better understanding and large-scale feature selection
De Pierre Geurts
![Robust sequential learning with applications to the forecasting of electricity consumption and of exchange rates]()
45:20publiée le 19 février 2016Robust sequential learning with applications to the forecasting of electricity consumption and of exchange rates
De Gilles Stoltz
![$k$-abelian equivalence: an equivalence relation in between the equality and the abelian equivalence]()
26:45publiée le 31 mars 2016$k$-abelian equivalence: an equivalence relation in between the equality and the abelian equivalence
De Juhani Karhumäki
![Dissipativity in nonautonomous linear-quadratic control processes]()
28:19publiée le 7 avril 2016Dissipativity in nonautonomous linear-quadratic control processes
De Carmen Núñez
![Dynamics of bounded solutions of parabolic equations on the real line - Part 1]()
58:29publiée le 7 avril 2016Dynamics of bounded solutions of parabolic equations on the real line - Part 1
De Peter Polacik
![Hyperbolic triangles with no positive Neumann eigenvalues]()
58:00publiée le 12 juin 2016Hyperbolic triangles with no positive Neumann eigenvalues
De Christopher Judge
![Buffer overflow ou explication de « une faille de type bufferoverflow peut permettre à un code malicieux d'être éxécuté »]()
01:57:48publiée le 19 mai 2016Buffer overflow ou explication de « une faille de type bufferoverflow peut permettre à un code malicieux d'être éxécuté »
De François Boisson
![Calculer avec des équations différentielles : calculabilité, complexité]()
01:35:01publiée le 19 mai 2016Calculer avec des équations différentielles : calculabilité, complexité
De Olivier Bournez
![New examples of rigid varieties and criteria for fibred surfaces to be $K(\pi,1)$-spaces]()
01:09:00publiée le 17 juin 2016New examples of rigid varieties and criteria for fibred surfaces to be $K(\pi,1)$-spaces
De Fabrizio Catanese
![A strong hyperbolicity property of locally symmetric varieties]()
01:05:37publiée le 17 juin 2016A strong hyperbolicity property of locally symmetric varieties
De Yohan Brunebarbe
![Nesting statistics in the $O(n)$ loop model on random planar maps]()
01:10:19publiée le 23 juin 2016Nesting statistics in the $O(n)$ loop model on random planar maps
De Jérémie Bouttier
![On the Hodge-Kodaira Laplacian on the canonical bundle of a compact Hermitian complex space]()
21:43publiée le 1 juillet 2016On the Hodge-Kodaira Laplacian on the canonical bundle of a compact Hermitian complex space
De Francesco Bei
![Randomness connecting to set theory and to reverse mathematics]()
41:43publiée le 7 juillet 2016Randomness connecting to set theory and to reverse mathematics
De André Nies
![Leapfrogging for the axisymmetric Gross-Pitaevskii equation]()
49:23publiée le 15 juillet 2016Leapfrogging for the axisymmetric Gross-Pitaevskii equation
De Didier Smets
![High-order Magnus integrators for non-autonomous linear evolution equations]()
40:58publiée le 15 juillet 2016High-order Magnus integrators for non-autonomous linear evolution equations
De Mechthild Thalhammer
![Still searching the engram: should we?]()
01:18:22publiée le 27 juillet 2016Still searching the engram: should we?
De Gianluigi Mongillo , Menahem Segal
![High performance computing with Feel++: applications and numerical methods]()
01:08:39publiée le 3 août 2016High performance computing with Feel++: applications and numerical methods
De Christophe Prud'homme
![Multiple applications of high performance computing and numerical simulations in Total group]()
59:16publiée le 3 août 2016Multiple applications of high performance computing and numerical simulations in Total group
De Philippe Ricoux
![Efficient iterative solvers: FETI methods with multiple search directions]()
01:10:22publiée le 3 août 2016Efficient iterative solvers: FETI methods with multiple search directions
De François-Xavier Roux
![A posteriori error estimates and solver adaptivity in numerical simulations]()
01:12:27publiée le 3 août 2016A posteriori error estimates and solver adaptivity in numerical simulations
De Martin Vohralík
![Optimized Schwarz waveform relaxation methods: theory and applications]()
35:33publiée le 4 août 2016Optimized Schwarz waveform relaxation methods: theory and applications
De Pascal Omnes
![Parametrized model order reduction for component-to-system synthesis]()
46:12publiée le 3 août 2016Parametrized model order reduction for component-to-system synthesis
De Anthony Patera
![Data-driven wildfire behavior modelling: focus on front level-set data assimilation]()
01:05:19publiée le 8 août 2016Data-driven wildfire behavior modelling: focus on front level-set data assimilation
De Mélanie Rochoux
![A discussion about the impact of scalability constraint on the design of futur dynamical kernels of NWP models]()
44:00publiée le 8 août 2016A discussion about the impact of scalability constraint on the design of futur dynamical kernels of NWP models
De Fabrice Voitus
![Modeling and data assimilation in cardiac electrophysiology]()
39:44publiée le 8 août 2016Modeling and data assimilation in cardiac electrophysiology
De Annabelle Collin
![High performance climate modelling : mimetic finite differences, and beyond?]()
57:16publiée le 10 août 2016High performance climate modelling : mimetic finite differences, and beyond?
De Thomas Dubos
![Direct and inverse biomechanical modeling of the heart]()
57:49publiée le 10 août 2016Direct and inverse biomechanical modeling of the heart
De Dominique Chapelle
![Crystalline cohomology, period maps, and applications to K3 surfaces]()
54:02publiée le 20 septembre 2016Crystalline cohomology, period maps, and applications to K3 surfaces
De Christian Liedtke
![The non-archimedean SYZ fibration and Igusa zeta functions - Part 2]()
56:03publiée le 20 septembre 2016The non-archimedean SYZ fibration and Igusa zeta functions - Part 2
De Johannes Nicaise
![The non-archimedean SYZ fibration and Igusa zeta functions - Part 3]()
53:48publiée le 20 septembre 2016The non-archimedean SYZ fibration and Igusa zeta functions - Part 3
De Johannes Nicaise
![Some recent insights into computing with positive definite kernels]()
50:19publiée le 27 septembre 2016Some recent insights into computing with positive definite kernels
De Greg Fasshauer
![Forcing theory for transverse trajectories of surface homeomorphisms - Part 1]()
54:30publiée le 11 octobre 2016Forcing theory for transverse trajectories of surface homeomorphisms - Part 1
De Patrice Le Calvez
![Forcing theory for transverse trajectories of surface homeomorphisms - Part 2]()
53:25publiée le 11 octobre 2016Forcing theory for transverse trajectories of surface homeomorphisms - Part 2
De Patrice Le Calvez
![Forcing theory for transverse trajectories of surface homeomorphisms - Part 3]()
54:00publiée le 11 octobre 2016Forcing theory for transverse trajectories of surface homeomorphisms - Part 3
De Fabio Tal
![Forcing theory for transverse trajectories of surface homeomorphisms - Part 4]()
48:42publiée le 11 octobre 2016Forcing theory for transverse trajectories of surface homeomorphisms - Part 4
De Fabio Tal
![Transferring information across image and shape collections]()
47:37publiée le 10 novembre 2016Transferring information across image and shape collections
De Niloy Mitra
![Operators in ergodic theory - Lecture 1: Operators dynamics versus base space dynamics]()
01:13:58publiée le 14 décembre 2016Operators in ergodic theory - Lecture 1: Operators dynamics versus base space dynamics
De Markus Haase
![Operators in ergodic theory - Lecture 2: Dilations and joinings]()
01:01:43publiée le 14 décembre 2016Operators in ergodic theory - Lecture 2: Dilations and joinings
De Markus Haase
![Operators in ergodic theory - Lecture 3: Compact semigroups and splitting theorems]()
49:47publiée le 14 décembre 2016Operators in ergodic theory - Lecture 3: Compact semigroups and splitting theorems
De Markus Haase
![Ergodicity of the Liouville system implies the Chowla conjecture]()
01:00:08publiée le 6 janvier 2017Ergodicity of the Liouville system implies the Chowla conjecture
De Nikos Frantzikinakis
![Generic properties of the geodesic flow in nonpositive curvature]()
50:33publiée le 2 mars 2017Generic properties of the geodesic flow in nonpositive curvature
De Yves Coudène
![Semi-infinite Hodge structures in noncommutative geometry]()
01:02:52publiée le 24 avril 2017Semi-infinite Hodge structures in noncommutative geometry
De Dmytro Shklyarov
![On the Riemann-Hilbert correspondence for irregular holonomic D-modules]()
01:25:17publiée le 24 avril 2017On the Riemann-Hilbert correspondence for irregular holonomic D-modules
De Andrea D'Agnolo
![La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique]()
01:13:28publiée le 11 mai 2017La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
De Gilles Dowek
![Bounded remainder sets for the discrete and continuous irrational rotation]()
32:38publiée le 1 juin 2017Bounded remainder sets for the discrete and continuous irrational rotation
De Sigrid Grepstad
![Projected particle methods for solving McKean Vlasov SDEs]()
53:14publiée le 3 août 2017Projected particle methods for solving McKean Vlasov SDEs
De Denis Belomestny
![Some asymptotic results about American options and volativity]()
55:27publiée le 3 août 2017Some asymptotic results about American options and volativity
De Stefano De Marco
![Minicourse shape spaces and geometric statistics]()
01:09:54publiée le 8 septembre 2017Minicourse shape spaces and geometric statistics
De Alain Trouvé , Xavier Pennec
![Combinatorial and algorithmic properties of Robinsonian matrices]()
59:25publiée le 14 septembre 2017Combinatorial and algorithmic properties of Robinsonian matrices
De Monique Laurent
![Complex torus, its good compactifications and the ring of conditions]()
01:04:57publiée le 22 septembre 2017Complex torus, its good compactifications and the ring of conditions
De Askold Khovanskii
![Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 2]()
01:31:10publiée le 28 septembre 2017Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 2
De François Métayer
![Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 3]()
01:22:19publiée le 28 septembre 2017Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 3
De François Métayer
![Ill-posedness for Leray solutions of the ipodissipative Navier-Stokes equations]()
50:58publiée le 6 octobre 2017Ill-posedness for Leray solutions of the ipodissipative Navier-Stokes equations
De Camillo de Lellis
![Localization of eigenfunctions via an effective potential]()
55:29publiée le 6 octobre 2017Localization of eigenfunctions via an effective potential
De David Jerison
![The hierarchy of second-order set theories between GBC and KM and beyond]()
50:22publiée le 12 octobre 2017The hierarchy of second-order set theories between GBC and KM and beyond
De Joel David Hamkins
![Extinction time for the weaker of two competing stochastic SIS logistic epidemics]()
48:31publiée le 26 octobre 2017Extinction time for the weaker of two competing stochastic SIS logistic epidemics
De Malwina Luczak
![Affine Volterra processes and models for rough volatility]()
27:21publiée le 21 novembre 2017Affine Volterra processes and models for rough volatility
De Martin Larsson
![Reconstruction by optimal transport: applications in cosmology and finance]()
35:36publiée le 16 novembre 2017Reconstruction by optimal transport: applications in cosmology and finance
De Grégoire Loeper
![Estimation of functions depending on a parameter observed in Gaussian noise]()
29:22publiée le 21 décembre 2017Estimation of functions depending on a parameter observed in Gaussian noise
De Ildar Ibragimov
![Some memories and facts about the work of Oleg Lepski: beyond a 'discourse on method']()
01:00:53publiée le 10 janvier 2018Some memories and facts about the work of Oleg Lepski: beyond a 'discourse on method'
De Marc Hoffmann
![Complex Monge-Ampere equations with prescribed singularities]()
54:19publiée le 31 janvier 2018Complex Monge-Ampere equations with prescribed singularities
De Eleonora Di Nezza
![Kähler-Ricci solitons on crepant resolutions of finite quotients of $C^n$]()
50:31publiée le 31 janvier 2018Kähler-Ricci solitons on crepant resolutions of finite quotients of $C^n$
De Heather Macbeth
![Extremal Poincaré type metrics and stability of pairs on Hirzebruch surfaces]()
49:09publiée le 31 janvier 2018Extremal Poincaré type metrics and stability of pairs on Hirzebruch surfaces
De Lars Martin Sektnan
![Finite type invariants of knots in homology 3-spheres]()
01:02:22publiée le 7 février 2018Finite type invariants of knots in homology 3-spheres
De Delphine Moussard
![Equidistribution of square-tiled surfaces, meanders, and Masur-Veech volumes]()
01:06:16publiée le 7 février 2018Equidistribution of square-tiled surfaces, meanders, and Masur-Veech volumes
De Anton Zorich
![Trisections diagrams and surgery operations on embedded surfaces]()
01:03:10publiée le 18 février 2018Trisections diagrams and surgery operations on embedded surfaces
De David Gay
![Quantum $\mathfrak{sl}_n$ knot cohomology and the slice genus]()
50:00publiée le 19 février 2018Quantum $\mathfrak{sl}_n$ knot cohomology and the slice genus
De Andrew Lobb
![On a difference between two methods of low-distortion embeddings of finite metric spaces into non-superreflexive Banach spaces]()
47:10publiée le 14 mars 2018On a difference between two methods of low-distortion embeddings of finite metric spaces into non-superreflexive Banach spaces
De Beata Randrianantoanina
![Symmetry and computation: a few of my favourite things]()
45:15publiée le 5 avril 2018Symmetry and computation: a few of my favourite things
De Hans Z. Munthe-Kaas
![Hybrid finite element methods preserving local symmetries and conservation laws]()
51:33publiée le 5 avril 2018Hybrid finite element methods preserving local symmetries and conservation laws
De Ari Stern
![Improved bounds for the Kobayashi conjecture on generic hyperbolicity]()
53:55publiée le 12 avril 2018Improved bounds for the Kobayashi conjecture on generic hyperbolicity
De Jean-Pierre Demailly
![Nonabelian Hodge correspondences for klt varieties and quasi-etale uniformisation]()
50:18publiée le 12 avril 2018Nonabelian Hodge correspondences for klt varieties and quasi-etale uniformisation
De Stefan Kebekus
![Global solutions to elliptic and parabolic $\Phi^4$ models in Euclidean space]()
44:58publiée le 22 mai 2018Global solutions to elliptic and parabolic $\Phi^4$ models in Euclidean space
De Martina Hofmanova
![Recent progress in the classification of torsion subgroups of elliptic curves]()
55:36publiée le 29 mai 2018Recent progress in the classification of torsion subgroups of elliptic curves
De Alvaro Lozano-Robledo
![Exact density matrix for quantum group invariant sector of XXZ]()
56:15publiée le 7 juin 2018Exact density matrix for quantum group invariant sector of XXZ
De Fedor Smirnov
![Capelli eigenvalue problem for Lie superalgebras and supersymmetric polynomials]()
55:53publiée le 7 juin 2018Capelli eigenvalue problem for Lie superalgebras and supersymmetric polynomials
De Vera Serganova
![On the motive of the stack of vector bundles on a curve]()
01:00:14publiée le 21 juin 2018On the motive of the stack of vector bundles on a curve
De Victoria Hoskins
![On Hitchin's hyperkähler metric on moduli spaces of Higgs bundles]()
58:08publiée le 21 juin 2018On Hitchin's hyperkähler metric on moduli spaces of Higgs bundles
De Andrew Neitzke
![Establishment in a new habitat under the infinitesimal model]()
01:23:49publiée le 28 juin 2018Establishment in a new habitat under the infinitesimal model
De Alison M. Etheridge , Nicholas H. Barton
![A Jacobian criterion for smoothness of algebraic diamonds]()
01:10:43publiée le 10 juillet 2018A Jacobian criterion for smoothness of algebraic diamonds
De Laurent Fargues
![Modeling the chemotherapy-induced selection of drug-resistant traits during tumor growth]()
01:03:48publiée le 12 juillet 2018Modeling the chemotherapy-induced selection of drug-resistant traits during tumor growth
De Doron Levy
![Macroscopic limit from a structured population model to the Kirkpatrick-Barton model]()
52:47publiée le 1 août 2018Macroscopic limit from a structured population model to the Kirkpatrick-Barton model
De Gaël Raoul
![Modelling of complex dynamical networks: from agent-based to continuum models]()
28:04publiée le 3 août 2018Modelling of complex dynamical networks: from agent-based to continuum models
De Diane Peurichard
![Big data for health: a Bayesian spatio-temporal analysis for predicting cardiac risk in Ticino and optimal defibrillators positioning]()
33:03publiée le 6 décembre 2018Big data for health: a Bayesian spatio-temporal analysis for predicting cardiac risk in Ticino and optimal defibrillators positioning
De Antonietta Mira
![Coulomb branches of quiver gauge theories with symmetrizers]()
58:17publiée le 18 avril 2019Coulomb branches of quiver gauge theories with symmetrizers
De Hiraku Nakajima
![Character stacks and $(q-)$geometric representation theory]()
59:16publiée le 18 avril 2019Character stacks and $(q-)$geometric representation theory
De Sam Gunningham
![Partial resolutions/deformations of diagonal invariants and representations of finite reductive groups]()
01:00:06publiée le 25 avril 2019Partial resolutions/deformations of diagonal invariants and representations of finite reductive groups
De Cédric Bonnafé
![Irreducible equivariant perverse coherent sheaves on affine Grassmannians of type $A$ and dual canonical bases]()
01:04:54publiée le 24 avril 2019Irreducible equivariant perverse coherent sheaves on affine Grassmannians of type $A$ and dual canonical bases
De Michael Finkelberg
![A geometric $R$-matrix for the Hilbert scheme of points on a general surface]()
01:02:49publiée le 24 avril 2019A geometric $R$-matrix for the Hilbert scheme of points on a general surface
De Noah Arbesfeld
![A sheaf theoretic approach towards calculating simple characters of algebraic groups]()
56:24publiée le 24 avril 2019A sheaf theoretic approach towards calculating simple characters of algebraic groups
De Peter Fiebig
![$k$-sum free sets in $[0,1]$](/media/cache/video_light/uploads/video/2015-09-10_de_Roton-video--19cf70874d3c5af7378c268cab865b06.jpg)
-
Suggestions
![Topological Symmetry and Duality in Quantum Lattice Models (¼)]()
01:50:25publiée le 17 avril 2024Topological Symmetry and Duality in Quantum Lattice Models (¼)
De Clément Delcamp
![Local measurement theory for quantum fields]()
![Interplay between Stochastic Partial Differential Equations and Quantum Field Theory on Curved Backgrounds]()
publiée le 12 avril 2024Interplay between Stochastic Partial Differential Equations and Quantum Field Theory on Curved Backgrounds
De Claudio Dappiaggi
-
Les plus vues
![Lipschitz-Killing curvatures of excursion sets for two dimensional random fields]()
publiée le 18 avril 2024Lipschitz-Killing curvatures of excursion sets for two dimensional random fields
De Céline Duval
![Cohomology of real algebraic varieties and sums of squares]()
publiée le 15 avril 2024Cohomology of real algebraic varieties and sums of squares
De Olivier Benoist
![Imaginary Liouville conformal field theory]()
Inscrivez-vous
- Mettez des vidéos en favori
- Ajoutez des vidéos à regarder plus tard &
conservez votre historique de consultation - Commentez avec la communauté
scientifique - Recevez des notifications de mise à jour
de vos sujets favoris
