Used filters (1)  Zrušit všechna omezení
Number of found documents: 56521
Published from to

Struktura a složitost homomorfismů
Bok, Jan; Nešetřil, Jaroslav
2024 - English
This thesis is concerned with computational complexity aspects of graph homomorph- isms and related concepts. We are mainly interested in various polynomial time versus NP-complete dichotomies. These results are especially popular thanks to the seminal result of Hell and Nešetřil providing the complexity dichotomy for graph homomorph- ism problems and the recent breakthrough result proving the complexity dichotomy for constraint satisfaction problems. The thesis is divided into three parts, all unified by the common goal to provide complexity classifications of various graph homomorphism problems. The first part is about list homomorphism problems for signed graphs. We study the complexity of such problems and obtain a structural description and dichotomy first for the case of targets being signed trees and then for the so-called separable graphs. The second part focuses on graph covering projections, also known as locally bijective homomorphisms. To the best of our knowledge, we are the first to initiate cataloguing the complexity of the corresponding problems for (mutli)graphs with semi-edges. We have three larger goals here. (1) Providing the complete dichotomy for one- and two- vertex target graphs. (2) Discuss and propose the right definition of graph cover in the case of disconnected targets. (3)... Tato práce se zabývá výpočetními problémy okolo grafových homomorfismů a příbuz- ných konceptů. Především se zabýváme složitostními dichotomiemi, které rozlišují mezi polynomiálními a NP-úplnými problémy. Výsledky tohoto typu jsou velmi populární, a to jak díky klasickému výsledku Hella a Nešetřila, tak i díky nedávnému vyřešení hypotézy o dichotomii pro problémy s omezujícími podmínkami (CSP). Práce se dělí na tři části, jejichž společným pojítkem je cíl prozkoumat složitost a následně určit dichotomii různých problémů speciálních typů či zobecnění grafových ho- momorfismů. První část se zabývá signed grafy, kde dokazujeme složitostní dichotomii listové, do- sud nezkoumané varianty homomorfismu pro případ, že cílový graf je strom anebo graf tzv. cyklově- nebo cestově-separovatelný. Druhá část se zabývá problémem grafového na- krytí, který je známý jak v algebraické, tak v algoritmické teorii grafů. Tato část práce si klade za cíl rozšířit zkoumání složitosti na grafy s povolenými vícenásobnými hranami, smyčkami a s půlhranami. Zde zkoumáme (a) klasifikaci složitosti pro jednovrcholové a dvouvrcholové cíle, (b) jaká je správná definice grafového nakrytí pro nesouvislé cíle a (c) co se stane, když přidáme do problému listové podmínky. Poslední část se zabývá acyklickými barveními a složitostí hledání... Keywords: grafy|homomomrfismy grafů|složitost|signed grafy|nakrytí|barvení|acyklické barvení; graphs|graph homomorphism|complexity|signed graphs|covering projections|colouring|acyclic colouring Available in a digital repository NRGL
Struktura a složitost homomorfismů

This thesis is concerned with computational complexity aspects of graph homomorph- isms and related concepts. We are mainly interested in various polynomial time versus NP-complete dichotomies. These ...

Bok, Jan; Nešetřil, Jaroslav
Univerzita Karlova, 2024

