Showing 621 - 640 results of 819 for search '"Моделирование и анализ информационных систем"', query time: 0.07s Refine Results
  1. 621
    About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees

    About Not Countable Ideals in a Semi-Lattice of the Enumeration Degrees by B. I. Solon, V. V. Tikhov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 622
    Attractor in Circular Structure of Oscillatory Generalized Neural Elements

    Attractor in Circular Structure of Oscillatory Generalized Neural Elements by E. V. Konovalov

    Published 2014-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 623
    On the Lassak Conjecture for a Convex Body

    On the Lassak Conjecture for a Convex Body by M. V. Nevskii

    Published 2011-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 624
    The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination

    The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination by Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy

    Published 2018-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 625
    Mathematical justification of one numerical experiment

    Mathematical justification of one numerical experiment by A. V. Dymov, P. N. Nesterov

    Published 2009-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 626
    Asymptotic Approximation of the Stationary Solution with Internal Layer for FitzHugh–Nagumo System

    Asymptotic Approximation of the Stationary Solution with Internal Layer for FitzHugh–Nagumo System by A. A. Melnikova, R. L. Argun

    Published 2016-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 627
    Attribute Annotations and Their Use in C Program Deductive Verification

    Attribute Annotations and Their Use in C Program Deductive Verification by M. M. Atuchin, I. S. Anureev

    Published 2011-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 628
    On a reachability set of automaton 3-counter machines

    On a reachability set of automaton 3-counter machines by E. V. Kuzmin, D. J. Chalyy

    Published 2009-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 629
    Automatic determination of semantic similarity of student answers with the standard one using modern models

    Automatic determination of semantic similarity of student answers with the standard one using modern models by Nadezhda S. Lagutina, Ksenia V. Lagutina, Vladislav N. Kopnin

    Published 2024-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 630
    Etude on Recursion Elimination

    Etude on Recursion Elimination by Nikolay Shilov

    Published 2018-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 631
    Parametric Resonance in a Time-Dependent Harmonic Oscillator

    Parametric Resonance in a Time-Dependent Harmonic Oscillator by P. N. Nesterov

    Published 2013-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 632
    The Support Splitting Algorithm for Induced Codes

    The Support Splitting Algorithm for Induced Codes by Yury V. Kosolapov, Aleksey N. Shigaev

    Published 2018-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 633
    An Algorithm of (n, t)-Threshold Proxy Signature with an Arbitrator

    An Algorithm of (n, t)-Threshold Proxy Signature with an Arbitrator by E. A. Tolyupa

    Published 2013-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 634
    Asymptotics, Stability and Region of Attraction of a Periodic Solution to a Singularly Perturbed Parabolic Problem in Case of a Multiple Root of the Degenerate Equation

    Asymptotics, Stability and Region of Attraction of a Periodic Solution to a Singularly Perturbed Parabolic Problem in Case of a Multiple Root of the Degenerate Equation by V. F. Butuzov, N. N. Nefedov, L. Recke, K. Schneider

    Published 2016-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 635
    An Algorithm for Parameters Estimation of Autoregressive Model of Basic Speech Units

    An Algorithm for Parameters Estimation of Autoregressive Model of Basic Speech Units by I. V. Gubochkin

    Published 2013-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 636
    Analysis of the Conditions for the Emergence of Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems

    Analysis of the Conditions for the Emergence of Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems by Evgenii P. Kubyshkin, Vladimir A. Kulikov

    Published 2019-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 637
    Backtracking Algorithms for Constructing the Hamiltonian Decomposition of a 4-regular Multigraph

    Backtracking Algorithms for Constructing the Hamiltonian Decomposition of a 4-regular Multigraph by Alexander V. Korostil, Andrei V. Nikolaev

    Published 2021-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 638
    Property-Directed Inference of Relational Invariants

    Property-Directed Inference of Relational Invariants by Dmitry A. Mordvinov

    Published 2019-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 639
    Method of the Joint Clustering in Network and Correlation Spaces

    Method of the Joint Clustering in Network and Correlation Spaces by Anastasiia N. Gainullina, Anatoly A. Shalyto, Alexey A. Sergushichev

    Published 2020-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 640
    PL/ODQL object enhancement of ODQL query language for Dynamic information model DIM

    PL/ODQL object enhancement of ODQL query language for Dynamic information model DIM by D. S. Pisarenko

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

Search Tools: