Search - Archive ouverte HAL Access content directly

Filter your results

599 Results
Structure: Internal structure identifier : 1063677

From Conceptual Database Schemas to Logical Database Tuning

Jean-Marc Petit , Mohand-Said Hacid
Patrick Van Bommel. Transformation of Knowledge, Information and Data : Theory and Applications, pp.52-74, 2005, ⟨10.4018/978-1-59140-527-6.ch003⟩
Book sections hal-01586652v1
Image document

Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori

Léo Robert , Daiki Miyahara , Pascal Lafourcade , Takaaki Mizuki
Computability in Europe Conference (CiE), Jul 2021, à distance, Belgium
Conference papers hal-03209911v1
Image document

Pickup and delivery problems with autonomous vehicles on rings

Manuel Trotta , Claudia Archetti , Dominique Feillet , Alain Quilliot
European Journal of Operational Research, In press, ⟨10.1016/j.ejor.2021.07.050⟩
Journal articles hal-03136655v1
Image document

Ramping Up Customer-Centric Modular Design Projects: Mobile App Development for Pandemic Relief

Khaled Medini , Stefan Wiesner , Milad Poursoltan , David Romero
Systems, 2020, 8 (4), pp.40. ⟨10.3390/systems8040040⟩
Journal articles emse-02989035v1

Combination of a Metaheuristic and a Simulation Model for the Scheduling of Resource-Constrained Transport Activities

Virginie Andre , Nathalie Grangeon , Sylvie Norre
Metaheuristics for Production Scheduling, John Wiley & Sons, Inc., pp.401-432, 2013, ⟨10.1002/9781118731598.ch15⟩
Book sections hal-03191265v1

Segmentation d'images

Vincent Barra
Bibliothèque Tangente, 2021
Journal articles hal-03191239v1
Image document

A new split-based hybrid metaheuristic for the Reconfigurable Transfer Line Balancing Problem

Y Lahrichi , Laurent Deroussi , Nathalie Grangeon , Sylvie Norre
International Journal of Production Research, 2021
Journal articles hal-03165254v1
Image document

Lattice point of view for argumentation framework

Mohammed Elaroussi , Lhouari Nourine , Mohammed Said Radjef
2021
Preprints, Working Papers, ... hal-03184819v1
Image document

A matheuristic for the 2D bounded-size cutting stock problem

Alexis Robbes , Khadija Hadj Salem
24ème Congrès Annuel de la Société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2023, Rennes, France
Conference papers hal-04039120v1
Image document

Complexity and equivalency of multiset dimension and ID-colorings

Anni Hakanen , Ismael G. Yero
2023
Preprints, Working Papers, ... hal-04026222v1

Reasoning with Ontologies for Non-player Character’s Decision-Making in Games

Sylvain Lapeyrade
Proceedings (AAAI Artificial Intelligence and Interactive Digital Entertainment Conference), 2022, 18 (1), pp.303-306. ⟨10.1609/aiide.v18i1.21980⟩
Journal articles hal-03968017v1

Mathematical Foundations of Quantum Computing for Computer Science Researchers

Gérard Fleury , Philippe Lacomme
2023
Preprints, Working Papers, ... hal-04015556v1
Image document

Progress towards the two-thirds conjecture on locating-total dominating sets

Dipayan Chakraborty , Florent Foucaud , Anni Hakanen , Michael A. Henning , Annegret K. Wagler et al.
2022
Preprints, Working Papers, ... hal-03876474v1
Image document

Hybridization of mixed-integer linear program and discrete event systems for robust scheduling on parallel machines

Alexis Aubry , Pascale Marangé , David Lemoine , Sara Himmiche , Sylvie Norre et al.
APMS 2021: IFIP International Conference on Advances in Production Management Systems, Sep 2021, Nantes, France. pp.73-80, ⟨10.1007/978-3-030-85874-2_8⟩
Conference papers hal-03337509v1
Image document

Determining the generalized Nash Fairness solution set for Bi-Objective Discrete Optimization

Minh Hieu Nguyen , Mourad Baiou , Viet Hung Nguyen
2023
Preprints, Working Papers, ... hal-04010827v1

Continuous time and volume batch formulation for the multiproduct pipeline network scheduling problem

Meryem Bamoumen , Selwa Elfirdoussi , Libo Ren , Nikolay Tchernev
MIM 2022 | 10th IFAC Conference on manufacturing modelling, management and control, Jun 2022, Nantes, France. ⟨10.1016/j.ifacol.2022.10.048⟩
Conference papers hal-03777737v1

A bi-objective stochastic approach for the stochastic CARP

Gérard Fleury , Philippe Lacomme , Christian Prins , Marc Sevaux
2022
Preprints, Working Papers, ... hal-03868934v1
Image document

Bayesian Regression and Classification Using Gaussian Process Priors Indexed by Probability Density Functions

A. Fradi , Y. Feunteun , Chafik Samir , M. Bakloul , François Bachoc et al.
Information Sciences, 2021, ⟨10.1016/j.ins.2020.09.027⟩
Journal articles hal-02967770v1
Image document

On Designing and Implementing Agro-ecology IoT Applications: Issues from Applied Research Projects

Sandro Bimonte , Amina Belhassena , Christophe Cariou , Jean Laneurit , Rim Moussa et al.
International Workshop on Latest Advances in Enterprise Architectures in the IoT Era (EAIoT’2021)/International Entreprise Distributed Object Computing Workshop (EDOCW), IEEE Comp Soc; Griffith Univ; Destinat Gold Coast, Oct 2021, Gold Coast, Australia. ⟨10.1109/EDOCW52865.2021.00050⟩
Conference papers hal-03479790v1
Image document

Hierarchical and Hybrid Decisional Control Architecture for Cooperative Navigation of Autonomous Vehicles in Complex Environments/Situations

Zheng Ze Zhu
Electronics. Université Clermont Auvergne, 2022. English. ⟨NNT : 2022UCFAC044⟩
Theses tel-04028409v1
Image document

Complexity and algorithms for Isometric Path Cover on chordal graphs and beyond

Dibyayan Chakraborty , Antoine Dailly , Sandip Das , Florent Foucaud , Harmender Gahlawat et al.
2022
Preprints, Working Papers, ... hal-03710812v2
Image document

Efficient Algorithms for Battleship

Loïc Crombez , Guilherme D da Fonseca , Yan Gérard
10th International Conference on Fun with Algorithms (FUN 2021), Jul 2021, Sicily, Italy
Conference papers hal-03559058v1
Image document

Spatial data Parallel Processing on GPGPU

Driss En-Nejjary
Emerging Technologies [cs.ET]. Université Clermont Auvergne, 2021. English. ⟨NNT : 2021UCFAC032⟩
Theses tel-03622529v1
Image document

Heterogeneous wireless networks coexistence techniques

Ali Mamadou Mamadou
Networking and Internet Architecture [cs.NI]. Université Clermont Auvergne, 2022. English. ⟨NNT : 2022UCFAC015⟩
Theses tel-03869618v1
Image document

A Meta-level Analysis of Online Anomaly Detectors

Antonios Ntroumpogiannis , Michail Giannoulis , Nikolaos Myrtakis , Vassilis Christophides , Eric Simon et al.
The VLDB Journal, 2023, ⟨10.1007/s00778-022-00773-x⟩
Journal articles hal-03940376v1

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit et al.
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event, Italy. pp.21-31, ⟨10.1145/3465084.3467917⟩
Conference papers hal-03346225v1

Robust tactical qualification decisions in flexible manufacturing systems

Antoine Perraudat , Stéphane Dauzère-Pérès , Philippe Vialletelle
Omega, 2022, 106, pp.102537. ⟨10.1016/j.omega.2021.102537⟩
Journal articles hal-03352370v1

Demonstrating Exception Handling in JaCaMo

Matteo Baldoni , Cristina Baroglio , Olivier Boissier , Roberto Micalizio , Stefano Tedeschi et al.
Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 12946, Springer International Publishing, pp 341-345, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85739-4_28⟩
Book sections emse-03360780v1
Image document

Utilisation de l'intelligence artificielle distribuée pour des simulations reproductibles de l'épidémie de Covid19

Benjamin A. Antunes , David R.C. Hill
Giseh 2022, Jul 2022, Saint-Etienne, France
Conference papers hal-03739929v1
Image document

Sequential calibration of material model using mixed-effects

Clément Laboulfie , Mathieu Balesdent , Loïc Brevault , François-Xavier Irisarri , Jean-François Maire et al.
25ème Congrès Français de Mécanique, Aug 2022, Nantes, France
Conference papers emse-03720034v1