Месечне архиве: мај 2021

Семинар за геометрију и примене, 13. мај 2021.

Наредни састанак Семинара биће одржан онлајн у четвртак, 13. маја 2021. са почетком у 17:15.

Предавач: Миодраг Матељевић, академик САНУ, и Милош Арсеновићић, редовни професор, Математички факултет, Универзитет у Београду

Наслов предавања: ON KELLOGG’S THEOREM FOR HARMONIC QUASICONFORMAL MAPPINGS

Апстракт: We study quasiconformal (qc) mappings in plane and space and in particular Lipschitz-continuity of harmonic mappings and more generally of mappings which satisfy in addition certain PDE equations (or inequalities). Some of the obtained results can be considered as versions of Kellogg-Warshawski type theorem for qc-mappings.Among the other things, as tool we use the quasi-hyperbolic metric and the interior estimates for Poisson type inequality.

Детаљи приступа:
https://matf.webex.com/matf/j.php?MTID=m3a43abd2a160478f1356af567bbf640c
Meeting number (access code): 137 561 9170
Meeting password: YZzWE54564U

ASW Inženjering – Сениор инжењер за тестирање

Опис посла:
– Спецификација и креирање плана тестирања, извршавање мануалних, интеграционих тестова, креирање аутоматских тестова нових функионалности производа.
– Пуштање и одржавање аутоматских тестова у склопу регресивног тесирања, рад у скрум тимовима.

Потребне компетенције:
– Преданост, организованост, сналажљивост, аналитичност
– Најмање 3 године искуства на истим или сличним пословима.

Напомена:
Предност имају кандидати који:
– познају процесе у ЕРП-у и малопродаји
– имају знања из области: Selenium, TestComplete, релационе базе података.

Више на:
https://www.asw.eu/o-nama/karijera/senior-inzenjer-za-testiranje

ASW Inženjering – Full stack WEB DEVELOPER

Опис посла:
– Планирање, развој и одржавање софтверских решења, Развој софтверских производа, нових функционалности и реаговање на повратне информације од QА, Писање јунит и интеграционих тестова, Учествовање у code review.
– Коришћење агилне методологије и сарадња са скрум тимовима, Ажурирање backlog ставки – дефинисање/разрада задатака и процењивање.

Потребне компетенције:
– Познавање архитектуре и функционалности производа:

  • за фронтенд: HTML, JavaScript, CSS, Vue.js и Quasar framework;
  • за бекенд: JAVA (Spring Boot Microservices), SQL (Oracle, Postgres )

– Најмање 3 године искуства на истим или сличним пословима. Коришћење алата за тестирање на клијентској и серверској страни је плус.

Више на:
https://www.asw.eu/o-nama/karijera/full-stack-web-developer

Семинар из вештачке интелигенције, 12. мај 2021.

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

Предавач: др Ивана Штајнер-Папуга, редовни професор, Природно-математички факултет, Универзитет у Новом Саду

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

Апстракт: Монотона скуповна функција, позната још и као фази мера или капацитет, је математчки алат лако прилагодљив моделовању субјективних ставова доносиоца одлуке. Претопоставка адитивности, која је срж класичне мера, је у овом концепту замењена знатно флексибилнијом монотоношћу, што допушта већу слободу при моделовању интеракције различитих сегмената релевантних за процес одлучивања. Овакве специфичне скуповне функције јесу основа за конструкцију више интегралних оператора инеграције, попут Шокеовог и Сугеновог интеграла, који такође имају занимљиву улогу у процесу одлучивања.

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

Пренос семинара је доступан и регистрованим и нерегистрованим корисницима на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Семинар за анализу, 12. мај 2021.

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

Предавач: Кристијан Сеип, Норвешки технолошки универзитет

Наслов предавања: ИДЕМПОТЕНТНИ ФУРИЈЕОВИ МНОЖИОЦИ КОНТРАКТИВНОГ ДЕЈСТВА НА H^p

Апстракт: Описаћемо Фуријеове множиоце који су контрактивни на H^p спросторима d-димензионог торуса $\mathbb{T}^d$ за $d\geq 1$ и $1\leq p \leq \infty$. Када p није паран природан број, такви множиоци су само рестрикције контрактивних идемпотентних множиоца на L^p просторима, који се, с друге стране, могу описати погодним коришћењем Рудиновоих и Андоових резултата. Када је p=2(n+1), где је n позитиван цео број, контрактивност зависи на један занимљив геометријски начин од n, d, и димензије скупа фреквенција продружених множиоцу. Резултати дозвољавају конструкцију линеарног оператора густо дефинисаног на $H^p(\mathbb{T}^\infty)$ за свако$1 \leq p \leq \infty$ који се проширује до ограниченог оператора ако и само ако је n=2,4,.. ,2(n+1).

