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)
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 … 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 … Continue reading Séminaire IMAGE: « Self-Supervised Learning, Relational Learning and Multi-Domain Diffusion for Image Generation Under Constraints » (Romain Hérault, GREYC).
Séminaire Algorithmique : « Learning Linear Temporal Logic », Nathanaël Fijalkow (CNRS, LaBRI, Univ. Bordeaux)
Sciences 3- S3 351We consider the problem of learning a logical formula from a set of positive and negative examples. The logic we target is Linear Temporal Logic (LTL), a prominent formalism in … Continue reading Séminaire Algorithmique : « Learning Linear Temporal Logic », Nathanaël Fijalkow (CNRS, LaBRI, Univ. Bordeaux)
Séminaire Algorithmique : « Untangling Graphs on Surfaces », Loïc Dubois (LIGM, Univ. G.Eiffel)
Sciences 3- S3 351Consider a graph drawn on a surface (for example, the plane minus a finite set of obstacle points), possibly with crossings. We provide a polynomial time algorithm to decide whether … Continue reading Séminaire Algorithmique : « Untangling Graphs on Surfaces », Loïc Dubois (LIGM, Univ. G.Eiffel)