Search Results - Egor V. Kuzmin

  • Showing 1 - 16 results of 16
Refine Results
  1. 1
    LTL-Specification of Bounded Counter Machines

    LTL-Specification of Bounded Counter Machines by Egor V. Kuzmin

    Published 2022-03-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    LTL-Specification of Counter Machines

    LTL-Specification of Counter Machines by Egor V. Kuzmin

    Published 2021-03-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Application of Election Functions to Estimate the Number of Monotone Self-Dual Boolean functions

    Application of Election Functions to Estimate the Number of Monotone Self-Dual Boolean functions by Leonid Y. Bystrov, Egor V. Kuzmin

    Published 2022-06-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Using TLA+/TLC for modeling and verification of cryptographic protocols

    Using TLA+/TLC for modeling and verification of cryptographic protocols by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2024-12-01
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    LTL-specification for development and verification of control programs

    LTL-specification for development and verification of control programs by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2023-12-01
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    LTL-specification for development and verification of logical control programs in feedback systems

    LTL-specification for development and verification of logical control programs in feedback systems by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2024-09-01
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Verification of declarative LTL-specification of control programs behavior

    Verification of declarative LTL-specification of control programs behavior by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2024-06-01
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    The Zhegalkin Polynomial of Multiseat Sole Sufficient Operator

    The Zhegalkin Polynomial of Multiseat Sole Sufficient Operator by Leonid Y. Bystrov, Egor V. Kuzmin

    Published 2023-06-01
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Suppression of additive periodic low-frequency interference on eddy current defectograms

    Suppression of additive periodic low-frequency interference on eddy current defectograms by Leonid Y. Bystrov, Artemy N. Gladkov, Egor V. Kuzmin

    Published 2024-06-01
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Detection of square wave impulse interference in eddy current rail defectograms

    Detection of square wave impulse interference in eddy current rail defectograms by Leonid Y. Bystrov, Artemy N. Gladkov, Egor V. Kuzmin

    Published 2025-06-01
    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    On Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms

    On Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms by Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin

    Published 2017-12-01
    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    An Efficient Algorithm for Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms

    An Efficient Algorithm for Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms by Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin

    Published 2018-08-01
    Get full text
    Article

    Save to List
    Saved in:
  13. 13
    An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms

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

    Published 2021-03-01
    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    Severity Estimation of Defects on Interpretation of Eddy-Current Defectograms

    Severity Estimation of Defects on Interpretation of Eddy-Current Defectograms by Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

    Published 2021-06-01
    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy-Current Defectograms

    Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy-Current Defectograms by Egor V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

    Published 2020-09-01
    Get full text
    Article

    Save to List
    Saved in:
  16. 16
    Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms

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

    Published 2018-12-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: