• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Articles
  • On the ambiguity of insertion systems
  • 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
August 25, 2026
Scientists Develop Algorithm for More Reliable Processors in Data Centres
Researchers from HSE MIEM and Samara University have developed the LRF-3D algorithm to automatically bypass idle nodes in three-dimensional networks-on-chip. Thanks to its hierarchical architecture, the algorithm outperforms existing solutions in both speed and path accuracy, improving processor reliability for use in data centres, supercomputers, and AI computing. The source code and test results are publicly available.
August 24, 2026
Researchers Develop Method for Direct Generation of Regulatory DNA
Researchers at HSE University have developed a model for generating promoters and enhancers—DNA sequences that regulate gene activity. The model works directly with DNA nucleotides, without first transforming them into a continuous numerical representation. This solution could be useful for applications in synthetic biology and gene therapy. The study results were presented at the ICLR 2026 Workshop ‘Generative AI in Genomics (Gen^2): Barriers and Frontiers.’
August 21, 2026
Social Integration: At the Crossroads of Knowledge and Values
The International Laboratory for Social Integration Research (ILSIR) at HSE University studies the challenges faced by vulnerable groups and explores ways to help them participate fully in everyday life. To develop effective solutions, the laboratory’s researchers combine cutting-edge methods with practical fieldwork. In this interview with the HSE News Service, Laboratory Head Elena Iarskaia-Smirnova discusses the laboratory’s work.

 

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

?

On the ambiguity of insertion systems

International Journal of Foundations of Computer Science. 2011. Vol. 22. No. 7. P. 1747–1758.
Kuppusamy L., Mahendran A., Krithivasan K.

Gene insertion and deletion are the operations that occur commonly in DNA processing and RNA editing. Based on these evolutionary transformations, a computing model has been formulated in formal language theory known as insertion-deletion systems. In this paper, we study about the ambiguity issues of insertion systems. First, we define six levels of ambiguity for insertion systems based on the components used in the derivation such as axiom, contexts and strings. Next, we show that there are inherently i-ambiguous insertion languages which are j-unambiguous for the combinations (i, j) ∈ {(5,0), (5,4), (4,3), (4,2), (3,1),(2,1), (1,0), (0,1)}. Finally, we prove an important result that the ambiguity problem of insertion systems is undecidable.

