Сортировать по:
| Выпуск | Название | |
| Том 35, № 6 (2023) | Классификация текста растрового документа по признаку начертания | Аннотация PDF (Rus) похожие документы |
| Даниил Евгеньевич КОПЫЛОВ, Андрей Анатольевич МИХАЙЛОВ | ||
| "... word. At the last step, the ratings are clustered into two clusters: bold text and regular ..." | ||
| Том 35, № 2 (2023) | Типизированные неизвестные значения: шаг к решению проблемы представления отсутствующей информации в реляционных базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич КУЗНЕЦОВ | ||
| Том 32, № 4 (2020) | Двухшаговый метод объединения новостей в сюжеты | Аннотация PDF (Rus) похожие документы |
| Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ | ||
| "... которой результаты первого «грубого» шага уточняются с помощью бинарного классификатора на парах новостей ..." | ||
| Том 33, № 5 (2021) | Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой | Аннотация PDF (Rus) похожие документы |
| Виталий Адольфович СЕМЕНОВ, Семен Васильевич АРИШИН, Георгий Витальевич СЕМЕНОВ | ||
| "... of standards STEP (ISO 10303) has been developed and employed. The STEP defines an object-oriented language ..." | ||
| Том 27, № 3 (2015) | Двухшаговый генератор гармоничных мелодий | Аннотация PDF (Rus) похожие документы |
| Софья Латкина | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... interoperability and system integration in accordance with STEP standard family (ISO 10303). The examples ..." | ||
| Том 35, № 6 (2023) | Применение алгоритмов машинного обучения для предсказания турбулентной вязкости | Аннотация PDF (Rus) похожие документы |
| Дарья Игоревна РОМАНОВА, Андрей Сергеевич ЕПИХИН, Дарья Юрьевна ИЛЬИНА | ||
| "... the case of flow past the backward-facing step. The training data is obtained by calculations using ..." | ||
| Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
| А. В. Когтенков | ||
| "... . It then proves null-safety preservation theorem for big-step semantics in a computer-checkable way. Finally ..." | ||
| Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация похожие документы |
| Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
| "... approach using natural language processing methods. The algorithm includes the following steps: preparation ..." | ||
| Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) похожие документы |
| А. C. Камкин, М. M. Чупилко | ||
| "... (a general description of the system's architecture is step by step concretized up to a physical layout ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... is comprised of three main steps. First, a Promela model written for a certain configuration of the system ..." | ||
| Том 27, № 3 (2015) | Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных | Аннотация PDF (Rus) похожие документы |
| А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов | ||
| "... This paper investigates a formal approach which supports a critically significant step in object ..." | ||
| Том 34, № 4 (2022) | Методы определения элементов PQRST-комплекса электрокардиограммы | Аннотация PDF (Rus) похожие документы |
| Ольга Анатольевна МАШКОВА, Всеволод Владиславович ШАКЛЕИН, Юрий Витальевич МАРКИН, Евгений Андреевич КАРПУЛЕВИЧ, Владислав Валерьевич АНАНЬЕВ, Ариана Арменовна АСАТРЯН, Шагане Тиграновна ТИГРАНЯН, Сергей Николаевич СКОРИК, Денис Юрьевич ТУРДАКОВ | ||
| "... of the important steps in deciphering an ECG is to determine the boundaries of the elements of the PQRST complex ..." | ||
| Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) похожие документы |
| Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
| "... functionality, use cases, basic steps of the underlying algorithms, and experimental results. ..." | ||
| Том 28, № 3 (2016) | Возможности гибридного метода аппроксимации конвективных потоков при моделировании течений сжимаемых сред | Аннотация PDF (Rus) похожие документы |
| М. В. Крапошин | ||
| "... time step restrictions imposed by this kind of processes when approximated with explicit scheme; b ..." | ||
| Том 31, № 5 (2019) | Методы кросс-языкового поиска похожих документов | Аннотация похожие документы |
| Денис Владимирович Зубарев, Илья Владимирович Соченков | ||
| "... employ a more traditional approach with usage of inverted index, with extra step of mapping top keywords ..." | ||
| Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... . Time-stepping algorithm is defined by the following three steps. Firstly, a prediction of the velocity ..." | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
| В. О. Мордань | ||
| "... efficiency and effectiveness of verification, which is the first step in creating universal method for static ..." | ||
| Том 35, № 6 (2023) | Онтология архитектурных знаний в совместно локализованной “живой” среде | Аннотация PDF (Rus) похожие документы |
| Хосе Луис РОБЛЕС, Хильберто БОРРЕГО, Рамон Рене ПАЛАСИО, Франсиско КАСТИЛЬО-БОРРЕРА | ||
| "... guidelines. Implementing an ontology as a classification scheme represents a step forward to achieving ..." | ||
| Том 36, № 3 (2024) | Статическое распределение памяти для операционных систем реального времени | Аннотация PDF (Rus) похожие документы |
| Софья Анатольевна ЗЕЛЕНОВА | ||
| "... be taken into account when each step of the algorithm is implemented. We tested our approach on real ..." | ||
| Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
| В. А. Платонов, А. В. Монаков | ||
| "... , computing a dot product requires a global reduce operation, and its value is required on the next step, so ..." | ||
| Том 28, № 2 (2016) | Разработка отладчика для операционной системы реального времени | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... in the Institute for System Programming of the Russian Academy of Sciences and next step in developing this system ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... information is an HDL description. The key steps of the method are system model construction and coverage ..." | ||
| Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
| А. А. Карнов, С. В. Зеленов | ||
| "... . Then follows a description of further steps, and some heuristics that allow to extremely reduce running time ..." | ||
| Том 24 (2013) | Гибридный подход к построению систем поддержки решений | Аннотация PDF (Rus) похожие документы |
| В. Н. Юдин, Л. Е. Карпов | ||
| "... Reasoning results are another step forward in comparison with models which are supporting only single ..." | ||
| Том 31, № 4 (2019) | Вычисление приоритетов срабатывания переходов для живых сетей Петри | Аннотация похожие документы |
| Кирилл Геннадьевич Серебренников | ||
| "... as the main method of performance increase. While, for some steps of the algorithm the parallelization ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... of source code that is constantly evolving. As a first step towards static verification of operating system ..." | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов | ||
| "... for reaching specific function in the program. As the first step of our algorithm we extract reduced program ..." | ||
| Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
| А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
| "... technology for more challenging systems? As a step towards a positive answer, we have defined a translation ..." | ||
| Том 36, № 2 (2024) | Исследование электровихревого течения между плоскостями с помощью различных вычислительных подходов | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович МИХАЙЛОВ, Антон Александрович ТАРАНЮК, Анастасия Павловна СТЕПАНОВА | ||
| "... on the time steps in the evolution equation. The problem can be avoided by using approximate boundary ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... describe the main steps of the proposed method including the following: instrumentation specification ..." | ||
| Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
| А. Н. Авдеева, В. В. Пузикова | ||
| "... decomposition method was applied. In each subdomain, the problem at each time step splits into a hyperbolic ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... of the main function. Sinks are accessing to arrays, using variables as a step or loop boundary, calling ..." | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... to depict every step of execution. Finally, we implement and integrate the debugger in the DevM IDE, using ..." | ||
| Том 37, № 2 (2025) | Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич ЛЕБЕДЕВ, Дарья Алексеевна ДЫСКИНА, Анастасия Юрьевна ЕРЕМЕНКО, Фёдор Александрович КАБАНОВ, Илья Александрович КОЗМИН, Даниил Михайлович ПЕТРЕНКО, Никита Басуевич ПОУДИАЛ, Андрей Алексеевич СЕРГЕЕВ, Рена Афраил кызы ШИРИНОВА | ||
| "... and routing as its main steps. Despite that these steps are automated in modern CADs, their execution can take ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... based on tree finite state machines (FSM) is proposed. The first step is the extraction ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... and states. Because of this, the process is divided into several steps. Initial abstract traces (test cases ..." | ||
| Том 24 (2013) | Роль предыстории при оценке сложного объекта в управлении по прецедентам | Аннотация PDF (Rus) похожие документы |
| Л. Е. Карпов, В. Н. Юдин | ||
| "... Building a control system for non-stationary objects is a subsequent step in developing an approach ..." | ||
| Том 36, № 4 (2024) | Высокоскоростной метод перевода чисел из системы остаточных классов в позиционную систему счисления | Аннотация похожие документы |
| Владислав Вячеславович ЛУЦЕНКО, Михаил Григорьевич БАБЕНКО, Мунис Мусинович ХАМИДОВ | ||
| "... incorporates Chinese Remainder Theorem, Akushsky Core Function and rank of number. The step-by-step procedure ..." | ||
| 1 - 39 из 77 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
