Pubblicazioni

P.Ciancarini; G. Favini, Playing the perfect Kriegspiel endgame, «THEORETICAL COMPUTER SCIENCE», 2010, 411:(40/42), pp. 3563 - 3577 [Articolo in rivista]

P.Ciancarini; G. Favini, Retrograde analysis of Kriegspiel endgames, in: Proceedings 1st IEEE Conference on Computational Intelligence and Games, NEW YORK, IEEE Computer Society, 2010, pp. 411 - 418 (atti di: IEEE Conference on Computational Intelligence and Games, Copenaghen, August 2010) [Contributo in Atti di convegno]

Andrea Giovanni Nuzzolese; Aldo Gangemi; Paolo Ciancarini; Valentina Presutti, Fine-Tuning Triplification with Semion, in: KIELD 2010 Knowledge Injection into and Extraction from Linked Data, s.l, CEUR, 2010, 631, pp. 2 - 14 (atti di: KIELD 2010 Knowledge Injection into and Extraction from Linked Data, Lisbona, Oct 2010) [Contributo in Atti di convegno]

M. Ramilli; M. Prandini, An Integrated Application of Security Testing Methodologies to e-voting Systems, in: Electronic Participation, BERLIN, Springer, 2010, LNCS 6229, pp. 225 - 236 (atti di: Second IFIP WG 8.5 International Conference, ePart 2010, Lausanne, Switzerland, 29 agosto - 2 settembre, 2010) [Contributo in Atti di convegno]

m. prandini; m. ramilli; w. cerroni; f. callegati, Splitting the HTTPS Stream to Attack Secure Web Connections, «IEEE SECURITY & PRIVACY», 2010, 8, pp. 80 - 84 [Articolo in rivista]

P. Torroni; M. Prandini; M. Ramilli; J. Leite; J. Martins, Arguments against the Troll, in: Proc. of the Eleventh AI*IA Symposium on Artificial Intelligence, BRESCIA, Arti grafiche Apollonio, 2010, pp. 232 - 235 (atti di: Eleventh AI*IA Symposium on Artificial Intelligence, Brescia, Italy, 1-3 Dec. 2010) [Contributo in Atti di convegno]

A. Bevilacqua; A. Gherardi; L. Carozza; F. Piccinini, Semi-automatic background detection in microscopic images, in: ICBSE 2010 Proceedings, s.l, s.n, 2010, 71, pp. 250 - 253 (atti di: International Conference on Biological Science and Engineering (ICBSE 2010), Venice (ITALY), November 24-26, 2010) [Contributo in Atti di convegno]

A. Bevilacqua; A. Gherardi; F. Piccinini, On-line image mosaicing of live stem cells, in: ICBSE 2010 Proceedings, s.l, s.n, 2010, 71, pp. 246 - 249 (atti di: International Conference on Biological Science and Engineering (ICBSE 2010), Venice (ITALY), November 24-26, 2010) [Contributo in Atti di convegno]

A. Bevilacqua; A. Gherardi; F. Piccinini, Quantitative quality assessment of microscopic image mosaicing, in: ICBSE 2010 Proceedings, s.l, s.n, 2010, 71, pp. 258 - 261 (atti di: International Conference on Biological Science and Engineering (ICBSE 2010), Venice (ITALY), November 24-26, 2010) [Contributo in Atti di convegno]

A. Bevilacqua; A. Gherardi; F. Piccinini, Multichannel image mosaicing of stem cells, in: ICBSE 2010 Proceedings, s.l, s.n, 2010, 71, pp. 254 - 257 (atti di: International Conference on Biological Science and Engineering (ICBSE 2010), Venice (ITALY), November 24-26, 2010) [Contributo in Atti di convegno]

G. Landi; E. Loli Piccolomini, An iterative Lagrange method for the regularization of discrete ill-posed inverse problems, «COMPUTERS & MATHEMATICS WITH APPLICATIONS», 2010, 60, pp. 1723 - 1738 [Articolo in rivista]

F. Manuppella; R. Mazzeo; S. Mirri; S. Prati; G. Sciutto; S. Piombo, Wididars: a wiki based tool for collecting and sharing scientific and artistic information on cultural artefacts, in: Proceedings of the 1st International Conference on Chemistry for Cultural Heritage (ChemCH 2010), s.l, s.n, 2010, pp. 76 - 76 (atti di: 1st International Conference on Chemistry for Cultural Heritage (ChemCH 2010), Ravenna (Italy), 30 giugno - 3 luglio 2010) [Riassunto (Abstract)]

P. Salomoni; S. Mirri, Adaptation Technologies in Mobile Learning, in: Open Source Mobile Learning: Mobile Linux Applications, HERSHEY, PENNSYLVANIA, IGI Global, 2010 [Capitolo/Saggio in libro]

Antonio Bolufé Röhler; Marco A. Boschetti; Vittorio Maniezzo, Soft Variable Fixing in Path Relinking: An Application to ACO Codes, in: Swarm Intelligence - 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010. Proceedings, BERLIN, Springer-Verlag, 2010, pp. 576 - 577 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Lombardi; M. Milano; M. Ruggiero; L. Benini, Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip, «JOURNAL OF SCHEDULING», 2010, 13, pp. 315 - 345 [Articolo in rivista]

M. Roccetti; G. Marfia; M. Zanichelli, The Art and Craft of Making the Tortellino: Playing with a Digital Gesture Recognizer for Preparing Pasta Culinary Recipes, «COMPUTERS IN ENTERTAINMENT», 2010, 8:4, pp. 5 - 24 [Articolo in rivista]

C. E. Palazzi; M. Roccetti; G. Marfia, Realizing the Unexploited Potential of Games on Serious Challenges, «COMPUTERS IN ENTERTAINMENT», 2010, 8:4, pp. 1 - 4 [Articolo in rivista]

Luccarini L.; Bragadin G.L.; Colombini G.; Mancini M.; Mello P.; Montali M.; Sottara D., Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant., «ENVIRONMENTAL MODELLING & SOFTWARE», 2010, 25, pp. 648 - 660 [Articolo in rivista]

A. Dal Palù; P. Torroni, 25 Years of Applications of Logic Programming in Italy, in: AA.VV., A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP, HEIDELBERG, Springer, 2010, pp. 300 - 328 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

O. Kafali; F. Chesani; P. Torroni, What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior, in: Computational Logic in Multi-Agent Systems, HEIDELBERG, Springer, 2010, 6245, pp. 82 - 98 (atti di: 11th International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, Portugal, August 16-17, 2010) [Contributo in Atti di convegno]