• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • Алгебраическая спецификация программных систем
  • 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
October 8, 2026
HSE Experts Take Part in 23rd Annual Meeting of Valdai Discussion Club
The 23rd Annual Meeting of the Valdai Discussion Club was held from September 28 to October 1, 2026 under the theme ‘Responsibility for the Future: Limits of the Possible, or Limitless Possibilities?’ The forum brought together 120 experts from 40 countries, including representatives of China, the United States, India, Brazil, the United Kingdom, Germany, Egypt, Iran, and Japan.
October 7, 2026
‘Our Team Consists of True Leaders in Their Respective Academic Disciplines
The HSE International Centre of Decision Choice and Analysis studies a wide range of methods for analysing decision-making and possible scenarios for the development of natural, socio-economic, and political phenomena using various mathematical models. The application of advanced mathematical methods to forecasting helps to prevent negative outcomes and avoid erroneous decisions. The HSE News Service spoke to the centre’s director, Prof. Fuad Aleskerov, about its work.
October 6, 2026
International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod Brings Together Scientists from Russia and Serbia
The International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod’ was held at the Nizhny Novgorod House of Scientists from September 23 to 26. The event was organised by HSE University–Nizhny Novgorod and the Nizhny Novgorod House of Scientists, with the participation of Sberbank and the Institute of Physics Belgrade. The symposium was held for the second time: the first conference took place in 2025 and attracted considerable interest from the academic community.

 

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

?

Алгебраическая спецификация программных систем

