Napredno

 
  Išči
    Enostavno iskanje


Rezultati

49 rezultatov
21 - 30 / 49
Na začetekNa prejšnjo stran12345Na naslednjo stranNa konec
21. 2048
Sara Krk, 2016, diplomsko delo

Ključne besede: matematika, algoritmi, umetna inteligenca, usmerjeni grafi, markovski proces odločanja, programiranje
Celotno besedilo (datoteka, 5,11 MB)

22. Induktivni in koinduktivni podatkovni tipi
Jure Slak, 2015, diplomsko delo

Ključne besede: matematika, začetna F-algebra, končna F-koalgebra, induktivni podatkovni tipi, koinduktivni podatkovni tipi, indukcija, koindukcija, rekurzija, korekurzija
Celotno besedilo (datoteka, 518,83 KB)

23. Monade v funkcijskem programiranju
Mitja Rozman, 2015, diplomsko delo

Ključne besede: matematika, kategorije, funktorji, naravna transformacija, monade, Haskell, funkcijsko programiranje
Celotno besedilo (datoteka, 679,01 KB)

24. Preddoločanje in kontinuumska funkcija
Miha Emerik Habič, 2012, magistrsko delo

Ključne besede: preddoločanje, Boolovi modeli, Eastonov izrek, posplošena hipoteza kontinuuma
Celotno besedilo (datoteka, 660,55 KB)

25. Pregled metod obrambe proti Sibilam
Gašper Ažman, 2013, magistrsko delo

Ključne besede: socialna omrežja, hitro rastoči grafi
Celotno besedilo (datoteka, 446,52 KB)

26. Modeliranje dinamičnih sistemov z rudarjenjem podatkovnih tokov
Aljaž Osojnik, 2013, magistrsko delo

Ključne besede: dinamični sistemi, strojno učenje, rudarjenje podatkovnih tokov, regresijska drevesa, modelna drevesa, opcijska drevesa, ansambli
Celotno besedilo (datoteka, 2,59 MB)

27. Razdalje na strukturiranih podatkih
Tomaž Stepišnik Perdih, 2016, magistrsko delo

Ključne besede: umetna inteligenca, najbližji sosedje, strukturirani podatki, razdalje na podatkih
Celotno besedilo (datoteka, 1,29 MB)

28. Generalizing treshold automata for reachability in parameterized systems
Jure Kukovec, 2016, magistrsko delo

Ključne besede: treshold automata, fault tolerant distributed algorithms, model checking
Celotno besedilo (datoteka, 398,82 KB)

29. Funkcijsko reagentno programiranje
Ana Borovac, 2017, diplomsko delo

Ključne besede: matematika, funkcijsko programiranje, funkcijsko reagentno programiranje, lambda račun, signali
Celotno besedilo (datoteka, 531,63 KB)

30. Konstrukcija modela nestandardne analize
Nika Krušec, 2017, diplomsko delo

Ključne besede: matematika, infinitezimal, nestandardna analiza, nestandardna realna števila, princip prenosa, logika prvega reda
Celotno besedilo (datoteka, 300,87 KB)
Iskanje izvedeno v 0.09 sek.
Na vrh