mirage

Browsing by Title

DSpace/Manakin Repository

Browsing by Title

Sort by: Order: Results:

  • CHLOE : logiciel de calcul des interactions entre les ondes électromagnétiques et les hydrométéores
    Centre de recherches en physique de l'environnement terrestre et planétaire; Gloaguen, C.; Rafizadeh, M.; Lavergnat, J. (CRPE, 1992-03)
    Une averse de pluie affaiblit-elle plus une onde électromagnétique qu'une chute de neige sèche? Est-ce que la température de l'eau joue un rôle important? Comment une goutte d'eau de forme sphéroïdale diffuse-t-elle l'énergie ...
  • Choisir l'emploi : rapport du groupe "Emploi"
    Brunhes, Bernard; Gauvin, Annie; Barbezieux, Philippe; Devys, Christophe; Husson, Michel; Sigonney, Pierre; Commissariat général du Plan (1993-01)
    Un taux de chômage élevé, un nombre important de chômeurs de longue durée, des perspectives peu encourageantes dans les scénarios établis à l'occasion de la préparation du XV Plan (1993-1997) : notre pays doit réagir contre ...
  • Choix d'un service de communication pour un serveur vidéo tolérant aux pannes : étude du service GM.
    Laboratoire de l'informatique du parallélisme; Bonhomme, Alice; Prylli, Loïc (1999-02)
    (eng) In the context of a video server project, we look at fault tolerant communication services. As the Myrinet network has been selected for this project, we focus on the GM system, which has the appropriate properties, ...
  • Le chômage involontaire dans les analyses du circuit
    Bouvet, Patrice; CNRS, Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon, Laboratoire d'analyse et de techniques économiques, Dijon, FRA (1994)
  • Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals
    Laboratoire de l'informatique du parallélisme; Kornerup, Peter; Muller, Jean-Michel (2002-12)
    (eng) We aim at finding the best possible seed values when computing reciprocals, square-roots and square-root reciprocals in a given interval using Newton-Raphson iterations. A natural choice of the seed value would be ...
  • Chordal embeddings of planar graph.
    Laboratoire de l'informatique du parallélisme; Bouchitté, Vincent; Mazoit, Frédéric; Todinca, Ioan (2001-11)
    (eng) Robertson and Seymour conjectured that the treewidth of a planar graph and the treewidth of its geometric dual differ by at most one. Lapoire solved the conjecture in the affirmative, using algebraic techniques. We ...
  • Circuit et financement de la production
    Bailly, Jean-Luc; CNRS, Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon, Laboratoire d'analyse et de techniques économiques, Dijon, FRA (1993)
    L'un des grands apports de Keynes à la science économique est d'avoir découvert que le financement courant de l'économie se fait à partir de la production courante. La théorie moderne des émissions, développée par B. ...
  • Circuits as streams in COQ: verification of a sequential multiplier.
    Laboratoire de l'informatique du parallélisme; Paulin-Mohring, Christine (1995-09)
    (eng) This paper presents the proof of correctness of a multiplier circuit formalized in the calculus of inductive constructions. It uses a representation of the circuit as a function from the stream of inputs to the stream ...
  • Les circuits intégrés spécifiques (ASIC) dans les applications de sécurité : analyse et situation
    Vigneron, C.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles (INRS, 1995)
  • Classement en présence de critères multiples : SPARTE-II
    Centre national de la recherche scientifique, Institut de mathématiques économiques; Fustier, Bernard (IME, 1986)
    A l'instar d'autres modèles fondés sur les relations de surclassement, SPARTE-II est une technique d'aide à la décision [ROY, 1975]. La première version de SPARTE [FUSTIER, 1981] a fait l'objet d'applications diverses. ...
  • Classement en présence de critères multiples: SPARTE-II
    FUSTIER, Bernard; Université de Dijon, Substitut de mathématiques économiques, INC; Centre national de la recherche scientifique, UA 342, Laboratoire d'analyse et de techniques économiques, INC (1986)
    Précision du type d'information que se propose d'appréhender la présente technique. Etablissement des fondements de la relation de surclassement à partir d'exemples simples. Définition et propriétés de la relation de ...
  • Claude Ponsard (1927-1990) (un essai biographique)
    Billot, Antoine; Thisse, Jacques-François; CNRS, Institut de mathématiques économiques, Dijon, FRA; Université de Dijon, Institut de mathématiques économiques, Dijon, FRA (1991)
  • Code generation in bouclettes.
    Laboratoire de l'informatique du parallélisme; Boulet, Pierre; Dion, Michèle (1995-11)
    (eng) Bouclettes is a source to source loop nest parallelizer. It takes as input Fortran uniform, perfectly nested loops and gives as output a HPF (High Performance Fortran) program with data distribution and parallel ...
  • Cohérence entre Corine Land Cover et la BDCARTO
    Coudercy, Laurent; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques (CERTU, 1997-11)
    Deux couches d'occupation des sols au 1/100 .000 sont disponibles en France : Conne Land Cover, et l'occupation des sols de la BDCARTO. Ces deux couches sont a priori complémentaires : Conne Land Cover est riche au niveau ...
    Thumbnail
  • Cohérence entre Corine Land Cover et la BDCARTO : annexe 7 : résultats complets des tests
    Coudercy, Laurent; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques (CERTU, 1997-11)
    Deux couches d'occupation des sols au 1/100 .000 sont disponibles en France : Corine Land Cover, et l'occupation des sols de la BDCARTO . Ces deux couches sont a priori complémentaires : Corine Land Cover est riche au ...
    Thumbnail
  • Coherent generation of the terrestrial kilometric radiation by non-linear beatings between electrostatic waves
    Centre de recherche en physique de l'environnement terrestre et planétaire; Roux, A.; Pellat, R. (CRPE, 1979)
    The propagation of electrostatic plasma waves in an inhomogeneous and magnetized plasma is studied analytically. These waves, which are driven unstable by auroral beams of electrons, are shown to suffer a further geometrical ...
  • Coherent load information mechanisms for distributed dynamic scheduling.
    Laboratoire de l'informatique du parallélisme; Guermouche, Abdou; L'Excellent, Jean-Yves (2004-04)
    (eng) We consider a distributed system where processes can only communicate by message passing and need a coherent view of the load (e.g., workload, memory) of others to take dynamic decisions (scheduling). We present ...
  • Collectivités territoriales et transports publics urbains dans les Etats de l'Union européenne
    Allain, Jean-Pierre; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques (CERTU, 1996-11)
    L'organisation politico-administrative infra-étatique (nombre de niveaux, autonomie politique et de gestion) conditionne largement l'organisation des transports urbains. Dans une première partie, l'auteur brosse une ...
    Thumbnail
  • Colloque "Stress et cortisol salivaire : méthodologie, interprétation et utilisation sur le terrain". Recueil des communications et discussions. Vandoeuvre, 30 octobre 1992.
    CNOCKAERT J.C. (Ed); MOUZE-AMADY M. (Ed).; FLORU R.; BIDART M.; BRANDENBERGER G.; LAC G.; ROBERT A.; APTEL M.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles (INRS, 1993)
    L'objectif du colloque était d'évaluer la pertinence du cortisol salivaire en tant qu'indicateur biologique du stress de l'homme au travail. Cette note regroupe les textes des exposés qui ont défini les limites d'emploi, ...
  • La combinaison de prévisions multiples en présence d'objectifs multiples
    Ancot, Jean-Pierre; CNRS, Institut de mathématiques économiques, Dijon, FRA; Université de Dijon, Institut de mathématiques économiques, Dijon, FRA (1989)
Bookmark and Share