Pubblicazioni

  • Donatiello, Lorenzo; Marfia, Gustavo, Leveraging on Mobility Models for Sensor Network Lifetime Modeling, in: Proceedings of the 14th ACM International Symposium on Mobility Management and Wireless Access, s.l, ACM new york, 2016, pp. 155 - 162 (atti di: International Symposium on Mobile Management and Wireless Access, Malta, November 13-17 , 2016) [Contributo in Atti di convegno]

  • Roccetti, Marco; Salomoni, Paola; Prandi, Catia; Marfia, Gustavo; Montagnani, M.; Gningaye, L., Understanding Crohn's disease patients reaction to infliximab from facebook: A medical perspective, in: Proceedings of 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, Los Alamitos, CA, USA, IEEE Computer Society, 2016, pp. 1007 - 1010 (atti di: 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, San Francisco, CA, USA, 18-21 August 2016) [Contributo in Atti di convegno]

  • Maniezzo, Vittorio; Boschetti, Marco; Gutjahr, Walter, Stochastic real world warehouse premarshalling, in: Matheuristics 2016 - Proceedings of the Sixth International Workshop on Model-based Metaheuristics, Bruxelles, IRIDIA – Technical Report Series, 2016, TR/IRIDIA/2016-007, pp. 111 - 114 (atti di: Matheuristics 2016, Bruxelles, September 2016) [Contributo in Atti di convegno]

  • Montori, Federico; Borghetti, Alberto; Napolitano, Fabio, A co-simulation platform for the analysis of the impact of electromobility scenarios on the urban distribution network, in: 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a Better Tomorrow, RTSI 2016, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 1 - 6 (atti di: 2nd IEEE International Forum on Research and Technologies for Society and Industry Leveraging a Better Tomorrow, RTSI 2016, Bologna, Italy, 2016) [Contributo in Atti di convegno]

  • Montori, Federico; Bedogni, Luca; Di Chiappari, Alain; Bononi, Luciano, SenSquare: A mobile crowdsensing architecture for smart cities, in: 2016 IEEE 3rd World Forum on Internet of Things, WF-IoT 2016, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 536 - 541 (atti di: 3rd IEEE World Forum on Internet of Things, WF-IoT 2016, Reston, USA, 2016) [Contributo in Atti di convegno]

  • Tagliavini, Giuseppe; Marongiu, Andrea; Rossi, Davide; Benini, Luca, Always-on motion detection with application-level error control on a near-threshold approximate computing platform, in: 2016 IEEE International Conference on Electronics, Circuits and Systems, ICECS 2016, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 552 - 555 (atti di: 23rd IEEE International Conference on Electronics, Circuits and Systems, ICECS 2016, mco, 2016) [Contributo in Atti di convegno]

  • Melis, Andrea; Mirri, Silvia; Prandi, Catia; Prandini, Marco; Salomoni, Paola, A microservice-based architecture for the development of accessible, crowdsensing-based mobility platforms, in: Proceedings - 2016 International Conference on Collaboration Technologies and Systems, CTS 2016, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 498 - 505 (atti di: 2016 International Conference on Collaboration Technologies and Systems, CTS 2016, The Florida Hotel and Conference Center, usa, 2016) [Contributo in Atti di convegno]

  • Poggi, Matteo; Mattoccia, Stefano, A wearable mobility aid for the visually Impaired based on embedded 3D vision and deep learning, in: Proceedings - IEEE Symposium on Computers and Communications, Piscataway, NJ, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 208 - 213 (atti di: First IEEE Workshop on ICT Solutions for eHealth (IEEE ICTS4eHealth 2016) in conjunction with the Twenty-First IEEE Symposium on Computers and Communications, Messina, June 27-30, 2016) [Contributo in Atti di convegno]

  • Dunchev, Tsvetan; Sacerdoti Coen, Claudio; Tassi, Enrico, Implementing HOL in an higher order logic programming language, in: ACM International Conference Proceeding Series, New York, NY, USA, Association for Computing Machinery, 2016, 23-, pp. 1 - 10 (atti di: 11th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, 23/06/2016) [Contributo in Atti di convegno]

  • Bridi, Thomas; Lombardi, Michele; Bartolini, Andrea; Benini, Luca; Milano, Michela, DARDIS: Distributed and randomized DIspatching and scheduling, in: Frontiers in Artificial Intelligence and Applications, ;Nieuwe Hemweg 6B, IOS Press, 2016, 285, pp. 1598 - 1599 (atti di: 22nd European Conference on Artificial Intelligence, ECAI 2016, nld, 2016) [Contributo in Atti di convegno]

  • Bridi, Thomas; Lombardi, Michele; Bartolini, Andrea; Benini, Luca; Milano, Michela, DARDIS: Distributed and randomized dispatching and scheduling, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2016, 10037, pp. 493 - 507 (atti di: 15th International Conference on Italian Association for Artificial Intelligence, AIIA 2016, ita, 2016) [Contributo in Atti di convegno]

  • Lomonaco, Vincenzo; Maltoni, Davide, Comparing Incremental Learning Strategies for Convolutional Neural Networks, in: IAPR Workshop on Artificial Neural Networks in Pattern Recognition (ANNPR), Springer Verlag, 2016, 9896, pp. 175 - 184 (atti di: 7th IAPR TC3 Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2016, deu, 2016) [Contributo in Atti di convegno]

  • Maltoni, Davide; Lomonaco, Vincenzo, Semi-supervised Tuning from Temporal Coherence, in: International Conference on Pattern Recognition (ICPR), 2016, pp. 2509 - 2514 (atti di: 2016 23rd International Conference on Pattern Recognition (ICPR), Cancùn, 4-8 Dec. 2016) [Contributo in Atti di convegno]

  • Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin, A lambda-calculus foundation for universal probabilistic programming, in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ACM, 2016, pp. 33 - 46 (atti di: ICFP, Nara, Giappone, Settembre 2016) [Contributo in Atti di convegno]

  • Dal Lago, Ugo, Infinitary Lambda Calculi from a Linear Perspective, in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 447 - 456 (atti di: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, Columbia University, New York, USA, 2016) [Contributo in Atti di convegno]

  • Kim, Hyunbum; Ben-Othman, Jalel; Bellavista, Paolo, On construction of collision-free UAV reinforced barrier, in: 2016 IEEE Global Communications Conference, GLOBECOM 2016 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 1 - 6 (atti di: 59th IEEE Global Communications Conference, GLOBECOM 2016, usa, 2016) [Contributo in Atti di convegno]

  • Edmonds, Andy; Carella, Giuseppe; Yousaf, Faqir Zarrar; Goncalves, Carlos; Bohnert, Thomas Michael; Metsch, Thijs; Bellavista, Paolo; Foschini, Luca, An OCCI-compliant framework for fine-grained resource-aware management in Mobile Cloud Networking, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., 2016, 2016-, pp. 1306 - 1313 (atti di: 2016 IEEE Symposium on Computers and Communication, ISCC 2016, ita, 2016) [Contributo in Atti di convegno]

  • Bellavista, Paolo; Zanni, Alessandro, Towards better scalability for IoT-cloud interactions via combined exploitation of MQTT and CoAP, in: 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a Better Tomorrow, RTSI 2016, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 1 - 6 (atti di: 2nd IEEE International Forum on Research and Technologies for Society and Industry Leveraging a Better Tomorrow, RTSI 2016, ita, 2016) [Contributo in Atti di convegno]

  • Murgia, Antonio; Ghidini, Giacomo; Emmons, Stephen P.; Bellavista, Paolo, Lightweight Internet Traffic Classification: A Subject-Based Solution with Word Embeddings, in: 2016 IEEE International Conference on Smart Computing, SMARTCOMP 2016, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 1 - 8 (atti di: 2nd IEEE International Conference on Smart Computing, SMARTCOMP 2016, usa, 2016) [Contributo in Atti di convegno]

  • Sangiorgi, Davide; Vignudelli, Valeria, Environmental bisimulations for probabilistic higher-order languages, in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, 2016, 51, pp. 595 - 607 (atti di: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), St. Petersburg (USA), 20-22 Gennaio 2016) [Contributo in Atti di convegno] Open Access