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

Предавач: Анастасија Пешић, Хумболт Универзитет у Берлину

Наслов предавања: ВАРИЈАЦИОНА АНАЛИЗА МОДЕЛА МЕМБРАНА

Детаљније: Детаљно испитивање понашања мембране при савијању се често сматра суштинским за разумевање појединих особина ћелија, као и неких особина материјала и може довести до напредака на пољу биологије и науке о материјалима. На овом предавању ћемо се бавити класичним детерминистичким приступом моделовању мембрана. Најпре ћемо представити варијациони модел за мембрану која је јако привучена од стране два зида и карактеризовати оптимални облик мембране путем Гама-конвергенције. Овај део предавања се ослања на мастер тезу под менторством проф. Барбаре Цвикнагл и проф. Жан-Доминик Дојшела. Потом ћемо дискутовати о проширењу овог модела како би одговарао појави липидних острва у биолошким мембранама.

Линк за приступ предавању је
https://miteam.mi.sanu.ac.rs/asset/CihYM6Nratzix7c8G

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

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

Предавач: Zhilbert Tafa, University for Business and Technology, Priština

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

Апстракт: Постојећи алгоритми за контролу загушења (Congestion Control, CC) у компјутерским мрежама се базирају на унапред дефинисаним правилима промјене cwnd варијабле. Међутим, показује се да овакав приступ није довољно ефикасан у условима хетерогених мрежа и динамичких мрежних окружења. Због тога се предлажу нови приступи базирани на машинском учењу (Machine Learning, ML). Новија истраживања показују да ML може у великој мери побољшати перформансе постојећих метода контроле загушења или у потпуности ремоделирати CC.

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

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

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

Предавач: Филип Броћић, Универзитет у Монтреалу, Канада

Наслов предавања (други део): РЕЛАТИВНИ ПРОБЛЕМ ПАКОВАЊА И КРИВИНА

Детаљније: На предавању ћу увести (релативну) Громовљеву ширину и (релативни) проблем паковања. Навешћу познате резултате и описати проблем на коме радим. Од интереса су ми Лагранжеве многострукости које допуштају метрику не-позитивне секционе кривине. Користећи специфичну геометрију и топологију таквих Лагранжевих из декомпозиција у Фукајиној категорији можемо да докажемо егзистенцију холоморфних полигона који дају ограничење одговарајућих инваријанти.

Линк за приступ предавању:
https://matf.webex.com/matf/j.php?MTID=m92203de7cc479740985117b0f7cd3b63
password: sgPgpxPU278

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

Предавачи: Jesús Medina, University of Cadiz, Spain i Andreja Tepavčević, Mathematical Institute SASA, University of Novi Sad

Наслов предавања: ACTION COST: DIGITAL FORENSICS: EVIDENCE ANALYSIS VIA INTELLIGENT SYSTEMS AND PRACTICES. GOALS AND APPLICATIONS

Апстракт: The Action COST DigForAsp is composed of more than 250 specialists and researchers from 36 countries, which is focused on searching for and consolidating of synergies in order to face the challenges in digital forensics, improve processes and obtain more efficient results, throughout the application of Artificial Intelligence and Automatic Reasoning tools. DigForASP aims to create one of the largest European intergovernmental networks for the coordination of European scientific and technical research in Digital Forensic, under the support of the European Cooperation Program in Science and Technology (COST), funded by the European Commission, which seeks to strengthen scientific and technical research in Europe by financing the establishment of collaborative networks between researchers.

In this talk, the description of digital forensic and the specific goals of the Action will be presented. Moreover, we will also pay attention to current advances and applications.

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

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

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

Предавач: Никола Лелас, Математички факултет, Универзитет у Београду

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

Апстракт

Линк за приступ:
https://matf.webex.com/meet/tanjas

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

Предавач: Сара Драгутиновић, Сент Џонс колеџ, Универзитет у Оксфорду

Наслов предавања: ТЕОРИЈА ТИПОВА

Детаљније: Током деветнаестог века математичари су се упустили у формализовање темеља математике. Russell је својим парадоксом узбуркао ову мисију. Предложена су два решења овог парадокса, ZFC аксиоме од стране Zermelo-a и Russell-ова теорија типова. Теорија типова се бави термовима, где сваки терм а има свој тип А, у запису а : А. Поједини математичари су уочили да теорије типова имају потенцијала да постану темељ математике и замене до сада прихваћене (мада повремено контроверзне) ZFC аксиоме. Поред тога, велика предност теорија типова је што су прилагођене језику рачунара, па већина програма за проверу математичких доказа има основу у теорији типова. Lean је један од њих, можда најпопуларнији и тренутно се ради на библиотеци која садржи све теореме из градива основних студија математике. Међутим, теорије типова не служе само рачунарима. На пример, хомотопијска теорија типова је област активног истраживања данас. Њена основна идеја јесте да је тип заправо простор, а термови тог типа су тачке у том простору.

Линк за приступ предавању је:
https://miteam.mi.sanu.ac.rs/asset/CihYM6Nratzix7c8G

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

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

Предавач: Слободан Вујошевић, Природно-математички факултет у Подгорици

Наслов предавања: ГЕДЕЛ И МЕТАФИЗИКА (други део)

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

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

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