The ability to provide reliable in-network storage while balancing the energy consumption of individual sensors is a primary concern when deploying a sensor network. The main conc...
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
Augmented Virtual Environments (AVE) are very effective in the application of surveillance, in which multiple video streams are projected onto a 3D urban model for better visualiz...
—The wireless mesh network (WMN) is an essential low-power solution to support ubiquitous broadband services. However, mesh networks face the power unfairness and throughput bott...
— Current UWB systems apply convolutional codes as their channel coding scheme. For next generation systems LDPC codes are in discussion due to their outstanding communications p...
Torben Brack, Matthias Alles, Timo Lehnigk-Emden, ...