moteur de recherche

Archives

Les archives des événements LIGM

Séminaire Algo - Arnaud de Mesmay

Arnaud de Mesmay

Hard problems in three dimensions: Knots and embeddings

Seminar room - Copernic building

While it has been known since the seventies how to testwhether a graph is planar in linear time, the higher dimensional problem of testing embeddability of a 2-complex (or a 3-uniform hypergr...[details]


15-oct.-2019
Séminaire Algo - Cédric Bentz

Cédric Bentz

Complexité (paramétrée ou non) de problèmes d'optimisation dans les graphes

Seminar room 4B125 (Copernic building)

Abstract: Dans cet exposé, je présenterai des résultats récemment obtenus qui concernent des généralisations de problèmes classiques d'optimisation dans les gr...[details]


16-avril-2019
Séminaire Algo - Nathan Grosshans

Nathan Grosshans

The power of programs over monoids taken from some small varieties of finite monoids

Seminar room 4B125 (Copernic building)

Abstract: One major approach to the P vs NP question in computational complexity theory is to look for super-polynomial Boolean circuit lower boun...[details]


9-avril-2019
Séminaire Algo - Francesco Dolce

Francesco Dolce

Eventually dendric sets

Seminar room 4B125 (Copernic building)

Abstract: A factorial set of words is called eventually dendric if the possible extensions of all long enough words are described by a graph which is a tree. This new class of languages contains a number of c...[details]


2-avril-2019
Séminaire du LIGM - Tomas Recio

Tomas Recio

On GeoGebra Automated Reasoning Tools

Seminar room 4B125 (Copernic building)

Abstract: GeoGebra is a free/open source software developed within the

academic community. It is a dynamic mathematics software [HP] that bringstogether geometry, algebra, spreadsheets, graphing, s...[details]


1-avril-2019
Séminaire Algo - Sylvain Schmitz

Sylvain Schmitz

The complexity of reachability in vector addition systems

Seminar room 4B125 (Copernic building)

Abstract: The last few years have seen a surge of decision problems with an astronomical, non primitive-recursive complexity, in logic, verification, and games. While the exi...[details]


26-mars-2019
Séminaire Algo - Abdessalam Bouchekif

Abdessalam Bouchekif

Structuration automatique et l'analyse des sentiments

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

Abstract: 1) La structuration thématique est une tâche qui consiste à l’utilisateur de prendre rapidement connaissance de l’ensemble des thèmes traités dans un document conten...[details]


19-mars-2019
Séminaire Algo - Laurent Vuillon

Laurent Vuillon

Informatique théorique pour Maurice Nivat et pour les nombres de Markoff

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

Abstract: Dans cet exposé, nous allons présenter une partie des travaux de Maurice Nivat sur les pavages du plan par translation. Nous verrons les différents pro...[details]


19-mars-2019
Séminaire Algo - Yann Ponty

Yann Ponty

Complexité paramétrée pour le design d'ARN positif

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

Abstract:

Le design multiple (positif) d'ARN consiste à engendrer aléatoirement, uniformément ou dans une distribution de Boltzmann, m séquences de nucléotides sur {A,C,G,U}^n, compatible...[details]


12-mars-2019
Séminaire Algo - Andrey Kupavskii

Andrey Kupavskii

Extremal results for families with forbidden subconfigurations

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

A family is a collection of subsets of an n-element set. Extremal set theory questions typically ask for the largest families that satisfy certain restrictions. In this t...[details]


26-févr.-2019
Affichage des résultats 1 à 10 sur 364
<< Premier < Précédent 1-10 11-20 21-30 31-40 41-50 51-60 61-70 Suivant > Dernier >>