Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».
Sciences 3- S3 351Il est fréquent de manipuler des valeurs numériques avec des contraintes non explicitées par leur types. Par exemple, les intervalles sont des couples de nombres avec la contraintes que le … Continue reading Séminaire ALGO : Vincent Botbol (Nomadic labs.), Matthieu Dien (GREYC) et Ghiles Ziat (IRIF, Univ. Paris), « Génération de tests aléatoires pour des types numériques contraints ».
Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Sciences 3- S3 351Résumé : In this work we develop Monte-Carlo model checking techniques to evaluate quantitative properties of timed languages. Our approach is based on uniform random sampling of behaviors, as opposed … Continue reading Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
Sciences 3- S3 351Les protocoles de sécurité modernes dans la plupart de nos systèmes reposent principalement sur trois fonctions de base de la cryptographie asymétrique : le chiffrement à clé publique, la signature … Continue reading Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Sciences 3- S3 351La dominance cyclique est un phénomène où différents états (espèces, stratégies...) sont dans une relation cyclique de proie à prédateur : A mange B mange C mange A. Il s'agit … Continue reading Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».
Sciences 3- S3 351Résumé : On appelle sous-shift (ou sous-décalage) un ensemble de pavages ou de coloriages du plan respectant certaines contraintes locales. Historiquement introduits comme discrétisations de systèmes dynamiques continus, on se … Continue reading Séminaire ALGO : Léo Pavlet Salomon (GREYC), « Groupe fondamental et pavages du plan: quelques constructions ».
Séminaire ALGO : Olivier Bournez (LIX, Ecole Polytechnique), « Computing with analog models. Computing with ordinary differential equations ».
Abstract : Differential equations is some universal language in many contexts, and in particular in experimental sciences. Motivated initially by analog models of computation, we will review various results demonstrating … Continue reading Séminaire ALGO : Olivier Bournez (LIX, Ecole Polytechnique), « Computing with analog models. Computing with ordinary differential equations ».
Séminaire IMAGE : Quentin Bertrand (MILA), « Hyperparameter selection for high dimensional sparse learning: application to neuro-imaging »
En distancielSpeaker: Quentin Bertrand (https://qb3.github.io/) Abstract: Due to non-invasiveness and excellent time resolution, magneto- and electroencephalography (M/EEG) have emerged as tools of choice to monitor brain activity. Reconstructing brain signals from … Continue reading Séminaire IMAGE : Quentin Bertrand (MILA), « Hyperparameter selection for high dimensional sparse learning: application to neuro-imaging »
Le GREYC recherche un-e Gestionnaire financier-e et comptable
Ce poste est disponible en mobilité interne au CNRS : cliquez-ici
Parité : Osez les métiers du numérique !
Du 8 au 16 décembre 2021, le laboratoire GREYC, l’ENSICAEN, le CNRS notamment l’INS2I et l’Université de Caen Normandie lancent une campagne de communication : « Osez les métiers du numérique » pour … Continue reading Parité : Osez les métiers du numérique !
Postes de MC et PR au GREYC
Les postes suivants sont ouverts au concours 2022 à l'Université de Caen Normandie : Un poste de MC en Informatique avec un profil en cybersécurité, Un poste de PR en … Continue reading Postes de MC et PR au GREYC
Inauguration labcom IPDN MURATA CNRS
La filiale française de Murata, fabricant japonais de composants électroniques passifs, crée, avec trois laboratoires de recherche du CNRS (le CIMAP, le CRISMAT et le GREYC) , le laboratoire commun … Continue reading Inauguration labcom IPDN MURATA CNRS
Séminaire IMAGE : Vision par ordinateur au service du patrimoine culturel (Matthieu Pizenberg)
ENSICAEN - Batiment F - Salle F-200 6 Bd Maréchal Juin , CaenTitre : Vision par ordinateur au service du patrimoine culturel Résumé : Cette présentation d'environ 1h résume l'ensemble des travaux auxquels j'ai participé pendant ces deux dernières années de post-doctorat dans l'équipe … Continue reading Séminaire IMAGE : Vision par ordinateur au service du patrimoine culturel (Matthieu Pizenberg)