Sirvi Autor "Tavits, Joosep" järgi

Nüüd näidatakse 1 - 2 2

Andmete üldistamisel põhineva anonüümimise kvaliteedi hindamine
(Tartu Ülikool, 2022) Tavits, Joosep; Reisberg, Sulev, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
Isikuandmete väljastamisel kolmandatele osapooltele tuleb tagada andmetes sisalduvate isikute kaitse. Levinud meetodiks on sel juhul kasutada andmete anonüümimist, mille tulemusel ei ole üksikisikud andmestikus enam tuvastatavad. Lisaks viimastel aastakümnetel avaldatud erinevatele anonüümimismeetoditele on publitseeritud ka hulgaliselt erinevaid anonüümimise kvaliteedi hindamise mõõdikuid. Seetõttu ei ole nende mõõdikute seast valikute tegemine ilma valdkonna ekspertteadmisteta triviaalne. Selles bakalaureusetöös käsitletakse andmete anonüümimist ja selle kvaliteedi mõõtmist ühe tüüpilise tihedalt andmeväljastustega kokku puutuva organisatsiooni vaatest. Töö raames tuvastatakse kasutatavate anonüümimismeetodite ja lõppkasutaja kirjelduse põhjal sobiv alamhulk anonüümimise kvaliteedi mõõdikud. Seejärel realiseeritakse need mõõdikud olemasoleva anonüümimistarkvara väljundi analüüsimise komponendina, et kirjeldada anonüümimise tulemusel alles jäänud riske ja andmestikus toimunud muudatusi.
Implementing Temporal Resources
(Tartu Ülikool, 2025) Tavits, Joosep; Ahman, Danel, juhendaja; Vojdani, Vesal, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
Temporaalsed ressursid – mille kasutamist piirab mitte üksnes kuidas, vaid ka millal neid võib kasutada – on modelleeritavad Fitchi-stiilis modaalsete tüüpide abil. Järgides Ahmani ja Žajdela lähenemist, arendab käesolev töö ajateadliku tüübisüsteemi ja operatsioonisemantikaga -arvutuse. Tuginedes Matija Pretnari loodud puhta MLlaadsele keelele Millet, formaliseeritakse lambda-arvutus Mille[ ] koos korrektsete tüübituletusreeglite ja unifitseerimisalgoritmiga. Lisaks realiseeritakse Milleti laiendusena interpreteeritud prototüüpkeel Temporal Millet. Temporal Millet tagab tüübisüsteemi kaudu temporaalse ohutuse ning võimaldab uurida realistlikke stsenaariume, mis nõuavad ajakriitiliste operatsioonide korrektset järjestamist. Käesolev töö näitab nii temporaalsete arvutuste järgimise formaalset teostatavust kui ka sellega kaasnevaid väljakutseid efektsete keelte kontekstis, tuvastades lahendamata probleeme nagu temporaalne rekursioon ning modaalselt tüübitud väärtuste lahtipakkimine funktsioonides, mis ei teosta temporaalseid arvutusi. Kokkuvõttes loob töö aluse edasiseks uurimistööks kompilaatori suunas, mis säilitab kompileeritud programmides temporaalse ohutuse.