Kim Thang Nguyen

Méthodes primal-dual avec la programmation linéaire des configurations

En ligne sur Zoom...

La méthode primal-dual est une méthode élégante et puissante en optimisation et en algorithmique. La méthode consiste à établir de manière interactive des solutions primales et duales, pui...[details]

21-avril-2020

Rémi Forax

Algebraic Data Types and Pattern Matching in Java

Lieu : en ligne

Dans un papier de 1997, devenu depuis un classique, Philip Wadler et Martin Odersky [1] expliquent que l'on peut ajouter à Java les types paramétrés, les lambdas et le pattern matching sur les types de données algébrique...[details]

7-avril-2020

Gregory Kucherov

Recent trends in biological sequence analysis

Lieu : en ligne

Massive genome sequencing turned bioinformatics into a big data field. This led to a paradigm change in biological sequence analysis: alignment-based algorithms are now substituted by alignment-free algorithms. I will ...[details]

31-mars-2020

Un séminaire de l'équipe A3SI du LIGM aura lieu jeudi 12 mars à 13h30  à ESIEE Paris (amphi 260). Hugues Talbot nous présentera ses travaux sur "Vascular networks, from low-level vision to generative models"

Vascular networks, from low-level vision to generative m...[details]

12-mars-2020

Amazigh Amrane

Scattered and countable series-parallel posets : logic and equational theory

Salle de séminaire (4B125) - Bâtiment Copernic

Abstract: Since it was established by Büchi, Elgot and Trakhtenbrot in the early 60's, the connection between automata theory and formal logic has been intens...[details]

10-mars-2020

Serghei Verlan

Implémentations matérielles efficaces des modèles de calcul non-conventionnel

Salle de séminaire (4B125) - Bâtiment Copernic

Abstract: Les modèles de calcul non-conventionnel permettent d'avoir une approche différente pour la résolution des différents problèmes, plus particulièreme...[details]

3-mars-2020

Pascal Vanier

Points apériodiques dans les espaces de pavage bidimensionnels

Salle de séminaire (4B125) - Bâtiment Copernic

Abstract: La théorie des espaces de pavages a été profondément façonnée par le résultat historique de Berger : un jeu de tuiles fini peut ne paver le plan que de manière apé...[details]

25-févr.-2020

Hervé Fournier

Monotone lower bounds for algebraic computations via nonnegative rank measures

Salle de séminaire (4B125) - Bâtiment Copernic

Abstract: Inspired by Nisan's characterization of noncommutative complexity (Nisan 1991), we study different notions of nonnegative rank, associated comple...[details]

28-janv.-2020

Michael Wallner

Stretched exponentials for compacted binary trees and a class of minimal automata

Salle de séminaire (4B125) - Bâtiment Copernic

Abstract: A compacted binary tree is a directed acyclic graph encoding a binary tree in which common subtrees are factored and shared, such that they ar...[details]

21-janv.-2020

Dominique Revuz

Conception et développement d'un assistant pour l'enseignement

Salle de séminaire (4B125) - Bâtiment Copernic

Une plateforme internet évolutive, gratuite, ouverte, partagé et communautaire, basée sur des fondements scientifiques solides, une approche didactique et pédagogique incl...[details]

14-janv.-2020