Представљање извештаја о урађеној докторској дисертацији „Тестови сагласности засновани на L2 и L∞ растојањима и њихова асимптотска ефикасност", кандидата Марије Цупарић биће одржано у петак, 16.04.2021. године у сали 706, са почетком у 12.30 часова.
детаљнијеПредстављање извештаја о урађеној докторској дисертацији „НОВЕ МЕТОДЕ КЛАСТЕРОВАЊА НА КОМПЛЕКСНИМ МРЕЖАМА“, кандидата Душана Џамића биће одржано у петак, 16.04.2021. године у Светог Николе 39, учионица 153, са почетком у 12.00 часова.
детаљнијеНаредни састанак Семинара биће одржан онлајн у петак, 16. априла 2021. са почетком у 14:15.
Предавач: Раде Живаљевић, Математички институт, САНУ
Наслов предавања: ПРОБЛЕМ ПРАВЕДНЕ РАСПОДЕЛЕ ИЗ УГЛА АЛГЕБАРСКЕ ТОПОЛОГИЈЕ
Апстракт:
Проблем фер расподеле, у којој ни један од учесника не осећа завист према другом, је један од класичних проблема математичке економије у коме се користе тополошки методи (Шпернерова лема, ККМ теорема итд.). Изложићемо нов приступ овим проблемима који се базира на еквиваријантној топологији, конфигурационим просторима и тест пресликавањима (configuration space/test map scheme), оригинално развијеним за примене у дискретној и рачунарској геометрији (Твербергови проблеми, проблеми дељења огрлице, итд.).
Надовезујући се на резултате које су добили С. Авакумов, Р. Карасев, Ф. Меуниер, С. Зербиб, Е. Сегал-Халеви, показаћемо како се класични Гејлов резултат (D. Gale) о дељењу "колача" без зависти шири на случај када неки од учесника дељења имају "ирационалне" захтеве. Размотрићемо и сродан проблем дељења огрлице (N. Alon, D. West) са акцентом на допунским ограничењима (Д. Јојић, Г. Панина, Р.Ж., SIAM J. Discr. Math. 2021).
Детаљи приступа:
Регистрација за учешће на семинару је доступна на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N
Уколико желите само да гледате предавање, без могућности активног учешћа, пренос је доступан на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/J6zEMJyMSoAbTMMX7
Наредни састанак Семинара биће одржан онлајн у четвртак, 15. априла 2021. са почетком у 17:15.
Предавач: Дејан Урошевић, Математички факултет, Универзитет у Београду
Наслов предавања: ПОСМАТРАЧКА КОСМОЛОГИЈА И КОСМОЛОШКИ ТЕСТОВИ
Апстракт:
Београдска група које се бави изучавањем остатака супернових већ нешто више од двадесет година изучава ове објекте у три различита правца: испитивањем тзв. радио Сигма - Д релације, проучавањем спектара остатака супернових у радио-подручју и побољшавањем рачуна једнаког учешћа између густине енергије магнетног поља и густине енергије космичког зрачења из ових објеката. Налажењем пресека између резултата добијених коришћењем ова три метода, може се одредити еволутивни статус неког остатка супернове за који су изврсена посматрања у радио-подручју.
Детаљи приступа:
https://matf.webex.com/matf/j.php?MTID=mef699433b60dfcc426a54fb6f301d7f7
Meeting number (access code): 183 136 2040
Meeting password: JrC86MjEeT3
Наредни састанак Семинара биће одржан у среду, 14. априла 2021. у сали 301ф Математичког института САНУ са почетком у 18 часова.
Предавач: Марко Јанев, Математички институт САНУ
Наслов предавања: НЕТЕРОВА ТЕОРЕМА ЗА ФРАКЦИОНАЛНЕ ВАРИАЦИОНЕ ПРОБЛЕМЕ ХЕРГЛОЦОВОГ ТИПА - АПРОКСИМАЦИЈЕ
Апстракт:
Разматра се Харглоцов вариајциони принцип са Лагранжијанима који зависе од фракционих извода како реалног тако и комплексног фракционог реда. У првом предавању је доказана Теорема Нетеровог типа, која даје закон конзервације за наведени принцип. У другом предавању посматрамо низ апроксимација фракционе Ојлер Лагранжове једначине, системима целобројног реда је кориштен за формирање целобројних закона конзервације који, под одређеним претпоставкама, конвергирају претходно добијеном фракционом закону конзервације.
Резултати су добијени у сарадњи са Т. Атанацковићем и С. Пилиповићем.
Напомена:
Моле се заинтересовани да свој долазак на предавање најаве мејлом на mehanika@turing.mi.sanu.ac.rs. Током састанака је неопходно поштовање прописаних мера заштите.
Наредни састанак Семинара биће одржан онлајн у среду, 14. априла 2021. од 19 до 20 часова.
Предавач: др Павле Суботић, Senior Research Engineer at Azure Data Labs
Наслов предавања: DEBUGGING LARGE SCALE DATALOG WITH PROOF ANNOTATIONS
Апстракт: Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis, graph databases and network analysis. The logic specifications that model analysis problems process millions of tuples of data and contain hundreds of highly recursive rules. As a result, they are notoriously difficult to debug. While the database community has proposed several data provenance techniques that address the Declarative Debugging Challenge for Databases, in the cases of analysis problems, these state-of-the-art techniques do not scale.
In this talk, I introduce a novel bottom up Datalog evaluation strategy for debugging: Our provenance evaluation strategy relies on a new provenance lattice that includes proof annotations and a new fixed-point semantics for semi-naïve evaluation. A debugging query mechanism allows arbitrary provenance queries, constructing partial proof trees of tuples with minimal height. We integrate our technique into Soufflé, a Datalog engine that synthesizes C++ code, and achieve high performance by using specialized parallel data structures. Experiments are conducted with DOOP/DaCapo, producing proof annotations for tens of millions of output tuples. We show that our method has a runtime overhead of 1.31× on average while being more flexible than existing state-of-the-art techniques.
This is joint work with David Zhao and Prof. Bernhard Scholz from the University of Sydney. A version of this talk was presented at POPL this year (2021).
Регистрациона форма за учесће и линк за предавање након регистрације:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Уколико желите само да гледате предавање без могућности активног учешћа, пренос ће бити доступан на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz
Наредни састанак Семинара биће одржан онлајн у уторак, 13. априла 2021. са почетком у 14:15.
Предавач: Александра Лабус, Факултет организационих наука
Наслов предавања: AN APPLICATION OF SOCIAL NETWORK INSTAGRAM IN HIGHER EDUCATION
Апстракт:
This lecture discusses the possibilities of employing social network Instagram in higher education e-learning. Numerous studies have shown that the application of social networks can encourage collaboration among students and increase motivation for e-learning. Over the past few years, the number of Instagram users has grown and opportunities for its implementation in education have increased. To test the possibilities of integrating Instagram related activities in formal e-learning, we have performed a pilot study within undergraduate studies at the Faculty of Organizational Sciences. Participants were third-year students who attended the course E-business. Students were involved in Instagram challenges organized by teachers for one month. After completing the e-learning challenge, students were given an Instagram story quiz to test their knowledge. The students completed an online survey and expressed their attitudes on this type of learning. The results show students' readiness to use Instagram as an e-learning tool. They think this type of activity challenges their creativity and enables them to learn in new and motivating ways.
Напомена:
Због тренутне епидемиолошке ситуације, редавања се могу пратити искључиво на даљину преко линка
https://miteam.mi.sanu.ac.rs/asset/YoqHWKALRkRTbK9So
Наредни састанак Семинара биће одржан онлајн у четвртак, 8. април 2021. са почетком у 17:15.
Предавач: Предраг Јовановић, научни саветник, Астрономска опсерваторија у Београду
Наслов предавања: ПОСМАТРАЧКА КОСМОЛОГИЈА И КОСМОЛОШКИ ТЕСТОВИ
Апстракт:
У овом предавању ће укратко бити приказане основне поставке посматрачке космологије, као и најважнији космолошки тестови, тј. астрономска посматрања која се користе за одређивање параметара стандардног ΛCDM космолошког модела, као што су: супернове типа Ia, космичко микроталасно позадинско зрачење, барионске акустичне осцилације и гравитациона сочива. Биће приказане и различите мере за космолошка растојања, од којих су најважнија растојања по луминозности и угаоном дијаметру, а такође и њихово практично коришћење за одређивање вредности космолошких параметара помоћу поменутих космолошких тестова.
Биће објашњена и тзв. Хаблова тензија, тј. разлика у вредностима Хаблове константе добијеним помоћу различитих космолошких тестова.
Поред тога, укратко ће бити представљени и неки резултати наших истраживања примене гравитационих сочива у посматрачкој космологији.
Детаљи приступа:
https://matf.webex.com/matf/j.php?MTID=mef699433b60dfcc426a54fb6f301d7f7
Meeting number (access code): 183 136 2040
Meeting password: JrC86MjEeT3
Наредни састанак Семинара биће одржан онлајн у петак, 9.
марта 2021, са почетком у 12 часова.
Предавач: Бојана Ласковић, Математички факултет Универзитета у Београду
Наслов предавања: ТЕОРИЈА МОДЕЛА ЗА МЕТРИЧКЕ СТРУКТУРЕ
Апстракт:
Метричке структуре се често јављају у математици, посебно у анализи и геометрији. Један од приступа за проучавање метричких структура који даје доста добре резултате је непрекидна логика за метричке структуре.
Непрекидна логика има доста сличности са логиком првог реда и у одређеном смислу се може видети као генерализација логике првог реда. У овом излагању ће бити представљени неки од основних појмова и тврђења теорије модела за метричке структуре.
Линк за приступ предавању:
https://miteam.mi.sanu.ac.rs/asset/CihYM6Nratzix7c8G
Наредни састанак Семинара биће одржан у среду, 7. априла 2021. у сали 301ф Математичког института САНУ са почетком у 18 часова
Предавач: Милан Перић, Математички факултет Универзитета у Београду
Наслов предавања: ПОЛИНОМИЈАЛНА ЕНТРОПИЈА И ЛУТАЈУЋА ДИНАМИКА (2. ДЕО)
Апстракт: На предавању ће бити најпре уведени основни појмови тополошке динамике. Затим ће бити дата дефиниција и главне особине тополошке ентропије. Биће указано на њен значај и везу са другим важним концептима.
Након тога ће бити објашњена потреба за увођењем полиномијалне ентропије и разлике у односу на тополошку ентропију. Показаћемо да је полиномијална ентропија добро прилагођена лутајућој динамици и увешћемо специфично кодирање и сингуларне тачке. На крају ће бити дати примери рачунања на Морсовим градијентним системима и логистичком пресликавању.
Напомена: Молимо заинтересоване да свој долазак на предавање најаве мејлом на mehanika@turing.mi.sanu.ac.rs. Током састанака је неопходно поштовање прописаних мера заштите.
© Copyright 2008 Математички факултет Универзитет у Београду
Design & Development
Александар Смиљковић
Адреса: Студентски трг 16,
11158 Београд
Телефон: (+381) 011 2027 801
Fаx: (+381) 011 2630 151
E-mail: matf@matf.bg.ac.rs
Жиро рачун: 840-181 5666-68
PIB: 100046603
