Explore projects

AAMAS 2017 - A Declarative Modular Framework for Representing and Applying Ethical Principles

Corrigé du TME sur le calcul de π à grande précision

A python library for multiprecision Affine Arithmetic

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.

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.

Alliance VLSI EDA. A complete set of GPL tools to design an ASIC.

Implementing deep reinforcement learning algorithms for the ICGA competition.

This repo has been moved to Github: https://github.com/itoumlilt/Colony.

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

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

A blockgraph for mesh networks

The BoolEAN POLynomial Evaluation library