-
1
-
2تقرير
المؤلفون: Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Software Engineering
الوصول الحر: http://arxiv.org/abs/2005.06750Test
-
3تقرير
المؤلفون: Guidotti, Dario, Leofante, Francesco, Pulina, Luca, Tacchella, Armando
مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Neural and Evolutionary Computing
الوصول الحر: http://arxiv.org/abs/2003.07636Test
-
4مؤتمر
المؤلفون: Eramo, Romina, Fanni, Tiziana, Guidotti, Dario, Pandolfo, Laura, Pulina, Luca, Zedda, Katiuscia
مصطلحات موضوعية: Trustworthy AI, Neural Networks, Formal Verification, Automotive
العلاقة: info:eu-repo/grantAgreement/EC/H2020/101007350/; https://zenodo.org/record/7915609Test; https://doi.org/10.5281/zenodo.7915609Test; oai:zenodo.org:7915609
الإتاحة: https://doi.org/10.5281/zenodo.7915609Test
https://doi.org/10.5281/zenodo.7915608Test
https://zenodo.org/record/7915609Test -
5تقرير
-
6تقرير
مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Learning
الوصول الحر: http://arxiv.org/abs/1805.09938Test
-
7تقرير
المؤلفون: Korneev, Svyatoslav, Narodytska, Nina, Pulina, Luca, Tacchella, Armando, Bjorner, Nikolaj, Sagiv, Mooly
مصطلحات موضوعية: Computer Science - Computer Vision and Pattern Recognition
الوصول الحر: http://arxiv.org/abs/1802.08795Test
-
8تقرير
المؤلفون: Narizzano, Massimo, Pulina, Luca, Tacchella, Armando, Vuotto, Simone
مصطلحات موضوعية: Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/1712.04162Test
-
9دورية أكاديمية
المؤلفون: Guidotti, Dario, Pandolfo, Laura, Pulina, Luca
المصدر: Information
مصطلحات موضوعية: neural networks, predictive maintenance, trustworthy AI, formal verification
العلاقة: info:eu-repo/grantAgreement/EC/H2020/101007311/; https://zenodo.org/communities/imoco4e-projectTest; https://zenodo.org/record/8158528Test; https://doi.org/10.3390/info14070397Test; oai:zenodo.org:8158528
-
10تقرير
المؤلفون: Maratea, Marco, Pulina, Luca, Ricca, Francesco
مصطلحات موضوعية: Computer Science - Artificial Intelligence
الوصول الحر: http://arxiv.org/abs/1405.0876Test