Search - Archive ouverte HAL Access content directly

Filter your results

11 Results
Deposit type : Annex

Exploring AI approaches to improve the resolution of unsplittable multicommodity flow problems in wireless networks

Sonia Haddad-Vanier , Romain Wallon , Hugues Wattez
39th Spanish Conference on Statistics and Operation Research (SEIO'22), Jun 2022, Grenade, Spain
Conference papers hal-03647245v1

Linear logic as a logical framework

Dale Miller
Proceedings of Structures and Deduction (SD) 2017, Sep 2017, Oxford, United Kingdom
Conference papers hal-01615664v1

An integrative approach for predicting the RNA secondary structure for the HIV–1 Gag UTR using probing data

Afaf Saaidi , Yann Ponty , Bruno Sargueil
JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2017, Jul 2017, Lille, France. pp.102
Conference papers hal-01534587v1

Intersection Cuts for Signomial Programming

Liding Xu
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-03597220v1

Opinions and Beliefs as constraint system operators

Salim Perchy , Frank Valencia
Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Aug 2015, Cork, Ireland. pp.1
Conference papers hal-01257098v1

Optimization and Discrete Geometry

Antoine Deza , Frédéric Meunier , Tal Raviv
Discrete Optimization, 2021, pp.100658. ⟨10.1016/j.disopt.2021.100658⟩
Journal articles hal-03453793v1

Wireless unsplittable multi-commodity flow with network coding

Liding Xu , Sonia Haddad-Vanier
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-03596249v1

Exploration des approches de l'IA pour renforcer la résolution des problèmes de multiflots entiers dans les réseaux énergétiques

Sonia Haddad-Vanier , Romain Wallon , Hugues Wattez
23e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'22), INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers hal-03597206v1

Concurrent specifications beyond linearizability

Eric Goubault , Jérémy Ledent , Samuel Mimram
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2016.23⟩
Conference papers hal-02155500v1

Regular Patterns in Second-Order Unification

Tomer Libal
Proceedings of CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.1007/978-3-319-21401-6_38⟩
Conference papers hal-01242215v1

Réactivité, efficacité et apprentissage : problèmes d'aide à la prise de décision dans des réseaux décentralisés

Juan-Antonio Cordero-Fuertes
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-03596228v1