• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • К построению подавтоматов без слияний для недетерминированных конечных автоматов
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
June 5, 2026
Neural Network Maps as a Method for Constructing Mathematical Models
Scientists from HSE University–Nizhny Novgorod and the Institute of Physics Belgrade, Serbia, are jointly exploring the application of machine learning techniques and neural networks to the study of nonlinear dynamics. Natalya Stankevich, Leading Research Fellow at the Laboratory of Topological Methods in Dynamics of the Faculty of Informatics, Mathematics, and Computer Science at HSE University–Nizhny Novgorod, spoke to the HSE News Service about this international project.
June 5, 2026
‘In the Age of Technology, It Is Interesting to Look into the Past and Think about What We Can Take from It
Polina Tabakova decided to apply for a Philology degree at HSE in Nizhny Novgorod because she grew up in Mari El and did not want to move far away from the Russian forests. In an interview for the Young Scientists of HSE University project, she spoke about the genre of the campus novel, the existential drama of Kolobok, and a blackout version of Eugene Onegin.
June 5, 2026
HSE Scientists Develop Method to Compress Large Language Models Without Losing Quality
Researchers from the AI and Digital Science Institute at the HSE Faculty of Computer Science have developed a new compression method for large language models such as GPT and LLaMA that reduces their size by 25–36% without additional training or significant loss of accuracy. This is the first approach to use mathematical transformations—specifically, rotations of model weights—to make models more amenable to compression with structured matrices. The study results have been published in ACL Findings 2025. The code is available on GitHub.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

К построению подавтоматов без слияний для недетерминированных конечных автоматов