Přesné měření parametrů oscilací neutrin
Dohnal, Tadeáš; Leitner, Rupert
2024 - English
The Daya Bay Reactor Neutrino Experiment, located in Southeast China, was de- signed to measure short baseline oscillation of electron antineutrinos originating from six 2.9 GWth nuclear reactors. In 2012, it discovered the nonzero value of the θ13 mixing angle and currently provides the world's most precise measurement of this neutrino os- cillation parameter. The goal of this thesis is to check the performance of the detector nonuniformity correction used by the Daya Bay experiment and then design a new im- proved version. For that purpose, the Daya Bay experiment is introduced including the procedure of the event reconstruction. Several types of signals are then studied in detail and later they are used to scrutinize the performance of the nonuniformity correction. Several issues are identified, most significantly an absence of radial dependence in the azimuthal part of the correction and inability to deal with dead photomultipliers. A new improved version of the correction that addresses these issues is then designed with the main goal to improve the precision of Daya Bay neutrino oscillation analyses, especially ongoing one which uses neutron capture on hydrogen. The impact of the new improved correction on said analyses is also assessed. 1 Experiment s reaktorovými neutriny Daya Bay (The Daya Bay Reactor Neutrino Experiment) situován v jihovýchodní Číně byl navržen k měření oscilací neutrin pocháze- jících z šesti 2.9 GWth jaderných reaktorů. V roce 2012 jako první naměřil nenulovou hodnotou směšovacího úhlu θ13 a dnes je jeho měření tohoto oscilačního parametru nej- přesnější na světě. Cílem této práce je zhodnotit, jak dobře funguje korekce neuniformity detektorů používaná experimentem Daya Bay, a posléze navrhnout novou vylepšenou verzi této korekce. Za tímto účelem je prvně představen experiment Daya Bay a jeho pro- ces rekonstrukce událostí. Následně je detailně prostudováno několik typů signálů, které by mohly být použity právě ke zhodnocení stávající korekce neuniformity a tvorbě nové verze. Je identifikováno několik problémů stávající korekce, zejména to, že v azimutální části chybí závislost na vzdálenosti od osy detektoru, a dále nemožnost plně korigovat efekt způsobený nefunkčními fotonásobiči. Proto je následně navržena nová vylepšená verze korekce neuniformity, která se s těmito problémy vypořádává, a to s cílem zpřesnit měření oscilací neutrin, především v analýze, která využívá záchytu neutronů na vodíku. V závěru práce je zhodnocen vliv nové verze korekce na toto měření. 1 Keywords: Neutrina|směšování neutrin|oscilace neutrin|neutrinové experimenty; Neutrino|neutrino mixing|neutrino oscillations|neutrino experiments Available in a digital repository NRGL
Přesné měření parametrů oscilací neutrin

The Daya Bay Reactor Neutrino Experiment, located in Southeast China, was de- signed to measure short baseline oscillation of electron antineutrinos originating from six 2.9 GWth nuclear reactors. In ...

Dohnal, Tadeáš; Leitner, Rupert
Univerzita Karlova, 2024

Syntéza, zpracování a vlastnosti vysokoteplotních vodičů kyslíku
Alemayehu, Adam
2024 - English
Ceramic oxygen conductors are important materials used as solid electrolytes in solid oxide fuel cells and oxygen sensors. Among the many electrolyte materials, cerium dioxide is attracting a lot of attention. This is mainly due to ceria's lower operating temperature than the widely used yttria-stabilized zirconia. Moreover, the doping of cerium dioxide with other lanthanide ions is easily carried out and the final material is stable due to the similar properties of different lanthanides. The most common doping element for cerium dioxide is gadolinium. In this thesis, a study of the precipitation of cerium and gadolinium with oxalic acid was studied focusing especially on the homogeneity of the final oxalate precipitate. The thermal decomposition of the oxalates into oxides and the homogeneity of the final oxide materials were studied. Additionally, large crystals of lanthanide oxalates were obtained by homogeneous precipitation using oxamic acid. The consolidation of the prepared oxides via ultrafast high- temperature sintering was compared with the conventional furnace sintering and the effect of electric fields on grain growth of CeO2 nanocrystalls was described. Key words: ceramic materials, oxygen conductors, oxalates, cerium dioxide, sintering, field- assisted sintering Keramické kyslíkové vodiče jsou důležité materiály používané jako pevné elektrolyty v palivových článcích na bázi pevných oxidů a v kyslíkových senzorech. Mezi mnoha elektrolytickými materiály přitahuje velkou pozornost oxid ceričitý. To je způsobeno především nižší provozní teplotou oxidu ceričitého, než široce používaný oxid zirkoničitý stabilizovaný oxidem yttritým. Navíc se dopování oxidu ceričitého jinými lanthanoidovými ionty snadno provádí a konečný materiál je stabilní díky podobným vlastnostem různých lanthanoidů. Nejběžnějším prvkem pro dopování oxidu ceričitého je gadolinium. V této práci byla studována srážení ceru a gadolinia kyselinou šťavelovou se zvláštním zájmem o homogenitu výsledné sraženiny šťavelanů. Dále byl studován tepelný rozklad šťavelanů na oxidy a homogenita finálního směsi oxidů. Také byla prozkoumána srážení velkých krystalů šťavelanů lanthanoidů pomocí homogenního srážení kyselinou oxamovou. Konsolidace oxidického preparátu ultrarychlým vysokoteplotním slinováním byla porovnána s konvenčním slinováním v peci a dále pak popsány vlivy elektrického pole na růst nanokrystalů CeO2. Klíčová slova: keramické materiály, vodiče kyslíka, kyselina šťavelová, oxid ceričitý, sintrace, sintrace v poli Available in a digital repository NRGL
Syntéza, zpracování a vlastnosti vysokoteplotních vodičů kyslíku

