Minoux, Michel.
Minoux, M.
VIAF ID: 2474443 ( Personal )
Permalink: http://viaf.org/viaf/2474443
Preferred Forms
-
200 _ | ‡a Minoux ‡b Michel
-
-
-
100 1 _ ‡a Minoux, Michel
-
-
-
100 1 _ ‡a Minoux, Michel
-
100 1 _ ‡a Minoux, Michel
-
-
-
-
100 1 _ ‡a Minoux, Michel,
-
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Un algorithme linéaire en temps espéré pour déduire toutes les conclusions logiques induites par un ensemble d'inégalités booléennes |
![]() |
Analysis of formulations and valid inequalities for the shortest path problem in diagraphs with negative cycles. |
![]() |
Applications de réseaux neuronaux à l'optimisation combinatoire |
![]() |
Applications of neural network for a combinatorial optimization problem. |
![]() |
Les arbres et les représentations des proximités |
![]() ![]() |
AN AUTOMATED FRAMEWORK FOR THE FORMAL VERIFICATION AND ANALYSIS OF SYSTEMS DESCRIBED IN VHDL. |
![]() |
Chance Constrained Programming : with applications in Energy Management |
![]() |
COMPARATIVE ANALYSIS AND IMPLEMENTATION OF LINEARLY CONTRAINED QUADRATIC PROGRAMMING ALGORITHMES. |
![]() |
Complexité algorithmique : et problèmes de communications |
![]() |
A computational study of polyedral techniques to solve general mixed integer programs. |
![]() |
Contribution to parallel and distributed algorithms : application to the combinatorial optimization. |
![]() |
CONTRIBUTION TO THE STUDY OF THE PROBLEM OF TWO GRAPH ISOMORPHISM: USING A REDUCTION ALGORITHM. |
![]() |
Contributions to graph partitioning problems under resource constraints. |
![]() |
UN ENVIRONNEMENT INTEGRE POUR LA VERIFICATION FORMELLE ET L'ANALYSE DES SYSTEMES DECRITS EN VHDL |
![]() |
Etude de formulations et inégalités valides pour le problème du plus court chemin dans les graphes avec des circuits absorbants |
![]() |
Etude et mise en œuvre d'approches polyédriques pour la résolution de programmes en nombres entiers ou mixtes généraux |
![]() |
ETUDE ET MISE EN ŒUVRE DE STRUCTURES DE DONNEES POUR LA RECHERCHE D'ARBRES DANS LES GRAPHES VALUES |
![]() |
A generic multi-criteria repair/recovery framework for optimization under uncertainty : Application to planning and assignment problems |
![]() |
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 |
![]() |
Graphes et algorithmes |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Graphs, dioids and semirings : new models and algorithms |
![]() ![]() ![]() |
Initiation aux distributions et aux transformations intégrales |
![]() |
Large steps preserving polynomiality in Karmarkar's algorithm |
![]() |
Matematičeskoe programmirovanie : teoriâ i algoritmy |
![]() |
UNE METHODE DE VERIFICATION DE PROPRIETES DE PROGRAMMES VHDL BASEE SUR DES MODELES FORMELS DE RESEAUX DE PETRI |
![]() |
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 |
![]() |
Micro-électronique et mesure en transmission de données |
![]() |
MIP models and exact methods for the discrete Lot-sizing and Scheduling problem with sequence-dependent changeover costs and times |
![]() |
Modeling and optimization of traffic signal timing : implementation of the Bender's decomposition method. |
![]() |
Modeling and solving a distribution network design problem with multiple operational constraints : Application to a case-study in the automotive industry |
![]() |
Modélisation et optimisation bi-objectif et multi-période avec anticipation d'une place de marché de prospects Internet : adéquation offre/demande |
![]() |
Modélisation et optimisation des plans de feux : application de la méthode de décomposition de Benders |
![]() |
Modélisation et résolution d’un problème de conception d’un réseau de distribution avec plusieurs contraintes opérationnelles : Application à une étude de cas dans l’industrie automobile. |
![]() |
Modélisation, simulation et optimisation basée sur le risque pour l’intégration de génération distribuée renouvelable dans des réseaux de puissance électrique. |
![]() |
New suggested implementations of Karmarkar's algorithm |
![]() |
On semi-algebraic relaxation hierarchies for 0-1 mixed integer linear programs : theory and computational results. |
![]() |
Optimal matching of 3-D convex polyhedra |
![]() |
Optimisation du revenu, tarification et allocation de ressources dans les réseaux de télécommunications en contexte concurrentiel |
![]() |
Optimisation sous contrainte probabilistes : et applications en Management d’Energie. |
![]() |
Optimizing resource allocation in infrastructure networks based on network function virtualization. |
![]() |
PARTITIONNEMENT DE TRES GRANDES NETLISTS SUR ARCHITECTURES HIERARCHIQUES MULTI-NIVEAUX |
![]() |
Planification de production par lots avec coûts de reconfiguration dépendant de la séquence. |
![]() |
Programmation mathématique |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
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 |
![]() |
Résolution de programmes linéaires en nombres entiers de grandes tailles et application à un problème d'affectation en transport aérien |
![]() |
Ressource allocation methods for flexible manufacturing systems using structure theory of Petri nets. |
![]() |
Revenue optmization, pricing and resource allocation in telecommunications networks in a competitive context. |
![]() |
Risk–based modeling, simulation and optimization for the integration of renewable distributed generation into electric power networks |
![]() |
Robust modelization of short term power generation problem. |
![]() |
Semidefinite Programming. Methods and algorithms for energy management. |
![]() |
Solving large multistage stochastic problems : a real-world application on capacity planning in a gas market. |
![]() |
STUDY AND IMPLEMENTATION OF DATA-STRUCTURES FOR FINDING TREES IN WEIGHTED GRAPHS. |
![]() |
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 |
![]() |
Математическое программирование, 1990: |
![]() |