Product forms for availability models

This paper shows and illustrates that product form expressions for the steady state distribution, as known for queueing networks, can also be extended to a class of availability models. This class allows breakdown and repair rates from one component to depend on the status of other components. Common resource capacities and repair priorities, for example, are included. Conditions for the models to have a product form are stated explicitly. This product form is shown to be insensitive to the distributions of the underlying random variables, i.e. to depend only on their means. Further it is briefly indicated how queueing for repair can be incorporated. Novel product form examples are presented of a simple series/parallel configuration, a fault tolerant database system and a multi-stage interconnection network

Discrete-time rewards model-checked

This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints. This allows to formulate complex measures – involving expected as well as accumulated rewards – in a precise and succinct way. Algorithms to efficiently analyze such formulae are introduced. The approach is illustrated by model-checking a probabilistic cost model of the IPv4 zeroconf protocol for distributed address assignment in ad-hoc networks

Exploring the Impact of Hand Pose and Shadow on Hand-washing Action Recognition

In the real world, camera-based application systems can face many challenges, including environmental factors and distribution shift. In this paper, we investigate how pose and shadow impact a classifier's performance, using the specific application of handwashing action recognition. To accomplish this, we generate synthetic data with desired variations to introduce controlled distribution shift. Using our synthetic dataset, we define a classifier's breakdown points to be where the system's performance starts to degrade sharply, and we show these are heavily impacted by pose and shadow conditions. In particular, heavier and larger shadows create earlier breakdown points. Also, it is intriguing to observe model accuracy drop to almost zero with bigger changes in pose. Moreover, we propose a simple mitigation strategy for pose-induced breakdown points by utilizing additional training data from non-canonical poses. Results show that the optimal choices of additional training poses are those with moderate deviations from the canonical poses with 50-60 degrees of rotation

Illumination Variation Correction Using Image Synthesis For Unsupervised Domain Adaptive Person Re-Identification

Unsupervised domain adaptive (UDA) person re-identification (re-ID) aims to learn identity information from labeled images in source domains and apply it to unlabeled images in a target domain. One major issue with many unsupervised re-identification methods is that they do not perform well relative to large domain variations such as illumination, viewpoint, and occlusions. In this paper, we propose a Synthesis Model Bank (SMB) to deal with illumination variation in unsupervised person re-ID. The proposed SMB consists of several convolutional neural networks (CNN) for feature extraction and Mahalanobis matrices for distance metrics. They are trained using synthetic data with different illumination conditions such that their synergistic effect makes the SMB robust against illumination variation. To better quantify the illumination intensity and improve the quality of synthetic images, we introduce a new 3D virtual-human dataset for GAN-based image synthesis. From our experiments, the proposed SMB outperforms other synthesis methods on several re-ID benchmarks.Comment: 10 pages, 5 figures, 5 table

Association between infection with H. pylori and atopy in young Ethiopian children: a longitudinal study

Background: Epidemiological evidence from developed countries indicates that Helicobacter pylori infection correlates with a reduced risk of atopy and allergic disorders, however limited data are available from low-income countries. Objective: We examined associations between H. pylori infection in early childhood and atopy and reported allergic disorders at the age of 6.5 years in an Ethiopian birth cohort. Methods: A total of 856 children (85.1% of the 1006 original singletons in a population-based birth cohort) were followed up at age six and half years. An interviewer-led questionnaire administered to mothers provided information on demographic and lifestyle variables. Questions on allergic disease symptoms were based on the International Study of Asthma and Allergies in Children (ISAAC) core allergy and environmental questionnaire. Serum samples were analysed for total IgE levels and anti-H. pylori cytotoxin associated gene A (CagA) IgG antibody using commercially available ELISA kits. Stool samples were analysed for H. pylori antigen using a rapid immunochromatographic test. The independent effects of H. pylori infection (measured at age 3, 5 and 6.5 years) on prevalence and incidence of atopy and reported allergic disorders (measured at age 6.5 years) were determined using multiple logistic regression. Results: In cross-sectional analysis, current H. pylori infection at age 6.5 years was inversely, though not significantly, related to prevalence of atopy and ‘any allergic condition’ at age 6.5 years. However detection of H. pylori infection at any point up to age 6.5 years was associated with a significantly reduced odds of both atopy and ‘any allergic condition’ (adjusted OR AOR, 95% CI, 0.54; 0.32 to 0.92, p=0.02, and 0.31; 0.10 to 0.94, p=0.04, respectively). In longitudinal analyses, H. pylori infection at age 3 was inversely associated with incidence of atopy (AOR, 95% CI, 0.49; 0.27 to 0.89, p=0.02). Furthermore, among H. pylori infected children, those with a CagA+ strain had a more pronounced reduction in odds of atopy (AOR=0.35 vs. 0.63 for CagA+ vs. CagA-) and this reduction reached borderline significance. Conclusion: These data are consistent with the hypothesis that early exposure to H. pylori is inversely associated with atopy and allergic conditions. A possible modest protective association against atopy was observed in those infected with a more virulent CagA+ strain of H. pylori. This article is protected by copyright. All rights reserved

Hybrid video quality prediction: reviewing video quality measurement for widening application scope

A tremendous number of objective video quality measurement algorithms have been developed during the last two decades. Most of them either measure a very limited aspect of the perceived video quality or they measure broad ranges of quality with limited prediction accuracy. This paper lists several perceptual artifacts that may be computationally measured in an isolated algorithm and some of the modeling approaches that have been proposed to predict the resulting quality from those algorithms. These algorithms usually have a very limited application scope but have been verified carefully. The paper continues with a review of some standardized and well-known video quality measurement algorithms that are meant for a wide range of applications, thus have a larger scope. Their individual artifacts prediction accuracy is usually lower but some of them were validated to perform sufficiently well for standardization. Several difficulties and shortcomings in developing a general purpose model with high prediction performance are identified such as a common objective quality scale or the behavior of individual indicators when confronted with stimuli that are out of their prediction scope. The paper concludes with a systematic framework approach to tackle the development of a hybrid video quality measurement in a joint research collaboration.Polish National Centre for Research and Development (NCRD) SP/I/1/77065/10, Swedish Governmental Agency for Innovation Systems (Vinnova