Ceramic oxygen conductors are important materials used as solid electrolytes in solid oxide fuel cells and oxygen sensors. Among the many electrolyte materials, cerium dioxide is attracting a lot of ...

Alemayehu, Adam
Univerzita Karlova, 2024

Úloha transkripčních faktorů MEIS při vzniku a diferenciaci buněk neurální lišty
Fábik, Jaroslav
2024 - English
Unique to the vertebrate embryo, neural crest cells represent a multipotent cell population that migrates throughout the body and gives rise to a multitude of different types of cells and tissues. Cranial neural crest cells populate the developing pharyngeal arches and establish skeletogenic condensations that generate the future bones and cartilages of the face and neck. Moreover, these cells send out and receive signals from adjacent tissues of non-neural crest origin, such as the mandibular epithelium and muscle precursor cells. Such reciprocal interactions give rise to organs and structures, for instance, to the tongue. The aim of this work was to elucidate the roles of homeodomain-containing MEIS transcription factors in neural crest cells and in craniofacial development, by using a mouse model with conditional inactivation of Meis2 gene in neural crest cells. We show that transcription factor MEIS2 is expressed in the medial region of the developing mandible and in the developing tongue. Conditional Meis2 inactivation using the Wnt1-Cre2 mouse strain caused mandible and tongue hypoplasia, and ectopic bone formation at the expense of tongue development. These mandibular arch anomalies were accompanied by the loss of Hedgehog signaling in the mandibular epithelium, expanded RUNX2 expression in... (SLOVAK) Jedinečná u stavovcov, neurálna lišta predstavuje multipotentnú bunkovú populáciu, ktorá migruje cez telo a dáva vznik množstvu rôznych typov buniek a tkanív. Bunky hlavovej neurálnej lišty osídľujú vyvíjajúce sa faryngové oblúky a zakladajú skeletogénne kondenzácie, ktoré vytvárajú budúce kosti a chrupky tváre a krku. Tieto bunky tiež vysielajú a prijímajú signály zo susedných tkanív ne-neurálneho pôvodu, akými sú napríklad mandibulárny epitel a prekurzory svalových buniek. Takéto vzájomné interakcie dávajú vznik orgánom a štruktúram, ako napríklad jazyku. Cieľom tejto práce bolo objasniť úlohy transkripčných faktorov MEIS, obsahujúcich homeodoménu, v bunkách neurálnej lišty a behom kraniofaciálneho vývoja, a to prostredníctvom myšieho modelu s kondicionálnou inaktiváciou Meis2 génu v bunkách neurálnej lišty. V našej práci ukazujeme, že transkripčný faktor MEIS2 je exprimovaný v mediálnej oblasti vyvíjajúcej sa mandibuly (dolnej čeľuste) a vo vyvíjajúcom sa jazyku. Kondicionálna inaktivácia Meis2 v bunkách neurálnej lišty prostredníctvom myšej línie Wnt1-Cre2 vedie k hypoplázii jazyka a mandibuly, ako i k tvorbe ektopickej kosti na úkor vývoja jazyka. Tieto anomálie súvisiace s mandibulárnym oblúkom sú sprevádzané stratou Hedgehog signalizácie v mandibulárnom epiteli, rozšírenou expresiou... Keywords: Meis; neurálna lišta; kraniofaciálny vývoj; faryngové oblúky; jazylka; mandibula; Meis; neural crest; craniofacial development; pharyngeal arches; hyoid bone; mandible Available in a digital repository NRGL
Úloha transkripčních faktorů MEIS při vzniku a diferenciaci buněk neurální lišty

