1. Recherche
302 résultats  enregistrer la recherche
...
hal-00125816v2  Communication dans un congrès
Chantal Berline, Giulio Manzonetto, Antonino Salibra. Lambda theories of effective lambda models
CSL'07, 16th EACSL Annual Conference on Computer Science and Logic, Sep 2007, Lausanne, Switzerland. Springer Berlin / Heidelberg, 4646/2007, pp.268-282, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-74915-8>
hal-00001384v1  Article dans une revue
Frédéric Mangolte. Surfaces elliptiques réelles et inégalité de Ragsdale-Viro
Mathematische Zeitschrift, Springer, 2000, 235, pp.213-226
...
hal-00000891v1  Pré-publication, Document de travail
Julio Rubio Garcia, Francis Sergeraert. Algebraic Models for Homotopy Types
IF_PREPUB. Submitted to HHA in October 2003. 2003
...
hal-00403688v3  Pré-publication, Document de travail
Luc Menichi. Van Den Bergh isomorphisms in String Topology
Final version. To appear in J. Noncommut. Geom. A few typos corrected including a sign in the mai.. 2010
...
tel-00259066v1  Thèse
Jean-François Le Borgne. Calcul d'algèbre de Frobenius sur l'homologie des lacets libres d'une variété.
Mathématiques [math]. Université d'Angers, 2006. Français
...
hal-01326805v1  Pré-publication, Document de travail
Grégoire Allaire, Eric Cancès, Jean-Léopold Vie. Second-order shape derivatives along normal trajectories, governed by Hamilton-Jacobi equations
2016
...
inria-00175062v1  Communication dans un congrès
Lionel Alberti, Bernard Mourrain. Visualisation of implicit algebraic curves
Marc, Alexa and Steven, Gortler and Tao, Ju. Pacific Conference on Computer Graphics and Applications 2007, Oct 2007, Lahaina, Maui, Hawaii, United States. IEEE Computer Society, pp.303-312, 2007, Pacific Conference on Computer Graphics and Applications
...
hal-00947108v2  Pré-publication, Document de travail
Samuel Amstutz, Marc Ciligot-Travain. A Notion of Compliance Robustness in Topology Optimization
2014
...
tel-00430204v1  Thèse
Nicolas Basbois. La naissance de la cohomologie des groupes
Mathématiques [math]. Université Nice Sophia Antipolis, 2009. Français
...
hal-00105642v1  Pré-publication, Document de travail
Nicolas Bouleau. On the coarsest topology preserving continuity
14p. 2006
...
hal-00356146v1  Pré-publication, Document de travail
Pierre-Emmanuel Caprace, Jean Lecureux. Combinatorial and group-theoretic compactifications of buildings
2009
...
hal-00855785v1  Pré-publication, Document de travail
Luc Menichi. String Topology, Euler Class and TNCZ free loop fibrations
36 pages. 2013
...
hal-00105955v1  Pré-publication, Document de travail
Günter Leugering, Jan Sokolowski. Topological derivatives for elliptic problems on graphs
Prépublication IECN 2006/40. 2006
hal-00020071v1  Article dans une revue
Jean-Eric Pin. Topologie p-adique sur les mots
Journal de Théorie des Nombres de Bordeaux, Société Arithmétique de Bordeaux, 1993, 5, pp.263-281
hal-00020074v1  Communication dans un congrès
Jean-Eric Pin. Polynomial closure of group languages and open sets of the Hall topology
1994, Springer, pp.424--435, 1994, Lecture Notes in Comput. Sci. 820
...
tel-00905353v2  HDR
Loïc Teyssier. Propriétés analytiques de l'espace des séries entières convergentes et dynamiques holomorphes glocales
Géométrie différentielle [math.DG]. Université de Strasbourg, 2013
...
hal-00855853v1  Communication dans un congrès
João Dias-De-Oliveira, Joaquim Pinho-Da-Cruz, Filipe Teixeira-Dias. On the development of a multiscale topology optimisation tool
2nd ECCOMAS Young Investigators Conference (YIC 2013), Sep 2013, Bordeaux, France
...
inria-00359677v1  Communication dans un congrès
Jean-Eric Pin. Profinite Methods in Automata Theory
Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, pp.31-50, 2009, Proceedings of the 26th Annual Symposium on the Theoretical Aspects of Computer Science
...
tel-00011871v1  Thèse
Pierre Hyvernat. A Logical Investigation of Interaction Systems
Mathematics [math]. Université de la Méditerranée - Aix-Marseille II, 2005. English
hal-01011018v1  Ouvrage (y compris édition critique et traduction)
Frédéric Bourgeois, Vincent Colin, Andras Stipsicz. Contact And Symplectic Topology
Springer, pp.530, 2014, Bolyai Society Mathematical Studies, Vol. 26
...
hal-00758806v1  Pré-publication, Document de travail
Alfredo Canelas, Jean Rodolphe Roche. Topology Optimization in Electromagnetic Casting via quadratic programming
2012
...
hal-00326974v2  Article dans une revue
Yves Guiraud, Philippe Malbos. Higher-dimensional categories with finite derivation type
Theory and Applications of Categories, Mount Allison University, 2009, 22 (18), pp.420-478
...
hal-01182224v3  Pré-publication, Document de travail
Jérémie Bettinelli, Gregory Miermont. Compact Brownian surfaces I. Brownian disks
2015
...
hal-00798574v1  Communication dans un congrès
Laurent Najman, Thierry Géraud. Discrete set-valued continuity and interpolation
C.L. Luengo Hendriks, G. Borgefors, R. Strand. International Symposium on Mathematical Morphology, May 2013, Uppsala, Sweden. Springer, 7883, pp.37-48, 2013, Lecture Notes in Computer Science
...
hal-01548319v1  Pré-publication, Document de travail
Wolfgang Bertram. Cyclic orders defined by ordered jordan algebras
2017
...
ensl-00147245v2  Communication dans un congrès
Jacques Duparc, Olivier Finkel. An omega-power of a context-free language which is Borel above Delta^0_omega
Stefan Bold, Benedikt Löwe, Thoralf Räsch, Johan van Benthem. Foundations of the Formal Sciences V : Infinite Games, November 26-29, 2004, Bonn, Germany. College Publications, pp.109-122, 2007, Studies in Logic, Volume 11
...
hal-00069527v1  Pré-publication, Document de travail
Alain Le Méhauté, Abdelaziz El Kaabouchi, Laurent Nivanen. Contribution of Non Integer Integro-Differential Operators (NIDO) to the geometrical understanding of Riemann's conjecture-(II)
2006
...
hal-00781194v1  Communication dans un congrès
Véronique Letort, Sylvie Sabatier, Sélastique Akaffou, Serge Hamon, Perla Hamon et al.  Interspecific Variability of Biomass Production of Young Coffea: No Influence of Branch Pruning. Experimental Evidence and Theoretical Analysis
Kang Mengzhen, Yves Dumont, Yan Guo. Plant Growth Modeling, Simulation, Visualization and Applications (PMA), Oct 2012, Shanghai, China. IEEE Press, pp.224-227, 2012
...
hal-01182241v5  Pré-publication, Document de travail
Antoine Mhanna. Variational problems on product spaces Different obstacle constraints
2015
...
hal-00815760v2  Pré-publication, Document de travail
Wolfgang Löhr, Guillaume Voisin, Anita Winter. Convergence of bi-measure R-tree and the pruning process
2013

Contact


archive-ouverte@inria.fr