?
Логико-термальная эквивалентность программ с динамической памятью
С. 173–176.
Zakharov V., Новикова Т. А.
Sinitsyn M., Весь мир, 2025.
The global transportation sector is undergoing a major transformation associated with the transition to a low-carbon economy and the expanded use of alternative energy sources. In recent decades, the substitution of petroleum-based motor fuels with their substitutes – primarily biofuels and electric power (electric vehicles) – in light-duty road transport has accelerated. Public policy at ...
Added: June 5, 2026
Trofimova N., Akay O., , in: Science and Global Challenges of the 21st Century - Innovations and Technologies in Interdisciplinary ApplicationsVol. 622. Issue Lecture Notes in Networks and Systems .: Perm: Springer, 2023.
Language has long been considered a well-organized system, in which a special part is represented by the cognitive perceptive functions of a human. Why do the representatives of different nations and cultures comprehend various notions differently? On the lexical level, this phenomenon can be explained by the absence of some notions in different languages, but ...
Added: February 23, 2026
Agyapong Siaw C., Cadeaux J., Meissner D. et al., IEEE Transactions on Engineering Management 2024 Vol. 71 P. 10009–10025
This article proposes a cross-situational specialization framework for what, at its introduction, was a newer generation personal computer (PC) device (a tablet computer). With use as the basis for continuance adoption as the theoretical lens, this article explores how the tablet coexists as a substitute- and a complement-in-use with incumbent PC(s). To test a model ...
Added: September 27, 2024
Malbin D., Вестник арбитражной практики 2023 № 2 С. 20–27
The current legislation establishes the institution of protection of a good faith purchaser where the compensatory nature of the property acquisition by such purchaser is one of the preconditions for protecting. Currently, in judicial practice, an approach has been adopted, according to which property is considered to be acquired for a fee if the alienator ...
Added: July 18, 2023
Kantonistova E., Родионов И. В., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2022 Т. 507 № 1 С. 36–39
We propose a method for testing the hypothesis about the equivalence of the distribution tail of
observed data and a certain distribution tail, which is the analogue of the goodness-of-fit hypothesis for statistics
of extremes. The method is based on a new data transformation moving k largest order statistics of a
sample from the standard uniform distribution U[0,1] ...
Added: July 9, 2023
М. А. Коврижных, Д. Б. Фомин, Прикладная дискретная математика 2022 № 57 С. 5–21
In this paper, we study a generalized construction of (2m, 2m)-functions using monomial and arbitrary m-bit permutations as constituent elements. We investigate the possibility of constructing bijective vectorial Boolean functions (permutations) with specified cryptographic properties that ensure the resistance of encryption algorithms to linear and differential methods of cryptographic analysis. We propose a heuristic algorithm ...
Added: October 8, 2022
NY: Association for Computing Machinery (ACM), 2022.
On behalf of the Conference Committee, we welcome you to the 8th International Conference on Computer Technology Applications (ICCTA 2022). It is organized by FH JOANNEUM, one of the leading universities of applied sciences in Austria. After a long break, caused by the COVID-19 pandemic, the conference is held in presence, in the beautiful city ...
Added: September 26, 2022
D. B. Fomin, M. A. Kovrizhnykh, Математические вопросы криптографии 2022 Vol. 13 No. 2 P. 37–52
The work is dedicated to the theoretical substantiation of a directed search for 8-bit permutations with given cryptographic properties: differential uniformity and nonlinearity. The statements on the partition of the set of vectorial Boolean functions derived using generalized construction into equivalence classes are proved. The statements that allow one to reject functions from equivalence classes ...
Added: August 24, 2022
Sosnin A., Balakina Y. V., Кащихин А. Н., Вестник Санкт-Петербургского университета. Язык и литература 2022 Т. 19 № 1 С. 125–148
The article evaluates the quality of translation; we consider the applied and pragmatic aspects
of such evaluation in the conditions of the current rapid increase in the number of texts to be
translated. The article summarizes a plethora of assessment principles, each having its merits
and drawbacks, and examines the correlation between the categories of adequacy and equivalence
as ...
Added: May 31, 2022
Eliseenko V., Logutova N., М.: Издательский дом НИУ ВШЭ, 2022.
В книге представлена системы визуальной навигации в новом большом комплексе зданий Национального исследовательского университета "Высшая школа экономики" на Покровском бульваре. Издание будет полезно специалистам по дизайну пространств вузов и образовательных учреждений в целом, а также всем, кто занимается построением визуальных систем навигации в общественных пространствах любого типа или заинтересован в создании/модернизации таких систем. ...
Added: April 7, 2022
Fomin D., Прикладная дискретная математика. Приложение 2021 № 14 С. 51–55
The paper studies new ways of con- structing differentially 2δ-uniform bijections over F_{2^{2m}} , m≥3, that are based on TU-construction. Some well known results on the constructing differentially 4-uniform permutations over F_{2^{2m}} are generalized in this work. The core idea is to use TU-construction and differentially δ-uniform bijections to construct 2^t · δ-uniform permutations. A generalized method for constructing 2m-bit differentially 4-uniform permutations ...
Added: September 22, 2021
Коврижных М. А., Fomin D., Прикладная дискретная математика. Приложение 2021 № 14 С. 181–184
Bijective vector Boolean functions (permuta- tions) are used as nonlinear primitives of many symmetric ciphers. In this paper, we study a generalized construction of (2m, 2m)-functions using monomial and arbitrary m-bit per- mutations as constituent elements. A heuristic algorithm for obtaining bijective Boolean functions with given nonlinearity and differential uniformity, based on this construction, is proposed. For ...
Added: September 22, 2021
Авраамова О. Д., Fomin D., Серов В. А. et al., Математические вопросы криптографии 2021 Vol. 12 No. 2 P. 21–38
In this paper we consider a bit-sliced implementation of the non-linear transformation shared by GOST R 34.12-2015 “Kuznyechik” block cipher and GOST R 34.11-2012 “Streebog” hash function. We combine analytical and computer methods to get a 226 Boolean operations representation. ...
Added: July 26, 2021
Fomin D., Математические вопросы криптографии 2020 Т. 11 № 4 С. 133–149
We study parameters of some permutations constructed by the «Butterfly» scheme. The influence of these parameters on the algebraic degree of permutation and its differential uniformity is investigated. ...
Added: November 25, 2020
Fomin D., Математические вопросы криптографии 2020 Т. 11 № 3 С. 121–138
We generalize the method of construction of permutations based on the Butterfly structure for the case of arbitrary arithmetic space with even dimension over the field of two elements. An approach to the construction of permutations by means of nonbalanced (2m,m)-functions with high nonlinearity is suggested. ...
Added: November 25, 2020
V. Kruglov, O. Pochinka, G. Talanova, Proceedings of the International Geometry Center 2020 Vol. 13 No. 1 P. 49–60
Currently, a complete topological classification has been obtained with respect to the topological equivalence of Morse-Smale flows, [9,7], as well as their generalizations of Ω-stable flows on closed surfaces, [4]. Some results on topological conjugacy classification for such systems are also known. In particular, the coincidence of the classes of topological equivalence and conjugacy of ...
Added: June 28, 2020
Centre for Language, Logic and Speech at the Tbilisi State University, 2017.
The Tbilisi Symposium on Language, Logic and Computation is an interdisciplinary conference at the interface of logic, linguistics and computer science with the goal of sharing new results and developing mutually beneficial relationship between these fields. The Symposium is held biennially in different parts of Georgia. It is organized by the Institute for Logic, Language ...
Added: October 8, 2019
Fomin D., Трифонов Д. И., Прикладная дискретная математика. Приложение 2019 № 12 С. 134–137
The paper studies the issues of implementation of one class of S-Boxes on FPGA and ASIC and compares them with the implementation of arbitrary mappings V8 → V8. The way of implementation of arbitrary S-Box is studied. It’s shown that any S-Box over V8 can be implemented using 40 LUTs (812 GE). For one class of S-Boxes over V8 with high cryptographic ...
Added: October 6, 2019