Computing in Space and Time

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

6 ноября 2026 г.

Ученые НИУ ВШЭ - Санкт-Петербург разработали новый инструмент для речевой терапии после инсульта

Ученые НИУ ВШЭ — Санкт-Петербург совместно с коллегами из отделения нейрореабилитации Федерального Сибирского научно-клинического центра ФМБА в Красноярске разработали корпус упрощенных текстов для пациентов с афазией разной степени тяжести. Клинические исследования показали, что материалы по актуальным тематикам мотивируют активнее заниматься восстановлением речи после инсульта. Исследование опубликовано в журнале Aphasiology.

3 ноября 2026 г.

Физики научили ИИ настраивать пучок частиц в ускорителе

Исследователи Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ и Института ядерной физики СО РАН разработали RLABC — программу, которая помогает подбирать оптимальные настройки ускорителя частиц с помощью обучения с подкреплением. В компьютерном эксперименте программа настроила модель так, что до конца ускорителя доходило около 70% частиц. Исследование опубликовано в журнале Computer Physics Communications.

3 ноября 2026 г.

«Органы на чипе позволяют проверять лекарства без экспериментов на животных»

Лаборатория молекулярной физиологии факультета биологии и биотехнологии НИУ ВШЭ изучает, как молекулярные регуляторы (микроРНК) управляют работой генов и влияют на развитие болезней — онкологических, вирусных и воспалительных, а также осложнений беременности. В Вышке выращивают модели органов человека на чипе: крошечные устройства с живыми клетками, воспроизводящие работу, например, плаценты или кишечника. Модели помогают понять, как возникают болезни и как на них действуют лекарства. «Вышка.Главное» побеседовала с заведующим лабораторией Евгением Князевым.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Computing in Space and Time

P. 193–207.

Родин А. В.

Turing machine adequately accounts for the temporal aspect of real computing
but fails to do so for certain spatial aspects of computing, in particular, in the
case of distributed computing systems. This motivates a search for alternative models of
computing, which could take such spatial aspects into account. I argue that a revision of
the received views on the relationships between logic, computation and geometry may be
helpful for coping with spatial issues arising in the modern computing.

Язык: английский

Ключевые слова: Turing machine

В книге

Berechenbarkeit der Welt? Philosophie und Wissenschaft im Zeitalter von Big Data

Wiesbaden: Springer, 2017.

A novel cryptosystem using DNA sequencing and contextual array splicing system for Medical Internet of Things

Ugandran I., Махендран А., S. A. и др., Computers and Electrical Engineering 2021 Vol. 96 No. 1 Article 107429

Добавлено: 23 ноября 2021 г.

The logic of action lattices is undecidable

Кузнецов С. Л., , in: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).: IEEE, 2019. Ch. 36 P. 1–9.

Добавлено: 4 сентября 2019 г.

Дискретная математика. Алгоритмы: теория и практика.

Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2019.

Книга содержит необходимые сведения из теории алгоритмов, теории графов, комбинаторики. Рассматриваются частично рекурсивные функции, машины Тьюринга, приводятся некоторые варианты алгоритмов (ассоциативные исчисления, системы подстановок, грамматики, продукции Поста, нормальные алгоритмы Маркова, операторные алгоритмы). Описываются основные типы графов (мультиграфы, псевдографы, эйлеровы графы, гамильтоновы графы, деревья, двудольные графы, паросочетания, сети Петри, планарные графы, транспортные сети). Приводятся некоторые часто ...

Добавлено: 24 августа 2018 г.