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⟩