نتائج البحث

The Construction of an Universal Linearized Control Flow Graph for Static Code Analysis of Algorithms ; Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов

• Authors : V. A. Bitner; N. V. Zaborovsky; Вильгельм Александрович Битнер

Subjects: оптимизирующий компилятор; static analysis; multithreaded algorithms

• Source: Modeling and Analysis of Information Systems; Том 20, № 2 (2013); 166-177 ; Моделирование и анализ информационных систем; Том 20, № 2 (2013); 166-177

تفاصيل العنوان

Universal extremum of hyperplanes in some optimization problems ; Гиперплоскости универсальной экстремали некоторых задач оптимизации

• Authors : N. P. Fedotova; Н. П. Федотова

Subjects: optimization problems; Euclidean norm; symmetrical norm

• Source: Modeling and Analysis of Information Systems; Том 17, № 3 (2010); 91-106 ; Моделирование и анализ информационных систем; Том 17, № 3 (2010); 91-106 ;

تفاصيل العنوان

Testing Dependencies and Inference Rules in Databases ; Тестирование зависимостей и правил вывода в базах данных

• Authors : Sergey V. Zykin; Сергей Владимирович Зыкин

Subjects: testing; join dependencies; inference rules

• Source: Modeling and Analysis of Information Systems; Том 29, № 3 (2022); 210-227 ; Моделирование и анализ информационных систем; Том 29, № 3 (2022); 210-227

تفاصيل العنوان

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 ; Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315

• Authors : Valery Anatolyevich Sokolov; Валерий Анатольевич Соколов

• Source: Modeling and Analysis of Information Systems; Том 27, № 4 (2020); 510-511 ; Моделирование и анализ информационных систем; Том 27, № 4 (2020); 510-511

تفاصيل العنوان

On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories ; О методах верификации и разработки программ развития сельскохозяйственных территорий

• Authors : Jorge Vega Vice; Valery Mikhailov; Хорхе Луис Вега Висе

Subjects: модель сельскохозяйственной территории; verification of development programs; development of proper development programs

• Source: Modeling and Analysis of Information Systems; Том 25, № 5 (2018); 481-490 ; Моделирование и анализ информационных систем; Том 25, № 5 (2018); 481-490

تفاصيل العنوان

Equivalence of Conventional and Modified Network of Generalized Neural Elements ; Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов

• Authors : E. V. Konovalov; Е. В. Коновалов

Subjects: МОНЭ-сеть; models of neural element; generalized neural element

• Source: Modeling and Analysis of Information Systems; Том 23, № 5 (2016); 657-666 ; Моделирование и анализ информационных систем; Том 23, № 5 (2016); 657-666

تفاصيل العنوان

Completeness of the Dynamics of the Attributes Values of Data in the Database DIM ; Полнота динамики значений свойств данных в СУБД DIM

• Authors : A. N. Petrov; V. S. Roublev; Алексей Николаевич Петров

Subjects: полнота представления; dynamics data; description completeness

• Source: Modeling and Analysis of Information Systems; Том 22, № 2 (2015); 259-277 ; Моделирование и анализ информационных систем; Том 22, № 2 (2015); 259-277

تفاصيل العنوان

Attractor in Circular Structure of Oscillatory Generalized Neural Elements ; Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа

• Authors : E. V. Konovalov; Евгений Владиславович Коновалов; РФФИ

Subjects: кольцевые нейронные структуры; models of neural element; generalized neural element

• Source: Modeling and Analysis of Information Systems; Том 21, № 5 (2014); 148-161 ; Моделирование и анализ информационных систем; Том 21, № 5 (2014); 148-161

تفاصيل العنوان

Application of Computer Algebra Systems to the Construction of the Collocations and Least Residuals Method for Solving the 3D Navier–Stokes Equations ; Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса

• Authors : V. P. Shapeev; E. V. Vorozhtsov; Василий Павлович Шапеев ...

Subjects: подпространства Крылова; the method of collocations and least residuals; computer algebra

• Source: Modeling and Analysis of Information Systems; Том 21, № 5 (2014); 131-147 ; Моделирование и анализ информационных систем; Том 21, № 5 (2014); 131-147

تفاصيل العنوان