Humans of BSOE
All Events
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
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
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
