Laboratory
Research
Resources
Links
|
Seminars of LJK-Deterministic Models and Algorithms: BIBOP-CASYSThis seminar is listed in 
Seminars take place at in Room 1 at IRMA tower on thursday at 9h45
Years 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 -
(Tex Format Download)
-
Seminars 2012
| Thursday June 21 | Mr Roderick EDWARDS (University of Victoria, Canada) |
|  Singular solutions in gene network models: Filippov or singular perturbation? |
-
| Thursday June 14 | Mr Jordan NININ (LJK) |
| Room 2 - IRMA Tower at 10h45 | Méthode d'Accélération en Optimisation Globale |
-
| Thursday June 14 | Mr Dave SAUNDERS |
| Room 2 - IRMA Tower | |
-
| Thursday May 10 | Mr Pavel SHCHERBAKOV (Institute for Control Science, Moscou) |
| An LMI approach to sparse feedback design |
-
| Thursday April 26 | Mme Barbara PETIT |
| Une sémantique catégorique pour le lambda calcul avec constructeurs |
-
| Thursday March 22 | Mr Nicolas THIÉRY (Université Paris Sud) |
| Algorithmes en théorie des représentations pour les monoïdes finis |
-
| Thursday March 8 | Mr Fabien LAGUILLAUMIE (Université Caen Basse-Normandie) |
| at 15h30 | Efficient Attribute-based Cryptography |
-
| Thursday February 23 | Mr Ayoub OTMANI (Université de Caen) |
| Approche algébrique sur la sécurité de la cryptographie fondée sur les codes |
-
| Thursday February 9 | Mr Alban QUADRAT (INRIA Saclay-Ile-de-France) |
| Systèmes fonctionnels linéaires et structures algébriques |
-
-
| Thursday January 19 | Mr Jean-Guillaume DUMAS (Université Joseph Fourier) |
| Computer Algebra Patterns : vers une architecture efficace, générique et pérenne de logiciels mathématiques |
-
| Wednesday January 4 | Mr Jean-Luc BEUCHAT (University of Tsukuba) |
| at 10h15 | Computing Cryptographic Pairings at the 128-Bit Security Level |
-
-
Seminars 2011
| Friday December 9 | Mr Mohab SAFEY EL DIN (Universite Pierre et Marie Curie (Paris 6)) |
| Polynomial System Solving over the Reals: Algorithms, Complexity, Implementations and Applications |
-
| Thursday December 8 | Mr Laurent BUSÉ (INRIA Sophia-Antipolis) |
| Représentation matricielles des courbes et surfaces algébriques paramétrées |
-
| Thursday November 3 | Mr Takayuki ISHIZAKI (Tokyo Institute of Technology) |
| Model Reduction of Complex Dynamical Networks based on State Aggregation |
-
| Tuesday October 18 | Mr Calin BELTA (Boston University) |
| at 11h00 | Formal verification and synthesis of piecewise affine systems with applications to gene networks |
-
| Thursday June 30 | Tomasz KOZIARA |
| an overview of Solfec, with the stress on parallelization and its application to graphite cores |
-
| Wednesday June 22 | Basile AUDOLY |
| Room F107 - INRIA Rhone-Alpes, Montbonnot at 14h00 | Mécanique non-linéaire des fils élastiques et visqueux. |
-
| Thursday June 16 | Mohamed Amin BEN SASSI |
| Polytopic invariant verification and synthesis for polynomial dynamical systems via linear programming |
-
| Thursday June 9 | Welington OLIVEIRA |
| INEXACT BUNDLE METHODS FOR STOCHASTIC PROGRAMMING |
-
| Thursday May 19 | Jean-François BIASSE |
| Algèbre linéaire et théorie des nombres |
-
| Tuesday May 10 | Marc MORENO MAZA (Université de Western Ontario, Canada) |
| Room 2 - IRMA Tower at 10h30 | Calcul parallèle exacte des solutions réelles de systèmes algébriques |
-
| Thursday May 5 | Mr Jean-Guillaume DUMAS (Université Joseph Fourier) |
| Approches symboliques-numériques creuses pour la distribution de motifs dans l'ADN et le protéome. |
-
| Thursday April 21 | Mr Aris DANIILIDIS (Universite de Barcelone) |
| Room F107 - INRIA Rhone-Alpes, Montbonnot at 14h30 | selected topics in nonsmooth analysis and geometry |
-
| Thursday April 7 | Scott GREENHALGH |
| Preservation of dissipativity properties with the (theta, gamma)-discretization |
-
| Thursday March 24 | Mr Minh Phan HUNG (Wayne State University, Michigan) |
| Generalized Newton's Method based on Graphical Derivative |
-
| Tuesday March 22 | Mr Hongjian ZHANG |
| Room F107 - INRIA Rhone-Alpes, Montbonnot at 14h30 | The planar rocking-block: analysis of kinematic restitution laws, and a new rigid-body impact model with friction |
-
| Thursday March 17 | Mr Morgan BARBIER |
| Décodage en liste des codes de Goppa Binaires et réduction de clé de McEliece |
-
| Thursday February 17 | Mr Adrien POTEAUX |
| Sur la complexité du calcul modulo un ensemble triangulaire zéro-dimensionnel |
-
-
Seminars 2010
| Thursday December 2 | Mr Jean-Guillaume DUMAS (Université Joseph Fourier) |
| Codes correcteurs et espaces de matrices à rang constant |
-
| Thursday November 25 | Mr Samuel MARTIN |
| Sufficient Conditions for Flocking via Graph Robustness Analysis? |
-
| Thursday November 18 | Mr Christophe CHABOT |
| Codes quasi-cycliques et polynômes à coefficients matriciels |
-
| Thursday October 21 | Mr Olivier BRULS (University of Liège, Belgium) |
| Numerical solution of DAEs in flexible multibody dynamics with applications in control and mechatronics |
-
| Thursday October 14 | Mr Nathan KRISLOCK |
| Semidefinite Facial Reduction for Euclidean Distance Matrix Completion |
-
| Thursday September 16 | Mr Miroslav DUDIK |
| Coordinate Descent Algorithms for Regularized Maximum Likelihood |
-
| Thursday June 10 | Mr Brice BOYER |
| Multiplication exacte matrice creuse -- vecteur sur architectures GPU et CPU multicœur |
-
| Thursday June 3 | Mr Roland HILDEBRAND |
| Optimisation convexe dans l'espace projectif |
-
| Thursday May 20 | Mlle Yi WANG |
| Cryptography in Hardware and Embedded Systems |
-
| Tuesday May 11 | Mr Nicolas MÉLONI |
| at 10h00 | De la bonne utilisation des systèmes de bases doubles en cryptographie |
-
-
| Thursday April 8 | Mr Andreas ENGE |
| MPC - multiprécision complexe |
-
| Thursday April 1 | Mr Jérôme BASTIEN |
| Quelques modèles rhéologiques élastoplastiques régis par une inclusion maximale monotone ; Applications et Extensions non classiques |
-
| Thursday March 25 | Mlle Marion LEBELLEGO |
| Ondes non linéaires localisées dans des modèles discrets de failles sismiques. |
-
| Thursday March 18 | Mr Sébastien CANARD |
| Avancées récentes en monnaie électronique |
-
| Thursday March 11 | Aude RONDEPIERRE |
| Techniques d'optimisation non lisse en synthèse de lois de commande |
-
| Thursday March 4 | Mr Laurent IMBERT |
| La numération "double-base" : théorie, applications et problèmes ouverts |
-
| Thursday February 25 | Mlle Eva CRUCK |
| Insertion des drones dans la circulation aérienne : un problème d'atteignabilité/viabilité de systèmes hybrides |
-
| Thursday February 11 | Mr Pierre SARAMITO (LJK) |
| Résolution numérique pour des problèmes à seuil : glissement-frottement et fluides complexes. |
-
| Thursday February 4 | Mr Constantin MORARESCU |
| COMMUNITY DETECTION IN GRAPHS USING OPINION DYNAMICS WITH DECAYING CONFIDENCE |
-
| Monday February 1 | Mr Thorsten SCHINDLER (Technische Universitat Munchen) |
| Room F107 - INRIA Rhone-Alpes, Montbonnot at 14h00 | Introduction to MBSim |
-
| Thursday January 21 | Mr Xavier MERLHIOT (CEA) |
| Quelques contributions aux outils de simulation mécanique interactive pour la maquette numérique industrielle |
-
| Thursday January 14 | Mr Jean-Marc VINCENT (LIG) |
| Chaînes de Markov de grande taille, distribution stationnaire et échantillonnage parfait |
-
-
Seminars 2009
| Thursday December 17 | MAD CIRCUS |
| at 9h00 | |
-
| Thursday November 26 | Mr Jaroslav HASLINGER (Charles University, Prague) |
| Small Amphi. of INRIA Rhone-Alpes, Montbonnot at 16h00 | Frictional contact problems |
-
-
| Thursday November 12 | Mr Alex SAMOLETOV |
| Thermostats |
-
| Thursday November 5 | Mlle Yu XIA |
| A subgradient method for the free material design |
-
| Thursday October 22 | Mr Marc FUENTES (BIPOP) |
| Un algorithme proximal inexact pour l'optimisation différentiable |
-
| Thursday October 15 | Mr Colas LE GUERNIC (VERIMAG) |
| Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics |
-
| Thursday July 9 | Mr Robert BRIDSON (University of British Columbia) |
| Big Amphi. of INRIA Rhone-Alpes, Montbonnot | Constrained Dynamics in Visual Effects |
-
| Friday July 3 | Isabelle JONCOUR (UJF) |
| at 10h00 | Evolution dynamique des amas stellaires et de la fraction des systèmes stellaires multiples les composant : Problématique et simulations numériques actuelles, une alternative grâce aux graphes dynamiques ? |
-
| Thursday July 2 | Yuri ORLOV (CICESE) |
| Nonsmooth H-infinity control of mechanical systems with friction/backlash phenomena. |
-
| Thursday June 25 | |
| at 9h30 | MAD CIRCUS |
-
| Wednesday June 24 | Dmitry PELINOVSKY (McMaster university) |
| at 11h00 | Justification of the discrete nonlinear Schrödinger equation for periodic potentials |
-
| Thursday June 11 | Christophe PRIEUR (LAAS) |
| Contrôles hybrides et optimaux pour des systèmes non-linéaires. |
-
| Thursday May 7 | Olivier BONNEFON (INRIA) |
| Simulation analogique des circuits électriques non réguliers. |
-
| Thursday April 30 | |
| at 11h00 | Modélisation des fluides non-newtoniens : aspects théoriques, algorithmiques et logiciels. |
-
| Thursday April 23 | Emmanuel WITRANT (UJF) |
| Contrôle de profil et stabilité en fusion thermonucléaire: quelques développement pour ITER |
-
| Thursday April 2 | Yann MONERIE |
| Fissuration dynamique des matériaux hétérogènes - la méthode Nonsmooth Fracture Dynamics |
-
| Thursday March 26 | Laurent FOUSSE (UJF) |
| at 11h00 | Filtres à mot-clés secrets et réseaux euclidiens |
-
| Thursday March 12 | Florence BERTAILS (INRIA) |
| Small Amphi. of INRIA Rhone-Alpes, Montbonnot | Super-Hélices en temps linéaire |
-
| Thursday February 26 | Innocent SOUOPGUI (MOISE) |
| at 11h00 | Assimilation directe de séquences d'images dans les modèles numériques |
-
| Thursday February 12 | Mme Dominique DUVAL (PR) |
| Small Amphi. of INRIA Rhone-Alpes, Montbonnot | Réécriture de graphes |
-
| Thursday February 5 | Claude Henri LAMARQUE |
| Contrôle passif par transfert énergétique |
-
| Thursday January 29 | |
| at 11h00 | SEMINAIRE ANNULE |
-
| Thursday January 22 | Farhang RADJAI (Université de Montpellier) |
| Analyse micromécanique du frottement granulaire |
-
-
Seminars 2008
| Thursday December 18 | MAD CIRCUS D'HIVER |
| at 9h30 | |
-
| Friday December 12 | Fouad ZINOUN (Université de Meknès - Maroc) |
| at 10h00 | Poincaré Code |
-
| Thursday December 4 | Camille ROTH |
| Small Amphi. of INRIA Rhone-Alpes, Montbonnot at 10h30 | La morphogenèse des réseaux de savoirs: coévolution sociale et sémantique |
-
| Thursday November 27 | Jérôme MALICK |
| at 11h00 | Projections alternées : une occasion de parler de géométrie, de conditionnement et d'analyse variationnelle. |
-
| Thursday November 13 | Florent CADOUX (INRIA) |
| Modeling and simulation of a mechanical system involving Coulomb's frictional contact |
-
| Thursday October 23 | Etienne FARCOT (INRIA) |
| Small Amphi. of INRIA Rhone-Alpes, Montbonnot | Modeles de la dynamique des reseaux genetiques : du general au particulier |
-
| Thursday October 2 | Mr Roderick EDWARDS (University of Victoria, Canada) |
| Structural Principles for Glass Networks |
-
| Thursday June 26 | MAD - CIRCUS |
| |
-
| Tuesday June 24 | Iliyana SIMEONOVA |
| On-line periodic scheduling of hybrid chemical plant with parallel production lines and shared resources |
-
| Thursday June 12 | Cesar DOMINGUEZ PEREZ (Universidad de La Rioja) |
| PARAMETERIZATION AS A FREE CONSTRUCTION |
-
| Thursday June 5 | Aris DANIILIDIS (UAB) |
| Inégalité du gradient : caractérisations et applications |
-
| Thursday May 29 | |
| at 11h00 | Un problème de point-virgule |
-
| Thursday May 22 | Marc FUENTES |
| Problèmes d'optimisation sous contraintes d'autocorrélations |
-
| Tuesday April 29 | Gildas BESANÇON |
| at 11h00 | Systèmes dynamiques et reconstruction d'information |
-
| Thursday April 24 | Brigitte BIDEGARAY-FESQUET |
| at 11h00 | Automatisation de l'analyse de stabilité linéaire : une illustration en électromagnétisme |
-
| Thursday April 10 | Mr Carlo SAVORGNAN (LAAS) |
| Nonlinear optimal control via occupation measures |
-
| Thursday April 3 | Alexandre CABOT (Montpellier) |
| Trajectoires de billard: existence, approximation et comportement asymptotique |
-
| Tuesday April 1 | Jérôme RENAULT (Paris Dauphine) |
| at 14h00 | Uniform value in Dynamic Programming and Markov Decision Processes |
-
| Thursday March 27 | Kostas KARAMANOS (Université Libre de Bruxelles) |
| L'attracteur de Feigenbaum existe: complexite, automaticite, entropie de blocs, chaos et transcendence. |
-
| Tuesday March 25 | Mr Francesco PIAZZA (EPFL) |
| at 11h00 | Discrete breathers in protein structures: a mechanism for energy storage in enzymes |
-
| Thursday March 20 | Bruno CESSAC (Université de Nice-Sophia Antipolis) |
| Réseaux de neurones et systèmes dynamiques |
-
| Thursday March 13 | Ovidiu RADULESCU (IRMAR et Université de Rennes 1) |
| Introduction à une théorie de la robustesse des systèmes biologiques |
-
| Thursday February 28 | Jacques BLUM (Université de Nice) |
| at 11h00 | Une machine à remonter le temps: le back and forth nudging. |
-
| Thursday February 14 | Guillaume JAMES (INSA-Toulouse) |
| Dynamique non linéaire de l'ADN et formation de "breathers" |
-
| Thursday January 31 | Mr Jean-Guillaume DUMAS (Université Joseph Fourier) |
| at 11h00 | Comment casser RSA et le logarithme discret ? |
-
| Thursday January 24 | Gang ZHENG |
| Small Amphi. of INRIA Rhone-Alpes, Montbonnot | Analysis and simulation of complex systems |
-
| Thursday January 10 | |
| Résultats qualitatifs et numériques sur le problème de la poursuite de trajectoire pour une classe de systèmes mécaniques non-réguliers |
-
-
Seminars 2007
| Thursday December 6 | Florent CADOUX (INRIA) |
| Small Amphi. of INRIA Rhone-Alpes, Montbonnot | Trois méthodes par branchement en optimisation combinatoire |
-
| Thursday November 29 | |
| at 11h00 | Méthodes level set pour l'optimisation d'une fonctionnelle sur une surface fixe |
-
| Thursday November 15 | Vincent JOST (INRIA) |
| Sur quelques problemes de coloration de graphes |
-
| Thursday November 8 | Eric TANNIER (INRIA) |
| Petit Amphi de l´INRIA Rhone-Alpes, Montbonnot | Reconstructions de génomes ancestraux : les deux parcimonies |
-
| Thursday October 25 | Pierre-Brice WIEBER |
| Viability and Predictive Control in Stable Locomotion |
-
| Thursday October 11 | Grégory BATT |
| Robustness analysis and tuning of synthetic gene networks |
-
| Thursday October 4 | Florence BERTAILS |
| Petit Amphi de l´INRIA Rhone-Alpes, Montbonnot | Modélisation et Simulation de Phénomènes Mécaniques Complexes pour l'Informatique Graphique |
-
| Monday July 16 | Mr Victor PAN |
| at 10h00 | Additive Preconditioning and Aggregation in Matrix Computations |
-
| Thursday June 14 | Mr Laurent FOUSSE |
| CRQ: une bibliothèque pour l'intégration numérique certifiée en précision arbitraire |
-
-
-
| Thursday May 24 | Mme Thao DANG (Verimag) |
| Petit Amphi de l´INRIA Rhone-Alpes, Montbonnot | Test Coverage for Continuous and Hybrid Systems |
-
| Thursday May 3 | Mr Bernhard MASCHKE |
| Petit Amphi de l´INRIA Rhone-Alpes, Montbonnot at 10h00 | Dynamique des systèmes thermodynamiques ouverts: une approche par la géométrie de contact |
-
| Thursday April 26 | Mr Maelle NODET |
| at 11h00 | Assimilation de données en océanographie |
-
| Thursday April 26 | Mr Jean-Yves ENJALABERT |
| Extensions quadratiques, courbes algebriques et cryptographie |
-
| Thursday April 19 | Damien VERGNAUD |
| Polynômes de permutation à trappe et chiffrement a clé publique. |
-
| Thursday April 5 | Romain JANVIER |
| Vers une certification des preuves de sécurité des algorithmes cryptographiques |
-
| Thursday March 29 | Mr Matthieu CLUZEAU |
| Reconnaissance d'un code en bloc |
-
| Thursday March 22 | Aude RONDEPIERRE |
| Techniques d'optimisation non lisse sous contrainte pour la commande robuste |
-
| Thursday March 15 | Mr Pascal GIORGI |
| Arithmétique modulaire entière en base polynomiale |
-
| Thursday March 8 | Mr Guilhem CASTAGNOS |
| Construction générique de cryptosystèmes probabilistes et ses applications |
-
| Thursday March 1 | |
| at 11h00 | Modélisation des systèmes dynamiques évolutifs |
-
| Thursday February 15 | Mr Fabien GALAND (IRISA) |
| Lutter efficacement contre la diffusion illicite : une application des
codes centrés |
-
| Thursday February 8 | Mme Thao DANG (Verimag) |
| Test Coverage for Continuous and Hybrid Systems |
-
| Thursday February 1 | Mr julien BERRO (TIMC) |
| Petit Amphi de l´INRIA Rhone-Alpes, Montbonnot | Régulation(s) locale(s) de quantités globales au sein du cytosquelette: un exemple de système complexe en biologie |
-
| Thursday January 25 | Mr Vuk MILISIC |
| at 11h00 | Vers les lois de paroi multi-échelle: approche unifiée et nouvaux résultats |
-
| Thursday January 18 | Mme Alessandra CARBONE (Pierre et Marie Curie) |
| Alignement de sequences: un probleme difficile pour les proteines distantes |
-
-
Seminars 2006
| Thursday December 14 | Rodolphe HELIOT |
| Génération en ligne de commande synchrone à un
signal capteur - application a la réhabilitation des hémiplégiques |
-
| Thursday December 7 | Roland HILDEBRAND (salle F107 INRIA Monbonnot) |
| Description semi-définie du cône des applications Lorentz-positives |
-
| Thursday November 30 | Bernard BROGLIATO (Dans le cadre du séminaire MAD) |
| at 10h00 | Higher order Moreau's sweeping process: Mathematical formulation and
numerical simulation |
-
| Thursday November 16 | Goran FREHSE (verimag) |
| PHAVer: A Tool for Reachability Analysis of Hybrid Systems |
-
| Thursday November 9 | |
| Simulation, Bisimulation et Modélisation Hiérarchique des Systèmes Dynamiques |
-
| Thursday June 29 | |
| Dessiner des raisonnements |
-
| Wednesday June 21 | Mr Pascal GIORGI |
| Solving sparse integer linear systems |
-
| Thursday June 15 | Voichita MAXIM |
| Applications des ondelettes en IRM fonctionelle |
-
| Thursday June 8 | Mr Roland HILDEBRAND |
| Un système de contrôle optimal contenant un attracteur fractal |
-
| Thursday April 20 | |
| Analyse algorithmique des systèmes complexes |
-
| Thursday April 13 | Cluzeau THOMAS (inria) |
| Morphismes, équivalences et symétries de systèmes
fonctionnels linéaires |
-
| Thursday April 6 | Mark GIESBRECHT (Waterloo) |
| Interpolation of Sparse Approximate Polynomials |
-
| Thursday March 23 | Olivier LE CADET |
| Détection de contours pour la compression d'images par méthodes
d'interpolation non-linéaires |
-
| Thursday March 9 | Sandrine ANTHOINE |
| Sur une classe de fonctionnelles pour régulariser des problèmes inverses et des applications en traitement d'image. |
-
| Thursday February 16 | Emmanuel TRELAT |
| Méthodes numériques en contrôle optimal. Applications en
aéronautique : problème de rentrée atmosphérique ; problème
de transfert orbital à poussée faible. |
-
| Thursday February 9 | Mme Marie-Laurence MAZURE |
| De la nécessité d'utiliser des grilles non emboîtées pour l'étude des schémas de subdivision (suite) |
-
| Thursday February 2 | Mme Marie-Laurence MAZURE |
| De la nécessité d'utiliser des grilles non emboîtées pour l'étude des schémas de subdivision |
-
| Thursday January 19 | Mr Roland HILDEBRAND |
| Groupes de symétrie structurant la synthèse optimale |
-
| Thursday January 12 | Andrea RUDOLFI |
| A point process journey into data analysis with applications in communications and biology |
-
| Thursday January 5 | Jérôme MALICK |
| Optimisation semidéfinie : algorithmes duaux pour les moindres carrés, applications |
-
-
Seminars 2005
| Thursday December 8 | Mr Erwan DERIAZ |
| Présentation d'une méthode par ondelettes
pour la simulation des écoulements fluides incompressibles
differentielles |
-
| Thursday December 1 | Albert SORRIBAS (Universitat de Lleida) |
| The power-law formalism as a mathematical framework for systems biology |
-
| Thursday November 17 | |
| LinBox |
-
| Thursday November 10 | Mr Roland HILDEBRAND |
| Cônes séparables dans le calcul quantique |
-
| Thursday November 3 | Rondepierre AUDE |
| Contrôle optimal des systèmes dynamiques non linéaires par les
systèmes hybrides |
-
| Thursday September 29 | Sophie CHAREYRON (INRIA - Bibop) |
| Stabilité des systèmes non-réguliers, application aux robots marcheurs |
-
| Friday July 1 | Marc MORENO MAZA (Ontario Research Centre for Computer Algebra) |
| On the complexity of the D5 principle |
-
| Thursday June 16 | David SAUNDERS (Universit\'e de Delaware) |
| Engineered hybrid algorithms for exact linear algebra. |
-
| Thursday June 9 | Roland HILDEBRAND (LMC-IMAG) |
| Une introduction à la théorie quantique et à quelques aspects du calcul quantique |
-
| Thursday April 14 | Carole LE GUYADER (INSA de Rennes) |
| Imagerie Mathématique: Segmentation sous contraintes géométriques- Théorie et Applications |
-
| Thursday March 31 | Jean BACCOU (Université de Provence) |
| Formalisme de Harten et ondelettes: application a la compression d'images |
-
| Thursday January 6 | Sébastien KOLB |
| Théorie des bifurcations pour la maîtrise de la dynamique du vol des hélicoptères |
-
-
Seminars 2004
| Thursday June 24 | Roland HILDEBRAND (LMC-IMAG) |
| Aspects combinatoires des systèmes Hamiltoniens linéaires par morceaux |
-
| Thursday June 10 | Olivier LE CADET |
| Méthodes d'ondelettes pour la segmentation d'image. Applications à l'imagerie médicale et au tatouage d'images |
-
| Thursday May 27 | Marc MORENO MAZA (Ontario Research Centre for Computer Algebra) |
| Autour du Principe D5 |
-
| Thursday March 25 | Mr Pascal GIORGI |
| LinBox : Algèbre linéaire exacte sur les corps finis et applications |
-
| Thursday March 4 | Erwan LE PENNEC (CMAP, École Polytechnique) |
| Bandelettes et représentation géométrique des images |
-
| Thursday February 12 | Marie-Laurence MAZURE (LMC-IMAG) |
| Quand y'en a pour un ou deux, y'en a pour n .... ou ... de l'existence de bases de Bernstein |
-
| Thursday January 29 | Antoine GIRARD (LMC-IMAG) |
| Contrôle des systèmes linéaires, splines et analyse multirésolution |
-
| Thursday January 15 | Sébastien ROUX (CEA, Grenoble et TIMC-IMAG) |
| Compensation des mouvements en tomographie dynamique |
-
-
Seminars 2003
| Thursday December 11 | Tom LYCHE (Université d'Oslo) |
| Faber Decomposition with Vanishing Moments |
-
| Thursday November 27 | Marie-Laurence MAZURE (LMC-IMAG) |
| Petites histoires de floraisons |
-
| Thursday November 6 | YUN TANG (Tsinghua University) |
| Stability theory of hybrid systems in power systems |
-
| Thursday October 16 | Jean DELLA DORA (LMC-IMAG) |
| Introduction au projet Calcel |
-
| Thursday October 9 | Claire CHAUVIN (CEA, Grenoble) |
| Les ondelettes dans le calcul des structures électroniques |
-
| Thursday June 26 | Mr Victor PAN |
| Nearly optimal computations with Toeplitz/Hankel and Toeplitz-like/Hankel-like matrices |
-
| Thursday June 12 | Silvia BERTOLUZZA (CNR, Pavie) |
| The Fat Boundary Method: Convergence and Error Analysis |
-
| Thursday May 15 | Laurent DESBAT (TIMC-IMAG) |
| Echantillonnage en tomographie hélicoïdale. |
-
| Thursday April 17 | Clothide MELOT |
| Méthodes d'analyse multifractale pour les fonctions non continues. |
-
| Thursday April 10 | Olivier RUATTA (Université de Pise) |
| De l'interpolation algébrique à la résolution de systèmes |
-
| Thursday April 3 | François ROBERT |
| Naissance et développement de nos universités au Moyen-Age |
-
| Thursday March 27 | JOURNEE ONDELETTES |
| Amphitheater - Jean Kuntzmann House at 8h45 | Ondelettes et Images |
-
| Thursday March 20 | |
| Problème d'ordonnancement multiprocesseurs sous contraintes |
-
| Thursday March 6 | Olivier LE CADET |
| Détection et classification de contours dans une images. Applications |
-
| Thursday February 20 | Basarab MATEI (Université Pierre et Marie Curie) |
| Méthodes multirésolutions non-linéaires pour le traitement d'images |
-
| Thursday January 30 | Laurent TOURNIER (LMC-IMAG, Grenoble) |
| Vers la compréhension de la régulation génétique : modèle hybride de l'opéron lactose. |
-
| Thursday January 9 | André LIEUTIER (Dassault-Systèmes/LMC-IMAG) |
| Intégration de champs de vecteurs discontinus et axe médian. |
-
-
Seminars 2002
| Thursday December 19 | E. FARCOT |
| Quelques techniques d'études d'une classe de réseaux de régulation génétique: le modèle de Glass |
-
| Monday December 2 | Mr A. EL GHAZI |
| Similitudes simultanées de matrices carrées |
-
| Thursday November 21 | S. BOULME |
| Une introduction à Coq : application de la théorie des types à la "certification" du logiciel |
-
| Thursday November 14 | A. RONDEPIERRE |
| Modélisation de l'activité électrique d'un neurone par des méthodes hybrides. |
-
| Thursday October 17 | E. ASARIN |
| Etude algorithmiques des inclusions différentielles simples sur le plan |
-
| Thursday June 20 | André EBERHARD (LMC-IMAG) |
| Pharmacocinétique et pharmacodynamique ou Une histoire de vases communiquant (mal). |
-
| Thursday June 6 | Nicolas KEVLAHAN (Mc Master University, Hamilton, Canada) |
| Méthode en ondelettes adaptative pour l'intéraction fluide-structure |
-
| Thursday May 30 | Antoine GIRARD (LMC-IMAG) |
| Le calcul hybride pour l'approximations de solutions d'équations différentielles ordinaires |
-
| Thursday April 4 | Rémi COULOM (Leibniz-IMAG) |
| Réseaux de neurones appliqués au contrôle optimal. |
-
| Thursday March 21 | Jean-Louis MERRIEN (INSA Rennes) |
| Interpolations d'Hermite par subdivisions. |
-
| Thursday March 14 | Mr Alexandre SEDOGLAVIC (Laboratoire GAGE, Ecole polytechnique) |
| Utilisation du calcul formel pour la modélisation de systèmes dynamiques et la planification de trajectoire. |
-
| Thursday March 7 | |
| DONC ... |
-
| Thursday February 21 | Raphael BOMBOY (INRIA Sophia-Antipolis) |
| Théorie de Galois des équations aux différences finies. |
-
| Thursday February 7 | Frédéric BÉRINGER (LMC-IMAG) |
| Equations algébriques à plusieurs variables et polygone de Newton |
-
| Thursday January 31 | Nicolas THIERY (Lyon 1) |
| Calculs d'invariants de groupes de permutations, via les bases SAGBI-Gröbner |
-
| Thursday January 17 | Marie-Laurence MAZURE (Grenoble) |
| Continuités géométriques des courbes et des surfaces |
-
-
|
