Loading...
Derniers dépôts
-
Eoghan O'Riordan, Andrii Dudka, Dimitri Galayko, Philippe Basset, Orla Feely, et al.. Capacitive Energy Conversion With Circuits Implementing a Rectangular Charge-Voltage Cycle Part 2: Electromechanical and Nonlinear Analysis. IEEE Transactions on Circuits and Systems I: Regular Papers, 2015, 62 (11), pp.2664 - 2673. ⟨10.1109/TCSI.2015.2451913⟩. ⟨hal-01521579⟩
-
Konstantin Dietrich, Diederick Vermetten, Carola Doerr, Pascal Kerschke. Impact of Training Instance Selection on Automated Algorithm Selection Models for Numerical Black-box Optimization. GECCO '24: Proceedings of the Genetic and Evolutionary Computation Conference, ACM, Jul 2024, Melbourne, Australia. ⟨10.1145/3638529.3654100⟩. ⟨hal-04580570⟩
-
Anissa Kheireddine, Étienne Renault, Souheib Baarir. Towards Better Heuristics for Solving Bounded Model Checking Problems. 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), Oct 2021, Montpellier (Virtual Conference), France. pp.7:1--7:11, ⟨10.4230/LIPIcs.CP.2021.7⟩. ⟨hal-04580372⟩
-
Fernando Molano Ortiz, Abhishek Kumar Mishra, F. D. de M. Silva, Nadjib Achir, Aline Carneiro Viana, et al.. Collecte de traces WiFi publiques: de la protection de la vie privée à l'analyse de trajectoires. CoRes 2024 - 9èmes Rencontres Francophones sur la Conception de Protocoles, l'Évaluation de Performance et l'Expérimentation des Réseaux de Communication, May 2024, Saint-Briac-sur-Mer, France. pp.1-4. ⟨hal-04568193⟩