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

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

Tighter Monogamy and Polygamy Relations of Quantum Entanglement in Multi-qubit Systems

International Journal of Theoretical Physics - We investigate the monogamy relations related to the concurrence, the entanglement of formation, convex-roof extended negativity, Tsallis-q...     

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