Browse

ftp://ftp.ens.fr (212)

	ftp://ftp.ens.fr/reports/lmens/zeros_fonctions_L.ps.Z, 19920113 Z EROS DES FONCTIONS L DE COURBES ELLIPTIQUES ST EFANE FERMIGIER R esum e. A toute courbe elliptique d efinie sur Q, on sait associer une fonction LE, qui, conjecturalement, est holomorphe et v erifie une equation fonctionnelle analogue a celle de la fonction z^eta de Riemann. On peut se demander, comme
	ftp://ftp.ens.fr/reports/liens/liens-92-5.A4.ps.Z, 19920313 D efinition de POMPC (version 1.99) Nicolas PARIS Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 5 Mars 1992 Chapitre 1 Le mod ele de programmation de POMPC 1.1 Introduction Le langage POMPC est une extension du
	ftp://ftp.ens.fr/reports/liens/liens-91-5.US.ps.Z, 19920327 POMP or How to design a massively parallel machine with small developmentsy Philippe Hoogvorst Ronan Keryell Philippe Matherat Nicolas Paris Laboratoire d'Informatique de l'Ecole Normale Sup erieure URA 1327 CNRS 45 rue d'Ulm, 75005 PARIS Tel: (+ 33 1) 44.32.20.32, fax: (+ 33 1) 44.32.20.80. E.mail: : :
	ftp://ftp.ens.fr/reports/liens/liens-91-5.A4.ps.Z, 19920327 POMP or How to design a massively parallel machine with small developmentsy Philippe Hoogvorst Ronan Keryell Philippe Matherat Nicolas Paris Laboratoire d'Informatique de l'Ecole Normale Sup erieure URA 1327 CNRS 45 rue d'Ulm, 75005 PARIS Tel: (+ 33 1) 44.32.20.32, fax: (+ 33 1) 44.32.20.80. E.mail: : :
	ftp://ftp.ens.fr/reports/liens/liens-92-8.A4.ps.Z, 19920402 Average Cost of Duval's Algorithm for Generating Lyndon Words Jean BERSTEL Michel POCCHIOLA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 8 March 1992 Average Cost of Duval's Algorithm for Generating Lyndon Words Jean
	ftp://ftp.ens.fr/reports/liens/liens-91-17.A4.ps.Z, 19920406 Mod2mag User's Manual Nicolas Paris 1 November 8, 1991 1Laboratoire d'Informatique de l'Ecole Normale Sup erieure URA 1327 du C.N.R.S. 1 Acknowledgements I am very grateful to Pr. Bertrand Zavidovique who trusted me for such a large work. I wish to thank Thierry Bernard, Georges Quenot, Ronan Keryell
	ftp://ftp.ens.fr/reports/lmens/lmens-92-7.ps.Z, 19920406 S eries de Harish-Chandra de Modules et Correspondance de Howe Modulaire Anne-Marie AUBERT Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 92 - 7 Mars 1992 S ERIES DE HARISH-CHANDRA DE MODULES ET CORRESPONDANCE DE HOWE
	ftp://ftp.ens.fr/reports/liens/liens-91-24.A4.ps.Z, 19920406 A Brief Survey of Art Gallery Problems in Integer Lattice Systems Evangelos KRANAKIS Michel POCCHIOLA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 91 - 24 December 1991 A BRIEF SURVEY OF ART GALLERY PROBLEMS IN INTEGER
	ftp://ftp.ens.fr/reports/lmens/lmens-92-8.ps.Z, 19920409 Generic Blocks of Finite Reductive Groups Michel BROU E Gunter MALLE Jean MICHEL Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 92 - 8 March 1992 GENERIC BLOCKS OF FINITE REDUCTIVE GROUPS Michel Brou e, Gunter Malle and
	ftp://ftp.ens.fr/reports/lmens/lmens-92-11.ps.Z, 19920602 Cohomologie Equivariante et Descente Michel DUFLO Mich ele VERGNE Universit e Paris 7, URA 748 du CNRS Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 92 - 11 Avril 1992 Cohomologie equivariante et descente Michel Duflo
	ftp://ftp.ens.fr/reports/liens/liens-92-5-bis.A4.ps.Z, 19920604 Definition of POMPC (version 1.99) Nicolas PARIS Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 5 - bis Mars 1992 Chapter 1 POMPC Programming model 1.1 Introduction The PompC language is an extension of the Ansi C
	ftp://ftp.ens.fr/reports/liens/liens-91-6.A4.ps.Z, 19920619 Observational Approaches in Algebraic Specifications : a Comparative Study Gilles BERNOT Michel BIDOIT Teodor KNAPIK Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 91 - 6 April 1992 Observational Approaches in Algebraic
	ftp://ftp.ens.fr/reports/liens/liens-92-3.A4.ps.Z, 19920619 Observational Specifications and the Indistinguishability Assumption Gilles Bernot Michel Bidoit Teodor Knapik LIENS c.n.r.s. u.r.a. 1327 Ecole Normale Sup erieure 45 Rue d'Ulm F 75230 Paris Cedex 05 France e-mail: @dmi.ens.fr (Internet) or @frulm63.bitnet (Earn)
	ftp://ftp.ens.fr/reports/liens/liens-92-14.A4.ps.Z, 19920619 Specifications with Observable Formulae and Observational Satisfaction Relation Teodor KNAPIK Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 14 June 1992 Specifications with Observable Formulae and Observational
	ftp://ftp.ens.fr/reports/liens/liens-92-14.US.ps.Z, 19920619 Specifications with Observable Formulae and Observational Satisfaction Relation Teodor KNAPIK Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 14 June 1992 Specifications with Observable Formulae and Observational
	ftp://ftp.ens.fr/reports/liens/liens-92-2.A4.ps.Z, 19920619 Towards an adequate notion of observation Gilles Bernot Michel Bidoit Teodor Knapik LIENS c.n.r.s. u.r.a. 1327 Ecole Normale Sup erieure 45 Rue d'Ulm F 75230 Paris Cedex 05 France e-mail: @dmi.ens.fr (Internet) or @frulm63.bitnet (Earn)
	ftp://ftp.ens.fr/reports/lmens/lmens-92-6.ps.Z, 19920907 S eries de Harish-Chandra de Modules et Correspondance de Howe Modulaire Anne-Marie AUBERT Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 92 - 7 Mars 1992 Equivariant cohomology with generalised coefficients Shrawan Kumar
	ftp://ftp.ens.fr/reports/liens/liens-92-20.A4.ps.Z, 19921008 Camera Placement in Integer Lattices Evangelos KRANAKIS Michel POCCHIOLA The Netherlands and Carlton University - Canada Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 20 September 1992 CAMERA PLACEMENT IN INTEGER
	ftp://ftp.ens.fr/reports/liens/liens-92-19.A4.ps.Z, 19921008 Universit e PARIS XI Facult e d'Orsay Laboratoire de Recherche en Informatique Virtualisation et Programmation Physique dans le Langage POMPC : Application a l'Op eration Pr efixe Rapport de Stage de DEA eff ectu e au : Laboratoire d'Informatique Ecole Normale Sup erieure 45, Rue d'Ulm 75230 PARIS Cedex
	ftp://ftp.ens.fr/reports/liens/liens-92-21.A4.ps.Z, 19921008 A Geometric Proof of the Enumeration Formula for Sturmian Words Jean BERSTEL Michel POCCHIOLA LITP - Institut Blaise Pascal Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 21 September 1992 A geometric proof of the
	ftp://ftp.ens.fr/reports/liens/liens-92-17.A4.ps.Z, 19921009 FFT-Hash-II is not yet Collision-free S. VAUDENAY Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 17 September 1992 FFT-Hash-II is not yet Collision-free Serge Vaudenay LIENS , 45 rue d'Ulm, 75230 Paris cedex 05, France
	ftp://ftp.ens.fr/reports/liens/liens-92-15.A4.300dpi.ps.Z, 19921015 The MLgraph Primer Emmanuel CHAILLOUX ; Guy COUSINEAU LIENS, URA 1327 du CNRS Ecole Normale Sup erieure LITP, URA 248 du CNRS Universit e Pierre et Marie Curie - Paris 6 LIENS - 92 - 15 September 1992 The MLgraph Primer Emmanuel CHAILLOUX1;2 Guy COUSINEAU1 About MLgraph This documents describes the
	ftp://ftp.ens.fr/reports/liens/liens-92-15.A4.400dpi.ps.Z, 19921015 The MLgraph Primer Emmanuel CHAILLOUX ; Guy COUSINEAU LIENS, URA 1327 du CNRS Ecole Normale Sup erieure LITP, URA 248 du CNRS Universit e Pierre et Marie Curie - Paris 6 LIENS - 92 - 15 September 1992 The MLgraph Primer Emmanuel CHAILLOUX1;2 Guy COUSINEAU1 About MLgraph This documents describes the
	ftp://ftp.ens.fr/reports/lmens/lmens-92-19.ps.Z, 19921020 Famille de Courbes Hyperelliptiques de Genre g munies d'une Classe de Diviseurs Rationnels d'Ordre 2g2+4g+1 Franck LEPR EVOST Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 92 - 19 October 1992 Famille de courbes
	ftp://ftp.ens.fr/reports/liens/liens-92-18.A4.ps.Z, 19921022 Applications of Cut Polyhedra M. DEZA M. LAURENT Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 18 September 1992 1 APPLICATIONS OF CUT POLYHEDRA M. Deza and M. Laurent LIENS - Ecole Normale Sup erieure 45 rue d'Ulm
	ftp://ftp.ens.fr/reports/lmens/lmens-92-20.ps.Z, 19921026 Courbes Modulaires et 11-Rang de Corps Quadratiques Franck LEPR EVOST Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 92 - 20 Octobre 1992 Courbes modulaires et 11-rang de corps quadratiques. Franck Lepr evost Introduction
	ftp://ftp.ens.fr/reports/liens/liens-93-1.ps.Z, 19930119 L-polytopes, Even Unimodular Lattices, and Perfect Lattices V.P. GRISHUKHIN Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure CEMI Russian Academy of Sciences Moscow LIENS - 93 - 1 January 1993 L-polytopes, even unimodular lattices,
	ftp://ftp.ens.fr/reports/lmens/lmens-93-1.ps.Z, 19930119 Zyklotomische Heckealgebren M. BROUE G. MALLE Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Universitat Heidelberg LMENS - 93 - 1 Januar 1993 ZYKLOTOMISCHE HECKEALGEBREN Michel Brou e und Gunter Malle Ecole Normale Sup erieure
	ftp://ftp.ens.fr/reports/lmens/lmens-92-22.ps.Z, 19930125 Construction de Courbes Lisses: un Th eor eme a la Bertini Mireille MARTIN-DESCHAMPS Daniel PERRIN Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 92 - 22 Novembre 1992 INTRODUCTION Le but de cet article est de d emontrer
	ftp://ftp.ens.fr/reports/liens/liens-92-28.A4.ps.Z, 19930202 A Proof Method based on Folding Lemmas: Applications to Algorithm Correctness Staffan BONNIER Laurent FRIBOURG Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Link oping University, Sweden LIENS - 92 - 28 December 1992 A Proof
	ftp://ftp.ens.fr/reports/liens/liens-93-3.A4.ps.Z, 19930304 Cut Cones IV : Lattice Points M. DEZA V. GRISHUKHIN Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure CEMI RAN Russian Academy of Sciences LIENS - 93 - 3 February 1993 Cut cones IV: lattice points Michel Deza CNRS-LIENS, Ecole Normale
	ftp://ftp.ens.fr/reports/lmens/lmens-93-4.ps.Z, 19930305 Equivalences of Blocks of Group Algebras Michel BROU E Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 4 February 1993 Equivalences of Blocks of Group Algebras Michel Brou e Ecole Normale Sup erieure, Paris February
	ftp://ftp.ens.fr/reports/liens/liens-93-4.A4.ps.Z, 19930305 Hypermetrics in Geometry of Numbers M. DEZA V. GRISHUKHIN M. LAURENT Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure CEMI RAN Russian Academy of Sciences LIENS - 93 - 4 February 1993 1 Hypermetrics in Geometry of Numbers M. Deza(*),
	ftp://ftp.ens.fr/reports/lmens/lmens-93-5.ps.Z, 19930305 Counter-examples to Ragsdale Conjecture I. ITENBERG Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 5 March 1993 Counter-examples to Ragsdale Conjecture I. Itenberg DMI, Ecole Normale Sup erieure, 45, rue d'Ulm, 75005
	ftp://ftp.ens.fr/reports/liens/liens-93-5.A4.ps.Z, 19930311 Calcul et Rationalit e de Fonctions de Belyi en Genre Jean-Marc COUVEIGNES Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 93 - 5 Mars 1993 Calcul et rationalit e de fonctions de Belyi en genre Jean-Marc Couveignes Centre de
	ftp://ftp.ens.fr/reports/liens/liens-93-6.A4.ps.Z, 19930319 A Characterization of Box 1 d-integral Binary Clutters Bert GERARDS Monique LAURENT Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure CWI, Amsterdam LIENS - 93 - 6 March 1993 1 A characterization of box 1 d-integral binary clutters
	ftp://ftp.ens.fr/reports/lmens/lmens-93-6.ps.Z, 19930319 Blocs a Groupes de D efaut Ab eliens des Groupes R eductifs Finis Michel BROU E Jean MICHEL Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 6 Mars 1993 BLOCS A GROUPES DE D EFAUT AB ELIENS DES GROUPES R EDUCTIFS FINIS
	ftp://ftp.ens.fr/reports/liens/liens-93-8.A4.ps.Z, 19930326 Random Generation of Finite Sturmian Words Jean BERSTEL Michel POCCHIOLA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LITP - Institut Blaise Pascal LIENS - 93 - 8 March 1993 Random generation of Finite Sturmian Words 3 Jean
	ftp://ftp.ens.fr/reports/liens/liens-92-25-A4.ps.Z, 19930409 The Genericity Theorem and the Notion of Parametricity in the Polymorphic >=-calculus Giuseppe LONGO Kathleen MILSTED Sergei SOLOVIEV Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Digital Equipment Corporation, Paris Russian
	ftp://ftp.ens.fr/reports/liens/liens-93-9.A4.ps.Z, 19930426 Hilbert Bases of Cuts Monique LAURENT Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 93 - 9 April 1993 1 Hilbert bases of cuts Monique Laurent LIENS - Ecole Normale Sup erieure 45 rue d'Ulm, 75230 Paris Cedex 05, France
	ftp://ftp.ens.fr/reports/liens/liens-93-10.A4.ps.Z, 19930506 Concurrent Constraint Automata Laurent Fribourg Marcos Veloso Peixoto email: fribourg@dmi.ens.fr veloso@dmi.ens.fr Laboratoire d`Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure 45, rue d'Ulm, 75005 Paris - France LIENS 93-10 May 1993
	ftp://ftp.ens.fr/reports/liens/liens-93-12.A4.ps.Z, 19930518 On the semantics of Optimization Predicates in CLP Languages Fran cois FAGES Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 93 - 12 May 1993 On the Semantics of Optimization Predicates in CLP languages Fran cois Fages
	ftp://ftp.ens.fr/reports/liens/liens-93-11.A4.ps.Z, 19930518 Simulating Expansions without Expansions Roberto DI COSMO Delia KESNER Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure INRIA Rocquencourt - LRI, Universit e de Paris-Sud LIENS - 93 - 11 May 1993 Simulating expansions without
	ftp://ftp.ens.fr/reports/lmens/lmens-93-9.A4.ps.Z, 19930525 Towards the Maximal Number of Components of a Non-singular Surface of Degree 5 in RP3 V. KHARLAMOV I. ITENBERG Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Universit e Louis-Pasteur, Strasbourg LMENS - 93 - 9 May 1993 Towards
	ftp://ftp.ens.fr/reports/liens/liens-92-4.A4.ps.Z, 19930907 A Calculus for Overload Functions with Subtyping G. CASTAGNA G. GHELLI G. LONGO Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 92 - 4 February 1992 A Calculus for Overloaded Functions with Subtyping Giuseppe Castagna y
	ftp://ftp.ens.fr/reports/lmens/lmens-93-3.A4.ps.Z, 19930916 Geometric Quantization and Equivariant Cohomology M. VERGNE Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 3 January 1993 Geometric Quantization and Equivariant Cohomology Mich ele Vergne Introduction Let G be a real
	ftp://ftp.ens.fr/reports/lmens/lmens-93-12.ps.Z, 19930916 Correspondance de Howe pour les Groupes Finis A-M. AUBERT J. MICHEL R. ROUQUIER Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 12 July 1993 Correspondance de Howe pour les groupes finis Anne-Marie Aubert, Jean Michel
	ftp://ftp.ens.fr/reports/lmens/lmens-93-11.ps.Z, 19930916 The Equivariant Chern Character and Index of G-invariant Operators Lectures at CIME, Venise 1992 N. BERLINE M. VERGNE Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 11 July 1993 The equivariant Chern character and
	ftp://ftp.ens.fr/reports/liens/liens-93-16.A4.ps.Z, 19930923 Hypercube Embedding of Distances with Few Values Monique LAURENT Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 93 - 16 September 1993 1 Hypercube embedding of distances with few values Monique Laurent LIENS - Ecole Normale
	ftp://ftp.ens.fr/reports/liens/liens-93-17.A4.ps.Z, 19931012 Measure Aspects of Cut Polyhedra: `1-embeddability and Probability Michel DEZA Monique LAURENT Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 93 - 17 September 1993 1 Measure aspects of cut polyhedra: `1-embeddability and
	ftp://ftp.ens.fr/reports/lmens/lmens-93-13.ps.Z, 19931012 On General Blocks of Finite Reductive Groups: Ordinary Characters and Defect Groups Marc CABANES Michel ENGUEHARD Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 13 October 1993 On general blocks of finite reductive
	ftp://ftp.ens.fr/reports/liens/liens-93-20.A4.ps.Z, 19931105 Rapport Liens 93-20 Th ese pr esent ee pour obtenir le titre de DOCTEUR DE L'ECOLE POLYTECHNIQUE sp ecialit e : informatique par Christophe Vedel Titre : Calcul de l'illumination par des sources etendues : espace objet et espace image. soutenue le 13 septembre 1993 devant le jury compos e de : MM.
	ftp://ftp.ens.fr/reports/liens/liens-93-22.A4.ps.Z, 19931117 Relational Limits in General Polymorphism Ryu HASEGAWA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure RIMS Kyoto University LIENS - 93 - 22 November 1993 Relational Limits in General Polymorphism Ryu Hasegawa RIMS, Kyoto University
	ftp://ftp.ens.fr/reports/liens/liens-93-23.A4.ps.Z, 19931117 Well-Ordering of Algebra and Kruskal's Theorem Ryu HASEGAWA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure RIMS Kyoto University LIENS - 93 - 23 November 1993 Well-Orderings of Algebra and Kruskal's Theorem Ryu Hasegawa LIENS, 45
	ftp://ftp.ens.fr/reports/liens/liens-93-15.A4.ps.Z, 19931125 Non-deterministic Lazy it >=-calculus VS it ss-caculus Carolina Lavatelli Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure RIMS Kyoto University LIENS - 93 - 15 September 1993 Non-deterministic lazy >=-calculus vs ss-calculus
	ftp://ftp.ens.fr/reports/lmens/lmens-93-14.ps.Z, 19931125 The Maximum of the Degree of Nonholonomy for the Car with n Trailers Florian LUCA Jean-Jacques RISLER Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 14 November 1993 THE MAXIMUM OF THE DEGREE OF NONHOLONOMY FOR THE
	ftp://ftp.ens.fr/reports/lmens/lmens-93-15.ps.Z, 19931125 Syst emes de Mackey Anne-Marie AUBERT Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 15 November 1993 SYST EMES DE MACKEY Anne-Marie Aubert Ecole Normale Sup erieure 17 Novembre 1993 0. Introduction L'un des objets du
	ftp://ftp.ens.fr/reports/liens/liens-93-25.A4.ps.Z, 19931213 Attacks on the Birational Permutation Signature Schemes D. COPPERSMITH J. STERN S. VAUDENAY Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure T.J. Watson Research Center, New-York LIENS - 93 - 25 December 1993 Attacks on the
	ftp://ftp.ens.fr/reports/liens/liens-93-27.A4.ps.Z, 19940104 On a Positive Semidefinite Relaxation of the Cut Polytope Monique LAURENT Svatopluk POLJAK Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Charles University, Prague LIENS - 93 - 27 December 1993 On a positive semidefinite
	ftp://ftp.ens.fr/reports/liens/liens-93-26.A4.ps.Z, 19940104 On the Skeleton of the Dual Cut Polytope A. DEZA M. DEZA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Universit e de Paris-Sud, Orsay Tokyo Institute of Technology, Tokyo LIENS - 93 - 26 December 1993 ON THE SKELETON OF THE DUAL
	ftp://ftp.ens.fr/reports/lmens/lmens-94-1.ps.Z, 19940128 On Rickard's Equivalences Michel BROU E Rapha el ROUQUIER Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 1 January 1994 Rickard Equivalences and Block Theory Michel Brou e Ecole Normale Sup erieure, Paris Four
	ftp://ftp.ens.fr/reports/lmens/lmens-93-16.ps.Z, 19940207 Construction des Alg ebres de Lie Semi-simples G. HALBOUT Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 93 - 16 Novembre 1993 Construction des alg ebres de Lie semi-simples G. Halbout Table des mati eres 1 Construction
	ftp://ftp.ens.fr/reports/liens/liens-93-24.A4.ps.Z, 19940207 Contributions a l' etude des Lambda-calculs avec Substitutions Explicites A. RIOS Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 93 - 24 D ecembre 1993 THESE DE DOCTORAT pr esent ee a l'UNIVERSITE PARIS VII Sp ecialit e :
	ftp://ftp.ens.fr/reports/lmens/lmens-94-2.ps.Z, 19940208 Familles Coh erentes sur les Groupes de Lie Semi-simples et Restriction aux Sous-groupes Compacts Maximaux Michel DUFLO Mich ele VERGNE Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Universit e Paris 7-Denis Diderot, URA 748 du
	ftp://ftp.ens.fr/reports/lmens/lmens-94-3.ps.Z, 19940210 Obstructions de Manin transcendantes" David HARARI Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 3 F evrier 1994 Obstructions de Manin transcendantes" David Harari 8 f evrier 1994 Manin a introduit en 1970 ()
	ftp://ftp.ens.fr/reports/liens/liens-94-2.A4.ps.Z, 19940303 Dessins from a geometric point of view Jean-Marc Couveignes Louis Granboulan
	ftp://ftp.ens.fr/reports/liens/liens-94-3.A4.ps.Z, 19940315 Links between Differential and Linear Cryptanalysis Florent CHABAUD Serge VAUDENAY Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 94 - 3 March 1994 Links between differential and linear cryptanalysis Florent Chabaud Serge
	ftp://ftp.ens.fr/reports/liens/liens-94-4.A4.ps.Z, 19940329 Order Types and Visibility types of Configurations of Disjoint Convex Plane Sets Extented Abstract M. POCCHIOLA G. VEGTER Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Dept. of Math. and Comp. Science University of Groningen, The
	ftp://ftp.ens.fr/reports/thesis/atga.ps.Z, 19940411 ACAD EMIE DE MONTPELLIER UNIVERSIT E MONTPELLIER II SCIENCES ET TECHNIQUES DU LANGUEDOC TH ESE pr esent ee a l'Universit e Montpellier II { Sciences et Techniques du Languedoc pour obtenir le dipl^ome de DOCTORAT Sp ecialit e: Math ematiques (Probabilit es) Formation Doctorale: Biostatistique UNE TH
	ftp://ftp.ens.fr/reports/biologie/disgajsp.ps.Z, 19940418 Learning Distributed Reactive Strategies by Genetic Programming for the General Job Shop Problem Laurent Atlan , J er^ome Bonnet y and Martine Naillon z Dassault-Aviation DGT/DEA/IA2 Artificial Intelligence Department 78, Quai Marcel Dassault - 92214 Saint-Cloud France Tel : (1) 44 16 27 47; fax :
	ftp://ftp.ens.fr/reports/lmens/lmens-94-7.ps.Z, 19940422 Energy Transforms for Metropolis and Simulated Annealing Algorithms Olivier CATONI Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 7 April 1994 Energy Transforms for Metropolis and Simulated Annealing Algorithms
	ftp://ftp.ens.fr/reports/liens/liens-94-5.A4.ps.Z, 19940426 Odd Systems of Vectors and Related Lattices M. DEZA V.P. GRISHUKHIN Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure CEMI RAN, Moscow LIENS - 94 - 5 April 1994 Odd systems of vectors and related lattices M.Deza CNRS-LIENS, Ecole
	ftp://ftp.ens.fr/reports/liens/liens-94-6.A4.ps.Z, 19940428 Embeddings of Graphs Monique LAURENT Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 94 - 6 April 1994 1 Embeddings of Graphs Monique Laurent CNRS, LIENS, Ecole Normale Superieure 45, rue d'Ulm 75230 Paris Cedex 05, France
	ftp://ftp.ens.fr/reports/liens/liens-94-7.A4.ps.Z, 19940428 Hypercube Embeddings and Designs Monique LAURENT Michel DEZA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 94 - 7 April 1994 1 Hypercube Embeddings and Designs Michel Deza Monique Laurent CNRS, LIENS, Ecole Normale
	ftp://ftp.ens.fr/reports/lmens/lmens-94-6.ps.Z, 19940429 A bound for the Degree of Nonhomology J.-J. RISLER Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 6 April 1994 A bound for the degree of Nonholonomy Jean-Jacques Risler (*) April 1994
	ftp://ftp.ens.fr/reports/lmens/lmens-94-5.ps.Z, 19940502 Hauteurs des Hypersurfaces et Fonctions Z^eta d'Igusa Julien CASSAIGNE Vincent MAILLOT Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 5 F evrier 1994 HAUTEURS DES HYPERSURFACES ET FONCTIONS Z^ETA D'IGUSA JULIEN
	ftp://ftp.ens.fr/reports/lmens/lmens-94-9.ps.Z, 19940503 Cycle Decompositions and Simulated Annealing Alain TROUV E Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 9 April 1994 CYCLE DECOMPOSITIONS AND SIMULATED ANNEALING ALAIN TROUV E October 15, 1993
	ftp://ftp.ens.fr/reports/lmens/lmens-94-8.ps.Z, 19940503 Rough Large Deviation Estimates for the Optimal Convergence Speed Exponent of Generalized Simulated Annealing Algorithms Alain TROUV E Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 8 April 1994 ROUGH LARGE DEVIATION
	ftp://ftp.ens.fr/reports/thesis/havelund.ps.gz, 19940509 The Fork Calculus Towards a Logic for Concurrent ML Klaus Havelund Ph.D. Thesis DIKU { Datalogisk Institut Kobenhavn's Universitet Danmark January 1994 Acknowledgements I would like to thank Kim Guldstrand Larsen for having provided me with invaluable inspiration and for having offered his collaboration
	ftp://ftp.ens.fr/reports/lmens/lmens-94-11.ps.Z, 19940526 Fonctions z^eta p-adiques en s = Pierre COLMEZ Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 11 Mai 1994 Fonctions z^eta p-adiques en s = Pierre Colmez x0. Introduction. Soit K un corps de nombres. Notons OK l'anneau
	ftp://ftp.ens.fr/reports/lmens/lmens-94-13.ps.Z, 19940627 Un Calcul de Schubert Arithm etique Vincent MAILLOT Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 13 Juin 1994 UN CALCUL DE SCHUBERT ARITHM ETIQUE VINCENT MAILLOT Juin 1994 R esum e. On d eveloppe un analogue arithm
	ftp://ftp.ens.fr/reports/biologie/SAB94_2.ps.Z, 19940628 A Hierarchical Classifier System Implementing a Motivationally Autonomous Animat Jean-Yves Donnart and Jean-Arcady Meyer Groupe de BioInformatique Ecole Normale Sup erieure, CNRS-URA 686 46, rue d'Ulm 75230 Paris Cedex 05, France (donnart@wotan.ens.fr - meyer@wotan.ens.fr) To appear on SAB94. From
	ftp://ftp.ens.fr/reports/biologie/PerAc94.ps.Z, 19940628 Development, Learning and Evolution in Animats J er^ome Kodjabachian and Jean-Arcady Meyer Ecole Normale Sup erieure Groupe de BioInformatique - URA 686 75230 Paris cedex 05, France E-mail: kodjaba@wotan.ens.fr, meyer@wotan.ens.fr To appear in Proceedings of PerAc'94. From Perception to Action. IEEE
	ftp://ftp.ens.fr/reports/biologie/CompAnim94.ps.Z, 19940628 Computer Simulations of Adaptive Behavior in Animats Agn es Guillot and Jean-Arcady Meyer Groupe de BioInformatique, CNRS UA 686 Ecole Normale Sup erieure 75230 Paris cedex 05 France To appear in Computer Animation'94 IEEE Computer Society Press. 1994.
	ftp://ftp.ens.fr/reports/biologie/SAB94_1.ps.Z, 19940628 From SAB90 to SAB94 : Four Years of Animat Research Jean-Arcady Meyer and Agn es Guillot Groupe de BioInformatique Ecole Normale Sup erieure, CNRS-URA 686 46, rue d'Ulm. 75230 Paris Cedex 05, France (meyer@wotan.ens.fr - guillot@wotan.ens.fr) To appear in Cliff, Husbands, Meyer and Wilson (Eds.). From
	ftp://ftp.ens.fr/reports/liens/liens-94-8.A4.ps.Z, 19940707 Cut Polytope and its Lattices M. DEZA V.P. GRISHUKHIN Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure CEMI RAN, Moscow LIENS - 94 - 8 April 1994 Cut polytope and its lattices M.Deza CNRS-LIENS, Ecole Normale Sup erieure, Paris
	ftp://ftp.ens.fr/reports/lmens/lmens-94-14.ps.Z, 19940707 Le Sch ema de Hilbert des Courbes localement Cohen-Macaulay n'est (presque) jamais connexe ni r eduit. Mireille MARTIN-DESCHAMPS Daniel PERRIN Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 14 Juillet 1994 LE SCH EMA
	ftp://ftp.ens.fr/reports/liens/liens-94-9.A4.ps.Z, 19940718 Bottom-up Evaluation of Datalog Programs with Arithmetic Constraints: The Case of 3 Recursive Rules Laurent FRIBOURG Marcos VELOSO PEIXOTO Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 94 - 9 July 1994 Bottom-up Evaluation
	ftp://ftp.ens.fr/reports/lmens/lmens-94-15.ps.Z, 19940718 Spectral Properties and Semiclassical Asymptotics for h-pseudodifferential Operators with Periodic Flow Sandrine DOZIAS Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 15 Juillet 1994 Spectral properties and
	ftp://ftp.ens.fr/reports/biologie/granjeon.innc94.ps.Z, 19940907 A Modular Model of Active Vision Eric Granjeon Groupe de BioInformatique - URA686 CNRS Ecole Normale Sup erieure 46, rue d'Ulm, 75230 Paris Cedex 05, France granjeon@maia.ens.fr INNC'94 Irish Neural Network Conference September 12-13, 1994 University College Dublin, Belfield, Ireland Key words:
	ftp://ftp.ens.fr/reports/lmens/lmens-94-16.ps.Z, 19940920 L'indice Equivariant des Op erateurs Transversalement Elliptiques Nicole BERLINE Mich ele VERGNE Laboratoire de Math ematiques, URA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 16 Septembre 1994 L'indice equivariant des op erateurs transversalement
	ftp://ftp.ens.fr/reports/lmens/lmens-94-18.ps.Z, 19940920 Arithm etique des Vari et es Fibr ees au-dessus de l'Espace Affine David HARARI Laboratoire de Math ematiques, URA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 18 Septembre 1994 Arithm etique des vari et es fibr ees au-dessus de l'espace affine
	ftp://ftp.ens.fr/reports/liens/liens-94-11.A4.ps.Z, 19940923 Proving Behavioural Theorems with Standard First-Order Logic M. BIDOIT R. HENNICKER Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Institut f ur Informatik Ludwig-Maximilians-Universit at M unchen LIENS - 94 - 11 September 1994
	ftp://ftp.ens.fr/reports/liens/liens-94-15.A4.ps.Z, 19940923 Combining explicit Negation and Negation by Failure via Belnap's Logic Fran cois FAGES Paul RUET Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Thomson - LCR LIENS - 94 - 15 September 1994 Combining explicit negation and negation
	ftp://ftp.ens.fr/reports/lmens/lmens-94-12.ps.Z, 19940926 A Note on Jeffrey-Kirwan-Witten's Localisation Formula Mich ele VERGNE Laboratoire de Math ematiques, UA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 12 June 1994 1 57 A Note on Jeffrey-Kirwan-Witten's formula Mich ele Vergne June Introduction Let M
	ftp://ftp.ens.fr/reports/liens/liens-94-17.A4.ps.Z, 19941006 Bounds on the Covering Radius of a Lattice Michel DEZA Viatcheslav GRISHUKHIN Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure CEMI RAN, Moscow LIENS - 94 - 17 October 1994 Bounds on the covering radius of a lattice Michel Deza Ecole
	ftp://ftp.ens.fr/reports/liens/liens-94-19.A4.ps.Z, 19941027 Constructive Negation by Pruning and Optimization Higher-order Predicates for CLP and CC Languages Fran cois FAGES Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 94 - 19 October 1994 Constructive negation by pruning and
	ftp://ftp.ens.fr/reports/liens/liens-94-16.A4.ps.Z, 19941103 Skeletons of Some Relatives of the n-cube Antoine DEZA Michel DEZA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure Tokyo Institute of Technology, Japan LIENS - 94 - 16 September 1994 Skeletons of some relatives of the n-cube Antoine
	ftp://ftp.ens.fr/reports/liens/liens-94-22.A4.ps.Z, 19941114 A Semantics for Stratified >=&-early revised version of Liens-93-13 G. CASTAGNA G. GHELLI Giuseppe LONGO Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 94 - 22 November 1994 A semantics for a stratified >=&-early (revised
	ftp://ftp.ens.fr/reports/lmens/lmens-94-22.ps.Z, 19941117 The Energy Transformation Method for the Metropolis Algorithm Compared with Simulated Annealing Olivier Catoni Laboratoire de Math ematiques, URA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 22 November 1994 Summary. We present and analyze a new
	ftp://ftp.ens.fr/reports/lmens/lmens-94-23.ps.Z, 19941118 Extension Universelle d'une Vari et e Ab elienne et Hauteurs des Points de Torsion Antoine CHAMBERT-LOIR Laboratoire de Math ematiques, URA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 23 Novembre 1994 Extension universelle d'une vari et e ab
	ftp://ftp.ens.fr/reports/liens/liens-94-23.A4.ps.Z, 19941121 On the Need for Multipermutations: Cryptanalysis of MD4 and SAFER Serge VAUDENAY Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 94 - 23 November 1994 On the need for multipermutations: Cryptanalysis of MD4 and SAFER Serge
	ftp://ftp.ens.fr/reports/lmens/lmens-94-24.ps.Z, 19941122 Dualit e dans le Groupe de Grothendieck de la Cat egorie des Repr esentations Lisses de Longueur Finie d'un Groupe R eductif p-adique Anne-Marie AUBERT Laboratoire de Math ematiques, URA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 24 Novembre 1994
	ftp://ftp.ens.fr/reports/lmens/lmens-94-25.ps.Z, 19941219 Asymptotical Behaviour of Several Interacting Annealing Processes Alain TROUV E Laboratoire de Math ematiques, URA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 25 December 1994 Asymptotical behaviour of several interacting annealing processes Alain
	ftp://ftp.ens.fr/reports/lmens/lmens-94-26.ps.Z, 19941222 Formule des Traces sur les Corps Finis Anne-Marie AUBERT Laboratoire de Math ematiques, URA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 94 - 26 D ecembre 1994 FORMULE DES TRACES SUR LES CORPS FINIS Anne-Marie Aubert U.R.A. C.N.R.S. 762 (L.M.E.N.S.)
	ftp://ftp.ens.fr/reports/lmens/lmens-95-1.ps.Z, 19950119 On Equivalences between Blocks of Group Algebras: Reduction to the Simple Components Andrei MARCUS Laboratoire de Math ematiques, URA 762 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LMENS - 95 - 1 January 1995 ON EQUIVALENCES BETWEEN BLOCKS OF GROUP ALGEBRAS:
	ftp://ftp.ens.fr/reports/liens/liens-95-1.A4.ps.Z, 19950127 The Combinatorial Structure of Small Cut and Metric Polytopes Antoine DEZA Michel DEZA Laboratoire d'Informatique, URA 1327 du CNRS D epartement de Math ematiques et d'Informatique Ecole Normale Sup erieure LIENS - 95 - 1 January 1995 The Combinatorial Structure of Small Cut and Metric Polytopes Antoine
	ftp://ftp.ens.fr/reports/liens/liens-95-2.A4.ps.Z, 19950206 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS 1327 Les R eseaux de Neurones et leurs Applications Cryptographiques David POINTCHEVAL LIENS - 95 - 2 Les R eseaux de Neurones et leurs Applications Cryptographiques David
	ftp://ftp.ens.fr/reports/lmens/lmens-95-2.ps.Z, 19950220 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE A Probabilistic Approach to Semi-Classical Approximations G erard BEN AROUS Fabienne CASTELL LMENS - 95 - 2 A Probabilistic Approach to Semi-Classical Approximations G
	ftp://ftp.ens.fr/reports/lmens/lmens-95-3.ps.Z, 19950320 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Large Deviations for Langevin Spin Glass Dynamics G. BEN AROUS A. GUIONNET LMENS - 95 - 3 Large Deviations for Langevin Spin Glass Dynamics G. BEN AROUS A. GUIONNET LMENS -
	ftp://ftp.ens.fr/reports/liens/liens-95-5.A4.ps.Z, 19950320 Behavioural Theories and the Proof of Behavioural Properties Michel BIDOIT Rolf HENNICKER Laboratoire d'Informatique, URA 1327 du CNRS Ecole Normale Sup erieure Institut f ur Informatik Ludwig-Maximilians-Universit at M unchen LIENS - 95 - 5 March 1995 Behavioural Theories and The Proof of Behavioural
	ftp://ftp.ens.fr/reports/lmens/lmens-95-4.ps.Z, 19950323 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Asymptotic Behavior of Solutions of an Allen-Cahn Equation with a Non-local Term Xinfu CHEN Danielle HILHORST Elisabeth LOGAK LMENS - 95 - 4 Asymptotic Behavior of
	ftp://ftp.ens.fr/reports/liens/liens-95-6.A4.ps.Z, 19950327 THESE DE DOCTORAT pr esent ee A L'UNIVERSITE PARIS 7 Sp ecialit e : Informatique Fondamentale par Marcos VELOSO PEIXOTO Sujet de la th ese : Automates a Contraintes Arithm etiques et Proc edures d'Evaluation Ascendante de Programmes Logiques Soutenue le 14 d ecembre 1994 devant la Commission d'examen
	ftp://ftp.ens.fr/reports/lmens/lmens-95-6.ps.Z, 19950328 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Oscillatory Perturbations of the Navier Stokes Equations E. GRENIER LMENS - 95 - 6 Oscillatory Perturbations of the Navier Stokes Equations E. GRENIER LMENS - 95 - 6 March
	ftp://ftp.ens.fr/reports/lmens/lmens-95-5.ps.Z, 19950330 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Annealed and Quenched Propagation of Chaos for Asymmetric Spin Glass Dynamics G. BEN AROUS A. GUIONNET LMENS - 95 - 5 Annealed and Quenched Propagation of Chaos for
	ftp://ftp.ens.fr/reports/lmens/lmens-95-8.ps.Z, 19950410 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Quantum Cohomology of Complete Intersections Arnaud BEAUVILLE LMENS - 95 - 8 Quantum Cohomology of Complete Intersections Arnaud BEAUVILLE LMENS - 95 - 8 March 1995
	ftp://ftp.ens.fr/reports/liens/liens-95-8.A4.ps.Z, 19950413 Once More about 80 Steiner Triple Systems on 15 Points Michel DEZA Viatcheslav GRISHUKHIN Laboratoire d'Informatique, URA 1327 du CNRS Ecole Normale Sup erieure LIENS - 95 - 8 April 1995 Once more about 80 Steiner triple systems on 15 points Michel Deza Ecole Normale Sup erieure, Paris, France
	ftp://ftp.ens.fr/reports/lmens/lmens-95-7.ps.Z, 19950420 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Semiclassical Analysis for the Ground State Energy of a Schr odinger Operator with Magnetic Wells Bernard HELFFER Abderemane MOHAMED LMENS - 95 - 7 Semiclassical Analysis
	ftp://ftp.ens.fr/reports/biologie/liverpool.ps.gz, 19950426 Modelling the emergence of coregulated proteins in biological regulation networks Emmanuel Chiva Philippe Tarroux Ecole Normale Sup erieure Groupe de BioInformatique 46 rue d'Ulm, 75230 Paris Cedex 05, FRANCE Tel: 33{1{44{32{36{37 Fax: 33{1{44{32{39{01 chiva@wotan.ens.fr, tarroux@wotan.ens.fr April 19,
	ftp://ftp.ens.fr/reports/liens/liens-95-7.A4.ps.Z, 19950509 The Hilbert Basis of the Cut Cone over the Complete Graph on Six Vertices Fran cois LABURTHE Michel DEZA Monique LAURENT Laboratoire d'Informatique, URA 1327 du CNRS Ecole Normale Sup erieure LIENS - 95 - 7 April 1995 Table of Contents 1 Introduction: Cuts on a graph 3 2 The cut cone and the cut lattice
	ftp://ftp.ens.fr/reports/liens/liens-95-9.A4.ps.Z, 19950511 Two-graphs on 36 Points from the Even Unimodular Lattices E8 E8 and D+ 16 Michel DEZA Viatcheslav GRISHUKHIN Laboratoire d'Informatique, URA 1327 du CNRS Ecole Normale Sup erieure LIENS - 95 - 9 April 1995 Two-graphs on 36 points from the even unimodular lattices E8 E8 and D+ 16 Michel Deza Ecole Normal
	ftp://ftp.ens.fr/reports/liens/liens-95-12.A4.ps.Z, 19950522 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Regular Algebras A Framework for Observational Specifications with Recursive Definitions Michel BIDOIT Andrzej TARLECKI LIENS - 95 - 12 Regular Algebras A Framework for
	ftp://ftp.ens.fr/reports/lmens/lmens-95-9.ps.Z, 19950522 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE An Approach of Pattern Recognition through Infinite Dimensional Group Action Alain TROUV E LMENS - 95 - 9 An Approach of Pattern Recognition through Infinite Dimensional
	ftp://ftp.ens.fr/reports/liens/liens-95-14.A4.ps.Z, 19950522 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 ON BINARY METHODS Kim B. BRUCE Luca CARDELLI Giuseppe CASTAGNA The Hopkins Objects Group Gary T. LEAVENS Benjamin PIERCE LIENS - 95 - 14 ON BINARY METHODS Kim B. BRUCE1
	ftp://ftp.ens.fr/reports/liens/liens-95-15.A4.ps.Z, 19950529 Computing Visibility Graphs via Pseudo-triangulations Michel POCCHIOLA Gert VEGTER LIENS - 95 - 15 Computing Visibility Graphs via Pseudo-triangulations Michel POCCHIOLA Gert VEGTER LIENS - 95 - 15 April 1995 Laboratoire d'Informatique de l'Ecole Normale Sup erieure 45 rue d'Ulm 75230 PARIS Cedex 05 Tel
	ftp://ftp.ens.fr/reports/biologie/khepera_learning95.1.ps.Z, 19950530 Learning Reactive and Planning Rules in a Motivationally Autonomous Animat Jean-Yves Donnart and Jean-Arcady Meyer
	ftp://ftp.ens.fr/reports/liens/liens-95-10.A4.ps.Z, 19950530 Universit e de PARIS 7 - Denis Diderot La S ecurit e des Primitives Cryptographiques Th ese de doctorat Pr esident du jury : Philippe Flajolet Rapporteurs : Jean-Jacques Quisquater Claus Peter Schnorr Examinateurs : Guy Cousineau Claude Cr epeau Michel Minoux Adi Shamir Brigitte Vall ee Directeur de th
	ftp://ftp.ens.fr/reports/biologie/khepera_learning95.3.ps.Z, 19950530 those that have been obtained by simulation in a previous work . Fig. 26. Improvement of Khepera's performance after shifting to the planning mode at iteration 10. Number of moves (ordinate) versus number of iterations (abscissa). Figure 26 shows how the performance of Khepera improved when the
	ftp://ftp.ens.fr/reports/biologie/khepera_learning95.2.ps.Z, 19950530 instant. Finally, with six binary sensors, eight goal directions and three actions, the number of rules in the reactive module of Khepera was 6483 = 1536. Fig. 20. The robot Khepera and the experimental setting. Figure 21 shows the learning curves obtained when three experiments of 50 iterations each
	ftp://ftp.ens.fr/reports/lmens/lmens-95-10.ps.Z, 19950609 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE A Homogenized Model for Vortex Sheets Yann BRENIER LMENS - 95 - 10 A Homogenized Model for Vortex Sheets Yann BRENIER LMENS - 95 - 10 May 1995 Laboratoire de Math ematiques
	ftp://ftp.ens.fr/reports/liens/liens-95-16.A4.ps.Z, 19950609 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Event Structures Representing Domains with Coherence Antonio BUCCIARELLI LIENS - 95 - 16 Event Structures Representing Domains with Coherence Antonio BUCCIARELLI LIENS -
	ftp://ftp.ens.fr/reports/liens/liens-95-17.A4.ps.Z, 19950609 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Degrees of Parallelism in the Continuous Type Hierachy Antonio BUCCIARELLI LIENS - 95 - 17 Degrees of Parallelism in the Continuous Type Hierachy Antonio BUCCIARELLI LIENS
	ftp://ftp.ens.fr/reports/liens/liens-95-11.ps.Z, 19950619 Recognition of the `1-graphs with Complexity O(nm), or Football in a Hypercube M. DEZA S. SHPECTOROV Laboratoire d'Informatique, URA 1327 du CNRS Ecole Normale Sup erieure LIENS - 95 - 11 May 1995 Recognition of the `1-graphs with complexity O(nm), or football in a hypercube M.Deza and S. Shpectorov
	ftp://ftp.ens.fr/reports/liens/liens-95-21.A4.ps.Z, 19950706 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Improvements of the Attacks on Cryptosystems Based on Error-correcting Codes Anne CANTEAUT Florent CHABAUD LIENS - 95 - 21 Improvements of the Attacks on Cryptosystems
	ftp://ftp.ens.fr/reports/liens/liens-95-20.A4.ps.Z, 19950706 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Minimal Tangent Visibility Graphs Michel POCCHIOLA Gert VEGTER LIENS - 95 - 20 Minimal Tangent Visibility Graphs Michel POCCHIOLA Gert VEGTER LIENS - 95 - 20 March 1995
	ftp://ftp.ens.fr/reports/lmens/lmens-95-11.ps.Z, 19950706 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Proof of the De Gennes Formula for the Superheating Field in the Weak <= Limit Bernard HELFFER Catherine BOLLEY LMENS - 95 - 11 Proof of the De Gennes Formula for the
	ftp://ftp.ens.fr/reports/liens/liens-95-19.A4.ps.Z, 19950710 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 A Model for Formal Parametric Polymorphism: a Per Interpretation for System R Martin ABADI Roberto BELLUCCI Pierre-Louis CURIEN LIENS - 95 - 19 A Model for Formal
	ftp://ftp.ens.fr/reports/lmens/lmens-95-14.ps.Z, 19950904 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE On Laplace Integrals and Transfer Operators in Large Dimension: Examples in the non Convex Case Bernard HELFFER LMENS - 95 - 14 On Laplace Integrals and Transfer Operators
	ftp://ftp.ens.fr/reports/liens/liens-95-24.A4.ps.Z, 19950907 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Constructive Negation by Pruning (revised version of Liens 94-14) Fran cois FAGES LIENS - 95 - 24 Constructive Negation by Pruning (revised version of Liens 94-14) Fran
	ftp://ftp.ens.fr/reports/lmens/lmens-95-13.ps.Z, 19950907 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE A New Upper-bound for the Free Energy of the Sherrington-Kirkpatrick Model of a Spin Glass Olivier CATONI LMENS - 95 - 13 A New Upper-bound for the Free Energy of the
	ftp://ftp.ens.fr/reports/lmens/lmens-95-15.ps.Z, 19950925 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Lattice Points in Simple Polytopes Michel BRION Mich ele VERGNE LMENS - 95 - 15 Lattice Points in Simple Polytopes Michel BRION Mich ele VERGNE LMENS - 95 - 15 September
	ftp://ftp.ens.fr/reports/liens/liens-95-25.A4.ps.Z, 19951026 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Disjunctive Scheduling with Task Intervals Yves CASEAU Fran cois LABURTHE LIENS - 95 - 25 Disjunctive Scheduling with Task Intervals Yves CASEAU Fran cois LABURTHE LIENS -
	ftp://ftp.ens.fr/reports/lmens/lmens-95-18.ps.Z, 19951102 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Stability of Blow-up Profile for Equation of the Type ut = u + jujp 1u Frank MERLE Hatem ZAAG LMENS - 95 - 18 Stability of Blow-up Profile for Equation of the Type ut = u +
	ftp://ftp.ens.fr/reports/lmens/lmens-95-19.ps.Z, 19951102 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Singularities of Hypoelliptic Green Functions G erard BEN AROUS Mihai GRADINARU LMENS - 95 - 19 Singularities of Hypoelliptic Green Functions G erard BEN AROUS Mihai
	ftp://ftp.ens.fr/reports/lmens/lmens-95-20.ps.Z, 19951106 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Bounds for Disconnection Exponents Wendelin WERNER LMENS - 95 - 20 Bounds for Disconnection Exponents Wendelin WERNER LMENS - 95 - 20 November 1995 Laboratoire de Math
	ftp://ftp.ens.fr/reports/lmens/lmens-95-21.ps.Z, 19951106 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Monte-Carlo Tests and Conjectures for Disconnection Exponents Emily E. PUCKETTE Wendelin WERNER LMENS - 95 - 21 Monte-Carlo Tests and Conjectures for Disconnection
	ftp://ftp.ens.fr/reports/lmens/lmens-95-22.ps.Z, 19951106 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Stable Windings Jean BERTOIN Wendelin WERNER LMENS - 95 - 22 Stable Windings Jean BERTOIN Wendelin WERNER LMENS - 95 - 22 November 1995 Laboratoire de Math ematiques de
	ftp://ftp.ens.fr/reports/lmens/lmens-95-24.ps.Z, 19951107 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Intrinsic Microlocal Analysis and Inversion Formulae for the Heat Equation on Compact Real-Analytic Riemannian Manifolds Eric LEICHTNAM Fran cois GOLSE Matthew STENZEL
	ftp://ftp.ens.fr/reports/lmens/lmens-95-17.ps.Z, 19951110 Diffeomorphisms Groups and Pattern Matching in Image Analysis Alain TROUV E LMENS - 95 - 17 Diffeomorphisms Groups and Pattern Matching in Image Analysis Alain TROUV E LMENS - 95 - 17 September 1995 Laboratoire de Math ematiques de l'Ecole Normale Sup erieure 45 rue d'Ulm 75230 PARIS Cedex 05 Tel :
	ftp://ftp.ens.fr/reports/lmens/lmens-95-26.ps.Z, 19951116 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE The Construction of the d + 1-dimensional Gaussian Droplet G erard BEN AROUS Jean-Dominique DEUSCHEL LMENS - 95 - 26 The Construction of the d + 1-dimensional Gaussian
	ftp://ftp.ens.fr/reports/lmens/lmens-95-27.ps.Z, 19951120 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE On the Mean Free Path for a Periodic Array of Spherical Obstacles H.S. DUMAS L. DUMAS F. GOLSE LMENS - 95 - 27 On the Mean Free Path for a Periodic Array of Spherical
	ftp://ftp.ens.fr/reports/liens/liens-95-26.A4.ps.Z, 19951120 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Datalog Programs with Arithmetical Constraints: Hierarchic, Periodic and Spiralling Least Fixpoints Laurent FRIBOURG Hans OLS EN LIENS - 95 - 26 Datalog Programs with
	ftp://ftp.ens.fr/reports/lmens/lmens-95-25.ps.Z, 19951201 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Metastability of the Three Dimensional Ising Model on a Torus at very Low Temperatures G erard BEN AROUS Rapha el CERF LMENS - 95 - 25 Metastability of the Three
	ftp://ftp.ens.fr/reports/liens/liens-95-29.A4.ps.Z, 19951201 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 An Experiment on DES Statistical Cryptanalysis Serge VAUDENAY LIENS - 95 - 29 An Experiment on DES Statistical Cryptanalysis Serge Vaudenay LIENS - 95 - 29 November 1995
	ftp://ftp.ens.fr/reports/liens/liens-95-27.A4.ps.Z, 19951201 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 On the Weak Keys of Blowfish Serge VAUDENAY LIENS - 95 - 27 On the Weak Keys of Blowfish Serge VAUDENAY LIENS - 95 - 27 November 1995 Laboratoire d'Informatique de l'Ecole
	ftp://ftp.ens.fr/reports/liens/liens-95-28.A4.ps.Z, 19951201 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Black Box Cryptanalysis of Cryptographic Primitives Claus Peter SCHNORR Serge VAUDENAY LIENS - 95 - 28 Black Box Cryptanalysis of Cryptographic Primitives Claus Peter
	ftp://ftp.ens.fr/reports/lmens/lmens-96-1.ps.Z, 19960208 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Tied Favourite Edges for Simple Random Walk B alint T OTH Wendelin WERNER LMENS - 96 - 1 Tied Favourite Edges for Simple Random Walk B alint T OTH Wendelin WERNER LMENS -
	ftp://ftp.ens.fr/reports/lmens/lmens-95-29.ps.Z, 19960212 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Diffusion Approximation for Billards with Totally Accomodating Scatterers Claude BARDOS Laurent DUMAS Fran cois GOLSE LMENS - 95 - 29 Diffusion Approximation for Billards
	ftp://ftp.ens.fr/reports/liens/liens-96-2.A4.ps.Z, 19960213 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 On Skeletons, Diameters and Volumes of Metric Polyhedra Antoine DEZA Michel DEZA Komei FUKUDA LIENS - 96 - 2 On Skeletons, Diameters and Volumes of Metric Polyhedra
	ftp://ftp.ens.fr/reports/lmens/lmens-96-3.ps.Z, 19960219 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Interface in a One-dimensional Ising Model with Random Interactions Thierry BODINEAU LMENS - 96 - 3 Interface in a One-dimensional Ising Model with Random Interactions
	ftp://ftp.ens.fr/reports/lmens/lmens-96-4.ps.Z, 19960220 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Shock Profiles for the Perthame-Tadmor Kinetic Model Fran cois GOLSE LMENS - 96 - 4 Shock Profiles for the Perthame-Tadmor Kinetic Model Fran cois GOLSE LMENS - 96 - 4
	ftp://ftp.ens.fr/reports/lmens/lmens-96-6.ps.Z, 19960223 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Rational Points on Some Fano Cubic Bundles Victor V. BATYREV Yuri TSCHINKEL LMENS - 96 - 6 Rational Points on Some Fano Cubic Bundles Victor V. BATYREV Yuri TSCHINKEL LMENS
	ftp://ftp.ens.fr/reports/lmens/lmens-96-7.B.ps.Z, 19960226 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Diffusion Approximation and Hyperbolic Automorphisms of the Torus Claude BARDOS Fran cois GOLSE Jean-Fran cois COLONNA LMENS - 96 - 7 Diffusion Approximation and Hyperbolic
	ftp://ftp.ens.fr/reports/lmens/lmens-96-2.ps.Z, 19960226 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Asymptotic Behaviour of Disconnection and Non-intersection Exponents Wendelin WERNER LMENS - 96 - 2 Asymptotic Behaviour of Disconnection and Non-intersection Exponents
	ftp://ftp.ens.fr/reports/lmens/lmens-96-8.ps.Z, 19960226 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE The Ergodization Time for Linear Flows on Tori : Applications to Kinetic Theory Jean BOURGAIN Fran cois GOLSE Bernt WENNBERG LMENS - 96 - 8 The Ergodization Time for Linear
	ftp://ftp.ens.fr/reports/lmens/lmens-96-7.A.ps.Z, 19960226 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Diffusion Approximation and Hyperbolic Automorphisms of the Torus Claude BARDOS Fran cois GOLSE Jean-Fran cois COLONNA LMENS - 96 - 7 Diffusion Approximation and Hyperbolic
	ftp://ftp.ens.fr/reports/lmens/lmens-96-7.C.ps.Z, 19960226 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Diffusion Approximation and Hyperbolic Automorphisms of the Torus Claude BARDOS Fran cois GOLSE Jean-Fran cois COLONNA LMENS - 96 - 7 Diffusion Approximation and Hyperbolic
	ftp://ftp.ens.fr/reports/lmens/lmens-96-7.ps.Z, 19960226 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Diffusion Approximation and Hyperbolic Automorphisms of the Torus Claude BARDOS Fran cois GOLSE Jean-Fran cois COLONNA LMENS - 96 - 7 Diffusion Approximation and Hyperbolic
	ftp://ftp.ens.fr/reports/lmens/lmens-95-12.ps.Z, 19960304 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Resolving Singularities of Plane Analytic Branches with One Toric Morphism R. GOLDIN B. TEISSIER LMENS - 95 - 12 Resolving Singularities of Plane Analytic Branches with One
	ftp://ftp.ens.fr/reports/liens/liens-96-3.A4.ps.Z, 19960311 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Symbolic Verification with Gap-order Constraints Laurent FRIBOURG Julian RICHARDSON LIENS - 96 - 3 Symbolic Verification with Gap-order Constraints Laurent FRIBOURG Julian
	ftp://ftp.ens.fr/reports/lmens/lmens-96-9.ps.Z, 19960312 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Height Zeta Functions of Toric varieties Victor V. BATYREV Yuri TSCHINKEL LMENS - 96 - 9 Height Zeta Functions of Toric varieties Victor V. BATYREV Yuri TSCHINKEL LMENS -
	ftp://ftp.ens.fr/reports/lmens/lmens-95-12.2.ps.Z, 19960322 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Valuative Sorites B. TEISSIER LMENS - 95 - 12 Valuative Sorites B. TEISSIER LMENS - 95 - 12 June 1995 Laboratoire de Math ematiques de l'Ecole Normale Sup erieure 45 rue
	ftp://ftp.ens.fr/reports/lmens/lmens-96-5.ps.Z, 19960325 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Anomalous Diffusion Limit for the Knudsen Gas Fran cois GOLSE LMENS - 96 - 5 Anomalous Diffusion Limit for the Knudsen Gas Fran cois GOLSE LMENS - 96 - 5 February 1996
	ftp://ftp.ens.fr/reports/liens/liens-96-6.A4.ps.Z, 19960415 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 The Skeleton of the 120-cell is not 5-gonal Michel DEZA V. GRISHUKHIN LIENS - 96 - 6 The Skeleton of the 120-cell is not 5-gonal Michel DEZA V. GRISHUKHIN LIENS - 96 - 6
	ftp://ftp.ens.fr/reports/lmens/lmens-96-10.ps.Z, 19960506 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Radial Symmetry of Overdetermined Boundary Value Problems in Exterior Domains Amandine AFTALION J er^ome BUSCA LMENS - 96 - 10 Radial Symmetry of Overdetermined Boundary
	ftp://ftp.ens.fr/reports/lmens/lmens-96-11.ps.Z, 19960507 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 On the Minimizers of the Ginzburg-Landau Energy for High Kappa: the One-dimensional Case Amandine AFTALION LMENS - 96 - 11 On the Minimizers of the Ginzburg-Landau Energy
	ftp://ftp.ens.fr/reports/lmens/lmens-96-12.ps.Z, 19960507 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 On the Minimizers of the Ginzburg-Landau Energy for High Kappa: the Axial Symmetric Case Amandine AFTALION LMENS - 96 - 12 On the Minimizers of the Ginzburg-Landau Energy
	ftp://ftp.ens.fr/reports/liens/liens-96-7.A4.ps.Z, 19960509 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke) Ugo de'LIGUORO LIENS - 96 - 7 PCF Definability via Kripke Logical Relations (after O'Hearn and
	ftp://ftp.ens.fr/reports/liens/liens-94-18.A4.ps.Z, 19960523 COVARIANCE AND CONTRAVARIANCE:CONFLICT WITHOUT A CAUSE Giuseppe CASTAGNA LIENS - 94 - 18 October 1994 Laboratoire d'Informatique de l'Ecole Normale Sup erieure 45 rue d'Ulm 75230 PARIS Cedex 05 Tel : (33)(1) 44 32 00 00 Adresse electronique : castagna@dmi.ens.fr URL: http://www.dmi.ens.fr/~castagna 1
	ftp://ftp.ens.fr/reports/lmens/lmens-96-13.ps.Z, 19960528 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Perturbed Brownian Motions Mihael PERMAN Wendelin WERNER LMENS - 96 - 13 Perturbed Brownian Motions Mihael PERMAN Wendelin WERNER LMENS - 96 - 13 May 1996 Laboratoire de
	ftp://ftp.ens.fr/reports/liens/liens-96-8.A4.ps.Z, 19960531 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Modularity of Strong Normalization in the Algebraic->=-cube Franco BARBANERA Maribel FERN ANDEZ Herman GEUVERS LIENS - 96 - 8 Modularity of Strong Normalization in the
	ftp://ftp.ens.fr/reports/lmens/lmens-96-15.ps.Z, 19960610 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 On Removable Singularities for CR Functions in Higher Codimension Jo el MERKER LMENS - 96 - 15 On Removable Singularities for CR Functions in Higher Codimension Jo el
	ftp://ftp.ens.fr/reports/liens/liens-96-9.A4.ps.Z, 19960614 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Hidden Collisions on DSS Serge VAUDENAY LIENS - 96 - 9 Hidden Collisions on DSS Serge VAUDENAY LIENS - 96 - 9 June 1996 Laboratoire d'Informatique de l'Ecole Normale Sup
	ftp://ftp.ens.fr/reports/lmens/lmens-96-17.ps.Z, 19960628 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Sur la Hauteur de Faltings des Vari et es Ab eliennes a Multiplication Complexe Piere COLMEZ LMENS - 96 - 17 Sur la Hauteur de Faltings des Vari et es Ab eliennes a
	ftp://ftp.ens.fr/reports/lmens/lmens-96-16.ps.Z, 19960628 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Pseudodifferential Energy Estimates of Singular Pertubations E. GRENIER LMENS - 96 - 16 Pseudodifferential Energy Estimates of Singular Pertubations E. GRENIER LMENS - 96
	ftp://ftp.ens.fr/reports/lmens/lmens-96-18.ps.Z, 19960628 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Th eorie d'Iwasawa des Repr esentations de de Rham d'un Corps Local Piere COLMEZ LMENS - 96 - 18 Th eorie d'Iwasawa des Repr esentations de de Rham d'un Corps Local Pierre
	ftp://ftp.ens.fr/reports/liens/liens-96-10.ps.Z, 19960705 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Eta Expansions in System F Neil GHANI LIENS - 96 - 10 Eta Expansions in System F Neil GHANI LIENS - 96 - 10 June 1996 Laboratoire d'Informatique de l'Ecole Normale Sup
	ftp://ftp.ens.fr/reports/lmens/lmens-96-23.ps.Z, 19960705 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Extension du Ph enom ene de Brisure Spontan ee de Sym etrie de Bost-Connes au Cas des Corps Globaux Quelconques David HARARI Eric LEICHTNAM LMENS - 96 - 23 Extension du Ph
	ftp://ftp.ens.fr/reports/liens/liens-96-11.ps.Z, 19960705 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Clin d'Oeil on `1-embeddable Planar Graphs Victor CHEPOI Michel DEZA Viatcheslav GRISHUKHIN LIENS - 96 - 11 Clin d'Oeil on `1-embeddable Planar Graphs Victor CHEPOI Michel
	ftp://ftp.ens.fr/reports/lmens/lmens-96-19.ps.Z, 19960711 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Piecewise Constant Triangular Cooling Schedules for Generalized Simulated Annealing Algorithms C ecile COT Olivier CATONI LMENS - 96 - 19 Piecewise Constant Triangular
	ftp://ftp.ens.fr/reports/lmens/lmens-96-20.ps.Z, 19960711 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Solving Scheduling Problems by Simulated Annealing Olivier CATONI LMENS - 96 - 20 Solving Scheduling Problems by Simulated Annealing Olivier CATONI LMENS - 96 - 20 June
	ftp://ftp.ens.fr/reports/lmens/lmens-96-22.ps.Z, 19960711 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Residue Formulae, Vector Partition Functions and Lattice Points in Rational Polytopes Michel BRION Mich ele VERGNE LMENS - 96 - 22 Residue Formulae, Vector Partition
	ftp://ftp.ens.fr/reports/lmens/lmens-96-24.ps.Z, 19960711 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE The Exit Path of a Markov Chain with Rare Transitions revised version of LMENS-95-23 Olivier CATONI Raphael CERF LMENS - 96 - 24 The Exit Path of a Markov Chain with Rare
	ftp://ftp.ens.fr/reports/lmens/lmens-96-21.ps.Z, 19960711 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Metropolis, Simulated Annealing and I.E.T. Algorithms: Theory and Experiments Olivier CATONI LMENS - 96 - 21 Metropolis, Simulated Annealing and I.E.T. Algorithms: Theory
	ftp://ftp.ens.fr/reports/liens/liens-96-12.ps.Z, 19960716 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 A Decompositional Approach for Computing Least Fixed-points of Datalog Programs with Z-counters Laurent FRIBOURG Hans OLS EN LIENS - 96 - 12 A Decompositional Approach for
	ftp://ftp.ens.fr/reports/liens/liens-96-13.A4.ps.Z, 19960912 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Why SAFER K Changed Its Name L. R. KNUDSEN LIENS - 96 - 13 Why SAFER K Changed Its Name LIENS - 96 - 13 April 1996 Laboratoire d'Informatique de l'Ecole Normale Sup
	ftp://ftp.ens.fr/reports/lmens/lmens-96-25.ps.Z, 19960913 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Modified Motion by Mean Curvature: Local Existence and Uniqueness and Qualitative Properties A. BONAMI D. HILHORST E. LOGAK LMENS - 96 - 25 Modified Motion by Mean
	ftp://ftp.ens.fr/reports/lmens/lmens-96-27.ps.Z, 19960916 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE A Higher Atiyah-Patodi-Singer Index Theorem on Galois Coverings Eric LEICHTNAM Paolo PIAZZA LMENS - 96 - 27 A Higher Atiyah-Patodi-Singer Index Theorem on Galois Coverings
	ftp://ftp.ens.fr/reports/liens/liens-96-1.A4.ps.gz, 19960916 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 A Zoo of `1-embeddable Polytopal Graphs Michel DEZA V.P. GRISHUHKIN LIENS - 96 - 1 A Zoo of `1-embeddable Polytopal Graphs Michel DEZA V.P. GRISHUHKIN LIENS - 96 - 1
	ftp://ftp.ens.fr/reports/lmens/lmens-96-26.ps.Z, 19960917 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Int egration sur les Vari et es p-adiques Pierre COLMEZ LMENS - 96 - 26 Int egration sur les Vari et es p-adiques LMENS - 96 - 26 Septembre 1996 Laboratoire de Math
	ftp://ftp.ens.fr/reports/lmens/lmens-96-29.ps.Z, 19960924 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE The Verlinde Formula for PGL(p) Arnaud BEAUVILLE LMENS - 96 - 29 The Verlinde Formula for PGL(p) Arnaud BEAUVILLE LMENS - 96 - 29 September 1996 Laboratoire de Math
	ftp://ftp.ens.fr/reports/liens/liens-96-15.A4.ps.Z, 19960930 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Introduction to the CLAIRE programming language Fran cois LABURTHE Yves CASEAU LIENS - 96 - 15 Introduction to the CLAIRE programming language Fran cois LABURTHE Yves
	ftp://ftp.ens.fr/reports/lmens/lmens-96-28.ps.Z, 19960930 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE The Picard Group of the Moduli of G-bundles on a Curve Arnaud BEAUVILLE Yves LASZLO Christoph SORGER LMENS - 96 - 28 The Picard Group of the Moduli of G-bundles on a Curve
	ftp://ftp.ens.fr/reports/lmens/lmens-96-30.ps.Z, 19961007 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Linearization of group stack actions and the Picard group of the moduli of SLr= s-bundles on a curve Yves LASZLO LMENS - 96 - 30 Linearization of group stack actions and
	ftp://ftp.ens.fr/reports/liens/liens-96-14.A4.ps.Z, 19961007 Th ese pr esent ee pour obtenir le grade de DOCTEUR DE L' ECOLE POLYTECHNIQUE sp ecialit e : INFORMATIQUE par Florent CHABAUD Titre : RECHERCHE DE PERFORMANCE DANS L'ALGORITHMIQUE DES CORPS FINIS. APPLICATIONS A LA CRYPTOGRAPHIE. Soutenue le 22 octobre 1996 devant le jury compos e de : M. Jacques STERN
	ftp://ftp.ens.fr/reports/lmens/lmens-96-31.ps.Z, 19961011 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UP RIEURESORMALEN COLE Cohomologie cristalline : un survol Antoine CHAMBERT-LOIR LMENS - 96 - 31 Cohomologie cristalline : un survol Antoine CHAMBERT-LOIR LMENS - 96 - 31 Octobre 1996 Laboratoire
	ftp://ftp.ens.fr/reports/liens/liens-96-16.A4.ps.Z, 19961028 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 On Polygonal Covers Michel POCCHIOLA Gert VEGTER LIENS - 96 - 16 On Polygonal Covers Michel POCCHIOLA Gert VEGTER LIENS - 96 - 16 July 1996 Laboratoire d'Informatique de
	ftp://ftp.ens.fr/reports/liens/liens-96-17.A4.ps.Z, 19961028 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 On Provable Security for Digital Signature Algorithms David POINTCHEVAL Serge VAUDENAY LIENS - 96 - 17 On Provable Security for Digital Signature Algorithms David
	ftp://ftp.ens.fr/reports/lmens/lmens-96-33.ps.Z, 19961104 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Some Properties of Character Sheaves Anne-Marie AUBERT LMENS - 96 - 33 Some Properties of Character Sheaves Anne-Marie AUBERT LMENS - 96 - 33 October 1996 Laboratoire de
	ftp://ftp.ens.fr/reports/liens/liens-95-31.A4.ps.Z, 19961104 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 A Logic of Subtyping Giuseppe LONGO Kathleen MILSTED Sergei SOLOVIEV LIENS - 95 - 31 A Logic of Subtyping Giuseppe LONGO Kathleen MILSTED Sergei SOLOVIEV LIENS - 95 - 31
	ftp://ftp.ens.fr/reports/liens/liens-96-18.A4.ps.Z, 19961104 D partement de Math matiques et Informatique ________________________ ________________________ UPERIEURESORMALENE COLE CNRS URA 1327 Coherence and Transitivity of Subtyping as Entailment Giuseppe LONGO Kathleen MILSTED Sergei SOLOVIEV LIENS - 96 - 18 Coherence and Transitivity of Subtyping as Entailment
	ftp://ftp.ens.fr/reports/lmens/lmens-96-32.ps.Z, 19961107 D partement de Math matiques et Informatique CNRS URA 762 ________________________ ________________________ UPERIEURESORMALENE COLE Avoiding-probabilities for Brownian Snakes and super-Brownian Motion Romain ABRAHAM Wendelin WERNER LMENS - 96 - 32 Avoiding-probabilities for Brownian Snakes and