1. Odločitveni model za podporo upravljanja vodnih virovNejc Trdin, 2011, diplomsko delo Ključne besede: podpora odločanju, odločitveni model, DEX, pitna voda, vodonosnik, računalništvo, univerzitetni študij, diplomske naloge Celotno besedilo (datoteka, 2,52 MB) |
2. Programiranje z algebrajskimi učinkiTimotej Lazar, 2012, diplomsko delo Ključne besede: računski učinki, prirejanje vzorcev, računalništvo, računalništvo in informatika, računalništvo in matematika, univerzitetni študij, diplomske naloge Celotno besedilo (datoteka, 1,07 MB) |
|
4. Denotacijska semantika PCFKristjan Kostelec, 2020, diplomsko delo Ključne besede: programski jezik PCF, operacijska semantika, denotacijska semantika, domene, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike Celotno besedilo (datoteka, 564,75 KB) |
|
6. Algoritmi za risanje fraktalov IFSKatarina Zadražnik, 2011, diplomsko delo Ključne besede: matematika, fraktali, prostor fraktalov, skrčitev, iterirani funkcijski sistemi, deterministični algoritem, prostor mer, naključni algoritem Celotno besedilo (datoteka, 2,24 MB) |
|
8. Odločitvena drevesaAnja Zupančič, 2011, diplomsko delo Ključne besede: matematika, odločitvena drevesa, klasifikacija, strojno učenje, podatkovno rudarjenje, umetna inteligenca, atributi, rezanje drevesa, prečno preverjanje, entropija Celotno besedilo (datoteka, 630,36 KB) |
|
|