Предавања је засновано на заједничком раду са Оле Фредрик Бревигом и Хоакимом Ортегом-Сердом.

Линк за приступ предавању:
https://us02web.zoom.us/j/6636215428?
pwd=bllJSTUvZ0E5MjhkMkxYa3RYYzZpQT09
Меетинг ИД: 663 621 5428
Пассцоде: 7х6КР1

Позив за обављање летње праксе у оквиру Народне банке Србије

nbsНародна банка Србије традиционално организује праксу како би студентима приближила рад централне банке као институције од чијег пословања зависи стабилност финансијског система и како би их упознала с разноврсним функцијама које обавља. Пракса ће се обављати од 1. јула до 31. августа 2021. године, а намењена је студентима треће, четврте или пете године студија који студирају на високошколским установама акредитованим од стране Комисије за акредитацију и проверу квалитета, а који ће завршетком студија остварити најмање 240, односно 300 ЕСПБ бодова.

Рок за пријављивање је 21. мај 2021. године, након чега ће бити организована селекција пријављених кандидата који испуњавају основне услове.

Више информација можете пронаћи у оквиру документа:
Позив за обављање летње праксе 2021

Еразмус + КА1 мобилности за студенте Математичког факултета на неким универзитетима у Европи

Отворени су Еразмус + КА1 позиви за студенте Математичког факултета за мобилности у јесењем семестру 2021/2022 године за следеће универзитете:

1. Универзитет Македонија, Грчка (University of Macedonia, Greece)
област: Информацине и комуникационе технологије
ниво студија: докторске студије
број мобилности: 2
трајање мобилности: 1 мобилност 4 месеца, 1 мобилност 6 месеци

2. Универзитет у Јањини, Грчка (University of Ioannina, Greece)
област: Математика и статистика
ниво студија: сви нивои студија
број мобилности: 1
трајање мобилности: 6 месеци

3. Универзитет у Коимбри, Португалија (University of Coimbra, Portugal)
област: Информацине и комуникационе технологије
ниво студија: мастер студије
број мобилности: 1
трајање мобилности: 4 месеца

4. Универзитет у Риму Тор Вергата, Италија (Tor Vergata University of Rome, Italy)
област: Астрономија, астрофизика и математика
ниво студија: сви нивои студија
број мобилности: 2
трајање мобилности: 5 месеци

Рок за пријаву је 20. мај 2020, а конкурисање је искључиво онлајн преко Мобион платформе: https://mobion.bg.ac.rs/

Неопходна документација и упутства су доступни на овом линку.

Студенти који намеравају да конкуришу, треба да се обавезно јаве координаторима за међународну сарадњу Математичког факултета, проф. Драгани Илић (dilic@matf.bg.ac.rs) и проф. Зорици Станимировић (zoricast@matf.bg.ac.rs).

Напомена: Позиви за Унив. Македонија и Унив. Коимбра су отворени за студенте докторских, односно мастер студија, али ако има заинтересованих студената других нивоа студија за ове мобилности, требало би да што пре контактирају координаторе путем мејла.

Стипендије MEXT Владе Јапана

Амбасада Јапана обавештава све заинтересоване кандидате да је отворен конкурс за МЕXТ (Министарство образовања, спорта, науке и технологије Владе Јапана) стипендије за 2022. годину за студенте из Републике Србије и студенте из Црне Горе. Конкурс је отворен до 1. јуна 2021.

Какндидати се могу пријавити за:
– СТИПЕНДИЈЕ ЗА ОСНОВНЕ СТУДИЈЕ У ЈАПАНУ
Детаљне информације о стипендији, апликацију и остала документа могу се
преузети са овог линка.

-СТИПЕНДИЈЕ ЗА СТУДЕНТЕ ИСТРАЖИВАЧЕ/ПОСТДИПЛОМЦЕ
Детаљне информације о стипендији, апликацију и остала документа могу се преузети са овог линка.

