The combination of two security protocols, a simple shared-key communication protocol and the Diffie-Hellman key distribution protocol, is modeled formally and proved correct. The modeling is based on the I/O automaton model for distributed algorithms, and the proofs are based on invariant assertions, simulation relations, and compositional reasoning. Arguments about the cryptosystems are handl...

This paper presents an approach for the analysis of musical pieces, based on the notion of computer modeling. The thorough analysis of musical works allows to reproduce compositional processes and implement them in computer models, opening new perspectives for the their exploration through the simulation and generation of variations derived from the original model.

MOTIVATION Direct analysis of microbial communities in the environment and human body has become more convenient and reliable owing to the advancements of high-throughput sequencing techniques for 16S rRNA gene profiling. Inferring the correlation relationship among members of microbial communities is of fundamental importance for genomic survey study. Traditional Pearson correlation analysis t...

Motivated by recent advances in causal inference on mediation analysis and problems in the analysis of metagenomic data, we consider the effect of a treatment on an outcome transmitted through microbes, or compositional mediators. Compositional and high dimensional natures of such mediators make the standard mediation analysis not directly applicable. In this paper, we propose a method for esti...

A general large-strain thermodynamic approach with anisotropic (tensorial) compositional expansion/contraction in elastoplastic material under stress tensor is developed. The dissipation rate due to compositional expansion/contraction is introduced. Adapting and utilizing a previously formulated postulate of realizability, we derived a simple equation for the deviatoric part of the compositiona...