Showing 661 - 680 results of 819 for search '"Моделирование и анализ информационных систем"', query time: 0.06s Refine Results
  1. 661
    InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels

    InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels by Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson

    Published 2020-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 662
    О работе НОЦ «Нелинейная динамика»

    О работе НОЦ «Нелинейная динамика»

    Published 2013-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 663
    A Method of Sample Models of Program Construction in Terms of Petri Nets

    A Method of Sample Models of Program Construction in Terms of Petri Nets by D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev

    Published 2015-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 664
    The “One-fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ,λ)) Genetic Algorithm

    The “One-fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ,λ)) Genetic Algorithm by Anton Olegovich Bassin, Maxim Viktorovich Buzdalov, Anatoly Abramovich Shalyto

    Published 2020-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 665
    End-to-end Information Flow Security Model for Software-Defined Networks

    End-to-end Information Flow Security Model for Software-Defined Networks by D. Ju. Chaly, E. S. Nikitin, E. Ju. Antoshina, V. A. Sokolov

    Published 2015-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 666
    On the Location of Some Characteristic Quasipolinomial Roots

    On the Location of Some Characteristic Quasipolinomial Roots by D. S. Glyzin, E. P. Kubyshkin, A. R. Moryakova

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

    From the Editor-in-Chief by Valery A. Sokolov

    Published 2019-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 668
    From the Editors of the Issue

    From the Editors of the Issue by V. A. Zakharov, N. V. Shilov

    Published 2020-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 669
    On asymptotics of the entropy estimator variance for symmetric Bernoulli measures

    On asymptotics of the entropy estimator variance for symmetric Bernoulli measures by E. A. Timofeev

    Published 2009-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 670
    Existence of an Unbiased Consistent Entropy Estimator for the Special Bernoulli Measure

    Existence of an Unbiased Consistent Entropy Estimator for the Special Bernoulli Measure by Evgeniy A. Timofeev

    Published 2019-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 671
    Features of the Computational Implementation of the Algorithm for Estimating the Lyapunov Exponents of Systems with Delay

    Features of the Computational Implementation of the Algorithm for Estimating the Lyapunov Exponents of Systems with Delay by Vladimir E. Goryunov

    Published 2019-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 672
    Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines

    Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines by M. L. Gromov, N. V. Shabaldina

    Published 2016-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 673
    The Use of Dependencies for Improving the Precision of Program Static Analysis

    The Use of Dependencies for Improving the Precision of Program Static Analysis by M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko

    Published 2011-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 674
    Local Dynamics of a Second Order Equation with Large Exponentially Distributed Delay and Considerable Friction

    Local Dynamics of a Second Order Equation with Large Exponentially Distributed Delay and Considerable Friction by D. V. Glazkov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 675
    Method of Anti-Virus Protection Based on (n, t) Threshold Proxy Signature with an Arbitrator

    Method of Anti-Virus Protection Based on (n, t) Threshold Proxy Signature with an Arbitrator by E. A. Tolyupa

    Published 2014-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 676
    Asymptotic formula for the moments of Bernoulli convolutions

    Asymptotic formula for the moments of Bernoulli convolutions by E. A. Timofeev

    Published 2016-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 677
    Asymptotic Formula for the Moments of Takagi Function

    Asymptotic Formula for the Moments of Takagi Function by E. A. Timofeev

    Published 2016-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 678
    Software-Defined Networks as a Stage of the Network Technology Evolution

    Software-Defined Networks as a Stage of the Network Technology Evolution by A. A. Krasotin, I. V. Alexseev

    Published 2013-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 679
    On a Segment Partition for Entropy Estimation

    On a Segment Partition for Entropy Estimation by Evgeniy Alexandrovich Timofeev

    Published 2020-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 680
    System Runs Analysis with Process Mining

    System Runs Analysis with Process Mining by S. A. Shershakov, V. A. Rubin

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

Search Tools: