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

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

    Published 2018-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 802
    Parametric Resonance in the Logistic Equation with Delay under a Two-Frequency Perturbation

    Parametric Resonance in the Logistic Equation with Delay under a Two-Frequency Perturbation by N. D. Bykova, S. D. Glyzin, S. A. Kaschenko

    Published 2013-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 803
    Extracting named entities from Russian-language documents with different expressiveness of structure

    Extracting named entities from Russian-language documents with different expressiveness of structure by Maria D. Averina, Olga A. Levanova

    Published 2023-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 804
    C Program Verication in the Multilanguage System Spectrum

    C Program Verication in the Multilanguage System Spectrum by V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky

    Published 2010-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 805
    Heuristic Algorithms for The Problem of Integer Balancing of a Three-dimensional Matrix with Constraints of Second Type

    Heuristic Algorithms for The Problem of Integer Balancing of a Three-dimensional Matrix with Constraints of Second Type by A. V. Smirnov

    Published 2014-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 806
    Model checking programs in process-oriented IEC 61131-3 Structured Text

    Model checking programs in process-oriented IEC 61131-3 Structured Text by Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

    Published 2024-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 807
    Singular Points of Curves

    Singular Points of Curves by Artem D. Uvarov

    Published 2018-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 808
    Calculation of Derivatives in the Lp Spaces where 1 ≤ p ≤ ∞

    Calculation of Derivatives in the Lp Spaces where 1 ≤ p ≤ ∞ by Anatoly Nikolaevich Morozov

    Published 2020-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 809
    Controllable Deadlocks in Parallel Resource-Constrained Workflows

    Controllable Deadlocks in Parallel Resource-Constrained Workflows by V. A. Bashkin, N. Yu. Panfilova

    Published 2014-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 810
    New Approach to Gene Network Modeling

    New Approach to Gene Network Modeling by Sergey D. Glyzin, Andgey Yu. Kolesov, Nikolay Kh. Rozov

    Published 2019-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 811
    Equivalence Problem Solvability in Gateway Program Models

    Equivalence Problem Solvability in Gateway Program Models by R. I. Podlovchenko, A. E. Molchanov

    Published 2014-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 812
    ”Common Criteria” and Software Defined Network Security

    ”Common Criteria” and Software Defined Network Security by Andrey N. Petukhov, Paul L. Pilyugin

    Published 2019-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 813
    On languages of automaton counter machines

    On languages of automaton counter machines by E. V. Kuzmin, D. Ju. Chalyy

    Published 2010-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 814
    Dynamic Model of Growing File-Sharing P2P Network

    Dynamic Model of Growing File-Sharing P2P Network by Alexandra I. Kononova, Larisa G. Gagarina

    Published 2019-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 815
    On the Brauer Group of an Arithmetic Model of a Variety over a Global Field of Positive Characteristic

    On the Brauer Group of an Arithmetic Model of a Variety over a Global Field of Positive Characteristic by T. V. Prokhorova

    Published 2016-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 816
    Algorithm for link prediction in self-regulating network with adaptive topology based on graph theory and machine learning

    Algorithm for link prediction in self-regulating network with adaptive topology based on graph theory and machine learning by Evgeny Y. Pavlenko

    Published 2023-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 817
    Verification Oriented Process Ontology

    Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

    Published 2018-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 818
    Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System

    Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by Dmitry A. Kondratyev

    Published 2021-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 819
    On the Residual Finiteness of Some Generalized Products of Soluble Groups of Finite Rank

    On the Residual Finiteness of Some Generalized Products of Soluble Groups of Finite Rank by A. V. Rozov

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

Search Tools: