Electronic Proceedings in Theoretical Computer Science. Val. 243.

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

15 июля 2026 г.

«Наука всемирна, она не знает границ»

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

16 июля 2026 г.

Российские ученые создали открытую базу данных для изучения концентрации внимания

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

15 июля 2026 г.

«Тело саботирует мозг»: ученые НИУ ВШЭ - Санкт-Петербург объяснили физиологическую природу компульсивного переедания

Исследователи НИУ ВШЭ — Санкт-Петербург совместно с экспертами Тюменского государственного медицинского университета доказали, что при расстройствах пищевого поведения (РПП) организм теряет способность адаптироваться к стрессу. Попытки пациентов взять себя в руки при переедании часто не приносят результата: нервная система перестает реагировать на команды мозга.

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

Публикации

?

Electronic Proceedings in Theoretical Computer Science

Vol. 243. 2017.

Graphical Sequent Calculi for Modal Logics

Ma M., Пиетаринен А. Ю., , in: Electronic Proceedings in Theoretical Computer ScienceVol. 243.: [б.и.], 2017. P. 91–103.

Добавлено: 12 ноября 2018 г.

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

Ключевые слова: Theoretical Computer Science

Electronic Proceedings in Theoretical Computer Science

О базовых математических определениях цифровых технологий и искусственного интеллекта

Семенов А. Л., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 527 № S С. 7–12

В работе предлагается система определений для основных понятия теории вычислимости, лежащих в основе математики цифрового мира: алгоритм, вычислимость, исчисление, сложность объекта, приближенная к современным представлениям. Рассматриваются иерархии конечного и проблема непротиворечивости. ...

Добавлено: 6 декабря 2025 г.

Борис Абрамович Трахтенброт (к столетию со дня рождения)

Артемов С. Н., Барздинь Я. М., Бокуть Л. А. и др., Успехи математических наук 2022 Т. 77 № 1(463) С. 191–195

Борис Абрамович Трахтенброт (20.02.1921– 19.09.2016), которому 20 февраля 2021 г. исполнилось бы сто лет, – один из создателей теоретических основ информатики, или Theoretical Computer Science, широко признанный и в СССР, и в мире. Его научная биография интересна также и в гуманистическом, и в историческом аспектах. ...

Добавлено: 13 февраля 2022 г.

Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Proceedings

Switzerland: Springer, 2021.

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

Mathematical Optimization Theory and Operations Research: 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings

Cham: Springer, 2021.

Добавлено: 8 июля 2021 г.

Special Issue on Computer Science Symposium in Russia

Springer, 2020.

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

Computer Science – Theory and Applications 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings

Springer, 2020.

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

37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020.

Добавлено: 20 марта 2020 г.