Unique to the vertebrate embryo, neural crest cells represent a multipotent cell population that migrates throughout the body and gives rise to a multitude of different types of cells and tissues. ...

Fábik, Jaroslav
Univerzita Karlova, 2024

Distančně magické očíslování
Pfeiffer, Hayden; Gregor, Petr; Pangrác, Ondřej
2024 - English
Title: Distance Magic Labelings Author: Hayden Pfeiffer Department: Dept. of Theoretical Computer Science and Mathematical Logic Supervisor: doc. Mgr. Petr Gregor, Ph.D., KTIML, MFF UK Abstract: A distance magic labeling of a graph G is a bijection f : V (G) → {1, 2, . . . , |V (G)|} such that the sum of labels on the neighbourhood of each vertex is constant. A framework based on linear algebra has been developed using the notion of neighbour balance to determine whether there exists a distance magic labeling for a hypercube with dimension n. In this thesis, we extend this framework to all Cayley graphs on Zn 2 . We use this framework to reprove some known results from recent literature. We also use this framework to introduce the notion of component-wise distance magic labelings on Cayley graphs of Zn 2 . Keywords: distance magic labeling, Cayley graph, hypercube, neighbour balance iii Keywords: distančně magické očíslování|Cayleyho graf|hyperkrychle; distance magic labeling|Cayley graph|hypercube Available in a digital repository NRGL
Distančně magické očíslování

Title: Distance Magic Labelings Author: Hayden Pfeiffer Department: Dept. of Theoretical Computer Science and Mathematical Logic Supervisor: doc. Mgr. Petr Gregor, Ph.D., KTIML, MFF UK Abstract: A ...

Pfeiffer, Hayden; Gregor, Petr; Pangrác, Ondřej
Univerzita Karlova, 2024

Dvoufázové rozvrhování s neznámými rychlostmi
Minařík, Josef; Sgall, Jiří; Eberle, Franziska
2024 - English
Speed-robust scheduling is a two-stage scheduling problem with a makespan objective. We are given processing times of n jobs, number of machines m and number of bags b. We have to group the jobs into bags that are to be scheduled on machines of currently unknown speed. The goal is to minimize the worst-case ratio of our makespan and makespan of an adversary who does not have to create bags and assigns jobs directly to machines. So far, the problem has been mostly studied for b = m. We generalize previously known results for infinitesimal jobs (called sand) and prove that the best achievable competitive ratio is mb mb−(m−1)b . We present an algorithm for the case of identical jobs (called bricks) with competitive ratio at most 1.6 in the case b = m, improving the best previously known value of 1.8. We introduce a new category called p-pebbles, those are jobs with processing time at most p times the average load of a machine. Pebbles are half way between sand and the general case (called rocks). We present an algorithm for pebbles that has better robustness factor than the best known algorithm for rocks for small values of p (for p less than 2 − e e−1 in the case b = m). 1 Rychlostně robustní rozvrhování je dvoufázový rozvrhovací problém. Na vstupu je dána doba běhu pro každý z n úkolů, počet strojů m a počet balíčků b. Naším úkolem je rozdělit úkoly do balíčků, které budou následně zpracovány na strojích, které mají v tomto okamžiku neznámé rychlosti. Naším cílem je minimalizovat poměr délky našeho rozvrhu a délky optimáního rozvrhu, který by vznil umisťováním úkolů rovnou na stroje. Nejpodrobněji studovaný případ doposud byl b = m. V této práci zobecňujeme známé výsledky pro infinitizemálně malé úkoly (tento případ se nazývá písek) a dokážeme, že nejlepší kompetitivní poměr, kterého je možné dosáhnout, je mb mb−(m−1)b . Dále formulujeme algoritmus řešící případ s identickými úkoly (nazývaný cihly) za podmínky b = m s kompetitivním poměrem 1.6, což zlepšuje nejlepší doposud známou hodnotu 1.8. Zavedeme nový speciální případ, který budeme nazývat p-oblázky. V tomto případě jsou doby běhu jednotlivých úkolů nejvýše p-násobky průměrné zátěže stroje. Oblázky jsou vlastnostmi i obtížností na půl cesty mezi pískem a obecným případem (nazývaným kameny). Popíšeme algoritmus pro oblázky, který je pro malé hodnoty p lepší než nejlepší známý algoritmus pro kameny (pro p menší než 2 − e e−1 v případě b = m). 1 Keywords: rozvrhování|aproximační algoritmy|délka rozvrhu|uniformní rychlosti; scheduling|approximation algorithms|makespan|uniform speeds Available in a digital repository NRGL
Dvoufázové rozvrhování s neznámými rychlostmi

Speed-robust scheduling is a two-stage scheduling problem with a makespan objective. We are given processing times of n jobs, number of machines m and number of bags b. We have to group the jobs into ...

Minařík, Josef; Sgall, Jiří; Eberle, Franziska
Univerzita Karlova, 2024

Odhad 6D polohy objektů v obrazech
Cífka, Martin; Šivic, Josef; Šikudová, Elena
2024 - English
The 6D pose estimation is an important computer vision task with applications in robotics, e.g. for manipulation or grasping, but also in computer graphics and augmented reality. Given an image, the task is to estimate the 3D rotation and 3D translation of the known object with respect to the camera. The task is even more challenging in an uncontrolled environment, e.g. when we do not have proper camera calibration. In that case, the focal length also needs to be estimated with the 6D pose. In this work, we address the issues of methods that work in such uncontrolled environments. First, we focus on FocalPose, a state-of-the-art method for joint estimation of object 6D pose and camera focal length. We review the method and propose several improve- ments. These include (i) re-deriving and improving the 6D pose and focal length update rule, (ii) replacing the model retrieval method, and (iii) changing the distribution of 6D poses and focal lengths used for synthetic training data rendering. These changes lead to improved results compared to the state-of-the-art FocalPose method. Second, to avoid often costly retraining of models for 6D pose estaimation, it is ben- eficial to consider methods with the ability to generalize to novel objects that have not been seen during training. These methods require a 2D... Odhad 6D polohy objektů je důležitou úlohou počítačového vidění s možným vyu- žitím například při robotické manipulaci, ale také v počítačové grafice a augmentované realitě. Cílem je odhadnout polohu známého objektu relativně vůči kameře, tedy 3D rotaci a 3D translaci, ze vstupního obrazu. Tento problém je ještě komplikovanější v ne- kontrolovaném prostředí, například v situacích, kdy neznáme správnou kalibraci kamery. V takovém případě je také nutné odhadnout ohniskovou vzdálenost kamery spolu s 6D polohou objektu. V této práci se věnujeme problémům metod pracujících v takových nekontrolovaných prostředích. V první části se konkrétně zaměřujeme na metodu FocalPose - state-of-the-art me- todu pro odhad 6D polohy objektu a ohniskové vzdálenosti kamery. Tuto metodu nejprve shrnujeme a poté navrhujeme několik vylepšení. Mezi ně patří: (i) odvození a vylepšení vzorce pro aktualizaci 6D polohy a ohniskové vzdálenosti, (ii) nahrazení metody pro vy- hledávání objektů v databázi 3D modelů, a (iii) změna distribuce 6D poloh a ohniskových vzdáleností používaných pro generování syntetických trénovacích dat. Tyto změny vedou k lepším výsledkům v porovnání s metodou FocalPose. Nevýhodou metod pro odhadování 6D poloh objektů je výpočetně velmi náročné tré- nování. Vyhnout se přetrénovávání pro nové objekty je možné s... Keywords: Počítačové vidění|Odhad 6D polohy|Nekalibrovaná kamera|Detekce nových objektů|Vizuální rozpoznávání|Hluboké učení; Computer vision|6D pose estimation|Uncalibrated camera|Novel object detection|Visual recognition|Deep learning Available in a digital repository NRGL
Odhad 6D polohy objektů v obrazech

