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

Persistent Monitoring by Multiple Unmanned Aerial Vehicles Using Bernstein Polynomials

Journal of Optimization Theory and Applications - A framework for monitoring a target modeled as Dubins car using multiple UAVs is proposed. The UAVs are subject to minimum and maximum speed,...     

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

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