Search Results - S. V. Kuzmin

Refine Results
  1. 1
    Female flowering lines as the basis for new highly productive F<sub>1</sub> zucchini hybrids

    Female flowering lines as the basis for new highly productive F<sub>1</sub> zucchini hybrids by S. V. Kuzmin

    Published 2021-11-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Passenger airplane manufacturing in the 20th century. Quantitative analysis

    Passenger airplane manufacturing in the 20th century. Quantitative analysis by Yu. V. Kuzmin

    Published 2023-06-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Morphometric criteria for evaluating individual territorial units in solving the problem of spatial development of linear objects of terrestrial transport infrastructure

    Morphometric criteria for evaluating individual territorial units in solving the problem of spatial development of linear objects of terrestrial transport infrastructure by Dmitry V. Kuzmin

    Published 2025-06-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    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:
  5. 5
    Energy Efficiency of Rotor Application in Cyclone Dust Collector

    Energy Efficiency of Rotor Application in Cyclone Dust Collector by V. V. Kuzmin

    Published 2004-10-01
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    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:
  7. 7
    The Modeling of Counter Machines by Two-Head Finite Automata

    The Modeling of Counter Machines by Two-Head Finite Automata by E. V. Kuzmin, V. A. Sokolov

    Published 2015-03-01
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    LTL Verification of Automaton Programs

    LTL Verification of Automaton Programs by K. A. Vasileva, E. V. Kuzmin

    Published 2007-03-01
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    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:
  10. 10
    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:
  11. 11
    Additional measures on the development of the conditions of competition on the Russian electricity market

    Additional measures on the development of the conditions of competition on the Russian electricity market by V. Ya. Afanasev, V. V. Kuzmin

    Published 2019-04-01
    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    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:
  13. 13
    Design features of a high-pressure transmission devices for hydro-jet technologies

    Design features of a high-pressure transmission devices for hydro-jet technologies by V. I. Novikov, O. V. Kuzmin

    Published 2024-08-01
    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    VALIDATION OF AIRCRAFT GAS-TURBINE ENGINE INLET BIRD THROW-IN SIMULATION MODEL

    VALIDATION OF AIRCRAFT GAS-TURBINE ENGINE INLET BIRD THROW-IN SIMULATION MODEL by M. V. Kuzmin, A. R. Kirsanov

    Published 2016-11-01
    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    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:
  16. 16
    UNILATERAL EPIDURAL ANALGESIA AFTER TOTAL KNEE JOINT REPLACEMENT

    UNILATERAL EPIDURAL ANALGESIA AFTER TOTAL KNEE JOINT REPLACEMENT by V. V. Kuzmin, N. N. Shadursky

    Published 2017-11-01
    Get full text
    Article

    Save to List
    Saved in:
  17. 17
    400-470 NM RADIATION INACTIVATION OF METHICILLIN-RESISTANT STAPHYLOCOCCUS AUREUS

    400-470 NM RADIATION INACTIVATION OF METHICILLIN-RESISTANT STAPHYLOCOCCUS AUREUS by O. V. Kuzmin, N. I. Faskhutdinova

    Published 2018-02-01
    Get full text
    Article

    Save to List
    Saved in:
  18. 18
    On Construction and Verification of PLC-Programs

    On Construction and Verification of PLC-Programs by E. V. Kuzmin, V. A. Sokolov

    Published 2015-02-01
    Get full text
    Article

    Save to List
    Saved in:
  19. 19
    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:
  20. 20
    On a reachability set of automaton counter machines

    On a reachability set of automaton counter machines by E. V. Kuzmin, D. J. Chalyy

    Published 2010-03-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: