Seminars

you must be logged-in to have full access to seminar attachments

Coalgebraic trace semantics

Date: 
8 May, 2014 - 14:30 - 15:30
Location: 
Sala riunioni DiMI
Description
Abstract: 

Trace semantics has been defined for various kind of state-based systems, notably with different forms of computational behaviour/branching such as non-determinism or probabilism.
In the last years a coalgebraic understanding of trace semantics has emerged shading light on the shared mathematical structure behind all these “trace semantics”, namely coinduction in Kleisli categories.

Introduction to Collaborative Filtering Algorithms - Exploiting the wisdom of the crowds to predict individual tastes and behaviors

Date: 
3 March, 2014 - 11:00 - 12:00
Location: 
Sala riunioni DIMI
Description
Abstract: 

In this seminar will be provided a brief introduction to Recommendation Algorithms based on Collaborative Filtering. Such technologies are nowadays widley deployed over the world wide web and empower many well-known sites like Amazon, Youtube, Facebook and Last.fm.

Seminario BCI 2013

Date: 
22 November, 2013 - 16:30 - 17:00
Location: 
Sala riunioni
Description
Abstract: 

Seminario di esame per la summer school "BCI 2013" tenutasi a Trieste lo scorso settembre.

Web Reasoning and Rule Systems (RR) 2013

Date: 
18 September, 2013 - 09:00 - 12:00
Location: 
Alula Multimediale, DIMI
Description
Abstract: 

Reasoning About Pattern-Based XML

Syndicate content