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...[more]

7-Apr-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 ...[more]

31-Mar-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...[more]

12-Mar-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...[more]

10-Mar-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...[more]

3-Mar-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é...[more]

25-Feb-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...[more]

28-Jan-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...[more]

21-Jan-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...[more]

14-Jan-2020

Assia Outamazirt

Un nouveau modèle analytique pour le calcul de l'élasticité dans le cloud computing

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

Une des caractéristiques fondamentales du cloud computing est son élasticité. Il s'agit de la capacité à adapter dynamiquement la consommation de res...[more]

7-Jan-2020