Pubblicazioni

Prandi, Catia; Nisi, Valentina; Salomoni, Paola; Nunes, Nuno Jardim; Roccetti, Marco, Mapping urban accessibility: gamifying the citizens’ experience, «ICST TRANSACTIONS ON AMBIENT SYSTEMS», 2015, 2, pp. 1 - 10 [Articolo in rivista]

Snyder, Lawrence; Amoroso, Alessandro, Fluency Conoscere e usare l’informatica, Milano-Torino, Pearson Italia spa, 2015, pp. 370 . [Monografia/Trattato scientifico in forma di libro]

Pau, Giovanni; Simona Segre Reinach, ; Im, Marcus; Tolic, Ines; Tse, Rita; Marfia, Gustavo, Mobile Sensing and Beyond in the Information Age: An Experimental Perspective, in: In Proceedings of the 2015 Workshop on Pervasive Wireless Healthcare (MobileHealth '15), 2015, pp. 3 - 6 (atti di: 2015 Workshop on Pervasive Wireless Healthcare (MobileHealth '15), Hangzhou, Cina, 22 Giugno 2015) [Contributo in Atti di convegno]

Lodi, Stefano; Angiulli, Fabrizio; Basta, Stefano; Luiselli, Donata; Pagani, Luca; Sartori, Claudio, First Application of a Distance-Based Outlier Approach to Detect Highly Differentiated Genomic Regions Across Human Populations, in: Mathematical Models in Biology - Bringing Mathematics to Life, Cham, Springer International Publishing Switzerland, 2015, pp. 133 - 144 [Capitolo/Saggio in libro]

Bujari, Armir; Ciman, Matteo; Gaggi, Ombretta; Marfia, Gustavo; Palazzi, Claudio Enrico, PathS: Enhancing Geographical Maps with Environmental Sensed Data, in: Proceedings of the 2015 Workshop on Pervasive Wireless Healthcare (MobileHealth '15), 2015, pp. 13 - 16 (atti di: 2015 Workshop on Pervasive Wireless Healthcare (MobileHealth '15), Hangzhou, Cina, 22 Giugno 2015) [Contributo in Atti di convegno]

Peroni, Silvio; Vitali, Fabio, Templating the semantic web via RSLT, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9341, pp. 183 - 189 (atti di: European Conference on Semantic Web, ESWC 2015, Porto Ros, Slovenia, 2015) [Contributo in Atti di convegno]

Peroni, Silvio; Vitali, Fabio, RSLT: RDF stylesheet language transformations, in: CEUR Workshop Proceedings, CEUR-WS, 2015, 1361, pp. 7 - 13 (atti di: ESWC-DEV 2015 - ESWC Developers Workshop 2015, co-located with the 12th Extended Semantic Web Conference, ESWC 2015, svn, 2015) [Contributo in Atti di convegno]

Fioraio, Nicola; Taylor, Jonathan; Fitzgibbon, Andrew; Di Stefano, Luigi; Izadi, Shahram, Large-scale and drift-free surface reconstruction using online subvolume registration, in: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE Computer Society, «PROCEEDINGS - IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION», 2015, 07-12-, pp. 4475 - 4483 (atti di: IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015, usa, 2015) [Contributo in Atti di convegno]

João, Leite; Tran, Cao Son; Paolo, Torroni; Stefan, Woltran, Applications of logical approaches to argumentation, «ARGUMENT & COMPUTATION», 2015, 6, pp. 1 - 2 [Replica/breve intervento (e simili)]

Sangiorgi, Davide, Equations, contractions, and unique solutions, in: S. K. Rajamani, D. Walker, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, 2015, 50, pp. 421 - 432 (atti di: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, 15-17 Gennaio 2015) [Contributo in Atti di convegno]

Sangiorgi, Davide, The proof technique of unique solutions of contractions, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9399, pp. 63 - 68 (atti di: 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, Cali, Colombia, 2015) [Contributo in Atti di convegno]

Piccinini, Filippo; Serena, Duchi; Elisa, Martella; Giulio, Alessandri; Lucarelli, Enrico; Bevilacqua, Alessandro, In vitro quantitative analysis of mesenchymal stromal cells migration towards tumours, in: Atti dell'Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), 2015, pp. 76 - 76 (atti di: Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), Brescia (IT), 8-9 Ottobre 2015) [Riassunto (Abstract)]

Piccinini, Filippo; Zanoni, Michele; Bevilacqua, Alessandro; Tesei, Anna, Shape-based viability of 3D multicellular spheroids, in: Atti dell'Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), 2015, pp. 77 - 77 (atti di: Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), Brescia (IT), 8-9 Ottobre 2015) [Riassunto (Abstract)]

Piccinini, Filippo; Bellotti, Chiara; Duchi, Serena; Lucarelli, Enrico; Bevilacqua, Alessandro, Over time homogeneity and stability of mesenchymal stromal cells 3D spheroids built using base-level laboratory equipment, in: Atti dell'Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), 2015, pp. 75 - 75 (atti di: Annual meeting of the Italian Mesenchymal Stem Cell Group (GISM), Brescia (IT), 8-9 Ottobre 2015) [Riassunto (Abstract)]

Bedogni, Luca; Trotta, Angelo; DI FELICE, Marco, On 3-dimensional spectrum sharing for TV white and Gray Space networks, in: Proceedings of the WoWMoM 2015: A World of Wireless Mobile and Multimedia Networks, Institute of Electrical and Electronics Engineers Inc., 2015, pp. 1 - 8 (atti di: 16th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2015, Boston University Campus, usa, 2015) [Contributo in Atti di convegno]

Bononi, Luciano; Guevara, Noubir, Proceedings of the 2015 16th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WoWMoM 2015), New York, IEEE, 2015, pp. 1 . [Curatela]

Bagnacani, Andrea; Ciancarini, Paolo; Di Iorio, Angelo; Nuzzolese, Andrea Giovanni; Peroni, Silvio; Vitali, Fabio, Knowledge management of scholarly products: Semantic Lancet Project, in: Proceedings of 16th European Conference on Knowledge Management (ECKM 2015), 2015, pp. 241 - 248 (atti di: 16th European Conference on Knowledge Management, Udine, Italy, September 3-4, 2015) [Contributo in Atti di convegno]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, A multicore tool for constraint solving, in: IJCAI International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2015, 2015-, pp. 232 - 238 (atti di: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, arg, 2015) [Contributo in Atti di convegno]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, SUNNY-CP: A sequential cp portfolio solver, in: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2015, 13-17-, pp. 1861 - 1867 (atti di: 30th Annual ACM Symposium on Applied Computing, SAC 2015, esp, 2015) [Contributo in Atti di convegno]

Amadini, Roberto; Biselli, Fabio; Gabbrielli, Maurizio; Liu, Tong; Mauro, Jacopo, Feature selection for SUNNY: A study on the algorithm selection library, in: Proceedings - 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, «PROCEEDINGS - INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE», 2015, pp. 25 - 32 (atti di: 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, ITALY, NOV 09-11, 2015) [Contributo in Atti di convegno]