Showing 461 - 480 results of 819 for search '"Моделирование и анализ информационных систем"', query time: 0.06s Refine Results
  1. 461
    Quasi-periodic oscillations of a neuron equation with two delays

    Quasi-periodic oscillations of a neuron equation with two delays by S. D. Glyzin, E. O. Ovsyannikova

    Published 2011-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 462
    On the Hereditary Properties of Modular Nets

    On the Hereditary Properties of Modular Nets by V. A. Bashkin

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 463
    Moving Front Solution of the Reaction-Diffusion Problem

    Moving Front Solution of the Reaction-Diffusion Problem by Evgeny A. Antipov, Vladimir T. Volkov, Natalia T. Levashova, Nikolay N. Nefedov

    Published 2017-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 464
    Dynamics of the Simplest Piecewise Linear Discontinuous Mappings

    Dynamics of the Simplest Piecewise Linear Discontinuous Mappings by D. S. Kaschenko

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 465
    Translation from Event-B into Eiffel

    Translation from Event-B into Eiffel by Sofia Reznikova, Victor Rivera, Joo Young Lee, Manuel Mazzara

    Published 2018-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 466
    Dynamic Programming in a Generalized Courier Problem with Inner Tasks: Elements of a Parallel Structure

    Dynamic Programming in a Generalized Courier Problem with Inner Tasks: Elements of a Parallel Structure by A. M. Grigoriev, E. E. Ivanko, A. G. Chentsov

    Published 2011-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 467
    The problem of berst influence on the generalized automatic neuron

    The problem of berst influence on the generalized automatic neuron by E. V. Konovalov

    Published 2007-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 468
    The Impulse-Refractive Mode in the Neural Network with Ring Synaptic Interaction

    The Impulse-Refractive Mode in the Neural Network with Ring Synaptic Interaction by Margarita M. Preobrazhenskaia

    Published 2017-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 469
    A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs

    A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs by Andrew M. Mironov

    Published 2021-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 470
    Visual Web-Oriented Environment of Dynamic Control of Data Flow in Campus of Software Defined Networks

    Visual Web-Oriented Environment of Dynamic Control of Data Flow in Campus of Software Defined Networks by Vyacheslav P. Koryachko, Dmitry A. Perepelkin, Maria A. Ivanchikova, Vladimir S. Byshov

    Published 2019-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 471
    A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems

    A Simple Algorithm for Solving the Coverability Problem for Monotonic Counter Systems by And. V. Klimov

    Published 2011-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 472
    Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

    Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage by Aleksandr S. Tvardovskii, Khaled El-Fakih, Maksim L. Gromov, Nina V. Yevtushenko

    Published 2017-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 473
    Corrigendum to: V. A. Sokolov, “On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions”, Modeling and analysis of information systems, vol. 27, no. 3, pp. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315

    Corrigendum to: V. A. Sokolov, “On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions”, Modeling and analysis of information systems, vol. 2... by Valery Anatolyevich Sokolov

    Published 2020-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 474
    On Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations

    On Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations by Petr D. Borisov, Yury V. Kosolapov

    Published 2021-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 475
    On a Nonstationary Route Problem with Constraints

    On a Nonstationary Route Problem with Constraints by A. G. Chentsov, P. A. Chentsov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 476
    Corner Boundary Layer in Nonlinear Elliptic Problems Containing Derivatives of First Order

    Corner Boundary Layer in Nonlinear Elliptic Problems Containing Derivatives of First Order by V. F. Butuzov, I. V. Denisov

    Published 2014-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 477
    FDTD Method for Piecewise Homogeneous Dielectric Media

    FDTD Method for Piecewise Homogeneous Dielectric Media by Zh. O. Dombrovskaya

    Published 2016-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 478
    Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver

    Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver by Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson

    Published 2014-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 479
    Word Embedding for Semantically Relative Words: an Experimental Study

    Word Embedding for Semantically Relative Words: an Experimental Study by Maria S. Karyaeva, Pavel I. Braslavski, Valery A. Sokolov

    Published 2018-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 480
    Subword Complexes and Nil-Hecke Moves

    Subword Complexes and Nil-Hecke Moves by M. A. Gorsky

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

Search Tools: