back to Seminar-page
Abstracts (in reverse chronological order):
Spring 2006
- June 1, 2006
Speaker: Simon Bliudze
Title: Complex Industrial Systems
Abstract
In this talk I will present one of the main research
directions being developed in the "Complex Systems" team: the
systemic modelling. This research domain stems form the
observation that a large number of models exist in the industry for
something called "systems", even though it is difficult to find two
persons who would define this notion in the same way. Our goal is
therefore to develop a unified low level model for Complex Systems
that would encompass all practical systems (cf thesis of Church).
Without going into too much detail, our model can be seen as a
generalisation of the Turing machine with essentially three
modifications:
- temporisation (to reflect the intrinsic difference between
the clock speeds of different systems),
- input/output channels (to integrate the functional aspect
of complex systems),
- finally, using non-standard analysis allows us to treat in
the same manner discrete and continuous systems.
top
- Mai 18, 2006
Speaker: Luca Castelli
Title: Algorithmic geometry, mesh compression and succinct data structures
Abstract
Alors que par le passé l'effort des concepteurs d'algorithmes et
de structures de données a surtout porté sur la complexité en
temps des algorithmes, la conception de structures de données
optimales en mémoire a été l'objet de moins d'attention, au moins
en géométrie algorithmique.
On va alors chercher à construire des structures de données (dites
succinctes ou compactes) permettant de représenter
un objet avec plusieurs objectifs : 1- utiliser une taille mémoire
la plus proche possible de l'entropie 2- être capable de répondre
à certains types de requêtes en temps constant et éventuellement
3- être capable de modifier l'objet en temps (poly)logarithmique.
Dans cet exposé nous considérons en particulier le cas de
structures de données géométriques telles que les maillages
triangulaires et polygonaux: nous allons présenter quelques idées
à la base des méthodes de compression et codage compacte de ces
objets.
top
- Mai 4, 2006
Speaker: Xavier Dahan
Title: Modular methods: 2 or 3 things I know about
Abstract
The modular methods (Chinese remaindering theorem and
the Hensel lifting) are tools permitting to avoid the
blowing-up of the numbers during some mathematical algorithms,
where the coefficients are integers or rational numbers.
These techniques will be illustrated in the didactic example
of the determinant computation over Z. Then to
the polynomial systems solving case, by showing some
results obtained in the MAX team of the LIX.
top
- April 6, 2006
Speaker: David Baelde
Title: Une introduction à la théorie de la démonstration
Abstract
Je propose une introduction à la logique, ou plus précisemment à la
théorie de la démonstration, en différenciant brièvement cette
approche de quelques autres courants que l'on peut ranger dans la
catégorie "logique". Nous nous concentrerons sur la structure des
systèmes de déduction, autour du théorème d'élimination des coupures.
Nous présenterons ainsi trois systèmes mettant en évidence de plus en
plus de symétries: logique intuitionniste en déduction naturelle,
calcul des séquents pour la logique classique et enfin logique
linéaire. Nous montrons ce que l'on y gagne d'un point du vue de la
recherche de preuve, ce qui nous mène naturellement à présenter
finalement les interêts et travaux actuels de mon équipe (Parsifal) et
moi-même.
top
- March 2, 2006
Speaker: Claus Gwiggner
Title: Data Analysis and Formal Inference
Abstract
What are the general principles to reach conclusions from data?
In statistical modeling, one often assumes that the data is generated by a given probabilistic model.
In Machine Learning, one generally treats the data mechanism as unknown.
In this talk we look at conclusions that can and cannot be drawn with these paradigms.
Keywords: probabilistic model, algorithmic model, prediction, statistical inference
top