Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 11
Data and data quality in mathematics
Katja Berčič
Samostojni znanstveni sestavek ali poglavje v monografski publikaciji
Oznake: obdelava podatkov;podatki v matematiki;kvaliteta podatkov;mathematical knowledge management;digital mathematics libraries and repositories;computer-assisted mathematics;implementation challenges;data quality dimensions;mathematical data;
Pure mathematics is often viewed, even by its practitioners, as a discipline in which data play little or no role. Data, when acknowledged at all, are often seen as a byproduct of research rather than a research product in their own right. Yet databases and datasets are increasingly central to the w ...
Leto: 2026 Vir: Fakulteta za matematiko in fiziko (UL FMF)
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Š)
Št. zadetkov: 11
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: