Сборник статей конференции Информационные технологии и системы (ИТиС'09)

?

Сборник статей конференции Информационные технологии и системы (ИТиС'09)

M. : ИППИ РАН, 2009.

Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик.

Kudinov A., Шапировский И. Б., В кн.: Сборник статей конференции Информационные технологии и системы (ИТиС'09).: М.: ИППИ РАН, 2009. С. 411–415.

В работе рассматриваются модальные логики бинарных отношений, удовлетворяющих условиям вида $R^m\subseteq R^n$. Несмотря на то, что эти логики легко описываются и имеют весьма простую аксиоматику, вопрос о финитной аппроксимируемости таких логик открыт. Эта задача возникла в 60х годах прошлого века (для случая m=3, n=2), и до сих пор остаётся нерешённой. В работе доказывается финитная ...

Added: February 27, 2013

Research target: Computer Science Electronics and Electrical Engineering Mathematics Philology and Linguistics

Priority areas: IT and mathematics mathematics

Language: Russian

Keywords: математика теория информации теория кодирования случайные системы

Сборник статей конференции Информационные технологии и системы (ИТиС'09)

Mean-field reduction of networks of bursting neurons

Inês G., Скороход С. Н., Matteo d. V. et al., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 P. 1–13

The collective dynamics of spiking networks of neurons has been of central interest to both computational neuroscience and network science. Over the past years, a new generation of neural population models based on exact reductions (ER) of spiking networks have been developed. However, most of these efforts have been limited to networks of neurons with simple dynamics (e.g. the ...

Added: October 29, 2026

Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure

Sergey Slavnov, / Series math "arxiv.org". 2026.

A prototypical example of categorial grammars are those based on Lambek calculus, i.e. noncommutative intuitionistic linear logic. However, it has been noted that purely noncommutative operations are often not sufficient for modeling even very simple natural language phenomena. Therefore a number of alternative formalisms are considered in the literature: those using purely ``commutative'' linear logic ...

Added: October 29, 2026

Proceedings of the 11th Workshop on Automated Knowledge Base Construction (AKBC 2026)

[б.и.], 2026.

While Large Language Models (LLMs) have revolutionized NLP, they remain prone to hallucinations, reasoning “mode-collapse” in open-ended generation, and a lack of factual provenance. The Automated Knowledge Base Construction (AKBC) workshop addresses a key missing piece of the generative era: structured knowledge. Knowledge Bases (KBs) serve as ground truth for fact verification, the semantic backbone ...

Added: October 28, 2026

Molecular dynamics and machine learning insights into oil-brine interfacial tension: Uncovering roles of dissolved gases and salinity

Nikitiuk B., Lenev D., Pisarev V. et al., Journal of Colloid and Interface Science 2026 Vol. 718 Article 140444

Hypothesis:Accurate determination of interfacial tension values is crucial for many modeling applications in the oil and gas industry. However, many of the presently used empirical and theoretical models show poor prediction accuracy and do not allow for direct consideration of the concentrations of gases and salts dissolved in the system as well as the specific ...

Added: October 28, 2026

Predicting multi-component oil viscosity using machine learning methods

Deshchenya V., Nikolay D. Kondratyuk, Sivakova A. et al., Chemical Engineering Sciences 2027 Vol. 337 Article 124616

Accurate prediction of complex formulation viscosity is crucial for the lubricant industry and engineering processes. However, developing generalizable models remains challenging due to the complexity of industrial mixtures and the scarcity of public experimental data, often resulting from corporate proprietary restrictions. This study presents a machine-learning workflow for viscosity estimation from a proprietary pseudonymized dataset, ...

Added: October 28, 2026

PARSE: Physical attribute representativity and stationarity evaluator open-source library for 3D images using scalar and vector metrics

Zubov A., Zubov A., Малявко, Я. et al., Computer Physics Communications 2025 Vol. 317 Article 109860

The concept of representative volume (REV, or RVE in material sciences) is the cornerstone of continuum scale models – one needs to get the volume big enough so that it could be represented with an averaged value (scalar, vector or tensorial, etc.). While REV should be established in all larger scale simulations, this is rarely ...

Added: October 28, 2026

Сверхотчуждаемая посессивность в тунгусо-маньчжурских языках в типологической перспективе

Buzanov A., Известия РАН. Серия литературы и языка 2026 Т. 85 № 5 С. 115–127

Typologies of possessive systems usually distinguish lexical and semantic splits between inalienable and alienable possession. Much less attention has been paid to the next boundary on the extended scale, namely the boundary between alienable and super-alienable possession. This article shows that Tungusic constructions with the suffix -ŋ(V) represent a semantic realization of precisely this type ...

Added: October 28, 2026

Ветер перемен: система глаголов поля ‘менять’ в русском языке в синхронии и (микро) диахронии

Ovchinnikova A., Reznikova T., Ryzhova D. et al., Acta Linguistica Petropolitana. Труды института лингвистических исследований 2026 Т. 22 № 1 С. 68–133

The paper describes the system of verbs of change in the Russian language against a typological background within the frame approach to lexical typology. In Russian, this system can be qualified as dominant: the imperfective verb menyat(sya) and its prefixed perfective derivative menyat(sya) cover most of the frames in the field. At the same time, in ...

Added: October 27, 2026

Лексическая типология поля ‘менять’

Ryzhova D., Reznikova T., Starchenko A. et al., Acta Linguistica Petropolitana. Труды института лингвистических исследований 2026 Т. 22 № 1 С. 11–40

The article introduces a thematic issue on the lexical typology of the semantic field ‘change’ and provides an overview of its structure and colexifi cation patterns. The study uses a frame-based approach, under which lexical meanings are analyzed through sets of recurrent situations (frames). The core of this approach lies in investigating cross-linguistic variation by examining ...

Added: October 27, 2026

Amplifying Latent Safety in Large Language Models via Gated Activation Steering

Roman Prosvirnin, Suslov A., Aleksei Soldatov et al., Computation 2026 Vol. 14 No. 10 Article 261

Abstract Safety-aligned language models often encode that a request is harmful yet still comply with it. We turn this gap between internal recognition and observable behavior into an inference-time defense. The proposed activation-steering method uses a multiplicative operator that amplifies the residual-stream component along a harm-recognition direction. Intervention strength scales with the model’s own assessment of ...

Added: October 27, 2026

PACTraD: Multi-Task Benchmark and Domain-Specific Attention Mechanism for Wildlife Classification, Detection, and Segmentation in Protected Area Camera Trap Data

Aleksei Samarin, Nazarenko A., Nazarenko D. et al., Big Data and Cognitive Computing 2026 Vol. 10 No. 11 P. 1–52

Camera traps are a key tool for non-invasive wildlife monitoring, yet models trained on existing benchmarks often generalize poorly to new regions due to domain shift, class imbalance, and natural variability in illumination, season, and background. We introduce PACTraD, a benchmark of 116,973 annotated camera trap images collected in a protected area of the Baikal ...

Added: October 27, 2026

Основы теории информации

Vorontsova T., М.: Академия, 2025.

The textbook has been prepared in accordance with the requirements of the federal state educational standards for secondary vocational education and is intended for studying the professional modules “Information Security in Information and Telecommunication Systems and Networks Using Software and Hardware‑Software Tools, Including Cryptographic Protection Tools” and “Information Security in Automated Systems Using Software and ...

Added: October 19, 2026

A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection

Timur Teregulov, Elena R. Loubenets, / 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

Pairings on the algebra of Laurent series over a ring

Levashev V., / Series arXiv "math". 2026. No. 2609.06010.

We prove that continuous A-bilinear pairings on the ring of Laurent series that are invariant under continuous automorphisms coincide, up to a constant, with the pairing given by the residue of a differential form over any commutative associative ring with identity. ...

Added: September 24, 2026

Iterative construction of the R-matrices in arbitrary dimensions

Pyatov P. N., Pivovarov P. A., / Series math "arxiv.org". 2026. No. 2609.06274.

We investigate a special ansats that allows for an iterative solution of the constant Yang-Baxter equation. Testing this ansatz, we construct four sequences of the constant R-matrices. In each sequence the R-matrices act on the tensor squares of vector spaces of linearly growing dimensions. Each R-matrix also depends on a single complex parameter. By analyzing the ...

Added: September 24, 2026

On static manifolds with boundary admitting a nowhere-vanishing static potential

Medvedev V., / Series arXiv "math". 2026.

We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...

Added: September 19, 2026

Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge

Poddiakov A., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.

Clarity of knowledge and reasoning is necessary in many cases. Yet vagueness in scientific thinking related to surprise, curiosity, "ability to engage with not-knowing" (de Freitas) and abductive reasoning is also a crucially important source of scientific creativity which supplements combinatorial logic when dealing with the already known. Starting from studies by C. S. Peirce ...

Added: September 15, 2026

On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.

Glutsyuk A., / Series arXiv "math". 2026.

B.Josephson (Nobel Prize, 1973) predicted a tunnelling effect for a system of two superconductors separated by a narrow dielectric (such a system is called Josephson junction): existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by the family of differential equations on the 2-torus, dθdτ=1ω(cosθ+B+Acosτ), which is known as ...

Added: September 8, 2026

Infinitely many graph manifolds with unique geometrical piece that admit arbitrarily many Anosov flows

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

Одновременная проверка статистических гипотез

Koldanov A. P., Koldanov P., М.: Издательский дом НИУ ВШЭ, 2026.

В учебном пособии излагается одно из основных направлений одновременной проверки статистических гипотез, а именно теория построения процедур, контролирующих вероятность хотя бы одного ошибочного отвержения. Подробно излагаются первые задачи и процедуры одновременной проверки статистических гипотез, предложенные Фишером. В качестве методологической основы этой теории выбран метод замыкания, в сравнении с которым излагаются основные процедуры, контролирующие вероятность хотя ...

Added: August 30, 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

New bound on S1× S2-setting Bell locality of a nonseparable Werner state

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

On functional equations for Chow polylogarithms

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