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