Dynamically Changing Parallelism with the Asynchronous Sequential Data Flows

JOURNAL ARTICLE published 24 June 2020 in Modeling and Analysis of Information Systems

Authors: Alexander I. Legalov | Ivan V. Matkovskii | Mariya S. Ushakova | Darya S. Romanova

On the Hodge, Tate and Mumford-Tate Conjectures for Fibre Products of Families of Regular Surfaces with Geometric Genus 1

JOURNAL ARTICLE published 30 June 2018 in Modeling and Analysis of Information Systems

Authors: Olga V. Oreshkina (Nikol’skaya)

Notes on Recent Achievements in Proving Stability using KeYmaeraX

JOURNAL ARTICLE published 18 December 2021 in Modeling and Analysis of Information Systems

Authors: Thomas Baar | Horst Schulte

Discovering High-Level Process Models from Event Logs

JOURNAL ARTICLE published 1 January 2017 in Modeling and Analysis of Information Systems

Authors: Antonina A. Begicheva | Irina A. Lomazov

On a Nonstationary Route Problem with Constraints

JOURNAL ARTICLE published 28 February 2015 in Modeling and Analysis of Information Systems

Authors: A. G. Chentsov | P. A. Chentsov

Center Manifold Method in the Asymptotic Integration Problem for Functional Differential Equations with Oscillatory Decreasing Coefficients. II

JOURNAL ARTICLE published 1 January 2014 in Modeling and Analysis of Information Systems

Authors: P. N. Nesterov

FDTD Method for Piecewise Homogeneous Dielectric Media

JOURNAL ARTICLE published 1 January 2016 in Modeling and Analysis of Information Systems

Authors: Zh. O. Dombrovskaya

A Novel Approach to Many-to-Many User Authentication in Different Information Systems

JOURNAL ARTICLE published 17 March 2015 in Modeling and Analysis of Information Systems

Authors: Vitaly Petrov | Maria Komar | Yevgeny Koucheryavy

The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms

JOURNAL ARTICLE published 18 March 2015 in Modeling and Analysis of Information Systems

Authors: V. A. Bitner | N. V. Zaborovsky

From the Editor of the special issue

JOURNAL ARTICLE published 27 June 2016 in Modeling and Analysis of Information Systems

Authors: S. D. Glyzin

The Support Splitting Algorithm for Induced Codes

JOURNAL ARTICLE published 30 June 2018 in Modeling and Analysis of Information Systems

Authors: Yury V. Kosolapov | Aleksey N. Shigaev

Formal Verification of Programs in Functional Dataflow Parallel Language

JOURNAL ARTICLE published 4 March 2015 in Modeling and Analysis of Information Systems

Authors: M. S. Kropacheva | A. I. Legalov

Generation of a Social Network Graph by Using Apache Spark

JOURNAL ARTICLE published 1 January 2016 in Modeling and Analysis of Information Systems

Authors: Y. A. Belov | S. I. Vovchok

About Algebraic Program Models with Procedures

JOURNAL ARTICLE published 4 March 2015 in Modeling and Analysis of Information Systems

Authors: R. I. Podlovchenko | A. E. Molchanov

Formation of Machine Learning Features Based on the Construction of Tropical Functions

JOURNAL ARTICLE published 25 September 2022 in Modeling and Analysis of Information Systems

Authors: Sergey N. Chukanov | Ilya S. Chukanov

On Verification of PLC-Programs Written in the LD-Language

JOURNAL ARTICLE published 25 February 2015 in Modeling and Analysis of Information Systems

Authors: E. V. Kuzmin | V. A. Sokolov

Deformations of Planar Equilateral Polygons with a Constant Index

JOURNAL ARTICLE published 18 March 2015 in Modeling and Analysis of Information Systems

Authors: E. S. Zaputryaeva

Polyhedral Graphs of GRAPH PARTITIONING and COMPLETE BIPARTITE SUBGRAPH Problems

JOURNAL ARTICLE published 12 March 2015 in Modeling and Analysis of Information Systems

Authors: A. I. Antonov | V. A. Bondarenko

Backup with Storage in a Database

JOURNAL ARTICLE published 1 January 2016 in Modeling and Analysis of Information Systems

Authors: S. M. Taranin

The Dynamics of Kuramoto Equation with Spatially-Distributed Control

JOURNAL ARTICLE published 24 February 2015 in Modeling and Analysis of Information Systems

Authors: I. S. Kashchenko | S. A. Kashchenko