The 6D pose estimation is an important computer vision task with applications in robotics, e.g. for manipulation or grasping, but also in computer graphics and augmented reality. Given an image, the ...

Cífka, Martin; Šivic, Josef; Šikudová, Elena
Univerzita Karlova, 2024

Validátor CSV souborů dle W3C doporučení CSV on the Web
Janda, Jan; Klímek, Jakub; Svoboda, Martin
2024 - English
The comma-separated values (CSV) format is a popular format for tabular data on the web. It stores tables of data in a very simple textual way, but it stores only the values of the table without their meaning and structure. Users of a table must remove the ambiguity and guess the exact meaning of data. The standard called CSV on the Web provides recommendations for metadata about CSV tables on the web. The metadata can describe a CSV table, its structure, and the meaning of its values in the JSON-LD format. The standard allows a creator of a table to remove ambiguity, increase certainty, and create confidence. There are CSV tables together with their JSON-LD metadata descriptions, and each table should match its particular description. In this thesis, we develop a CSV file validator. The validator is a computer program which checks whether tables actually match their metadata descriptions. It reads a table with its description, compares them, and searches for discrepancies. This text describes the development process and its result. Formát comma-separated values (CSV) je populárním formátem pro tabulková data na webu. Tento formát ukládá tabulky dat velmi jednoduchým textovým způsobem, ale ukládá jen hodnoty tabulky bez jejich významu a struktury. Uživatelé tabulky musí odstranit nejednoznačnost a hádat přesný význam dat. Standard CSV on the Web poskytuje doporučení pro metadata o CSV tabulkách na webu. Metadata mohou pop- sat CSV tabulku, její strukturu a význam jejích hodnot v JSON-LD formátu. Tento standard umožňuje tvůrci tabulky odstranit nejednoznačnost, zvýšit jistotu a vytvořit důvěru. Máme CSV tabulky spolu s jejich metadatovými popisy v JSON-LD a každá tabulka by se měla shodovat se svým konkrétním popisem. V této práci vyvíjíme validátor CSV souborů. Tento validátor je počítačový program, který zkontroluje, zda se tabulky skutečně shodují se svými popisy. Validátor přečte tabulku s jejím popisem, porovná je a vyhledá nesrovnalosti. Tento text popisuje proces vývoje a jeho výsledek. Keywords: CSV|JSON-LD|W3C|web|validátor|OTAVA; CSV|JSON-LD|W3C|web|validator|OTAVA Available in a digital repository NRGL
Validátor CSV souborů dle W3C doporučení CSV on the Web

The comma-separated values (CSV) format is a popular format for tabular data on the web. It stores tables of data in a very simple textual way, but it stores only the values of the table without their ...

Janda, Jan; Klímek, Jakub; Svoboda, Martin
Univerzita Karlova, 2024

