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

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

    Published 2010-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  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
    Save to List
    Saved in:
  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
    Save to List
    Saved in:
  4. 4
    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
    Save to List
    Saved in:
  5. 5
    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
    Save to List
    Saved in:
  6. 6
    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
    Save to List
    Saved in:
  7. 7
    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
    Save to List
    Saved in:
  8. 8
    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
    Save to List
    Saved in:
  9. 9
    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
    Save to List
    Saved in:
  10. 10
    Hierarchical classification of scientific articles using deep learning (using the UDC hierarchy as an example)

    Hierarchical classification of scientific articles using deep learning (using the UDC hierarchy as an example) by Valentin Y. Mamedov, Danil A. Kovalevsky, Dmitry A. Morozov, Stepan S. Stolyarov, Sergey S. Ospichev

    Published 2025-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    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
    Save to List
    Saved in:
  12. 12
    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
    Save to List
    Saved in:
  13. 13
    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
    Save to List
    Saved in:
  14. 14
    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
    Save to List
    Saved in:
  15. 15
    Evolution of DBMS DIM Database Schemes

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

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    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
    Save to List
    Saved in:
  17. 17
    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
    Save to List
    Saved in:
  18. 18
    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
    Save to List
    Saved in:
  19. 19
    Defect Detection: Combining Bounded Model Checking and Code Contracts

    Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

    Published 2013-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Dynamic Properties of First-order Equations with Large Delay

    Dynamic Properties of First-order Equations with Large Delay by I. S. Kashchenko

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

Search Tools: