1211. Existence of solutions for systems arising in electromagnetism
Mohamed Karim Hamdani, Dušan Repovš, 2020, izvirni znanstveni članek

Ključne besede: variable exponent, p(x)-curl system, Palais Smale compactness condition, Fountain theorem, Dual Fountain theorem, existence of solutions, multiplicity of solutions, electromagnetism
Celotno besedilo (datoteka, 770,92 KB)

1213. 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)

1215. 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)

1217. 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)

1219. 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)