Séminaire Algorithmique : « Développement asymptotique complet pour les systèmes algébriques et au-delà », Olivier Bodini (LIPN, Univ. Paris-Nord)
Sciences 3- S3 351Nous montrons dans cet exposé comment obtenir de manière algorithmique un développement asymptotique à tous les ordres pour les systèmes algébriques et donnons quelques clefs pour une généralisation pour certains systèmes différentiellement algébriques.
Imen Chtourou – La Réidentification des personnes basées sur la démarche en,présence de facteurs covariants
En distancielLa biométrie, et en particulier la reconnaissance de la démarche, joue un rôle crucial dans les applications de vidéosurveillance. Contrairement à d'autres méthodes de reconnaissance biométrique qui nécessitent une proximité physique comme le visage. La démarche peut être capturée et analysée à distance, offrant ainsi une solution non intrusive et moins contraignante pour la réidentification … Continue reading Imen Chtourou – La Réidentification des personnes basées sur la démarche en,présence de facteurs covariants
Sondes Ajili – A two level security watermarking/encryption schema to ensure the protection of medical images
En distancielLa protection des images médicales est d'une importance cruciale pour garantir la confidentialité des informations des patients et la sécurité des données médicales. Dans cette présentation, nous aborderons un schéma de tatouage numérique à deux niveaux, combinant tatouage et cryptage, conçu pour sécuriser les images médicales sensibles. Le schéma proposé repose sur deux niveaux de … Continue reading Sondes Ajili – A two level security watermarking/encryption schema to ensure the protection of medical images
Séminaire Algorithmique : « Domination in subcubic graphs: swapping numbers », Paul Dorbec (GREYC, Caen)
Sciences 3- S3 351In 1996, Bruce Reed worked on domination in cubic graphs, and came to the conclusion that 1/3 of the vertices should suffice in dominating connected cubic graphs. Things are not that simple as there are some counter-examples, but the problem still attracted attention (and gave birth to conjectures). In 2008, Lowenstein and Rautenbach made a … Continue reading Séminaire Algorithmique : « Domination in subcubic graphs: swapping numbers », Paul Dorbec (GREYC, Caen)
Recrutement d’un technicien BAP E en NOEMI CNRS
Le laboratoire GREYC recrute un technicien BAP E (NOEMI CNRS), n'hésitez pas à candidater ! Pour des détails consulter ce lien.
Recrutement de 6 enseignant.e.s-chercheur.se.s en TAL, Apprentissage, IA et Algorithmique, Sécurité Informatique(CPER avec charge d’enseignement réduite)
Dans le cadre des projets CMA SATIN, NORMANTHIIA et CYRCE, l'Université de Caen Normandie recrute six enseignant.e.s-chercheur.se.s en traitement automatique des langues, apprentissage machine, intelligence artificielle et algorithmique, et sécurité informatique (contrats de projet d’enseignement et de recherche avec charge d'enseignement réduite). La personne recrutée sera rattachée au département MIM de l'UFR des Sciences et … Continue reading Recrutement de 6 enseignant.e.s-chercheur.se.s en TAL, Apprentissage, IA et Algorithmique, Sécurité Informatique(CPER avec charge d’enseignement réduite)
Recrutement d’un apprenti de BUT 3 INFO pour le développement et déploiement de logiciels de recherche
Le service Développement et Déploiement d'applications (DDA) du laboratoire GREYC UMR CNRS 6072 souhaite recruter un apprenti de BUT 3A INFO afin de maintenir, déployer et documenter des applications logicielles portant sur ses activités de recherche. Retrouvez cette offre sur notre rubrique emploi à https://www.greyc.fr/laboratoire/#OffresPosteNonPermanent
Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Julien Grange (LACL, Univ. Paris-Est Créteil)
Salle à déterminerWe carry on the study initiated by Bérard et al. of the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems are modeled by data words (i.e. finite or infinite words were positions are labeled by an unbounded alphabet), and specifications are given … Continue reading Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Julien Grange (LACL, Univ. Paris-Est Créteil)
Séminaire Algorithmique « History-deterministic and explorable automata », Denis Kuperberg (LIP, ENS Lyon)
Sciences 3- S3 351History-deterministic automata are intermediary between deterministic and nondeterministic ones, and have been the object of thorough study in the last decade. They offer a way to get a better grasp of the power of nondeterminism, by allowing only some aspects of it: nondeterministic choices are allowed to depend on the past of the computation but … Continue reading Séminaire Algorithmique « History-deterministic and explorable automata », Denis Kuperberg (LIP, ENS Lyon)
Recrutement à l’IUT GON de 4 enseignant.e.s-chercheur.se.s en Informatique, IA pour les gestion et l’analyse des données, sécurité Informatique (CPER avec charge d’enseignement réduite)
Dans le cadre des projets CMA NORMANTHIIA et CYRCE, l'Université de Caen Normandie recrute quatre enseignant.e.s-chercheur.se.s en informatique, intelligence artificielle pour la gestion et l'analyse des données, et sécurité informatique (contrats de projet d’enseignement et de recherche avec charge d'enseignement réduite). La personne recrutée sera rattachée aux départements Informatique, Réseaux et Télécom ou Sciences des … Continue reading Recrutement à l’IUT GON de 4 enseignant.e.s-chercheur.se.s en Informatique, IA pour les gestion et l’analyse des données, sécurité Informatique (CPER avec charge d’enseignement réduite)
Séminaire Algorithmique : « Computability of extender sets in multidimensional subshifts », Léo Paviet Salomon (GREYC, Caen)
Sciences 3- S3 351A classical result from the theory of formal languages, the Myhill-Nerode theorem, gives a necessary and sufficient condition in terms of congruence classes for a language to be regular. In this talk, we try to adapt this result to the case of subshifts, in which we consider potentially multidimensional infinite configurations rather than finite words. … Continue reading Séminaire Algorithmique : « Computability of extender sets in multidimensional subshifts », Léo Paviet Salomon (GREYC, Caen)
Journée 2024 du laboratoire GREYC : 21 Juin 2024
La journée 2024 du GREYC aura lieu à la CCI de Caen (1 Rue René Cassin, 14280 Saint-Contest) le 21 Juin 2024. Au programme : présentations, démonstrations ! Inscriptions à https://tinyurl.com/greyc2024 Consultez le programme