Séminaires des labo de l’ED

Colloquium du laboratoire Dieudonné - lundi 14 octobre à 12:00

La prochaine séance du Colloquium du laboratoire Dieudonné aura lieu le lundi 14 octobre à 12:00 en salle de conférences. Elle sera suivie d'une collation en l'espace détente.

Notre conférencière sera :
Patricia REYNAUD-BOURET (The French Riviera University, Laboratoire J.A. Dieudonné, CNRS, Nice, https://math.unice.fr/~reynaudb/)

et le titre de son exposé sera :
'Réseaux de neurones et connectivité fonctionnelle'.

Un résumé est le suivant :
Apres un petit résumé des connaissances à avoir sur les réseaux de neurones biologiques, j'expliquerai pourquoi les neurobiologistes s'intéressent autant à la connectivité fonctionnelle, qui peut se voir mathématiquement comme un graphe d'indépendance locale entre neurones ou entre aires cérébrales. En particulier, ils pensent que cela peut contribuer à décoder le code neural. Je montrerai comment on peut reconstruire ce graphe et comment on peut obtenir des garanties mathématiques sur cette reconstruction même si on observe qu'une petite partie d'un réseau potentiellement infini de neurones d'un point de vue mathématique.

Venez Nombreux !

L'équipe Colloquium

Colloquium du laboratoire Dieudonné - lundi 9 septembre à 12:00

La prochaine séance du Colloquium du laboratoire Dieudonné aura lieu le lundi 9 septembre à 12:00 en salle de conférences. Elle sera suivie d'un collation. Notre conférencier sera :

Vladimir T. TIKHONCHUK (Université de Bordeaux - CNRS - CEA, Centre Laser Intenses et Applications, Bordeaux, and Institute of Physics, Czech Academy of Sciences, Extreme Light Infrastructure, Dolní Břežany, ČESKO, Edward Teller Award 2017, https://fr.wikipedia.org/wiki/Vladimir_Tikhonchuk)

et le titre de son exposé sera :

'Non-local transport in Laser-Fusion Plasmas and its applications. State of the Art'.

Un résumé est le suivant.

Energy transport is of great importance in the fundamental physics and for a large number of applications extending from astrophysics and cosmology to thermonuclear fusion and medicine. Treatment of the energy transport as a diffusion process is limited to dense systems and often incompatible realistic conditions of the systems of interest such as outer star plasmas, fusion plasmas or cancer treatment. However, a detailed kinetic treatment of the transport processes is impossible in view of large size and complexity of the considered systems. In my talk I will present the reduced kinetic approach based on the entropic closure of full kinetic equation and providing the possibility for sufficiently fast and accurate calculations of electron and radiation transport in solids and plasmas.

After a short recall of the diffusion approximation for the radiation and electron transport, I will consider its limits and introduce the non-local models based on simplified treatment of the collisional operator. Several examples of application of nonlocal models in fusion plasmas and their accuracy will be discussed. I will conclude with an example of a joint electron-photon transport model developed for tumor treatments in radiotherapy.

Venez Nombreux !

L'équipe Colloquium

Colloquium J. Morgenstern - Luca Aceto (Univ. Reykajavik) - 10/09 - 11h - Inria - Sophia Antipolis

Inria, site de Sophia Antipolis - Amphithéâtre - Bâtiment Kahn

Luca Aceto(Univ. Reykajavik)

"Theoretical Foundations for Runtime Monitoring"

Résumé / Abstract :

Runtime Verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly.

In this talk, I will present a theoretical framework that can be used to provide answers to those questions. Our approach uses the classic Hennessy-Milner with recursion as a specification logic that is agnostic of the adopted verification method and is general enough to embed commonly used specification logics. I also present an operational semantics for an elemental framework that describes the runtime analysis carried out by monitors. This allows us to establish a correspondence between the property satisfactions in the logic and the verdicts reached by the monitors carrying out the analysis. I will show how this correspondence is used to identify which subsets of the logic can be adequately monitored for, to study the power of deterministic monitors and to define various notions of monitor correctness. In this talk, I will assume no prior knowledge of runtime verification.

The talk is based on joint work with my collaborators in the project Theoretical Foundations for Monitorability.

La présentation sera faite en anglais.

Retrouvez l'intégralité du programme de l'année sur le site du colloquium https://iww.inria.fr/colloquium/

Colloquium du laboratoire Dieudonné - lundi 24 juin à 14:30

La prochaine séance du Colloquium du laboratoire Dieudonné aura lieu le lundi 24 juin à 14:30 en salle de conférences. Elle sera suivie d'une pause-café en l'espace détente. Notre conférencière sera :

Paola GOATIN (The French Riviera University, Laboratoire J.A. Dieudonné, INRIA, Nice, Prix Inria - Académie des sciences du jeune chercheur 2014, Trophée Femme en Or 2016 dans la catégorie Smart City, http://www-sop.inria.fr/members/Paola.Goatin/)

et le titre de son exposé sera :

'Le trafic routier en équations'.

Un résumé est le suivant.

Depuis plusieurs décennies, les ingénieurs et les mathématiciens développent des modèles mathématiques pour décrire et contrôler, à différentes échelles, l'écoulement des véhicules sur les réseaux routiers. Cet exposé se focalisera sur l'approche dite “macroscopique", et s'attachera à montrer comment des équations dérivées de la dynamique des fluides peuvent être utilisées pour décrire des phénomènes caractéristiques comme la propagation d'une congestion ou les transitions entre trafic fluide et congestionné. On verra aussi quels sont les moyens d'intervention pour améliorer la circulation des voitures, et quelles sont les techniques mathématiques qui permettent de parvenir à une gestion optimale des routes.

Venez Nombreux !

L'équipe Colloquium

Meeting projet NAUTILUS (ECOSEAS/I3S/Géoazur) Mercredi 12 juin de 13h30 à 17h30

Meeting projet NAUTILUS (ECOSEAS/I3S/Géoazur)
Mercredi 12 juin de 13h30 à 17h30
Géoazur Bat. 4 - Campus Azur CNRS – Sophia Antipolis

Programme : https://docs.google.com/document/d/1HL9BvDEmZrInrP7ZB41L26z5pn51gQXYwNZl...

L'environnement sous-marin a longtemps été décrit comme un monde silencieux. Les recherches menées au cours des dernières décennies ont toutefois permis de mieux faire comprendre que les sons et les bruits sont des éléments importants de l’environnement marin. Le bruit marin, comprenant les sons biotiques (produits par des animaux comme les poissons et les mammifères), les sons abiotiques (par exemple, déferlement des vagues et des courants de glace) et anthropiques (par exemple, sonar, prospection sismique, forage, bateaux de plaisance et de pêche), est appelé paysage sonore. L'augmentation de l'industrialisation et des échanges mondiaux a entraîné une augmentation spectaculaire des bruits anthropiques, considérés comme un polluant mondial majeur au XXIe siècle. Le bruit anthropique peut toucher une grande variété d'espèces d'animaux marins, avec des conséquences allant de l'absence d'effet à la mort immédiate.
Grâce à une collaboration multidisciplinaire entre chercheurs en biologie et écologie marines, en géosciences et en traitement des signaux acoustiques, le projet pilote Nautilus fournira des informations essentielles pour :i) construire le paysage sonore du domaine côtier (Villefranche/mer, Saint Jean-Cap-Ferrat et Eze) ii) analyser automatiquement les grands ensembles de données existants et futurs de la communauté des géosciences marines pour construire le paysage sonore en mer Ligure iii) évaluer les conséquences à plusieurs niveaux du bruit anthropique en mer Ligure : impact sur le comportement, la vitesse de colonisation, la morphologie, la croissance et d’autres variables physiologiques des poissons juvéniles ; et sur la communication acoustique du Rorqual commun.

