Home » Archivo » Archivio 2009/2010

Archivio 2009/2010

Salta il menu di secondo livello

Corsi Laurea

Corsi Laurea Magistrale

Seminari

  • Mechanized, computational proof of EKE using CryptoVerif - il giorno 28/05/2010 - Bruno Blanchet (ENS Paris)

    Abstract: We report on a case study of a variant of the EKE protocol using CryptoVerif. This work essentially consists in redoing the manual proof done by Bresson et al (CCS'03), with the help of the automatic, computationally sound prover CryptoVerif, which provides additional confidence that the proof is correct. This case study is an opportunity for important extensions of CryptoVerif, which we will present. These extensions include support for the computational Diffie-Hellman assumption and for proofs that rely on Shoup's lemma.

  • Adaptive Learning for Poor Comprehenders - il giorno 23/04/2010 - Rosella Gennari (Free University of Bolzano)

    Abstract: Text comprehension skills and strategies develop enormously from the age of 7-8 until the age of 11, when children develop as independent readers. Nowadays, more and more young children, in particular, deaf children demonstrate text comprehension difficulties, related to inference-making skills. The use of intelligent adaptive learning systems to custom-tailor such interventions in an adaptive fashion has tremendous potential. However, the design and the evaluation of such systems are not trivial. For instance, they require a trans-disciplinary effort of experts in areas as diverse as cognitive and educational psychology, knowledge representation and reasoning, natural language processing, human computer interaction, evidence-based medicine. This talk will overview a sample of adaptive learning systems and the challenges faced in their design and evaluation. Then it will concentrate on critical issues faced in the design and evaluation of a specific literacy tool for poor comprehenders.

  • Statical analysis of biological systems - il giorno 19/02/2010 - Roberto Larcher (Microsoft Research - University of Trento Centre for Computational and Systems Biology)

    Abstract: Program analysis offers tools and techniques useful for investigating about program behaviour. The information retrieved through such analysis have different applications such as optimization of program execution and properties validation. In this talk we explore how to apply some of these techniques to BlenX, a process calculus based programming language developed for modelling biological systems. The use of program analysis in the context of biology gives rise to new problems and applications, opening interesting perspectives.

  • Mining Data Streams: A New Frontier of Knowledge Discovery - il giorno 08/02/2010 - Valerio Grossi (Università di Pisa)

    Abstract: Mining data streams has rapidly become an important and challenging task for a wide range of applications, including sensor networks and web applications. In these scenarios data do not take the form of persistent relations. On the contrary, they rather arrive in continuous, rapid, time-varying data streams. Conventional knowledge discovery tools cannot manage this overwhelming volume of streaming data. Starting from data mining classical approaches, also related to business intelligence, we discuss several aspects that should be taken into account, before developing a mining data streams application. Some well-known and largely adopted techniques to reduce the huge quantities of data to analyze are outlined. Moreover, we describe some solutions employed to solve the new challenges introduced by data stream environments. In particular, we focus on the problem of data streams classification, presenting different solutions to several open issues involved in this task.

  • Jolie, un linguaggio per la programmazione orientata ai servizi - il giorno 21/01/2010 - Claudio Guidi

    Abstract: Jolie e' un linguaggio che implementa un nuovo paradigma di programmazione: la programmazione orientata ai servizi. In Jolie tutto e' un servizio ed un'applicazione sviluppata con Jolie e' sempre una SOA (Service Oriented Architecture). Accanto a primitive semplici per lo scambio messaggi e la manipolazione di dati XML, Jolie offre interessanti meccanismi per la composizione di servizi come l'embedding, il redirecting e l'aggregation. Claudio Guidi si e' laureato nel 2000 in Ingegneria Elettronica presso l'Universita' di Bologna ed in seguito ha conseguito il dottorato di ricerca in Informatica sempre presso la medesima Universita'. Tra i due percorsi di studio ha lavorato come ingegnere elettronico presso la Cisa s.p.a. area R&D. Nell'ultimo periodo ha collaborato in qualita' di consulente SOA per il CRS4 di Cagliari ed insieme a Fabrizio Montesi ha fondato italianaSoftware s.r.l. che attualmente opera all'interno del centro per l'innovazione di Imola INNOVAMI.