Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 32, № 4 (2020) Двухшаговый метод объединения новостей в сюжеты Аннотация  PDF (Rus)  похожие документы
Кирилл Андреевич СКОРНЯКОВ, Анна Сергеевна ЛАСКИНА, Денис Юрьевич ТУРДАКОВ
"... named entity based clusterization is used. Also we present a labeled dataset of news event detection ..."
 
Том 29, № 4 (2017) Narrabat - прототип сервиса для пересказа новостей в формате стихотворений Аннотация  похожие документы
И. И. Долгалева, И. А. Горшков, Р. Э. Яворский
"... Nowadays, news portals are forced to seek new methods of engaging the audience due ..."
 
Том 31, № 5 (2019) Методы оценки популярности новостных материалов на ранних стадиях Аннотация  похожие документы
Арам Арутюнович Аветисян, Михаил Дробышевский, Денис Юрьевич Турдаков
"... Millions of news are distributed online every day. Tools for predicting the popularity of news ..."
 
Том 23 (2012) Обнаружение периодических наборов событий во временных базах данных Аннотация  PDF (Rus)  похожие документы
Е. A. Иванникова.
"... sets detection and suggest the method for its solution. The existing algorithms for the periodic event ..."
 
Том 36, № 4 (2024) Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации Аннотация  PDF (Rus)  похожие документы
Алексей Александрович КАРНОВ
 
Том 32, № 6 (2020) Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич БУРЕНКОВ
"... ’s properties. For formalization, we use the Event-B language. We clarify parts specific to Event-B to make our ..."
 
Том 36, № 1 (2024) Количественные и качественные подходы к изучению уровня вовлеченности пользователей Facebook* Аннотация  похожие документы
Паола Эльвира ВЕЛАСКЕС-СОЛИС, Хорхе Едуардо ИБАРРА-ЭСКЕР, Мария Анжелика АСТОРГА-ВАРГАС, Бренда Летиция ФЛОРЕС-РИОС, Моника КАРИЙО-БЕЛЬТРАН, Иван Антонио ГАРСИЯ ПАЧЕКО
"... in dissemination of scientific content, news, and events. We focused on social media processes based on Spearman ..."
 
Том 23 (2012) Комбинирование признаков для извлечения тематических цепочек в новостном кластере Аннотация  PDF (Rus)  похожие документы
А. А. Алексеев, Н. В. Лукашевич
"... entity mentioned in a news cluster. The method is based on the structural organization of news clusters ..."
 
Том 33, № 6 (2021) Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы Аннотация  PDF (Rus)  похожие документы
Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ
"... on conformance to Event-B models. ..."
 
Том 21 (2011) Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. М. Миниахметов
"... Many data sets to be clustered are stored in relational databases. Having a clusterization ..."
 
Том 35, № 3 (2023) Подходы к развертыванию в распределенной обработке сложных событий Аннотация  похожие документы
Арсений Андреевич ЗОРИН, Ирина Евгеньевна ЧЕРНЕЦКАЯ
"... in the form of a series of event occurrences. In this paper, we aim to provide a comprehensive overview ..."
 
Том 33, № 3 (2021) Механизированная теория структур событий: случай параллельной регистровой машины Аннотация  похожие документы
Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ
"... The true concurrency models, and in particular event structures, have been introduced in the 1980s ..."
 
Том 24 (2013) Автоматизация регрессионного тестирования при помощи анализа трасс событий Аннотация  PDF (Rus)  похожие документы
Владимир Федотов
"... in the domain of testing. Different approach relies on analyzing system's events trace that is provided either ..."
 
Том 32, № 1 (2020) Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы Аннотация  PDF (Rus)  похожие документы
Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков
"... the model is formalized using Event-B formal method and its correctness is formally verified ..."
 
Том 35, № 3 (2023) Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями Аннотация  похожие документы
Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ
"... The structure of a process model directly discovered from an event log of a multi-agent system ..."
 
Том 36, № 1 (2024) Систематический обзор литературы по визуальному распознаванию событий с людьми: выявление значимых событий и их применение Аннотация  похожие документы
Мария Луиза КОРДОБА-ТЛАКСКАЛЬТЕКО, Эдгард БЕНИТЕС-ГЕРРЕРО
"... The field of vision-based human event recognition in smart environments has emerged as a thriving ..."
 
Том 28, № 3 (2016) Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... In this paper, we consider an approach to reverse engineering of UML sequence diagrams from event ..."
 
Том 31, № 4 (2019) Симуляция сетей Петри с ингибиторными дугами и дугами сброса Аннотация  похожие документы
Павел Алексеевич Перцухов, Алексей Александрович Мицюк
"... Event logs of software systems are used to analyze their behaviour and inter-component interaction ..."
 
Том 30, № 3 (2018) Симуляция поведения мультиагентных систем с ациклически взаимодействующим агентами Аннотация  похожие документы
Р. А. Нестеров, А. А. Мицюк, И. А. Ломазова
"... one to generate a set of event logs. We suggest our approach to be used for evaluating process ..."
 
Том 29, № 4 (2017) Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... architecture (SOA), given in the form of event logs. While common reverse engineering techniques usually ..."
 
