Numbers

Basic Bibliography Published theses Top keywords Keyword timeline Co-mentors

The table includes keywords of all theses, where this person is in the role of a mentor. Keywords are sorted by the frequency, with most frequent keywords at the top. Most frequent keywords may tell what this mentor's research fields and interests are.

Person: Matija Pretnar

Together there are 54 keywords, that are appearing 57 times.
3 of them (5.56 % of all) appear more than once, together appearing 6 times (10.53 % of all appearances).

FrequencyKeyword
Num.%
2x33.33%algebrajski učinki, prestrezniki algebrajskih učinkov, eksplicitni tipi
1xKvantno računalništvo, ZX-račun, graf, kategorična kvantna mehanika, Eff, Javascript, prevajanje, asinhrono izvajanje, vzporedno izvajanje, prestrezniki, signali, jedrne funkcije, Hilbertovi prostori z reproducirajočim jedrom, Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics, samodejno generiranje, matematične naloge, Python knjižnica, srednješolska matematika, računski učinki, jezik brez eksplicitnih učinkov, parcela, stavba, nepremičnina, register nepremičnin, Polkolobar, zaprtje, polkolobar matrik, Jacobijev algoritem, algoritem Warshall-Floyd-Kleene, Gaussova metoda, Haskell, algebrajski učinki in njihovi prestrezniki, izpeljava tipov, metode podpornih vektorjev, dualni problem, jedra, matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipi, Projekt Tomo, Django, statistika, solventnost II, kapitalske zahteve, R