One of the central issues in software and system engineering over the last couple of decades has been to develop languages, methods and tools for the reliable construction reactive systems. The term, coined in 1985, denotes systems whose complexity stems not necessarily from complicated computation but from complicated reactivity over time. Such systems are most often highly concurrent and time...

In this work we present the solution to the DEBS’2013 Grand Challenge, as crafted by the joint effort of teams from the Technion and TU Dortmund. The paper describes the architecture, details the queries and offers our observations regarding the appropriate way to trade-off high-level processing with time constraints.

This paper analyzes the problem of checking the integrity of files stored on remote servers. Since servers are prone to successful attacks by malicious hackers, the result of simple integrity checks run on the servers cannot be trusted. Conversely, downloading the files from the server to the verifying host is impractical. Two solutions are proposed, based on challenge-response

The large (7 m×4 m cylinder, 84 m3) AIDA (Aerosol Interactions and Dynamics in the Atmosphere) cloud chamber facility at Forschungszentrum, Karlsruhe, Germany was used to test the ice nucleating ability of two desert dust samples from the Sahara and Asia. Aerosol samples were lognormally distributed with a mode diameter of 0.4(±0.1)μm and geometric standard deviation of ∼1.7(±0.2). At temperatu...

This paper presents the instruction generation system L submitted by the LORIA and TALARIS team to the GIVE challenge 2011 (GIVE 2.5). The system L takes the same approach to instruction generation than its predecessor the system NA that participated to the GIVE challenge 2010 (GIVE 2), the two systems are almost the same except minor modifications. We present the strategy of these systems, nam...

Engaging middle school youth in STEM curricula resulting in desired conceptual changes is challenging. Furthermore, social media are identified as platforms where youth naturally congregate for sustained interaction. Studio STEM was designed as an after school programme to engage learners (ages 11–15) in design-based science inquiry within a studio environment, enhanced by social media and digi...

This article presents an approach to music interaction and creativity at both the symbolic and structural levels. Even if the creation of common music occurs at the symbolic level, the structural level allows interaction with music contents at a higher degree. This requires a tool to formalize music fragments and their relations in terms of transformation functions. Using Petri Nets as a tool, ...

As part of the D4D Senegal Challenge we describe the use of call detail records (CDRs) in seeding parameters for an epidemiological model around metapopulations. We apply this model to the study of influenza-like illnesses and validate model results against epidemiological surveillance data.

Der vorliegende Beitrag behandelt den Einsatz von UAS und Sensoren zur Erzeugung eines geometrisch hoch aufgelösten multispektralen Orthophotomosaikes und einer Klassifikation der erzeugten 3D-Punktwolke in Bodenund Vegetationspunkte zur Ableitung der Geländenoberfläche. Hierzu wurden die UAV-Aufnahmen in ein RGBI-Orthophotomosaik überführt, zusätzlich wurde eine hochdichte Punktwolke aus den B...