Tu sei qui
Seminari di ricerca
4 dicembre 2014
We show that a transfer targeting a minority of the population is sustained by majority voting,...
4 dicembre 2014
Formal methods have been largely applied to the verification of functional correctness as well as...
3 dicembre 2014
Nearly 70 years since the end of World War II, the impact of the Holocaust still resounds in Europe...
26 novembre 2014
River basins are a natural laboratory for the integration of hydrological, ecological and...
25 novembre 2014
Saliency Based Selection for Content Aware Image Resizing Content-aware image resizing techniques...
20 novembre 2014
We propose a dynamic verification framework for protocols in distributed systems. The framework is...
19 novembre 2014
When low-rankcriminals are o⁄ered the option to cooperate with the justice in exchange of judicial...
18 novembre 2014
Problems arising in many application areas (such as optimal control, statistics, machine learning,...
31 ottobre 2014
Modeling and reverse engineering of complex biological systems is a major focus of current research...