GALaC team at LRI, Paris-Sud
GALaC is a research group at LRI, Paris-Sud University. We are focused on graph theory, combinatorics and network distributed systems algorithmic.
A global presentation of research activities in GALaC was made in 2013 for the AERES evaluation: Slides AERES 2013 and projet.
Recent Posts
(Reported to unkwown date) Programming computing media
summary: We consider computing media consisting of billions of small identical Processing Elements (PE) communicating locally in space, and with an homogeneous and isotropic distribution. Computing media can scale arbitrary in size. Thus, they represent parallel architectures whose power can grow without limit. However, programming computing media is difficult.
In ...
(Reported to unkwown date) The Bron-Kerbosch algorithm with vertex ordering is output sensitive.
summary: The Bron-Kerbosch algorithm is a well known maximal clique enumeration algorithm. So far it was unknown whether it was output sensitive or not. In this paper we partially answer this question by proving that the Bron-Kerbosch Algorithm with vertex ordering, first introduced and studied by Eppstein, Löffler and Strash ...
Counting linear regions for neural networks verification
https://bbb.lri.fr/playback/presentation/2.0/playback.html?meetingId=39bbfe5742a821b16c1d6669a8ef00da2d072c73-1606295770581
Neural networks are becoming an increasingly popular class of programs. However, their relative lack of safety presents an obstacle to their wide acceptance yet to be tackled. To approximate complex behaviours, neural networks rely on piece-wise linear activation ...
Énumération de cartes bicolorées au bord exotique
Les cartes bicolorées peuvent être vues comme un cas particulier du modèle d'Ising. Ainsi, dans le cas d'une condition au bord monochromatique par exemple, très habituelle pour le modèle d'Ising, leur énumération est bien connue. Cependant, elles apparaissent aussi dans certains modèles de cartes aléatoires, avec des ...
Corrélations discrètes d’ordre 2 de certaines suites automatiques
Résumé : Une suite k-automatique est une suite qui peut être calculée par un automate fini de la manière suivante : le n-ième terme de la suite est fonction de l'état atteint par l’automate après lecture de la représentation de l'entier n en base k. Ces suites peuvent également ...
Translations: fr