Сортировать по:
| Выпуск | Название | |
| Том 35, № 3 (2023) | Выявление REDoS cитуаций в регулярных выражениях структуры «домино» | Аннотация похожие документы |
| Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА | ||
| "... open-source tools for detecting REDoS and identify a class of regexes that can create REDoS situations ..." | ||
| Том 37, № 4 (2025): Часть 1 | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... for streaming data processing and resilience against ReDoS (Regular Expression Denial of Service) attacks ..." | ||
| Том 33, № 2 (2021) | Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма | Аннотация PDF (Rus) похожие документы |
| Донован РИАНЬО-ЭНРИКЕС, Родриго ПИНОН-АЯЛА, Гильермо МОЛЕРО-КАСТИЛЬО, Эверардо БАРСЕНАС, Алехандро ВЕЛАСКЕС-МЕНА | ||
| "... Представлена реализация алгоритма распознавания Web-рекламы с использованием регулярных выражений ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... оператор снабжён регулярным выражением над входным алфавитом автомата, и 2) каждое атомарное высказывание ..." | ||
| Том 37, № 1 (2025) | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) похожие документы |
| Валерий Николаевич ИГНАТЬЕВ | ||
| "... конечных автоматах над деревьями (КАД), аналогичных НКА и ДКА для регулярных языков над символьным ..." | ||
| Том 24 (2013) | Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных | Аннотация PDF (Rus) похожие документы |
| И. В. Блудов | ||
| "... реляционной модели данных. Рассмотрены особенности табличных выражений в стандарте SQL и показаны случаи, в ..." | ||
| Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин | ||
| "... семафора. Определено множество регулярных языков, моделирующих блокировки и разблокировки при конкретном ..." | ||
| Том 31, № 5 (2019) | Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Абрамов, Денис Евгеньевич Хмельнов, Анна Андреевна Рябенко | ||
| "... Обсуждаются задачи построения лорановых и регулярных решений линейных обыкновенных ..." | ||
| Том 31, № 6 (2019) | Исследование влияния регулярных магнитных полей на течения во внешних кольцах галактик | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Михайлов, Ильяс Наилевич Сибгатуллин | ||
| Том 28, № 4 (2016) | Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL | Аннотация PDF (Rus) похожие документы |
| Е. Ю. Шарыгин, Р. А. Бучацкий, Л. В. Скворцов, Р. А. Жуйков, Д. М. Мельник | ||
| "... запросов, в частности, компиляция выражений оператора WHERE и метода последовательного сканирования таблиц ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... быть легко представлен в виде регулярного выражения. В сгенерированном автомате учитывается только та ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... поддержку теории строк и регулярных выражений. В статье описывается возможность применения этой теории к ..." | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... некоторые компоненты (сообщения и линии жизни) на основе регулярных выражений и строить иерархические ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... синтезируемых UML диаграмм последовательности, мы предлагаем обобщающую технику, основанную на регулярных ..." | ||
| Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
| "... может происходить как поиском гаджетов по шаблонам, задаваемым регулярными выражениями, так и с учетом ..." | ||
| Том 25 (2013) | Исследование и развитие метода декомпозиции для анализа больших пространственных данных | Аннотация PDF (Rus) похожие документы |
| В. А. Золотов, В. А. Семенов | ||
| "... пространственных данных. Главное внимание уделяется алгоритмам, основанным на регулярных октальных деревьях и ..." | ||
| Том 23 (2012) | Комбинирование признаков для извлечения тематических цепочек в новостном кластере | Аннотация PDF (Rus) похожие документы |
| А. А. Алексеев, Н. В. Лукашевич | ||
| "... В данной работе предлагается метод для извлечения цепочек семантически близких слов и выражений ..." | ||
| Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... точном учете семантики выражений с указателями. От точности анализа данных выражений зависит ..." | ||
| Том 34, № 1 (2022) | Анализ регулярности матриц | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ | ||
| "... матрицы к сумме регулярности «самой регулярной» матрицы (все значимые символы которой одинаковы) той же ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... представление теста, в котором исходная строковая форма преобразуется в форму регулярного массива и, таким ..." | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... сравнению с традиционно используемыми регулярными и контекстно-свободными грамматиками. Известно, что задача ..." | ||
| Том 21 (2011) | Решение проблемы NULL в запросах к реляционной базе данных, используя операторы реляционной алгебры A. | Аннотация PDF (Rus) похожие документы |
| И. В. Блудов | ||
| "... В операторах ограничения предлагается логические выражения интерпретировать как реляционные. Точнее ..." | ||
| Том 35, № 2 (2023) | Параметрические исследования течений в микросоплах | Аннотация PDF (Rus) похожие документы |
| Екатерина Александровна МИТРЮКОВА | ||
| "... пространства за ним. Задача решалась методом контрольного объема на блочно-структурированной регулярной сетке ..." | ||
| Том 30, № 5 (2018) | Численное моделирование качки судна с шахтным устройством на встречном волнении | Аннотация PDF (Rus) похожие документы |
| К. Д. Овчинников | ||
| "... регулярном волнении при наличии и отсутствия скорости хода показали, что численное моделирование позволяет с ..." | ||
| Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... верификации формальных моделей МРОСЛ ДП-модель регулярно перерабатывается. В настоящее время завершена ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| "... файла. Изначально, в конфигурационном файле, все аргументы представляют собой выражения, поэтому ..." | ||
| Том 28, № 3 (2016) | Метод представления мнений экспертов в виде Z-чисел | Аннотация похожие документы |
| Е. А. Глуходед, С. И. Сметанин | ||
| "... могут быть выражены точным числом. Как правило, используются привычные для человека слова или выражения ..." | ||
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... представления регулярных множеств трасс. Для представления финальной трассовой модели в работе предлагается ..." | ||
| Том 34, № 6 (2022) | Оценка языковой способности нейронных моделей на материале предикативного согласования в русском языке | Аннотация PDF (Rus) похожие документы |
| Ксения Андреевна СТУДЕНИКИНА | ||
| "... , которая проявляется в функции автоматической оценки грамматичности языковых выражений. В данной работе ..." | ||
| Том 22 (2012) | Интерполяция формул с кванторами в CSIsat на основе инстанцирования | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, М. У. Мандрыкин | ||
| "... подкванторных выражений с использованием внешнего SMT-решателя CVC3. В статье описываются изменения, которые ..." | ||
| Том 35, № 1 (2023) | Влияние пандемии COVID-19 на психофизическое состояние разработчиков программного обеспечения и новые тенденции в области гибких навыков при работе из дома | Аннотация похожие документы |
| Рейес ХУАРЕС-РАМИРЕС, Кристиан НАВАРРО-КОТА, Гильермо ЛИСЕА, Саманта ХИМЕНЕС, Вероника ТАПИА-ИБАРРА, Сезар Артуро ГЕРРА ГАРСИА, Гектор Херардо ПЕРЕС-ГОНСАЛЕС | ||
| "... разработчиков во время пандемии, выраженному в испытываемых эмоциях и понимании того уровня, на котором ..." | ||
| Том 36, № 1 (2024) | Основы квантовых вычислений и их связь с разработкой программного обеспечения | Аннотация похожие документы |
| Рейес ХУАРЕС-РАМИРЕС, Чристиан Ксавьер НАВАРРО-КОТА, Саманта ХИМЕНЕС, Алан Давид РАМИРЕС-НОРЬЕГА, Ма Вероника ТАПИЯ-ИБАРРА, Сесар Артуро ГЕРРА-ГАРСИЯ, Эктор Херардо ПЕРЕС-ГОНСАЛЕС, Карлос Альберто ФЕРНАНДЕС-И-ФЕРНАНДЕС | ||
| "... математическими выражениями, моделирующими законы квантовой физики, являются фундаментальными строительными ..." | ||
| Том 29, № 1 (2017) | Численное решение задачи обтекания клина потоком стратифицированной жидкости с использованием OpenFOAM | Аннотация PDF (Rus) похожие документы |
| Н. Ф. Димитриева | ||
| "... внутренней структурой, в которой вначале выражены диссипативно-гравитационные волны, затем группа ..." | ||
| Том 28, № 1 (2016) | Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов | Аннотация PDF (Rus) похожие документы |
| К. С. Кузьмина, И. К. Марчевский | ||
| "... формуле, полученной с помощью разложения выражения для конвективной скорости в ряд Тейлора. Влияние ..." | ||
| Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
| Г. А. Зимин, Д. А. Мордвинов | ||
| "... роботами, таких как архитектура категорий Р. Брукса и «Колония» Д. Коннеля, и приведены идеи их выражения в ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| "... , выражениями и коммуникационными действиями модели совершается ряд синтаксических преобразований. На третьем ..." | ||
| Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
| Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
| "... которых большинство индексных выражений линейно зависит от индуктивных переменных циклов гнезда. Основной ..." | ||
| Том 34, № 4 (2022) | Экспериментальная оценка алгоритма маркирования текстовых документов на основе изменения интервалов между словами | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич КОЗАЧОК, Василий Иванович КОЗАЧОК, Сергей Александрович КОПЫЛОВ, Павел Николаевич ГОРБАЧЕВ, Юрий Витальевич МАРКИН, Дмитрий Олегович ОБЫДЕНКОВ | ||
| "... встраивания разработанного алгоритма приведены аналитические выражения, позволяющие рассчитать величину ..." | ||
| Том 33, № 2 (2021) | Классификация депрессивных эпизодов на основе ночных измерений: многомерный и одномерный анализ данных | Аннотация PDF (Rus) похожие документы |
| Джульета Г. РОДРИГЕС-РУИЗ, Карлос Эрик ГАЛЬВАН-ТЕХАДА, Содель ВАСКЕС-РЕЙЕС, Хорхе Иссак ГАЛЬВАН-ТЕХАДА, Хамурапи ГАМБОА-РОСАЛЕС | ||
| "... , KDD). При использовании KDD процесс интеллектуального анализа данных имеет следующие четко выраженные ..." | ||
| Том 30, № 4 (2018) | Библиотека программирования гетерогенных архитектур | Аннотация похожие документы |
| Г. В. Киргизов, Я. А. Кириленко | ||
| "... манипулировать написанными на нем выражениями и, таким образом, представляет собой реализацию идеи генеративного ..." | ||
| 1 - 40 из 48 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
