-
The place of words and numbers in psychiatric research.
International audience -
FROM LOCAL TO GLOBAL EQUILIBRIUM STATES: THERMODYNAMIC FORMALISM VIA AN INDUC...
Note de synthèse présentant une méthode de construction de mesures d'équilibres basée sur plusieurs travaux. -
Deriving Semantic Objects from the Structured Web
This thesis focuses on the extraction and analysis of Web data objects, investigated from different points of view: temporal, structural, semantic. We first survey... -
A pragmatic reconstruction of Lambda-Prolog
International audience -
The timing of leaf fall affects cold acclimation by interactions withair temp...
Three parameters (i.e. the water content, soluble sugar content and minimal air temperature) can be used to predict the cold acclimation process of walnut trees. In... -
Constructing orders by means of inductive definitions
Rapport interne. -
Integrating decision procedures in Spike
Rapport interne. -
Induction for Termination
Rapport interne. -
Induction for termination
Rapport interne. -
Pliage et récurrence pour le construction de programme
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. -
Outermost ground termination
Article dans revue scientifique avec comité de lecture. internationale. -
Innermost sufficient completeness
Rapport interne. -
Proving weak termination also provides the right way to terminate
Article soumis a European joint conference on Theory And Practice of Software (ETAPS) 2004.. Rapport interne. -
Induction as Deduction Modulo
Rapport interne. -
Biochemical, Transcriptional and Translational Evidences of the Phenol-meta-D...
Phenol is a widespread pollutant and a model molecule to study the biodegradation of monoaromatic compounds. After a first oxidation step leading to catechol in...
