First-Order Complexity of Subgraph Isomorphism via Kneser Graphs

Mathematical Notes - The problem of finding the least number of variables of a first-order formula expressing the statement that an input-graph contains a subgraph isomorphic to a given...     

Some Properties of Smooth Convex Functions and Newton’s Method

Doklady Mathematics - New properties of convex infinitely differentiable functions related to extremal problems are established. It is shown that, in a neighborhood of the solution, even if the...     

Controlled Formation of β-Si3N4 on Native Oxidized Silicon Wafers in Ammonia Flow

Crystallography Reports - The formation of β-Si3N4 for subsequent growth of AlGaN and GaN heterostructures of silicon wafers has been studied. It is established that the native oxide layer...     

Methods of Coherent X-Ray Diffraction Imaging

Crystallography Reports - Methods of coherent X-ray diffraction imaging of the spatial structure of noncrystalline objects and nanocrystals (nanostructures) are considered. Particular attention is...     

Nonlinear modeling and analysis of rotors supported by magnetorheological squeeze film journal bearings

Meccanica - The driver coupled to a driven system through mechanical couplings is very common in rotating machinery. These couplings can present angular and parallel misalignments with more or less...     

Diagnostics for Electromagnetic Conditions in the Heliosphere by Cosmic Ray Effects

Physics of Atomic Nuclei - We review some results of diagnostics for the electromagnetic characteristics of the heliosphere and of the Earth magnetosphere within the model for cosmic ray modulation...     

Identification of potential inhibitors of coronavirus hemagglutinin-esterase using molecular docking,molecular dynamics simulation and binding free energy calculation

Molecular Diversity - The pandemic outbreak of the Corona viral infection has become a critical global health issue. Biophysical and structural evidence shows that spike protein possesses a high...     

Prospects for Plasma De-Excitation of 186mRe Nuclear Isomer

Physics of Atomic Nuclei - Prospects are discussed for the studies of stimulated de-excitation of a nuclear isomer (SDNI) of the 186m1Re nucleus in a plasma with electron temperature θe on the...     

Modeling of Molten Corium Oxidation in the Presence of an Oxide Crust on the Melt Surface

Technical Physics - In the case of a severe accident at a nuclear power plant with light-water reactors, the most effective method for localization of the formed melt (corium) is its retention in...