- Full text PDF available (4)
Runtime verification of distributed systems poses various challenges. A pivotal challenge is the choice of how to distribute the monitors themselves across the system. On one hand, centralised monitoring may result in increased communication overhead and information exposure across locations, while, on the other hand, systems with dynamic topologies and… (More)
Thanks also to the TESSy team and other experts from the Surveillance section for their continued support and to Per Rolfhamre, Gaetan Guyodo, Silvia Sarbu, Catalin Albu and Valentina Lazdina for data management and providing technical support to the participating countries.
Distributed and component-based architectures are becoming more prevalent computer systems. The increased complexities introduced by the distribution hampers dependability , emphasising the need for verification techniques tailored for a distributed setting. Runtime verification has proven to be a viable approach for verifying correctness, by focussing on… (More)
The Square Kilometre Array (SKA) is a radio telescope designed to operate between 70MHz and 10GHz. Due to this large bandwidth, the SKA will be built out of different collectors, namely antennas and dishes to cover the frequency range adequately. In order to deal with this bandwidth, innovative feeds and detectors must be designed and introduced in the… (More)
We studied the possible association between patient age and sex, clinical presentation, Streptococcus pneumoniae serotype, antimicrobial resistance, and death in invasive pneumococcal disease cases reported by 17 European countries during 2010. The study sample comprised 2,921 patients, of whom 56.8% were men and 38.2% were >65 years of age. Meningitis… (More)
The pioneering theory of Compressed Sensing (CS) provides a framework for ill-posed inverse problems and allows for the recovery of sparse signals from a set of measurements. Its applicability to astronomy datasets was recognised from its infancy. In this work, CS techniques are used to aid in the construction of an optimised dictionary that is capable of… (More)