We use high-throughput first-principles sampling to investigate competitive factors that determine the crystal structure of high-entropy alloys (HEAs) and energetics dependence stable phase on atomic configuration ‘semi-ordered’ L12, D022, random solid solution (RSS) phases equiatomic quaternary comprising four six constituent elements (Cr, Mn, Fe, Co, Ni, Cu). Note that, generally, an FCC latt...

Specification styles are an approach for structuring the design process of distributed systems. For different phases of the design process different specification styles are employed. In this paper we study tools that support the design process through support for specification style transformation. Tools were made for a subset of LOTOS.

This paper presents a new semantic model for real-time LOTOS, based upon a notion of timed observations. The novelty of the model is explained, as is its value. It differs from the usual operational models in that it permits an abstract, property-oriented view of processes. It differs from earlier denotational models in that it describes a wider variety of behaviours. It supports an alternative...

This paper introduces the LOTOS specification of the OSI95 Enhanced Transport Service. It discusses the problems encountered during its writing, such as the ones caused by its validation, or by the lack of a 'Timed' LOTOS. But the interest is not only in the specification itself. It also lies in the way this specification was developed: not after, but in parallel with the design of the Service ...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...

This paper discusses the application of three different nonparametric methods for decomposing images into regions which exhibit special stochashc es, together with the statistics in connection With steps in the emplrical estimated distribution functions; 2) detection of stochastic informahon wi image by hypothesis testing; 3) rank order stahstics to ose the different types of stochastic mthin a...