Improving the efficiency of AC matching and unification

Sur la differenciation d'une onde harmonique par un obstacle borne

Despres, Bruno
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13687 / INIST-CNRS - ...

Etude bibliographique sur l'implementation du rendez-vous n-aire

Roge, Sylvie
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15442 / INIST-CNRS - ...

Comparaison technico-economique murs simples/murs doubles

Plan Construction et Architecture, 92 - Puteaux (France)
Centre Experimental de Recherches et d'Etudes du Batiment et des Travaux Publics, 75 - Paris (France)
Centre d'Etudes et de Recherches de l'Industrie du Beton Manufacture, 28 - Epernon (France)
Centre Scientifique et Technique du Batiment, 75 - Paris (France)
Centre Technique des Tuiles et Briques, 92 - Clamart (France)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12639 / INIST-CNRS - ...

Le bruitage Une methode prometteuse d'optimisation combinatoire

Charon, Irene
Hudry, Olivier
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11167 / INIST-CNRS - ...

Combination of matching algorithms

Ringeissen, Christophe
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 12809 / INIST-CNRS - Ins...

AC-unification race The system solving approach, implementation and benchmarks

Adi, Mohamed
Kirchner, Claude
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10750 ...

Optimisation de la production d'acier en coulee continue Approches pour un grand probleme combinatoire

Boctor, Fouad Fayez
Tremolieres, Raymond
Aix-Marseille-3 Univ., 13 - Puyricard (France). Centre d'Etude et de Recherche sur les Organisations et la Gestion

January 1980

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11050 / INIST-CNRS - ...

Optimisation de systemes energetiques produisant de la chaleur industrielle a partir du rayonnement solaire et d'une source complementaire

Peri, G.
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Corse Univ., 20 - Ajaccio (France). Lab. d'Helioenergetique
Centre National de la Recherche Scientifique (CNRS), 2A - Ajaccio (France). Lab. d'Helioenergetique

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 13982 / INIST-CNRS - ...

Efficacite et GTAO dans les entreprises de tissage

Laurent, Herve
Jarrigeon
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Institut Textile de France, 69 - Ecully (France)
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Economie des Changements Technologiques
Lyon-2 Univ., 69 (France). Economie des Changements Technologiques
Groupe International de Recherche en Theorie et Analyse Scientifique des Systemes (GI-TASS), 69 - Lyon (France)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14069 / INIST-CNRS - ...

Automatisation integree de la production

Lombard, Muriel
Bounab, Malek
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12605 / INIST-CNRS - ...

Combining second order matching and first order E-matching

Curien, Regis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11789 / INIST-CNRS - ...

Effort pour l'environnement et competitivite des entreprises

Breuil, Jean-Martial
Commissariat General du Plan, 75 - Paris (France)
Rexervices, 75 - Paris (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : RP 13010 / INIST-CNRS - Insti...

Information communication et services

Fleury, B.
Gille, L.
Chamoux, J.P.
Commissariat General du Plan, 75 - Paris (France)

January 1993

rapport de syntheseAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12182 /...

Methodes d'optimisation dans un contexte productique

Elomri, Amina

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 83360 / INIST-CNRS - Inst...

Optimisation et evaluation de la transmission THEMIS

Regie Autonome des Transports Parisiens (RATP), 75 - Paris (France). Groupement Essais-Prototypes
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 400 (1529) / INIST-CN...

Sur la differenciation d'une onde harmonique par un obstacle borne

Despres, Bruno
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13687 / INIST-CNRS - ...

Etude bibliographique sur l'implementation du rendez-vous n-aire

Roge, Sylvie
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15442 / INIST-CNRS - ...

Comparaison technico-economique murs simples/murs doubles

Plan Construction et Architecture, 92 - Puteaux (France)
Centre Experimental de Recherches et d'Etudes du Batiment et des Travaux Publics, 75 - Paris (France)
Centre d'Etudes et de Recherches de l'Industrie du Beton Manufacture, 28 - Epernon (France)
Centre Scientifique et Technique du Batiment, 75 - Paris (France)
Centre Technique des Tuiles et Briques, 92 - Clamart (France)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12639 / INIST-CNRS - ...

Le bruitage Une methode prometteuse d'optimisation combinatoire

Charon, Irene
Hudry, Olivier
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11167 / INIST-CNRS - ...

Combination of matching algorithms

Ringeissen, Christophe
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 12809 / INIST-CNRS - Ins...

AC-unification race The system solving approach, implementation and benchmarks

Adi, Mohamed
Kirchner, Claude
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10750 ...

Optimisation de la production d'acier en coulee continue Approches pour un grand probleme combinatoire

Boctor, Fouad Fayez
Tremolieres, Raymond
Aix-Marseille-3 Univ., 13 - Puyricard (France). Centre d'Etude et de Recherche sur les Organisations et la Gestion

January 1980

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11050 / INIST-CNRS - ...

Optimisation de systemes energetiques produisant de la chaleur industrielle a partir du rayonnement solaire et d'une source complementaire

Peri, G.
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Corse Univ., 20 - Ajaccio (France). Lab. d'Helioenergetique
Centre National de la Recherche Scientifique (CNRS), 2A - Ajaccio (France). Lab. d'Helioenergetique

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 13982 / INIST-CNRS - ...

Efficacite et GTAO dans les entreprises de tissage

Laurent, Herve
Jarrigeon
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Institut Textile de France, 69 - Ecully (France)
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Economie des Changements Technologiques
Lyon-2 Univ., 69 (France). Economie des Changements Technologiques
Groupe International de Recherche en Theorie et Analyse Scientifique des Systemes (GI-TASS), 69 - Lyon (France)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14069 / INIST-CNRS - ...

Automatisation integree de la production

Lombard, Muriel
Bounab, Malek
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12605 / INIST-CNRS - ...

Combining second order matching and first order E-matching

Curien, Regis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11789 / INIST-CNRS - ...

Effort pour l'environnement et competitivite des entreprises

Breuil, Jean-Martial
Commissariat General du Plan, 75 - Paris (France)
Rexervices, 75 - Paris (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : RP 13010 / INIST-CNRS - Insti...

Information communication et services

Fleury, B.
Gille, L.
Chamoux, J.P.
Commissariat General du Plan, 75 - Paris (France)

January 1993

rapport de syntheseAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12182 /...

Methodes d'optimisation dans un contexte productique

Elomri, Amina

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 83360 / INIST-CNRS - Inst...

Optimisation et evaluation de la transmission THEMIS

Regie Autonome des Transports Parisiens (RATP), 75 - Paris (France). Groupement Essais-Prototypes
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 400 (1529) / INIST-CN...

Sur la differenciation d'une onde harmonique par un obstacle borne

Despres, Bruno
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13687 / INIST-CNRS - ...

Etude bibliographique sur l'implementation du rendez-vous n-aire

Roge, Sylvie
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15442 / INIST-CNRS - ...

Comparaison technico-economique murs simples/murs doubles

Plan Construction et Architecture, 92 - Puteaux (France)
Centre Experimental de Recherches et d'Etudes du Batiment et des Travaux Publics, 75 - Paris (France)
Centre d'Etudes et de Recherches de l'Industrie du Beton Manufacture, 28 - Epernon (France)
Centre Scientifique et Technique du Batiment, 75 - Paris (France)
Centre Technique des Tuiles et Briques, 92 - Clamart (France)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12639 / INIST-CNRS - ...

Improving the efficiency of AC matching and unification

Abstract

Extracted data

Improving the efficiency of AC matching and unification

Abstract

Extracted data

Related items

Related items