Abstract: Artificial neural networks (ANNs) rely significantly on activation functions for optimal performance. Traditional activation functions such as ReLU and Sigmoid are commonly used. However, ...

Abstract: Verifying the robustness of neural network outputs to perturbations in inputs is a key criterion for integrating them as part of any commercial or safety-critical application. The Lipschitz ...

Throughout human history, epidemics have been a constant presence. Understanding their dynamics is essential to predict scenarios and make substantiated decisions. Mathematical models are powerful ...