Наредни састанак Семинара биће одржан у уторак, 3. децембра 2024. године, у огранку МИ САНУ у Нишу са почетком у 14.15. У питању је заједнички састанак са семинарима Вештачка интелигенција и Одлучивање – теорија, технологије и пракса.

Предавач: Мирослав Ћирић, Универзитет у Нишу, Природно-математички факултет, Департман за рачунарске науке

Наслов предавања: СИСТЕМИ МАТРИЧНИХ ЈЕДНАЧИНА И НЕЈЕДНАЧИНА И ЊИХОВЕ ПРИМЕНЕ У ТЕОРИЈИ ТЕЖИНСКИХ АУТОМАТА, АНАЛИЗИ СОЦИЈАЛНИХ МРЕЖА И МОДАЛНОЈ ЛОГИЦИ

Апстракт: У овом предавању ћу у најкраћим цртама предаставити главне идеје и резултате дугогодишњег рада моје истраживачке групе на развоју метода и алгоритама за решавање специфичних система матричних једначина и неједначина који имају изузетно важне примене у теорији тежинских аутомата, анализи социјалних мрежа и мултимодалним фази логикама.

Проширени апстракт може се наћи на страници: https://www.mi.sanu.ac.rs/novi_sajt/research/csamcoll.php

Напомена: Линк за праћење семинара на даљину: https://miteam.mi.sanu.ac.rs/asset/qGapAHyEBad2FDwXR

Наредни састанак Семинара биће одржан у петак, 29. новембра 2024. године, у сали 301ф Математичког института САНУ са почетком у 14.15.

Предавач: Ђорђе Баралић, Математички институт САНУ

Наслов предавања: „MOD P“ БУХШТАБЕРОВА ИНВАРИЈАНТА

Апстракт: Бухштаберова инваријанта је једна од централних тема торусне топологије и представља комбинаторну особину симплицијалног комплекса. Користећи један од описа класичних Бухштаберових инваријанта преко универзалних комплекса база од Z^n i Z_2^n, за сваки прост број n дефинише се одговарајући универзални комплекс од Z_p^n i mod p Бухштаберова инваријанта. Показује се да су ове инваријанте у општем случају различите и да су саме по себи интересантне већ и на наједноставнијим примерима скелетона од симплекса. На предавању ћемо дати и приказ резултата који су добијени у заједничким радовима са Алешом Вавпетичом и Александром Вучићем.

Напомена: Предавање се може пратити на даљину преко линка Одељења за математику: https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r

Наредни састанак Семинара биће одржан у петак, 29. новембра 2024. године у сали 301ф Математичког института САНУ са почетком у 12 часова.

Предавач: Петар Стојчић, Математички институт САНУ

Наслов предавања: ФУНДАМЕНТАЛНА ТЕОРЕМА ДИНАМИЧКИХ СИСТЕМА

Апстракт: Тополошки динамички систем је уопштење тока аутономног векторског поља, и може се представити као пар (X,f), где је X компактан метрички простор, а f:X->X непрекидно пресликавање. Ако је f хомеоморфизам, систем се назива реверзибилним. За динамички систем кажемо да је градијентног типа ако допушта функцију Љапунова, то јест функцију која опада дуж орбите сваке тачке која није фиксна. Функција Конли-Љапунова је уопштење функције Љапунова. Фундаментална теорема динамичких система каже да сваки реверзибилан динамички систем на компактном метричком простору допушта функцију Конли-Љапунова. На основу тога, сваки динамички сиситем можемо да поделимо на део који је градијентног типа и на скуп ланчасто рекурентних тачака, и тиме сведемо проучавање неуређености система на проучавање скупа ланчасто рекурентних тачака.

Напомена: Предавања се могу пратити на даљину преко линка:
https://miteam.mi.sanu.ac.rs/call/CihYM6Nratzix7c8G/uJmcdEJs4INWQ8MEoLVzHRGxbfbBEWSBMwXBYcymVoj

Регистрациона форма је доступна на:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73

Наредни састанак семинара Биоинформатика биће одржан онлајн у среду, 27. новембра 2024. године, са почетком у 18.15.

Предавач: проф. др Јуриј Орлов, Први московски медицински универзитет Министарства здравља Руске федерације

Наслов предавања: 3D GENOMICS BASED ON SEQUENCING

Биографија предавача и апстракт предавања су доступни на: http://bioinfo.matf.bg.ac.rs/

Линк за онлајн пренос: https://zoom.us/j/2183428158?pwd=ouAZtpLrbPnOBsKjQiarS9Rh59fyqF.1

