Search - Archive ouverte HAL Access content directly

Filter your results

35 Results
Structure: Internal structure identifier : 34586

Modèle logique avancé - version V1

Tatiana Aubonnet , Eric Madelaine , Ludovic Henrio , Thomas Ledoux , Yousri Kouki et al.
[Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013
Reports hal-01126329v1
Image document

Inner Regions and Interval Linearizations for Global Optimization

Gilles Trombettoni , Araya Ignacio , Bertrand Neveu , Gilles Chabert
AAAI 2011, Aug 2011, San Francisco, United States
Conference papers hal-00648085v1
Image document

Entropy: a Consolidation Manager for Clusters

Fabien Hermenier , Xavier Lorca , Jean-Marc Menaud , Gilles Muller , Julia L. Lawall et al.
VEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
Conference papers hal-01102354v1

BtrPlace: Flexible VM Management in Data Centers

Fabien Hermenier , Sophie Demassey
PGMO-COPI'14 Conference on Optimization & Practices in Industry, Oct 2014, Paris, France
Conference papers hal-01095958v1
Image document

Assistive technologies to address capabilities of people with dementia: from research to practice

Paul-Ariel Kenigsberg , Jean-Pierre Aquino , Alain Berard , François Bremond , Kevin Charras et al.
Journal articles hal-01850005v1
Image document

Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints

Ignacio Araya , Gilles Trombettoni , Bertrand Neveu , Gilles Chabert
GOW'12, Jun 2012, Natal, Brazil. pp.25-29
Conference papers hal-00733860v1
Image document

Apprentissage de Contraintes Globales Implicites

Christian Bessière , Remi Coletta , Thierry Petit
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, France. pp.249-258
Conference papers inria-00000069v1
Image document

Seabed prediction from airborne topo-bathymetric lidar point cloud using machine learning approaches

Julian Le Deunf , Rudresh Mishra , Yves Pastol , Romain Billot , Steve Oudot et al.
OCEANS 2021: San Diego – Porto, Sep 2021, San Diego, United States. pp.1-9, ⟨10.23919/OCEANS44145.2021.9706113⟩
Conference papers hal-03583749v1
Image document

A model driven approach for bridging ILOG Rule Language and RIF

Valerio Cosentino , Marcos Didonet del Fabro , Adil El Ghali
RuleML, Aug 2012, Montpellier, France
Conference papers hal-00755012v1
Image document

A Box-Consistency Contractor Based on Extremal Functions

Gilles Trombettoni , Yves Papegay , Gilles Chabert , Odile Pourtallier
CP: Principles and Practice of Constraint Programming, Sep 2010, St Andrews, United Kingdom. pp.491-498, ⟨10.1007/978-3-642-15396-9_39⟩
Conference papers hal-01146875v1
Image document

Towards Certified Meta-Programming with Typed Template-Coq

Abhishek Anand , Simon Boulier , Cyril Cohen , Matthieu Sozeau , Nicolas Tabareau et al.
ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩
Conference papers hal-01809681v1

Adding Virtualization Capabilities to the Grid'5000 Testbed

Daniel Balouek , Alexandra Carpen-Amarie , Ghislain Charrier , Frédéric Desprez , Emmanuel Jeannot et al.
Ivanov, IvanI. and Sinderen, Marten and Leymann, Frank and Shan, Tony. Cloud Computing and Services Science, 367, Springer International Publishing, pp.3-20, 2013, Communications in Computer and Information Science, 978-3-319-04518-4. ⟨10.1007/978-3-319-04519-1_1⟩
Book sections hal-00946971v1
Image document

Optimisation du coût de déploiement de services réseau virtualisés dans le cloud

Cedric Morin , Géraldine Texier , Christelle Caillouet , Gilles Desmangles , Cao-Thanh Phan et al.
CORES 2020 – 5ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Sep 2020, Lyon, France
Conference papers hal-02874121v1
Image document

Adding Virtualization Capabilities to Grid'5000

Daniel Balouek , Alexandra Carpen-Amarie , Ghislain Charrier , Frédéric Desprez , Emmanuel Jeannot et al.
[Research Report] RR-8026, INRIA. 2012, pp.18
Reports hal-00720910v2
Image document

VESPA, ou l'art de coordonner une flotte de drone sans leader

Yann Busnel , Christelle Caillouet , David Coudert
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.1-4
Conference papers hal-02796530v1
Image document

Régions intérieures et linéarisations par intervalles en optimisation globale

Gilles Trombettoni , Ignacio Araya , Bertrand Neveu , Gilles Chabert
JPFC 2011, Jun 2011, Lyon, France. pp.299-306
Conference papers hal-00654307v1
Image document

Geometrical Patterns for Measurement Pose Selection in Calibration of Serial Manipulators

Alexandr Klimchik , David Daney , Stéphane Caro , Anatol Pashkevich
Lenarčič, Jadran and Khatib, Oussama. Advances in Robot Kinematics, Springer International Publishing, 2014, 978-3-319-06697-4. ⟨10.1007/978-3-319-06698-1_28⟩
Book sections hal-01004166v1

Liver Segmentation in Contrast Enhanced Helical CT-Scans

Johan Montagnat , Hervé Delingette , Nicholas Ayache , Jean-Marie Clément , C. Roy et al.
Proceedings of World Congress on Medical Physics and Biomedical Engineering, 1997, Nice, France, France
Conference papers inria-00615792v1

Automatic Segmentation of Portal Vein in CT-Scans of the Liver

Luc Soler , Grégoire Malandain , Johan Montagnat , Hervé Delingette , Nicholas Ayache et al.
Proceedings of World Congress on Medical Physics and Biomedical Engineering, 1997, Nice, France, France. pp.788
Conference papers inria-00615793v1
Image document

A Backpropagation Approach for Distributed Resource Allocation

Alexandre Reiffers-Masson , Nahum Shimkin , Daniel Sadoc Menasche , Eitan Altman
2021
Preprints, Working Papers, ... hal-03295994v1
Image document

Self-organized UAV-based Supervision and Connectivity: Challenges and Opportunities

Yann Busnel , Christelle Caillouet , David Coudert
NCA 2019 - 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, United States. pp.1-5, ⟨10.1109/NCA.2019.8935060⟩
Conference papers hal-02267396v1
Image document

Algorithmes de placement de VNFs dans des contextes mono-et multi-propriétaire

Cedric Morin , Géraldine Texier , Christelle Caillouet , Gilles Desmangles , Cao-Thanh Phan et al.
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers hal-02873944v1
Image document

Self-organized Disaster Management System by Distributed Deployment of Connected UAVs

Yann Busnel , Christelle Caillouet , David Coudert
ICT-DM 2019 - 6th International Conference on Information and Communication Technologies for Disaster Management, Dec 2019, Paris, France. pp.1-8, ⟨10.1109/ICT-DM47966.2019.9032964⟩
Conference papers hal-02349396v1

Partial Behavioral Reflection: Spatial and Temporal Selection of Reification

Éric Tanter , Jacques Noyé , Denis Caromel , Pierre Cointe
The 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2003), 2003, Anaheim, California, USA, United States. pp.27-46
Conference papers hal-00457204v1

