Collection Frontiers of reconnaissability / Frontières de la reconnaissabilité
Organisateur(s) Senizergues, Géraud
Date(s) 28/04/2014 - 30/04/2014
URL associée http://dept-info.labri.u-bordeaux.fr/~ges/FREC14/finalconf.html
Mathématiques
et Interactions
Organisateur(s) Senizergues, Géraud
Date(s) 28/04/2014 - 30/04/2014
URL associée http://dept-info.labri.u-bordeaux.fr/~ges/FREC14/finalconf.html
-
Toutes les vidéos de la collection (5)
![Two-player perfect-information shift-invariant submixing stochastic games are half-positional]()
35:28publiée le 6 mai 2014Two-player perfect-information shift-invariant submixing stochastic games are half-positional
De Hugo Gimbert
![Recognizable sets of graphs: algebraic and logical aspects]()
38:37publiée le 25 août 2014Recognizable sets of graphs: algebraic and logical aspects
De Bruno Courcelle
![Towards static analysis of functional programs using term rewriting and tree automata]()
41:58publiée le 25 août 2014Towards static analysis of functional programs using term rewriting and tree automata
De Thomas Genet
-
Suggestions
![Coq/Rocq tutorial: Ssreflect tactics and the MathComp library]()
01:34:11publiée le 22 avril 2024Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
De Marie Kerjean
![Creative telescoping for D-finite functions - Lecture 1]()
01:31:58publiée le 25 mars 2024Creative telescoping for D-finite functions - Lecture 1
De Christoph Koutschan
-
Les plus vues
![A neural mass model for abnormal beta-rebound in schizophrenia]()
44:26publiée le 7 mai 2024A neural mass model for abnormal beta-rebound in schizophrenia
De Stephen Coombes , Peter Liddle
![Stationary measures for groups acting on surfaces]()
![Critical regularity for nilpotent group actions in dimension one]()
publiée le 4 mai 2024Critical regularity for nilpotent group actions in dimension one
De Victor Kleptsyn
![Statistical estimation of optimal transport potentials]()
50:58publiée le 6 mai 2024Statistical estimation of optimal transport potentials
De François-Xavier Vialard
