1. Izračun zahtevanega solventnostnega kapitala za zavarovalnice in pozavarovalnice po standardni formuli v programskem jeziku R
Tina Janša, 2015, magistrsko delo

Ključne besede: solventnost II, kapitalske zahteve, R
Celotno besedilo (datoteka, 608,68 KB)

3. Uporaba genetskih algoritmov in metod Monte Carlo za iskanje optimalne strategije samozadrževanja v bonus-malus sistemih
Andrej Maršič, 2012, diplomsko delo

Ključne besede: genetski algoritmi, metode Monte Carlo, bonus-malus sistemi, optimizacija, simulacija
Celotno besedilo (datoteka, 309,50 KB)

5. Metode podpornih vektorjev
Lenart Treven, 2018, diplomsko delo

Ključne besede: metode podpornih vektorjev, dualni problem, jedra
Celotno besedilo (datoteka, 1,87 MB)

7. Uporaba tipov za zagotavljanje pravilnosti programov
Filip Koprivec, 2017, diplomsko delo

Ključne besede: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi
Celotno besedilo (datoteka, 293,61 KB)

9. Uporaba polkolobarjev z zaprtjem
Nina Slivnik, 2019, delo diplomslega seminarja/zaključno seminarsko delo/naloga

Ključne besede: Polkolobar, zaprtje, polkolobar matrik, Jacobijev algoritem, algoritem Warshall-Floyd-Kleene, Gaussova metoda, Haskell
Celotno besedilo (datoteka, 397,35 KB)