All Events

May 9

FRET: A Formal Requirements Elicitation Tool

Anastasia Mavridou
Computer Scientist

  Abstract Requirement formalization and verification tools are essential in designing safety-critical CPS and achieving a level of confidence in system correctness. In this talk, I present the FRET framework for the elicitation, formalization, and understanding of requirements. System... Read More

Mar 4

Statistics Seminar: Scalable inference for big hierarchical models

Omiros Papaspiliopoulos
ICREA Research Professor

Abstract: The talk will present recent results on scalable inference for big hierarchical models, either with crossed-effect structure (as for example ANOVA and recommender system models) or with nested-effect structure (as multilevel regression models). The talk is primary based on https://... Read More

Feb 27

Innovating Video Content Delivery on Commodity Mobile Devices: From Multi-path to Virtual Reality

Feng Qian
Assistant Professor

  Abstract: More and more users watch videos on their mobile devices. In Q4 2016, mobile videos have eventually surpassed desktop videos in terms of the online viewing time. In this talk, I describe two of my recent projects aiming at improving the performance and reducing the network... Read More

Pages