Наредни састанак Семинара биће одржан онлајн у уторак, 26.марта 2022, са почетком у 18 часова.

Предавач: Иван Милић

Наслов предавања: ФИЗИКА СУНЦА КРОЗ ОБЈЕКТИВ ТЕЛЕСКОПА DKIST

Линк за регистрацију налази се на страници:
http://astro.math.rs/beta/index.php?lang=lat&dir=sci&page=seminar

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

Предавачи: Маријана Лазић, Chair for Foundations of Software Reliability and Theoretical Computer Science at TU Munich

Наслов предавања: A REDUCTION THEOREM FOR RANDOMIZED DISTRIBUTED ALGORITHMS UNDER WEAK ADVERSARIE

Апстракт: Weak adversaries are a way to model the uncertainty due to asynchrony in randomized distributed algorithms. They are a standard notion in correctness proofs for distributed algorithms, and express the property that the adversary (scheduler), which has to decide which messages to deliver to which process, has no means of inferring the outcome of random choices, and the content of the messages.

In this talk, we introduce a model for randomized distributed algorithms that allows us to formalize the notion of weak adversaries. It applies to randomized distributed algorithms that proceed in rounds and are tolerant to process failures. For this wide class of algorithms, we prove that for verification purposes, the class of weak adversaries can be restricted to simple ones, so-called round-rigid adversaries, that keep the processes tightly synchronized. As recently a verification method for round-rigid adversaries has been introduced, our new reduction theorem paves the way to the parameterized verification of randomized distributed algorithms under the more realistic weak adversaries.

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

Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz

Наредни састанак Семинара биће одржан у четвртак, 28.априла 2022, са почетком у 12.15 часова у сали 301ф Математичког института САНУ. Састанак семинара је могуће пратити и онлајн преко платформе MITEAM.

Предавач: Александар Миладиновић

Наслов предавања: ВИШЕ КАТЕГОРИЧКЕ ТЕОРИЈЕ И ЕКВИВАРИЈАНТНА ТЕОРИЈА ХОМОТОПИЈЕ

Апстракт: Виша категоричка теорија представља генерализацију категоричке теорије у контексту да имамо не само морфизме, већ и k-морфизме који представљају морфизме између (k-1)-морфизма итд. Резултати су показали да виша категоричка теорија представља јако добро окружење за рад у теорији хомотопије. На пример, конструкција хомотопских лимеса и колимеса одговара лимесима и колимесима у вишим категоријама. У претходних неколико година дошло је до развитка такозване параметризоване више категоричке теорије која даје одличне резултате применом у еквиваријантној теорији хомотопије. У овом излагању упознаћемо се са основним елементима параметризоване више категоричке теорије и неким применама: конструкцији еквиваријантне верзије факторизационе хомологије и вези са Хофшилдовом хомологијом.

Линк за регистрацију:
https://miteam.mi.sanu.ac.rs/asset/sd3bebvvcBSNtN78B

Наредни састанак Семинара биће одржан онлајн у четвртак, 28.априла 2022, са почетком у 17.15 преко Webex платформе.

Предавач: Ђорђе Коцић, Математички факултет, Универзитет у Београду

Наслов предавања: КЛАСИФИКАЦИЈА ПОВРШИ СА КОНСТАНТНИМ УГЛОМ У ЗАКРИВЉЕНОМ ПРОИЗВОДУ

Апстракт: Као део испита из Теорије подмногострукости, биће презентован рад:
Franki Dillen, Marian Ioan Munteanu, Joeri Van der Veken and Luc Vrancken: “Classification of constant angle surfaces in a warped product”, Balcan Journal of Geometry and Its Applications, Vol.16, No.2, 2011, pp. 35-47.

Нека је $I\subset R$ отворени интервал, $f:I->R$ строго позитивна функција и $Е^2$ Еуклидска раван. Класификоваћемо све површи закривљене производ многострукости $I x_f E^2$ за које јединична нормала гради константан угао са правцем тангентним на I и видети неке примере таквих површи.

Линк за приступ предавању биће накнадно постављен.

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

Предавач: Наташа Ђурђевић, Факултет организационих наука

Наслов предавања: ИНТЕРНЕТ ИНТЕЛИГЕНТНИХ УРЕЂАЈА У МАРКЕТИНГУ И МАЛОПРОДАЈИ

Апстракт: Предмет истраживања је развој модела примене интернета интелигентних уређаја (IoT) у маркетингу и малопродаји. Циљ истраживања је унапређење електронског пословања у делатности трговине кроз развој новог комуникационог микса заснованог на технологијама интернета интелигентних уређаја и мобилним технологијама. У ту сврху, развијен је модел који теоријски обједињује релевантна пословна и технолошка решења, аспект произвођача и малопродаваца приликом активације потенцијалних купаца, комбинујући кориснички интерфејс и интерне пословне процесе. Модел обухвата две групе решења: решења намењена купцима и решења усмерена на инфраструктуру и пословне процесе. Као део општег модела, развијен је и посебан модел предикције примене бикона у маркетингу и малопродаји. Евалуација је експерименталним истраживањем у реалном пословном случају примене бикона за унапређење процеса куповине и подстицаја купаца на куповину. Истраживањем је валидирана ефикасност предикције и потврђена ефективност примене бикона као маркетиншке промотивне иницијативе.

Напомена: Због тренутне епидемиолошке ситуације, предавања се могу пратити искључиво на даљину преко линка:
https://miteam.mi.sanu.ac.rs/asset/YoqHWKALRkRTbK9So

За активно учешће на Семинару неопходна је регистрација преко линка:
https://miteam.mi.sanu.ac.rs/asset/xzGqvSp7aWbg8WpYX

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

Предавачи: Татјана Јакшић Кругер, Математички институт САНУ

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

Апстракт: У предавању ћемо покрити међусобну зависност између типичних метода вештачке интелигенције и метахеуристичких алгоритама. Уопштено, метахеуристичке методе су засноване на учењу, претраживању и оптимизацији. Издвојићемо Swarm Intelligence (засноване на интелигенцији роја) као методе које природно обухватају све три карактеристике те су саставни део области АИ. Захваљујући наведеним особинама, метахеуристике се користе да помогну ефикасности AI метода. Наиме, осим што и саме представљају корисне алате у AI, MH се користе приликом дизајнирања стандардних АИ метода за подешавање (хипер | mета)параметера у циљу побољшања перформанси. У том домену су се показале ефикасније од стандардних приступа као што су Њутнова метода и метода најстрмијег спуста. Коначно, вреди споменути и да већина (ако не и све) метахеуристике су флексибилне и допуштају инкорпорацију ML техника. На овај начин је могуће креирати нове ML алгоритме за решавање проблема предикције.

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

Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz

Наредни састанак Семинара биће одржан у четвртак, 21.априла 2022, у учионици 718 Математичког факултета са почетком у 18 часова. Семинар се може пратити и онлајн на Webex платформи.

Предавач: Јелена Марковић

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

Апстракт

Линк за приступ предавању:  http://computing.math.rs/meet