the closed nature of geochemical data has been proven in many studies. compositional data have special properties that mean that standard statistical methods cannot be used to analyse them. these data imply a particular geometry called aitchison geometry in the simplex space. for analysis, the dataset must first be opened by the various transformations provided. one of the most popular of the a...

We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the Palladio Architecture Simulator. We specify the key DSLs from Palladio in the e-Motions system, describing the basic simulation semantics as a set of graph transformation rul...

We investigate the application of concurrency theory notions as simulation relations and compositional proof rules for verifying digital stream signature protocols. In particular, we formally prove the integrity of the Gennaro-Rohatgi protocols in [7]. As a peculiarity, our technique is able to check a protocol with an unbounded number of parallel processes. We argue also that our approach may ...

Abstract This paper presents an extension of the Predictive Runtime Verification (PRV) paradigm to consider multiple models System Under Analysis (SUA). We call this Multi-Model PRV. Typically, PRV attempts predict satisfaction or violation a property based on trace and (single) formal model SUA. However, contemporary node- component-based systems (e.g. robotic systems) may benefit from monitor...

This paper examines a dataset which is modeled well by the Poisson-Log Normal process and by this process mixed with Log Normal data, which are both turned into compositions. This generates compositional data that has zeros without any need for conditional models or assuming that there is missing or censored data that needs adjustment. It also enables us to model dependence on covariates and wi...

Outlier detection is an important task for the statistical analysis of multivariate data, because often the outliers contain important information about the data structure. In compositional data, represented usually as proportions subject to a unit sum constraint, the ratios between the parts (variables) contain the essential information. This inherent property is, however, incompatible with th...

In the life sciences, many measurement methods yield only the relative abundances of different components in a sample. With such relative-or compositional-data, differential expression needs careful interpretation, and correlation-a statistical workhorse for analyzing pairwise relationships-is an inappropriate measure of association. Using yeast gene expression data we show how correlation can ...

eteorites yield a wealth of information concerning Solar System origin, geochemical evolution of primitive parent objects, and irradiation histories of material in space. Since the numerous (approximately 16,000) antarctic meteorites include many of rare or unique types, current extraterrestrial materials research attention focuses on this population. Antarctic meteorites also have the potentia...

In this paper, we construct two classes of permutation polynomials over Fq2 with odd characteristic from rational Rédei functions. A complete characterization of their compositional inverses is also given. These permutation polynomials can be generated recursively. As a consequence, we can generate recursively permutation polynomials with arbitrary number of terms. More importantly, the conditi...

Watershed segmentation of spectral images is typically achieved by first transforming the high-dimensional input data into a scalar boundary indicator map which is used to derive the watersheds. We propose to combine a Random Forest classifier with the watershed transform and introduce three novel methods to obtain scalar boundary indicator maps from class probability maps. We further introduce...