Наредни састанак Семинара биће одржан у четвртак, 27. децембра 2018. у сали 718 Математичког факултета са почетком у 18:15.
Предавач: Петар Вукмировић, Универзитет у Амстердаму.
Наслов предавања: ПРОШИРИВАЊЕ ДОКАЗИВАЧА ЛОГИКЕ ПРВОГ РЕДА НА ЛОГИКУ ВИШЕГ РЕДА
Апстракт: Деценије рада су уложене у развијање ефикасних рачуна, структура података, алгоритама и хеуристика за аутоматске доказиваче за логику првог реда. Доказивачи за логике вишег реда заостају у погледу ефикасности. Рад који представљам приказује имплементацију доказивача за логику вишег реда базираног на врло напредом суперпозиционом доказивачу Е. Овај ред објашњава један начин на који се прилагођавају структуре података, алгоритми и хеуристике како би се подржала логика вишег реда без ламбда израза, формализам који подржава парцијалну апликацију и примењене променљиве. Наш приступ показује две битне предности у односу на развој доказивача за логику вишег реда испочетка: задржавамо високе перформансе доказивача за логику првог реда и успевамо да решимо и до 15% више проблема у односу на традиционалне приступе засноване на превођењу у логику првог реда. Логика вишег реда без ламбда израза представља први корак ка проширењима на друге логике вишег реда.
Детаљније информације се могу пронаћи на:
http://argo.matf.bg.ac.rs/?content=seminar_sr_lat
http://computing.matf.bg.ac.rs
детаљније
Ове године Семинар за механику (Математички методи механике) обележава 25 година рада. Поводом јубилеја, Семинар организује три предавања у среду, 26. децембра у сали 301ф Математичког института САНУ по следећем распореду.
Среда, 26. децембар са почетком у 14:15
Предавач: Владимир Драговић, Математички институт САНУ, Универзитет у Тексасу
Наслов предавања: ТРОУГАОНЕ ШЛЕЗИНГЕРОВЕ ЈЕДНАЧИНЕ, СУПЕРЕЛИПТИЧКЕ КРИВЕ И РАЦИОНАЛНА РЕШЕЊА ПЕНЛЕВЕОВИХ VI ЈЕДНАЧИНА
Среда, 26. децембар са почетком у 16:15 (заједнички састанак са Одељењем за математику, у сарадњи са Српском академијом нелинеарних наука)
Предавач: Миливој Белић, Уневерзитет у Катару
Наслов предавања:TALBOT CARPETS BY ROGUE WAVES
Апстракт: Rogue waves are giant nonlinear waves tхat randomly appear and disappear in oceans and optics. Talbot carpets are ordered recurrent images of linear light and plasma waves. We demonstrate how to produce Talbot carpets by rogue waves.
Среда, 26. децембар са почетком у 18h (заједнички састанак са Одељењем за математику)
Предавач: Милена Радновић, Математички институт САНУ, Универзитет у Сиднеју
Наслов предавања: О АСИМПТОТИЦИ РЕШЕЊА ПЕНЛЕВЕОВИХ ЈЕДНАЧИНА
Апстракт: У овом предавању ћемо изложити конструкцију и геометријски опис простора почетних вредности за Пенлевеове једначине. Затим ћемо приказати резултате о асимптотском понашању Пенлевеових трансцендената у том простору, када независна променљива тежи бесконачности. Резултати су добијени у заједничком истраживању са Налини Јоши.
детаљније
Наредни састанак Семинара биће одржан у уторак, 25. децембра 2018, у сали 809 Математичког факултета са почетком у 18 часова.
Предавач: Проф. др Мишко М. Милановић, Географски факултет-Универзитет у Београду
Наслов предавања: ПРИМЕНА ОПТИМАЛНОГ КОЛИЧНИКА ВЕГЕТАЦИОНОГ ИНДЕКСА (NORMALIZED DIFFERENCE VEGETATION INDEX - NDVI) У АНАЛИЗИ ВЕГЕТАЦИЈЕ
Апстракт: Вегетациони индекси у даљинској детекцији, нормализују спољашње ефекте који директно утичу на квалитет сателитских снимака (најчешће се мисли на Сунчево зрачење), затим повећавају осетљивост на вегетационе биофизичке параметре, нормализују унутрашње ефекте, као што су топографија, варијације топографије, варијације позадине лишћа и на крају, приказују разлике у жбунастој и дрвенастој вегетацији, односно, високом и ниском растињу. За попис вегетације и добијање снимака вегетационог покривача, биће представљен оптимални количник вегетационог индекса (NDVI). После дефинисања врсте вегетационог индекса који ће се користити у раду, приступило се одређивању снимака потребних за анализу. Снимци који се користе за добијање оптималног количника вегетационог индекса су: снимак добијен са црвеног канала (видљиви део спектра, Red - 0,6 микрометара - 0,7 микрометара) и снимак добијен са блиског инфрацрвеног канала (NIR - 0,7 микрометара - 1,5 микрометара). Ови канали су најпогоднији, јер вегетација има висок степен рефлексије светлости, али слаб степен рефлексије блиског инфрацрвеног спектра и уопште црвеног, тако да ће се јасно издвајати (оцртавати) површине под вегетацијом. Доступни снимци за рад су са сателита LANDSAT 8, просторне резолуције 30m (бесплатно се могу преузети са сајта www.usgs.gov). У наменском GIS софтверу за обраду сателитских снимака, Idrisi (Географски факултет у Београду поседује лиценцу), приступило се добијању резултата. У модулу поменутог софтвера који се односи на процењивање сателитских снимака, Image Calculator, урађена је корекција снимака (канали: Red и NIR): NDVI = (NIR-Red)/(NIR + Red).
детаљније
Други годишњи сусрет Семинара за топологију конфигурационих простора биће одржан 24-27. децембра 2018. у сали 301ф Математичког института САНУ.
Распоред предавања
Апстракти предавања
Након затварања Годишњег сусрета, у уторак 25.12, организатори позивају на заједнички новогодишњи коктел Археолошког и Математичког института САНУ.
детаљније
Наредни састанак Семинара биће одржан у петак, 21. децембра 2018. у сали 301ф Математичког института САНУ са почетком у 12:15.
Предавач: Коста Грујчић, Математички факултет-Универзитет у Београду
Наслов предавања: ДЕТЕКЦИЈА ОБЈЕКАТА: SLAMовозећи аутомобили
Апстракт: Примена машинског учења у једном од најстаријих проблема рачунарске визије. Показаћемо како се SLAM проблем може решити Калмановим филтерима и како се на то може додати интелигенција у виду детекције објеката. За то ћемо користити актуелни YOLO алгоритам који ради у реалном времену. Циљ предавања је конструкција највишег нивоа апстракције самовозећих агената.
детаљније
На конкурс се пријавило четири кандидата:
- Вујичић Станковић др Сташа
- Мишковић др Стефан
- Стојановић Ђурђевић др Сана
- Чукић др Иван
Наслов предавања: "Дајкстрин алгоритам за налажење најкраћих путева од задатог чвора у графу до свих осталих чворова"
Датум, време и место одржавања: среда 26.12.2018. године у 09:00 часова, сала 710/IV спрат (зборница)
Чланови комисије:
проф. др Ненад Митић, редовни професор;
проф. др Гордана Павловић Лажетић, редовни професор;
проф. др Миодраг Живковић, редовни професор;
проф. др Предраг Јаничић, редовни професор;
др Зоран Огњановић
Датум објављивања: 18.12.2018.
детаљније
Ванредни састанак Семинара биће одржан у уторак, 18. децембра 2018. у сали 301ф Математичког института САНУ са почетком у 15:30.
Предавач: Erika Berenice Rolдan Roa, The Ohio State University
Наслов предавања: EVOLUTION OF THE HOMOLOGY AND RELATED GEOMETRIC PROPERTIES OF THE EDEN GROWTH MODEL
Apstrakt: In this talk, we stuдy the persistent homology and related geometric properties of the evolution in time of a discrete-time stochastic process defined on the 2-dimensional regular square lattice. This process corresponds to a cell growth model called the Eden Growth Model (EGM). It can be described as follows: start with the cell square of the 2-dimensional regular square lattice of the plane that contains the origin; then make the cell structure grow by adding one cell at each time uniformly random to the perimeter. We give a characterization of the possible change in the rank of the first homology group of this process (the "number of holes"). Based on this result we have designed and implemented a new algorithm that computes the persistent homology associated to this stochastic process and that also keeps track of geometric features related to the homology. Also, we present obtained results of computational experiments performed with this algorithm, and we establish conjectures about the asymptotic behavior of the homology and other related geometric random variables. The EGM can be seen as a First Passage Percolation model after a proper time-scaling. This is the first time that tools and techniques from stochastic topology and topological data analysis are used to measure the evolution of the topology of the EGM and in general in FPP models.
Редовни састанак Семинара биће одржан у петак, 21. децембра 2018. у сали 301ф Математичког института САНУ са почетком у 14:15, као заједнички састанак Одељења за математику и Семинара за механику.
Предавач: Владимир Драговић, Математички институт САНУ, Универзитет у Тексасу
Наслов предавања: БИЛИЈАРИ УНУТАР КВАДРИКА И ЕКСТРЕМАЛНИ ПОЛИНОМИ
Апстракт: Представићемо нови спој две класичне теорије, о интеграбилним билијарима у d-димензионом еуклидском простору и о екстремалним полиномима на d-реалних интервала. Већ у раванском случају добијају се нови резултати о каустикама Понселеових полигона и њиховим везама са Золотарјовљевим и Ахиезеровим полиномима. Открива се такође и веза са дискриминантно-сепарабилним полиномима, које је предавач увео пре више година, разматрајући интеграцију чигре Коваљевске и двозначне Бухштабер-Новиковљеве групе. У произвољној димензији даје се потпуна класификација периодичких трајекторија, која се заснива на недавно добијеним комбинаторно-аритметичким својствима ротационих бројева. Приказани резултати су део заједничког рада са Миленом Радновић.
детаљније
Наредни састанак Семинара биће одржан у уторак, 18. децембра 2018. у сали 301ф Математичког института САНУ са почетком у 14:15.
Предавач: Милан Меркле и Милица Богићевић, Електротехнички факултет, Универзитет у Београду
Наслов предавања: СТАТИСТИЧКЕ ФУНКЦИЈЕ ДУБИНЕ, JOHN W. TUKEY И АНАЛИЗА ВЕЛИКИХ ПОДАТАКА
Апстракт: John W. Tukey (1915-2000) био је у својој каријери математичар-теоретичар, статистичар и аналитичар података. У чланку "The Future of Data Analysis" (The Annals of Mathematical Statistics, 1962) на 67 страница написао је манифест онога што се данас зове наука о подацима, и сматра се зачетником те науке. Tukey је 1974. године предложио идеју о рангирању вишедимензионалних података у смислу дубине у односу на скуп података. Најдубља тачка је генерализација медијане. До данас су пронађене бројне функције које на разне начине одражавају дубину, али је Tukey-ова дубина највише истраживана и примењивана у робусним естиматорима. Основни проблем у применама Tukey-ове дубине је немогућност израчунавања медијане и дубине тачке у скуповима података високе димензионалности преко постојећих алгоритмима због високе комплексности која расте експоненцијално са димензијом. На предавању ће се у главним цртама представити нови апроксимативни алгоритам за израчунавање Tukey-ове медијане заснован на другачијем приступу од досадашњих, са линеарном комплексношћу, са примерима примене на симулираним и стварним подацима. Алгоритам је примењен у једном проблему категоризације са акустичким подацима и показао је веома добре резултате.
Област статистичке дубине је мултидисциплинарна област која је сада у успону, али још има малих и великих проблема које тек треба решити, и којима се може прићи са гледишта конвексне анализе и геометрије, статистике, као и са гледишта рачунарства. Ова тема може бити интересантна за студенте докторских студија који траже своју област, а вољни су да науче нешто ново што нису слушали на основним студијама.
детаљније
Расписан је IAESTE конкурс за стручну праксу и усавршавање у иностранству у току 2019. године.
Више детаља, услове конкурса и он-лајн пријаву можете пронаћи на сајту: http://www.iaeste.ac.rs
Конкурс траје до 14.12.2018. године.
Позив
детаљније
