Showing 1 - 20 results of 973 for search '"Моделирование и анализ информационных систем"', query time: 0.60s Refine Results
  1. 1
    От редакторов специального выпуска

    От редакторов специального выпуска

    Published 2010-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  2. 2
    C-programs Verification on Basis of Mixed Axiomatic Semantics

    C-programs Verification on Basis of Mixed Axiomatic Semantics by I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy

    Published 2010-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  3. 3
    Software for Graph Analysis and Visualization

    Software for Graph Analysis and Visualization by M. I. Kolomeychenko, A. A. Zolotyh, I. V. Polyakov, A. M. Chepovskiy

    Published 2014-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  4. 4
    Смещение статистической оценки энтропии для простейшей меры Бернулли

    Смещение статистической оценки энтропии для простейшей меры Бернулли

    Published 2006-01-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  5. 5
    Families of Smooth Rational Curves of Small Degree on the Fano Variety of Degree 5 of Main Series

    Families of Smooth Rational Curves of Small Degree on the Fano Variety of Degree 5 of Main Series by M. S. Omelkova

    Published 2013-01-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  6. 6
    Some Notes about Arrangements of Points on Quadrics

    Some Notes about Arrangements of Points on Quadrics by A. V. Seliverstov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  7. 7
    A New Proof of the Euler Formula

    A New Proof of the Euler Formula by M. I. Shtogrin

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  8. 8
    Dissipative Structures of the Kuramoto–Sivashinsky Equation

    Dissipative Structures of the Kuramoto–Sivashinsky Equation by N. A. Kudryashov, P. N. Ryabov, B. A. Petrov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  9. 9
    SELF-EXCITED WAVE PROCESSES IN CHAINS OF UNIDIRECTIONALLY COUPLED IMPULSE NEURONS

    SELF-EXCITED WAVE PROCESSES IN CHAINS OF UNIDIRECTIONALLY COUPLED IMPULSE NEURONS by S. D. Glyzin, A. Yu. Kolesov, N. Kh. Rozov

    Published 2015-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  10. 10
    Бифуркация плоских волн обобщенного кубического уравнения Шредингера в цилиндрической области

    Бифуркация плоских волн обобщенного кубического уравнения Шредингера в цилиндрической области

    Published 2006-01-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  11. 11
    Formal Verification of Three-Valued Digital Waveforms

    Formal Verification of Three-Valued Digital Waveforms by Nina Yu. Kutsak, Vladislav V. Podymov

    Published 2019-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  12. 12
    Object Query Computing Optimization in the Dynamic Information Model DIM

    Object Query Computing Optimization in the Dynamic Information Model DIM by V. S. Roublev

    Published 2011-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  13. 13
    CPN Tools-Assisted Simulation and Verification of Nested Petri Nets

    CPN Tools-Assisted Simulation and Verification of Nested Petri Nets by L. W. Dworza´nski, I. A. Lomazova

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  14. 14
    Design of Onboard Real-Time Networks Based on SDN Technology

    Design of Onboard Real-Time Networks Based on SDN Technology by Vasily V. Balashov, Valery A. Kostenko, Tatiana I. Ermakova

    Published 2019-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  15. 15
    On Some Results in the Geometry of Convex Bodies and their Applications

    On Some Results in the Geometry of Convex Bodies and their Applications by M. V. Nevskii

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  16. 16
    The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms

    The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms by V. A. Bitner, N. V. Zaborovsky

    Published 2013-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  17. 17
    Evolution of DBMS DIM Database Schemes

    Evolution of DBMS DIM Database Schemes by V. S. Roublev

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  18. 18
    UAV detection using neural networks

    UAV detection using neural networks by Maria D. Averina, Olga Levanova, Darya V. Grushevskaya, Kirill A. Kukharev, Dmitriy M. Murin, Maksim A. Kalinin

    Published 2024-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  19. 19
    On asymptotics of the entropy estimator bias for Bernoulli measures

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

    Published 2009-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
  20. 20
    Text classification by CEFR levels using machine learning methods and BERT language model

    Text classification by CEFR levels using machine learning methods and BERT language model by Nadezhda S. Lagutina, Ksenia V. Lagutina, Anastasya M. Brederman, Natalia N. Kasatkina

    Published 2023-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article

Search Tools: