Наредни састанак Семинара биће одржан у петак, 20. октобра 2023, у сали 301ф Математичког института САНУ са почетком у 16.15. У питању је заједнички састанак семинара са Одељењем за матекатику.

Предавач: Станислав Сперански, Steklov Mathematical Institute, Moscow

Наслов предавања: ELEMENTARY THEORIES OF CLASSES OF PROBABILITY SPACES

Апстракт: We shall be concerned with a two-sorted probabilistic language, denoted by QPL, which contains quantifiers over events and over reals. It is obtained by combining the elementary language of Boolean algebras and that of ordered fields in a natural way, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of QPL containing only quantifiers over reals (but not over events) is a variant of the well-known `polynomial’ probability logic from [Fagin, Halpern, Megiddo 1990: Section 6]. First we prove that the QPL-theory of the Lebesgue measure on [0, 1] is decidable, and moreover, all atomless spaces have the same QPL-theory. Then we introduce the notion of elementary invariant for QPL, and use it to translate the semantics for QPL into the setting of elementary analysis. This allows us to obtain further decidability results as well as to provide exact complexity upper bounds for a range of interesting undecidable theories.

Напомена: Регистрација за учешће на Логичком семинару је доступна на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N

Уколико сте већ регистровани предавање можете пратити на следећем линку (након што се улогујете):
https://miteam.mi.sanu.ac.rs/asset/8HX5pHW3fhfr2vFnF

Неулоговани корисници могу пратити пренос предавања на следећем линку:
https://miteam.mi.sanu.ac.rs/call/8HX5pHW3fhfr2vFnF/Sud4M5nyx6-CCpaW4etWS1ZEM4wCvSsPuSxPAQ9Yfs6

Наредни састанак Семинара биће одржан у среду, 18. октобра 2023. у сали 821 Математичког факултета (Студентски трг 16, V спрат) са почетком у 16.15.

Предавач: доц. др Јелена Станојевић, Економски факултет Универзитета у Београду

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

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

Напомена: Предавање је могуће пратити и онлајн, путем линка:
https://zoom.us/j/99052447752?pwd=U21xM0lDYlNrODhOdEhCY21QYm8yZz09
Meeting ID: 990 5244 7752
Passcode: 713997

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

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

Наслов предавања: DIFFERENTIAL GEOMETRY, COSMOLOGY, QUANTUM MECHANICS AND FUTURE RESEARCH

Апстракт: This presentation is focused on results prepared for soon submission to a journal. The presentation is divided on three parts. In the first part of presentation, differential geometry with torsion is reviewed. In the second part of presentation, different fields are recognized with respect to applications in cosmology. In the third part of presentation, we will talk about basics of classical and quantum mechanics covered by complex and real non-symmetric metric tensor.

Напомена: Предавања се могу пратити на даљину преко линка:
https://miteam.mi.sanu.ac.rs/call/T9XDGChhq8aDcNqmz/qw7wIwci2jv2rdg9I9CrXkm7OJhF_LB8DfjXZp4jTFV

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

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

Предавач: Angel Mora Bonilla, Profesor Titular de Universidad, Grupo de Investigación GIMAC, Departamento de Matemática Aplicada, Universidad de Málaga

Наслов предавања: USING FORMAL CONCEPT ANALYSIS TO EXTRACT KNOWLEDGE IN A MALWARE DATASET

Апстракт: Formal Conceptual Analysis (FCA) has become a useful tool to extract knowledge with a similar cost compared to classical techniques in the area of machine learning. We will present the fcaR package in R language developed in our team. The interest in the tool is growing, reaching 32K downloads of the package in the CRAN repository (https://github.com/Malaga-FCA-group/fcaR). We will explain the usefulness of the tool by applying it to a practical and interesting dataset: a malware dataset collected by the company Virustotal (https://www.virustotal.com). The knowledge extracted is of interest to Virustotal – the concepts and implications extracted using FCA provide a useful skill for the company to identify future malware. The application of the fcaR package on the dataset will be introduced from scratch to teach the possibilities of the mathematical technique FCA, which is rather little known in machine learning environments.

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

Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz

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

Предавач: Проф. др Катица (Стевановић) Хедрих, Научно друштво Србије

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

Апстракт: Предавање је посвећено јубилеју 120 година од рођења академика Татомира П. Анђелића (1903-1993), као и сећању на професора др инжењера и дипломораног математичара Данила П. Рашковића (1910-1985), који су у појединим периодима били управници Одељења за механику Математичког института Српске академије наука и уметности. Предавање је, такође. посвећено и оригиналним аналитичким резултатима предавача,о угаоним брзинама обртања и променама интензитета базних вектора тангентног простора вектора положаја кинетичке тачке при њеном кретању у различитим тродимензионалним ортогоналним криволинијским и функционалним координатним системома.

Такође, садржај предавања ће обухватити, у другом делу,приказ вектора ротације линијског елемента повученог из једне тачке, деформабилног деформисаног тела у домену еластичне деформације. Резултати предавача, које приказује у предавању, су на основу публиковане серије појединих чланака у часописима, у дужем временском периоду, а међу њима издваја чланке из Springer-овог часописа European Journal of Physics-Special Topics (2021) и чланак из јапанског часописа Tensor (1997), који публикује јапанско научно друштво Tensor Society,већ 80 година.

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

Регистрација ѕа учешће на семинару је доступна на следећој страници:
https://miteam.mi.sanu.ac.rs/asset/o9cuDZYqrq7jvFxw8

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

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

Наслов предавања: OPTIMIZATION-BASED FUZZY REGRESSION IN FULL COMPLIANCE WITH THE EXTENSION PRINCIPLE

Апстракт: The tools offered by a regression analysis can be used either to identify the correlation of a dependency between the observed inputs and outputs; or to provide a convenient approximation to the output data set, thus enabling its simplified manipulation. In this talk, we present an approach for predicting the outputs of a fuzzy in – fuzzy out system through a fuzzy regression analysis developed in full accordance with the extension principle. Within our approach, a couple of mathematical optimization problems are solved for each desired $\alpha-$level. The optimization models derive the left and right endpoints of the $\alpha-$cut of the predicted fuzzy output, as minimum and maximum of all crisp values that can be obtained as predicted outputs to at least one regression problem with observed crisp data in the $\alpha-$cut ranges of the corresponding fuzzy observed data. Relevant examples from the literature are recalled and used to illustrate the theoretical findings.

Напомена: Регистрациона форма за учешће на Семинару је доступна на линку:
https://miteam.mi.sanu.ac.rs/call/wnz6oyxsQsy29LfJA/MjQ__eH607WeAL9X7IFtUI98xdQQgVkp-ljiEKPPfXr

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

Наредни састанак семинара Биоинформатика биће одржан 18. октобра са почетком у 18.15 у сали БИМ Математичког факултета, уз онлајн пренос.

Предавач: др Богдан Кириллов, Сколковски институт за науку и технологију, Москва

Наслов предавања: UNCERTAINTY QUANTIFICATION AND NEURAL NETWORK INTERPRETATION FOR STUDYING CRISPR MECHANICS

Биографија предавача и апстракт предавања ће бити доступни на:
http://bioinfo.matf.bg.ac.rs/.

Линк за онлајн пренос: https://matf.webex.com/meet/birbi

Организатори семинара Биоинформатика су Српско друштво за биоинформатику и рачунарску биологију (http://www.birbi.matf.bg.ac.rs/) и Математички факултет.