researcher / Michel Minoux

Michel Minoux

at_id:

orcid_id:

Disciplines:

Applied mathematics
Applied sciences
Computer sciences
Industrial engineering
Edit Merge See Links

Directed Thesis:

Une méthodologie générique de réparation multicritère pour l'optimisation sous incertitude : Application aux problèmes de planification et d'affectation
Contributions à des problèmes de partitionnement de graphe sous contraintes de ressources
Chance Constrained Programming : with applications in Energy Management
Modeling and solving a distribution network design problem with multiple operational constraints : Application to a case-study in the automotive industry
Gestion du revenu et tarification dynamique pour les réseaux mobiles : modèles non linéaires mixtes, résolution exacte et approchée
Gestion robuste de la production électrique à horizon court terme
Modélisation et optimisation des plans de feux : application de la méthode de décomposition de Benders
Hiérarchies de relaxations semi-algébriques pour des programmes linéaires mixtes 0-1 : théorie et applications
MIP models and exact methods for the discrete Lot-sizing and Scheduling problem with sequence-dependent changeover costs and times
Etude de formulations et inégalités valides pour le problème du plus court chemin dans les graphes avec des circuits absorbants
Optimisation du revenu, tarification et allocation de ressources dans les réseaux de télécommunications en contexte concurrentiel
Résolution de grands problèmes stochastiques multi-étapes : application à un problème de dimensionnement de capacités et de gestion de flux et de stocks
Etude et mise en œuvre d'approches polyédriques pour la résolution de programmes en nombres entiers ou mixtes généraux
Résolution de programmes linéaires en nombres entiers de grandes tailles et application à un problème d'affectation en transport aérien
Modeles et algorithmes de multiflots a cout discontinu pour l'optimisation de reseaux de telecommunications
Techniques symboliques pour la reduction des automates d'etats finis et application a la verification formelle modulaire et l'optimisation de circuits sequentiels vlsi complexes
Partitionnement de tres grandes netlists sur architectures hierarchiques multi-niveaux
Un environnement integre pour la verification formelle et l'analyse des systemes decrits en vhdl
Analyse comparative et mise en oeuvre numerique d'algorithmes de programmation quadratique sous contraintes lineaires
Une methode de verification de proprietes de programmes vhdl basee sur des modeles formels de reseaux de petri
Etude et mise en Œuvre de structures de donnees pour la recherche d'arbres dans les graphes values
Applications de réseaux neuronaux à l'optimisation combinatoire
Contribution a l'etude du probleme de l'isomorphisme de deux graphes : emploi d'un algorithme de reduction