Showing 501 - 520 results of 819 for search '"Моделирование и анализ информационных систем"', query time: 0.06s Refine Results
  1. 501
    Construction of the Asymptotic Expansion of Solution of the Impulse Neuron Differential Equation with Variable Delay

    Construction of the Asymptotic Expansion of Solution of the Impulse Neuron Differential Equation with Variable Delay by I. V. Paramonov

    Published 2007-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 502
    An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution

    An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution by N. O. Garanina, E. A. Sidorova

    Published 2016-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 503
    Exact Values of Widths of Some Functional Classes in L2 and Minimization of the Constants in Inequalities of Jackson – Stechkin Type

    Exact Values of Widths of Some Functional Classes in L2 and Minimization of the Constants in Inequalities of Jackson – Stechkin Type by G. A. Yusupov

    Published 2013-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 504
    On Construction and Verification of PLC-Programs

    On Construction and Verification of PLC-Programs by E. V. Kuzmin, V. A. Sokolov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 505
    Local Dynamics of the Hutchinson Equation with Two Delays in a Critical Case of a Resonance 1:2

    Local Dynamics of the Hutchinson Equation with Two Delays in a Critical Case of a Resonance 1:2 by E. O. Kiseleva

    Published 2007-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 506
    Construction and Verification of PLC-programs by LTL-specification

    Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

    Published 2013-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 507
    Analysis of Students’ Academic Performance using LMS Event Logs

    Analysis of Students’ Academic Performance using LMS Event Logs by Nikita D. Shaimov, Irina A. Lomazova, Alexey A. Mitsyuk, Ilya Yu. Samonenko

    Published 2022-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 508
    The Asymptotics of Periodic Solutions of Autonomous Parabolic Equations with Rapidly Oscillating Coefficients and Equations with Large Diffusion Coefficients

    The Asymptotics of Periodic Solutions of Autonomous Parabolic Equations with Rapidly Oscillating Coefficients and Equations with Large Diffusion Coefficients by S. A. Kashchenko, A. S. Polstyanov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 509
    Verification of Programs with Mutual Recursion in the Pifagor Language

    Verification of Programs with Mutual Recursion in the Pifagor Language by Mariya S. Ushakov, Alexander I. Legalov

    Published 2018-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 510
    On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits

    On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits by V. A. Bashkin

    Published 2013-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 511
    The recursive parallel programming shell for Win32

    The recursive parallel programming shell for Win32 by V. V. Vasilchikov

    Published 2008-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 512
    Aspects of the ARTCP implementation for the Linux kernel 2.6

    Aspects of the ARTCP implementation for the Linux kernel 2.6 by I. V. Alexeev, S. A. Merkulov, A. A. Sivov

    Published 2010-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 513
    Regular Polygonal Complexes of Higher Ranks in E³

    Regular Polygonal Complexes of Higher Ranks in E³ by Egon Schulte

    Published 2013-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 514
    RussianLanguage Thesauri: Automated Construction and Application For Natural Language Processing Tasks

    RussianLanguage Thesauri: Automated Construction and Application For Natural Language Processing Tasks by Nadezhda S. Lagutina, Ksenia V. Lagutina, Aleksey S. Adrianov, Ilya V. Paramonov

    Published 2018-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 515
    Formal Diagonalisation of Lax-Darboux Schemes

    Formal Diagonalisation of Lax-Darboux Schemes by A. V. Mikhailov

    Published 2015-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 516
    On the Detection of Exploitation of Vulnerabilities Leading to the Execution of a Malicious Code

    On the Detection of Exploitation of Vulnerabilities Leading to the Execution of a Malicious Code by Yury V. Kosolapov

    Published 2020-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 517
    On Geometric Characteristics of an <i>n</i>-Dimensional Simplex

    On Geometric Characteristics of an <i>n</i>-Dimensional Simplex by M. V. Nevskii

    Published 2011-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 518
    From the editors of the special issue

    From the editors of the special issue by Valentin F. Butuzov, Sergey D. Glyzin, Nikolay N. Nefedov

    Published 2017-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 519
    On the Firmness Code Noising to the Statistical Analysis of the Observable Data of Repeated Repetition

    On the Firmness Code Noising to the Statistical Analysis of the Observable Data of Repeated Repetition by V. M. Deundyak, J. V. Kosolapov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 520
    Verification of declarative LTL-specification of control programs behavior

    Verification of declarative LTL-specification of control programs behavior by Maxim V. Neyzov, Egor V. Kuzmin

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

Search Tools: