Abstract. In this paper, we investigate the Mixed-integer Linear Programming (MILP) modelling of the differential and linear behavior of a wide rang of block ciphers. The differential and linear behavior of the transformations involved in a block cipher can be described by a set P ⊆ {0, 1}n ⊆ Rn

Messaging is a basic service in sensornets. Yet the unique system and application prop-erties of sensornets pose substantial challenges for the messaging design: Firstly, dynamic wireless links, constrained resources, and application diversity challenge the architecture and protocol design of sensornet messaging; Secondly, complex faults and large system scale introduce new challenges to the design of fault-tolerant protocols. The objective of this dissertation is to address the aforementioned challenges of sensornet messaging. Despite the extensive effort in studying sensornet messaging, the lack of a basic un-derstanding of its essential components has been an obstacle for reliable, efcient, and reusable messaging services in sensornets. To address this problem, one task of this dis-sertation is to identify the basic components of sensornet messaging and to study the re-lated algorithmic design issues. More specically, we propose the messaging architecture SMA that consists of three components: trafc-adaptive link estimation and routing (TLR), application-adaptive structuring (AST), and application-adaptive scheduling (ASC). TLR deals with dynamic wireless links as well as the impact of application trafc patterns on

This report focuses on the evidence about the health.consequences of smoking for women, and is intended to serve.the public health and medical communities as 'a unified source of existing scientific research. The major issues about tobacco use and women's health are examined, including trends in consumption, biomedical evidence, and determinants of smoking ititiation, maintenance, and cessation. The biomedical aspects ofsmoking are presented in terms of mortality, morbiplity, cardiovasculaidiseases, cancer, pregnancy and infant,health,, Teptic ulcer disease, drug reactions and, interactions, food constituents, and responses to,diagnostic tests. The psychosocial and behavioraj. aspects, of smoking in women are discussed, along with the docffiented increases in- the risk of contracting lung cancer, heart,disease, or lung disease. The harmful effects of pregnant mothers smoking behaviors, are also docudented. Adhitionally, recent data are enumerated to indicate a trend of,decreasing tobacco usage among women in response to the warnings of the gavernMent, voluntary agencie, and physicrins. (Author /NRB)' DOCUMENT RESUME cc 015 465

Diese Dissertation wurde vom Cuvillier Verlag Göttingen als Buch unter ISBN 978-3-95404-019-3 veröffentlicht (www.cuvillier.de). iContents

@ Printed on acid-free paper which falls within the guidelines of the ANSI

Anne SABOURIN Mélanges bayésiens de modèles d'extrêmes multivariés, Application à la prédétermination régionale des crues avec données incomplètes. Sous la direction de:

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

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

Parametric max-stable processes are increasingly used to model spatial extremes. Since the dependence structure is specified for block maxima, the data used for inference are block maxima from all sites. To improve the estimation efficiency, we propose a two-step approach with composite likelihood that utilizes site-wise daily records in addition to block maxima. Besides the parameter estimation, there is no formal model checking and diagnosis method for spatial extremes modeling yet. Model diagnosis in practice has been informal and mostly based on visual checking tools such as residual plot and quantile-quantile plot. We proposed a goodness-of-fit test for max-stable processes based on the comparison between a nonparametric and a parametric estimator of the corresponding unknown multivariate Pickands dependence function. The proposed two-step procedure separates the estimation of marginal parameters and dependence parameters into two steps. The first step estimates the marginal pa-rameters with an independence Likelihood by ignoring the spatial dependence. Given ithe marginal parameter estimates, the second step estimates the dependence parameters

April 29, 2011Für UnsShe had never before seen a rabbit with either a waistcoat-pocket, or a watch to take out of it, and burning with curiosity, she ran across the field after it Lewis CarrollThe following document, written under the supervision of Dr. reviewed by: