A service-oriented approach to modeling and performance analysis of Port Community Systems:

A Port Community System (PCS) is an electronic platform that links the multiple systems operated by private and public organizations. Accordingly, PCSs can be interpreted as complex service system networks that coproduce services. The study proposes a three levels top-down methodology which aims to interpret existing PCS in order to: provide a formal description of this system network based on the enterprise architecture concepts of a PCS; illustrate how each actor of a PCS offers or requires services; and present a new approach to the measurement of services based on the Goal-Question-Metric paradigm

Towards Machine Learning Enhanced LTL Monitoring

In this work, we outline an extension of a recently proposed framework for failure detection that additionally supports the detection of anomalies and drops of performance of a given system. The extended framework is based on a tight integration of monitoring with unsupervised learning techniques, that are used to generate formulas able to capture possible deviations from the normal behaviour of the system or early signs of degradation phenomena. Other improvements to the framework are proposed like, for instance, the use of canonical forms for the safety and cosafety (monitorable) fragments of temporal logics and the support for assumption-based runtime verification

A Framework for Indoor Positioning Including Building Topology

In many application domains, position information is of fundamental importance. However, unlike the case of outdoor positioning, producing an accurate position estimation in the indoor setting turns out to be quite difficult. One of the most common localisation strategies makes use of fingerprinting. Research in this area has been faced with a number of challenges, leading to the proposal of a number of localisation algorithms, sampling strategies, benchmark datasets, and representations of building information. This proliferation made the modeling of the indoor positioning domain quite hard from both a theoretical and a practical point of view. In this paper, we propose a general and extensible framework, based on a relational database, that pairs fingerprints with building information. We show how the proposed system successfully deals with a number of problems that affect indoor positioning, supporting a large set of relevant tasks. The source code of the framework is available online, as well as an implementation of it, that provides an interactive open repository of indoor positioning data

Two-Stage Exchange Arthroplasty for Periprosthetic Reverse Shoulder Arthroplasty Infection Provides Comparable Functional Outcomes to Primary Reverse Shoulder Arthroplasty

This study aimed to compare functional outcomes after two-stage revision reverse shoulder arthroplasty (RSA) for periprosthetic joint infection (PJI) with the results of primary RSA. Patients affected by PJI and treated by means of two-stage revision RSA were 1:1 matched with a group of patients who were treated electively with RSA without developing any complications. Out of 1477 RSAs performed between 2009 and 2021, 16 patients developed a PJI. Each matched cohort comprised 16 patients (3 females, 13 males). The mean age was 69.13 +/- 5.43 years old in the PJI group and 70.28 +/- 5.04 (p = 0.543) in the matched cohort. The mean follow-up was 41.23 +/- 26.9 months in the PJI group and 28.5 +/- 20.2 (p = 0.142) in the matched group. Only one patient showed recurrent PJI five years after revision RSA. Comparison between the PJI patients and matched patients did not show any significant differences at the latest follow-up, nor for subjective shoulder value (SSV) (p = 0.101) or Constant score (p = 0.134). Two-stage exchange RSA for PJI allows for appropriate control of the disease and good functional outcomes. Comparison with an age- and sex-matched cohort of uninfected patients showed no significant differences, thus confirming the idea that revision surgeries may lead to satisfactory functional outcomes, as expected after primary surgery

Hau, Meeus, Sheridan (eds.), “Diodoros of Sicily”

Recensione a L.I. Hau, A. Meeus, B. Sheridan (eds.), Diodoros of Sicily: Historiographical Theory and Practice in the Bibliotheke (Studia Hellenistica 58), Leuven 2018