Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 5
Uporaba tehnologij sledenja pogleda v zdravstvu
Filip Pretnar, Andrej Lebar, Mojca Debeljak, Tomaž Lampe
Diplomsko delo
Oznake: diplomska dela;ortotika in protetika;sledenje pogledu;podporna robotika;robotska roka;upravljanje s pogledom;Dobot Magician;
Uvod: Osebe z zmanjšano ali odsotno mobilnostjo zgornjih udov imajo lahko težave pri samostojnem opravljanju vsakodnevnih dejavnosti. Podporne robotske roke lahko del teh omejitev zmanjšajo, vendar njihovo upravljanje pogosto zahteva ohranjeno mobilnost drugih delov telesa. Sledenje pogledu predsta ...
Leto: 2026 Vir: Zdravstvena fakulteta (UL ZF)
Ocenjevanje varnosti domačega okolja starejših odraslih z ocenjevalnim orodjem HOME FAST
Jan Strajnar, Žak Kreča, Filip Pretnar, Sara Drevenšek, Eva Logar, Dolores Sodja, Katarina Hekič
Strokovni članek
Oznake: starejši ljudje;domače okolje;varnost;padci;ocenjevanje varnosti;ocenjevalna orodja;preprečevanje padcev;prilagoditev bivalnega okolja;
Leto: 2025 Vir: Fakulteta za zdravstvene vede Univerza v Novem mestu (UNM FZV)
Uporaba tipov za zagotavljanje pravilnosti programov
Filip Koprivec, Matija Pretnar
Diplomsko delo
Oznake: matematika;programski jeziki;sistem tipov;lambda račun;lambda račun z enostavnimi tipi;
Uporaba tipov za zagotavljanje pravilnosti programov
Leto: 2017 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Eksplicitna izpeljava učinkov
Filip Koprivec, Matija Pretnar
Magistrsko delo
Oznake: algebrajski učinki in njihovi prestrezniki;izpeljava tipov;eksplicitni tipi;
V delu je predstavljena avtomatska izpeljava in eksplicitna dopolnitev tipov programov z algebrajskimi učinki. Predstavljen je MiniEff, preprost funkcijski programski jezik s polimorfnimi shemami in podporo za algebrajske učinke, ki temelji na jeziku Eff. Za MiniEff sta podana in dokazana izrek o na ...
Leto: 2019 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Filip Koprivec, Matija Pretnar
Izvirni znanstveni članek
Oznake: computational effects;optimizing compilation;algebraic effects;polymorphic compilation;subtyping;denotational semantics;
Algebraic effect handlers are becoming an increasingly popular way of structuring effectful computations, and their performance is often a concern. One of the proposed approaches towards efficient compilation is tracking effect information through explicit subtyping coercions. However, in the presen ...
Leto: 2025 Vir: Digitalni repozitorij raziskovalnih organizacij Slovenije
Št. zadetkov: 5
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: