Explore projects

Multivariate polynomial system solver

Magma implementations for the EUROCRYPT'13 paper "Graph-Theoretic Algorithms for the Isomorphism of Polynomials problem"

Algorithms to solve boolean polynomial systems

A usage example of the unofficial LiP6 Beamer theme at https://gitlab.lip6.fr/felsoci/beamerthemelip6.

ATEM is a novel framework for studying topic evolution in scientific archives. ATEM is based on dynamic topic modeling and dynamic graph embedding techniques that explore the dynamics of content and citations of documents within a scientific corpus. ATEM explores a new notion of contextual emergence for the discovery of emerging interdisciplinary research topics based on the dynamics of citation links in topic clusters. Our experiments show that ATEM can efficiently detect emerging cross-disciplinary topics within the DBLP archive of over five million computer science articles. paper: https://arxiv.org/abs/2306.02221

Alliance/Coriolis Toolkit & Checker contain various design flow examples, blocks or full chips. It is also used as a regression test for all the tools.

PCCMerge: a parallel method based on merging partial connected components in large graphs

INRIMAGE is a software dedicated to image processing

https://md.roflcopter.fr/s/rxJ124OZl#

Algorithms to learn Atoms Network model based on learning subset of labels