mirage

Browsing by Title

DSpace/Manakin Repository

Browsing by Title

Sort by: Order: Results:

  • ROUSSEAU C.; MONTEAU M.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles (INRS, 1991)
    Cette étude de type clinique, a pour objet la gestion de la sécurité par l'opérateur. A partir de l'analyse d'une activité de chantier (remplacement d'un coffret disjoncteur sur poteau) effectuée par une équipe de 2 ou 3 ...
  • Centre national de la recherche scientifique, Institut de mathématiques économiques; Gadreau, M.; Maréchal, B. (IME, 1983-11)
    Au-delà des tendances politiques et des écoles de pensée, la maîtrise des dépenses sociales parmi lesquelles les dépenses de santé, apparaît comme l'un des dénominateurs communs des politiques de rigueur que les principaux ...
  • Bejean, Sophie; CNRS, Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon, Laboratoire d'analyse et de techniques économiques, Dijon, FRA (1997)
    L'application au domaine de la sante de nouveaux courants théoriques tels que la théorie des contrats, l’économie des conventions, la théorie des couts de transaction et la théorie évolutionniste, est récente. L’objectif ...
  • Derognat, Isabelle; Maurice-Baumont, Catherine; CNRS, Institut de mathématiques économiques, Dijon, FRA; Université de Dijon, Institut de mathématiques économiques, Dijon, FRA (1992)
  • Laboratoire de l'informatique du parallélisme; Prost, Frederic (1999-01)
    (eng) We propose a variant of Girard's System F. The aim of this new system is to provide a common framework for various type based analyses. We modify $F$ by the introduction of two different universes from which types ...
  • Laboratoire de l'informatique du parallélisme; Dargenton, Pierre; Hirschkoff, Daniel; Lescanne, Pierre; Pommateau, E. (2001-08)
    (eng) In this paper, we develop a formal specification for a micro-payment protocol, first on paper, then within the Coq proof assistant. Our approach in defining a notion of
  • Centre national de la recherche scientifique, Institut de mathématiques économiques; Sadigh, Elie (IME, 1985-02)
    L'explication de la formation du capital dans les systèmes de Walras distingue les entrepreneurs des capitalistes. Les premiers organisent la production, les seconds épargnent une partie de leur revenu tiré de la rémunération ...
  • Marseille, Fabienne; Lambert, Alexandra; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques; Centre d'études techniques de l'équipement de Lyon (CERTU, 2006-12)
    La note méthodologique annexée à la circulaire du 25 février 2005 « sur l’évaluation des effets sur la santé de la pollution de l’air dans les études d’impacts routières » demande de prendre en compte de nombreux polluants ...
  • Laboratoire de l'informatique du parallélisme; Beuchat, Jean-Luc; Sendrier, Nicolas; Tisserand, Arnaud; Villard, Gilles (2004-03)
    (eng) An algorithm producing cryptographic digital signatures less than 100 bits long with a security level matching nowadays standards has been recently proposed by Courtois, Finiasz, and Sendrier. This scheme is based ...
  • Laboratoire de l'informatique du parallélisme; Lang, Frédéric; Lescanne, Pierre; Liquori, Luigi (1998-12)
    (eng) In this paper, we give a general framework for the foundation of an operational (small step) semantics of object-based languages with an emphasis on functional and imperative issues. The framework allows classifying ...
  • Salomon, Pierre; CNRS, Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon, Laboratoire d'analyse et de techniques économiques, Dijon, FRA (1996)
  • Laboratoire de l'informatique du parallélisme; Suter, Frédéric; Casanova, Henri; Desprez, Frédéric; Boudet, Vincent (2003-11)
    (eng) Mixed-parallelism, the combination of data- and task-parallelism, is a powerful way of increasing the scalability of entire classes of parallel applications. Exploiting both types of parallelism simultaneously makes ...
  • Laboratoire de l'informatique du parallélisme; Fatès, Nazim; Morvan, Michel; Schabanel, Nicolas; Thierry, Eric (2005-02)
    (eng) In this paper we propose a probabilistic analysis of the fully asynchronous behavior (i.e., two cells are never simultaneously updated, as in a continuous time process) of elementary finite cellular automata (i.e., ...
  • Duchon, Philippe; Hanusse, Nicolas; Lebhar, Emmanuelle; Schabanel, Nicolas; Laboratoire de l'informatique du parallélisme (LIP, 2006-01)
    (eng) We investigate the problem of efficiently preprocessing a large network, in a fully distributed manner, so that the resulting network is a navigable small world. Namely, if the network has bounded growth, by adding ...
  • Laboratoire de l'informatique du parallélisme; Daumas, Marc; Matula, David W. (2000-03)
    (eng) Redundant notations are used implicitly or explicitly in many digital designs. They have been studied in details and a general framework is known to reduce the redundancy of a notation down to the minimally redundant ...
  • Centre national de la recherche scientifique, Institut de mathématiques économiques; Ponsard, Claude (IME, 1980-04)
    Traditional spatial economic analysis is limited to the description of precise spaces. To say that an economic space is precise means: (1) that this space has, or else, has not given constituent characteristics and (2) ...
  • Centre national de la recherche scientifique, Institut de mathématiques économiques; Mathieu, Bernadette (IME, 1984-06)
  • Antoniu, Gabriel; Bertier, Marin; Bougé, Luc; Caron, Eddy; Desprez, Frédéric; Jan, Matthieu; Monnet, Sébastien; Sens, Pierre; Laboratoire de l'informatique du parallélisme (2005-06)
    (eng) Grid computing has recently emerged as a response to the growing demand for resources (processing power, storage, etc.) exhibited by scientific applications. We address the challenge of sharing large amounts of data ...
  • Lievin, D.; Georges, C.; Krawsky, G.; Fadier, E.; Damongeot, A.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles (INRS, 1994)
  • Tortel, François; Schweitzer, Marc; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques (CERTU, 2008-07)
    Ce travail s'inscrit dans la démarche du code de la rue. Cette démarche a été lancée par le ministre des transports le 18 avril 2006. Le comité de pilotage qui rassemble les institutions administratives et les associations ...
Bookmark and Share