Synthesis, Verification and Optimization for Stochastic Hybrid Games 5 giugno 2018In this talk we will describe the recent advances and application of the branch UPPAAL Stratego...
Why do we like what we like? A quest for the neural underpinnings of embodied aesthetic experience.4 giugno 2018The creation of an artwork requires motor activity. To what extent is art appreciation divorced...
Numerical and experimental proof of the destabilization paradox by using a new flutter machine4 giugno 2018Flutter and divergence instabilities are theoretically and experimentally analyzed in elastic...
Modeling, Analysis and Design of Resilient Cyber-Physical Systems25 maggio 2018Recent advances in sensing, communication and computing allow cost effective deployment in the...
What's quantum computing anyway?25 maggio 2018On the example of the function inversion problem, we illustrate the power and limitations of...
A calculus for Bitcoin smart contracts24 maggio 2018Besides simple transfers of currency, Bitcoin also enables various forms of smart contracts, i.e...
More Women in Tech? Evidence from a field experiment addressing social identity23 maggio 2018This paper investigates whether social identity considerations -through beliefs and norms- may be...
Disorders of Consciousness: Neurotechnologies and Neuroethics14 maggio 2018In this talk I will explain the current state of neuroimaging experiments that enable researchers...
Staging Spectacles of Nation: Art and Identities of Patrimony in Early 20th-century Europe10 maggio 2018This talk will explore key narratives of cultural heritage in creating new national and...
Aggregate Fluctuations in Adaptive Production Networks9 maggio 2018We study production networks where firms' products can be described by a set of input and output...