RAPPORTS DE RECHERCHE



Accueil

Actualités
Colloquium
Conférences
Rencontres
Recrutement

Recherche
Publications
Rapports
Thèses
Valorisation

Formation
D.E.A
D.E.S.S
Association

Ressources
Bibliothèque
Informatique


Présentation

Les rapports de recherche présentés ici reflètent une partie des activités de recherche des membres du Laboratoire LACO. La majorité de ces rapports est destinée à être publiée ultérieurement dans des revues ou des périodiques.

Dans tous les cas, le contenu du rapport de recherche est sous la seule responsabilité de son ou ses auteurs.

Les fichiers PDF (Adobe Acrobat) nécessitent Adobe  Reader pour être visualisés.

Pour tout renseignement, prière de contacter M. Rybowicz.

Liste des rapports

1998 - 1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005


Année 2006

Rapport 2006-01

 

 

Auteurs : Emil Ernst,  Michel Théra, Michel Volle

Titre : Self-Equilibrating Sets and Functions in Dual Vector Spaces: Two Boundedness Criteria

Nbre de pages : 21

Document : Article (PDF)

Rapport 2006-02

 

 

Auteurs : Emil Ernst,  Michel Théra

Titre : On the Necessity of the Moreau-Rockafellar- Robinson Qualification Condition in Banach Spaces

Nbre de pages : 14

Document : Article (PDF)

Rapport 2006-03

 

 

Auteurs : M. Ait Mansour, N. Popovici,  M. Théra

Titre : On Directed Sets and their Suprema

Nbre de pages : 16

Document : 
    Article (version modifiée du 01/03/2006) (PDF)
    Article (version originale du 04/01/2006) (PDF)

Rapport 2006-04

 

 

Auteurs : Samir Adly, Emil Ernst,  Michel Théra

Titre : Stability in Frictional Unilateral Elasticity Revisited: an Application of the Theory of Semi-Coercive Variational Inequalities

Nbre de pages : 13

Document : Article (PDF)

Rapport 2006-05

 

 

Auteurs : Paul Armand, Joël Benoist

Titre : A Local Convergence Property of Primal-Dual Methods for Nonlinear Programming

Nbre de pages : 17

Document : Article (PDF)

Rapport 2006-06

 

 

Auteurs : Alexandre Cabot, Alberto Seeger

Titre : Multivalued Exponentiation Analysis.
 Part I: Maclaurin Exponentials.

Nbre de pages : 31

Document : Article (PDF)

Rapport 2006-07

 

 

Auteurs : Alexandre Cabot, Alberto Seeger

Titre : Multivalued Exponentiation Analysis.
 Part II: Recursive Exponentials.

Nbre de pages : 30

Document : Article (PDF)

Rapport 2006-08

 

 

Auteurs : Alexandre Cabot, Laetitia Paoli

Titre : Asymptotics for some vibro-impact problems with a linear dissipation term.

Nbre de pages : 36

Document : Article (PDF)

Année 2005

Rapport 2005-01

 

 

Auteurs : Emil Ernst,  Michel Théra

Titre : Necessary and Sufficient Conditions for the Existence of a Global Maximum for Convex Functions in Reflexive Banach Spaces

Nbre de pages : 10

Document : Article (PDF)

Rapport 2005-02

 

 

Auteurs : M. Ait Mansour, N. Popovici, M. Théra

Titre : Directed Sets and their Suprema

Nbre de pages : 16

Document : Article (PDF)

Rapport 2005-03

 

 

Auteurs :  Abdelhakim Smati

Titre : Sur un problème d'Erdös et Katai

Nbre de pages : 22

Document : Article (PDF)

Rapport 2005-04

 

 

Auteurs : Paul Armand

Titre :  Modification of the Wolfe line search rules to satisfy the descent condition in the Polak-Ribière-Polyak conjugate gradient method

Note : revised and augmented version of report 2003-10.

Nbre de pages : 20

Document : Article (PDF)

Rapport 2005-05

 

 

Auteurs : Paul Armand, Joël Benoist, Dominique Orban

Titre :  Interpretation of nonlinear interior methods as damped Newton methods.

Nbre de pages : 26

Document : Article (PDF)

Rapport 2005-06

 

 

Auteurs : Todor Todorov

Titre :  Improving the Watermarking Process with Usage of Block Error-Correcting Codes

Nbre de pages : 14

Document : Article (PDF)

Rapport 2005-07

 

 

Auteurs : Emil Ernst, Michel Théra

Titre :  Global Maximum of a Convex Function: Necessary and Sufficient Conditions

Nbre de pages : 9

Document : Article (PDF)


Année 2004


Rapport 2004-01

 

 

Auteurs : Michael C. Ferris, Andrew J. Wathen, Paul Armand

