Št. zadetkov: 12
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)
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)
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)
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)
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)
Diplomsko delo
Oznake:
planar graph;graph representation;crossing number;graph database;
Leto:
2020
Vir:
Univerza na Primorskem (UP)
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)
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)
Samostojni znanstveni sestavek ali poglavje v monografski publikaciji
Oznake:
privlačnost delodajalca;blagovna znamka delodajalca;prehod v odraslost;zadrževanje zaposlenih;
V današnjem času je za ohranjanje konkurenčne prednosti delovnih organizacij ključnega pomena razvoj učinkovitih strategij privabljanja in zadrževanja kadra, pri čemer so pričakovanja mladih vse večji izziv za zaposlovalce. Namen te raziskave je bil ugotoviti, katere dimenzije privlačnosti delodajal ...
Leto:
2026
Vir:
Filozofska fakulteta (UL FF)
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