Showing 221 - 240 results of 819 for search '"Моделирование и анализ информационных систем"', query time: 0.05s Refine Results
  1. 221
    Polynomial Algorithm of Verication for Subset of PLTL Logic

    Polynomial Algorithm of Verication for Subset of PLTL Logic by P. V. Lebedev

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 222
    Hierarchical Clustering as a Dimension Reduction Technique for Markowitz Portfolio Optimization

    Hierarchical Clustering as a Dimension Reduction Technique for Markowitz Portfolio Optimization by Anatoliy Y. Poletaev, Elena M. Spiridonova

    Published 2020-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 223
    Towards Measuring the Abstractness of State Machines based on Mutation Testing

    Towards Measuring the Abstractness of State Machines based on Mutation Testing by Thomas Baar

    Published 2017-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 224
    The library for parallel execution of rpC-programs under Win32

    The library for parallel execution of rpC-programs under Win32 by V. V. Vasilchikov, Shubin

    Published 2008-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 225
    Construction of an Entropy Estimator with a Special Metrics and an Arbitrary Function

    Construction of an Entropy Estimator with a Special Metrics and an Arbitrary Function by N. E. Timofeeva

    Published 2013-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 226
    On Differential and Antidifferential Operators

    On Differential and Antidifferential Operators by A. N. Morozov

    Published 2011-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 227
    On the Automatic Analysis of the Practical Resistance of Obfusting Transformations

    On the Automatic Analysis of the Practical Resistance of Obfusting Transformations by Petr D. Borisov, Yu. V. Kosolapov

    Published 2019-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 228
    Parallel Algorithm for Solving the Graph Isomorphism Problem

    Parallel Algorithm for Solving the Graph Isomorphism Problem by Vladimir Vasilyevich Vasilchikov

    Published 2020-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 229
    On Process Model Synthesis Based on Event Logs with Noise

    On Process Model Synthesis Based on Event Logs with Noise by A. A. Mitsyuk, I. S. Shugurov

    Published 2014-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 230
    Polylogarithms and the Asymptotic Formula for the Moments of Lebesgue’s Singular Function

    Polylogarithms and the Asymptotic Formula for the Moments of Lebesgue’s Singular Function by E. A. Timofeev

    Published 2016-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 231
    Constructive Solution of Ellipticity Problem for the First Order Differential System

    Constructive Solution of Ellipticity Problem for the First Order Differential System by Vladimir E. Balabaev

    Published 2017-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 232
    STABILITY OF CW SOLUTIONS OF SEMICONDUCTOR LASER WITH LARGE DELAY

    STABILITY OF CW SOLUTIONS OF SEMICONDUCTOR LASER WITH LARGE DELAY by A. A. Kashchenko

    Published 2015-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 233
    On the Way to SD-WAN Solution

    On the Way to SD-WAN Solution by Stanislav V. Korsakov, Valery A. Sokolov

    Published 2019-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 234
    On the Designing of Model Checkers for Real-Time Distributed Systems

    On the Designing of Model Checkers for Real-Time Distributed Systems by D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 235
    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:
  16. 236
    NumGRID, the system for large-scale numerical applications solving

    NumGRID, the system for large-scale numerical applications solving by N. V. Malyshkin

    Published 2007-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 237
    Modeling a Consistent Behavior of PLC-Sensors

    Modeling a Consistent Behavior of PLC-Sensors by E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov

    Published 2014-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 238
    Balls in Sequence Spaces

    Balls in Sequence Spaces by E. A. Timofeev

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 239
    From the Editor of the special issue

    From the Editor of the special issue by S. D. Glyzin

    Published 2016-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 240
    Analysis of Influence of Different Relations Types on the Quality of Thesaurus Application to Text Classification Problems

    Analysis of Influence of Different Relations Types on the Quality of Thesaurus Application to Text Classification Problems by Nadezhda S. Lagutina, Ksenia V. Lagutina, Ivan A. Shchitov, Ilya V. Paramonov

    Published 2017-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: