Compositional data arises in a wide variety of research areas when some form standardization and composition is necessary. Estimating covariance matrices fundamental importance for high-dimensional compositional analysis. However, existing methods require the restrictive Gaussian or sub-Gaussian assumption, which may not hold practice. We propose robust adjusted thresholding procedure based on ...

Modularity is a key concern in programming. However, programming languages remain limited terms of modularity and extensibility. Small canonical problems, such as the Expression Problem (EP), illustrate some basic issues: dilemma between choosing one kind extensibility over another most languages. Other how to express dependencies modular way, add up issues significant challenge. This article p...

Generating explanations of device behavior is a long-standing goal of AI research in reasoning about physical systems . Much of the relevant work has concentrated on new methods for modeling and simulation, such as qualitative physics, or on sophisticated natural language generation, in which the device models are specially crafted for explanatory purposes . We show how two techniques from the ...

Introduction: Previously, 186Re and 188Re radioisotopes have been produced through appropriate activities, and each of them has been used for therapeutic applications. The 186Re and 188Re have unique properties, which make them proper for the treatment of  tumors in different sizes. The long-range 188Re, is suitabl...

This paper is concerned with a compositional approach for constructing infinite abstractions of interconnected discrete-time stochastic control systems. The proposed approach uses the interconnection matrix and joint dissipativity-type properties of subsystems and their abstractions described by a new notion of so-called stochastic storage functions. The interconnected abstraction framework is ...

MOTIVATION The high-throughput sequencing technologies have provided a powerful tool to study the microbial organisms living in various environments. Characterizing microbial interactions can give us insights into how they live and work together as a community. Metagonomic data are usually summarized in a compositional fashion due to varying sampling/sequencing depths from one sample to another...

The application of a new, phase-sensitive neutron reflectometry method to reveal the compositional depth profiles of biomimetic membranes is reported. Determination of the complex reflection amplitude allows the related scattering length density (SLD) profile to be obtained by a first-principles inversion without the need for fitting or adjustable parameters. The SLD profile so obtained is uniq...

Cyber-Physical Systems (CPSs) are integrations of networking and distributed computing systems with physical processes, where feedback loops allow physical processes to affect computations and vice versa. Although CPSs can be found in several real-world domains (automotive, avionics, energy supply, etc), their verification often relies on simulation test systems rather then formal methodologies...

Different modeling formalisms for timed and hybrid systems exist, each of whichaddresses a specific set of problems, and has its own set of features. These for-malisms and tools can be used in each stage of the embedded systems development,to verify and validate various requirements.The Compositional Interchange Format (CIF), is a formalism based on hybridautomata, which...