1192. Perfektoidni prostori
Rok Havlas, 2020, magistrsko delo/naloga

Ključne besede: valuacija, Huberjev kolobar, adičen prostor, perfektoidi, naklonska ekvivalenca, perfektoidni prostor
Celotno besedilo (datoteka, 710,47 KB)

1194. Equality between programs with effects
Niels Frits Willem Voorneveld, 2020, doktorsko delo/naloga

Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices
Celotno besedilo (datoteka, 2,42 MB)

1196. Denotacijska semantika PCF
Kristjan Kostelec, 2020, delo diplomskega seminarja/zaključno seminarsko delo/naloga

Ključne besede: programski jezik PCF, operacijska semantika, denotacijska semantika, domene, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike
Celotno besedilo (datoteka, 564,75 KB)

1198. Igranje igre "Kamen, papir, škarje, kuščar, Spock" z metodami umetne inteligence
Alen Bizjak, 2020, diplomsko delo

Ključne besede: umetna inteligenca
Celotno besedilo (datoteka, 925,13 KB)

1200. Determination of working channels in the Aerogel RICH of Belle II spectrometer
Žiga Brenčič, 2020, magistrsko delo

Ključne besede: Cherenkov radiation, Cherenkov detectors, Standards and calibration, Spectrometers and spectroscopic techniques, Experimental methods and instrumentation for elementary-particle and nuclear physics, Data analysis.
Celotno besedilo (datoteka, 36,36 MB)