Search
About Schemata And Proofs – ASAP
The aim of this project is to develop theoretical frameworks for handling formula schemata and proof schemata in interactive (or automated) theorem proving, and use these schemata calculi to help in t
Achat Public et Capture de Rentes - Le Cas du Paraguay. – RENTSEP
The objective of the present project is to analyze the channels of rent-seeking and its impact on economic development by combining original theoretical work, using the tools from industrial organizat
Acide rétinoïque et diversité des patrons dentaires chez les poissons téléostéens – BOUILLABAISSE
A major objective of current research in zoology and evolutionary sciences is to understand the molecular basis of natural diversity. A powerful approach to identifying the developmental genetic basis
Aciers à densité réduite et à Rigidité augmentée – ADRERA
This project aims at acquiring the fundamental knowledge base for the development of a new generation of steels : Fe/TiB2 composites. This new generation of steel is clearly different from ultra high