Search - Archive ouverte HAL Access content directly

Filter your results

83 Results
Structure: Internal structure identifier : 16574

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

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

Models and Algorithms for the Product Pricing with Single-Minded Customers Requesting Bundles

Víctor Bucarey , Sourour Elloumi , Martine Labbé , Fränk Plein
Computers and Operations Research, 2020, ⟨10.1016/j.cor.2020.105139⟩
Journal articles hal-02056763v1

Verifying SystemC with predicate abstraction: A component based approach

Nesrine Harrath , Bruno Monsuez , Kamel Barkaoui
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), Aug 2013, San Francisco, France. pp.536-545, ⟨10.1109/IRI.2013.6642516⟩
Conference papers hal-02479617v1
Image document

On the edge capacitated Steiner tree problem

Cédric Bentz , Marie-Christine Costa , Alain Hertz
2017
Preprints, Working Papers, ... hal-01465403v1
Image document

An efficient Benders decomposition for the p-median problem

Cristian Durán Mateluna , Zacharie Alès , Sourour Elloumi
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-03595239v1
Image document

Reducing the Adaptation Costs of a Rolling Stock Schedule with Adaptive Solution: the Case of Demand Changes

Rémi Lucas , Zacharie Alès , François Ramond , Sourour Elloumi
RailNorrköping 2019. 8th International Conference on Railway Operations Modelling and Analysis (ICROMA), Jun 2019, Norrköping, Sweden. pp.857-876
Conference papers hal-02428735v1
Image document

Global solution of non-convex quadratically constrained quadratic programs

Sourour Elloumi , Amélie Lambert
Optimization Methods and Software, 2019, 34 (1), pp.98-114. ⟨10.1080/10556788.2017.1350675⟩
Journal articles hal-01811322v1
Image document

2-Stage Robust MILP with continuous recourse variables

Alain Billionnet , Marie-Christine Costa , Pierre-Louis Poirion
Discrete Applied Mathematics, 2014, 170, pp.21-32. ⟨10.1016/j.dam.2014.01.017⟩
Journal articles hal-00968777v1
Image document

Robust optimal sizing of a hybrid energy stand-alone system

Alain Billionnet , Marie-Christine Costa , Pierre-Louis Poirion
European Journal of Operational Research, 2016, 254, pp.565 - 575. ⟨10.1016/j.ejor.2016.03.013⟩
Journal articles hal-01413112v1

Quadratic reformulations for the optimization of pseudo-boolean functions

Yves Crama , Sourour Elloumi , Amélie Lambert , Elisabeth Rodriguez-Heck
International Symposium on Artificial Intelligence and Mathematics ISAIM 2022, Jan 2022, Fort Lauderdale, United States
Conference papers hal-03537270v1

Optimisation du maillage électrique du parc éoliennes off-shore – projet Stationis

Egor Gladkikh , Amélie Lambert , Alain Faye , Dimitri Watel , Marie-Christine Costa et al.
ROADEF 17, Feb 2017, Metz, France
Conference papers hal-02455568v1

Building SystemC waiting state automata

Nesrine Harrath , Bruno Monsuez , Joelle Delacroix Gouin
The 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia
Conference papers hal-00672921v1
Image document

On the edge capacitated Steiner tree problem

Cédric Bentz , Marie-Christine Costa , Alain Hertz
Discrete Optimization, 2020, 38, pp.100607. ⟨10.1016/j.disopt.2020.100607⟩
Journal articles hal-02967013v1
Image document

Minimal graphs for matching extension

Marie-Christine Costa , Dominique de Werra , Christophe Picouleau
Discrete Applied Mathematics, 2018, 234, pp.47-55. ⟨10.1016/j.dam.2015.11.007⟩
Journal articles hal-01829546v1

Blockers and Transversals in some subclasses of bipartite graphs: when caterpillars are dancing on a grid

Bernard Ries , Cédric Bentz , Dominique de Werra , Marie-Christine Costa , Rico Zenklusen et al.
Discrete Mathematics, 2010, 310, pp.132--146. ⟨10.1016/j.disc.2009.08.009⟩
Journal articles hal-00974959v1

La RO au cœur du déploiement du Fiber To The Home à France-Télécom Orange: La RO récompensée par le prix Orange de l'Innovation 2012 (catégorie Réseau)

Matthieu Chardy , Marie-Christine Costa , Alain Faye , Stanislas Francfort , Cedric Hervet et al.
Bulletin de la ROADEF, 2012, 29, pp.8-11
Journal articles hal-00969112v1
Image document

Compact MILP formulations for the p-center problem

Zacharie Alès , Sourour Elloumi
ISCO (International Symposium on Combinatorial Optimization) 2018, Apr 2018, Marrakesh, France
Conference papers hal-03503279v1

Completion of a Sparse GLIDER Database Using Multi-iterative Self-Organizing Maps (ITCOMP SOM)

Anastase Alexandre Charantonis , Pierre Testor , Laurent Mortier , Fabrizio d'Ortenzio , Sylvie Thiria et al.
Procedia Computer Science, 2015, 51, pp.2198-2206. ⟨10.1016/j.procs.2015.05.496⟩
Journal articles hal-01234178v1