CARRARO, ALBERTO
CARRARO, ALBERTO
Università di Padova
(Un)Decidability for History Preserving True Concurrent Logics
2021 Baldan, Paolo; Carraro, Alberto; Padoan, Tommaso
A Processing Method for Adhesive Droplets on Images of Water-sensitive Papers
2023 Gao, Qi; Sozzi, Marco; Carraro, Alberto; Zanchin, Alessandro; Bettucci, Francesco; Marinello, Francesco
A Variable-rate Spraying System Based on RGB-depth and Object Detection
2024 Gao, Qi; Carraro, Alberto; Marinello, Francesco; Sozzi, Marco
A vision-based dietary survey and assessment system for college students in China
2025 Gao, Zicheng; Yuan, Xufeng; Lei, Jie; Guo, Hao; Marinello, Francesco; Guerrini, Lorenzo; Carraro, Alberto
Convolutional Neural Networks for the Detection of Esca Disease Complex in Asymptomatic Grapevine Leaves
2024 Carraro, Alberto; Saurio, Gaetano; López-Maestresalas, Ainara; Scardapane, Simone; Marinello, Francesco
Indicators to Digitization Footprint and How to Get Digitization Footprint (Part 2)
2024 Huang, Q.; Wang, X.; Gao, Q.; Carraro, A.; Sozzi, M.; Marinello, F.
Intransitive Non-Interference by Unfolding
2015 Baldan, Paolo; Francesco, Burato; Alberto, Carraro
Non-interference by Unfolding
2014 Baldan, Paolo; Alberto, Carraro
The Segment Anything Model (SAM) for accelerating the smart farming revolution
2023 Carraro, Alberto; Sozzi, Marco; Marinello, Francesco
Towards rigorous dataset quality standards for deep learning tasks in precision agriculture: A case study exploration
2025 Carraro, Alberto; Saurio, Gaetano; Marinello, Francesco
Working times classification through CAN-BUS data analysis
2023 Bettucci, Francesco; Sozzi, Marco; Carraro, Alberto; Gao, Qi; Marinello, Francesco; Sartori, Luigi