M. : -, 2012.
Nabebin A. A., Tarasikov A. S.
Priority areas: IT and mathematics
Language: Russian
Full text
Keywords: системы аксиомарифметикамоноидполугруппагруппачастичное упорядочениекольцополеязык программирования OBJ3алгебраическая спецификацияпараметрическое программирование
Алгебраическая спецификация программных систем
Similar publications
A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection
Teregulov T., Loubenets E. R., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
We develop a new three-party quantum secret-sharing (QSS) protocol based on a three-qubit W state. This protocol encodes the secret-sequence bits using X gates and employs randomly selected Hadamard operations and measurement bases to generate information and security-test rounds. We evaluate the efficiency of the proposed protocol and analyze its security against an internal adversary ...
Added: September 28, 2026
On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands
Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...
Added: August 21, 2026
Three Algorithms for Merging Hierarchical Navigable Small World Graphs
Ponomarenko A., / Series Computer Science "arxiv.org". 2025.
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...
Added: July 30, 2026
Growth in noncommutative algebras and entropy in derived categories
Piontkovski D., / Series arXiv "math". 2026.
A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...
Added: June 23, 2026
Multilinear nilalgebras and the Jacobian theorem
Piontkovski D., / Series arXiv "math". 2025.
If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then its Jacobian matrix is invertible. This refines a theorem of Gerstenhaber and partially answers a question posed ...
Added: June 23, 2026
ML-based Fast Simulation of FARICH Responses
Shipilov F., Barnyakov A., Ivanov A. et al., / Series Physics "arxiv.org". 2026.
A fast simulation of the detector response is a vital task in high-energy physics (HEP). Traditional Monte-Carlo methods form the backbone of modern particle physics simulation software but are computationally expensive. We present a machine-learning-based approach to fast simulation of the Focusing Aerogel Ring Imaging Cherenkov (FARICH) detector response. Given a particle track and momentum, ...
Added: May 19, 2026
Natural hazard database from Internet publications: text mining with a large language model
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
Added: April 28, 2026
Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Using predefined vector systems to speed up neural network multimillion class classification
Gabdullin N., Androsov I., / Series Computer Science "arxiv.org". 2026.
Label prediction in neural networks (NNs) has O(n) complexity proportional to the number of classes. This holds true for classification using fully connected layers and cosine similarity with some set of class prototypes. In this paper we show that if NN latent space (LS) geometry is known and possesses specific properties, label prediction complexity can ...
Added: April 2, 2026
Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection
Sorokin K., Beketov M., Онучин А. et al., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Community detection in complex networks is a fundamental problem, open to new approaches in various scientific settings. We introduce a novel community detection method, based on Ricci flow on graphs. Our technique iteratively updates edge weights (their metric lengths) according to their (combinatorial) Foster version of Ricci curvature computed from effective resistance distance between the ...
Added: January 15, 2026
Implementing Transport Coding in OMNeT++ for Message Delay Reduction
Petrovanov I., Sergeev A., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Transport coding reduces message delay in packet-switched networks by introducing controlled redundancy at the transport layer:  original packets are encoded into  coded packets, and the message is reconstructed after the first  successful deliveries, effectively shifting latency from the maximum packet delay to the -th order statistic. We present a concise, reproducible discrete-event implementation of transport coding in OMNeT++, including ...
Added: December 24, 2025
Профилактика девиантного поведения детей и подростков средствами коллектива и коллективной деятельности
Azyrkin P., В кн.: Коллектив, группа, сообщество: ресурсы и вызовы в образовании школьников.: М.: Национальный исследовательский университет "Высшая школа экономики", 2025. С. 160–181.
The text substantiates the urgency of preventing deviant behavior among children and adolescents amid an increase in acute forms of risk behavior, including school bullying, suicidality, and violence, and highlights the need to renew schools’ educational and preventive functions. It clarifies the concept of deviance and argues that peer-group dynamics are a key mechanism in ...
Added: December 19, 2025
Потенциал низкопороговых досуговых пространств в контексте социализации подростков и формирования детских коллективов
Azyrkin P., Майоров В. С., В кн.: Коллектив, группа, сообщество: ресурсы и вызовы в образовании школьников.: М.: Национальный исследовательский университет "Высшая школа экономики", 2025. С. 90–105.
The article examines the potential of low-threshold leisure spaces as contemporary “third places” for adolescent socialization, contributing to the formation of peer groups and the development of collective agency. Drawing on socialization theory and the concept of the “third place,” the authors analyze the evolution of socialization institutions in the Russian context and describe practices ...
Added: December 19, 2025
Реконструкция теоретических основ педагогики коллективного воспитания и практических способов ее реализации в советское время — от идей Макаренко к коммунарскому движению
Azyrkin P., В кн.: Коллектив, группа, сообщество: ресурсы и вызовы в образовании школьников.: М.: Национальный исследовательский университет "Высшая школа экономики", 2025. С. 41–63.
The text reconstructs the theoretical foundations of Soviet pedagogy of collective education and demonstrates how the idea of the “collective” became central to Russia’s psychological and pedagogical tradition and to Soviet educational policy. The review compares key definitions and models of collective development (Shatsky, Krupskaya, Makarenko, Umansky, Lutoshkin, Petrovskiy), as well as approaches to measuring ...
Added: December 19, 2025
Коллектив, группа, сообщество: ресурсы и вызовы в образовании школьников
М.: Национальный исследовательский университет "Высшая школа экономики", 2025.
Этот сборник написан, чтобы показать всю многогранность того, как коллективы, группы и сообщества вносят вклад в социализацию и воспитание детей, подростков и молодежи. Хотя для современности характерны сдвиг к индивидуализму, процессы глобализации и цифровизации, тем не менее коллективные практики остаются значимыми для личностного развития, формирования ценностей и гражданской ответственности. Авторы сборника переосмысливают подходы, опирающиеся на ...
Added: December 15, 2025
Бесконечная транзитивность
Arzhantsev I., МЦНМО, 2025.
Учебное пособие посвящено действиям групп на множествах. Обсуждаются кратно транзитивные группы перестановок, в том числе исключительные группы Матьё. Рассматривается свойство бесконечной транзитивности для групп автоморфизмов аффинных пространств и, в большей общности, аффинных алгебраических многообразий. Материал доступен студентам младших курсов. Изложение сопровождается большим количеством задач. ...
Added: July 21, 2025
Перстни и кольца из культурного слоя объекта археологического наследия «Егошихинский медеплавильный завод, поселение» (по материалам раскопок на территории бывшего завода имени А. А. Шпагина)
Mingalev V. V., Мингалева М. К., В кн.: Культура русских в археологических исследованиях: сборник научных статей. В 2-х томах: Том 1.: Издательский Дом "Наука", 2024. С. 153–158.
The article investigate part of a large collection of rings found during archaeological excavations in the Perm. All artefacts are from the cultural layer of the 18th century. The introduction describes a brief history of the place of excavations with reference to old maps of city, and the general conclusions of the excavation results and ...
Added: July 7, 2025
Математические элементы начального образования
Посицельская М. А., Рудченко Т. А., Semenov A., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 511 № 1 С. 21–54
В последние десятилетия в ряде российских школ реализуется уникальная на мировом уровне программа математического образования для начальной школы. В ней мир школьной арифметики радикально расширяется за счет базовых объектов современной математики и информатики. Эти объекты и операции над ними наглядны, что делает их намного более доступными, чем в традиционной арифметике. Расширяется и спектр видов деятельности ...
Added: March 14, 2024
Институционализация коллективной памяти тайпов/братств в постконфликтной Чеченской Республике
Осмаев А. Д., Goryushina E., История, археология и этнография Кавказа 2023 Т. 19 № 4 С. 1110–1123
This article discusses the formation of collective memory within Chechen tayps, focusing on the underlying mechanisms of this process. It investigates the development of tayp identity and the preservation of traditions in the post-conflict era of the Chechen Republic. The study employs content analysis of 24 sources related to Chechen tayps. The objective is to explore ...
Added: January 9, 2024
Многомерные калейдоскопы: геометрия, алгебра и комбинаторика
Мещеряков М. В., Математика в высшем образовании 2022 № 20 С. 53–68
Статья содержит наглядное изложение элементов теории групп, порождённых отражениями в конечномерных евклидовых пространствах, основанное на естественнонаучном понятии калейдоскопа. Она предназначена преподавателям линейной алгебры и геометрии, дискретной математики, учителям специализированных физико-математических классов школ и студентам факультетов математики и информатики различных направлений подготовки, включая ряд физических и инженерных специальностей. Через рассмотрение калейдоскопов отмечаются взаимосвязи между несколькими различными ...
Added: October 12, 2023
The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups
Birget J., Talambutsa A., International Journal of Algebra and Computation 2022 Vol. 32 No. 6 P. 1261–1274
In this paper, we define the symmetric Post Correspondence Problem (PCP) and prove that it is undecidable. As an application, we show that the original proof of undecidability of the freeness problem for 3×3 integer matrix semigroups works for the symmetric PCP, but not for the PCP in general. ...
Added: December 9, 2022
Invariant measures of torus piecewise isometries
Blank M., Advances in Mathematics 2022 Vol. 406 Article 108529
We study measure-theoretical aspects of torus piecewise isometries.  Not much is known about this type of dynamical systems, except for  the special case of one-dimensional interval exchange mappings. The  last case is fundamentally different from the general situation  in the presence of an invariant measure (Lebesgue measure), which  helps a lot in the analysis. Due to the absence of good ...
Added: June 26, 2022
Студенты с инвалидностью как агенты поля высшего образования: роль социального капитала
Ярская В. Н., Зайцев Д. В., Iarskaia-Smirnova E. R., Вестник Томского государственного университета. Философия. Социология. Политология 2019 № 51 С. 167–177
The article discusses the different types of capital of students with disabilities as agents in the field of higher education and analyzes the role of social capital in the transformation of practices in this field. The analysis is carried out on the basis of qualitative interviews conducted in five universities in Kazan, Novosibirsk, Samara, Saratov, ...
Added: December 11, 2019
Оценка числа прообразов полиномиального отображения
Vyugin I. V., Математические заметки 2019 Т. 106 № 2 С. 212–221
An upper bound for the number of field elements that can be taken to roots of unity of fixed multiplicity by means of several given polynomials is obtained. This bound generalizes the bound obtained by V'yugin and Shkredov in 2012 to the case of polynomials of degree higher than 1. This bound was obtained both over ...
Added: October 9, 2019
  • 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