mirage

Browsing by Title

DSpace/Manakin Repository

Browsing by Title

Sort by: Order: Results:

  • Charnay, Roland; Douaire, Jacques; Guillaume, Jean-Claude; Valentin, Dominique; Hubert, Christiane; Nonnon, Elisabeth; Institut national de recherche pédagogique (INRP, 1995)
    La Boîte noire, le Nombre-cible, Maisons à construire, Monnaie, le Jeu du banquier, Partages... : autant d'activités proposées pour les premiers apprentissages mathématiques, en grande section, au CP et au CE1. Des ...
  • Centre national de la recherche scientifique, Laboratoire d'analyse et de techniques économiques; Boiteux-Orain, Céline; Guillain, Rachel (LATEC, 2003-04)
    (ENG) Because of their intensive need for face-to-face contacts, producer services have, historically, been found at the core o f CBDs. However, it has been suggested that advances in information technologies could lead ...
  • Laboratoire de l'informatique du parallélisme; Nouvel, Bertrand; Rémila, Eric (2004-09)
    (eng) A discretized rotation is the composition of an Euclidean rotation with the rounding operation. For $0 < \alpha < \pi/4$, we prove that the discretized rotation $\round{r_\alpha}$ is bijective if and only if there ...
  • Laboratoire de l'informatique du parallélisme; Darte, Alain; Dion, Michèle; Robert, Yves (1995-04)
    (eng) In this paper, we deal with modular mappings as introduced by Lee and Fortes, and we build upon their results. Our main contribution is a characterization of one-to-one modular mappings that is valid even when the ...
  • Laboratoire de l'informatique du parallélisme; Dougherty, Dan; Ghilezan, Silvia; Lescanne, Pierre (2004-05)
    (eng) We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin's lambda-mu-mu~. The original lambda-mu-mu~ has a system of simple types, based on ...
  • 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 ...
  • 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 ...
  • 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, ...
  • 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)
  • 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 ...
  • 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 ...
  • 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. ...
  • 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 ...
  • Vigneron, C.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles (INRS, 1995)
  • 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. ...
  • 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 ...
  • 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)
  • 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 ...
  • 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 ...
  • 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 ...
Bookmark and Share