ПОСЕБНЕ НАПОМЕНЕ:
– Моле се заинтересовани кандидати да пажљиво прочитају и следе инструкције које су за сваку од наведених категорија јасно истакнуте у документима под називом: Application Guidelines for Undergraduate Students (за основне студије), односно Application Guidelines for Research Students (за постдипломске студије);
– Обе категорије укључују обавезно тестирање знања енглеског/јапанског језика;
– За основне студије ће се, у зависности од области студирања, обавити тестирање знања математике, физике, хемије или биологије на енглеском језику.

За додатна питања, заинтересовани кандидати могу контактирати Амбасаду Јапана мејлом на адресу: culture@s1.mofa.go.jp.

Одељење за механику, 12. мај 2021.

Наредни састанак Семинара биће одржан у среду 12. маја 2021. са почетком у 18 часова у сали 301ф Математичког института САНУ. Предавања се могу пратити и на даљину.

Предавач: Степа Пауновић, Математички институт САНУ

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

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

Детаљи приступа на даљину:
https://miteam.mi.sanu.ac.rs/asset/YfY2cZTcN3YwGqFjc

Напомена: Уколико желите да учествујете у раду семинара или да поставите
питања на крају предавања, а нисте регистровани на miteam платформи
Математичког института, можете се регистровати попуњавањем форме:
https://miteam.mi.sanu.ac.rs/asset/o9cuDZYqrq7jvFxw8

Семинар за рачунарство и примењену математику, 11. мај 2021.

Наредни састанак Семинара биће одржан онлајн у уторак, 11.маја 2021. са почетком у 14:15.

Предавач: Весна Тодорчевић, Факултет организационих наука и Математички институт САНУ

Наслов предавања: ИЗА КУЛИСА СТВАРАЛАШТВА

Апстракт: У књизи „Иза кулиса стваралаштва“ композитор и пијаниста Карол Бефа и математичар Седрик Вилани воде аутентични дијалог. Причају нам о стварању у математици и музици, идејама, креативној слободи, ограничењима, развоју мисли кроз њихову дугогодишњу сарадњу и пријатељство. Питањима и одговорима откривају своја искуства и оцртавају портрете и путеве многих математичара и композитора. У оквиру предавања приказаћемо преплитања, сличности и посебности ових дисциплина.

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

Семинар из вештачке интелигенције, 5. мај 2021.

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

Предавач: др Улфета Маровац, доцент, Државни универзитет у Новом Пазару

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

Апстракт: У овом предавању биће представљени проблеми истраживања текстуалних података. Процес истраживања текстуалних података се прилагођава типу података над којима се примењује користећи специфичне методе, алате и ресурсе. Биће приказани примери обраде биолошких секвенци, природног језика и медицинских извештаја.

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

Пренос семинара је доступан и регистрованим и нерегистрованим корисницима на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz

Семинар за анализу, 5. мај 2021.

Семинар за анализу, 5. мај 2021.

Детаљније: Наредни састанак Семинара биће одржан онлајн у среду, 5. маја 2021. са почетком у 15 часова.

Предавач: Кехе Жу, Универзитет у Олбанију, Њујорк

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

Апстракт: Доналд Сарасон је 1994. године поставио питање карактеризације аналитичких функција f и g у јединичном диску за које је производ $T_fT_{\overline g}$ два Теплицова оператора ограничен на Хардијевом простору $H^2$ или Бергмановом простору $A^2$. У предавању ће бити представљен досадашњи напредак у решавању овог проблема у контексту Хардијевог, Бергмановог и Фоковог простора.

Линк за приступ предавању:
https://us02web.zoom.us/j/6636215428?pwd=bllJSTUvZ0E5MjhkMkxYa3RYYzZpQT09
Meeting ID: 663 621 5428
Passcode: 7h6KR11

Семинар за рачунарство и примењену математику, 5. мај 2021.

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

Предавач: Philippa Gardner, Petar Maksimović

Наслов предавања: 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.

Биографијe предавача:
– 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 suchas 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.

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

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

Наслов предавања: УПОЗНАЈМО ПРОГРАМ ПОЛИМЕЈК, ПРИЈАТЕЉА СВИХ ЉУБИТЕЉА ПОЛИТОПА (треће од три предавања)

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

Напомена: За праћење семинара потребна је регистрација на адреси:
https://miteam.mi.sanu.ac.rs/asset/sd3bebvvcBSNtN78B