Filter your results
- 11
- 1275
- 399
- 10
- 1
- 11
- 8
- 5
- 1
- 1
- 2
- 2
- 7
- 4
- 11
- 4
- 2
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Exploring AI approaches to improve the resolution of unsplittable multicommodity flow problems in wireless networks39th Spanish Conference on Statistics and Operation Research (SEIO'22), Jun 2022, Grenade, Spain
Conference papers
hal-03647245v1
|
|||
Linear logic as a logical frameworkProceedings 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 dataJOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2017, Jul 2017, Lille, France. pp.102
Conference papers
hal-01534587v1
|
|||
Intersection Cuts for Signomial Programming23è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 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 GeometryDiscrete Optimization, 2021, pp.100658. ⟨10.1016/j.disopt.2021.100658⟩
Journal articles
hal-03453793v1
|
||
Wireless unsplittable multi-commodity flow with network coding23è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étiques23e 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 linearizability22nd 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 UnificationProceedings 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és23è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
|