Andrea Patane

Robustness Quantification for Classification with Gaussian Processes pdf

Luca Cardelli, Stephen J. Roberts, Arno Blaas, 2019, ArXiv.

Robustness Guarantees for Bayesian Inference with Gaussian Processes pdf

Luca Cardelli, Luca Laurenti, Andrea Patane, 2019, AAAI.

Automated Recognition of Sleep Arousal Using Multimodal and Personalized Deep Ensembles of Neural Networks

Enzo Pasquale Scilingo, Andrea Patane, Shadi Ghiasi, 2018, 2018 Computing in Cardiology Conference (CinC).

Statistical Guarantees for the Robustness of Bayesian Neural Networks

Luca Cardelli, Matthew Wicker, Nicola Paoletti, 2019, IJCAI.

Pareto Optimal Design for Synthetic Biology

Giuseppe Nicosia, Andrea Patane, Jole Costanza, 2015, IEEE Transactions on Biomedical Circuits and Systems.

A multi-objective clonal selection algorithm for analog circuit and solar cell design

Giuseppe Nicosia, Andrea Patane, Vittorio Romano, 2015, 2015 International Workshop on Artificial Immune Systems (AIS).

Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques

Nicola Paoletti, Andrea Patane, Alexandru Mereacre, 2015, HSB.

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers

Chris Barker, Nicola Paoletti, Andrea Patane, 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).

Certification of Iterative Predictions in Bayesian Neural Networks

Matthew Wicker, Nicola Paoletti, Alessandro Abate, 2021, UAI.

Adversarial Robustness Guarantees for Gaussian Processes pdf

Luca Cardelli, Stephen Roberts, Arno Blaas, 2021, ArXiv.

Bayesian Inference with Certifiable Adversarial Robustness

Matthew Wicker, Zheng Zhang, Luca Laurenti, 2021, AISTATS.