ББК 73я431 Н766 Редакционная коллегия выпуска. 2018. С. 85–85.
Твардовский А. С., Evtushenko N. V.
Language: Russian
Keywords: тестированиеконечный автомат
Similar publications
Факторы отношения преподавателей вузов к тестам как методу оценивания образовательных результатов
Устинова Н. П., Antipkina I., Мир психологии. Научно-методический журнал 2025 № 3(122) С. 143–154
The study examined the factors of the attitude of university teachers to tests as a method of assessing educational results. On a sample of 160 university teachers, it was shown that a more negative attitude to tests was negatively associated with the self-assessment of the teacher’s knowledge in the field of methodology for creating tests ...
Added: November 20, 2025
Four-dimensional ACC analysis
Mustafina N. I., Plaksin M. A., Mikisheva P. A., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 2 P. 47–58
The article discusses the issues of planning and resource management in the process of testing software systems. The paper presents the ACC analysis method used at Google to optimize the distribution of efforts for testing different parts of the system. Extending the method by adding a fourth characteristic - actors (roles of system users) – allows for a ...
Added: February 17, 2025
A Novel Psychometrics-Based Approach to Developing Professional Competency Benchmark for Large Language Models
Kardanova E., Ivanova A., Tarasova K. et al., / Series cs.CL "Computation and Language (cs.CL); Artificial Intelligence (cs.AI)". 2024.
The era of large language models (LLM) raises questions not only about how to train models, but also about how to evaluate them. Despite numerous existing benchmarks, insufficient attention is often given to creating assessments that test LLMs in a valid and reliable manner. To address this challenge, we accommodate the Evidence-centered design (ECD) methodology ...
Added: November 5, 2024
Научно-техническая конференция “Новые информационные технологии в исследовании сложных структур”
Evtushenko N. V., Захарова Г. Б., Evtushenko L. et al., Инноватика и экспертиза: научные труды 2024 Т. 1 № 37 С. 74–78
The conference is devoted to the development of new information technologies for studying complex structures. The goals of the conference are to exchange the results of scientific research on the development and application of information technologies including artificial intelligence systems in various fields of human activity, including computing and telecommunication systems, education, nature protection, healthcare, ...
Added: October 31, 2024
Идеология квалификации (аккредитации) инвесторов на фондовом рынке
Molodyko K., Закон 2024 № 4 С. 120–135
Accreditation of investors is an unusual institution of civil and administrative law, since in fact one counterparty under a civil contract must make a quasi-administrative decision on the admission of another counterparty to civil transactions with itself and third parties, albeit based on the criteria provided by law. We discuss the first results of the ...
Added: April 13, 2024
Декомпозиция трудности заданий теста читательской грамотности
Ivanova A., Antipkina I., Вопросы образования 2023 № 3 С. 92–112
The current study investigates the question of test difficulty decomposition depending on the characteristics of items (such as: format, belonging to the type of text to which the item belongs) and the reader's actions required to answer it (search for information in the text, simple conclusions, complex conclusions, critical interpretation of the text). The sample ...
Added: March 4, 2024
ЗАДАЧНИК ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника". Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским  занятиям и ...
Added: November 12, 2023
Лекции по дискретной математике
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы. Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Added: November 12, 2023
Экспериментальное исследование наличия установочных трасс заданной длины для неинициальных автоматов
Evtushenko L., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов им. Е.В. Арменского 2023.: МИЭМ НИУ ВШЭ, 2023. С. 134–136.
Конечные автоматы часто используются, как формальная модель для описания поведения дискретных систем, и в ряде случаев установочные трассы позволяют упростить/оптимизировать процесс пассивного тестирования. В данной работе приводятся результаты компьютерных экспериментов проверки наличия установочных трасс заданной длины в конечном автомате. ...
Added: September 3, 2023
Договор на разработку и внедрение программного обеспечения: причины ошибок и правила проверки качества
Erahtina O. S., EX JURE 2023 № 2 С. 73–88
the article considers the problem of assessing the quality of software. Software products are a complex object, the expected properties and potential defects of which cannot be accurately characterized. The risks of manifestation of software errors are difficult to predict. The complex nature of the work on creating on the complexity is determined, and often ...
Added: June 23, 2023
Архитектура интеллектуальной системы тестирования
Бойко В. А., Легалов А. И., Zykov S. V., Журнал Сибирского федерального университета. Серия: Техника и технологии 2022 Т. 15 № 2 С. 274–282
One of the approaches to automating graphical user interface testing is software systems that reproduce the scenario of user interaction with the software under test. The process of playing such a scenario is based on the ability to simulate user actions. The principles underlying the implementation of such a testing system can have a significant ...
Added: October 11, 2022
Оптимизация компонентов бинарной композиции конечных автоматов на основе несущественных входных последовательностей при аппаратной реализации
Evtushenko L., Широкова Е., Лапутенко А., В кн.: Межвузовская научно-техническая конференция студентов, аспирантов и молодых специалистов имени Е.В. Арменского. Материалы конференции.: М.: МИЭМ НИУ ВШЭ, 2021. С. 178–180.
В данной работе приводятся результаты экспериментов по использованию алгоритма решения автоматного уравнения для бинарной композиции конечных автоматов без обратных связей для оптимизации компонента, все выходные каналы которого доступны для наблюдения. Описываемый алгоритм позволяет строить сетевой эквивалент хвостового компонента композиции для сокращения затрат при аппаратной реализации композиции автоматов и повышения эффективности работы цифрового устройства. ...
Added: May 27, 2022
Теория автоматов. Синтез шифрующих автоматов : учебное пособие
Babash A. V., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
В учебном пособии рассмотрен теоретико-автоматный подход к синтезу криптографической защиты информации. Цель пособия состоит в описании методов синтеза шифрующих автоматов. Предлагаются удобные для применения в криптографической практике методы оценки числа неэквивалентных ключей шифров, построенных по классической схеме – управляющий блок и шифрующий блок. Приведен более эффективный, чем известные ранее, алгоритм нахождения областей импримитивности групп подстановок, ...
Added: October 25, 2021
Теория автоматов. Анализ шифрующих автоматов : учебное пособие
Babash A. V., М.: ФГБОУ ВО "РЭУ им. Г.В. Плеханова", 2021.
Данное пособие содержит методический материал для инно-вационных курсов лекций по профилю «Криптографическая за-щита информации» и может быть использовано при изучении блока дисциплин этого профиля. Ряд представленных результа-тов полезен аспирантам и специалистам, специализирующимся в указанной области. Для студентов, обучающихся по направлениям «Прикладная информатика» и «Информационная безопасность». ...
Added: October 23, 2021
РАСЧЕТ НАДЕЖНОСТИ РЕШЕНИЙ, ПРИНИМАЕМЫХ ПО РЕЗУЛЬТАТАМ ТЕСТИРОВАНИЯ
Seytmanbitov D., Луценко М. М., Барановский А. М., Интеллектуальные технологии на транспорте 2020 № 1(21) С. 56–61
In this paper, a statistical game was defined and solved. Its solution is: the optimal randomized decision rule, the probability of a correct decision on this rule, and the worst a priori distribution of the test subjects knowledge levels. We have developed a method for assessment the accuracy and reliability of decision making by on ...
Added: April 18, 2021
ТРАНСПОРТ: ПРОБЛЕМЫ, ИДЕИ, ПЕРСПЕКТИВЫ
Гарец С. Б., Елисеева Д. В., Соснина А. С. et al., СПб.: Петербургский государственный университет путей сообщения Императора Александра I (Санкт-Петербург), 2014.
В сборнике опубликованы труды LXXIV Всероссийской научно-технической конференции "Транспорт: проблемы, идеи, перспективы", проходившей в рамках фестиваля "Неделя науки - 2014". Материалы, предоставленные в сборнике, могут быть интересны студентам, аспирантам и молодым ученым транспортных вузов, а также специалистам в области железнодорожного транспорта ...
Added: April 18, 2021
Неделя науки СПбГПУ. Материалы научно-практической конференции c международным участием
Шадринцева Н. В., Seytmanbitov D., Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого", 2014.
В сборнике публикуются материалы докладов студентов, аспирантов, молодых ученых и сотрудников Политехнического университета, вузов Санкт-Петербурга, России и других стран, а также учреждений РАН, представленные на научно-практическую конференцию, проводимую в рамках ежегодной Недели науки Санкт-Петербургского государственного политехнического университета. Доклады отражают современный уровень научно-исследовательской работы участников конференции в области информатики, кибернетики, приборостроения, информационных технологий и управления. Представляет ...
Added: April 18, 2021
ТОЧНОСТЬ ТЕСТИРОВАНИЯ В МОДЕЛИ РАША
Луценко М. М., Seytmanbitov D., Ученые записки Международного банковского института 2014 № 8-1 С. 114–116
To find reliability of grade with a predetermined accuracy, a game-theory model of testing is developed. Designed program solves the problem for 10 item tests and different complexity of items. ...
Added: April 18, 2021
Прогнозирование трендовой динамики фондового рынка на основании макроэкономических факторов с помощью диффузного индекса
Vakhrushev I., Научный журнал НИУ ИТМО. Серия: Экономика и экологический менеджмент 2020 № 4 С. 42–46
Obtaining forecasts of the trend dynamics of company shares is an important task for financial market participants. Fundamental analysis is based on studies of macroeconomic relationships with stock prices and relationships between financial data and stock prices of selected companies. The central goal of the work is to make forecasts one quarter ahead for the ...
Added: October 19, 2020
Revita: Изучение языка на основе корпусных подходов
Kopotev M., Катинская А., Иванова С. et al., В кн.: Труды международной конференции "Корпусная лингвистика - 2019".: СПб.: Издательство Санкт-Петербургского университета, 2019. С. 30–39.
This article describes Revita, a system for assisting language learners, being developed at the University of Helsinki. The system employs a novel approach to progress assessment of learners of foreign languages, and uses both corpus data and NLP tools to automatically generate randomized exercises targeting the learner’s level of competency. The data collected from L2 learners ...
Added: September 30, 2020
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit