Наредни састанак Семинара биће одржан у среду 12. маја 2021. са почетком у 18 часова у сали 301ф Математичког института САНУ. Предавања се могу пратити и на даљину.
Предавач: Степа Пауновић, Математички институт САНУ
Наслов предавања: ДИНАМИЧКА АНАЛИЗА ФРАКЦИОНО ПРИГУШЕНИХ БИМОРФНИХ ГРЕДА СА ДОДАТИМ МАСАМА И НЕКЕ МОГУЋЕ ПРИМЕНЕ
Апстракт:
У оквиру овог предавања биће анализиране динамичке карактеристике биморфних пијезоелектричних греда са произвољним бројем додатих концентрисаних маса, код којих је пригушење носећег слоја греде моделирано изводима нецелог реда. Такође, биће разматрани и системи сачињени од више оваквих греда повезаних фракционо пригушеним елементима. Најпре ће бити представљени механички модели оваквих конструкција, а потом изведене и једначине кретања за разматране системе. При решавању ће бити коришћен Галеркинов метод дискретизације просторног домена, а затим ће бити приказан и поступак решавања тако добијеног система симултаних диференцијалних једначина фракционог реда уз коришћење нумеричких метода. Биће изложена решења у виду амплитудно-фреквентних функција система и решења у временском домену. Поред тога, биће предложен и алгоритам за пројектовање оваквих система са жељеним динамичким карактеристикама. На крају ће бити представљене и неке могуће примене оваквих система, укључујући и пијезоелектричне сакупљаче енергије, динамичке апсорбере са придодатим пијезоелектричним својствима и активне метаматеријале.
Детаљи приступа на даљину:
https://miteam.mi.sanu.ac.rs/asset/YfY2cZTcN3YwGqFjc
Напомена: Уколико желите да учествујете у раду семинара или да поставите питања на крају предавања, а нисте регистровани на митеам платформи Математичког института, можете се регистровати попуњавањем форме:
https://miteam.mi.sanu.ac.rs/asset/o9cuDZYqrq7jvFxw8
детаљније
Наредни састанак Семинара биће одржан онлајн у уторак, 11. маја 2021. са почетком у 14:15.
Предавач: Весна Тодорчевић, Факултет организационих наука и Математички институт САНУ
Наслов предавања: ИЗА КУЛИСА СТВАРАЛАШТВА
Апстракт: У књизи "Иза кулиса стваралаштва" композитор и пијаниста Карол Бефа и математичар Седрик Вилани воде аутентични дијалог. Причају нам о стварању у математици и музици, идејама, креативној слободи, ограничењима, развоју мисли кроз њихову дугогодишњу сарадњу и пријатељство. Питањима и одговорима откривају своја искуства и оцртавају портрете и путеве многих математичара и композитора. У оквиру предавања приказаћемо преплитања, сличности и посебности ових дисциплина.
Напомена:
Због тренутне епидемиолошке ситуације, предавања се могу пратити искључиво на даљину преко линка:
https://miteam.mi.sanu.ac.rs/asset/YoqHWKALRkRTbK9So
детаљније
Народна банка Србије традиционално организује праксу како би студентима приближила рад централне банке као институције од чијег пословања зависи стабилност финансијског система и како би их упознала с разноврсним функцијама које обавља. Поред тога, студенти ће имати прилику да у пракси примене теоријска знања и стекну пословно искуство у области централног банкарства.
Пракса ће се обављати од 1. јула до 31. августа 2021. године, а намењена је студентима треће, четврте или пете године студија који студирају на високошколским установама акредитованим од стране Комисије за акредитацију и проверу квалитета, а који ће завршетком студија остварити најмање 240, односно 300 ЕСПБ бодова.
Уколико желите да стекнете практична стручна знања и искуство, а мотивисани сте да се кроз двомесечну праксу и осмочасовно радно време непосредно упознате с пословањем Народне банке Србије, потребно је да Дирекцији за људске ресурсе и организациона питања путем имејла letnja.praksa@nbs.rs или поштом, односно лично на адресу Београд, Краља Петра 12, с назнаком „За летњу праксу“, доставите следеће:
- биографију и мотивационо писмо,
- оригинално уверење, односно потврду високошколске установе с подацима о години студија и просечној оцени, односно успеху оствареном у току студија (преведену на српски језик, за студенте из иностранства) – не старију од месец дана,
- уверење о држављанству Републике Србије.
Рок за пријављивање је 21. мај 2021. године, након чега ће бити организована селекција пријављених кандидата који испуњавају основне услове.
Више информација можете пронаћи у оквиру документа Позив за обављање летње праксе 2021.
детаљније
Наредни састанак Семинара биће одржан онлајн у среду, 5. маја 2021. са почетком у 15 часова.
Предавач: Кехе Жу, Универзитет у Олбанију, Њу Јорк
Наслов предавања: САРАСОНОВ ПРОБЛЕМ ЗА ТЕПЛИЦОВ ПРОИЗВОД
Апстракт:
Доналд Сарасон је 1994. године поставио питање карактеризације аналитичких функција $f$ и $g$ у јединичном диску за које је производ $T_fT_{\overline g}$ два Теплицова оператора ограничен на Хардијевом простору $H^2$ или Бергмановом простору $А^2$. У предавању ће бити представљен досадашњи напредак у решавању овог проблема у контексту Хардијевог, Бергмановог и Фоковог простора.
Линк за приступ предавању:
https://us02web.zoom.us/j/6636215428?pwd=bllJSTUvZ0E5MjhkMkxYa3RYYzZpQT09
Meeting ID: 663 621 5428
Passcode: 7h6KR11
детаљније
Ванредни састанак Семинара биће одржан онлајн у среду, 5. маја 2021. са почетком у 20 часова.
Предавач: Philippa Gardner, Петар Максимовић
Наслов предавања: GILLIAN: REAL-WORLD VERIFICATION OF JAVASCRIPT AND C
Апстракт:
We will give a general introduction to Gillian, a platform for the development of symbolic-execution tools for many programming languages. Gillian currently supports three types of analysis: whole-program symbolic testing; full verification based on separation logic; and automatic compositional testing based on bi-abduction. It uses a core symbolic execution engine with strong mathematical foundations that unifies bug catching and verification. So far, we have instantiated Gillian to JavaScript and C. These instantiations have been used: to find bugs in the real-world data-structure libraries Buckets.js and Collections-C; to find bugs and prove bounded correctness results for a real-world jQuery-like library, cash; and to verify the deserialisation function of the AWS Encryption SDK messaging system, implemented in Javascript and C. We will focus on Gillian verification for this talk. This is a joint work of Philippa Gardner, Petar Maksimović, Jose Fragoso Santos, and Sacha Ayoun.
Publications:
Gillian, Part I: A Multi-language Platform for Symbolic Execution. Jose Fragoso Santos, Peter Maksimović, Sacha-Elie Ayoun, Philippa Gardner, PLDI'20.
Gillian, Part II: Real-World Verification for JavaScript and C. Petar Maksimović, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner. CAV'21.
Биографија предавача:
Philippa Gardner is a Professor in the Department of Computing at Imperial College London and a Fellow of the Royal Academy of Engineering. She currently holds a UK Research and Innovation Established Fellowship and directs the Research Institute on Verified Trustworthy Software Systems (VeTSS), funded by EPSRC and NCSC. Her research focusses on program testing and verification. In particular, her group is credited with bringing logical abstraction and logical atomicity to modern concurrent separation logics, developing trusted Coq-mechanised specifications of programming languages such as JavaScript and Web Assembly, and developing the Gillian platform for building symbolic-analysis tools for real-world programming languages such as JavaScript and C.
Petar Maksimović is a Research Fellow in the Department of Computing at Imperial College London. His expertise lies in the design and implementation of program analysis tools, including the JaVerT framework for the analysis of JavaScript programs, and the Gillian platform, which unifies testing and verification.
Детаљи приступа:
https://www.zoomgov.com/j/1611048580?pwd=clBqOVh3cGFUVGZENFgzN3p0YVBJdz09
Meeting ID: 161 104 8580
Passcode: 124006
детаљније
Наредни састанак Семинара биће одржан онлајн у четвртак, 6. маја 2021. са почетком у 12 часова.
Предавач: Јелена Ивановић
Наслов предавања: УПОЗНАЈМО ПРОГРАМ ПОЛИМЕЈК, ПРИЈАТЕЉА СВИХ ЉУБИТЕЉА ПОЛИТОПА (треће од три предавања)
Апстракт:
Реч је о моћном софтверском алату који је примарно намењен проучавању комбинаторних и геометријских својстава конвексних политопа. У новијим верзијама пружа разноврсне могућности и за рад са симплицијалним комплексима, лепезама, графовима, торусним варијететима и многим другим објектима. Уз подршку Полимејка, који поседује преко 230 функција за рад са политопима, могућа је анализа или израчунавање свих карактеристика које се могу придружити једном политопу (димензија, скуп темена, скуп пљосни, мрежа страна, f-вектор, граф, једначине граничних полупростора, нормални конуси, лепеза итд.), као и утврђивање односа са другим политопима (тестирање да ли је кобинаторно или нормално еквивалентан другом политопу и сл). Низ од три предавања, даће неопходна техничка упутства и савете који су потребни да би се Полимејк почео користити, као и разне идеје за даљи ефикасан самостални рад. На првом предавању, за које није неопходно предзнање о Полимејку, упознаћемо се са начином рада у овом алату кроз интерактивну командну линију. Пре него демонстрирамо пар једноставних уводних примера, упознаћемо се и са оперативним системом Линукс који подржава рад у Полимејку. Даћемо само неопходне техничке инструкције и преглед команди које су нам неопходне за даљи рад.
Напомена: За праћење семинара потребна је регистрација на адреси:
https://miteam.mi.sanu.ac.rs/asset/sd3bebvvcBSNtN78B
детаљније
Наредни састанак Семинара биће одржан онлајн у среду, 5. маја 2021. од 19 до 20 часова.
Предавач: др Улфета Маровац, доцент, Државни универзитет у Новом Пазару
Наслов предавања: ИСТРАЖИВАЊЕ ТЕКСТУАЛНИХ ПОДАТАКА СА ПРИМЕНОМ У БИОМЕДИЦИНИ И ОБРАДИ ПРИРОДНОГ ЈЕЗИКА
Апстракт:
У овом предавању биће представљени проблеми истраживања текстуалних података. Процес истраживања текстуалних података се прилагођава типу података над којима се примењује користећи специфичне методе, алате и ресурсе. Биће приказани примери обраде биолошких секвенци, природног језика и медицинских извештаја.
Регистрациона форма за учесће на Семинару је доступна на:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Пренос семинара је доступан и регистрованим и нерегистрованим корисницима на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz
детаљније
Наредни састанак Семинара биће одржан онлајн у среду, 28. априла 2021. са почетком у 15 часова.
Предавач: Давид Каљај, Универзитет у Подгорици
Наслов предавања: ТЕОРЕМА КЕЛОГА ЗА ДИФЕОМОРФНЕ МИНИЗАТОРЕ ДИРИХЛЕОВЕ ЕНЕРГИЈЕ ИЗМЕЂУ ДВОСТРУКО ПОВЕЗАНИХ РИМАНОВИХ ПОВРШИ
Апстракт:
Проширићемо чувену теорему Келога за конформне дофеоморфизме на минимизаторе Дирихлеове енергије. Наиме, показаћемо да је дифеоморфни минимизатор Дирихлеове енергије Собољевских пресликавања између две двоструко повезане Риманове површи $(\X,\sigma)$ и $(\Y,\rho)$ са границом,$0<\alpha<1$ јесте $\mathscr{C}^{n,\alpha}$, до на границу, уз услов да је метрика $\rho$ довољно глатка ($n$ је природан број). Основно је да је сваки дифеоморфни минимизатор Дирихлеове енергије хармонијско пресликавање са врло специјалним Хопфовим диференцијалом и ова ћињеница се користи у доказу. Ово побољшава и проширује скорији резултат аутора са Ламелом, у ком је показан сличан резултат за двоструко повезане домене у комплексној равни, али за $\alpha'$ које је $\le \alpha$ и $\rho\equiv 1$. Овим се допуњује познати резултат постојања оваквог минимизатора од стране Ивањеца, Ковалева, Коха и Онинена, као и ранијег ауторовог резултата.
Линк за приступ предавању:
https://us02web.zoom.us/j/6636215428?pwd=bllJSTUvZ0E5MjhkMkxYa3RYYzZpQT09
Meeting ID: 663 621 5428
Passcode: 7h6KR1
детаљније
Позивају се студенти на свим нивоима студија, да формирају тимове и пријаве се за такмичење у оквиру 8. Европског конгреса математике, који се одржава путем интернета од 20. до 26. јуна 2021. године. 8ECM је један од највећих математичких догађаја 2021. године, али и један од најважнијих научних догађаја у Словенији, домаћин је преко 1000 математичари из целог света.
На располагању су 4 изазова, а тимови имају задатак да пронађу најбоља решења из области Финансијске математике и Актуарске науке. Најбољи тим у свакој теми изазова може бити добитник новчане награде у вредности од 1.250€!
Службени језик такмичења је енглески језик, а рок за пријављивање је 1.6.2021.
За више информација посетите web локацију 8ECM конгреса.
детаљније
