Design and synthesis of effective electrocatalysts for hydrogen evolution reaction (HER) in wide pH environments are critical to reduce energy losses water electrolyzers. Here, by using a self-a...

High-entropy alloys (HEAs), based on equiatomic or near-equiatomic mixture of usually four more elements, have attracted considerable attention as there are indications that along with surprising microstructural simplicity some alloys, they may also offer intriguing combinations mechanical and other properties. Amongst these properties, is growing interest in the irradiation response HEAs their...

We present a case study where we use automated formal analysis to reason about problem-frame concerns. The descriptions of the problem domains, machine and requirements are written in the Alloy language. We show that an evaluation of results and counterexamples provided by a model finder can reveal useful information that can help remove inconsistencies as well as composition errors.

Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. „ Software developers favour so-called lightweight techniques that provide immediate returns and sit comfortably ...

BACKGROUND Several methods that are currently used for contouring analysis have problems providing reliable and/or meaningful results. In this paper a solution to these problems is proposed in a form of a novel measure, which was developed based on requirements defined for contouring studies. MATERIALS AND METHODS The proposed distance deviation measure can be understood as an extension of th...

In this study, the use of the three-layer feed forward neural network has been investigated for estimating of infinite dilute diffusion coefficient ( D12 ) of supercritical fluid (SCF), liquid and gas binary systems. Infinite dilute diffusion coefficient was spotted as a function of critical temperature, critical pressure, critical volume, normal boiling point, molecular volume in normal boilin...