Présentation

Le DMI est la structure où s’effectuent les recherches en Mathématiques et Informatique à l’Université de Limoges. L’originalité du DMI réside dans son organisation multidisciplinaire et dans son positionnement transversal au sein du laboratoire XLIM. Sa production scientifique est un équilibre fin entre contributions fondamentales, applications et interactions.

Le DMI est structuré en six équipes de recherche :

• Calcul Formel (CF) : Algorithmique des équations différentielles et fonctionnelles, Courbes et systèmes algébriques, Calcul Symbolique-numérique, Algèbre linéaire numérique, Matrices structurées.
• Modélisation, Optimisation, Dynamique (MOD) : Optimisation numérique et non lisse, Analyse variationnelle et non lisse, systèmes dynamiques non réguliers, EDP et transport optimal de masse.
• Protection de l’Information, Codage et Cryptographie (PICC) : Codes correcteurs d’erreurs, Chiffrement symétrique et générateurs pseudo-aléatoires, Cryptographie basée sur les codes, Protection de la vie privée. _• Synthèse d’Images Réalistes (SIR) : Antialiassage et lancer de faisceaux, Rendu réaliste, Synthèse de Textures 2D et 3D, Représentation de phénomènes naturels.
• Smart Secure Device (SSD) : Sécurité physique et logique des systèmes d’exploitation et des algorithmes pour systèmes embarqués.
• Théorie des Nombres (TN) : Théories algébriques locales et globales des nombres, Théorie analytique des nombres archimédienne et ultramétrique.

Le DMI est fortement impliqué dans les programmes transversaux (IRO et CAO), dans la fédération de recherche MIRES ainsi que dans le Labex Sigma-LIM.

Partenariats

Collaborations universitaires nationales actives :
Poitiers, Montpellier II, Toulouse, Paris VI, Avignon,
Marseille II, Orléans, Bordeaux I, La Réunion
LVR Orléans-Bourges,
INRIA : Rocquencourt, Lorraine, Sophia-Antipolis, Rhône-Alpes
INSA Lyon, LIRIS Lyon, LSIIT Strasbourg, LCPC Paris,
INRETS Paris, ENSTA Paris, LIX Palaiseau, Rennes, Lille.

Collaborations universitaires internationales en cours :
Moscou (Russie). Londres, Nottingham (Royaume-Uni). Pise (Italie). Ljubljana (Slovénie). Elche, Alicante, Barcelone, Santander, Gérone, Valladolid (Espagne). Marrakech, Rabat, Fès, Mèknès (Maroc). Madison Wisconsin, Tallahassee Floride (USA). Athènes (Grèce). Bamako (Mali). Lausanne (Suisse). Berlin (Allemagne). USTHB Alger, Blida (Algérie). Montréal, Sherbrooke, Waterloo (Canada). Kishinev (Moldavie).

Coopérations industrielles nationales :
GEMALTO, CERADROP (transfert de technologie), INSIDE, THALES, EADS.

Groupements de recherche (GDR) :
GDR de Structuration de la Théorie des Nombres.
GDR Information, Signal, Images et Vision.
GDR Informatique Mathématique.
GDR Mathématiques de l’Optimisation et de ses Applications.

Fédération de Recherche (FR) :
MIRES.

Production scientifique du département

2008_2011

Site web publication : hal.archives-ouvertes.fr/XLIM-DMI
Nombre d’articles internationaux : 119
Nombre de communications dans des congrès : 120
Autres : 15 chapitres dans des ouvrages

Publications et/ou brevets majeurs des 5 dernières années

• S. Adly, A. Hantoute and M. Théra, Nonsmooth Lyapounov functions for evolution variational inequalities, Nonlinear Analysis, Theory Methods and Applications 75, pp 985-108 (2012).
• P. Armand, J. Benoist, E. Bousquet , Chebyshev approximation of the null function by an affine combination of complex exponential functions, Journal of Approximation Theory, 162 : 2004-2020, (2010).
• M. A. Barkatou, T. Cluzeau, C. El Bacha, Simple forms of higher-order linear differential systems and their applications in computing regular solutions. J. Symb. Comput. (JSC) 46(6):633-658 (2011).
• A. Poteaux, M. Rybowic : Good reduction of Puiseux series and applications. J. Symb. Comput. 47(1) : 32-63 (2012).
• C. Clavier, B. Feix, G. Gagnerot, M. Roussellet and V. Verneuil, Improved Collision-Correlation Power Analysis on First Order Protected AES, Cryptographic Hardware and Embedded Systems - CHES 2011/, LNCS vol. 6917, pp. 49-62, Springer, (2011).
• G. Bouffard, J. Iguchi-Cartigny, J.-L. Lanet, Combined Software and Hardware Attacks on the Java Card Control Flow, CARDIS’11, , Leuven, Belgium, 14-16 September 2011.
• S. Mérillou and D. Ghazanfarpour, A Survey of Aging and Weathering Phenomena in Computer Graphics, Computers & Graphics, vol. 32, N° 2, pp. 159-174 (2008).
• E. Darles, B. Crespin, D. Ghazanfarpour and J.F. Gonzato, A Survey of Ocean Simulation and Rendering Techniques in Computer Graphic, Computer Graphics Forum, vol. 30, N° 1, pp. 43-60 (2011).
• F. Arnault, T.P. Berger, B. Pousse, A matrix approach for FCSR automata, Cryptography and Communication, v.3 n.2, p.109-139 (2011).
• C. M. Aguilar, P.L. Cayrel, P. Gaborit, F. Laguillaumie, A New Efficient Threshold Ring Signature Scheme Based on Coding Theory, IEEE Transactions on Information Theory v.57 n.7, p.4833-4842 (2011).
• B. Bensebaa, A. Movahhedi, A. Salinier, The Galois group of X^p+aX^p-1+a, J. Number Theory, 129, No 4, 824-830 (2009).
• A. Mouhib, A. Movahhedi, Cyclicity of the unramified Iwasawa module, Manuscripta Math. 135, no. 1-2, 91 - 106 (2011).

Contact

www.xlim.fr

Faculté des Sciences et Techniques
123 Av. Albert Thomas
87 060 LIMOGES CEDEX
FRANCE

Tél. (33) (0) 5 87 50 67 70
Fax (33) (0) 5 55 45 73 22

Directeur
Samir ADLY

Institut d’appartenance
XLIM (UMR CNRS 7252)

École doctorale
ED521 : Sciences et Ingénierie pour l’Information

s2i.ed.univ-poitiers.fr

ULogo-bur-Coul-reduit

CNRS-reduit

xlim-reduit

Imprimer