Search - Archive ouverte HAL Access content directly

Filter your results

83 Results
Structure: Internal structure identifier : 16574
Image document

d-extensibles de stables dans les graphes bipartis

Grégoire Cotté , Marie-Christine Costa , Christophe Picouleau
ROADEF2017. 18ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Université de Lorraine, Feb 2017, Metz, France
Conference papers hal-02462664v1

Minimum length disjoint paths and Capacitated (rooted) Steiner Tree

Cédric Bentz , Marie-Christine Costa , Alain Hertz
Euro-Alio International Conference on Applied Combinatorial Optimization Aims and Objectives, Jun 2018, Bologna, Italy
Conference papers hal-02478921v1
Image document

Résolution du problème de suites binaires avec faible autocorrélation à l'aide d'une reformulation quadratique convexe

Amélie Lambert , Sourour Elloumi , Arnaud Lazare
ROADEF 2018, Feb 2018, Lorient, France
Conference papers hal-02455573v1
Image document

Formulations for designing robust networks. An application to wind power collection

Cédric Bentz , Marie-Christine Costa , Pierre-Louis Poirion , Thomas Ridremont
Electronic Notes in Discrete Mathematics, 2018, Inernational network optimization conference 2017., 64, pp.365-374. ⟨10.1016/j.endm.2018.02.011⟩
Journal articles hal-01465398v1

Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm

Marc Etheve , Zacharie Alès , Côme Bissuel , Safia Kedad-Sidhoum , Olivier Juan et al.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR: International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, pp.176-185, 2020, ⟨10.1007/978-3-030-58942-4_12⟩
Book sections hal-02987320v1
Image document

Minimum d-blockers and d-transversals in graphs

Marie-Christine Costa , Dominique de Werra , Christophe Picouleau
Journal of Combinatorial Optimization, 2011, 22 (4), pp.857-872. ⟨10.1007/s10878-010-9334-6⟩
Journal articles hal-00973849v1

Using a Conic Bundle Method to Accelerate Both Phases of a Quadratic Convex Reformulation

Alain Billionnet , Sourour Elloumi , Amélie Lambert , Angelika Wiegele
INFORMS Journal on Computing, 2017, 29 (2), pp.318 - 331. ⟨10.1287/ijoc.2016.0731⟩
Journal articles hal-01811329v1
Image document

Cross Layer Rate Control, Medium Access Control and Routing Design in Cooperative Multi-Hop Wireless Networks

Liang Zhou , Baoyu Zheng , Jingwu Cui , Benoit Geller , Anne Wei et al.
9th International Conference on Intelligent Transport Systems Telecommunications,(ITST), 2009 , 2009, Lille, France. ⟨10.1109/ITST.2009.5399303⟩
Conference papers hal-01225698v1
Image document

System Scheduling for Multi-Description Video Streaming Over Wireless Multi-Hop Networks

Liang Zhou , Benoit Geller , Baoyu Zheng , Anne Wei , Jingwu Cui et al.
IEEE Transactions on Broadcasting, 2009, 55 (4), pp.731-741. ⟨10.1109/TBC.2009.2032795⟩
Journal articles hal-01225692v1
Image document

A Scalable Information Security Technique: Joint Authentication-Coding Mechanism for Multimedia over Heterogeneous Wireless Networks

Liang Zhou , Baoyu Zheng , Anne Wei , Benoit Geller , Jingwu Cui et al.
Kluwer Journal of Wireless Personal Communications, 2009, ⟨10.1007/s11277-008-9595-x⟩
Journal articles hal-01238447v1

Optimizing the deployment of a multilevel optical FTTH network

Matthieu Chardy , Marie-Christine Costa , Alain Faye , Mathieu Trampont
European Journal of Operational Research, 2012, 222 (3), pp.430--440. ⟨10.1016/j.ejor.2012.05.024⟩
Journal articles hal-00969331v1
Image document

Wind farm cable layout optimization with constraints of load flow and robustness

Cédric Bentz , Marie-Christine Costa , Pierre-Louis Poirion , Thomas Ridremont , Camille Zakour et al.
ICREEE 2020: International Conference on Renewable Energy and Environment Engineering, Dec 2020, Tokyo (on line), Japan
Conference papers hal-02967066v1
Image document

Reformulation Quadratique Convexe Pour l'Optimisation des Flux de Puissance

Hadrien Godard , Sourour Elloumi , Amélie Lambert , Jean Maeght , Manuel Ruiz et al.
ROADEF 17, Feb 2017, Metz, France
Conference papers hal-02455536v1
Image document

Compact MILP formulations for the p-center problem

Zacharie Alès , Sourour Elloumi
Jon Lee; Giovanni Rinaldi; A. Ridha Mahjoub. Combinatorial Optimization, 10856, Springer, pp.14-25, 2018, Lecture Notes in Computer Science, 978-3-319-96151-4. ⟨10.1007/978-3-319-96151-4_2⟩
Book sections hal-01811455v1
Image document

