Актуальные статьи

Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR
В. О. Мордань, В. С. Мутилин
Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR
На данный момент статические верификаторы, основанные на уточнении абстракции по контрпримерам подходе CEGAR (Counterexample...
Рубрика: Информатика. Информационные и вычислительные системы
Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR
Имплицитные представления о признаках нравственной элиты
М. И. Воловикова, А. Л. Журавлев
Имплицитные представления о признаках нравственной элиты
Продолжено   исследование   нравственной   элиты,   начатое   в   2010   г.   в   серии   публикаций   А.Л.  Журавл...
Рубрика: Психология
Имплицитные представления о признаках нравственной элиты Имплицитные представления о признаках нравственной элиты
Квантовые отпечатки хаоса или квантовый хаос?
В. Е. Бунаков
Квантовые отпечатки хаоса или квантовый хаос?
Приводится критика современного подхода к хаосу в квантовых системах как к "квантовому отпечатку" классич...
Рубрика: Физика
Квантовые отпечатки хаоса или квантовый хаос? Квантовые отпечатки хаоса или квантовый хаос?
Асимптотические решения системы магнитной гидродинамики, описывающие сглаженные разрывы
А. И. Аллилуева, А. И. Шафаревич
Асимптотические решения системы магнитной гидродинамики, описывающие сглаженные разрывы
Описаны асимптотические решения нелинейной системы магнитной гидродинамики, быстро меняющиеся вблизи движущейся пов...
Рубрика: Математика
Асимптотические решения системы магнитной гидродинамики, описывающие сглаженные разрывы Асимптотические решения системы магнитной гидродинамики, описывающие сглаженные разрывы
Новая некультивируемая бактерия семейства GALLIONELLACEAE, ‒ описание и реконструкция генома на основе анализа метагенома микробного сообщества кислых шахтных вод
В. В. Кадников, Д. А. Ивасенко, А. В. Белецкий, А. В. Марданов, Э. В. Данилова и др.
Новая некультивируемая бактерия семейства GALLIONELLACEAE, ‒ описание и реконструкция генома на основе анализа метагенома микробного сообщества кислых шахтных вод
Дренажные воды отходов добычи металлов часто характеризуются низким рН вследствие окисления остаточных сульфидов и ...
Рубрика: Биологические науки
Новая некультивируемая бактерия семейства GALLIONELLACEAE, ‒ описание и реконструкция генома на основе анализа метагенома микробного сообщества кислых шахтных вод Новая некультивируемая бактерия семейства GALLIONELLACEAE, ‒ описание и реконструкция генома на основе анализа метагенома микробного сообщества кислых шахтных вод