Pensée des sciences : mardi 28 mai, 17h, Jean Bricmont "Comprendre la Mécanique Quantique"

Dans le cadre du séminaire La Pensée des Sciences, le CRHI et le Laboratoire J.A.Dieudonné sont heureux d’accueillir Jean BRICMONT (Université Catholique de Louvain, Académie Royale de Belgique) le mardi 28 mai 2019, de 17h à 18h30, en salle de conférences du Laboratoire J.A. Dieudonné (campus Valrose), pour une conférence intitulée « Comprendre la Mécanique Quantique ».

Jean BRICMONT

(Université Catholique de Louvain, Académie Royale de Belgique)

mardi 28 mai 2019, de 17h à 18h30

salle de conférences du Laboratoire J.A. Dieudonné (campus Valrose)

« Comprendre la Mécanique Quantique »

Résumé :

Aucune théorie scientifique n’aura sans doute provoqué autant de perplexité, même parmi les spécialistes, de commentaires philosophiques et d’exploitation pseudo-scientifique que la mécanique quantique. Le but de l’exposé sera d’abord d’expliquer ce qui, dans les phénomènes quantiques ainsi que dans la théorie quantique usuelle, est la source de ces réactions; et ensuite d’indiquer une façon de dissiper la perplexité causée par la mécanique quantique et de la comprendre réellement, grâce à la théorie de de Broglie-Bohm.

Site web du séminaire : http://crhi-unice.fr/la-pensee-des-sciences

En espérant vous y retrouver nombreux,
Les organisateurs

