: This study represents a survey approach in order to analyse the information society in a regional setting. The first part deals with a current problematic issue: the human resour...
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
In this paper, an improved approach to blind deconvolution of LTI systems incorporating phase unwrapping is presented. The method can recover a noise-free estimate of the logarith...
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
Alberto Ciaffaglione, Luigi Liquori, Marino Micula...
In order to provide high data availability in peer-to-peer (P2P) DHTs, proper data redundancy schemes are required. This paper compares two popular schemes: replication and erasure...