Search Results - "Kuzmin, E. V."
-
1
Influence of Continuous Wave Interference on the Efficiency of the Non-Threshold Search Procedure for a Noise-Like Signal by Delay Time with Transition to the Frequency Domain
Published in Journal of communications technology & electronics (01-08-2022)“…A statistical study of the effectiveness of the non-threshold search procedure for a noise-like phase-shift keyed signal by the delay time is carried out…”
Get full text
Journal Article -
2
Linear Temporal Logic Specification of Bounded Counter Machines
Published in Automatic control and computer sciences (01-12-2023)“…This article revises the results of work devoted to representing the behavior of a program system as a set of formulae of linear temporal logic (LTL), followed…”
Get full text
Journal Article -
3
LTL-Specification of Counter Machines
Published in Automatic control and computer sciences (01-12-2022)“…This article is written in support of the academic discipline “Nonclassical logics”. The objects of study within this discipline are the basic principles and…”
Get full text
Journal Article -
4
Features of Structuring and Ablation of Thin Titanium Films by Femtosecond Laser Pulses
Published in Optics and spectroscopy (01-09-2023)“…The processes of structuring and ablation of a titanium film by femtosecond laser pulses at wavelengths of 515 nm and 1030 nm have been studied in both…”
Get full text
Journal Article -
5
The Application of Majority Voting Functions to Estimate the Number of Monotone Self-Dual Boolean Functions
Published in Automatic control and computer sciences (01-12-2023)“…One of the problems of modern discrete mathematics is Dedekind’s problem on the number of monotone Boolean functions. For other precomplete classes, general…”
Get full text
Journal Article -
6
High-NA Focusing of Ultrashort Laser Pulses in Bulk of ZnSe
Published in Optics and spectroscopy (01-10-2023)“…A study of high-NA focusing process of ultrashort laser pulses in bulk of ZnSe has been carried out. It is shown that when focusing laser Gaussian beam with…”
Get full text
Journal Article -
7
Structural Micromodification of Diamond by Femtosecond Laser Pulses Through Optical Contact with a Nonlinear Highly Refractive Immersion Medium
Published in JETP letters (01-02-2024)“…Using femtosecond laser pulses delivered through an optical contact with a highly refractive zinc sulfide immersion medium, a readable photoluminescent…”
Get full text
Journal Article -
8
Transformations of the Spectrum of an Optical Phonon Excited in Raman Scattering in the Bulk of Diamond by Ultrashort Laser Pulses with a Variable Duration
Published in JETP letters (2022)“…A spontaneous Raman signal at the frequency of the triply degenerate optical phonon of diamond is observed in the photoluminescence spectrum under the…”
Get full text
Journal Article -
9
Hierarchical QSAR technology based on the Simplex representation of molecular structure
Published in Journal of computer-aided molecular design (01-06-2008)“…This article is about the hierarchical quantitative structure–activity relationship technology (HiT QSAR) based on the Simplex representation of molecular…”
Get full text
Journal Article -
10
An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms
Published in Automatic control and computer sciences (01-12-2022)“…To ensure rail traffic safety, rails are regularly inspected by various approaches and methods of nondestructive testing, including eddy-current flaw detection…”
Get full text
Journal Article -
11
Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms
Published in Automatic control and computer sciences (01-12-2022)“…To ensure rail traffic safety, rails are regularly inspected by various approaches and methods of nondestructive testing, including eddy-current flaw detection…”
Get full text
Journal Article -
12
Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms
Published in Automatic control and computer sciences (01-12-2021)“…Nondestructive testing of rails is regularly conducted using various approaches and methods, including eddy current testing, to ensure railroad safety…”
Get full text
Journal Article -
13
Boundedness problems for Minsky counter machines
Published in Programming and computer software (2010)“…In the paper, the decidability of boundedness problems for counter Minsky machines is studied. It is proved that, for Minsky machines with two counters, the…”
Get full text
Journal Article -
14
Confirmation of the Finding on Increased Resistance of Paleolimnic Invertebrates to Anthropogenic Water Pollution
Published in Inland water biology (01-02-2022)“…The sensitivity of Cladocera (Crustacea) species to anthropogenic pollution is compared and an attempt is made to explain the differences in their sensitivity…”
Get full text
Journal Article -
15
Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms
Published in Automatic control and computer sciences (01-12-2019)“…— Nondestructive testing of rails is regularly conducted using various approaches and methods, including magnetic and eddy current testing methods, to ensure…”
Get full text
Journal Article -
16
Application of the trace assertion method to the specification, design, and verification of automaton programs
Published in Programming and computer software (2009)“…The paper considers the application of the trace assertion method [1] for specification and verification of automaton programs [2–4]. The trace assertion…”
Get full text
Journal Article -
17
An Efficient Algorithm for Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy Current Defectograms
Published in Automatic control and computer sciences (01-12-2018)“…To ensure traffic safety of railway transport, non-destructive testing of rails is regularly carried out by using various approaches and methods, including…”
Get full text
Journal Article -
18
Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy-Current Defectograms
Published in Automatic control and computer sciences (01-12-2018)“…Nondestructive testing of rails using various approaches and methods, including methods of magnetic and eddy-current flaw detection, is regularly carried out…”
Get full text
Journal Article -
19
Effect of Parameters of High-Velocity Collision on the Structure and Properties of Joints upon Explosive Welding with Simultaneous Ultrasonication
Published in Physics of metals and metallography (01-02-2019)“…This paper presents the comparative results of the study of the influence of the parameters of high-velocity collisions of metals upon explosive welding with…”
Get full text
Journal Article -
20
Influence of Chemical Structure of Molecules on Blood–Brain Barrier Permeability on the Pampa Model
Published in Theoretical and experimental chemistry (01-03-2022)“…2D PLS QSPR models for analyzing substance permeability across the blood-brain barrier (BBB) using PAMPA (artificial membrane permeability assay) are…”
Get full text
Journal Article