Pubblicazioni
-
Bartolini, Andrea; Beneventi, Francesco; Borghesi, Andrea; Cesarini, Daniele; Libri, Antonio; Benini, Luca; Cavazzoni, Carlo, Paving the Way Toward Energy-Aware and Automated Datacentre, in: Proceedings of the 48th International Conference on Parallel Processing, 2019, pp. 1 - 8 (atti di: International Conference on Parallel Processing (ICPP), Kyoto, Japan, August 05 - 08, 2019) [Contributo in Atti di convegno]
-
Borghesi, Andrea; Bartolini, Andrea; Lombardi, Michele; Milano, Michela; Benini, Luca, Anomaly Detection Using Autoencoders in High Performance Computing Systems, in: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019, 33, pp. 9428 - 9433 (atti di: Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, US, 28 Jan - 02 Feb 2019) [Contributo in Atti di convegno]
-
Francia, Matteo; Gallinucci, Enrico; Golfarelli, Matteo, Social BI to understand the debate on vaccines on the Web and social media: unraveling the anti-, free, and pro-vax communities in Italy, «SOCIAL NETWORK ANALYSIS AND MINING», 2019, 9, pp. 1 - 16 [Articolo in rivista]
-
Francia Matteo; Gallinucci Enrico; Vitali Federico, Map-matching on big data: A distributed and efficient algorithm with a hidden Markov model, in: Proceedings of the 42nd INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE SYSTEMS (miproBIS), 2019, pp. 1238 - 1243 (atti di: 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2019, Opatija, Croatia, 22 maggio 2019) [Contributo in Atti di convegno]
-
Enrico Gallinucci; Matteo Golfarelli, SparkTune: tuning Spark SQL through query cost modeling, in: Advances in Database Technology - EDBT 2019, 22th International Conference on Extending Database Technology, Proceedings, OpenProceedings.org, 2019, pp. 546 - 549 (atti di: 22nd International Conference on Extending Database Technology (EDBT), Lisbon, Portugal, March 26-29, 2019) [Contributo in Atti di convegno]
-
Bevilacqua, Sara and da Costa Pereira, C'elia and Guerci, Eric and Precioso, Fr'ed'eric and Sartori, Claudio, Analysing the Impact of Rationality on the Italian Electricity Market, in: Modeling Decisions for Artificial Intelligence, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, pp. 236 - 247 (atti di: Modeling Decisions for Artificial Intelligence. MDAI 2019., Milano, Italy, September 4–6, 2019) [Contributo in Atti di convegno]
-
Roccetti, M., Delnevo, G., Casini, L., Cappiello, G., Is bigger always better? A controversial journey to the center of machine learning design, with uses and misuses of big data for predicting water meter failures, «JOURNAL OF BIG DATA», 2019, 6, pp. 1 - 23 [Articolo in rivista] Open Access
-
Galteri L.; Ferrari C.; Lisanti G.; Berretti S.; Del Bimbo A., Deep 3D morphable model refinement via progressive growing of conditional Generative Adversarial Networks, «COMPUTER VISION AND IMAGE UNDERSTANDING», 2019, 185, pp. 31 - 42 [Articolo in rivista] Open Access
-
Galteri L.; Ferrari C.; Lisanti G.; Berretti S.; Del Bimbo A., Coarse to fine 3D face reconstruction from single image, in: Proceedings of the 14th IEEE International Conference on Automatic Face and Gesture Recognition, 2019, pp. 1 - 1 (atti di: IEEE International Conference on Automatic Face and Gesture Recognition, Lille (France), 14 May 2019 through 18 May 2019) [Contributo in Atti di convegno]
-
Delnevo G.; Di Lena P.; Mirri S.; Prandi C.; Salomoni P., On combining Big Data and machine learning to support eco-driving behaviours, «JOURNAL OF BIG DATA», 2019, 6, pp. 1 - 15 [Articolo in rivista] Open Access
-
Furini M.; Mirri S.; Montangero M., Gamification and Accessibility, in: 2019 16th IEEE Annual Consumer Communications and Networking Conference, CCNC 2019, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 1 - 5 (atti di: 16th IEEE Annual Consumer Communications and Networking Conference, CCNC 2019, usa, 2019) [Contributo in Atti di convegno]
-
Landi, G; Piccolomini, E Loli; Nagy, J, Nonlinear conjugate gradient method for spectral tomosynthesis, «INVERSE PROBLEMS», 2019, 35, pp. 1 - 16 [Articolo in rivista] Open Access
-
Marzolla, Moreno; Mirandola, Raffaela, Gender balance in computer science and engineering in Italian universities, in: Proceedings of the 13th European Conference on Software Architecture - Volume 2, New York, ACM, 2019, pp. 82 - 87 (atti di: European Conference on Software Architecture, Paris, September 09 - 13, 2019) [Contributo in Atti di convegno]
-
Sacerdoti Coen C., A Plugin to Export Coq Libraries to XML, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11617, pp. 243 - 257 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contributo in Atti di convegno]
-
Muller D.; Rabe F.; Sacerdoti Coen C., The Coq Library as a Theory Graph, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11617, pp. 171 - 186 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contributo in Atti di convegno]
-
Condoluci A.; Kohlhase M.; Muller D.; Rabe F.; Sacerdoti Coen C.; Wenzel M., Relational Data Across Mathematical Libraries, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11617, pp. 61 - 76 (atti di: 12th International Conference on Intelligent Computer Mathematics, CICM 2019, cze, 2019) [Contributo in Atti di convegno]
-
Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen, Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings, Basel, Springer Verlag, 2019, pp. 317 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). [Curatela]
-
Guidi F.; Sacerdoti Coen C.; Tassi E., Implementing type theory in higher order constraint logic programming, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2019, nd, pp. 1 - 26 [Articolo in rivista]
-
Andrea Asperti, Variational Autoencoders and the Variable Collapse Phenomenon, «SENSORS & TRANSDUCERS», 2019, 234, pp. 1 - 8 [Articolo in rivista] Open Access
-
Jenny Bulgarelli, Marcella Tazzari, Anna M. Granato, Laura Ridolfi, Serena Maiocchi, Francesco de Rosa, Massimiliano Petrini, Elena Pancisi, Giorgia Gentili, Barbara Vergani, Filippo Piccinini, Antonella Carbonaro, Biagio E. Leone, Giovanni Foschi, Valentina Ancarani, Massimo Framarini and Massimo Guidoboni, Dendritic cell vaccination in metastatic melanoma turns “non-T cell inflamed” into “T-cell inflamed” tumors, «FRONTIERS IN IMMUNOLOGY», 2019, 10, pp. 2353 - 2373 [Articolo in rivista] Open Access