Μετά την επιτυχία των προηγούμενων διοργανώσεων, το Athens Startup Weekend University επιστρέφει για τέταρτη χρονιά στην Αθήνα!
The talk will discuss the benefits of using logic-based declarative languages as a means to specify static program analysis algorithms. The main focus will be on the Doop framework for pointer analysis of Java programs. Doop encodes multiple analysis algorithms for Java declaratively, using Datalog: a logic-based language for defining (recursive) relations. The algorithms are elegantly specified and easy to understand and adapt. With an aggressive optimization methodology, Doop also achieves very high performance--often a factor of 10 faster than other comparable frameworks.
Today, a large fraction of Internet trafﬁc is originated by Content Delivery Networks (CDNs). To cope with increasing demand for content, CDNs have deployed massively distributed infrastructures. These deployments pose challenges for CDNs as they have to dynamically map end-users to appropriate servers without being fully aware of the network conditions within an Internet Service Provider (ISP) or the end-user location. On the other hand, ISPs struggle to cope with rapid traffic shifts caused by the dynamic server selection policies of the CDNs.
Hidden Markov Models (HMMs) are one of the most popular methods for
sequence analysis in statistics and signal processing including genetics
and genomics where they have found widespread use. However, posterior
summaries of dependencies found from modelling are poorly developed.
Motivated by applications in cancer genomics we present new
computational algorithms that can reveal interesting structure in the
data. In particular we present a linear time method for deriving the
Σεμινάριο τμημάτων Στατιστικής & Πληροφορικής Ο.Π.Α.
Δευτέρα 15 Οκτωβρίου 2012
Αίθουσα: Α44, Ώρα: 11:00
Computational Intelligence: From Biometrics to Biomedicine