Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 10
Konstrukcije in katalogizacija simetričnih grafov
Katja Berčič, Primož Potočnik
Doktorska disertacija
Oznake: ločno tranzitiven graf;ločno tranzitiven digraf;ločno regularen digraf;graf stopnje 4;digraf stopnje 2;
Klasifikacija simetričnih grafov je obsežno delo, ki se je začelo v šestdesetih letih prejšnjega stoletja. Od takrat je bilo na to temo napisanih veliko člankov, področje pa je še vedno aktivno. Največ je bilo narejenega na temo simetričnih grafov stopnje ▫$3$▫, vključno s prvim katalogom simetrični ...
Leto: 2015 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Two-arc-transitive two-valent digraphs of certain orders
Katja Berčič, Primož Potočnik
Izvirni znanstveni članek
Oznake: graph;digraph;arc-transitive;order;
Tema tega članka so digrafi vhodne in izhodne valence 2, ki dopuščajo 2-ločno-tranzitivno grupo avtomorfizmov. Klasificiramo takšne digrafe, ki zadoščajo določenim dodatnim pogojem glede njihovega reda. Tako je npr. mogoče s pomočjo rezultatov tega članka klasificirati tiste, ki imajo red ▫$kp$▫ ali ...
Leto: 2016 Vir: Univerza na Primorskem (UP)
Obrambnogeografsko vrednotenje spodnjega dela Ljubljanske kotline
Katja Berčič, Jurij Kunaver, Zvonimir Bratun
Diplomsko delo
Oznake: Ljubljana;prostor;geologija;vreme;voda;socialna geografija;gospodarstvo;turizem;organiziranost;zdravstvo;Obramboslovje;Geografija;
Obrambnogeografsko vrednotenje spodnjega dela Ljubljanske kotline
Leto: 2003 Vir: Fakulteta za družbene vede (UL FDV)
Pomen hortikulturnih rastlin v zasnovah otroških vrtcev
Katja Berčič, Valentina Schmitzer, Ana Kučan
Magistrsko delo
Oznake: hortikulturne rastline;večpomenska vloga;otroški vrtci;okrasne rastline;sadne rastline;zelenjadnice;zelišča;izobraževalni pomen;vzgojni pomen;Ljubljana;
Pomen hortikulturnih rastlin v zasnovah otroških vrtcev
Leto: 2015 Vir: Biotehniška fakulteta (UL BF)
Vložitev ne-ravninskih grafov
Đorđe Klisura, Matjaž Krnc, Katja Berčič
Diplomsko delo
Oznake: planar graph;graph representation;crossing number;graph database;
Leto: 2020 Vir: Univerza na Primorskem (UP)
Preverjanje ravninskosti grafov v Lean
Gašper Golob, Andrej Bauer, Katja Berčič
Diplomsko delo
Oznake: matematika;dokazovalnik;Lean;ravninski grafi;kombinatorične preslikave;
Za namene formalizacije ravninskih grafov v dokazovalniku Lean uvedemo matematični pojem kombinatoričnih preslikav in zanj predstavimo karakterizacijo ravninskih grafov, za katero dokažemo tudi smiselnost. Pojem kombinatoričnih preslikav v dokazovalniku Lean formaliziramo na način, ki omogoča lastno ...
Leto: 2022 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Preverjanje kromatičnega števila grafov z dokazovalnim pomočnikom Lean
Gregor Kikelj, Andrej Bauer, Katja Berčič
Diplomsko delo
Oznake: Lean;Lean 4;grafi;kromatično število;
V dokazovalniku in programskem jeziku Lean 4 formaliziramo osnove teorije grafov, barvanj in kromatičnega števila. Implementiramo tudi dokazano pravilen algoritem za računanje kromatičnega števila ter analiziramo čas izvajanja. Na koncu implementiramo in dokažemo pravilnost algoritma za preverjanje ...
Leto: 2024 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Prehodi za pehotni, motorizirani in oklepni vod čez reko Savo in Ljubljanico na območju Ljubljanskega polja : zaključna naloga
Franci Rogina, Samo Flisek, Katja Berčič, Zvonimir Bratun
Ni določena
Oznake: vojaška geografija;reke;rečna korita;geografske ovire;bojišča;Ljubljansko polje;vodi
Leto: 2011 Vir: Digitalna knjižnjica Ministrstva za obrambo Republike Slovenije
Sodobni modeli wellness ponudbe v Garni šport hotelu v Preboldu
Katja Kronovšek, Herman Berčič, Stojan Burnik, Boris Sila
Diplomsko delo
Oznake: šport;rekreacija;wellness;zdravje;modeli;ponudba;trendi;kakovost;sprostitev;izobraževanje;
Sodobni modeli wellness ponudbe v Garni šport hotelu v Preboldu
Leto: 2008 Vir: Fakulteta za šport (UL FŠ)
Predlog organizacije preventivnega zdravstvenega varstva športnikov v Sloveniji
Petra Zupet, Metoda Dodič-Fikfak, Herman Berčič, Katja Ažman-Juvan
Pregledni znanstveni članek
Oznake: preventivno zdravstveno varstvo;športniki;
Bolezni med športniki je potrebno iskati aktivno. To je mogoče le z izvajanjemustreznih presejalnih testov v okviru preventivnega zdravstvenega varstva. Protokoli preventivnih zdravstvenih pregledov športnikov žal po svetuniso poenoteni, obstajajo pa smernice za njihovo izvajanje. V Sloveniji preven ...
Leto: 2007 Vir: dLib.si Digitalna knjižnica Slovenije
Št. zadetkov: 10
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: