mirage

Browsing by Title

DSpace/Manakin Repository

Browsing by Title

Sort by: Order: Results:

  • Fournier, Thierry; Goujon, Daniel; CNRS, Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon, Laboratoire d'analyse et de techniques économiques, Dijon, FRA (1997)
  • Laboratoire de l'informatique du parallélisme; Koiran, Pascal (2001-09)
    (eng) We show that the set T of first-order sentences satisfied by all generic polynomials of sufficiently high degree forms a complete theory. As a consequence, complex polynomials of even degree cannot be distinguished ...
  • Laboratoire de l'informatique du parallélisme; Dumas, J.G.; Gautier, T.; Giesbrecht, M.; Giorgi, Pascal; Hovinen, B.; Kaltofen, Erich; Saunders, B.D.; Turner, W.J.; Villard, Gilles (2002-03)
    (eng) LinBox is a high-performance generic software library for black box linear algebra over symbolic (exact) entry domains. The generic software methodology enables the user to instantiate the procedures in the library ...
  • Lesourne, Jacques; Godet, Michel; Barré, R.; Chapuy, P.; Fèvre, J.; Thomas, P.; Giget, M.; Cohendet, P.; Giraud, P.N. (1986-09)
    Au cours des années 85 et 86, la Direction de la branche Aluminium du groupe Péchiney a entrepris, avec la collaboration de personnalités extérieures, une réflexion prospective sur l'avenir de l'Aluminium d'ici la fin du ...
  • Gouin, Thierry; Kéchi, Lila; Vincent, Pascal; 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, 1998-11)
    Le corpus de l'étude est formé des cahiers des charges annexés à 25 conventions récentes (passation du contrat après la mise en application de la loi n° 93-122 du 29 janvier 1993 relative à la prévention de la corruption ...
  • Delesalle, Simone; Huot, Hélène; Roumanet, Josselyne; Institut national de recherche pédagogique (INRP, 1972)
    Ce recueil est un travail d'équipe pour une équipe, un instrument d'échanges et de communications entre des enseignants unis par le désir de changer renseignement du français ; et sans doute, parce qu'il a circulé entre ...
  • Mahmoudian, Morteza; Baudrillard, Lucile; Mahmoudian-Renard, Maryse; Guillaume, Denise; Cure, Gloria; Prochasson, Irene; Berger, Y.; Bidjeck, M.T.; Cauchois, A.; Forget, G.; Marcand, G.; Marceteau; Pansanel, M.; Peretz, Caroline; Thibaud, Catherine; Julia, B.; Morsly, D.; Baudrillard, Lucile; Mazzolini, Anne; Halbwachs, Germaine; Jolivet, Rémi; Tessier, Denise; Nespoulos, Jean-Luc; Bedue, Roger; Institut national de recherche pédagogique (INRP, 1976)
    Définir ce que connaît l'élève auquel on s'adresse, définir ce qu'il est utile de lui enseigner à un âge donné et compte tenu de ses connaissances, restent les deux préoccupations majeures de cette recherche. Comment ...
  • Mahmoudian, Mortéza; Institut national de recherche pédagogique (INRP, 1973)
    Les études publiées dans ce numéro sont toutes produites de la collaboration de linguistes et d'enseignants de français, réunis dans des équipes de recherche. Le premier article présente les hypothèses linguistiques ...
  • Crossonneau, Nicolas; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques; Centre d'études techniques de l'équipement de l'Ouest; Centre d'études techniques de l'équipement de Lyon (CERTU, 2003-04)
    Depuis 15 ans, les situations de violence s’aggravent dans les transports publics quels qu’ils soient et le sentiment d’insécurité progresse tant chez le personnel que parmi les usagers. Cette insécurité réelle et ressentie ...
  • Heam, Anne Sarah; Dejeammes, Maryvonne; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques (CERTU, 2000-12)
    Face au vieillissement de la population et au fléau de l'insécurité routière, les accidents des piétons âgés constituent un enjeu majeur pour les décennies à venir. En milieu urbain, 53 % des tués et blessés graves de plus ...
  • Laboratoire de l'informatique du parallélisme; Danjean, Vincent (2000-03)
    (eng) In this paper, we present LinuxActivation, an efficient system support for user level thread scheduling implemented within Linux. This work is an extension to the ``Scheduler Activations'' model (proposed by Anderson ...
  • Barré-de Miniac, Christine; Chauveau, Gérard; Chenouf, Yvanne; Foucambert, Jean; Hardy, Marianne; Lété, Bernard; Platone, Françoise; Poslaniec, Christian; Rémond, Martine; Rogovas-Chauveau, Eliane; Romian, Hélène; Sprenger-Charolles, Liliane; Vérin, Anne; Violet, Michel (INRP, 1994)
    Avec cet ouvrage Lire et écrire à l'école primaire, qui fait suite à Lecture/Écriture, des approches de recherche^, l'Institut National de Recherche Pédagogique souhaite s'inscrire dans les débats en cours sur les moyens ...
  • Laboratoire de l'informatique du parallélisme; Bouchitté, Vincent; Todinca, Ioan (1999-09)
    (eng) A potential maximal clique of a graph is a vertex set that induces a maximal clique in some minimal triangulation of that graph. It is known that if these objects can be listed in polynomial time for a class of graphs, ...
  • Laboratoire de l'informatique du parallélisme; Mazoit, Frédéric (2004-02)
    (eng) I present an efficient algorithm which lists the minimal separators of a 3-connected planar graph in $O(n)$ per separator.
  • Laboratoire de l'informatique du parallélisme; Mazoit, Frédéric (2004-06)
    (eng) I present an efficient algorithm which lists the minimal separators of a planar graph in O(n) per separator.
  • SCHWEIZER, Urs; Université de Dijon, Institut de mathématiques économiques, Dijon, FRA; CNRS, Institut de mathématiques économiques, Dijon, FRA (1986)
    On étudie la puissance de plusieurs tests pour réduire le nombre d'équilibres séquentiels pour un jeu simple non coopératif de litige et de règlement
  • Laboratoire de mécanique et d'acoustique (LMA, 1990)
  • Laboratoire de l'informatique du parallélisme; Perez, Christian (1996-10)
    (eng) This paper explores the integration of load balancing features in the data parallel language HPF targeting semi-regular applications. We show that the HPF virtual processors are good candidates to be the unit of ...
  • Laboratoire de l'informatique du parallélisme; Legrand, Arnaud; Renard, Hélène; Robert, Yves; Vivien, Frédéric (2003-04)
    (eng) This paper is devoted to mapping iterative algorithms onto heterogeneous clusters. The application data is partitioned over the processors, which are arranged along a virtual ring. At each iteration, independent ...
  • Laboratoire de l'informatique du parallélisme; Genaud, Stéphane; Giersch, Arnaud; Vivien, Frédéric (2003-03)
    (eng) We present solutions to statically load-balance scatter operations in parallel codes run on grids. Our load-balancing strategy is based on the modification of the data distributions used in scatter operations. We ...
Bookmark and Share