, and environmental monitoring applications, providing data at granularities unrealizable by other means. In addition to the challenges of miniaturization, new system architectures and new network algorithms must be developed to transform the vast quantity of raw sensor data into a manageable stream of high

Over the past decade, mobile computing and wireless communication have become increasingly important drivers of many new computing applications. The eld of wireless sensor networks particularly focuses on applications involving autonomous use of compute, sensing, and wireless communication devices

applications, providing data at granularities unrealizable by other means. In addition to the challenges of miniaturization, new system architectures and new network algorithms must be developed to transform the vast quantity of raw sensor data into a manageable stream of high-level data. To address this, we

Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However, state-space explosion limits the applicability of model checking tools, so model checkers typically operate on abstractions of systems. Recently, there has been significant

driver for the HIRLAM numerical weather forecast system. As such, the CTADEL system can be viewed as a problem-solving environment. With the aid of the CTADEL application driver, efficient High Performance Fortran and Fortran 77 codes with message passing primitives for shared (virtual) and distributed

tasks using the same architecture. In addition, we quantify how the representation affects detection performance by considering several alternate representations including pixels and principal components. We also describe a real-time application of our person detection system as part of a driver

Since the subject of traffic dynamics has captured the interest of physicists, many surprising effects have been revealed and explained. Some of the questions now understood are the following: Why are vehicles sometimes stopped by ‘‘phantom traffic jams’ ’ even though drivers all like to drive fast

This paper presents a new mechanism that enables applications to run correctly when device drivers fail. Because device drivers are the principal failing component in most systems, reducing driver-induced failures greatly improves overall reliability. Earlier work has shown that an operating system

Species occurring outside their natural range due to human facilitation are called alien (synonyms: non-native, exotic). While most of these species integrate into native ecosystems without causing (major) problems, some of them can have considerable impacts on native biodiversity, ecosystems, human infrastructure and/or health, thus causing environmental or economic harm [1]. During my talk, I will specifically review the situation in Europe with a focus on plant species. Most of the plant species in Europe were introduced intentionally (e.g., as agricultural crop or forestry tree or for ornamental purposes [2] and then escaped [3]. Exchange across biogeographic barriers largely increased with human travel, transport and trade. Several environmental factors are related to spread of these species, such as rivers and canals, roads and railways. Furthermore, habitat disturbance and climate change are now known to increase invasibility [4, 5]. From an ecological point of view, this spread is most interesting and there are several methods to model spread under static and dynamic conditions. During my talk I will therefore provide an overview on the variety of model. Some of these models are based on ecological processes such as meta-population dynamics, colonization and extinction probability related to habitat characteristics, dispersal abilities related to species traits or using physical principles based on diffusion models [e.g., 6]. References [1] M. Vila et al.: How well do we understand the impacts of alien species on ecosystem services? A pan-European, cross-taxa assessment. Frontiers in Ecology and the Environment 8, 135–144

and for practical applications in predicting and recognizing driver behavior and distraction.