Abstract. Semantic sensor networks use declarative descriptions of sen-sors promote reuse and integration, and to help solve the difficulties of installing, querying and maintaining complex, heterogeneous sensor net-works. This paper reviews the state of the art for the semantic specifi-cation

of scalability and maintainability. Hence, different approaches are based on Peer-to-Peer (P2P) technology. In particular, fast-paced NVEs stress these systems and most likely cause high overlay maintenance overhead. This Master’s Thesis presents a novel approach to spatial Publish/Subscribe (Pub/Sub) in P2P

of typed tactical primitives. We avoid the need to touch the trusted kernel type-checker of Coq by encapsulating uses of these new tactical primitives in a monad, and instrumenting Coq so that it executes monadic tactics during type inference. 1

pages 156–175, 2013. [2] Johannes Buchmann, Denise Demirel, and Jeroen van de Graaf. Towards a publicly-verifiable mix-net providing everlasting privacy. In Financial Cryptog-raphy, pages 197–204, 2013. [3] Denise Demirel, Jeroen van de Graaf, and Roberto Araùjo. Improving helios

eingereicht an der

First, I would like to thank to Dimka Karastoyanova and Mariano Cilia for all the fruitful discussions, their guidance and support through the course of this project. Thanks also to Prof. Alejandro Buchmann who sponsored my stay at Technische Universität Darmstadt during the spring of 2004. The special thanks go to my advisor, Mariano Cilia, who has made all this possible. Finally, I’d like to thank to my family for all these years of support.

Wireless sensor networks are used to collect sensor data in different applications such as environmental monitoring, smart building control, and health care applications. Wireless sensor nodes used are typically small, low-cost, and battery powered. The nodes are often hard to access after deployment, for example when they are in remote locations. Another property of wireless sensor networks is that their operation is dependent on the environment they operate in, both due to the specific sensor readings but also due to the effects on communication by factors such as fading and radio interference. This makes it important to evaluate a wireless sensor network in its intendent target environment before final deployment. To enable experiments with wireless sensor networks in their target environment, we have designed and implemented a testbed called Sensei-UU. It is designed to allow WSN experiments to be repeated in different locations, thus exposing effects caused by the environment. To allow this, the testbed is designed to be easily moved between experimental sites. One type of WSN applications Sensei-UU is aimed to evaluate is protocols where nodes are mobile. Mobile testbed nodes are low-cost robots which follow a tape track on the floor. The localization accuracy of the robot approach is evaluated and is accurate enough to expose a

RECHERCHES Elastographie par ondes de cisaillement

in partial ful2llment of the requirements for the degree of

I first thank my thesis advisors Thiemo Voigt and Adam Dunkels for being my excellent advisors, and also for being the great colleagues you still are. Thiemo and Adam have complemented each other superbly, giving me feedback, perspectives, insights, and having made every single new venture truly fun. My deepest thanks also go to my professor Per Gunningberg, Uppsala University. Per has in a seemingly easy way spotted erroneous assumptions, has valued my research contributions, and has connected my own work with another broader world of research. I want to thank all colleagues in the Networked Embedded Systems group: