Št. zadetkov: 75
Doktorska disertacija
Oznake:
optimizacijski problem;prilagodljivost;nedoločenost;scenarij;teorija računske zahtevnosti;hevristični algoritem;aproksimacijski algoritem;računalništvo;disertacije;
Prilagodljivost v optimizacijskih problemih
Leto:
2006
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
odvisni tipi;pravilnost programov;programski jezik Idris;računalništvo;računalništvo in informatika;univerzitetni študij;diplomske naloge;
Formalno dokazovanje pravilnosti programov se v ključnih primerih izvaja ročno. Programski jeziki z odvisnimi tipi kot logična ogrodja predstavljajo avtomatizirano alternativo ročnemu preverjanju pravilnosti. V tem diplomskem delu obravnavamo sisteme tipov ter programske jezike z odvisnimi tipi. ...
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
digitalni;mikrofluidika;biočip;sinteza;računalništvo;računalništvo in informatika;univerzitetni študij;diplomske naloge;
V diplomskem delu je predstavljen digitalni mikrofluidni biočip, ki je namenjen izvajanju preizkusov različnih človeških in okoljskih tekočin. Predhodnik digitalnega mikrofluidnega biočipa je zvezno pretočni mikrofluidni biočip, ki temelji na mehanskih komponentah za premikanje tekočin. Osnova za ra ...
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
deduplikacija;datotečni sistem;kopiraj ob pisanju;računalništvo;visokošolski strokovni študij;računalništvo in informatika;diplomske naloge;
V diplomskem delu je predstavljeno področje deduplikacije podatkov. Razloženi so osnovni koncepti, povezani okrog področja deduplikacije in predstavljeni glavni inženirski problemi, na katere naletimo pri snovanju ali uporabi deduplikativnih sistemov. Glavni poudarek je na deduplikaciji podatkov na ...
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
odvisni tipi;pravilnost programov;programski jezik Idris;
Formalno dokazovanje pravilnosti programov se v ključnih primerih izvaja ročno. Programski jeziki z odvisnimi tipi kot logična ogrodja predstavljajo avtomatizirano alternativo ročnemu preverjanju pravilnosti. V tem diplomskem delu obravnavamo sisteme tipov ter programske jezike z odvisnimi tipi. ...
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
digitalni;mikrofluidika;biočip;sinteza;
V diplomskem delu je predstavljen digitalni mikrofluidni biočip, ki je namenjen izvajanju preizkusov različnih človeških in okoljskih tekočin. Predhodnik digitalnega mikrofluidnega biočipa je zvezno pretočni mikrofluidni biočip, ki temelji na mehanskih komponentah za premikanje tekočin. Osnova za ra ...
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
deduplikacija;datotečni sistem;kopiraj ob pisanju;
V diplomskem delu je predstavljeno področje deduplikacije podatkov. Razloženi so osnovni koncepti, povezani okrog področja deduplikacije in predstavljeni glavni inženirski problemi, na katere naletimo pri snovanju ali uporabi deduplikativnih sistemov. Glavni poudarek je na deduplikaciji podatkov na ...
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
NET platforma;.NET interoperabilnost;Component Object Model;Automation;Win32;Platform Invocation Services;
.NET platforma predstavlja zelo pomemben element Windows sistema. Zaradi svoje vsestranskosti, bogatega sklada tehnologij ter velikega števila podprtih jezikov, je večinoma izrinila starejše tehnologije in tako postala primarna tehnologija za razvijanje aplikacije na operacijskem sistemu Microsoft W ...
Leto:
2015
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
urejanje;podatki;algoritmi;
V diplomskem delu je predstavljeno področje zunanjega urejanja. V nalogi je opisanih in primerjanih več algoritmov za zunanje urejanje, kako se obnašajo ter katere so njihove prednosti in slabosti. Algoritmi, ki jih primerjamo so navadno večsmerno zlivanje, navadno uravnoteženo zlivanje, naravno ura ...
Leto:
2015
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
odločitveni problem;uganka;računska zahtevnost;NP-polnost;prevedba;računalništvo;računalništvo in informatika;računalništvo in matematika;univerzitetni študij;diplomske naloge;interdisciplinarni študij;
Najtežje probleme v NP imenujemo NP-polni problemi, za njih pa trenutno velja, da jih ne znamo rešiti v polinomskem času. NP-polne odločitvene probleme najdemo na različnih področjih, od teorije grafov, do izjavne logike, nadalje pa velja, da ob odkritju rešitve enega od problemov znamo rešiti tudi ...
Leto:
2016
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)