Séminaire Algorithmique : « Une extension probabiliste de la suite d’Oldenburger-Kolakoski », Irène Marcovici (LITIS, Univ. Rouen)
Sciences 3- S3 351La suite d’Oldenburger-Kolakoski est l’unique suite infinie sur l’alphabet {1,2} qui commence par un 1 et est un point fixe de l’application de codage par plage. Dans cet exposé, nous prendrons un peu de recul par rapport à cette suite bien connue et très étudiée, en introduisant de l’aléa dans le choix des lettres écrites. … Continue reading Séminaire Algorithmique : « Une extension probabiliste de la suite d’Oldenburger-Kolakoski », Irène Marcovici (LITIS, Univ. Rouen)
Séminaire IMAGE: « Deep Image Compression using only Attention-based Neural Networks as analysis and synthesis transforms »
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter Natacha Luka, doctorante en 3ème année dans l'équipe IMAGINE du LIGM (ENPC) , à Marne-la-Vallée. Elle donnera un séminaire IMAGE, le jeudi 26 octobre 2023, à 14h00, en salle de séminaire F-200. Titre: Deep Image Compression using only Attention-based Neural Networks as analysis and synthesis transforms Résumé: In recent years, … Continue reading Séminaire IMAGE: « Deep Image Compression using only Attention-based Neural Networks as analysis and synthesis transforms »
Séminaire Algorithmique : « FHE & AI: a Concrete Use-Case », Bastien Vialla (Orange Labs, Caen)
Sciences 3- S3 351In the Franco-German collaborative project CRYPTECS, Orange Innovation explores privacy-preserving technologies for industrial applications. A prime use-case is detecting compromised computers through network traffic analysis. We have developed efficient AI models tailored for this. Our aim is to deploy these models while safeguarding both the model and network data, making Fully Homomorphic Encryption (FHE) an … Continue reading Séminaire Algorithmique : « FHE & AI: a Concrete Use-Case », Bastien Vialla (Orange Labs, Caen)
Séminaire IMAGE : « Cognitive Diversity as the New Frontier of Design Process »
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenNous aurons le plaisir d’écouter la Prof. Luciana Pereira de l'Universidade Federal do ABC (UFABC), Brazil. Elle donnera un séminaire IMAGE, le lundi 13 novembre 2023, à 14h00, en salle de séminaire F-200. Titre: Cognitive Diversity as the New Frontier of Design Process Résumé: This presentation proposes a reflection on the cognitive process used by … Continue reading Séminaire IMAGE : « Cognitive Diversity as the New Frontier of Design Process »
Séminaire Algorithmique : « Bornes Inférieures et Séparations pour la Compilation de Connaissances Bottom-Up », Alexis de Colnet (CRIL, Univ. Lens)
Sciences 3- S3 351La compilation de connaissances est un domaine de l’informatique qui étudie les différentes classes de représentations pour les fonctions, et les algorithmes permettant de passer d’une classe à l’autre. Dans cette présentation, on s’intéresse à l’approche de compilation dite bottom-up (ascendante) pour les fonctions Booléennes données comme des formules CNF. Cette approche permet de construire … Continue reading Séminaire Algorithmique : « Bornes Inférieures et Séparations pour la Compilation de Connaissances Bottom-Up », Alexis de Colnet (CRIL, Univ. Lens)
Séminaire Algorithmique : « Samplelim: un package R pour l’échantillonnage de solutions à un problème linéaire inverse »,Théo Grente (LMNO, Caen)
Sciences 3- S3 351Utilisés notamment en écologie marine, les réseaux trophiques sont une représentation sous forme de graphes dirigés et pondérés des interactions proies/prédateurs d’un écosystème. Les nœuds du graphe représentent alors les espèces et les arêtes leurs interactions sous forme d’échanges de matière organique appelés flux. Dans le but d’estimer la valeur de ces flux, une classe … Continue reading Séminaire Algorithmique : « Samplelim: un package R pour l’échantillonnage de solutions à un problème linéaire inverse »,Théo Grente (LMNO, Caen)
Séminaire Algorithmique : « Tough graphs and Hamiltonian degree conditions », Cléophée Robin (GREYC, Caen)
Sciences 3- S3 351A graph G is Hamiltonian if it exists a cycle in G containing all vertices of G exactly once. A graph G is t-tough if, for all subsets of vertices S, the number of connected components in G − S is at most |S| / t. We extended a theorem of Hoàng by proving the … Continue reading Séminaire Algorithmique : « Tough graphs and Hamiltonian degree conditions », Cléophée Robin (GREYC, Caen)
Séminaire Algorithmique : « Percolation Bootstrap (ou d’amorçage) sur les pavages de Penrose », Victor Lutfalla (I2M, Univ. Marseille)
Sciences 3- S3 351Les pavages de Penrose sont des pavages non-périodiques du plan par losanges. Dans cet exposé, je vais présenter la percolation dynamique sur ces pavages, c’est-à-dire un processus de contamination sur ces pavages depuis une configuration initiale aléatoire. Étant donné un pavage de Penrose, on met sur chaque tuile un état 0 ou 1. On fait … Continue reading Séminaire Algorithmique : « Percolation Bootstrap (ou d’amorçage) sur les pavages de Penrose », Victor Lutfalla (I2M, Univ. Marseille)
Séminaire Algorithmique : « Measuring robustness of dynamical systems. Relating time and space to length and precision », Manon Blanc (LIX, Ecole Polytechnique)
Sciences 3- S3 351Reasoning about dynamical systems evolving over the reals is well-known to lead to undecidability. However, various results in the literature have shown that decision procedures exist when restricting to robust systems, with a suitably-chosen notion of robustness. In particular, in verification, it has been established that if the state reachability is not sensitive to infinitesimal … Continue reading Séminaire Algorithmique : « Measuring robustness of dynamical systems. Relating time and space to length and precision », Manon Blanc (LIX, Ecole Polytechnique)
Séminaire Algorithmique : « Approximate Cartesian tree matching », Bastien Auvray (LITIS, Univ. Rouen)
Sciences 3- S3 351Le problème du pattern matching (trouver une ou toutes les occurrences d'un motif dans un texte) est un problème classique en informatique. L'algorithmique du texte propose de nombreuses solutions efficaces lorsque le motif et le texte sont des chaînes de caractères. Procéder à la recherche de motifs dans les séries temporelles se révèle plus délicat, … Continue reading Séminaire Algorithmique : « Approximate Cartesian tree matching », Bastien Auvray (LITIS, Univ. Rouen)
Séminaire Algorithmique : « State complexity: Inverting a language reduces the complexity of the root operation », Alexandre Durand (LITIS, Univ. Rouen)
Sciences 3- S3 351Automata (DFA) are state machines that accept or reject words. The set of words recognized by an automaton is its its language. Regular languages coincide with languages that can be recognized by automata. Here, we’re going to focus on a measure, namely state complexity. For rational languages, this is defined as the size of the … Continue reading Séminaire Algorithmique : « State complexity: Inverting a language reduces the complexity of the root operation », Alexandre Durand (LITIS, Univ. Rouen)
Séminaire IMAGE: « Self-Supervised Learning, Relational Learning and Multi-Domain Diffusion for Image Generation Under Constraints » (Romain Hérault, GREYC).
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenPour ce séminaire de rentrée, nous aurons le plaisir d’écouter Romain Hérault, professeur UFR Sciences UNICAEN qui fait partie de l'équipe IMAGE du GREYC, à Caen / France. Il donnera un séminaire IMAGE, le jeudi 11 janvier 2024, à 14h00, en salle de séminaire F-200. Titre: Self-Supervised Learning, Relational Learning and Multi-Domain Diffusion for Image … Continue reading Séminaire IMAGE: « Self-Supervised Learning, Relational Learning and Multi-Domain Diffusion for Image Generation Under Constraints » (Romain Hérault, GREYC).