к Электронный каталог научных статей: актуальные статьи - «Академкнига»

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

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