Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve (une étude dans le cadre du système Coq)

Apprentissage de règles à partir de données multi-instances

CHEVALEYRE, Yann
ZUCKER, Jean-Daniel

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Arbres, excursions et processus de Lévy complètement asymétriques

LAMBERT, Amaury
BERTOIN, Jean

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

L'émergence d'un lexique dans une population d'agents autonomes

KAPLAN, Frédéric
DROGOUL, Alexis

January 2000

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Conception de collecticiels pour la gestion coopérative des connaissances

LEWKOWICZ, Myriam
ZACKLAD, Manuel

January 2000

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Démarche méthodologique de conception de systèmes d'information coopératifs interagents pour la gestion des connaissances

BOUGHZALA, Imed
POMEROL, Jean-Charles

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Méthodes d'aide à la conception pour l'optimisation de la sécurité passive des véhicules

RICHARD, Lionel
DUVAUT, Georges

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Outils pour les langages d'experts (adaptation, refactoring et réflexivité)

RAZAVI EBRAHIMI, Seyed Reza
PERROT, Jean-François

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Méthodes itératives appliquées au décodage efficace de combinaisons de codes en treillis

BERTHET, Antoine Olivier
ALQUIE, Georges

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Conception et élaboration d'un système à base de règles floues pour le traitement d'information chimique

KISSI, Mohamed
BOUCHON-MEUNIER, Bernadette

January 2004

PARIS-BIUSJ-Thèses (751052125) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSudocFranceF

Problèmes de Galois et nombres algébriques réciproques

LALANDE, Franck
BERTIN, Marie-José

January 2000

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Echanges de spécifications hétérogènes et réparties

BLANC, Xavier
GERVAIS, Marie-Pierre

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Recherche d'étoiles du voisinage solaire par mouvement propre

GOLDMAN, Bertrand
AUBOURG, Eric

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

CONCEPTION ET REALISATION D'UN SUPPORT A MEMOIRE PARTAGEE REPARTIE POUR DES GRAPPES DE STATIONS INTER-CONNECTEES

BEZERRA ARANTES, LUCIANA
FOLLIOT, Bertil

January 2000

PARIS-BIUSJ-Mathématiques rech (751052111) / SudocCentre Technique Livre Ens. Sup. (774682301) / Sud...

Des chaînes aux réseaux trophiques (rôle de la diversité fonctionnelle dans le fonctionnement des écosystèmes)

HULOT, Florence
LOREAU, Michel

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Conception en vue de la réutilisation de circuits analogiques (application)

DESSOUKY, Mohamed
GREINER, Alain

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Apprentissage de règles à partir de données multi-instances

CHEVALEYRE, Yann
ZUCKER, Jean-Daniel

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Arbres, excursions et processus de Lévy complètement asymétriques

LAMBERT, Amaury
BERTOIN, Jean

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

L'émergence d'un lexique dans une population d'agents autonomes

KAPLAN, Frédéric
DROGOUL, Alexis

January 2000

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Conception de collecticiels pour la gestion coopérative des connaissances

LEWKOWICZ, Myriam
ZACKLAD, Manuel

January 2000

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Démarche méthodologique de conception de systèmes d'information coopératifs interagents pour la gestion des connaissances

BOUGHZALA, Imed
POMEROL, Jean-Charles

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Méthodes d'aide à la conception pour l'optimisation de la sécurité passive des véhicules

RICHARD, Lionel
DUVAUT, Georges

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Outils pour les langages d'experts (adaptation, refactoring et réflexivité)

RAZAVI EBRAHIMI, Seyed Reza
PERROT, Jean-François

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Méthodes itératives appliquées au décodage efficace de combinaisons de codes en treillis

BERTHET, Antoine Olivier
ALQUIE, Georges

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Conception et élaboration d'un système à base de règles floues pour le traitement d'information chimique

KISSI, Mohamed
BOUCHON-MEUNIER, Bernadette

January 2004

PARIS-BIUSJ-Thèses (751052125) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSudocFranceF

Problèmes de Galois et nombres algébriques réciproques

LALANDE, Franck
BERTIN, Marie-José

January 2000

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Echanges de spécifications hétérogènes et réparties

BLANC, Xavier
GERVAIS, Marie-Pierre

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Recherche d'étoiles du voisinage solaire par mouvement propre

GOLDMAN, Bertrand
AUBOURG, Eric

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

CONCEPTION ET REALISATION D'UN SUPPORT A MEMOIRE PARTAGEE REPARTIE POUR DES GRAPPES DE STATIONS INTER-CONNECTEES

BEZERRA ARANTES, LUCIANA
FOLLIOT, Bertil

January 2000

PARIS-BIUSJ-Mathématiques rech (751052111) / SudocCentre Technique Livre Ens. Sup. (774682301) / Sud...

Des chaînes aux réseaux trophiques (rôle de la diversité fonctionnelle dans le fonctionnement des écosystèmes)

HULOT, Florence
LOREAU, Michel

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Conception en vue de la réutilisation de circuits analogiques (application)

DESSOUKY, Mohamed
GREINER, Alain

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Apprentissage de règles à partir de données multi-instances

CHEVALEYRE, Yann
ZUCKER, Jean-Daniel

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Arbres, excursions et processus de Lévy complètement asymétriques

LAMBERT, Amaury
BERTOIN, Jean

January 2001

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

L'émergence d'un lexique dans une population d'agents autonomes

KAPLAN, Frédéric
DROGOUL, Alexis

January 2000

PARIS-BIUSJ-Thèses (751052125) / SudocCentre Technique Livre Ens. Sup. (774682301) / SudocPARIS-BIUS...

Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve (une étude dans le cadre du système Coq)

Abstract

Extracted data

Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve (une étude dans le cadre du système Coq)

Abstract

Extracted data

Related items

Related items