Semidefinite programming relaxations through quadratic reformulation for box-constrained polynomial optimization problems

Sourour Elloumi , Amélie Lambert , Arnaud Lazare
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1498-1503, ⟨10.1109/CoDIT.2019.8820690⟩
Conference papers hal-02455410v1

Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++

Thérèse Hardin , Mathieu Jaume , François Pessaux , Veronique Viguie Donzeau-Gouge
ISTE Editions, 2021, 9781784057015
Books hal-03030484v1
Image document

Novel Approach Towards Global Optimality of Optimal Power Flow Using Quadratic Convex Optimization

Hadrien Godard , Sourour Elloumi , Amélie Lambert , Jean Maeght , Manuel Ruiz et al.
6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. ⟨10.1109/CoDIT.2019.8820584⟩
Conference papers hal-02065034v2
Image document

Conception de câblages robustes dans les parcs éoliens : recherche d'une Arborescence de Steiner "robuste

Cédric Bentz , Marie-Christine Costa , Daniel Cosmin Porumbel , Thomas Ridremont
17ème congrès ROADEF, Université de Technologie de Compiègne, Feb 2016, Compiègne, France
Conference papers hal-02462704v1
Image document

AutoExpe.jl : Ne coder que les méthodes de résolution

Zacharie Alès
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers hal-03595255v1

Unconstrained 0-1 polynomial optimization through convex quadratic reformulation

Amélie Lambert , Sourour Elloumi , Arnaud Lazare
ISMP 18, Jul 2018, Bordeaux, France
Conference papers hal-02455578v1
Image document

Extraction and Clustering of Two-Dimensional Dialogue Patterns

Zacharie Alès , Alexandre Pauchet , Arnaud Knippel
International Journal on Artificial Intelligence Tools, 2018, 27 (02), pp.1850001. ⟨10.1142/s021821301850001x⟩
Journal articles hal-02932003v1

Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction

Nesrine Harrath , Bruno Monsuez
IJCCBS, 2014, 5 (3/4), pp.268--299. ⟨10.1504/IJCCBS.2014.064666⟩
Journal articles hal-01762691v1

A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata

Nesrine Harrath , Bruno Monsuez , Kamel Barkaoui
Integration of Reusable Systems, 2013, San Francisco, United States. pp.77--104, ⟨10.1007/978-3-319-04717-1_4⟩
Conference papers hal-01762692v1
Image document

Adaptive network flow with $k$-Arc Destruction

Thomas Ridremont , Dimitri Watel , Pierre-Louis Poirion , Christophe Picouleau
2020
Preprints, Working Papers, ... hal-02440948v1
Image document

Approximate Expressions for Cramer-Rao Bounds of Code Aided QAM Dynamical Phase Estimation

Jianxiao Yang , Benoit Geller , Anne Wei
ICC, Jun 2009, Dresde, Germany. ⟨10.1109/ICC.2009.5198756⟩
Conference papers hal-01224238v1
Image document

Bayesian and hybrid Cramer-Rao bounds for QAM dynamical phase estimation

Jianxiao Yang , Benoit Geller , A Wei
Acoustics, Speech and Signal Processing, Apr 2009, Taipei, Taiwan. pp.3297-3300, ⟨10.1109/ICASSP.2009.4960329⟩
Conference papers hal-01224240v1
Image document

Overlay of Multicast Service in WDM-PON Based on Dynamic Wavelength Reflection Scheme

Min Zhu , Shilin Xiao , Wei Guo , He Chen , Anne Wei et al.
Communications and Photonics Conference and Exhibition (ACP), 2009, Shanghai, China. ⟨10.1364/ACP.2009.TuF3⟩
Conference papers hal-01225812v1
Image document

Robust capacitated trees and networks with uniform demands *

Cédric Bentz , Marie-Christine Costa , Pierre-Louis Poirion , Thomas Ridremont
2018
Preprints, Working Papers, ... hal-01681373v1

d-Transversals of Stable Sets and Vertex Covers in Weighted Bipartite Graphs

Cédric Bentz , Marie-Christine Costa , Christophe Picouleau , Bernard Ries , Dominique de Werra et al.
Journal of Discrete Algorithms, 2012, 17, pp.95-102. ⟨10.1016/j.jda.2012.06.002⟩
Journal articles hal-00969156v1
Image document

Joint QoS control for video streaming over wireless multihop networks: A cross-layer approach

Liang Zhou , Baoyu Zheng , Benoit Geller , Anne Wei , Jingwu Cui et al.
AEU - International Journal of Electronics and Communications, 2009, ⟨10.1016/j.aeue.2008.05.004⟩
Journal articles hal-01225693v1