Том 31, № 4 (2019) Метод построения UML диаграмм деятельности по журналам событий Аннотация  похожие документы
Наталья Сергеевна Зубкова, Сергей Андреевич Шершаков
"... from event logs, recorded by information systems, can provide valuable insights into real flows ..."
 
Том 37, № 3 (2025) Расширенная классификация текста с помощью модели DistilBERT с адаптацией низкого ранга LoRa: сравнительное исследование Аннотация  похожие документы
Брис Дональд АБОДО ЭЛУНДУ, Ван ЦЮАНЬЮЙ
"... In this article, we delve into the task of sentiment analysis applied to news articles covering ..."
 
Том 28, № 3 (2016) Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram Аннотация  похожие документы
Д. И. Самохвалов, Л. В. Дворянский
"... in the form of the executable code for event-driven systems based on the Telegram platform. We augment the NP ..."
 
Том 31, № 4 (2019) Средства трассировки ОС РВ семейства «Багет» Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Годунов, Федор Николаевич Чемерев
"... . Currently, almost every real-time operating system (RV OS) has event tracking software. The goal ..."
 
Том 36, № 5 (2024) Автоматическое построение правил извлечения информации для новостных веб-сайтов Аннотация  PDF (Rus)  похожие документы
Сергей Сергеевич ДУБОВИЦКИЙ, Павел Александрович БЕДРИН, Александр Константинович ЯЦКОВ, Максим Игоревич ВАРЛАМОВ
"... (sitemaps) for news websites. The proposed approach generates a sitemap based on a set of news pages from ..."
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
"... the Event-B modelling notation and the Rodin platform, whose rigour is used to obtain the desired security ..."
 
Том 29, № 6 (2017) Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем Аннотация  PDF (Rus)  похожие документы
Д. О. Лазарев, Н. Н. Кузюрин
"... In 2012 M.A. Trushnikov in [2] suggested a new online method for 2DSP Problem. The average case ..."
 
Том 24 (2013) Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... be improved. In this paper we give positive answer to this question. We analyze new packing algorithm proposed ..."
 
Том 20 (2011) Транзакционные параллельные СУБД: новая волна Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
"... Process mining is a relatively new research field, offering methods of business processes analysis ..."
 
Том 27, № 6 (2015) Модель надежности распределенной системы хранения данных в условиях явных и скрытых дисковых сбоев Аннотация  PDF (Rus)  похожие документы
Л. В. Иваничкина, А. П. Непорада
"... for both explicit disk faults and latent bit errors as well as procedures to detect them. A new analytical ..."
 
Том 32, № 5 (2020) Применение метода неинвазивного оценивания нарушений углеводного обмена при скрининге населения Аннотация  похожие документы
Андрей Александрович БЕРЕЗИН, Роман Сергеевич НОВИКОВ, Максим Александрович НОВОПАШИН, Борис Аронович ПОЗИН, Александр Викторович ШМИД
"... the new method of non-invasive detection of CMD not only in the morning and not necessarily on an empty ..."
 
Том 25 (2013) Автоматическое извлечение новых концептов предметно-специфичных терминов Аннотация  PDF (Rus)  похожие документы
Н. А. Астраханцев
"... in the knowledge base but represent new concepts. Our method can be applied to informal knowledge bases ..."
 
Том 37, № 3 (2025) Анализ и разработка методов очищения для защит метрик качества изображений Аннотация  PDF (Rus)  похожие документы
Александр Евгеньевич ГУЩИН, Анастасия Всеволодовна АНЦИФЕРОВА, Дмитрий Сергеевич ВАТОЛИН
 
Том 27, № 3 (2015) Редактор моделей процессов «Carassius» Аннотация  PDF (Rus)  похожие документы
Н. Никитина, А. Мицюк
"... represent sets of objects or events linked with each other in some way. Wide use of models in such languages ..."
 
Том 35, № 1 (2023) Влияние пандемии COVID-19 на психофизическое состояние разработчиков программного обеспечения и новые тенденции в области гибких навыков при работе из дома Аннотация  похожие документы
Рейес ХУАРЕС-РАМИРЕС, Кристиан НАВАРРО-КОТА, Гильермо ЛИСЕА, Саманта ХИМЕНЕС, Вероника ТАПИА-ИБАРРА, Сезар Артуро ГЕРРА ГАРСИА, Гектор Херардо ПЕРЕС-ГОНСАЛЕС
 
Том 21 (2011) Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Алексей Бородин
"... to the Svace system detectors of new kinds of errors that preserves the scalability. Using the mechanism ..."
 
Том 19 (2010) Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка
"... algorithmic solvability. In this paper a new system approach to implementation OOCP based on usage ..."
 
Том 32, № 1 (2020) BSQ-rate: новый подход к сравнению производительности видеокодеков и недостатки существующих решений Аннотация  PDF (Rus)  похожие документы
Анастасия Всеволодовна Звездакова, Дмитрий Леонидович Куликов, Сергей Васильевич Звездаков, Дмитрий Сергеевич Ватолин
"... . It includes the revealed drawbacks of popular comparison methods and proposes new techniques. The performed ..."
 
1 - 39 из 294 результатов 1 2 3 4 5 6 7 8 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)