Napredno

 
  Išči
    Enostavno iskanje


Rezultati

54 rezultatov
1 - 10 / 54
Na začetekNa prejšnjo stran123456Na naslednjo stranNa konec
1. Odločitveni model za podporo upravljanja vodnih virov
Nejc 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činki
Timotej 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)

3. Effective metatheory for type theory
Philipp Georg Haselwarter, 2022, doktorska disertacija

Ključne besede: dependent type theory, algebraic theory, proof assistant, metalanguage, computational effects
Celotno besedilo (datoteka, 2,22 MB)

4. Denotacijska semantika PCF
Kristjan 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)

5. Osnove modalne logike
Lara Pirjevec, 2015

Ključne besede: modalna logika
Celotno besedilo (povezava drugam) Gradivo ima več datotek! Več...

6. Algoritmi za risanje fraktalov IFS
Katarina 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)

7. Grafični uporabniški vmesnik za Agdo
Marko Koležnik, 2015, magistrsko delo

Ključne besede: Agda, grafični uporabniški vmesnik, ogrodje Cocoa, medprocesna komunikacija
Celotno besedilo (datoteka, 1,42 MB)

8. Odločitvena drevesa
Anja 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)

9. Spletna aplikacija za linearno programiranje
Tina Janša, 2012, diplomsko delo

Ključne besede: linearno programiranje, celoštevilsko linearno programiranje, spletna aplikacija, uporabniški vmesnik
Celotno besedilo (datoteka, 474,50 KB)

10. 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)
Iskanje izvedeno v 0.09 sek.
Na vrh