Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service
"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS
Ergebnis verändern
- Publikationstyp
Publikationstyp- Thema
- erschienen in
- Verlag
- Geographic terms
-
1
von Alameda-Pineda, Xavier ; Addlesee, Angus ; Hernández García, Daniel ; et al.
International Journal of Social Robotics. 17(12):3047-3068
-
2
von Mombelli, Aurélien ; Deroussi, Laurent ; Grangeon, Nathalie ; et al.
ROADEF 2026 ; https://hal.science/hal-05534987 ; ROADEF 2026, Université de Tours, Feb 2026, Tours, France
Schlagworte: Tâches sécables; Temps de réglage; Machines parallèles; [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
-
3
von Alameda-Pineda, Xavier ; Addlesee, Angus ; García, Daniel Hernández ; et al.
Schlagworte: Robotics; Artificial Intelligence
-
4
von Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2021 IEEE 33rd International Conference on. :632-639 Nov, 2021
-
5
von Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2021 IEEE 33rd International Conference on. :404-411 Nov, 2021
-
6
von Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2020 IEEE 32nd International Conference on. :137-144 Nov, 2020
-
7
von Araujo, Thiago, G. ; Zheng, Zhifei ; Py, Matthieu ; et al.
Journées Francophones de Programmation par Contraintes (JFPC 2025) ; https://hal.science/hal-05208095 ; Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Schlagworte: MaxSAT; Métaheuristiques; Énergie; SALBP; Ordonnancement MaxSAT; [INFO]Computer Science [cs]
-
8
von Grangeon, Nathalie ; Deroussi, Laurent ; Py, Matthieu ; et al.
https://roadef2025.org/wp-content/uploads/2025/02/ROADEF2025_resumes.pdf ; ROADEF 2025 ; https://hal.science/hal-04968993 ; ROADEF 2025, Ecole des Ponts et Chaussées, Feb 2025, Champs sur Marne, France.
Schlagworte: Scheduling SALBP Power Peak Minimization Metaheuristics Energy; Scheduling; SALBP; Power Peak Minimization; Metaheuristics; Energy; [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
-
9
von Mombelli, Aurelien ; Py, Matthieu ; Grangeon, Nathalie ; et al.
https://roadef2025.org/wp-content/uploads/2025/02/ROADEF2025_resumes.pdf ; ROADEF 2025 ; https://hal.science/hal-04968983 ; ROADEF 2025, Ecole nationale des Ponts et Chaussées, Feb 2025, Champs sur marne, France.
Schlagworte: simulation AGV atelier flexible FMS calculs parallèles partitionnement; simulation; AGV; atelier flexible; FMS; calculs parallèles; partitionnement; [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
10
von Gatt, Hector ; Py, Matthieu ; Deroussi, L ; et al.
ROADEF 2024 :25ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision ; https://hal.science/hal-04500815 ; ROADEF 2024 :25ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Laboratoire Modélisation, Information & Systèmes (MIS); Université de Picardie Jules Verne (UPJV), Mar 2024, Amiens, France
Schlagworte: Véhicule Autonome Guidé (AGV) Routage Système Logistique Productivité; Routage; Système Logistique; Productivité; [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
11
von Py, Matthieu ; Tuyaba, Arnauld ; Deroussi, Laurent ; et al.
15th Pragmatics of SAT international workshop, a workshop of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024); https://hal.science/hal-04778733; 15th Pragmatics of SAT international workshop, a workshop of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), 2024, 978-3-95977-334-8
Schlagworte: Optimization Problem; Industry 4.0; Assembly Line Balancing; SALBP; SALB3PM; Integer Linear Programming; Constraint Programming; SAT; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
-
12
von William Bellanger ; Matthieu Peurois ; Laurent Connan ; et al.
BMC Public Health, Vol 23, Iss 1, Pp 1-12 (2023)
Schlagworte: Physical activity prescription; Cardiovascular risk; Pedometer; Primary care; Public aspects of medicine; RA1-1270
-
13
von Py, Matthieu ; Keskes, Mohamed, Amir ; Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) ; et al.
First International Workshop on Discrete Optimization with Soft Constraints, Held in conjunction with 30th International Conference on Principles and Practice of Constraint Programming (CP) ; https://hal.science/hal-04778738 ; First International Workshop on Discrete Optimization with Soft Constraints, Held in conjunction with 30th International Conference on Principles and Practice of Constraint Programming (CP), 30th International Conference on Principles and Practice of Constraint Programming (CP 2024) (307), 2024, ⟨10.4230/LIPIcs.Soft⟩
Schlagworte: Operations Research; Educational Scheduling; University Timetable Management; Case Study; Constraint Programming; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
-
14
von Tuyaba, Arnauld ; Py, Matthieu ; Grangeon, Nathalie ; et al.
https://roadef2024.sciencesconf.org/510456/document ; ROADEF 2024 ; https://hal.science/hal-04969023 ; ROADEF 2024, Université Picardie Jules Vernes, Mar 2024, Amiens, France. pp.503 - 514.
Schlagworte: circuits courts alimentaires tournée de véhicule mutualisation; circuits courts alimentaires; tournée de véhicule; mutualisation; [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]
-
15
von Périer, Matthieu ; Seret, Gabriel ; Morelle, Jean François ; et al.
In Annales de cardiologie et d'angéiologie December 2021 70(6):416-424
-
16
von Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal ; et al.
Theory and Applications of Satisfiability Testing – SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. 12831:488-498
-
17
von Py, Matthieu ; Cherif, Mohamed, Sami ; Habet, Djamal ; et al.
International Joint Conferences on Artificial Intelligence ; https://hal.science/hal-04318075 ; International Joint Conferences on Artificial Intelligence, Aug 2023, Macao, China
Schlagworte: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
18
von Py, Matthieu ; Cherif, Mohamed, Sami ; Habet, Djamal ; et al.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence ; International Joint Conference on Artificial Intelligence ; https://hal.science/hal-04318066 ; International Joint Conference on Artificial Intelligence, Aug 2023, Macao, China. ⟨10.24963/ijcai.2023/787⟩
Schlagworte: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
19
von Py, Matthieu ; Tuyaba, Arnauld ; Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) ; et al.
Journées Francophones de Programmation par Contraintes (JFPC) ; https://hal.science/hal-04318091 ; Journées Francophones de Programmation par Contraintes (JFPC), Jul 2023, Strasbourg, France
Schlagworte: [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
20
von Py, Matthieu ; Tuyaba, Arnauld ; Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) ; et al.
24ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision- ROADEF 2023; https://hal.science/hal-04318082; 24ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision- ROADEF 2023, Feb 2023, Rennes, France
Schlagworte: SALB3PM programmation par contraintes problème SAT; SALB3PM; programmation par contraintes; problème SAT; [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
21
von Cherif, Mohamed, Sami ; Habet, Djamal ; Py, Matthieu ; et al.
Journées Francophones de Programmation par Contraintes (JFPC) ; https://amu.hal.science/hal-03714732 ; Journées Francophones de Programmation par Contraintes (JFPC), Jun 2022, Saint-Étienne, France
Schlagworte: Preuves; Résolution sans croisement; Max-résolution; Max-SAT; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
22
von Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal ; et al.
JFPC 2022 ; https://amu.hal.science/hal-03737733 ; JFPC 2022, Jun 2022, Saint-Etienne, France
Schlagworte: [INFO]Computer Science [cs]
-
23
von Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal ; et al.
JFPC 2022 ; https://amu.hal.science/hal-03737729 ; JFPC 2022, Jun 2022, Saint-Etienne, France
Schlagworte: Optimisation Combinatoire; Problème Max-SAT; Problème SAT; Certificats d'Optimalité; [INFO]Computer Science [cs]
-
24
von Py, Matthieu ; Cherif, Mohamed Sami ; Habet, Djamal ; et al.
JFPC 2022 ; https://amu.hal.science/hal-03737731 ; JFPC 2022, Jun 2022, Saint-Etienne, France
Schlagworte: Max-SAT; Résolution; Max-Réfutation; [INFO]Computer Science [cs]
-
25
von Cherif, Mohamed, Sami ; Habet, Djamal ; Py, Matthieu ; et al.
28th International Conference on Principles and Practice of Constraint Programming (CP 2022); https://amu.hal.science/hal-03979371; 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Jul 2022, Haifa, Israel. ⟨10.4230/LIPIcs.CP.2022.12⟩
Schlagworte: 2012 ACM Subject Classification Theory of computation → Proof theory phrases Satisfiability; Satisfiability; Proofs; Max-SAT resolution; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag