Amaradio MN, Jansen G, Costanza J, Patanè A, Branduardi P, Porro D, Nicosia G., L-lactate production in engineered Saccharomyces cerevisiae using a multistage multiobjective automated design framework., Biotechnology and bioengineering, 2023,
Journal Article,
PUBLISHED
DOI
|
Benussi, Elias, Patane', Andrea, Wicker, Matthew, Laurenti, Luca, Kwiatkowska, Marta, Individual Fairness Guarantees for Neural Networks, International Joint Conferences on Artificial Intelligence Organization, 2022,
Conference Paper,
PUBLISHED
DOI
|
Ghiasi S, Patane A, Laurenti L, Gentili C, Scilingo EP, Greco A, Kwiatkowska M., Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States., IEEE journal of biomedical and health informatics, PP, 2022,
Journal Article,
PUBLISHED
DOI
|
Ojha V., Jansen G., Patane A., La Magna A., Romano V., Nicosia G., Design and characterization of effective solar cells, Energy Systems, 13, (2), 2022, p355 - 382, p355-382 ,
Journal Article,
PUBLISHED
DOI
|
Patane, Andrea and Blaas, Arno and Laurenti, Luca and Cardelli, Luca and Roberts, Stephen and Kwiatkowska, Marta, Adversarial robustness guarantees for gaussian processes, Journal of Machine Learning Research, 23, 2022,
Journal Article,
PUBLISHED
|
Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Paoletti, Nicola and Abate, Alessandro and Kwiatkowska, Marta, Certification of iterative predictions in Bayesian neural networks, Uncertainty in Artificial Intelligence, 2021, pp1713--1723 ,
Conference Paper,
PUBLISHED
|
Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Chen, Zhuotong and Zhang, Zheng and Kwiatkowska, Marta, Bayesian inference with certifiable adversarial robustness, International Conference on Artificial Intelligence and Statistics, 2021, pp2431--2439 ,
Conference Paper,
PUBLISHED
|
Wicker, Matthew and Laurenti, Luca and Patane, Andrea and Kwiatkowska, Marta, Probabilistic safety for bayesian neural networks, Conference on uncertainty in artificial intelligence, 2020, pp1198--1207 ,
Conference Paper,
PUBLISHED
|
Blaas, Arno and Patane, Andrea and Laurenti, Luca and Cardelli, Luca and Kwiatkowska, Marta and Roberts, Stephen, Adversarial robustness guarantees for classification with gaussian processes, International Conference on Artificial Intelligence and Statistics, 2020, pp3372--3382 ,
Conference Paper,
PUBLISHED
|
Polymenakos K., Laurenti L., Patane A., Calliess J.-P., Cardelli L., Kwiatkowska M., Abate A., Roberts S., Safety Guarantees for Iterative Predictions with Gaussian Processes, Proceedings of the IEEE Conference on Decision and Control, 2020-December, 2020, p3187 - 3193, p3187-3193 ,
Journal Article,
PUBLISHED
DOI
|
|