(LNCS 11558) Computing with Foresight and Industry, Proceedings of 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019

doi:10.1007/978-3-030-22996-2

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

27 мая 2026 г.

Нейросетевое отображение как метод создания математических моделей

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

26 мая 2026 г.

Нейролингвисты НИУ ВШЭ помогли врачам провести операцию с пробуждением 11-летнему мальчику с эпилепсией

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

26 мая 2026 г.

Гибкость рынка труда как новая норма: ее формы и адаптация работников

Гибкий рынок труда, который наблюдается сегодня, — не временная тактика или вынужденная мера, а системный ответ на ряд вызовов. Как меняется карьера, какие формы гибкости встречаются и как работникам адаптироваться к ним, в колонке для IQ Медиа размышляет директор Института занятости и профессий НИУ ВШЭ Федор Прокопов.

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

Публикации

?

(LNCS 11558) Computing with Foresight and Industry, Proceedings of 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019

Switzerland : Springer, 2019.

Под общей редакцией: F. Manea, B. Martin, D. Paulusma, G. Primiero

This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.

The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The conference CiE 2018 had the following six special sessions: computational neuroscience, history and philosophy of computing, lowness notions in computability, probabilistic programming and higher-order computation, smoothed and probabilistic analysis of algorithms, and transnite computations.

Complexity of Conjunctive Regular Path Query Homomorphisms

Боду Л., Foucaud F., Madelaine F. и др., , in: (LNCS 11558) Computing with Foresight and Industry, Proceedings of 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019.: Switzerland: Springer, 2019. P. 108–119.

A graph database is a digraph whose arcs are labelled with symbols from a fixed alphabet. A regular graph pattern (RGP) is a digraph whose edges are labelled with regular expressions over the alphabet. RGPs model navigational queries for graph databases, more precisely, conjunctive regular path queries. A match of a navigational RGP query in ...

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

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

DOI

Текст на другом сайте

Ключевые слова: computability

(LNCS 11558) Computing with Foresight and Industry, Proceedings of 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019

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

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

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

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

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 г.

Sailing Routes in the World of Computation

Springer, 2018.

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

9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING

Springer International Publishing AG, part of Springer Nature 2018, 2018.

Добавлено: 11 июля 2018 г.