Titre : Limited Memory Solution of Complementarity Problems arising in Video Games

Nbre de pages : 21

Document : Article (PDF)

Rapport 2004-02

 

 

Auteurs : Abdallah Derbal, Abdelhakim Smati

Titre : Le nombre des diviseurs d'un entier dans les progressions arithmétiques

Nbre de pages : 4

Document : Article (PDF)

Rapport 2004-03

 

 

Auteurs : Emil Ernst, Michel Théra, Constantin Zalinescu

Titre : Slice-Continuous Sets in Reflexive Banach Spaces: Convex Constrained Optimization and Strict Convex Separation

Nbre de pages : 25

Document : Article (PDF)

Rapport 2004-04

 

 

Auteurs : Emil Ernst, Michel Théra

Titre : Continuous Sets and Non-Attaining Functionals in Reflexive Banach Spaces

Nbre de pages : 12

Document : Article (PDF)

Rapport 2004-05

 

 

Auteurs : Huynh Van Ngai, Michel Théra

Titre : Error Bounds and Implicit Multifunctions in Smooth Banach Spaces and Applications

Nbre de pages : 29

Document : Article (PDF)

Rapport 2004-06

 

 

Auteurs : M. Aït Mansour, A. Metrane, M. Théra

Titre : Lower Semicontinuous Regularization for Vector-Valued Mappings

Nbre de pages : 29

Document : Article (PDF)

Rapport 2004-07

 

 

Auteurs : Emil Ernst, Michel Théra

Titre : A Converse of the Eidelheit Theorem in Real Hilbert Spaces

Nbre de pages : 22

Document :

Rapport 2004-08

 

 

Auteurs : Abdelhakim Smati

Titre : Sur un problème de S. Ramanujan

Nbre de pages : 3

Document :

Version étendue (5 pages, PDF).
Version originale (3 pages, PDF)

Rapport 2004-09

 

 

Auteurs : M. Ait Mansour, C. Malivert, M. Théra

Titre : On the Semicontinuity of Vector-Valued Mappings

Nbre de pages : 16

Document : Article (PDF)

Rapport 2004-10

 

 

Auteurs : D. Boularas, A. Chouikrat

Titre : Equation d'amorçage d'intégrales premières sous forme de séries formelles

Nbre de pages : 21

