Device proximity verification has a wide range of security applications such as effortless zero-interaction authentication, multi-factor authentication, group-membership management and many more. To achieve high ease-of-use, a recently proposed class of solutions exploit contextual information captured by onboard sensors including radio (Wi-Fi, Bluetooth and GPS receivers), ambient sounds (micr...

Carbon emissions are closely related to global warming. More than 70% of carbon have been generated in cities. Many studies analyzed the effects cities on emissions, from perspective urbanization, economics, and land use, yet a detailed understanding relationship between urban form is lacking due absence reasonable set metrics. The aim this research explore through empirical research. By elimin...

This paper is devoted on the one hand to the study of specific properties of an evolution variational inequality, holding in the Hilbert setting. We give on the other hand a general criterion for Lyapunov pairs of this dynamical system and some results on the asymptotic behaviour of the solution. Key-words: Differential inclusions Evolution variational inequalities Proximal normal cone Uniforml...

We study online convex optimization with constraints consisting of multiple functional and a relatively simple constraint set, such as Euclidean ball. As enforcing the at each time step through projections is computationally challenging in general, we allow decisions to violate but aim achieve low regret cumulative violation over horizon T steps. First-order methods an O(sqrt{T}) O(1) violation...