Measurements of the cross section σ(xIP , β,Q 2) for diffractive deep inelastic scattering (DIS) processes of the type ep → eXp by H1 at HERA have reached high precision [1]. Here, Q2 is the photon virtuality, xIP is the longitudinal momentum fraction of the diffractive exchange with respect to the proton and β = x/xIP is the exchange’s longitudinal momentum fraction of the quark which couples ...

Software Transactional Memory (STM) algorithms associate metadata with the memory locations accessed during a transaction’s lifetime. This metadata may be stored in an external table, by resorting to a mapping function that associates the address of a memory cell with the table entry containing the corresponding metadata (out-place or external strategy). Alternatively, the metadata may be store...

Service oriented modeling and deployment of biological processes allow these processes to be published, discovered and, most importantly, invoked on the Web. This in-place invocation capability provides the basis for simulation based validation and predictive analysis of discovered pathways linking published services. We present a Web service mining framework that enables the discovery and vali...

In MDE not only models but also metamodels are subject to evolution. More specifically, they need to be adapted to correct errors, support new and/or update language features. The direct consequence of such evolutionary steps comprises the problem of managing the co-evolution of existing model instances, which may no longer conform to the new metamodel version. This model migration is intrinsic...

Although at the moment an excess of 500 public bicycle schemes of variable sizes operate in almost 50 countries worldwide, the impact of their use on travel behaviour and modal change have neither been studied extensively nor have been understood thoroughly as yet. This work negotiates the initial stages of an international research scheme that means to look into the attitudes and system user e...

In this paper we present two experiments conducted for comparison of different language identification algorithms. Short words-, frequent wordsand n-gram-based approaches are considered and combined with the Ad-Hoc Ranking classification method. The language identification process can be subdivided into two main steps: First a document model is generated for the document and a language model fo...

In the first place, a novel, yet straightforward in-place integer value-sorting algorithm is presented. It sorts in linear time using constant amount of additional memory for storing counters and indices beside the input array. The technique is inspired from the principal idea behind one of the ordinal theories of “serial order in behavior” and explained by the analogy with the three main stage...

In this paper, we address the problem of locating detectors in a given program under resource constraints. A detector is a program component that asserts the validity of a predicate in a program. The detector location problem is to identify which program actions need to be monitored by detectors such that certain given dependability properties are met. In this paper, we focus on the following d...

At present, healthcare providers are offering an overwhelming range of smart living products and services to support elderly in their daily routine and enhance their independent lifestyle. However, even smart living services that are technologically feasible and acceptable have not reached the massmarket yet, as end-users cannot find them in today’s fragmented marketplace with an overload of in...

A high vacuum gate valve for skimmed molecular beam experiments is described. It is designed with a very short extent of only 10 mm along the molecular beam axis to minimize the distance between the molecular beam source and the experiment to provide the maximum molecular flux to the experiment. At the same time it provides free space on both sides of the skimmer to not disturb the supersonic e...