Nalaganje ...
Projekti / Programi vir: ARIS

Računsko intenzivne metode v teoretičnem računalništvu, diskretni matematiki, kombinatorični optimizaciji ter numerični analizi in algebri z uporabo v naravoslovju in družboslovju

Obdobja
Raziskovalna dejavnost

Koda Veda Področje Podpodročje
1.07.00  Naravoslovje  Računalniško intenzivne metode in aplikacije   
1.01.00  Naravoslovje  Matematika   

Koda Veda Področje
P170  Naravoslovno-matematične vede  Računalništvo, numerična analiza, sistemi, kontrola 

Koda Veda Področje
1.01  Naravoslovne vede  Matematika 
Ključne besede
velika omrežja, velika podatkovja, reprezentacije grafov, zemljevidi, konfiguracije, simetrije, optimizacija, izračunljivost, programski jeziki, večparametrični problem lastnih vrednosti, polinomi dveh spremenljivk, zlepek, aproksimacija, preštevanje, simetrične funkcije, politopi
Vrednotenje (pravilnik)
vir: COBISS
Upoš. tč.
9.280,75
A''
893,63
A'
1.963,04
A1/2
3.174,07
CI10
6.971
CImax
216
h10
34
A1
28,78
A3
18,36
Podatki za zadnjih 5 let (citati za zadnjih 10 let) na dan 14. julij 2024; A3 za obdobje 2018-2022
Podatki za razpise ARIS ( 04.04.2019 - Programski razpis , arhiv )
Baza Povezani zapisi Citati Čisti citati Povprečje čistih citatov
WoS  644  8.478  6.944  10,78 
Scopus  728  11.122  9.358  12,85 
Raziskovalci (33)
št. Evidenčna št. Ime in priimek Razisk. področje Vloga Obdobje Štev. publikacijŠtev. publikacij
1.  34561  dr. Nino Bašić  Matematika  Raziskovalec  2020 - 2024  83 
2.  01467  dr. Vladimir Batagelj  Matematika  Raziskovalec  2020 - 2024  978 
3.  15854  dr. Andrej Bauer  Matematika  Raziskovalec  2020 - 2024  201 
4.  33231  dr. Katja Berčič  Matematika  Raziskovalec  2020 - 2024  24 
5.  19284  dr. Marko Boben  Računalniško intenzivne metode in aplikacije  Raziskovalec  2020 - 2024  84 
6.  02017  dr. Matevž Bren  Matematika  Raziskovalec  2020  291 
7.  38589  dr. Jan Grošelj  Matematika  Raziskovalec  2020 - 2024  47 
8.  24421  dr. Boris Horvat  Računalniško intenzivne metode in aplikacije  Raziskovalec  2020 - 2024  143 
9.  20271  dr. Gašper Jaklič  Matematika  Raziskovalec  2020 - 2024  329 
10.  20269  dr. Iztok Kavkler  Matematika  Raziskovalec  2020 - 2024  59 
11.  22401  dr. Matjaž Konvalinka  Matematika  Raziskovalec  2020 - 2024  118 
12.  53446  Filip Koprivec  Računalniško intenzivne metode in aplikacije  Mladi raziskovalec  2020 - 2024  21 
13.  12303  dr. Simona Korenjak Černe  Matematika  Raziskovalec  2020 - 2024  127 
14.  34750  dr. Gašper Košmrlj  Matematika  Raziskovalec  2020 - 2024  19 
15.  11234  dr. Jurij Kovič  Računalniško intenzivne metode in aplikacije  Raziskovalec  2020 - 2024  194 
16.  56950  Maruša Lekše  Matematika  Mladi raziskovalec  2022 - 2024 
17.  26450  dr. Primož Lukšič  Računalniško intenzivne metode in aplikacije  Raziskovalec  2020 - 2024  96 
18.  56220  dr. Jose Antonio Montero Aguilar  Matematika  Raziskovalec  2022 - 2024  11 
19.  21658  dr. Alen Orbanić  Računalniško intenzivne metode in aplikacije  Raziskovalec  2020 - 2024  141 
20.  01935  dr. Marko Petkovšek  Matematika  Raziskovalec  2020  367 
21.  01941  dr. Tomaž Pisanski  Matematika  Raziskovalec  2020 - 2024  866 
22.  15136  dr. Bor Plestenjak  Matematika  Raziskovalec  2020 - 2024  163 
23.  18838  dr. Primož Potočnik  Matematika  Vodja  2020 - 2024  239 
24.  32029  dr. Selena Praprotnik  Matematika  Raziskovalec  2020 - 2024  16 
25.  32320  dr. Matija Pretnar  Matematika  Raziskovalec  2020 - 2024  71 
26.  37541  dr. Alejandra Ramos Rivera  Matematika  Raziskovalec  2021 - 2024  18 
27.  53700  Egbert Maarten Rijke  Matematika  Raziskovalec  2021 - 2024  12 
28.  36549  dr. Jernej Rus  Matematika  Raziskovalec  2020 - 2024  10 
29.  37834  dr. Alexander Keith Simpson  Matematika  Raziskovalec  2020 - 2024  82 
30.  55806  Ada Šadl Praprotnik  Matematika  Mladi raziskovalec  2021 - 2024 
31.  39104  dr. Micael Alexi Toledo Roy  Matematika  Raziskovalec  2020 - 2024  12 
32.  58227  dr. Andoni Zozaya Ursuegui  Matematika  Raziskovalec  2023 - 2024 
33.  14273  dr. Arjana Žitnik  Matematika  Raziskovalec  2020 - 2024  103 
Organizacije (4)
št. Evidenčna št. Razisk. organizacija Kraj Matična številka Štev. publikacijŠtev. publikacij
1.  0101  Inštitut za matematiko, fiziko in mehaniko  Ljubljana  5055598000  20.135 
2.  1554  Univerza v Ljubljani, Fakulteta za matematiko in fiziko  Ljubljana  1627007  34.510 
3.  1669  Univerza na Primorskem, Inštitut Andrej Marušič  Koper  1810014007  10.879 
4.  2975  ABELIUM d.o.o., raziskave in razvoj  Ljubljana  3557952  458 
Povzetek
Pri matematičnem modeliranju, znanstvenih izračunih in analizi podatkov, srečujemo vse večje količine podatkov kot tudi povečano povpraševanje po računalniških znanjih. Naše raziskovalne aktivnosti in cilji pokrivajo izbor področij, ki temelje na računalniško intenzivnih metodah za reševanje problemov, formuliranju hipotez in izvajanju analiz na različnih področjih, v razponu od čiste matematike, do naravoslovnih in družbenih znanosti in industrije. Naša metodologija povezuje vpogled v globoke matematične in znanstvene rezultate z njihovo uporabnostjo v dejanskih razmerah. Naša raziskovalna skupina, ki sestoji iz več kot 20 profesionalnih raziskovalcev, se bo osredotočila na naslednja področja: Reprezentacije grafov, zemljevidov, kombinatoričnih konfiguracij in drugih incidenčnih struktur. Nadaljevali bomo z raziskovanjem geometrijskih, topoloških in kombinatoričnih reprezentacij grafov in kombinatoričnih struktur (konfiguracij, zemljevidov, manipleksov, politopov, itd.). To vključuje strukturno analizo in klasifikacijo posebnih družin objektov. Podatkovne zbirke zelo simetričnih objektov. Zgradili in nadgradili bomo podatkovne zbirke simetričnih objektov (simetričnih grafov, zemljevidov, abstraktnih politopov, konfiguracij), uporabne za formiranje in testiranje hipotez. Zbirke so prosto dostopne znanstveni skupnosti. V tem procesu bomo raziskovali in razvili teoretično ozadje za specifične zbirke. Velika podatkovja in analiza omrežij. Osredotočili se bomo na razvoj novih pristopov v analizi omrežij z osredotočanjem na povezana omrežja, časovna omrežja in simbolična omrežja. Še naprej bomo razvijali metodologijo za simbolično podatkovno analizo velikih podatkovij. Delo na novih pristopih bo zajelo tako teoretični kot algoritmični vidik. Računalniško sklepanje. Delali bomo na dveh glavnih temah. Prva je razvoj domensko-specifičnih metod za sklepanje o računalniških sistemih. Druga je razvoj enotnega pristopa k implementaciji konfiguracijsko odvisnih teorij tipov. Temi bosta sopostavljeni pri aplikacijah računalniških pomočnikov ter pri načrtovanju po meri ukrojenih teorij tipov, oblikovanih okoli programiranja. Numerična analiza in algebra. Raziskovali bomo sisteme polinomov dveh spremenljivk in aplikacije, nove interpolacijske in aproksimacijske sheme, inverzni problem lastnih vrednosti in kubične zlepke v kontekstu računalniško podprtega geometrijskega načrtovanja. Kombinatorika. Raziskovali bomo hiper-hipergeometrijske in konvolutivne rešitve linearnih rekurzij s hipergeometrijskimi koeficienti, reprezentacije simetričnih grup v povezavi s parkirnimi funkcijami, Schurove funkcije in matrike z alternirajočimi predznaki ter poizkusili rešiti nekatere zahtevne probleme povezane z Youngovimi tablicami (tableauxi). Uporabe v kemiji, sintetični biologiji in industrijske aplikacije. Obravnavali bomo probleme v kemijski teoriji grafov in poliedrske samo-sestave v sintetični biologiji. Znanje bo uporabljeno v različnih poslovnih področjih, kot so npr. mobilnost, finančna tehnologija, itd.
Pomen za razvoj znanosti
Naše delo daje pomembne rezultate pri uporabi računsko intenzivnih metod v teoretičnem računalništvu, pri analizi velikih omrežij, problemih v teoriji grafov, numerični analizi in linearni algebri, računalniško podprtem geometrijskem oblikovanju, kombinatorični optimizaciji, kemiji, sintetični biologiji in bioinformatiki. Rezultati naših raziskav so zelo uporabni tudi za raziskovalce na področju algebraične kombinatorike. Potencialno jih je mogoče uporabiti pri zagotavljanju dodatnih argumentov pri dokazovanju domnev. Za boljšo predstavo naštejmo nekaj konkretnih primerov: Rezultati v zvezi s poliedrsko samo-sestavo predstavljajo temelje za računske stroje, temelječe na kemičnih in bioloških strukturah, in tako odpirajo potencialno zelo pomembno raziskovalno področje. Orodje za analizo omrežij Pajek, katerega soavtor je V. Batagelj, je globalno priznano vrhunsko raziskovalno orodje za analizo omrežij. Podobno, novi pristopi k časovnim in bibliografskim omrežjem ter implementirana programska orodja predstavljajo pomembne rezultate in korake na zelo interdisciplinarnem in aktivnem področju kompleksnih omrežij (in sistemov).   Računalniško sklepanje omogoča zagotavljanje matematično dokazane pravilnosti delovanja pri razvoju programske opreme. Naši raziskovalci pomembno prispevajo k razvoju tega zelo obetavnega področja. Podatkovne zbirke grafov, izdelane v projektu, niso le urejeni katalogi, ampak so uporabne tudi za odkrivanje prej neopaženih pojavov in lastnosti v zvezi z obravnavanimi objekti in tako navdihujejo nove smeri raziskav. Simetrične funkcije igrajo pomembno vlogo v statistiki in teoretični fiziki, k-Schurove funkcije so pomembne tudi v teoriji Schubertovih polinomov, Macdonaldovih polinomov, kohomologiji, itd. Politopi so pomembni pri linearnem programiranju, v statistiki, teoriji grafov in drugod. B-zlepkovne reprezentacije zlepkov na splošnih triangulacijah so uporabne pri geometrijskem modeliranju in numerični aproksimaciji, zaradi česar so popolno orodje za moderne pristope k reševanju parcialnih diferencialnih enačb na nepravilnih domenah. Visoka kakovost rezultatov naših raziskav je v veliki meri posledica continuitete podpore naših raziskav. Pri tem igrajo ključne vloge razvoj človeških virov, razširjanje rezultatov (diseminacija) in mreženje. Naše raziskovanje je dobro umeščeno v globalno raziskovalno skupnost preko našega že desetletja trajajočega sodelovanja z ZDA, Veliko Britanijo in državami EU, če naštejemo le nekatere. Našim mlajšim raziskovalcem omogočamo povezave z vodilnimi mednarodnimi raziskovalci in jih izobražujemo o tem, kako postati pomemben član znanstvene skupnosti. Sestavni del naše dolgoročne strategije je vlagati v mlade raziskovalce in visoko izobražene inženirje z doktorati. Za ta namen smo pridobili več alternativnih virov financiranja (izven financiranja ARRS) za financiranje doktorskih in postdoktorskih študentov. Naša raziskovalna skupina je eden od ključnih gonil za ustanovitvijo in izdajanjem prve slovenske matematične mednarodne revije na lestvici SCI, Ars Mathematica Contemporanea, ki je bila ustanovljena 2008, leta 2015 pa se je prebila med najboljših 25% revij na lestvici. Pridobili smo lastne izkušnje in razvili informacijsko infrastrukturo na podlagi desetletij organiziranja dogodkov za znanstveno mreženje in izdajanja revij. Člani naše skupine so imeli vodilne vloge pri uspešni prijavi za izvedbo 8. evropskega matematičnega kongresa (2020) v Sloveniji, zdaj pa zasedajo vodilne vloge pri njegovi organizaciji.
Pomen za razvoj Slovenije
Pomen za ekonomski razvoj Mnogi naši rezultati nimajo samo teoretične vrednosti, ampak se jih da uporabiti tudi v praksi; večinoma gre za uporabo razvitih metodologij redkeje pa za neposredno uporabo rezultatov. Na ta način izvajamo prenosu znanj iz znanstvenega sveta v industrijo. Za uporabnike izven znanstvene skupnosti so metodologija reševanja problemov, matematično modeliranje ter načrtovanje računalniških algoritmov in njihova implementacija še posebej pomembni. Preko sodelovanja z industrijo in prenosa znanj skrbimo za to, da se izkorišča aplikativna vrednost naših raziskav. Naš raziskovalni program je edini matematični program v Sloveniji, ki ima svoje lastno spin-off podjetje, Abelium, partnerja na programu, ki so ga leta 2009 ustanovili mladi doktorandi, člani raziskovalne skupine. Podjetje Abelium trenutno zaposluje deset doktorjev matematike in računalništva. Kot pomemben primer uporabe znanj in optimizacijskih metod, preučevanih v okviru našega programa, naj omenimo uspešno podjetje za deljne prevoze na zahtevo GoOpti, ki velja za “slovenski Uber”, in je prejemnik mnogih nagrad za inovacije, in katerega soustanovitelji, odgovorni za celovito informacijsko IT infrastrukturo, razvoj, optimizacijo, itd., so nekateri člani Abeliuma. Družba vsako leto prepelje več sto tisoč potnikov na in z letališč v in okoli Slovenije. V takšnih in podobnih primerih, Abelium deluje kot nekakšen “tehnološki pospeševalnik” in omogoča digitalno transformacijo obetavnim zagonskim podjetjem, ki prejemajo visoke tuje investicije. Ker je slovenska ekonomija vključena v mednarodne tokove, je izjemno pomembno, da so tovrstna raziskovalna znanja na voljo našim podjetjem, kar spodbuja njihov hitrejši in uspešnejši razvoj. Člani skupine sodelujejo s pomembnimi nacionalnimi in mednarodnimi podjetji in institucijami, kot je npr. Luka Koper, (okoljsko modeliranje), Evropski urad za vesoljske raziskave in razvoj, Evropska vesoljska agencija, Urad za znanstvene raziskave letalskih sil (ZDA), itd. Pomen za družbeni in kulturni razvoj Člani našega programa so večinoma zaposleni na slovenskih univerzah, kjer so aktivni pri poučevanju tem, povezanih s programom. To je kanal za doseganje obetavnih študentov in pomoč pri razvoju njihove kariere. Sodelujemo pri objavljanju učnega gradiva (gradiva s predavanj) in smo stalno aktivni pri zagotavljanju javno dostopnih e-gradiv. Med pomembnimi primeri naj omenimo spletni storitvi Tomo (www.tomo.si) za učenje programiranja in Nauk (www.nauk.si) z bogatimi e-vsebinami za osnovne in srednje šole.   Spoštovanje matematične tradicije je pomemben vidik našega programa, ki se kaže v več projektih podpore kulturni dediščini v preteklosti. Tedensko organiziramo tudi Seminar za zgodovino matematičnih znanosti.
Zgodovina ogledov
Priljubljeno