We consider atomistic systems consisting of interacting particles arranged in atomic lattices whose quasi-static evolution is driven by time-dependent boundary conditions. The interaction of the particles is modeled by classical interaction potential...
We refine Theorem A due to Gursky \cite{G3}. As applications, we give some rigidity theorems on four-manifolds with postive Yamabe constant. In particular, these rigidity theorems are sharp for our conditions have the additional properties of being s...
Oxygen-containing yttrium hydride (YHO) and molybdenum trioxide (MoO$_3$) bilayer films (YHO/MoO$_3$) are produced using reactive magnetron sputtering, and their photochromic properties are investigated in relation to the thickness and density of the...
The reference point for developing any artefact is its specification; to develop software formally, a formal specification is required. For sequential programs, pre and post conditions (together with abstract objects) suffice; rely and guarantee cond...
The rely/guarantee approach of Jones extends Hoare logic with rely and guarantee conditions in order to allow compositional reasoning about shared-variable concurrent programs. This paper focuses on localisation in the context of rely/guarantee concu...
The rely-guarantee technique allows one to reason compositionally about concurrent programs. To handle interference the technique makes use of rely and guarantee conditions, both of which are binary relations on states. A rely condition is an assumpt...
Except for bundles, additional travel services, such as baggage and advance seat assignments are available for purchase separately at an additional charge. In addition to these Terms and Conditions, …
Binary operations on algebras of observables are studied in the quantum as well as in the classical case. It is shown that certain natural compatibility conditions with the associative product imply the properties which usually are additionally req...
Were snow conditions solid with the 6 inches from last night getting packed in? How is Pete’s in blue sky riding?...
We give necessary and sufficient conditions for the Zhang-Liu matrices to be diagonalizable over arbitrary fields and provide the eigen-decomposition when it is possible. We use this result to calculate the order of these matrices over any arbitrary...
We prove a new version of Hall's Harem Theorem, where the final matching is realized by a unary function with additional conditions on behavior of cycles. The present paper can be considered as a helpful companion of the paper of the author: arXiv:21...
We use K-area homology to summarize some results about the Novikov conjecture and the Hirzebruch L-class. In fact, we provide necessary and sufficient conditions for closed manifolds to have a homotopy invariant L-class. In order to obtain additional...
The conditions of tests and calibrations described in the article E.E Kading et al. [Phys. Rev. Res. 2, 023279 (2020)] show striking flaws. The interpretation and extraction of quantitative results from this experiment are considered unreliable. All...
This thesis examines the correspondence between models of statistical physics and Feynman graphs of quantum field theories (QFTs) by a common property: integrability. We review integrable structures for periodic boundary conditions on both sides, whi...
In a series of papers, of which this is the first, we study sufficient conditions for Hamiltonicity in terms of forbidden induced subgraphs and extend such results to locally finite infinite graphs. For this we use topological circles within the Freu...
Interstellar clouds that exhibit strong Ca I and Fe I lines were called CaFe clouds. The ionisation equilibrium equations were used to model the column densities of Ca II, Ca I, K I, Na I, Fe I and Ti II in CaFe clouds. The chemical composition of...
There is incremental growth in adopting self-reconfigurable robots in automating manufacturing conventional product lines. Using this class of robots adapting themselves with ever-changing environmental conditions has been acclaimed as a promising wa...
We take a game theoretical approach to determine necessary and sufficient conditions under which we can persuade rational agents to exchange messages in pairwise exchanges over links of a dynamic network, by holding them accountable for deviations wi...
Look up AIDS, aids, or Aids in Wiktionary, the free dictionary. AIDS, or acquired immunodeficiency syndrome, is a spectrum of conditions caused by HIV
We study equilibrium conditions between a static, spherically symmetric black hole and classical matter in terms of the radial pressure to density ratio p_r/ρ= w(u), where u is the radial coordinate. It is shown that such an equilibrium is possibl...