Сортировать по:
| Выпуск | Название | |
| Том 35, № 4 (2023) | Символьное вычисление условия резонанса произвольного порядка в системе Гамильтона | Аннотация PDF (Rus) похожие документы |
| Александр Борисович БАТХИН, Зафар Хайдар угли ХАЙДАРОВ | ||
| "... of existence of a resonance of arbitrary order for a system with three degrees of freedom. It is shown ..." | ||
| Том 26, № 5 (2014) | Расчет распада произвольного разрыва в двухскоростном потоке с несжимаемыми компонентами | Аннотация PDF (Rus) похожие документы |
| Б. Л. Канцырев | ||
| Том 28, № 1 (2016) | Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... to simulate viscous incompressible flows around a moving airfoil of arbitrary shape or airfoils system ..." | ||
| Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
| А. В. Дергачёв, А. В. Сидорин | ||
| Том 28, № 1 (2016) | Применение спектральных методов обработки данных к результатам численного моделирования аттракторов внутренних волн | Аннотация PDF (Rus) похожие документы |
| М. Провидухина, И. Сибгатуллин | ||
| "... of daughter waves of frequencies, corresponding to triadic resonance, which is also demonstrated with the help ..." | ||
| Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... viscous incompressible flows around a moving airfoil of arbitrary shape or airfoils system with one or two ..." | ||
| Том 27, № 5 (2015) | Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время | Аннотация PDF (Rus) похожие документы |
| А. С. Асратян, Н. Н. Кузюрин | ||
| "... . We propose for arbitrary small an approximation scheme for this problem that works in expected ..." | ||
| Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) похожие документы |
| И. Бурдонов, А. Косачев, А. Сортов | ||
| "... of the graph, in particular, FSB, MST and the problem of Hamiltonian cycle search. In section 7, time-optimal ..." | ||
| Том 25 (2013) | Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера | Аннотация PDF (Rus) похожие документы |
| А. В. Шокуров | ||
| "... Described and proved the algorithm for finding some solution of algebraic equations over arbitrary ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... . The functional purpose of it is to investigate arbitrary executable files of the operating system in the absence ..." | ||
| Том 26, № 6 (2014) | Параллельные вычисления автоматами на прямом и обратном остовах графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев, Виктор Кулямин | ||
| "... The paper presents a parallel computation algorithm of an arbitrary function value on a multiset ..." | ||
| Том 27, № 6 (2015) | Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций | Аннотация PDF (Rus) похожие документы |
| Ю. Н. Матвеев, Н. А. Стукалова | ||
| "... of concentration of harmful impurities in the arbitrary point of the space and the mathematical model of processes ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... execution. The functional purpose of this system is to investigate arbitrary executable files ..." | ||
| Том 35, № 6 (2023) | Использование переноса стиля как способ улучшения обобщающей способности нейросети в задаче детекции объектов | Аннотация PDF (Rus) похожие документы |
| Денис Константинович КАРАЧЕВ, Сергей Евгеньевич ШТЕХИН, Владимир Сергеевич ТАРАСЯН, Илья Юрьевич СМОЛИН, Максим Владимирович ИСАКОВ | ||
| "... network architecture capable of carrying an arbitrary number of styles. The peculiarity of the approach ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... , arbitrary assumptions can be made about this function return value in the process of verification. Although ..." | ||
| Том 33, № 4 (2021) | Средства захвата и обработки высокоскоростного сетевого трафика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЛАРИН, Александр Игоревич ГЕТЬМАН | ||
| "... for this demand. These frameworks enable arbitrary packet processing systems to be built from commodity hardware ..." | ||
| Том 36, № 5 (2024) | Автоматическое построение правил извлечения информации для новостных веб-сайтов | Аннотация PDF (Rus) похожие документы |
| Сергей Сергеевич ДУБОВИЦКИЙ, Павел Александрович БЕДРИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ | ||
| "... a single site, enabling attribute extraction from arbitrary news pages on that site. The method is based ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... navigation across crosscutting concerns faster and easier. Concerns are represented as a tree of an arbitrary ..." | ||
| Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
| О. В. Горемыкин | ||
| "... reference other objects by their IDs. An arbitrary board configuration can be described with this format ..." | ||
| Том 26, № 3 (2014) | Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков, В. А. Платонов | ||
| "... computing can be supported together with arbitrary boundary conditions by copying only boundary coefficients ..." | ||
| Том 22 (2012) | Задача локального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов | ||
| "... , then a spill of an arbitrary register is generated. On basic block ends and helper functions' calls all global ..." | ||
| Том 22 (2012) | Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала | Аннотация PDF (Rus) похожие документы |
| А. В. Шокуров | ||
| "... ideal for an arbitrary basis. As it turned out later by T.W. Dube this estimate cannot be improved ..." | ||
| Том 31, № 4 (2019) | Проектирование интерфейсов классов графовой модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Леонидович Карпов, Ирина Анатольевна Волкова, Алексей Александрович Вылиток, Леонид Евгеньевич Карпов, Юрий Геннадьевич Сметанин | ||
| "... components. These operations include building spanning tree for arbitrary graph, building cograph ..." | ||
| Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
| Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
| "... the relationship between symbolic values in the graph. We also expand existing vertex types to support arbitrary ..." | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| "... , terms of symbolic heap calculus, which characterize arbitrary cyclic code segments. All states inferred ..." | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| "... be described by arbitrary information schemas in EXPRESS, formal rules for the producing JSON notation ..." | ||
| Том 36, № 6 (2024) | Совершенствование моделей оценки путем объединения независимых источников данных | Аннотация похожие документы |
| Франсиско ВАЛЬДЕС-СОУТО, Хорхе ВАЛЕРИАНО-АССЕМ | ||
| "... include insufficient datasets with enough data points and arbitrary integration of different source ..." | ||
| Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| К. А. Батузов | ||
| "... basic block b' that precides arbitrary block b it's postconditions are the same as preconditions of b ..." | ||
| Том 34, № 1 (2022) | Анализ регулярности матриц | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ | ||
| "... the regularity of arbitrary matrices and is defined as the percentage of the sum of the regularity of a matrix ..." | ||
| Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... instances of library subroutines in arbitrary pieces of program code. In this paper we study the complexity ..." | ||
| Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Д. А. Максименков | ||
| "... is orthogonal to particular input data in that sense it is able to detect the bugs on arbitrary data flow ..." | ||
| Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
| "... features (e.g. using only a finite set of integer variables) to more complicated programs of arbitrary size ..." | ||
| Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) похожие документы |
| С. Н. Жук | ||
| "... that for arbitrary set of parallel tasks (rectangles) the obtained schedule (packing) is within 2e of the optimal ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... arbitrary side effects due to memory-mapped devices or other non-trivial behavior of the memory system. ..." | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан | ||
| "... of such errors can lead to an arbitrary code execution and system disclosure. This paper considers a method ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... we showed how to verify whether an arbitrary given trace in a TFSM is steady, i.e. preserves the same ..." | ||
| Том 29, № 1 (2017) | Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах | Аннотация похожие документы |
| М. Д. Калугин, И. Е. Евдокимов | ||
| "... to its real prototype with known resonance frequencies. The solver was previously validated on simple ..." | ||
| Том 36, № 3 (2024) | Автоматизация задачи прогнозирования рецидива рака шейки матки с помощью условной порождающей состязательной сети | Аннотация PDF (Rus) похожие документы |
| Петр Андреевич ПЫЛОВ, Роман Вячеславович МАЙТАК, Ольга Николаевна ЧУРУКСАЕВА | ||
| "... of tumor foci and their relative areas on the magnetic resonance tomography image. The feasibility ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... for google “clspv” compiler and GLSL shaders for an arbitrary GLSL compiler. Clspv variant is better for code ..." | ||
| 1 - 39 из 39 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
