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...     

Diffusion Model of a Non-Integer Order PIγ Controller with TCP/UDP Streams

In this article, a way to employ the diffusion approximation to model interplay between TCP and UDP flows is presented. In order to control traffic congestion, an environment of IP routers applying AQM (Active Queue Management) algorithms has been introduced. Furthermore, the impact of the fractional controller PIγ and its parameters on the transport protocols is investigated. The controller has been elaborated in accordance with the control theory. The TCP and UDP flows are transmitted simultaneously and are mutually independent. Only the TCP is controlled by the AQM algorithm. Our diffusion model allows a single TCP or UDP flow to start or end at any time, which distinguishes it from those previously described in the literature.     

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...