Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Soutif, Eric"'
Publikováno v:
Yugoslav Journal of Operations Research, Vol 21, Iss 1, Pp 11-28 (2011)
In this paper1 we study the on-line version of maximum-weighted hereditary subgraph problems. In our on-line model, the final instance (a graph with n vertices) is revealed in t clusters, 2 ≤ t ≤ n . We first focus on an on-line version of the ma
Externí odkaz:
https://doaj.org/article/20ac13fdb1b2420391c2c4b824a2fdae
Autor:
Billionnet, Alain, Soutif, Éric
Publikováno v:
In European Journal of Operational Research 2004 157(3):565-575
Publikováno v:
In European Journal of Operational Research 1999 112(3):664-672
In this paper1 we study the on-line version of maximum-weighted hereditarysubgraph problems. In our on-line model, the final instance (a graph with n vertices) isrevealed in t clusters, 2 ? t ? n . We first focus on an on-line version of the maximumw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::2622aefae44570c58d4b06aa2e47c459
https://hal.archives-ouvertes.fr/hal-01126144
https://hal.archives-ouvertes.fr/hal-01126144
Autor:
Soutif, Eric, Quadri, Dominique
We present an exact method for solving non separable convex integer quadratic problems (IQP). Such problems arise in financial applications. The method we propose transforms (IQP) into a parameterized mixed linear integer problem which provides an ov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::1aeffdbb1e21d0f8f1ffc081d1c2feae
https://hal.archives-ouvertes.fr/hal-01126077
https://hal.archives-ouvertes.fr/hal-01126077
Publikováno v:
ROADEF'08, 9e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision
ROADEF'08, 9e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF, Feb 2008, Clermont-Ferrand, France. pp.123-138
ROADEF'08, 9e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF, Feb 2008, Clermont-Ferrand, France. pp.123-138
National audience; Nous nous intéressons à un problème de coloration avec préférences minimale CPM dans les graphes triangulés. Cette étude s'inscrit dans le projet CompCert qui a pour objectif la certification, à l'aide de méthodes formelle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::73d5f1e5a5b391aa64ccbbde1df8c660
https://inria.hal.science/inria-00260712/file/ROADEF08.pdf
https://inria.hal.science/inria-00260712/file/ROADEF08.pdf
Publikováno v:
JFLA (Journées Francophones des Langages Applicatifs)
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.31-46
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.31-46
National audience; Le travail présenté dans cet article est à l'interface entre la recherche opérationnelle et les méthodes formelles. Il s'inscrit dans le cadre du projet CompCert ayant pour but le développement et la vérification formelle, u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9f4fa6ee174b3afcca2e2bfcf736c623
https://hal.inria.fr/inria-00202713/file/Robillard.pdf
https://hal.inria.fr/inria-00202713/file/Robillard.pdf
Publikováno v:
Journées Graphes et algorithmes (JGA'07)
Journées Graphes et algorithmes (JGA'07), Nov 2007, Paris, France. pp.32
Journées Graphes et algorithmes (JGA'07), Nov 2007, Paris, France. pp.32
National audience; L'utilisation de méthodes formelles permet d'obtenir des garanties fortes sur le code source des logiciels critiques. Cependant, des bugs dans le compilateur utilisé pour produire un exécutable à partir de ces sources peuvent i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5d58c6fd8357e1d08f61444e901f0158
https://inria.hal.science/inria-00292045
https://inria.hal.science/inria-00292045
Nous nous intéressons dans ce rapport de recherche à la résolution du problème de multi-sac-à-dos quadratique en variables entières, dans le cas non séparable, noté (QMKP). Ce problème consiste à maximiser une fonction quadratique concave e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::50862753e172e6f16e03adfb6b9b42f7
https://hal.archives-ouvertes.fr/hal-00909571/document
https://hal.archives-ouvertes.fr/hal-00909571/document