Risultati di ricerca
-
M. Andrao, F. Balducci, B. Breve, F. Cena, G. Desolda, V. Deufemia, C. Gena, M. Matera, A. Mattioli, et al.: “Understanding Concepts, Methods and Tools for End-User Control of Automations in Ecosystems of Smart Objects and Services.”
The continuously increasing number of connected objects and sensors is opening up the possibility of introducing automations in many domains to better support people in their activities. However, such automations to be effective should be under the...
https://phd.dii.unipi.it/pubblicazioni/item/6672-m-andrao,-f-balducci,-b-breve,-f-cena,-g-desolda,-v-deufemia,-c-gena,-m-matera,-a-matti-oli,-et-al-“understanding-concepts,-methods-and-tools-for-end-user-control-of-automations-in-ecosystems-of-smart-objects-and-services-”.html -
A. Mattioli, F. Paternò: “Understanding User Needs in Smart Homes and How to Fulfil Them.” International Symposium on End User Development. Cham: Springer Nature Switzerland, June 2023.
Smart homes are becoming a widespread reality given the increasingly available number of connected objects and sensors. However, it is still unclear what people expect from automations that are made possible by this technological evolution. In...
https://phd.dii.unipi.it/pubblicazioni/item/6671-a-mattioli,-f-paternò-“towards-explainable-automations-in-smart-homes-using-mobile-aug-mented-reality”-wwdd-is-eud-2023-workshops,-work-in-progress-demos-and-doctoral-consor-tium-at-is-eud-2023,-ceur-workshop-proceedings-vol-3408,-june-2023.html -
S. Vagaggini, D. Davalle, P. Nannipieri, L. Fanucci "Integration of Twin Models in UVM Verification IPs for Space Telecommunication Systems", IEEE Access
ABSTRACT In the dynamic fields of semiconductor design and digital system development, effective verification procedures are in high demand. In particular, functional verification is essential for space systems to guarantee mission success, prevent...
https://phd.dii.unipi.it/publications/item/6667-s-vagaggini,-d-davalle,-p-nannipieri,-l-fanucci-integration-of-twin-models-in-uvm-verification-ips-for-space-telecommunication-systems-,-ieee-access.html -
S. Vagaggini, N. Mazzali, L. Fanucci "Model Based UVM Verification Environment for HPE-O3K Optical Encoders", In 2023 Workshop on Simulation and EGSE for Space Programmes (SESP)
ABSTRACT - In recent years, optical communications have gained a foothold in satellite communications because of their high bandwidth data transmission capability and the capacity to cover much greater distances than radio systems. Recently, the...
https://phd.dii.unipi.it/publications/item/6666-s-vagaggini,-n-mazzali,-l-fanucci-model-based-uvm-verification-environment-for-hpe-o3k-optical-encoders-,-in-2023-workshop-on-simulation-and-egse-for-space-programmes-sesp.html -
S. Vagaggini, G. Benelli, D. Davalle, E. Pagani, R. Ciardi, L. Fanucci "IngeniArs IP Cores for on-board high-speed data interfaces", In 2023 European Data Handling & Data Processing Conference (EDHPC)
Abstract — This paper describes how different IP Cores for on-board high-speed data interfaces have been developed and verified by IngeniArs S.r.l. These are the CODECs and Routers implementing SpaceWire and SpaceFibre communication protocols, i.e.,...
https://phd.dii.unipi.it/publications/item/6665-s-vagaggini,-g-benelli,-d-davalle,-e-pagani,-r-ciardi,-l-fanucci-ingeniars-ip-cores-for-on-board-high-speed-data-interfaces-,-in-2023-european-data-handling-data-processing-conference-edhpc.html -
Improving the Efficiency of Software-Based Fault Protection Mechanisms with HUSTLE
Authors: N. Ferrante, L. Fanucci, F. Rossi, F. Terrosi, A. Bondavalli ABSTRACT To achieve confidence in safety-critical systems, requires among others to meet high requirements on online testing of computer systems, as dictated by safety standards such...
https://phd.dii.unipi.it/pubblicazioni/item/6662-improving-the-efficiency-of-software-based-fault-protection-mechanisms-with-hustle.html -
Improving the Efficiency of Software-Based Fault Protection Mechanisms with HUSTLE
Authors: N. Ferrante, L. Fanucci, F. Rossi, F. Terrosi, A. Bondavalli ABSTRACT To achieve confidence in safety-critical systems, requires among others to meet high requirements on online testing of computer systems, as dictated by safety standards such...
https://phd.dii.unipi.it/pubblicazioni/item/6663-improving-the-efficiency-of-software-based-fault-protection-mechanisms-with-hustle.html -
From Covid-19 detection to cancer grading: how AI is boosting clinical diagnostics and may improve treatment
A. Berti, R. Buongiorno, G. Carloni, et al., 4th National Conference on Artificial Intelligence, CINI Labs AIIS, May 2024.
https://phd.dii.unipi.it/pubblicazioni/item/6661-from-covid-19-detection-to-cancer-grading-how-ai-is-boosting-clinical-diagnostics-and-may-improve-treatment.html -
Data and System Traceability for Transparent AI in Medical Imaging
S. Colantonio, A. Berti, G. Carloni et al. 32nd Symposium On Advanced Database Systems (SEBD) 2024, May 2024.
https://phd.dii.unipi.it/pubblicazioni/item/6660-data-and-system-traceability-for-transparent-ai-in-medical-imaging.html -
CROCODILE: Causality aids RObustness via COntrastive DIsentangled LEarning
Deep learning image classifiers often struggle with domain shift, leading to significant performance degradation in real-world applications. In this paper, we introduce our CROCODILE framework, showing how tools from causality can foster a model’s...
https://phd.dii.unipi.it/pubblicazioni/item/6659-https-doi-org-10-1007-978-3-031-73158-7_10.html -
CROCODILE: Causality aids RObustness via COntrastive DIsentangled LEarning
Deep learning image classifiers often struggle with domain shift, leading to significant performance degradation in real-world applications. In this paper, we introduce our CROCODILE framework, showing how tools from causality can foster a model’s...
https://phd.dii.unipi.it/pubblicazioni/item/6658-https-doi-org-10-1007-978-3-031-73158-7_10.html -
CROCODILE: Causality aids RObustness via COntrastive DIsentangled LEarning
Deep learning image classifiers often struggle with domain shift, leading to significant performance degradation in real-world applications. In this paper, we introduce our CROCODILE framework, showing how tools from causality can foster a model’s...
https://phd.dii.unipi.it/pubblicazioni/item/6657-https-doi-org-10-1007-978-3-031-73158-7_10.html -
Connectivity-Inspired Network for Context-Aware Recognition
The aim of this paper is threefold. We inform the AI practitioner about the human visual system with an extensive literature review; we propose a novel biologically motivated neural network for image classification; and, finally, we present a new...
https://phd.dii.unipi.it/pubblicazioni/item/6655-https-arxiv-org-abs-2409-04360.html -
Connectivity-Inspired Network for Context-Aware Recognition
The aim of this paper is threefold. We inform the AI practitioner about the human visual system with an extensive literature review; we propose a novel biologically motivated neural network for image classification; and, finally, we present a new...
https://phd.dii.unipi.it/pubblicazioni/item/6656-https-arxiv-org-abs-2409-04360.html -
Berti A., et al. "A survey on good AI: User-Centric AI Design in Healthcare"
Conferenza: Italian Workshop on Neural Networks (WIRN) 2024 Date: 05-07/06/2024 Autori: Andrea Berti (1,2), Valentina Giannini (3,4), Simone Mazzetti (3), Maria Antonietta Pascali (2), Daniele Regge (3), Sara Colantonio (2) Affiliazioni: 1) Department...
https://phd.dii.unipi.it/publications/item/6652-berti-a-,-et-al-a-survey-on-good-ai-user-centric-ai-design-in-healthcare.html -
Berti A., et al. "An explainable-by-design end-to-end AI framework based on prototypical part learning for lesion detection and classification in DBT images"
Journal: Computer Methods and Programs in Biomedicine Autori: Andrea Berti (a, b, c), Camilla Scapicchio (b, d), Chiara Iacconi (e), Charlotte Marguerite Lucille Trombadori (f), Maria Evelina Fantacci (b, d), Alessandra Retico (b), Sara Colantonio (a)...
https://phd.dii.unipi.it/publications/item/6651-berti-a-,-et-al-an-explainable-by-design-end-to-end-ai-framework-based-on-prototypical-part-learning-for-lesion-detection-and-classification-in-dbt-images.html -
Carloni G., Berti A., Colantonio S. "The role of causality in explainable artificial intelligence"
Journal: Wires Data Mining & Knowledge Discovery Autori: Gianluca Carloni (1,2), Andrea Berti (1,2), Sara Colantonio (1) Affiliazioni: (1): Institute of Information Science and Technologies (ISTI), National Research Council of Italy (CNR), Pisa, Italy....
https://phd.dii.unipi.it/publications/item/6650-carloni-g-,-berti-a-,-colantonio-s-the-role-of-causality-in-explainable-artificial-intelligence.html -
Energy Harvest With WAVE. At Sea Trials and Preliminary Results - L. Bazzarello, A. Collevecchio, D. Cosimo, D. Di Vito, G. Gillini, G. Antonelli, A. Caffaz and A. Traverso - IEEE International Workshop on Metrology for the Sea, 2024
The ability of Maritime Unmanned Systems (MUS) to perform certain tasks is often closely linked to their endurance. This article presents experimental results on a vehicle equipped with a wing system, designed to exploit wave motion for propulsive...
https://phd.dii.unipi.it/pubblicazioni/item/6647-energy-harvest-with-wave-at-sea-trials-and-preliminary-results-l-bazzarello,-a-collevecchio,-d-cosimo,-d-di-vito,-g-gillini,-g-antonelli,-a-caffaz-and-a-traverso-ieee-international-workshop-on-metrology-for-the-sea,-2024.html -
Comparative Analysis of Throughput Maximization Strategies in Underwater Acoustic Networks: Results from At-Sea Experiments - D. Cosimo, A. Montanari, D.S. Terracciano, L. Bazzarello, R. Costanzi, F. Campagnaro and M. Zorzi - IEEE International Works
This study explores the performance of different modulation schemes for underwater acoustic communications, which are crucial for efficient data exchange in Uncrewed Underwater Vehicles (UUV) used in various maritime applications. We conducted sea...
https://phd.dii.unipi.it/pubblicazioni/item/6646-comparative-analysis-of-throughput-maximization-strategies-in-underwater-acoustic-networks-results-from-at-sea-experiments-d-cosimo,-a-montanari,-d-s-terracciano,-l-bazzarello,-r-costanzi,-f-campagnaro-and-m-zorzi-ieee-international-works.html -
Experimenting Various JANUS Frequency Bands with the Subsea Software-Defined Acoustic Modem - A. Montanari, F. Marin, V. Cimino, D. Spinosa, F. Donegà, D. Cosimo, L. Bazzarello, D. Natale, F. Campagnaro and M. Zorzi; Seventh Underwater Communications
The use of traditional commercial acoustic modems is typically confined to Oil & Gas and military scenarios, as their high power consumption and steep cost make them inaccessible for many other applications, such as aquaculture, diver commu- nication...
https://phd.dii.unipi.it/pubblicazioni/item/6644-experimenting-various-janus-frequency-bands-with-the-subsea-software-defined-acoustic-modem-a-montanari,-f-marin,-v-cimino,-d-spinosa,-f-donegà,-d-cosimo,-l-bazzarello,-d-natale,-f-campagnaro-and-m-zorzi-seventh-underwater-communications.html
News
- PhD @ Nanyang Technical University (NTU) & University of Pisa (UniPi)
- Visiting students and scholars mobility agreement with the Academy of Advanced Interdisciplinary Research, Xidian, Xi'an, P.R. China
- Agreement for Double Degree Program with Beihang University, Beijing, P.R. China
- A Michele Pierallini il premio per la migliore tesi di dottorato dell'Università di Pisa
PhD Course News
- CORSO ANNULLATO - Dr. Franco Mazzanti, ISTI-CNR, Pisa, Italy, “Hands on Model Checking”
- Prof. Librino Federico, Istituto di Informatica e Telematica del CNR – Pisa - Italy, "Probabilistic Models for Networks: Random Graphs and Stochastic Geometry", 6,13,20,27 May 2026
- Dr. Siphesihle Sithungu, University of Johannesburg – South Africa, "Generative Models for Intrusion Detection and Cybersecurity Analytics", 13-17 April 2026
- Prof. Giovanni L.C. Masala, Dr. Ioanna Giorgi , University of Kent, School of Computing - UK, "Cognitive models in robotics", 24,27 March 2026
- MODIFICA INIZIO CORSO - Prof. Volker Bertram, DNV – Det Norske Veritas, Hamburg, Germany, "Advanced Digital Technology in Maritime Applications", 24-27 March 2026
