événements et conférences
PROGRAMME
Mercredi 27 février
Matinée : Amphi de Sciences Naturelles
08h45-09h00
Accueil des participants / Reception of the Participants
09h00-09h30
Marina Kreme (ALEA, Signal et Image)
Phase inpainting in time-frequency plane
We propose a new problem of missing data reconstruction in the time-frequency plane. This problem called phase inpainting, consists in reconstructing a signal from time-frequency observations where all amplitudes and some phases are known while the remaining phases are missing. A mathematical formulation of this problem is given. We propose three alternatives of existing algorithms. An iterative algorithm: Griffin and Lim and two semidefinite programming optimization algorithms: PhaseLift and PhaseCut. The obtained results show that knowledge of certain phases improves the reconstruction's quality.
09h30-10h00
Federico Olimpieri (Logique de la Programmation)
Derivation and Computation :
On the Taylor Expansion of lambda terms
The lambda calculus is an abstract model of computation where programs are seen as functions . T. Ehrhard and L. Regnier, influenced by the quantitative semantics of linear logic, introduced a differential extention of Lambda calculus. The derivative of a program is a linear version of it. Linearity means that the program uses extacly once its input under computation, i.e. it does not copy or erase it. Thanks to this notion of derivation, it is possible to define a Taylor expansion for programs. There is indeed a nice relationship between the logical notion of linearity and the analytical one. Moreover, from the study of the Taylor expansion, it is possible to determine relevant information about the computational behavior of programs.
10h00-10h30
Florian Lavigne (Analyse Appliquée)
Evolutionary epochs in the adaptation of asexual organisms
We consider a nonlocal parabolic equation that describes the adaptation of asexual organisms (viruses, bacteria) under mutation and selection effects. Though this equation is standard when n=1 or under isotropy assumptions, the n-dimensional anisotropic case remained unexplored. We prove here that the equation admits a unique solution and we propose a new and general framework to study the quantitative behavior of this solution. In sharp contrast with the known results based on isotropic models, our results show that the trajectory of mean fitness may exhibit (n-1) plateaus before it converges. To illustrate the importance of this result from a more applied perspective, we show that the anisotropic models leads to a very good fit of Escherichia coli long-term evolution experiment, one of the most famous experimental dataset in experimental evolution, for which several evolutionary "epochs" had already been observed.
10h30-11h00
Pause Café
11h00-11h30
Pierre Lazag (GDAC)
Polynômes orthogonaux et processus ponctuels
(Orthogonal polynomials and point processes)
Nous allons tout d'abord rappeler ce que sont que des polynômes orthogonaux, nous amuser un peu avec, puis expliquer comment ils sont intervenus tout d'abord en théorie des matrices aléatoires, puis peut-être dans certains problèmes de combinatoires asymptotiques. Nous verrons en quoi leur utilisation est pertinente dans ce qu'on appelle les "processus ponctuels déterminantaux", et en quoi ce formalisme permet des études asymptotiques fines de nombreux modèles probabilistes. Si le temps le permet, nous présenterons un théorème original sur le processus de Bessel discret, obtenu grâce à des études asymptotiques des polynômes de Charlier.
11h30-12h00
Adrien Meynard (ALEA, Signal et Image)
Analyse spectrale de signaux non-stationnaires
(Spectral analysis of non-stationary signals)
En traitement du signal, l’analyse spectrale vise à décomposer un signal comme superposition de signaux périodiques. Ceci prend tout son sens pour des signaux stationnaires, c’est à dire possédant des propriétés d’invariance par translation temporelle. On pense par exemple à des notes d’instruments de musique (la hauteur du son étant constante), ou à un bruit de moteur tournant à vitesse constante. Nous avons développé une approche pour l’analyse spectrale de sons non-stationnaires, tels qu’un bruit de moteur en accélération, ou une mélodie chantée par une voix humaine. L’approche repose sur une modélisation du signal sous la forme d’un signal stationnaire dont la stationnarité est brisée par une transformation (par exemple une accélération du régime d’un moteur). L’analyse spectrale revient alors à estimer à la fois la transformation et les caractéristiques spectrales du son stationnaire sous-jacent.
Travail commun avec Bruno Torrésani.
12h00-12h30
Timothy Hosgood (AGT)
Catégories vues comme triangles
(Categories as triangles)
En général la définition d’une catégorie est motivée par des exemples où les objets sont les espaces vectoriels, les groupes, ou un tel objet algébrique, et les morphismes sont les morphismes linéaires, les homomorphismes, etc. Cependant, il y a un autre point de vue d’une catégorie : au lieu de penser à une catégorie comme une façon de décrire la structure de la collection de tous les objets d’un tel type, on étudie une catégorie comme un objet algébrique en soi. C’est-à-dire, au lieu d’étudier la catégorie des groupes abéliens, on étudie la catégorie associée à un groupe abélien spécifique.
Déjeuner : Salle de Conférence
Après-midi : Salle de Conférence
animé par Mme Thao Lang,
de l'association Bernard Grégory
14h00-14h45
Les métiers et carrière des docteurs dans le privé
Carreers in the private for doctors in maths
exposé accessible à tous / everyone is welcomed but the presentation will be in French
présentation de concepts et informations générales
14h45-16h00
Ateliers limités à 40 doctorants inscrits / Workshops limited to 40 participants
Les attentes des recruteurs des docteurs
The expectations of those who recruit doctors
analyse en sous-groupes d’offres
d’emploi sélectionnées, identification des compétences développées par un doctorat en mathématiques, débriefing.
La valorisation des compétences,
le référentiel MyDocPro
Valorisation of competence, with MyDocPro
présentation de concepts et méthodes.
16h00-16h15
Pause Café
16h15-18h15
Ateliers limités à 40 doctorants inscrits
Les enjeux et le fonctionnement du réseau professionnel
Professional network : challenges and functioning
présentation de concepts et méthodes.
Travail en sous-groupes /workshops in small groups
la démarche réseau, le pitch de présentation, débriefing.