11èmes journées de la Société Française de chémoinformatique
les 11èmes journées de la Société Française de chémoinformatique se dérouleront les jeudi 5 et vendredi 6 octobre 2023 dans l'enceinte du château de Caen. L'événement est organisé conjointement par … Continue reading 11èmes journées de la Société Française de chémoinformatique
Séminaire Algorithmique : « The structure of quasi-transitive graphs avoiding a minor with applications to the Domino Conjecture », Ugo Giocanti (G-Scop, Univ. Grenoble)
Sciences 3- S3 351An infinite graph is quasi-transitive if the action of its automorphism group on its vertex set has finitely many orbits. Roughly speaking, this means that the graph has a lot … Continue reading Séminaire Algorithmique : « The structure of quasi-transitive graphs avoiding a minor with applications to the Domino Conjecture », Ugo Giocanti (G-Scop, Univ. Grenoble)
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 … 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, … 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 … 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 … 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 … 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 … 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 … 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 … 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 … 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 … Continue reading Séminaire Algorithmique : « Approximate Cartesian tree matching », Bastien Auvray (LITIS, Univ. Rouen)