Research target: Natural Sciences
Language: English
DOI
Text on another site
Keywords: insertion systeminherently ambiguous languagesunambiguous systemundecidability
Similar publications
Прогностическое значение полигенного профиля риска при дилатационной кардиомиопатии: анализ краткосрочной выживаемости
Кубкин Я. В., Российский кардиологический журнал 2026 Т. 31 № 8S
Goal. To assess the contribution of polygenic risk scores to the short‑term mortality prediction model in patients with dilated cardiomyopathy (DCM). Materials and methods. The study included 137 patients with DCM. The mean age was 56.8 ± 13.5 years; there were 115 men (83.9 %). The median follow‑up period was 17 [13; 22] months. During the follow‑up period, 26 ...
Added: August 24, 2026
On the complexity of first-order logics of probability
Speranski S. O., Grefenshtein A., Izvestiya. Mathematics 2026 Vol. 90 No. 4 P. 105–126
The article is concerned with Halpern's first-order logics of probability, which we denote by L_1 and L_2 – the first of these deals with probability distributions on the domain, while the second employs distributions on external sets of possible worlds. The proofs of [Abadi & Halpern 1994] of the complexity lower bound results for L_1 and L_2 ...
Added: August 12, 2026
Картографирование усыхания хвойных лесов по данным дистанционного зондирования Земли на примере лесов хребта Хамар-Дабан
Tsydypova M., Современные проблемы дистанционного зондирования Земли из космоса 2026 Т. 23 № 3 С. 263–275
The article presents a methodology for mapping coniferous forest decline, based on the integration of automated remote sensing data interpretation techniques, vegetation indices, remote sensing data on above-ground biomass (Biomass CCI (Climate Change Initiative)), and materials from ground-based forest pathology surveys using forests of the Khamar-Daban ridge (Republic of Buryatia) as a case study. The ...
Added: August 9, 2026
Dynamical origin of extreme events in mutually coupled and networked Brusselator
Manivelan S. V., Srinivasan S., Thamilmaran K. et al., Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 No. 1 Article 014217
This study investigates the dynamical origins and statistical properties of extreme events (EEs) in a diffusively coupled theoretical Brusselator system, extending from pairwise interactions to globally coupled networks. Statistically, the emergence of EEs is characterized by heavy-tailed probability density functions and exponential interevent interval distributions, alongside an analysis of the complementary cumulative distribution function and ...
Added: July 15, 2026
Дискретное моделирование процесса восстановительного ремонта участка дороги
Мелешко Е. В., Афанасенко Т. С., Ш. М. Гаджимирзаев et al., Компьютерные исследования и моделирование 2022 Т. 14 № 6 С. 1255–1268
This work contains a description of the results of modeling the process of maintaining the readiness of a section of the road network under strikes of with specified parameters. A one-dimensional section of road up to 40 km long with a total number of strikes up to 100 during the work of the brigade is ...
Added: June 26, 2026
Molecular dynamics simulations refine the pathogenicity of ACVRL1 kinase domain variants by quantifying impacts on ATP binding in pulmonary arterial hypertension
Borovikova I., Uporov I., Okhrimenko G. et al., Journal of Structural Biology 2026 Vol. 218 No. 2 Article 108315
Single amino acid substitutions in the ATP-binding domain of ACVRL1, a key receptor in the bone morphogenetic protein (BMP) signaling pathway, are frequently classified as variants of uncertain significance (VUS), complicating molecular diagnosis for pulmonary arterial hypertension (PAH) and Hereditary Hemorrhagic Telangiectasia (HHT). Since aberrant ATP binding disrupts downstream SMAD1/5/8 phosphorylation, we employed molecular dynamics ...
Added: May 20, 2026
Emergence of Extreme Events in Weakly Coupled Autonomous Bonhoeffer–van der Pol Systems
Thangavel B., Kathamuthu T., Srinivasan S., International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 2026 Vol. 36 No. 09 Article 2630019
In this paper, we report, for the first time, that Extreme Events (EEs) can robustly emerge in autonomous, weakly coupled Bonhoeffer–van der Pol oscillators, challenging the prevailing notion that strong interaction and external drive are necessary for such rare, large-amplitude bursts. Our central finding is a novel dynamical route to EEs: a transition from quasi-periodic torus dynamics to ...
Added: May 20, 2026
Разработка микросервиса ADP для идентификации источников выбросов на основе машинного обучения с подкреплением
Kychkin A., Chernitsin I., Прикладная информатика 2026 № 1(121) С. 40–58
The results of the development of a software microservice embedded in atmospheric air quality monitoring systems to support the identification of industrial pollution sources are presented. The emission and subsequent spread of harmful substances in the lower layers of the atmosphere is dynamic and characterized by high uncertainty due to the specific features of technological ...
Added: April 23, 2026
Научные открытия и инновационные стратегии: сборник статей Международной научно-практической конференции
М.: Международный центр «Новые научные исследования», 2025.
Сборник содержит статьи участников Международной научно-практической конференции «Научные открытия и инновационные стратегии», состоявшейся 24 мая 2025 г. в г. Москва. В сборнике научных трудов рассматриваются современные научные проблемы и практики применения результатов научных исследований. Материалы сборника предназначены для научных работников, преподавателей, аспирантов, магистрантов, студентов в целях применения в научной работе и учебной деятельности. Ответственность за аутентичность ...
Added: February 18, 2026
Heterometallic Catecholates of Zirconium and Alkali Metals
Filippova E., Sukhikh T., Tychinina A. et al., Crystals 2026 Vol. 16 No. 1 Article 12
Reaction of [Zr(η5-Cp’)2Cl2] (Cp’ = tBuC5H4) and Na2Cat36 (Cat36 = 3,6-di-tert-butylcatecholate) leads to the formation of the complexes [Na2Zr(Cat36)3(THF)2(C7H8)] (1) and [Zr(η5-Cp’)2(η1-Cp’)2] (2). Complex 1 along with its congeners [K2Zr(Cat36)3(THF)2] (3), [Li(THF)4][LiZr(Cat36)3] (4) and [Li4Zr(Cat36)4(dme)2] (5) were synthesized by the reaction of [ZrCl4(THF)2] and corresponding alkali metal catecholate M2Cat36. The complexes obtained were characterized by means of single-crystal X-ray diffraction ...
Added: February 18, 2026
Разработка кишечнорастворимых матричных таблеток с гуминовыми производными
Домрачев Д. А., Коннова М. А., Волков А. А., Медико-фармацевтический журнал «Пульс» 2023 Т. 25 № 6 С. 54–57
Medicines based on compounds of iron, copper and zinc occupy a certain place in the pharmaceutical market. A lack of iron in the body can contribute to the development of iron deficiency anemia, and in the case of copper and zinc, a deficiency in the immune response and inflammation caused by lipid peroxidation, which ultimately leads to various ...
Added: February 15, 2026
Проблемы и перспективы реализации междисциплинарных исследований. сборник статей по итогам Международной научно-практической конференции, 15 мая 2023 г.
Стерлитамак: Общество с ограниченной ответственностью "Агентство международных исследований", 2023.
Сборник статей подготовлен на основе докладов Международной научно-практической конференции «ПРОБЛЕМЫ И ПЕРСПЕКТИВЫ РЕАЛИЗАЦИИ МЕЖДИСЦИПЛИНАРНЫХ ИССЛЕДОВАНИЙ», состоявшейся 15 мая 2023 г. в г. Воронеж. Научное издание предназначено для докторов и кандидатов наук различных специальностей, преподавателей вузов, докторантов, аспирантов, магистрантов, практикующих специалистов, студентов учебных заведений, а также всех, проявляющих интерес к рассматриваемой проблематике с целью использования в ...
Added: February 4, 2026
Unlocking Stress Coping Mechanisms: Implications for Salivary Antioxidant Defense and Trace Element Homeostasis
Portnova G., Proskurnina E., Liaukovich K. et al., Journal of Molecular Neuroscience 2026 Vol. 76 Article 19
This study investigates the relationship between stress coping ability, salivary antioxidant capacity (AOC), and trace element concentrations, focusing on zinc (Zn) and potassium (K). A cohort of 73 participants, divided into groups based on stress coping ability (SCA) (“adaptive”, “intermediate”, and “maladaptive”), underwent cognitive tasks while physiological and behavioral data were collected. Saliva samples were ...
Added: February 2, 2026
Pharmacological targeting of nuclear factor (erythroid-derived 2)-like 2 (NRF2): a potential strategy to improve the efficacy of oncological photodynamic therapy
de Klerk D., de Keijzer M., Franchi L. et al., Biochemical Pharmacology 2026 Vol. 248 Article 117620
The recalcitrance of tumors to photodynamic therapy (PDT) has been linked to PDT-induced activation of survival pathways in sublethally afflicted cancer cells that modulate cellular responses to oxidative stress and damage. Survival signaling manifests in regions of the tumor where the tumor cells are insufficiently photosensitized or subjected to inadequate fluence rates. The survival signaling ...
Added: January 15, 2026
Sharpening complexity results in quantified probability logic
Speranski S. O., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114
We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...
Added: December 26, 2025
Beyond monoclonal antibodies: constraints and the case for alternative PD-1/PD-L1-targeting formats
Natalia O. Porozova, Petukhova N., Maxim A. Gureev et al., Frontiers in Immunology 2025 Vol. 16 Article 1729468
Programmed cell death protein 1 (PD-1)/programmed death-ligand 1 (PD-L1) blockade has reshaped immuno-oncology, with antibodies establishing benchmarks for survival and durability of response across multiple tumor types. Yet format-related constraints of monoclonal antibodies persist, including incomplete and heterogeneous intratumoral penetration, long half-life with limited real-time toxicity control, immune-related toxicities, and context-dependent resistance within the tumor ...
Added: December 22, 2025
Глубокая нейронная сеть с графовым вниманием для выявления поддельных изображений лица
Pikul A. S., Лепендин А. А., Труды молодых ученых Алтайского государственного университета 2023 № 20 С. 190–193
Представлен новый подход для выявления атак презентации на системы распознавания по лицу. Он основан на использовании механизма графового внимания, применяемого к промежуточным картам характеристик изображений лица, вычисленным сверточной сетью ResNet18. Показано, что предложенный подход позволил добиться высокого качества распознавания поддельных изображений при лицевой биометрической верификации, сравнимого с имеющимися в настоящее время альтернативными решениями. ...
Added: December 12, 2025
Ансамбль современных моделей компьютерного зрения для задачи обнаружения дипфейков
Pikul A. S., Безопасность информационных технологий 2024 Т. 31 № 4 С. 116–127
This article explores the potential use of modern computer vision architectures for the task of deepfake detection. The following architectures are considered: EfficientNet, Vision Transformer (ViT), VisionLSTM (ViL), Vision KAN, and Mamba Vision. The novelty of the approach lies in the application and comparison of these architectures, as well as their combination into paired ensembles ...
Added: December 12, 2025
Enhancing explainability in deepfake detection with graph attention networks
Aleksandr S. Pikul, Popov I., Безопасность информационных технологий 2025 Vol. 32 No. 2 P. 73–82
Understanding how artificial intelligence models make decisions is important, especially for difficult tasks like detecting deepfakes, where it's not enough to just get a result – it needs to know why the model made that choice. Many current methods, like Shapley additive explanations (SHAP) and Gradient-weighted Class Activation Mapping (Grad-CAM), help explain these decisions, but ...
Added: December 12, 2025
Фазовые переходы в ансамбле джозефсоновских контактов, взаимодействующих с электромагнитным полем в резонансной полости
Ионцев М. А., [б.и.], 2020.
Показано, что системы зарядовых и потоковых кубитов являются математически эквивалентными друг другу, физическое описание различается в том, что параметром порядка в системе с зарядовыми кубитами является обобщенная координата осциллятора (амплитуда фотонного поля), а в системе с потоковыми кубитами таким параметром является обобщенный импульс осциллятора (импульс фотонного поля). Математическая эквивалентность объясняется тем, что уравнения движения (правила ...
Added: November 10, 2025
Forecasting the residual stress components in wires using an artificial neural network
Dmitriy Demin, Ilya Grebenkin, Alexey Barinov, International Journal of Advanced Manufacturing Technology 2025 Vol. 141 P. 1847–1858
In this paper, a computer simulation of round wire drawing processes with different equations of state for steel A12 has been carried out. In addition, the methods of improving the configuration of neural networks based on a multilayer perceptron (MLP) for estimating the distributions of residual stress tensor components have been investigated. The study demonstrated ...
Added: November 6, 2025
Extreme events in gene regulatory networks with time-delays
Seralan V., S L. K., Srinivasan S. et al., Scientific Reports 2025 No. 15 P. 1–15
This work explores distinct complex dynamics of simplified two nodes of coupled gene regulatory networks with multiple delays in two self-inhibitory and mutually activated genes. We have identified the emergence of extreme events within a specific range of system parameter values. A detailed analysis of the time delay-induced emergence of extreme events is illustrated using ...
Added: October 15, 2025
Студент - Исследователь - Учитель. Материалы 25-й Межвузовской студенческой научной конференции. Санкт-Петербург, 2024
Гаевская М. А., СПб.: РГПУ им. А.И. Герцена, 2024.
В сборнике представлены прошедшие отбор редакционной коллегии сборника и рецензирование статьи, которые были подготовлены на основе докладов и сообщений участников 25-й Межвузовской студенческой научной конференции «Студент - Исследователь - Учитель», состоявшейся 3-17 апреля 2023 года в Санкт-Петербурге в Российском государственном педагогическом университете им. А.И. Герцена. Материалы отражают результаты изысканий молодых исследователей - студентов бакалавриата, магистратуры ...
Added: October 5, 2025
Студент - Исследователь - Учитель. Материалы 24-й Межвузовской студенческой научной конференции. Санкт-Петербург, 2023
Гаевская М. А., СПб.: РГПУ им. А.И. Герцена, 2023.
Сборник включает статьи, подготовленные на основе докладов и сообщений участников 24-й Межвузовской студенческой научной конференции «Студент - Исследователь - Учитель», состоявшейся 4-15 апреля 2022 года в Санкт-Петербурге в Российском государственном педагогическом университете им. А.И. Герцена. Статьи прошли отбор редакционной коллегии сборника и рецензирование. Содержание материалов сборника отражает результаты изысканий молодых исследователей - студентов бакалавриата, магистратуры ...
Added: October 5, 2025
  • 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