Obaveštenje o raspisivanju konkursa- maj- 2023.

Konkurs

detaljnije

Odeljenje za matematiku, 24. maj 2023.

Naredni sastanak Seminara biće održan u petak, 24. maja 2023, u sali 301f Matematičkog instituta SANU sa početkom u 14.15. U pitanju je zajednički sastanak sa Odeljenjem za mehaniku.

Predavač: Zvonimir Šikić, Centar za logiku i teoriju odlučivanja Sveučilišta u Rijeci
 
Naslov predavanja: VJEROJATNOST, INDUKCIJA I KAUZALNOST
 
Apstrakt: Prema Humeu nema racionalnog temelja za bilo kakvo induktivno, a ni kauzalno zaključivanje. Postoje samo običaji i navike. Ali rezultati teorije vjerojatnosti dokazuju da su neki običaji  i navike bolji od nekih drugih. Humeove riječi ,,običaj” i ,,navika” trebale su nas natjerati na predaju: induktivnom zaključivanju se ništa ne može reći, osim da je to ono što radimo. Podsjetit ćemo na bejesovski odgovor Humeu, koji dokazuje da to nije istina. Možda ne možemo dokazati da su navike i običaji koje preporuča teorija vjerojatnosti apsolutno najmudriji, ali na temelju naših uvjerenja o tome kakav je svijet, možemo dokazati da su te navike i običaji razumnije od drugih.

Odnos kauzalnosti i vjerojatnosti nešto je složeniji. Kako to ispravno tvrde udžbenici vjerojatnosti i statistike, korelacija nije uzročnost i nema čisto probabilističke metode koja uzročnu priču može odrediti samo iz podataka. No, to ne znači da kauzalne veze ne postoje, što i danas često tvrde mnogi statističari i filozofi (koji se inače rijetko slažu). Ostali znanstvenici, uz 2 korištenje probabilističkih metoda, podatke najčešće tumače na temelju neformalnih uzročnoposljedičnih pretpostavki. Da bismo to razumjeli upoznat ćemo se s načelom sigurne stvari i Simpsonovim paradoksom. To je prvi korak prema sistematskom uvođenju formalnih metoda koje se mogu  koristiti za izražavanje i tumačenje uzročnosti. Uz njihovu pomoć moguće je matematički opisati uzročne scenarije bilo koje složenosti i odgovoriti na probleme donošenja odluka u bitno složenijim situacijama od onih koje generiraju Simpsonovi obrati. Riječ je o formalnoj teoriji kauzalnosti razvijenoj u zadnjih 30-tak godina, koju mnogi smatraju kauzalnom revolucijom.

Napomene:
Predavanje se mogu pratiti na daljinu preko linka:
https://miteam.mi.sanu.ac.rs/call/T9XDGChhq8aDcNqmz/qw7wIwci2jv2rdg9I9CrXkm7OJhF_LB8DfjXZp4jTFV
 
Registraciona forma je dostupna na:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N

detaljnije

Seminar za veštačku inteligenciju, 24. maj 2023.

Naredni sastanak Seminara biće održan onlajn u sredu, 24. maja 2023, sa početkom u 19 časova.
 
Predavač: Dušan Ramljak, assistant teaching professor of information science, Penn State Great Valley, Pennsylvania State University, United States
 
Naslov predavanja: POTENCIJAL VEŠTAČKE INTELIGENCIJE U BORBI PROTIV ALKOHOLIZMA I  NARKOMANIJE
 
Apstrakt: Trenutno se pretpostavlja da ima oko 40 miliona ljudi u SAD koji imaju probleme  prouzrokovane prekomernim korišćenjem alkohola i droga. Nerazdvojni činilac borbe za prevenciju i  tretman tih i takvih problema je upotreba širokog spektra postojećih podataka o zdravstvenom, fizičkom i psihološkom stanju ljudi kod kojih se problemi manifestuju. Naše istraživanje pokušava da postavi osnove metoda i otkrije mogućnosti veštačke inteligencije da pomogne u tretmanu pomenutih problema. Važan deo istraživanja je evaluacija efikasnosti metoda koje se baziraju na razumevanju uzročno posledičnih veza iz podataka koje generiše online platforma za borbu protiv alkoholizma i narkomanije. Platforma Smart Personalized Adaptive Recovery System SPARx je prva potpuno virtuelna platforma za tretman alkoholizma i narkomanije koja pruža usklađivanje tretmana na osnovu razumevanja navika pacijenata koje tretira. Predavanje će biti održano na srpskom jeziku koliko god bude moguće s obzirom da se bazira na radu studenata koji koriste podatke iz SAD firme koja je napravila platformu upotpunjene podacima američke nacionalne ankete o korišćenju droga i zdravlju korisnika alkohola i opojnih droga.
 
Napomena: Registraciona forma za učešće na Seminaru je dostupna na linku:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Ukoliko želite samo da pratite predavanje bez mogućnosti aktivnog učešća, prenos je dostupan na linku:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz

detaljnije

Seminar Katedre za verovatnoću i statistiku, 23. maj 2023.

Naredni sastanak Seminara biće održan onlajn u utorak, 23. maja 2023. sa početkom u 16.15.

Predavač: dr Abid Hussain, Department of Statistics Govt. Mian Shahbaz Sharif College, Rawalpindi, Pakistan
 
Naslov predavanja: USES OF RANK TRANSFORMATION IN NON-PARAMETRIC STATISTICS
 
Apstrakt:
Many of the more useful and powerful non-parametric procedures may be presented unified bytreating them as rank transformation procedures. But on the other hand, if we have only ranks for analysis, we do not know the magnitudes of the difference between measurements that were ranked because the ranks procedures are treated all the differences between values equally. For example, three students taking an examination may be ranked first, second, and third on the basis of the order in which they complete the examination. This does not mean, however, that the time elapsing between completion by number 1 and by number 2 is the same as that between number 2 and number 3. For example, the student finishing first may finish five minutes before the second student, who, in turn, may finish eight minutes before the third. In this example, if we use only ranks for further investigation, we will lose the actual time difference information between finishing the test among competitors.
We need an alternative rank transformation that works as an ordinary ranking scheme as well as behaves relatively with its original data format. We put our effort to resolve this issue by proposing a new relative rank-based scheme. The ordinary ranks are functionalized by incorporating data range and quantile coverage simultaneously in the proposed formula. This dual use of additional information is found to enhance the sensitivity of the devised scheme toward offering more competent weights of competing observations. Some key mathematical properties of the proposed functionalization are highlighted. The performance is also investigated under a set of diverse parametric settings involving different stochastic formulations, sample sizes, degrees of correlation, etc. In the second part of this seminar, I will present a rank correlation coefficient based on the differences of the ranks only (not the squared difference of ranks). This method was discussed in the seminal work of Spearman (1904). He mentioned this method on pager number 86 with some merits and drawbacks. Best of my knowledge, this approach has never been used in the literature, because of maybe unavailability of sampling properties and critical values. After almost 120 years, I have solved the sampling properties and determined the critical values for this method. Based on the results, we can use this approach parallel with the Spearman’s correlation coefficient (ρ) and Kendall’s correlation coefficient (τ).

Reference:
Spearman, C. (1904). The proof and measurement of association between two things. The American Journal of Psychology, 15:72–101.

Link za pristup predavanju:
https://zoom.us/j/94859404654?pwd=VWJZUzY5dTNjdFBkbHliTTNzME8wQT09
Meeting ID: 948 5940 4654
Passcode: 231282

detaljnije

Seminar iz astronomije i astrofizike, 23. maj 2023.

Naredni sastanak Seminara biće održan u utorak, 23. maja 2023, u sali 809 Matematičkog fakulteta sa početkom u 18 časova.

Predavač: dr Martin Leitzinger, Department for Geophysics, Astrophysics and Meteorology, Institute of Physics, University of Graz

Naslov predavanja: STELLAR CORONAL MASS EJECTIONS

detaljnije

Seminar za računarstvo i primenjenu matematiku, 23. maj 2023.

Naredni sastanak Seminara biće održan u utorak, 23. maja u sali 301f Matematičkog instituta SANU sa početkom u 14.15. Sastanak je moguće pratiti i na daljinu.

Predavač: Predrag Janičić, Matematički fakultet, Univerzitet u Beogradu
 
Naslov predavanja: AUTOMATSKO DOKAZIVANjE TEOREMA KAO REŠAVANjE PROBLEMA OGRANIČENjA
 
Apstrakt: U izlaganju će biti predstavljen jedan nov pristup automatskom dokazivanju teorema. Za razliku od drugih pristupa automatskom dokazivanju teorema, u kojima prostor pretrage čine formule i ono za čime se traga ponovo je formula, u ovom pristupu traga se za dokazom kao celinom. Naime, konkretan dokaz u fiksiranom logičkom okviru može se kodirati nizom prirodnih brojeva, a sintaksička ograničenja koja vezuju korake dokaza mogu se prevesti u linearna ograničenja nad tim brojevima. Za zadati skup aksioma, zadatu formulu koju treba dokazati i zadatu dužinu traženog dokaza, na taj način može se dobiti instanca problema zadovoljivosti linearnih ograničenja koju automatski može rešiti odgovarajući rešavač. Iz tog rešenja onda se može rekonstruisati traženi dokaz.
 
Ovaj pristup ima nekoliko svojstava koja nemaju drugi pristupi. Na primer, njegovim korišćenjem može se dobiti najkraći mogući dokaz, jednostavno se mogu dobiti abdukti, jednostavno se mogu zadati fragmenti dokaza koji treba dopuniti i jednostavno se mogu dobiti mašinski proverivi dokazi.

Opisani pristup primenjen je na koherentnu logiku (koja je izražajna kao logika prvog reda) i implementiran u okviru javno dostupnog dokazivača Larus. Dokazivač Larus efikasniji je od više drugih dokazivača za logiku prvog reda koji generišu mašinski proverive dokaze.

Koautor ovog rada je prof. Julien Narboux iz Francuske.
 
Napomene: Napomena: Registraciona forma za učešće na Seminaru je dostupna na linku:
https://miteam.mi.sanu.ac.rs/call/wnz6oyxsQsy29LfJA/MjQ__eH607WeAL9X7IFtUI98xdQQgVkp-ljiEKPPfXr

Ukoliko želite samo da pratite predavanje bez mogućnosti aktivnog učešća, prenos je dostupan na linku:
https://miteam.mi.sanu.ac.rs/asset/YoqHWKALRkRTbK9So

detaljnije

Seminar Katedre za računarstvo i informatiku, 22. maj 2023.

Naredni sastanak Seminara biće održan u ponedeljak, 22. maja 2023. u sali 718 Matematičkog fakulteta sa početkom u 18 časova.

Predavač: Josep Torrellas, University of Illinois Urbana-Champaign (UIUC); Director of the SRC/DARPA ACE Center for Evolvable Computing

Naslov predavanja: CLOUD COMPUTER ARCHITECTURE OF THE NEXT DECADE
 
Apstrakt: The Cloud of the next decade will be defined by the need to process vast swaths of data for insights in a timely manner. Minimizing data movement to curtail energy consumption and increasing computation efficiency will be the overriding constraints. The compute infrastructure will be a seamless hierarchy of compute centers from edge to geo-distributed mega-datacenters. Each compute center will contain a large number of heterogeneous hardware accelerators, and tasks of unprecedentedly small granularity will ship computation to where data is. In this talk, I will describe some of the research on computer systems that my group is performing to attain this vision. We are developing programmable accelerators organized into ensembles, heterogenous memory systems, smart network interfaces and secure hardware structures. The combination of all these technique is likely to deliver large improvements in performance and energy efficiency.
 
Biografija predavača:
Josep Torrellas is the Saburo Muroga Professor of Computer Science at the University of Illinois Urbana-Champaign (UIUC). He is the Director of the SRC/DARPA ACE Center for Evolvable Computing, past Co-Leader of an Intel Strategic Research Alliance (ISRA) on Computer Security, and past Director of the Illinois-Intel Parallelism Center (I2PC). His research interests are computer architectures for shared-memory multiprocessors and parallel computing. Some of his contributions include thread-level  speculation (TLS) architectures, the Bulk Multiprocessor concept, deterministic record and replay mechanisms, process variation mitigation techniques, and hardware defenses against speculative execution attacks. In addition, he has contributed to several experimental multiprocessor designs such as IBM’s PERCS Multiprocessor, Intel’s Runnemede Extreme-Scale Multiprocessor, Illinois Cedar, and Stanford DASH. He has graduated 48 PhDs, who are now leaders in academia or industry.

detaljnije

Predavanje prof. Jozepa Torelasa (University of Illinois Urbana-Champaign; Director of SRC/DARPA ACE Center for Evolvable Computing) na Matematičkom fakultetu, 22. maja 2023.

U okviru Seminara Katedre za računarstvo i informatiku prof. Josep Torrellas (University of Illinois Urbana-Champaign - UIUC; Director of the SRC/DARPA ACE Center for Evolvable Computing), održaće predavanje u ponedeljak, 22. maja 2023, u sali 718 Matematičkog fakulteta sa početkom u 18 časova.

Naslov predavanja: CLOUD COMPUTER ARCHITECTURE OF THE NEXT DECADE
 
Apstrakt:
The Cloud of the next decade will be defined by the need to process vasts waths of data for insights in a timely manner. Minimizing data movement to curtail energy consumption and increasing computation efficiency will be the overriding constraints. The compute infrastructure will be a seamless hierarchy of compute centers from edge to geo-distributed mega-datacenters. Each compute center will contain a large number of heterogeneous hardware accelerators, and tasks of unprecedentedly small granularity will ship computation to where data is. In this talk, I will describe some of the research on computer systems that my group is performing to attain this vision. We are developing programmable accelerators organized into ensembles, heterogenous memory systems, smart network interfaces and secure hardware structures. The combination of all these technique is likely to deliver large improvements in performance and energy efficiency.
 
Biografija predavača:
Josep Torrellas is the Saburo Muroga Professor of Computer Science at the University of Illinois Urbana-Champaign (UIUC). He is the Director of the SRC/DARPA ACE Center for Evolvable Computing, past Co-Leader of an Intel Strategic Research Alliance (ISRA) on Computer Security, and past Director of the Illinois-Intel Parallelism Center (I2PC). His research interests are computer architectures for shared-memory multiprocessors and parallel computing. Some of his contributions include thread-level speculation (TLS) architectures, the Bulk Multiprocessor concept, deterministic record and replay mechanisms, process variation mitigation techniques, and hardware defenses against speculative execution attacks. In addition, he has contributed to several experimental multiprocessor designs such as IBM’s PERCS Multiprocessor, Intel’s Runnemede Extreme-Scale Multiprocessor, Illinois Cedar, and Stanford DASH. He has graduated 48 PhDs, who are now leaders in academia or industry.

detaljnije

Odeljenje za matematiku, 19. maj 2023.

Naredni sastanak Seminara biće održan u petak, 19. maja 2023, u Centru za stručno usavršavanje Niš (ulica Pariske Komune bb, prostorija broj 9) sa početkom u 14.15. Predavanje je moguće pratiti i na daljinu.

Predavač: Dragan Đorđević, PMF, Univerzitet u Nišu

Naslov predavanja: DOUBLE STOCHASTIC OPERATORS ON L^1
 
Apstrakt: We prove some results on double stochastic operators on L1 spaces. Thus, we extend some results from a discrete case to a more general settings.
 
Napomena: Predavanja se mogu pratiti na daljinu preko linka:
https://miteam.mi.sanu.ac.rs/call/T9XDGChhq8aDcNqmz/qw7wIwci2jv2rdg9I9CrXkm7OJhF_LB8DfjXZp4jTFV
 
Registraciona forma je dostupna na:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N

detaljnije

Ana Merkle, Izveštaj Komisije za ocenu doktorske disertacije i doktorska disertacija

Ana Merkle

  • Izveštaj komisije, 11.05.2023. godine, NNV 23.06.2023. godine.
  • Doktorska disertacija: „Stohastička predvidivost filtracija i procesa po neprekidnom parametru“, datum objavljivanja  17.05.2023.
detaljnije