Данил Кужман
Optimizing VLIW instruction scheduling via a 2D constrained dynamic programming (реферат статьи из ACM Trans. Des. Autom.Electron. Syst., 2024).

Н. В. Колесников (ИМ СО РАН)
Обратная теорема Кэзи на плоскости Лобачевского.

Е. В. Константинова
Обзор некоторых результатов из статьи:
“CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs.” Часть 1.

Ефремов Евгений Леонидович, Степанова Алёна Андреевна, Чеканов Сергей Геннадьевич (Владивосток)
Теоретико-модельные вопросы класса псевдоконечных полигонов.

Чмелевский Михаил Петрович (СПбГУ, Санкт-Петербург, НМИЦ им. В. А. Алмазова, Санкт-Петербург), Котина Елена Дмитриевна (СПбГУ, Санкт-Петербург)
Математическое моделирование и реконструкция электрической активности сердца с применением нейронных сетей.

1. Д. Ю. Иванов (ИМ СО РАН)
   Принципы квантовой телепортации.
    
   Аннотация

   В данном сообщении будет предпринята попытка объяснить неспециалистам принципы квантовой механики на примере квантовой телепортации.
   
   
2. Д. М. Анищенко (НГУ)
   Логика, основанная на семантике квантовых тимов.
    
   Аннотация

   Установлено, что явления в квантовой механике имеют вероятностную природу. Например, мы не можем определить положение электрона в произвольный момент времени, но можем определить вероятностное распределение его положения, зная начальное распределение. Это можно интерпретировать, как отсутствие детерминизма в квантовой механике. Однако не все физики разделяли подобную интерпретацию. Ими была предложена концепция скрытых параметров, которые нельзя измерить, но которые однозначно определяют движение частиц. В 1964 году Джоном Стюартом Беллом было показано, что вне зависимости от наличия или отсутствия скрытых параметров есть некоторые вероятностные неравенства, которые можно экспериментально проверить, и в случае их нарушения можно сделать вывод об отсутствии скрытых параметров. Физиками Джоном Клаузером, Аланом Аспектом и Антоном Цайлингером были проведены эксперименты, которые показали нарушение неравенств Белла. За этот результат им была присуждена Нобелевская премия в 2022 году.

   Неравенства Белла не нарушаются в классических вероятностных моделях. В частности, неравенства Белла выводятся в вероятностной логике Фагина, Хальперна и Мегиддо. Их нарушение означает, что для моделирования квантовой механики необходимы нестандартные вероятностные модели. В докладе речь пойдет о модифицированной вероятностной логике, в которой невыводимы неравенства Белла, и будет доказана теорема полноты для данной логики. Семантика данной логики задается в терминах квантовых тимов и является обобщением тим-семантики логики независимости, введенной Юко Ваананеном в 2007 году.

   Сообщение основано на следующих работах:

   [1] T. Hyttinen, G. Paolini, J. Vaananen, Quantum team logic and Bell's inequalities. Rev. of Symb. Logic, V. 8, No. 4, 2015.
   [2] J. T. Fokkens, On the reduction of quantum teams, MA thesis, University of Gothenburg.

В. А. Топчий
Асимптотические свойства последовательностей вырождающихся цепей Маркова, определяемых дважды максимальными случайными процессами.

Аннотация

М. М. Аликбаров
Обобщение Clock-теоремы на нотоиды и 1-линкоиды (продолжение).