Learning Implied Global Constraints

Christian Bessière , Remi Coletta , Thierry Petit
IJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.50-55
Conference papers lirmm-00195896v1
Image document

Trajectory Optimization for Fast Sensor Energy Replenishment using UAVs as RF sources

Igor Dias da Silva , Yann Busnel , Christelle Caillouet
GLOBECOM 2022 - IEEE Global Communications Conference, Dec 2022, Rio de Janeiro / Hybrid, Brazil. pp.1-6
Conference papers hal-03767913v1
Image document

Development and validation of multitemporal image analysis methodologies for multirisk monitoring of critical structures and infrastructures

Sebastiano Serpico , Lorenzo Bruzzone , Giovanni Corsini , William J. Emery , Paolo Gamba et al.
IEEE IGARSS - International Geoscience and Remote Sensing Symposium, Jul 2012, Munich, Germany
Conference papers hal-00729089v1
Image document

Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming

Julien Alexandre Dit Sandretto , Gilles Trombettoni , David Daney , Gilles Chabert
Federico Thomas; Alba Perez Gracia. Computational Kinematics, 15, Springer Netherlands, pp.209-217, 2014, Mechanisms and Machine Science, 978-94-007-7213-7. ⟨10.1007/978-94-007-7214-4_24⟩
Book sections hal-00907499v1
Image document

Optimization of Network Services Embedding Costs over Public and Private Clouds

Cedric Morin , Géraldine Texier , Christelle Caillouet , Gilles Desmangles , Cao-Thanh Phan et al.
ICOIN 2020 - 34th International Conference on Information Networking, Jan 2020, Barcelone, Spain. ⟨10.1109/ICOIN48656.2020.9016607⟩
Conference papers hal-02440297v1

Consolidation dynamique d'applications Web haute-disponibilité

Fabien Hermenier , Julia L. Lawall , Jean-Marc Menaud , Gilles Muller
CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France
Conference papers hal-00750067v1