-
Complexité d'un algorithme, une question cruciale et abordable
National audience -
Algorithmes Branch&Bound Pair-à-Pair pour Grilles de Calcul
In this thesis, we describe and analyze a fully distributed approach for parallel Branch-and-Bound. The approach is completely decentralized, that is computational... -
Metabolism and translation of mitochondrial RNA in the yeast S. pombd
Mitochondria are organelles present in most eukaryotic cells and specialized in the production of energy via the respiratory chain located in their inner membrane.... -
V2O3(0001)/Au(111) and /W(110): Growth, Electronic Structure and Adsorption P...
In this work, we firstly showed that it is possible to grow thin<br />V2O3(0001) films on Au(111) and W(110). The preparation process<br />consists of an... -
RPO constraint solving is in NP
Colloque avec actes et comité de lecture. -
RPO constraint solving is in NP
Rapport interne. -
Encoding the Hydra battle as a rewrite system
Colloque avec actes et comité de lecture. -
Decidable Approximations of Sets of Descendants and Sets of Normal forms
Colloque avec actes et comité de lecture. -
Light Multiset path ordering and Ptime - Two is better than one
Rapport interne. -
Induction for Termination
Rapport interne. -
Termination and normalisation under strategies--Proofs in ELAN
Colloque avec actes et comité de lecture. internationale. -
Correctness of the FPNA neural paradigm
Rapport interne. -
Induction for termination
Rapport interne. -
CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Ext...
Version étendue d'un article publié dans les actes de :"Fourth International Conference on Principles and Practice of Declarative Programming", Pitsburgh, USA, Octobre 2002, ACM... -
CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction
Colloque sur invitation. internationale. -
Simplification and Termination of Strategies in Rule-Based Languages
Colloque avec actes et comité de lecture. internationale. -
Outermost ground termination
Article dans revue scientifique avec comité de lecture. internationale. -
Aide à la preuve et à la validation en programmation par règles
Stage de DEA. Rapport de stage. -
Certification des preuves de terminaison par interprétations polynomiales
Stage de DEA. Rapport de stage.
