Séminaire Algorithmique : « Un automate pour les caractériser tous », Théo Grente (GREYC)
Sciences 3- S3 351Au début des années 2000, Okhotin a introduit deux familles de grammaires formelles, les grammaires conjonctives et les grammaires booléennes, qu’il présente comme “le véritable cas général des grammaires sans contexte”. Ces grammaires enrichissent les grammaires algébriques par l’ajout d’une opération de conjonction pour les grammaires conjonctives et de la négation en plus de la … Continue reading Séminaire Algorithmique : « Un automate pour les caractériser tous », Théo Grente (GREYC)
Séminaire Algorithmique : « Effective Asymptotics of Combinatorial Systems », Carine Pivoteau (LIGM, Univ. Paris-Est Marne la Vallée)
Sciences 3- S3 351In their book “Analytic Combinatorics”, Flajolet and Sedgewick describe a general approach that starts from a combinatorial description, translates this description into equations satisfied by generating functions, views these generating functions as analytic functions and exploits their singular behavior to deduce asymptotic properties of the combinatorial objects when their size becomes large. With Bruno Salvy, … Continue reading Séminaire Algorithmique : « Effective Asymptotics of Combinatorial Systems », Carine Pivoteau (LIGM, Univ. Paris-Est Marne la Vallée)
Séminaire Image: Shouhei Hanaoka et Rie Tanaka
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Shouhei Hanaoka, Associate Professor (Graduate School of Medicine, The University of Tokyo) et Rie Tanaka (Pharmaceutical and Health Sciences, Kanazawa University). Il donneront un séminaire IMAGE le jeudi 21 mai 2026 à 14h en salle de séminaire F-200. Titre (Shouhei Hanaoka) : "Clinical importance of trees and graphs: An example … Continue reading Séminaire Image: Shouhei Hanaoka et Rie Tanaka
Séminaire Algorithmique : « Weihrauch et la topologie », Emmanuel Rauzy (LACL, Univ. Paris-Est Créteil)
Sciences 3- S3 351Le but de cet exposé est d’introduire les deux fondements de l’analyse calculable : la théorie des espaces représentés et ses liens avec la topologie, et la réduction de Weihrauch. J’insisterai en particulier sur le fait que la réduction de Weihrauch est définie grâce à une notion de multifonction continue que l’on ne peut définir … Continue reading Séminaire Algorithmique : « Weihrauch et la topologie », Emmanuel Rauzy (LACL, Univ. Paris-Est Créteil)
Séminaire Algorithmique : « Multiplication modulaire dans le système de représentation Residue Number System », Christophe Nègre (GREYC, Caen)
Sciences 3- S3 351Dans cet exposé nous présenterons le système de représentation RNS utilisé pour l’arithmétique des grands entiers. Nous nous intéresserons en particulier à la multiplication modulaire en RNS et son application en cryptographie. Les algorithmes de Montgomery et de Barrett sont les plus couramment utilisés pour la multiplication modulaire. En RNS c’est l’approche de Montgomery qui … Continue reading Séminaire Algorithmique : « Multiplication modulaire dans le système de représentation Residue Number System », Christophe Nègre (GREYC, Caen)
Séminaire Algorithmique : « One-two trees, let’s twist! », Julien Courtiel (GREYC, Caen)
Sciences 3- S3 351Il y a fort longtemps (en l’an 2018), dans un bureau fort lointain (le S3-354), le jeune Matthieu Dien et ma modeste personne se sont lancés dans une quête : un problème qui ne prendrait que “10 minutes à résoudre”. Il aura fallu 8 ans, et l’aide du chevaleresque Paul Dorbec, pour qu’un article ait … Continue reading Séminaire Algorithmique : « One-two trees, let’s twist! », Julien Courtiel (GREYC, Caen)
Séminaire Image: Balancing fidelity and interpretability in XAI for global model understanding and frugal AI design par Caroline Mazini Rodrigues
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Caroline Mazini Rodrigues, Postdoctorante à l'IRISA (Rennes). Elle donnera un séminaire IMAGE le jeudi 18 juin 2026 à 14h en salle de séminaire F-200 Titre: Balancing fidelity and interpretability in XAI for global model understanding and frugal AI design Résumé: As neural networks grow in complexity, understanding their decision-making processes … Continue reading Séminaire Image: Balancing fidelity and interpretability in XAI for global model understanding and frugal AI design par Caroline Mazini Rodrigues
Séminaire Algorithmique : « Codd’s Theorem for Databases over Semirings », Guillermo Badia (University of Queensland, Australie)
Sciences 3- S3 351Codd’s Theorem, a fundamental result of database theory, asserts that relational algebra and relational calculus have the same expressive power on relational databases. We explore Codd’s Theorem for databases over semirings and establish two different versions of this result for such databases: the first version involves the five basic operations of relational algebra, while in … Continue reading Séminaire Algorithmique : « Codd’s Theorem for Databases over Semirings », Guillermo Badia (University of Queensland, Australie)
Séminaire Algorithmique : Nathan Papon (Telecom Paris)
Sciences 3- S3 351Titre et résumé à venir.
Séminaire Image: A plug-and-play approach with fast uncertainty quantification for weak-lensing mass mapping par Hubert Leterme
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous écouterons le jeudi 10 septembre à 14h en salle F-200, Hubert Leterme, postdoctorant au CEA, qui parlera de "A plug-and-play approach with fast uncertainty quantification for weak-lensing mass mapping". Résumé : Context. Upcoming cosmological surveys such as Euclid and Rubin will deliver vast amounts of high-precision data, opening new opportunities to constrain cosmological models with unprecedented … Continue reading Séminaire Image: A plug-and-play approach with fast uncertainty quantification for weak-lensing mass mapping par Hubert Leterme
Séminaire Image: A multi-grid view of geometry / Une vision multi-grille de la géométrie par Jacques-Olivier Lachaud
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter Jacques-Olivier Lachaud , Professeur au Laboratoire de Mathématiques (Université Savoie Mont Blanc). Il donnera un séminaire IMAGE le jeudi 24 septembre 2026 à 14h en salle de séminaire F-200. Titre : "A multi-grid view of geometry / Une vision multi-grille de la géométrie" Résumé : Cet exposé "panorama" s'intéresse à … Continue reading Séminaire Image: A multi-grid view of geometry / Une vision multi-grille de la géométrie par Jacques-Olivier Lachaud
Séminaire Image: Converge to optima without overparameterization – Rayleigh quotients and subnetwork tracking par David A. R. Robin
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d'écouter David A. R. Robin , Postdoc au LAMSADE (Université Paris Dauphine). Il donnera un séminaire IMAGE le jeudi 1er octobre 2026 à 14h en salle de séminaire F-200. Titre : "Converge to optima without overparameterization - Rayleigh quotients and subnetwork tracking" Résumé : The Neural Tangent Kernel (NTK) is a … Continue reading Séminaire Image: Converge to optima without overparameterization – Rayleigh quotients and subnetwork tracking par David A. R. Robin