Colloquium du laboratoire Dieudonné - lundi 13 mai à 14:30

La prochaine séance du Colloquium du laboratoire Dieudonné aura lieu le lundi 13 mai à 14:30 en salle de conférences. Un goûter festif suivra ce Colloquium, organisé par le GDR goûter. Veuillez penser à apporter votre cuiller, bol ou assiette et serviette (la cuisine en a un stock limité). Notre conférencier sera :

François LABOURIE (The French Riviera University, Laboratoire J.A. Dieudonné, Nice, Prix EMS de la Société mathématique européenne 1992, https://math.unice.fr/~labourie/)

et le titre de son exposé sera :

'Quelques travaux de Maryam MIRZAKHANI'.

Un résumé est le suivant.

Je présenterai le domaine d’étude de Maryam MIRZAKHANI, l’étude des géodésiques sur les surfaces et de leur répartition statistique ; j’introduirai aussi si le temps le permet quelques uns de ses résultats les plus spectaculaires. L’exposé sera accessible à tous, doctorantes et doctorants sont bienvenus !

Venez Nombreux !

L'équipe Colloquium

Colloquium du laboratoire Dieudonné - lundi 08 avril à 11:30

Deux prochaines séances du Colloquium du laboratoire Dieudonné auront lieu exceptionnellement le lundi 08 avril à 11:30 et 14:30 en salle de conférences. La planification est la suivante :

1. 11:30 le premier conférencier est :

Jean-Marc VANDEN-BROECK (University College London, Department of Mathematics, London, UK, The French Riviera University, Laboratoire J.A. Dieudonné, CNRS, Chaire MONTEL, https://iris.ucl.ac.uk/iris/browse/profile?upi=JVAND65)

et le titre de son exposé sera :

'Études numériques et analytiques des ondes nonlinéaires se propageant à la surface libre d'un fluide' ;

2. 12:30 buffet dans le patio au rez-de-chaussée ;

3. 14:30 le second Conférencier est :

John David GIBBON (Imperial College London, Department of Mathematics, London, UK, The French Riviera University, Laboratoire J.A. Dieudonné, CNRS, Professeur Invité, http://wwwf.imperial.ac.uk/~jdg/)

et le titre de son exposé sera :

'The NS Bermuda Triangle' ;

4. 15:30 pause-café dans le patio au rez-de-chaussée.

Des résumés de ces deux présentations sont transcrits dans les fichiers ci-après.

Venez Nombreux !

L'équipe Colloquium

Mettre un fichier en ligne: 

Colloquium J. Morgenstern - Andrew Stuart (Caltech)- 28 mars 2019 - 11h - Inria - Sophia Antipolis

Inria, site de Sophia Antipolis Amphithéâtre - Bâtiment Kahn

Andrew Stuart(Caltech-USA) "The Legacy of Rudolph Kalman"

Résumé / Abstract :

In 1960 Rudolph Kalman published what is arguably the first paper to develop a systematic, principled approach to the use of data to improve the predictive capability of mathematical models. As our ability to gather data grows at an enormous rate, the importance of this work continues to grow too. The lecture will describe this paper, and developments that have stemmed from it, revolutionizing fields such space-craft navigation, weather prediction, oceanography and oil recovery; the lecture will also describe new application domains such as climate modeling, medical imaging and machine learning. Some mathematical details will be also provided, but limited to simple concepts such as optimization and iteration; thetalk is designed to be broadly accessible to anyone with an interest in quantitative science.

La présentation sera faite en anglais.

Colloquium du laboratoire Dieudonné - lundi 11 mars à 14:30

La prochaine séance du Colloquium du laboratoire Dieudonné aura lieu le lundi 11 mars à 14:30 en salle de conférences. Elle sera suivie d'une pause-café en l'espace détente. Notre conférencière sera :

Catherine GOLDSTEIN (CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche, Sorbonne Université et Université Paris Diderot, Paris, https://webusers.imj-prg.fr/~catherine.goldstein/)

et le titre de son exposé sera :

'Les mathématiques comme sciences naturelles au 19e siècle : Hermite, Kronecker, et quelques autres'.

Un résumé est le suivant.

Plusieurs mathématiciens du 19e siècle et non des moindres, comme Hermite, Kronecker ou Sylvester, considèrent les mathématiques comme des sciences de la nature. Comment une telle conception se lie-t-elle aux pratiques mathématiques elles-mêmes, à leurs résultats et à leurs méthodes ? L’exposé vise à illustrer des réponses à ces questions (qui ne sont pas toujours les mêmes pour tous les auteurs), à travers quelques épisodes de l’histoire des mathématiques de cette période.

Venez Nombreux !

L'équipe Colloquium

Syndiquer le contenu