Paginacija
-
-
Aksiomatizacije i modeli teorije NFU
-
Tin Adlešić
Glavna tema disertacije je Quineova teorija skupova s atomima (NFU), koja se može smatrati vrstom teorije tipova. Disertacija je podijeljena na dva dijela. U prvom dijelu strogo formaliziramo sintaksu te razvijamo teoriju NFU. Zatim prikazujemo teoriju kardinalnih brojeva koristeći uređene parove Kuratowskog. Najvažniji doprinos ovog dijela je dokaz principa kardinalnog kvadriranja. Pomoću njega definiramo tipski ujednačene uređene parove te prezentiramo alternativnu aksiomatizaciju...
-
-
Aktivnost paraoksonaze 1 u premalignim promjenama vrata maternice
-
Dražan Butorac
Paraoksonaza 1 (PON1) je enzim koji sudjeluje u uklanjanju karcinogenih radikala lipidne peroksidacije. Cilj istraživanja je odrediti paraoksonaznu i arilesteraznu aktivnost PON1, razdiobu fenotipova PON1, učestalost polimorfizama gena pon1 koji utječu na enzimsku aktivnost i koncentraciju te parametre lipidnog statusa i oksidacijskoga stresa u ispitanica s premalignim promjenama vrata maternice. Bazalna i NaCl-stimulirana paraoksonazna aktivnost PON1, kao i ove aktivnosti standardizirane...
-
-
Aktivnosti malih tijela Sunčevog sustava i suvremene metode određivanja njihovih fizikalnih karakteristika
-
Stefan Cikota
U Sunčevom sustavu, osim Sunca i planeta, do danas je otkriveno gotovo milijun malih tijela Sunčevog sustava. Zbog njihovih malih dimenzija, oni spadaju u objekte čije istraživanje često zahtijeva teleskope velikih promjera ili primjenu suvremenih opažačkih metoda. Jedna od suvremenih opažačkih metoda određivanja fizikalnih karakteristika malih tijela Sunčevog sustava, koja dozvoljava razlučivosti veće od bilo koje druge zemaljske metode, jest metoda zvjezdanih okultacija. Mala...
-
-
Akumulacija i postojanost fekalnoga onečišćenja u rovinjskom priobalju
-
Paolo Paliaga
Fekalno onečišćenje važan je ekološki problem priobalnih područja koji utječe na ekosustav i ugrožava ljudsko zdravlje. Akumulacija i postojanost fekalnoga onečišćenja istraženi su u vodenom stupcu i sedimentu tri rovinjske uvale izložene različitim vrstama i količinama otpadnih voda. Razina fekalnog onečišćenja kvantificirana je pomoću bakterijskih indikatora i fekalnih sterola. Raspodjela otpadnih voda oko glavnog kanalizacijskog ispusta u uvali Cuvi ovisila je o...
-
-
Akustička svojstva i filogenetski odnosi glavoča porodice Gobiidae (Teleostei; Gobiiformes)
-
Sven Horvatić
Glavoči su najbrojnijih skupina riba zrakoperki. Također, oni su jedna od akustički najistraživanijih skupina zrakoperki današnjice, sa 23 poznate vrste koje se glasaju. U sklopu ove disertacije, u četiri znanstvene publikacije prvi je put istražena, upotrebom bioakustičkih metoda i analiza, sposobnost stvaranja zvukova i vokalni repertoar glavoča linije Gobius Neogobius melanostomus, Neogobius fluviatilis i Ponticola kessleri, kao i Perccottus glenii (Odontobutidae). Nadalje, ovom...
-
-
Alergeni indeks urbane flore Zadra
-
Anita Vucić
Urbana flora ima važan utjecaj na javno zdravstvo te se u ovom aerobiološkom istraživanju prvi puta u Hrvatskoj predalaže novi i originalni način utvrđivanja alergenog indeksa flore, na primjeru grada Zadra za razdoblje 2007.-2015. Sve dobivene vrijednosti alergenog indeksa su <0,5 te je potvrđena hipoteza da alergeni potencijal urbane flore Zadra ne predstavlja visoki zdravstveni rizik. Standardne aerobiološke analize pokazuju dominaciju peludi drvenastih svojti (72,7 %) tijekom...
-
-
Algebraic modelling of quantum mechanical equations in the finite- and infinite-dimensional Hilbert spaces
-
Norman Dwight Megill
The Hilbert space of quantum mechanics has a dual representation in lattice theory, called the Hilbert lattice. In addition to offering the potential for new insights, the lattice-theoretical approach may be computationally efficient for certain kinds of quantum mechanics problems, particularly if, in the future, we are able to exploit what may be a “natural” fit with quantum computation. The equations that hold in the Hilbert space lattice representation are not completely known and are...
-
-
Algorithms and convergence of the Jacobi-type methods
-
Ana Perković
The Jacobi eigenvalue algorithm is a well-known iterative method used for solving the eigenvalue problem of symmetric matrices. The process is based on matrix diagonalization. In this thesis we study several modifications of the Jacobi method. We work on both matrix and tensor numerical problems. First, we review and generalize the Eberlein method, which is a Jacobi-type method for diagonalization of an arbitrary matrix. We prove the global convergence of the Eberlein method under a broad...
-
-
An algorithm for construction of extremal and near-extremal \(\mathbb{Z}_4\)-codes
-
Matteo Mravić
Self-dual \(\mathbb{Z}_4\)-codes are, depending on their Euclidean weight distribution, divided on Type I and Type II codes. For self-dual \(\mathbb{Z}_4\)-codes, a theoretical upper bound on the minimum Euclidean weight of a code is known. Codes that meet that upper bound are called extremal \(\mathbb{Z}_4\)-codes. It is known that Type I extremal \(\mathbb{Z}_4\)-codes do not exist for lengths 24 and 48. For these lengths, self-dual \(\mathbb{Z}_4\)-codes that have the best possible...
-
-
An investigation of conceptual understanding of atomic spectra among university students
-
Lana Ivanjek
This dissertation describes an investigation on conceptual understanding of discrete line spectra that was conducted among more than 1000 science majors at a Croatian and at an American university. Some serious conceptual and reasoning difficulties were indentified. Students often could not relate spectral lines to transitions between atomic energy levels, nor did many recognize the experimental conditions necessary for the observation of line spectra. Results from the research guided the...
Paginacija
