Pubblicazioni
-
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]
-
M. Dastani; A. El-fallah Seghrouchni; J. Leite; P. Torroni, Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers, HEIDELBERG, Springer, 2010, pp. 193 (Lecture Notes in Computer Science). [Curatela]
-
F. Chesani; P. Mello; M. Montali; P. Torroni, Role Monitoring in Open Agent Societies, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 112 - 121 (atti di: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contributo in Atti di convegno]
-
F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework, «MULTIAGENT AND GRID SYSTEMS», 2010, 6, pp. 165 - 190 [Articolo in rivista]
-
M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma, Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes, «FUNDAMENTA INFORMATICAE», 2010, 102(3-4), pp. 325 - 361 [Articolo in rivista]
-
F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring Time-Aware Social Commitments with Reactive Event Calculus, in: Proceedings of the 20th European Meeting on Cybernetics and Systems Research (EMCSR 2010) - International Workshop From Agent Theory to Agent Implementation (AT2AI-7), VIENNA, Austrian Society for Cybernetics Studies, 2010, 6/6, pp. 447 - 452 (atti di: 7th International Workshop From Agent Theory to Agent Implementation, University of Vienna, Vienna, Austria, April 6-9, 2010) [Contributo in Atti di convegno]
-
F. Chesani; P. Mello; M. Montali; P. Torroni, Declarative Technologies for Open Agent Systems and Beyond, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 1 - 5 (atti di: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contributo in Atti di convegno]
-
M. Dastani; A. El Fallah Seghrouchni; J. Leite; P. Torroni, Preface, in: Languages, Methodologies, and Development Tools for Multi-Agent Systems. Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers, HEIDELBERG, Springer, 2010, pp. V - V [Breve introduzione]
-
Lombardi M. ; Benini L. ; Garg A. ; De Micheli G., Methods for Designing Reliable Probe Arrays, in: BioInformatics and BioEngineering (BIBE), 2010 IEEE International Conference on, s.l, IEEE Press, 2010, pp. 306 - 307 (atti di: BioInformatics and BioEngineering (BIBE), 2010 IEEE International Conference on, Philadelphia, PA, May 31 2010-June 3 2010) [Contributo in Atti di convegno]
-
Magno M. ; Lanza A. ; Brunelli D. ; Di Stefano L. ; Benini L., Energy aware multimodal embedded video surveillance, in: VLSI System on Chip Conference (VLSI-SoC), 2010 18th IEEE/IFIP, s.l, IEEE Press, 2010, pp. 264 - 269 (atti di: VLSI System on Chip Conference (VLSI-SoC), 2010 18th IEEE/IFIP, Madrid, Spain, 27-29 Sept. 2010) [Contributo in Atti di convegno]
-
M. Gaspari; G. Roveda, Informatica per l'impresa tra soluzioni proprietarie ed Open Source, BOLOGNA, PITAGORA, 2010, pp. 306 . [Monografia/Trattato scientifico in forma di libro]
-
D. Guidi; M. Gaspari; G. Profiti, Web Services Integration in Multi-Agent Systems, in: Developing Advanced Web Services through P2P Computing and Autonomous Agents: Trends and Innovations, HERSHEY, IGI GLOBAL, 2010, pp. 1 - 17 [Capitolo/Saggio in libro]
-
C. Laneve; T. Lascu; V. Sordoni, The Interval Analysis of Multilinear Expressions, in: null, 2010, 267, pp. 43 - 53 (atti di: Tools for Automatic Program AnalysiS (TAPAS), Perpignan, France, 17 September 2010) [Contributo in Atti di convegno]