Наредни састанак Семинара биће одржан у четвртак, 27. фебруара 2025. године, у сали 301ф Математичког института САНУ са почетком у 14.15.

Предавач: Петар Марковић, ДМИ Нови Сад

Наслов предавања: THE DICHOTOMY THEOREM ON THE COMPUTATIONAL COMPLEXITY OF THE CONSTRAINT SATISFACTION PROBLEM

Апстракт: In the first part of the lecture I will cover the history, motivation and the formulation of the Constraint Satisfaction Problem, and its computational complexity, which was a central topic of research for a couple of decades. The Dichotomy Conjecture, now the Dichotomy Theorem, states that the Constraint Satisfaction Problem is always either tractable or NP-complete. Which of these two cases occurs depends entirely on the finite model, the so-called „template“, which is a fixed parameter of the Constraint Satisfaction Problem). Next I will give an overview of the methods and techniques from various areas which were used in the proofs of the partial results leading up to the Dichotomy Theorem, including its two full proofs. The last part of the lecture will cover some of the results which simplify and/or unite the two proofs of the Dichotomy Theorem. Time permitting, I will mention the generalizations of the Constraint Satisfaction Problem which are the focus of most recent research in the area, and which motivate us to work on simplifying the proofs of an already proved result.

Напомена: Предавање је могуће пратити на даљину путем Zoom платформе
https://zoom.us/j/91360894651?pwd=gMbP5rMDEvUmkHzHMRLLtKniwSGTQc.1
Meeting ID: 913 6089 4651
Passcode: 698920

Наредни састанак Семинара биће одржан у среду, 26. фебруара 2025. године, у сали 301ф Математичког института САНУ са почетком у 18 часова.

Предавач: Србољуб Симић, Природно-математички факултет, Универзитет у Новом Саду

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

Апстракт: Кортевегови флуиди представљају један од основних модела непрекидне средине којим су обухваћени капиларни ефекти, односно дифузне (расподељене) међуфазне области. Нелокалне интеракције молекула у међуфазној области су моделиране кроз присуство градијента густине масе у равнотежном делу тензора напона. Питање термодинамичке конзистентности Кортевегових флуида, односно компатибилности модела са ентропијском неједнакошћу, још увек није затворено због различитих приступа који су присутни у истраживањима. У оквирима механике континуума овом проблему се може приступити применом класичне Колман-Нолове (Coleman-Noll) процедуре или применом Лиуовог (I-Shih Liu) метода множитеља. У овом саопштењу се излаже моделирање Кортевегових флуида помоћу Лиуовог метода множитеља, који представља конзистентан математички поступак анализе компатибилности једначина уз што мањи скуп физичких претпоставки. Недавни резултати П. Вана (Péter Ván) су послужили као мотивација, али се поступак у овом истраживању разликује од поменутог у одређеним процедуралним аспектима, као и у општости резултата. Валидност презентованих резултата ће бити сагледана и кроз поређења са моделима изведеним у оквиру кинетичке теорије гасова.

Напомена: Предавање је могуће пратити на даљину путем Zoom платформе
https://zoom.us/j/99689103300?pwd=wfwVZcZRyBa8Nn28UnWsbON8ULA4qj.1
Meeting ID: 996 8910 3300
Passcode: 871487

Наредни састанак Семинара биће одржан у петак, 28. фебруара 2025. године, у сали 301ф Математичког института САНУ са почетком у 14.15. У питању је заједнички састанак са Семинаром за вероватносне логике.

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

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

Апстракт: Излагање је медитација на тему Банах-Лампертијева теорема о изометријама Банаховог простора Lp. Показује се да сви они имају исте морфизме, са изузетком Хилбертовог простора L2 који их има још више. Размотићемо реперкусије овог става од теорије динамичких система до квантне логике.

Напомена: Предавање је могуће пратити на даљину путем Zoom платформе:
https://zoom.us/j/91360894651?pwd=gMbP5rMDEvUmkHzHMRLLtKniwSGTQc.1
Meeting ID: 913 6089 4651
Passcode: 698920

Наредни састанак Семинара биће одржан онлајн у среду, 26. фебруара 2025. године, са почетком у 19 часова.

Предавач: Julia Stoyanovich, Tandon School of Engineering, Center for Data Science, Center for Responsible AI, New York University

Наслов: DEMYSTIFYING RESPONSIBLE AI

Апстракт: Responsible AI (RAI) is the science and the practice of making the design, development, and use of artificial intelligence (AI) systems socially sustainable. In my talk, I will discuss the hallmarks of responsible AI, making them concrete through positive and negative examples. I will also give a taste of some of my recent work, highlighting exciting technical directions in data-centric AI and responsible data engineering [4]. I’d be happy to discuss any other topics in RAI research, education, training, and policy during Q&A, see https://r-ai.co for information.

Напомена: Предавање је могуће пратити на даљину путем Zoom платформе:
https://zoom.us/j/93728578513?pwd=90WFVRVdY5Nwb67mbqff6Rhi2zX5f1.1
Meeting ID: 937 2857 8513
Passcode: 040504

Наредни састанак Семинара биће одржан у уторак, 25. фебруара 2025. године, у сали 301ф Математичког института САНУ са почетком у 14.15.

Предавач: Јелена Тасић, Зорица Дражић, Зорица Станимировић, Математички факултет, Универзитет у Београду

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

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

У оквиру предавања биће представљени резултати објављени у раду Ј. Тасић, З. Дражић, З. Станимировић, A VNS method for the conditional p-next center problem, Computers and Operations Research, 175, 106916:1-16, 2025.

Напомена: Линк за праћење предавања на даљину преко Зоом платформе:
https://zoom.us/j/98882244385?pwd=J7mQbPGOBu0hGUHW2jnYM5jiblObMc.1

Meeting ID: 988 8224 4385
Passcode: 662305

Наредни састанак Семинара биће одржан у среду, 19. фебруара 2025, у сали 301ф Математичког института САНУ са почетком у 12 часова.

Предавач: Бојан Арбутина, Универзитет у Београду – Математички факултет

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

Апстракт: Непосредне детекције гравитационих таласа интерферометрима LIGO, Virgo и KAGRA уназад неколико година показале су да су неки од извора веома масивне двојне црне рупе које су морале настати од ултра-масивних звезда, почетне масе и до неколико стотина Сунчевих маса. На овом предавању, даћемо кратак приказ ових изузетно занимљивих астрофизичких објеката, показати како се може моделовати њихова еволуција уз помоћ програма MESA и како од њих настају двојне црне које потом нестају, односно спајају се у сударима, уз емисију гравитационих таласа.

Напомена: Састанак Семинара је могуће пратити на даљину преко Zoom платформе:

https://zoom.us/j/93567463741?pwd=9PW0cazWok4XKOOxkfmZhB5LilaCec.1
Meeting ID: 935 6746 3741
Passcode: 435099

Наредни састанак Семинара биће одржан онлајн у среду, 19. фебруара 2025. године, са почетком у 19 часова.

Предавач: Александар Јовановић, Университy оф Крагујевац; Душан Теодоровић Serbian Academy of Sciences and Arts

Наслов предавања: FIXED-TIME TRAFFIC CONTROL AT SUPERSTREET INTERSECTIONS BY BEE COLONY OPTIMIZATION

Апстракт: he Superstreet intersection (Restricted Crossing U-Turn Intersection, J-turn intersections) fixed-time traffic control system is developed in the paper. The optimal (or near-optimal) values of cycle length, splits and offsets are discovered by minimizing the experienced travel time of all network users travelling through the Superstreet intersection. The optimization procedure that we use is based on the metaheuristic Bee Colony Optimization (BCO). The BCO is a stochastic, random-search population-based technique, inspired by the foraging behavior of honey bees. The BCO belongs to the class of Swarm Intelligence methods. The set of numerical experiments is performed. The Superstreet intersection configuration that allows direct left turns from the major street, as well as the Superstreet intersection configuration with no direct left turns, are analyzed within numerical experiments. The obtained results show that BCO outperforms traditional approach in considered Superstreet geometrical configurations.

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

Нерегистровани корисници могу да прате предавања на овом линку (без могућности активног учешћа):
https://miteam.mi.sanu.ac.rs/call/hR9vL94nD6QE8qQZj/xET9GcPMyR08nqH8lnS3SE7N5Vf00H7Lp9EBhsv6Lti

Наредни састанак Семинара биће одржан у уторак, 18. фебруара 2025. године, у сали 301ф Математичког института САНУ са почетком у 14.15.

Предавач: Ана Ковачевић, Универзитет у Београду – Факултет организационих наука и Zentrix Lab

Наслов предавања: ENHANCING SECURITY OF AUTOMOTIVE OTA FIRMWARE UPDATES VIA DECENTRALIZED IDENTIFIERS AND DISTRIBUTED LEDGER TECHNOLOGY

Апстракт: The increasing connectivity and complexity of automotive systems require enhanced mechanisms for firmware updates to ensure security and integrity. Traditional methods are insufficient for modern vehicles that require seamless over-the-air (OTA) updates. Current OTA mechanisms often lack robust security measures, leaving vehicles vulnerable to attacks. This paper proposes an innovative approach based on the use of decentralized identifiers (DIDs) and distributed ledger technology (DLT) for secure OTA firmware updates of on-vehicle software. By utilizing DIDs for unique vehicle identification, as well as verifiable credentials (VCs) and verifiable presentations (VPs) for secure information exchange and verification, the solution ensures the integrity and authenticity of software updates. It also allows for the revocation of specific updates, if necessary, thereby improving overall security. The security analysis applied the STRIDE methodology, which enabled the identification of potential threats, including spoofing, tampering, and privilege escalation. The results showed that our solution effectively mitigates these threats, while a performance evaluation indicated low latency during operations.

This research was partially funded by the European Commission under the framework of Horizon Europe CONFIDENTIAL6G project (Grant Agreement No. 101096435).

Напомена: Предавања на Семинару се снимају и преносе уживо. Све информације могу се наћи на страници
https://miteam.mi.sanu.ac.rs/asset/qGapAHyEBad2FDwXR