Paginacija
-
-
Akcijski i membranski potencijal
-
Marija Petrović Na temelju svih saznanja o akcijskim i membranskim potencijalima zaključujem da je električni potencijal koji nastaje zbog različitih koncentracija iona neophodan za ljudski život. Električni membranski potencijal se nalazi na membranama govoto svih stanica. Razlika koncentracija iona, prijelaz iona u unutrašnjost stanice i obrnuto omogućava podraživanje stanica, a time i stvaranje signala. Prijenos signala se ne bi događao da nema promjena na membranama živčanih stanica....
-
-
Aksiomatska semantika IMP-a
-
Damira Žmire U ovom diplomskom radu proučavamo aksiomatsku semantiku IMP-a. Ba vimo se sustavnom provjerom programa napisanih u IMP-u. Uvedena su Hoareova pravila za provjeru parcijalne korektnosti programa te je dokazana utemeljenost Hoareove logike. Navedeno je uključivalo proširenje booleovih izraza do bogatijeg jezika tvrdnji o programskim stanjima. Nadalje, razmatrali smo pitanje potpunosti Hoareovih pravila. Godelov teorem nepotpunosti ukazuje na to da ne postoji potpun sustav dokazivanja kojim...
-
-
Alati otvorenog koda za izradu platformske 3D igre
-
Josip Katić Jeli moguće alatima otvorenog koda postići rezultat komercijalne razine? Provjera
korištenjem softvera 3D računalne grafike i game engine-a, pružaju li nam sve potrebne
mogućnosti da bi to postigli? Korištenje osnovnih funkcija modeliranja i animiranja kroz
softver za računalnu grafiku, te povezivanje logike koristeći game engine da bi postigli
funkcionalnu računalnu igru. Kao konačni proizvod ispunjavamo ideju postizanja računalne
igre predodređenog tipa, te kao...
-
-
Algoritam smanjivanja prostora stanja pretrage
-
Domina Sokol Redukcija prostora stanja je tehnika optimizacije izvršenja heurističkih algoritama. Dijeli se na dva dijela prema kriteriju optimalnosti pronađenog rješenja: dopustiva redukcija prostora stanja i redukcija prostora stanja uz očuvanje rješenja. Prva skupina metoda odnosi se na one koje čuvaju optimalno rješenje – redukcija podstringova, detekcija slijepih ulica i redukcija pomoću simetrije. Druga skupina odnosi se na one metode koje nužno ne čuvaju optimalno rješenje, ali i...
-
-
Algoritmi poduprtog učenja i dilema istraživanja i iskorištavanja
-
Igor Šušić Ovaj rad nudi pregled poduprtog učenja, ideja i algoritama na kojima se područje temelji. Kroz
primjere polazi se od formalizacije problema koristeći Markovljeve procese odluke sve do Q-učenja. Promatra dilemu istraživanja i iskorištavanja, daje poveznicu s ponašanjem živih bića.
Analizira te uspoređuje uspjeh različitih politika ponašanja kao rješenja dileme, točnije uspoređuje
pohlepni epsilon, softmax i gornju granicu intervala pouzdanosti nad jednostavnim...
-
-
Algoritmi pretrage u stablu
-
Antonela Pintur Teorija grafova je danas iznimno popularna grana matematike sa širokim primjenama. Najčešće primjene su u rješavanju problema pronalaska najkraćih puteva kako bi se minimizirali razni troškovi pa je korisno pogledati različite algoritme pretrage koje imamo u stablima. Najpoznatiji algoritmi su Jarnik-Prim algoritam i Boruvka-Kruskal kojima je jedina razlika u redoslijedu odabira bridova (”puteva”), a kao rezultat daju jednako stablo.
-
-
Algoritmi vremenskog upravljanja u operacijskim sustavima
-
Lucija Dumančić Cilj završnog rada je implementacija i usporedba algoritama vremenskog upravljanja.. Na početku teorijskog dijela rada, opisani su procesi u operacijskim sustavima i vremensko upravljanje. Osim implementiranih algoritama, opisani su i ostali algoritmi vremenskog upravljanja u operacijskim sustavima. Na kraju teorijskog dijela rada navedeni su i općeniti i specifični ciljevi za pojedine operacijske sustave. U praktičnom dijelu rada implementirani su algoritmi First-Come First-Served,...
-
-
Alkaloidi porodice Solanaceae
-
Marko Vučemilo Solanaceae je porodica cvjetnica koja sadrži oko 2500 različitih vrsta. Ono što je zajedničko gotovo svim vrstama porodice Solanaceae je sadržaj alkaloida u gotovo svim dijelovima biljke. Alkaloidi su prirodni organski spojevi koji sadrže dušik. Alkaloidi koje najčešće nalazimo kod porodice Solanaceae su solanin iz krumpira i drugih vrsta roda Solanum, hiosciamin i skopolamin iz bunike, atropin iz velebilja, nikotin iz duhana, te kapsaicin iz paprike. Cilj rada je upoznavanje s...
-
-
Alogoritmi za faktorizaciju prirodnih brojeva
-
Cvita Landikušić U ovom diplomskom radu predstavljeni su algoritmi za faktorizaciju prirodnih brojeva, od najjednostavnijeg Femratovog algoritma do naprednijih, kao
što je Sito polja brojeva. Prvo poglavlje ukratko navodi osnovne pojmove potrebne za razumijevanje problema. Drugo poglavlje bavi se faktorizacijskim
algoritmima eksponencijalne složenosti, a treće algoritmima subeksponencijalne složenosti.
Paginacija