Document : Article (PD

Rapport 2004-11

 

 

Auteurs : Alexandre Cabot

Titre : Discretization of a Nonlinear Oscillator under Dry Friction via an Inertial Proximal Method.

Nbre de pages : 11

Document : Article (PDF)

Rapport 2004-12

 

 

Auteurs : Alexandre Cabot

Titre : Stabilization of Oscillators Subject to Dry Friction: Finite Time Convergence Versus Exponential Decay Results.

Nbre de pages : 26

Document : Article (PDF)



Année 2003

Rapport 2003-01

 

 

Auteurs : P. Dusart, G. Letourneux, O. Vivolo

Titre : Differential Fault Analysis on A.E.S.

Nbre de pages : 12

Document : Article (PDF)

Rapport 2003-02

 

 

Auteurs : S. Adly, E. Ernst, M. Théra

Titre : On the closedness of the algebraic difference of closed convex sets

Nbre de pages : 27

Document : Article (PDF)

Rapport 2003-03

 

 

Auteurs : T. Pennanen, J.P. Revalski, M. Théra

Titre : Variational composition of a monotone operator and a linear mapping with applications to elliptic PDE's with singular coefficients

Nbre de pages : 25

Document : Article (PDF)

Rapport 2003-04

 

 

Auteurs : T. Pennanen, J.P. Revalski, M. Théra

Titre : Graph-distance convergence and uniform local boundedness of monotone mappings

Nbre de pages : 10

Document : Article (PDF)

Rapport 2003-05

 

 

Auteurs : Jilali Assim, Thong Nguyeb Quang Do

Titre : Généralisation du Lemme de Kummer

Nbre de pages : 21

Document : Article (PDF)

Rapport 2003-06

 

 

Auteurs : Alexandre Cabot

Titre : Proximal point and steepest descent algorithm controlled by a slowly vanishing term. Applications to hierarchical minimization.

Nbre de pages : 19

Document : Article (PDF)

Rapport 2003-07

 

 

Auteurs : Alexandre Cabot

Titre : Bounce law at the corners of convex billiards

Nbre de pages : 18

Document : Article (PDF)

Rapport 2003-08

 

 

Auteurs : Paul Armand & Philippe Ségalat

Titre : A limited memory algorithm for inequality constrained optimization

Nbre de pages : 15

Document : Article (PDF)

Rapport 2003-09

 

 

Auteurs : Emil Ernst, Michel Théra, Constantin Zalinescu

Titre :  Slice Continuous Sets in Reflexive Banach Spaces: Convex Optimization and Strict Convex Separation

Nbre de pages : 24

Document : Article (PDF)

Rapport 2003-10

 

 

Auteurs : Paul Armand

Titre :  Modification of the Wolfe line search rules to satisfy the descent condition in the Polak-Ribière-Polyak conjugate gradient method

Nbre de pages : 15

Document : Article (PDF)



Année 2002

Rapport 2002-01

 

 

Auteur : Paul Armand

Titre : A quasi-Newton penalty barrier method for convex minimization problems

Nbre de pages : 30

Document : Article (PDF)

Rapport 2002-02

 

 

Auteur : Philippe Gaborit

Titre : Construction of new extremal unimodular lattices

Nbre de pages : 16

Document : Article (PDF)

Rapport 2002-03

 

 

Auteur : M. Héraoua et A. Salinier

Titre : Endomorphisms of the binomial coalgebra

Nbre de pages : 35

Document : Article (PDF)

Rapport 2002-04

 

 

Auteur : Matthieu le Floc'h

Titre : On Fitting ideals of certain étale K-groups

Nbre de pages : 16

Document : Article (PDF)

Rapport 2002-05

 

 

Auteur : Marc J. Rybowicz et Boris Lenzinger

Titre : On the Implementation of a p-adic Method for Computing Galois Groups

Nbre de pages : 10

Document : Article (PDF)

Rapport 2002-06

 

 

Auteur : Marc J. Rybowicz

Titre : On the Normalization of Numbers and Functions Defined by Radicals

Nbre de pages : 40

Document : Article (PDF)

Rapport 2002-07

 

 

Auteur : J.-F. Ragot

Titre : Sur la distribution du nombre de zés des polynômes sur les corps finis

Nbre de pages : 7

Document : Article (PDF)

Rapport 2002-08

 

 

Auteur : T. Krick

Titre : Straight-lines programs in polynomial equation solving

Nbre de pages : 29

Document : Article (PDF)

Année 2001

Rapport 2001-01

 

 

Auteur : Pascale Sénéchaud

Titre : Esquisse et contrôle

Nbre de pages : 10

Document : Article (PDF)

Rapport 2001-02

 

 

Auteur : Delphine Boucher

Titre : Exponential solutions of parameterized linear differential

Nbre de pages : 15

Document : Article (PDF)

Rapport 2001-03

 

 

Auteur : Dominique Duval, Christian Lair

Titre : Esquisses et spécifications, Manuel de référence, 4ème partie : Fibrations et Eclatements, Lemmes de Yoneda et Modèles Engendrés

Nbre de pages : 69

Document : Article (PDF)

Année 2000

Rapport 2000-01

 

 

Auteur : Paul Armand, Jean-Charles Gilbert, Sophie Jan-Jégou

Titre : A Feasible BFGS Interior Point Algorithm for Solving Strongly Convex Minimization Problems

Nbre de pages : 31

Documents : Résumé (html), Article (PDF), Article (PS)

Rapport 2000-02

 

 

Auteur : Dominique Duval & Christian Lair

Titre : Mosaics for Specifications with Implicit State

Nbre de pages : 17

Documents : Résumé (html), Article (PDF)

Rapport 2000-03

 

 

Auteur : Dominique Duval & Christian Lair

Titre : SKETCHES AND SPECIFICATIONS - USER'S GUIDE
First part: Wefts for Explicit Specifications

Nbre de pages : 61

Documents : Résumé (html), Article (PDF)

Rapport 2000-04

 

 

Auteur : Dominique Duval & Christian Lair

Titre : SKETCHES AND SPECIFICATIONS - USER'S GUIDE
Second part: Mosaics for Implicit Specification

Nbre de pages : 60

Documents : Résumé (html), Article (PDF)

Rapport 2000-05

 

 

Auteur : Christian Lair & Dominique Duval

Titre : SKETCHES AND SPECIFICATIONS - REFERENCE MANUAL
First part: Compositive Graphs

Nbre de pages : 55

Documents : Résumé (html), Article (PDF)

Rapport 2000-06

 

 

Auteur : Christian Lair & Dominique Duval

Titre : SKETCHES AND SPECIFICATIONS - REFERENCE MANUAL
Second part: Projective Sketches

Nbre de pages : 66

Documents : Résumé (html), Article (PDF)

Rapport 2000-07

 

 

Auteur : Christian Lair & Dominique Duval

Titre : SKETCHES AND SPECIFICATIONS - REFERENCE MANUAL
Third part: Models

Nbre de pages : 28

Documents : Résumé (html), Article (PDF)

Rapport 2000-08

 

 

Auteur : Delphine Boucher

Titre : Sur la non-intéegrabilité du problème plan des trois corps de masses égales à un le long de la solution de Lagrange

Nbre de pages : 7

Documents : Résumé (html), Article (PDF)

Rapport 2000-09

 

 

Auteur : Samir Adly, Emil Ernst, Michel Théra

Titre : A Characterization of Convex and Semicoercive Functionals

Nbre de pages :

Documents : Résumé (html), Article (PDF)

Rapport 2000-10

 

 

Auteur : Huynh Van Ngai, Dinh The Luc, Michel Théra

Titre : Approximate Convex Functions

Nbre de pages :

Documents : Résumé (html), Article (PDF)

Rapport 2000-11

 

 

Auteur : Julian P. Revalski, Michel Théra

Titre : Enlargements and Sums of Monotones Operators

Nbre de pages :

Documents : Résumé (html), Article (PDF)

Rapport 2000-12

 

 

Auteur : Huynh Van Ngai, Dinh The Luc, Michel Théra

Titre : Extensions of Fréchet e- Subdifferential Calculus and Applications

Nbre de pages :

Documents : Résumé (html), Article (PDF)

Rapport 2000-13

 

 

Auteur : Huynh Van Ngai, Michel Théra

Titre : Metric Inequality, Subdifferential Calculus and Applications

Nbre de pages :

Documents : Résumé (html), Article (PDF)

Rapport 2000-14

 

 

Auteur : Huynh Van Ngai, Michel Théra

Titre : On Necessary Conditions for Nonlipschitz Optimization Problems

Nbre de pages :

Documents : Résumé (html), Article (PDF)

Rapport 2000-15

 

 

Auteur : Abdellatif Moudafi, Michel Théra

Titre : Ergodic Convergence to a Zero of the Extended Sum

Nbre de pages :

Documents : Résumé (html), Article (PDF)

 

Rapport 2000-16

 

 

Auteur : Stéphane Dellière

Titre : D.M.Wang simple systems and dynamic constructible closure

Nbre de pages : 19

Documents : Résumé (html), Article (PDF)

Rapport 2000-17

 

 

Auteur : Stéphane Dellière

Titre : A first course to D7 with examples

Nbre de pages : 30

Documents : Résumé(html),Article (PDF)

Année 1999

Rapport 1999-01

 

 

Auteur : Dominique Duval & Christian Lair

Titre : Esquisses et Spécifications

Nbre de documents : 4

Documents : Résumé (html), Référence I, Référence II, Guide I, Guide II (PDF)

Rapport 1999-02

 

 

Auteur : Driss Boularas

Titre : Calcul des covariants affines des systèmes différentiels

Nbre de pages : 31

Documents : Résumé (html), Article (PDF)

Rapport 1999-03

 

 

Auteur : Driss Boularas

Titre : Note sur la conique des cols

Nbre de pages : 12

Documents : Résumé (html), Article (PDF)

Rapport 1999-04

 

 

Auteur : Driss Boularas

Titre : Une nouvelle classification des systèmes différentiels quadratiques homogènes plans

Nbre de pages : 18

Documents : Résumé (html), Article (PDF)

Année 1998

Rapport 1998-01

 

 

Auteur : Gaétan Haché

Titre : L'algorithme de Brill-Noether appliqué aux courbes réduites

Nbre de pages : 30

Documents : Résumé (html), Article (PDF)

Rapport 1998-02

 

 

Auteurs : Phan Quoc Khanh, Tran Hue Nuong & Michel Théra

Titre : On duality in nonconvex vector optimization in Banach spaces using augmented Lagrangians

Nbre de pages : 22

Documents : Résumé (html), Article (PDF)

Rapport 1998-03

 

 

Auteur : Christian Malivert

Titre : An algorithm for bilinear fractional problems

Nbre de pages : 15

Documents : Résumé (html), Article (PDF)

Rapport 1998-04

 

 

Auteur : Abdelkader Necer

Titre : Systèmes récursifs et algèbre de Hadamard de suites récurrentes linéaires sur des anneaux commutatifs

Nbre de pages : 15

Documents : Résumé (html), Article (PDF)

Rapport 1998-05

 

 

Auteur : Pierre Dusart

Titre : Encadrement de theta(x;k,l) pour les grandes valeurs de x

Nbre de pages : 29

Documents : Résumé (html), Article (PDF)

Rapport 1998-06

 

 

Auteur : Pierre Dusart

Titre : Encadrements effectifs des fonctions de Chebyshev

Nbre de pages : 26

Documents : Résumé (html), Article (PDF)

Rapport 1998-07

 

 

Auteur : Dominique Duval & Christian Lair

Titre : Towards Soft Typing in Computer Algebra

Nbre de pages : 52

Documents : Résumé (html), Article (PDF)