?
Сборник статей конференции Информационные технологии и системы (ИТиС'11)
M. :
ИППИ РАН, 2011.
Chapters
Kudinov A., Шапировский И. Б., В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'11).: М.: ИППИ РАН, 2011. С. 353–356.
В работе рассматриваются нормальные одномодальные предтранзитивные логики, т.е. логики, в которых можно выразить транзитивную модальность. Вопрос финитной аппроксимируемости предтранзитивных логик остается нерешенным уже на протяжении продолжительного времени. Хорошо известно, что логика отношений эквивалентности S5 вкладывается в логику предпорядков S4. Мы обобщаем этот результат на случай произвольной предтранзитивной логики L: в L вкладывается логика Lsim -- ...
Added: February 27, 2013
Kudinov A., В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'11).: М.: ИППИ РАН, 2011. С. 335–339.
Мы изучаем модальную логику с топологической модальностью и модальностью неравенства вещественной прямой и доказываем, что она финитно аппроксимируема и разрешима. ...
Added: February 27, 2013
Yanovich Y., Burnaev E. V., Панов М. Е. et al., В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'11).: М.: ИППИ РАН, 2011. С. 357–362.
В работе предложен метод моделирования нестационарной ковариационной функции гауссовского процесса на основе словаря параметрических базисных функций, настроенных по данным. Применение разработанного подхода к задаче восстановления неизвестной зависимости позволило существенно повысить точность аппроксимации. Отдельное внимание уделено аппроксимации функций с многомерным выходом и интерполирующим свойствам аппроксиматоров на основе гауссовских процессов. ...
Added: September 24, 2015
Language:
Russian
Pochinka O., Shmukler V., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.
Anosov flows have a long and rich history, firstly motivated by the
study of geodesic flows in negative curvature surface by Anosov and Sinai.
Not every closed manifold admits an Anosov flow for well-known reasons:
the fundamental group of a 3-manifold M admitting an Anosov flow must
have exponential growth, and M must be universally covered by R3. Nevertheless,
there ...
Added: August 31, 2026
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
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
Loubenets E. R., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.
In many quantum applications it is important to know whether or not a Bell nonlocal two-qudit state exhibits its nonlocality under correlation scenarios with some given numbers S1,S2≥1 of generalized quantum measurements at two sites. In the present article, we find analytically a new general locality condition sufficient for a nonseparable Werner state with a ...
Added: July 21, 2026
Bolbachan V., / Series math "arxiv.org". 2024.
Chow polylogarithms are some special functions arising in explicit description of the Beilinson regulator map. The most interesting functional equation for this function reflects its vanishing on the boundary in the Bloch's cycle complex. We show that this functional equation formally follows from more simple ones, namely skew-symmetry, functoriality and multiplicativity.
To prove this, we study ...
Added: July 16, 2026
Bolbachan V., / Series math "arxiv.org". 2024.
Let K be a field of characteristic zero. We prove that its motivic cohomology in degree m−1 and weight m is rationally isomorphic to the cohomology of the polylogarithmic complex. This gives a partial extension of A. Suslin theorem describing the indecomposable K3 of a field. ...
Added: July 16, 2026
Panov V., Ryabchenko A., / Series arXiv "stat.ME". 2026. No. 2607.05048.
This paper investigates the problem of statistical inference for a mixture distribution consisting of a discrete and a continuous component, with a particular focus on the class of rational-infinitely divisible distributions. We consider non-parametric estimation of both components of the mixture as well as the quasi-L{é}vy measure, assuming that the mixture belongs to the class ...
Added: July 9, 2026
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
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
Konakov V., Kucher D., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.
In this paper, we construct strong approximations for discrete-time Markov chains weakly converging to continuous diffusion processes, as well as for their perturbed counterparts. Under the assumption of bounded coefficients, we construct closely coupled versions of these processes on a shared probability space. In particular, for both non-degenerate and degenerate cases, we maximize the probability ...
Added: June 11, 2026
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
Dorovskiy A., / Series arXiv "math". 2026.
In this paper the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere is proved. A classification of these families up to moderate equivalence in neighborhoods of their large bifurcation supports is presented, based on such invariants as the configuration and the characteristic set. The realization lemma is proved. ...
Added: May 14, 2026
Taletskii D., / Series arXiv "math". 2026.
A vertex subset of a graph is called a \textit{distance-$k$ independent set} if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals~$n$ if $n \leq k ...
Added: May 1, 2026
Ovcharenko M., / Series arXiv "math". 2026.
We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in n⩽4 variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, ...
Added: April 30, 2026
Kelbert M., Сухов Ю. М., М.: МЦНМО, 2025.
Для освоения таких разделов прикладной математики, как теория вероятностей, математическая статистика, теория информации и кодирование,
тренировка в решении задач и выработка интуиции важны не меньше, чем
изучение доказательств теорем; большое разнообразие задач по этому предмету затрудняет студентам переход от лекций к экзаменационным задачам,
а от них—к практике.
Этот том включает стандартный пакет информационно-теоретического материала, обычно читаемого на факультетах информатики ...
Added: February 9, 2026
Arteaga Moreano B. D., Chervov N., Poptsova M., Scientific Reports 2026 Vol. 16 No. 1 Article 4772
Accurate prediction of protein-protein interactions (PPIs) is fundamental to understanding biological processes and disease mechanisms. While deep learning offers a powerful alternative to costly experimental methods, existing approaches often overlook critical protein-surface information and rely on simplistic feature fusion techniques, thereby limiting performance. To address this, we introduce GSMFormer-PPI, a novel multimodal framework that integrates ...
Added: February 4, 2026
KUDRYAVTSEVA A., Cancers 2023
Liver metastasis is a significant factor contributing to mortality associated with colorectal cancer. Establishing the biological mechanisms of metastasis is crucial for refining diagnostics and identifying therapeutic windows for interventions. Currently, little is known of the processes that govern the development of liver metastases, the role of the tumor microenvironment, the role of epigenetics, and ...
Added: July 1, 2025
Аксенова А. Ю., Жук А. С., Степченкова Е. И. et al., Экологическая генетика 2025 Т. 23 № 2 С. 1–14
Биоинформатика — это быстро развивающаяся дисциплина на стыке биологии, информатики и математики. Научно-технический прогресс в области биологических и биомедицинских наук за последние годы привел к стремительному росту объемов данных. Для анализа и интерпретации больших данных нужны мощные вычислительные инструменты и специалисты с глубокими знаниями в различных областях, включая молекулярную биологию, генетику, программирование и математику. В ...
Added: May 20, 2025
Puzachenko A. Y., Sandlerskiy R., Biology Bulletin 2023 Vol. 50 No. 2 P. S119–S131
We tried to trace the stages of Puzachenko scientific path and highlight the key areas of his scientific interest: the organization and functioning of complex self-organizing nonequilibrium systems (biogeocenosis and landscapes) and different aspects of biodiversity and relationships between species and their environment. ...
Added: February 26, 2025
Los A., Nesterenko A., Rogacheva O., В кн.: Алгебра, теория чисел, дискретная математика и многомасштабное моделирование: современные проблемы, приложения и проблемы истории. Материалы XXII Международной конференции, посвящённой 120-летию со дня рождения академика Андрея Николаевича Колмогорова и 60-летию со дня открытия школы-интерната № 18 при Московском университете.: [б.и.], 2023. С. 151–157.
One of the requirements for the quality of cryptographic algorithms is the equiprobable distribution of the characters of the sequence obtained after applying the cryptographic transformation. This requirement is due to the fact that in the presence of unequal probability of signs of the output sequence, it becomes possible to construct an effective method for ...
Added: April 24, 2024
М.: Институт прикладной математики им. М.В. Келдыша РАН, 2022.
Сборник содержит материалы XIV Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова, проходившего на механико-математическом факультете МГУ имени М. В. Ломоносова с 20 по 25 июня 2022 г. Для студентов, аспирантов и научных работников в области дискретной математики и математической кибернетики. ...
Added: October 29, 2022
Grigory Andreevich Puzanov, Scientific Reports 2022 Vol. 12 No. 1 Article 14588
Clear cell renal carcinoma has been reported in many research studies as a rather heterogeneous disease. Identification of different subtypes and their molecular characteristics can help in choosing a more effective treatment and predicting a response to it. In this study, using multi-omics clustering of RNA-Seq data of patients with clear cell renal carcinoma from ...
Added: September 23, 2022
Изд-во механико-математического факультета МГУ, 2019.
Сборник содержит материалы XIII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б.Лупанова, проходившего на механико-математическом факультете МГУ имени М. В. Ломоносова с 17 по 22 июня 2019 г. ...
Added: December 7, 2021
Издательство Казанского (Приволжского) федерального университета, 2021.
Тематика конференции "Проблемы теоретической кибернетики" традиционно включает в себя следующие направления: синтез и сложность управляющих систем, надёжность, контроль и диагностика управляющих систем, автоматы и языки программирования, теория графов, комбинаторика, теория кодирования, теория распознавания образов, математическое программирование и исследование операций, математическая теория интеллектуальных система, прикладная математическая логика, теория функциональных систем, теория оптимального управления, приложения кибернетики в ...
Added: December 6, 2021