We investigate the impossibility of solving certain problems in an unreliable distributed system where multiple processes may fail. A necessary condition is provided for the solvability of problems in the presence of multiple faulty processes, and variants of problems which are unsolvable in the presence of a single faulty pro~~s (such as consensu.s, ehoo~ing a leader, r~g, matching) are shown ...

Electronic structure theory under the influence of apolar solvents suffers from substantial methodical difficulties since in this case the solvent-induced solute polarization originates mainly from specific directional interactions and higher electric multipoles. Continuum solvation models based on the dielectric solvent response such as the PCM approach ignore such interactions and can therefo...

Sodium-ion batteries are a promising class of secondary power sources that can replace some the lithium-ion, lead–acid, and other types in large-scale applications. One critical parameters for their potential use is high efficiency wide temperature range, particularly below 0 °C. This article analyzes phase equilibria electrochemical properties sodium-ion battery electrolytes based on NaPF6 sol...

This paper is devoted to the non-symmetric channels. Here we will present t-EC-AUED codes. Böinck and van Tilborg gave a bound on the length of binary t-EC-AUED codes. A generalization of this bound to arbitrary alphabet size is given. This generalized Böinck van Tilborg bound, combined with constructions, is used to determine the length of some optimal binary and ternary t-EC-AUED codes. The s...