is the limiting factor in verification using state spaces. We derive lower bounds for the peak number states and present initial experimental results on near optimal progress measures for verification of the IETF WebSocket protocol.

Designing a robust serial channel to meet the Bit Error Rate (BER) requirements of today’s serial protocols is a challenge for most system designers. It is imperative that designers have techniques that will allow them to accurately predict the behavior of their designs to meet these BER

ABSTRACT: The diel variation in feeding intensity and daily ration of the sardine Sardina pilchardus (Walbaum, 1792) was investigated based on 50 pelagic trawl hauls carried out during the period of thermal stratification (July 2007 and July 2008) and mixing (December 2007 and February 2009) in a

I would like to thank some people who were involved in the creation of this thesis: • Berry Schoenmakers of TU Eindhoven for introducing me to the topic of cryptographic voting protocols. • Evangelos Karatsiolis for his work in guiding me through the process of writing this thesis and his constant

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:

for evolutionary study. From the invariant lethal outcome of AIDS to the non-lethal consequences of colds, the optimal virulence hypothesis was advocated as being a kind of 'new-age' tool to fight the consequences of infectious diseases [1 -6]. The idea was that with appropriate public health measures

. In the second subsection, I will review the research on evidence evaluation skills. The last subsection will include a discussion of self-directed experimentation studies. In these integrative investigations of scientific reasoning, participants actively engage in all aspects of the scientific discovery process

Traditionally, link quality estimation (LQE) has been viewed as an a priori step in sensor network routing protocols because it filters out unreliable links before data transmission. Recent results, however, show that protocols can perform well without a priori LQE. Because getting rid of LQE seems

Treatment plan optimization for rotating-shield brachytherapy

In presenting this thesis in partial fulfilment of the requirements for a Postgraduate degree