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

?

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

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

Издание содержит труды ежегодной конференции молодых ученых и специалистов "Информационные технологии и системы" (ИТиС'09), традиционно организуемой Советом молодых ученых и специалистов ИППИ РАН.

Сборник содержит статьи по всем основным для ИППИ РАН направлениям научной деятельности: теория передачи и защиты информации, математическая теория информации и управления, многокомпонентные случайные системы, информацинно-коммуникационные технологии и их применение в сложных системах и сетях, информационные процесы в живых системах, биоинформатика, компьютерная лингвистика и моделирование естественного языка, высшая математика.

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

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

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

Добавлено: 27 февраля 2013 г.

Научное направление: Компьютерные науки Электроника и электротехника Математика Филология и лингвистика

Приоритетные направления: компьютерно-математическое математика

Язык: русский

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

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

Mean-field reduction of networks of bursting neurons

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

Добавлено: 29 октября 2026 г.

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

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

Добавлено: 29 октября 2026 г.

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

[б.и.], 2026.

Добавлено: 28 октября 2026 г.

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

Nikitiuk B., Lenev D., Писарев В. В. и др., Journal of Colloid and Interface Science 2026 Vol. 718 Article 140444

Добавлено: 28 октября 2026 г.

Predicting multi-component oil viscosity using machine learning methods

Deshchenya V., Nikolay D. Kondratyuk, Sivakova A. и др., Chemical Engineering Sciences 2027 Vol. 337 Article 124616

Добавлено: 28 октября 2026 г.

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

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

Добавлено: 28 октября 2026 г.

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

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

В типологии посессивных систем обычно различаются лексические и семантические разделения между неотчуждаемой и отчуждаемой принадлежностью. Значительно меньше внимания уделяется следующей границе расширенной шкалы — между отчуждаемой и сверхотчуждаемой посессивностью. Настоящая статья показывает, что тунгусо-маньчжурские конструкции с суффиксом -ŋ(V) представляют семантическую реализацию именно такого разделения. В работе [4] убедительно показано, что -ŋ(V) не является показателем отчуждаемой ...

Добавлено: 28 октября 2026 г.

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

Овчинникова А. В., Резникова Т. И., Рыжова Д. А. и др., Acta Linguistica Petropolitana. Труды института лингвистических исследований 2026 Т. 22 № 1 С. 68–133

В статье на типологическом фоне рассматриваются глаголы поля ‘менять’ в русском языке. Система доминантна: глагол менять(ся) покрывает большую часть фреймов; существенно расширил область употребления в последние десятилетия его дериват поменять(ся); напротив, устарел прежде доминантный переменить(ся). В то же время с дистрибутивными системами (в них фреймы покрываются разными лексемами) русскую систему сближает инвентарь приставочных дериватов корня -мен-, ...

Добавлено: 27 октября 2026 г.

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

Рыжова Д. А., Резникова Т. И., Старченко А. М. и др., Acta Linguistica Petropolitana. Труды института лингвистических исследований 2026 Т. 22 № 1 С. 11–40

Статья предваряет тематический выпуск, посвященный типологии семантического поля ‘менять’, и содержит введение к выпуску и предварительное обобщение сведений о поле. Статья описывает фреймовый подход к лексической типологии, вводит набор фреймов, выделяемых для поля ‘менять’, и обосновывает их расположение на семантической карте. На материале шестнадцати языков строится предварительная типология систем поля. Выявляются его отличительные черты: преобладание доминантных ...

Добавлено: 27 октября 2026 г.

Amplifying Latent Safety in Large Language Models via Gated Activation Steering

Roman Prosvirnin, Suslov A., Aleksei Soldatov и др., Computation 2026 Vol. 14 No. 10 Article 261

Добавлено: 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 D. и др., Big Data and Cognitive Computing 2026 Vol. 10 No. 11 P. 1–52

Добавлено: 27 октября 2026 г.

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

Воронцова Т. Д., М.: Академия, 2025.

Учебник подготовлен в соответствии с требованиями федеральных государственных образовательных стандартов среднего профессионального образования и предназначен для изучения профессиональных модулей «Защита информации в информационно-телекоммуникационных системах и сетях с использованием программных и программно-аппаратных, в том числе криптографических средств защиты» и «Защита информации в автоматизированных системах программными и программно-аппаратными средствами». Содержание учебника включает в себя аксиоматику теории информации, а также такие фундаментальные понятия, как ...

Добавлено: 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.

Добавлено: 28 сентября 2026 г.

Pairings on the algebra of Laurent series over a ring

Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.

Добавлено: 24 сентября 2026 г.

Iterative construction of the R-matrices in arbitrary dimensions

Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.

Добавлено: 24 сентября 2026 г.

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

Медведев В. О., / 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 ...

Добавлено: 19 сентября 2026 г.

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

Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.

Добавлено: 15 сентября 2026 г.

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

Глуцюк А. А., / Series arXiv "math". 2026.

Добавлено: 8 сентября 2026 г.

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

Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.

Добавлено: 31 августа 2026 г.

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

Колданов А. П., Колданов П. А., М.: Издательский дом НИУ ВШЭ, 2026.

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

Добавлено: 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. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

Добавлено: 21 августа 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

Добавлено: 30 июля 2026 г.

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

Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.

Добавлено: 21 июля 2026 г.

On functional equations for Chow polylogarithms

Болбачан В. С., / Series math "arxiv.org". 2024.

Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...

Добавлено: 16 июля 2026 г.