Организатори семинара Биоинформатика су Српско друштво за биоинформатику и рачунарску биологију (http://www.birbi.matf.bg.ac.rs/) и Математички факултет.

Наредни састанак Семинара биће одржан у среду, 27. новембра 2024. године, у сали 301ф Математичког института САНУ са почетком у 18 часова.

Предавач: Ненад Весић, Математички институт САНУ

Наслов предавања: GEODESIC AND F-PLANAR MAPPINGS OF 3D-MANIFOLDS

Апстракт: In this lecture, the geodesic and F-planar deformations of manifolds in 3D-space are studied. The difference between infinitesimal non-infinitesimal deformations is noticed and emphasized. After that, the invariant geometrical objects under these two kinds of deformations are obtained. In the next, we analyzed the composition of these two mappings and the corresponding invariants. At the end of this research, an example motivated by cosmological models is presented.

Напомена: Предавања се могу пратити на даљину преко странице:
https://miteam.mi.sanu.ac.rs/asset/YfY2cZTcN3YwGqFjc

Регистрација ѕа учешће на семинару је доступна на следећој страници:
https://miteam.mi.sanu.ac.rs/asset/o9cuDZYqrq7jvFxw8

Наредни састанак Семинара биће одржан у среду, 27. новембра 2024, у сали 301ф Математичког института САНУ са почетком у 12 часова.

Предавач: Игор Салом, Институт за физику у Београду

Наслов предавања: ЗАШТО „ХАРД ПРОБЛЕМ“ СВЕСТИ НЕМА РЕШЕЊА У КЛАСИЧНОЈ ФИЗИЦИ -други део

Апстракт: Циљ овог предавања биће да сагледамо „the hard problem“ из угла квантне физике. Прво, указаћемо на постојање мапирања између погледа на проблем свести и интерпретација квантне механике (и успоставити свејеврсни „речник“ између „hard problem“-а свести и „measurement problem“-а квантне механике). Зарад тога, сконцентрисаћемо се на тзв. „парадокс Вигнеровог пријатеља“ – мисаони експеримент који најдубље илуструје фамозни „проблем мерења“ у квантној физици и уједно представља можда и једини (потенцијални) квантно-механички експеримент за који ни изблиза не постоји научни консенсуз око тога шта је очекивани исход.

Затим ћемо сагледати које то могућности квантна механика пружа да се избегне резултат „no-go“ теореме са првог предавања, и аргументовати да ту уједно лежи и могуће разрешење парадокса Вигнеровог пријатеља. Као што ћемо видети, ова симултана разрешења оба велика проблема савремене науке („hard problem“-а и „measurement problem“-а) захтевају одустајање од, у широј научној јавности још увек преовађујуће, парадигме материјализма.

Напомена: Семинар је могуће пратити на даљину путем линка:
https://miteam.mi.sanu.ac.rs/call/yujMwF3JyYqzw6Jth/2m0heDiyDRqBDFTDIItulzyPrdbs5PT8mt_WmgRpRgr

Регистрација за учешће на семинару је доступна на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/CyzPn2zriMsWWNzii

Регистровани учесници могу пратити предавање на даљину на следећем линку (након логовања):
https://miteam.mi.sanu.ac.rs/asset/QPYfBbqdhTF5spTAt

Наредни састанак Семинара биће одржан онлајн у среду, 27. новембра 2024. године, са почетком у 19 часова.

Предавач: Ђорђе Жикелић, Singapore Management University (SMU)

Наслов предавања: НЕУРАЛНИ КОНТРОЛНИ СИСТЕМИ И ЊИХОВА ФОРМАЛНА ВЕРИФИКАЦИЈА

Апстракт: Учење с подстицањем је остварило импресивне резултате, што је подстакло интересовање за његову употребу у аутоматском управљању и роботици. Међутим, сигурносно-критична природа аутоматских контролних система као што су аутономна возила доводи у питање сигурност научених контролора и захтева сигурносне гаранције. Ово предавање ће представити неуро-симболички оквир за учење и формалну верификацију неуралних контролора у контролним системима. За задати контролни систем и спецификацију својства које систем треба да задовољи, наш метод учи неурални контролор заједно са неуралним сертификатом који формално доказује да је спецификација задовољена. Метод се такође може користити и за формалну верификацију већ научених неуралних контролора у односу на задату спецификацију. Метод је примењив на стохастичке контролне системе, и представља први метод за формалну верификацију неуралних контролора у стохастичким контролним системима.

Напомена: Регистрациона форма за учешће и линк за активно праћење предавања за регистроване кориснике (након логовања):
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Нерегистровани корисници могу да прате предавања на овом линку (без могућности активног учешћа):
https://miteam.mi.sanu.ac.rs/call/hR9vL94nD6QE8qQZj/xET9GcPMyR08nqH8lnS3SE7N5Vf00H7Lp9EBhsv6Lti