Zlepšení použitelnosti a výkonu analýzy datových toků programů v jazyce C#
Kleprlík, Jan; Parízek, Pavel; Bednárek, David
2024 - English
The Manta Flow is a highly automated static analysis platform producing data lineage over its input and representing it in a graph. The platform performs analysis on various technologies and programming languages via specialised scanners. One of the scanners performs analysis of C# code, or rather its compiled alternative Common Intermediate Language. While the scanner was already capable of analysing non-trivial scenarios, it lacked in some aspects that held it up from its broader adoption by customers. The main issues are low support for analysis of real-life scenarios such as web applications or embedded code in other technologies, sub-optimal performance and imprecise lineage output. As a part of this thesis, we improved the precision, scalability and performance of the scanner on multiple levels of abstractions, from analysis of the CIL to modifications of core high-level analysis algorithms. We added support for analysis of the ASP.NET web endpoints and enabled the C# scanner to be used as a service for analysis of embedded code in other technologies. We improved the precision of the resulting lineage for existing scenarios by modifying the core algorithms used throughout the analysis and optimized the analysis process to lift its performance. 1 Manta Flow je vysoce automatizovaná platforma pro statickou analýzu datových toků, které jsou následně zobrazeny v přehledném grafu. Tato platforma provádí analýzu mnoha technologií a programovacích jazyků pomocí takzvaných skenerů. Jeden z těchto skenerů provádí analýzu C# kódu, respektive jeho zkompilované alternativy Common Intermedi- ate Language. Tento skener byl již dříve schopný analyzovat netriviální aplikace, ovšem některé jeho aspekty stále zabraňovaly jeho rozšířenému použití a adopci ze strany uživa- telů. Mezi hlavní problémy patří nedostatečná podpora analýzy reálných aplikací z pro- dukčního prostředí, jako například webové aplikace nebo krátké úryvky kódu embedované v jiných technologiích, pomalá analýza a její nepřesný výstup. V této práci bylo dosa- ženo celkového zlepšení přesnosti, využitelnosti a výkonu skeneru na několika úrovních abstrakce od analýzy CIL kódu po modifikace celkového designu. Byla přidána podpora analýzy webových rozhraní vytvořených pomocí frameworku ASP.NET a embedovaného kódu v jiných technologiích. Zároveň byla vylepšena přesnost a výkon datové analýzy u dříve podporovaných aplikací úpravou klíčových algoritmů použitých během analýzy. 1 Keywords: statická analýza|data lineage|C#|embedded code; static analysis|data lineage|C#|embedded code Available in a digital repository NRGL
Zlepšení použitelnosti a výkonu analýzy datových toků programů v jazyce C#

The Manta Flow is a highly automated static analysis platform producing data lineage over its input and representing it in a graph. The platform performs analysis on various technologies and ...

Kleprlík, Jan; Parízek, Pavel; Bednárek, David
Univerzita Karlova, 2024

Reprezentační neuronové sítě pro diferencovatelné renderování objemu
Nejedlý, Jaroslav; Rittig, Tobias; Antolík, Ján
2024 - English
This thesis investigates the possibility of using a representation neural network as a data structure for an appearance prediction model. We present the representation network as an adaptation of the popular neural radiance field network. The representation network is studied on 2D images as well as volumetric data. This thesis also evaluates the outputs of the appearance prediction network which uses the representation network. Our analysis shows a decent quality of the representation network for 2D images and simple volumetric data. However, the outputs of the appearance prediction network are suboptimal. We conclude that the representation network presented in this thesis should be im- proved and the appearance prediction model should be fine-tuned to the representation network as its input. 1 Tato práce prozkoumává možnost použití reprezentačních neuronových sítí jako dato- vých struktur pro modely předpovídající vzhled. Představujeme representační síť, která je adaptací populární NeRF sítě. Tato reprezentační síť je studována na 2D obrázcích i trojrozměrných volumetrických datech. Tato práce také vyhodnocuje výstupy modelu, který předpovídá vzhled, do kterého je použita reprezentační síť jako zdroj dat. Naše analýza ukazuje, že reprezentace 2D obrázků a jednoduchých volumetrických útvarů je realizováno s obstojnou kvalitu. Nicméně, výstupy vzhled předpovídající sítě jsou suboptimální. Vyvodili jsme, že reprezentační sítě představené v této práci by měli být vylepšeny a že model předpovídající vzhled by měl být doladěn s použitím reprezentační sítě na vstupu. 1 Keywords: reprezentační neuronové sítě|neuronové renderování|MLP|NeRF; representation network|neural rendering|MLP|NeRF Available in a digital repository NRGL
Reprezentační neuronové sítě pro diferencovatelné renderování objemu

This thesis investigates the possibility of using a representation neural network as a data structure for an appearance prediction model. We present the representation network as an adaptation of the ...

Nejedlý, Jaroslav; Rittig, Tobias; Antolík, Ján
Univerzita Karlova, 2024

About project

NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web

Send your suggestions and comments to nusl@techlib.cz

Provider

http://www.techlib.cz

Facebook

Other bases