Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 5
Kompaktno dominiran prostor je homotopsko ekvivalenten kompaktu
Anja Petković, Jaka Smrekar
Diplomsko delo
Oznake: matematika;homotopija;homotopska ekvivalenca;homotopska dominacija;kompaktnost;kontraktibilna retrakcija;preslikavni cilinder;
Kompaktno dominiran prostor je homotopsko ekvivalenten kompaktu
Leto: 2015 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Computing fixed points of monotone piecewise linear functions
Anja Petković, Alex Simpson
Magistrsko delo
Oznake: piecewise linear functions;fixed point;algorithms;
Computing fixed points of monotone piecewise linear functions
Leto: 2017 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Meta-analysis of type theories with an application to the design of formal proofs
Anja Petković, Andrej Bauer
Doktorska disertacija
Oznake: mathematics;logic;dependent type theory;algebraic theory;proof assistant;type-theoretic elaboration equality checking;
V doktorski disertaciji predstavimo meta-analizo širokega razreda splošnih teorij tipov. Osredotočimo se na tri vidike: transformacije teorij tipov, dopolnitev teorij tipov in splošen algoritem za preverjanje enakosti. Teorije tipov zagotavljajo matematično osnovo za mnoge dokazovalne pomočnike. Da ...
Leto: 2021 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Merjenje vesolja
Renata Dacinger, Renata Dacinger, Nataša Gaši, T. Petrushevska, Andrej Lajovic, Anja Petković
Radijska ali televizijska oddaja
Oznake: merjenje vesolja;sonde;posnetki vesolja;
Leto: 2021 Vir: Repozitorij Univerze v Novi Gorici (RUNG)
Modulacija morfoloških lastnosti sevov Streptomyces clavuligerus s pristopi genskega inženiringa
Anja Juršič, Hrvoje Petković, Hrvoje Petković, Alja Štraser, Alja Štraser, Mojca Narat, Tomaž Bratkovič, Tomaž Bratkovič
Magistrsko delo
Oznake: biotehnologija;filamentozne bakterije;Streptomyces clavuligerus;genski inženiring;morfološke lastnosti;slikovna analiza;viskoznost;klavulanska kislina;
Bakterije iz rodu Streptomyces so bogat vir sekundarnih metabolitov. Industrijski bioprocesi s streptomicetami so pogosto energetsko zahtevni, saj mnoge vrste tvorijo viskozne kulture. Viskoznost brozge je v veliki meri odvisna od morfologije. V zadnjih letih so identificirali številne proteine, ki ...
Leto: 2019 Vir: Biotehniška fakulteta (UL BF)
Št. zadetkov: 5
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: