Robustness between Weak Memory Models

Robustness of a concurrent program ensures that its behaviors on a weak concurrency model are indistinguishable from those on a stronger model. Enforcing robustness is particularly useful when porting or migrating applications between architectures. Existing tools mostly focus on ensuring sequential consistency (SC) robustness which is a...

Design of an Ecological Flow-based Interface for 4D Trajectory Management in Air Traffic Control

The concept of trajectory-based operations as proposed by SESAR and NextGen seeks to increase airspace efficiency and capacity by introducing time as an explicit control variable. Such form of operations lean heavily on the introduction of higher levels of automation to support the human air traffic controller in performing this new task. In...

Design of concrete for high flowability: Progress report of fib task group 4.3

Flowable concretes can differ significantly from traditional vibrated concrete. Concrete types like selfcompacting concrete (SCC), ultra-high performance concrete (UHPC) and high performance fibre reinforced cementitious composites (HPFRCCs) require novel mix design approaches. This has consequences for the production and the performance in the...

Stability and robustness analysis of acyclic timetable

To satisfy the growing passenger transportation demands and improve the service quality n railway system, a more stable and robust timetable needs to be designed while considering highly utilized capacity. Acyclic timetable is extensively applied in large ailway networks. In order to acquire the quality of timetable, analytical timetable...

A three-level framework for performance-based railway timetabling

The performance of railway operations depends highly on the quality of the railway timetable. In particular for dense railway networks it can be a challenge to obtain a stable robust conflict-free and energy-efficient timetable with acceptable infrastructure occupation and short travel times. This paper presents a performance-based railway...

Simulation of Traffic Capacity of Inland Waterway Network

The inland waterborne transportation is viewed as an economic, safe and environmentally friendly alternative to the congested road network. The traffic capacity are the critical indicator of the inland shipping performance. Actually, interacted under the complicated factors, it is challenging to conduct studies on the capacity in the networks of...

Modeling resilience, friability, and cost of an airport affected by the large-scale disruptive event

This paper deals with modeling resilience, friability, and cost of an airport affected by the largescale disruptive event. These events affecting the airport's operations individually or in combination can be bad weather, failures of particular crucial aiiport and ATC (Air Traffic Control) components, industrial actions of the aviation staff,...

Metabolic network destruction: Relating topology to robustness

Biological networks exhibit intriguing topological properties such as small-worldness. In this paper, we investigate whether the topology of a metabolic network is related to its robustness. We do so by perturbing a metabolic system in silico, one reaction at a time and studying the correlations between growth, as predicted by flux balance...

Algorithm for designing robust road networks: Combining the best of two worlds: modelling and expert knowledge

There is a growing awareness that road networks, especially in major urban areas, are becoming more and more vulnerable to unforeseen disturbances like incidents because of the fact that the level of congestion keeps growing. Therefore, robustness measures have to be taken. In this paper the robust road network design problem is presented as...

A New Metric for Robustness with Respect to Virus Spread (Work in Progress)

The robustness of a network is depending on the type of attack we are considering. In this paper we focus on the spread of viruses on networks. It is common practice to use the epidemic threshold as a measure for robustness. Because the epidemic threshold is inversely proportional to the largest eigenvalue of the adjacency matrix, it seems easy...

ELASTICITY: Topological Characterization of Robustness in Complex Networks

The vulnerability of road networks: Now and in the future

Transport networks in major urban areas are becoming more and more vulnerable to unforeseen disturbances in transport networks, like incidents. For the near future, we expect an increasing number of incidents with a large impact due to the overall increase of the traffic load. In this paper the hypothesis is tested that, if no measures are taken...

On the comparison of audio fingerprints for extracting quality parameters of compressed audio

Audio fingerprints can be seen as hashes of the perceptual content of an audio excerpt. Applications include linking metadata to unlabeled audio, watermark support, and broadcast monitoring. Existing systems identify a song by comparing its fingerprint to pre-computed fingerprints in a database. Small changes of the audio induce small...