Search Results - "Kuzmin, E. V."

Refine Results
  1. 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 by Kuzmin, E. V., Zograf, F. G.

    “…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. 2

    Linear Temporal Logic Specification of Bounded Counter Machines by Kuzmin, E. V.

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

    LTL-Specification of Counter Machines by Kuzmin, E. V.

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

    Features of Structuring and Ablation of Thin Titanium Films by Femtosecond Laser Pulses by Kuzmin, E. V., Klekovkin, A. V.

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

    The Application of Majority Voting Functions to Estimate the Number of Monotone Self-Dual Boolean Functions by Bystrov, L. Y., Kuzmin, E. V.

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

    High-NA Focusing of Ultrashort Laser Pulses in Bulk of ZnSe by Gulina, Yu. S., Kudryashov, S. I., Smirnov, N. A., Kuzmin, E. V.

    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. 7
  8. 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 by Kudryashov, S. I., Danilov, P. A., Sdvizhenskii, P. A., Lednev, V. N., Chen, J., Ostrikov, S. A., Kuzmin, E. V., Kovalev, M. S., Levchenko, A. O.

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

    Hierarchical QSAR technology based on the Simplex representation of molecular structure by Kuz’min, V. E., Artemenko, A. G., Muratov, E. N.

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

    An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms by Kuzmin, E. V., Gorbunov, O. E., Plotnikov, P. O., Tyukin, V. A., Bashkin, V. A.

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

    Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms by Kuzmin, E. V., Gorbunov, O. E., Plotnikov, P. O., Tyukin, V. A., Bashkin, V. A.

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

    Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms by Kuzmin, E. V., Gorbunov, O. E., Plotnikov, P. O., Tyukin, V. A., Bashkin, V. A.

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

    Boundedness problems for Minsky counter machines by Kuzmin, E. V., Sokolov, V. A., Chalyy, D. Yu

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

    Confirmation of the Finding on Increased Resistance of Paleolimnic Invertebrates to Anthropogenic Water Pollution by Makrushin, A. V., Kuzmin, E. V., Sokolova, E. A., Vasil’ev, A. S., Garin, E. V.

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

    Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms by Kuzmin, E. V., Gorbunov, O. E., Plotnikov, P. O., Tyukin, V. A., Bashkin, V. A.

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

    Application of the trace assertion method to the specification, design, and verification of automaton programs by Kuzmin, E. V., Sokolov, V. A., Chalyy, D. Ju

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

    An Efficient Algorithm for Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy Current Defectograms by Kuzmin, E. V., Gorbunov, O. E., Plotnikov, P. O., Tyukin, V. A.

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

    Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy-Current Defectograms by Kuzmin, E. V., Gorbunov, O. E., Plotnikov, P. O., Tyukin, V. A.

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

    Effect of Parameters of High-Velocity Collision on the Structure and Properties of Joints upon Explosive Welding with Simultaneous Ultrasonication by Kuz’min, E. V., Lysak, V. I., Kuz’min, S. V., Korolev, M. P.

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

    Influence of Chemical Structure of Molecules on Blood–Brain Barrier Permeability on the Pampa Model by Kosinska, G. P., Ognichenko, L. M., Shyrykalova, A. O., Burdina, Ya. F., Artemenko, A. G., Kuz’min, V. E.

    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