315 citations
- KU LeuvenBE3 papers
- Universidade Estadual de Campinas (UNICAMP)BR3 papers
- Brazilian Society of Computational and Applied MathematicsBR2 papers
- IMECBE2 papers
- Institut de Mathématiques de BourgogneFR2 papers
- Université de BourgogneFR2 papers
- Centrum Wiskunde & InformaticaNL1 paper
- Damghan UniversityIR1 paper
- Delft University of TechnologyNL1 paper
- Eindhoven University of TechnologyNL1 paper
- Hospital de Clínicas da UnicampBR1 paper
- Institut de Mathématiques de Jussieu-Paris Rive GaucheFR1 paper
Showing 2023Show all
3 papers · 1 filter
cs.MA2023★ 1 cited
Safe and Robust Robot Behavior Planning via Constraint Programming
Jan Vermaelen, Tom Holvoet
The safe operation of an autonomous system is a complex endeavor, one pivotal element being its decision-making. Decision-making logic can formally be analyzed using model checking…
cs.ET2023★ 16 cited
Empirical study on the efficiency of Spiking Neural Networks with axonal delays, and algorithm-hardware benchmarking
Alberto Patiño-Saucedo, Amirreza Yousefzadeh, Guangzhi Tang +3
The role of axonal synaptic delays in the efficacy and performance of artificial neural networks has been largely unexplored. In step-based analog-valued neural network models (ANN…
eess.IV2023★ 26 cited
Evaluation of the potential of Near Infrared Hyperspectral Imaging for monitoring the invasive brown marmorated stink bug
Veronica Ferrari, Rosalba Calvini, Bas Boom +5
The brown marmorated stink bug (BMSB), Halyomorpha halys, is an invasive insect pest of global importance that damages several crops, compromising agri-food production. Field monit…