Yes (13619)
No (3862)
Number of found documents:
17481
Published from
to
Uzavřený prostor duše v příbězích E. A. Poea a Chrise Priestleyho
KARVÁNKOVÁ, Iva
2024 - English
Náplní diplomové práce je srovnávací analýza vybraných děl E. A. Poea a Chrise Priestleyho. Práce se zaměřuje především na téma uzavřeného prostoru a jeho působení na psychické stavy postav. První část práce se zabývá vývojem angloamerické gotické literatury a charakteristikou dětské fantastické literatury. Dále představuje život vybraných spisovatelů a hlavní témata v jejich tvorbě. Vlastní analýza obsahuje porovnání funkce uzavřeného prostoru v dílech obou zkoumaných autorů. Pozornost je věnována především propojení tohoto prostoru s tísnivými stavy duše. Interpretace se zaměřuje na konkrétní příklady vnitřního i vnějšího prostoru a na popis hororové atmosféry. The diploma thesis deals with the comparative analysis of selected works by E. A. Poe and Chris Priestley. The thesis focuses primarily on the theme of the closed space and its effect on the psychological states of the characters. The first part of the thesis deals with the basic features of the development of Anglo-American Gothic literature and the characteristics of children's fantasy literature. It also introduces the lives of Poe and Priestley and the main themes in their works. The analysis compares the function of the closed space in the works of both authors. Attention is paid to the connection of this type of space and the oppressive states of the soul. The interpretation focuses on particular examples of the inner and outer space and on the description of the horror atmosphere.
Keywords:
Edgar Allan Poe; Chris Priestley; uzavřený prostor; gotická literatura
Available in the Digital Repository of University of South Bohemia.
Uzavřený prostor duše v příbězích E. A. Poea a Chrise Priestleyho
Náplní diplomové práce je srovnávací analýza vybraných děl E. A. Poea a Chrise Priestleyho. Práce se zaměřuje především na téma uzavřeného prostoru a jeho působení na psychické stavy postav. První ...
Reprodukční užitkovost v chovu prasnic
AIDELOMON, Emmanuel Onosimuan
2024 - English
Cílem diplomové práce bylo analyzovat úroveň reprodukční užitkovosti prasnic. Byla shromážděna a analyzována data 1 013 záznamů prasnic (plemene large white a hybridních prasnic plemen large white a landrase) z vybraného chovu za časové období čtyř let (2019 až 2022). Do sledování byly zařazené prasnice na 1. až 7. vrhu, které byly rozdělené do následujících kategorií - 1. a 2. vrh (1); 3. až 5. vrh (2) a 6. a 7. vrh (3). Prasnice byly chované ve stáji s řízeným klimatem, byly očkované podle vakcinačního programu chovu a krmené na základě nutričních požadavků. Voda byla prasnicím dostupná prostřednictvím systému napáječek ad libitum. Byly sledovány vlivy působící na počet všech a živě narozených selat, a to pořadí vrhu, sezóna při prvním zapuštění, genotyp, věk při prvním porodu, délka březosti, délka mezidobí, interval od odstavu do zabřeznutí, rok zapuštění a kanec. Data byla analyzována pomocí softwaru Statistika.12, TIBCO. Statisticky významný vliv (P < 0,05) byl pozorován mezi skupinou 1 (1. a 2. vrh) a skupinou 2 (3. až 5. vrh) pro všechna a živě narozená selata s nejvyšší hodnotou ve skupině 2 (3. až 5. vrh), poté počet selat zaznamenal pokles. Počet všech a živě narozených selat byl zjištěný nejvyšší u prasnic zapuštěných v letních měsících a nejnižší u prasnic zapuštěných na podzim (statisticky nevýznamné rozdíly). Nejvyšší počet všech narozených selat měly prasnice LW L a nejvyšší počet živě narozených selat měly prasnice LW. Statisticky významně nižší počet všech a živě narozených selat měly kříženky L LW. Plodnost prasnic při prvním porodu ve věku 361-381 dní se statisticky významně lišila od prasnic s prvním porodem ve věku < 361 dnů. U prasnic s prvním porodem ve věku > 381 dnů došlo ke snížení počtu všech a živě narozených selat ve srovnání s prasnicemi ve věku 361-381 dní při prvním porodu, ale rozdíl nebyl statisticky významný. Vyšší hodnoty v počtu všech i živě narozených selat byly zaznamenány u prasnic s délkou březosti 114 dnů ve srovnání s prasnicemi s délkou březosti 115 dnů (statisticky nevýznamný vliv). Takže čím vyšší počet selat byl ve vrhu, tím kratší byla délka březosti. Vyšší počet všech i živě narozených selat byl zjištěn u prasnic s délkou mezidobí 146 dnů ve srovnání s prasnicemi s délkou mezidobí 147 dní, ale rozdíl nebyl statisticky významný. Počet všech i živě narozených selat u prasnic s intervalem od odstavu do zapuštění 4 dny se statisticky významně lišil od prasnic s intervalem od odstavu do zapuštění 5 dnů. Nejvyšší počet všech i živě narozených selat byl zaznamenán v roce 2022 a nejnižší počet selat v roce 2019. Počet všech a živě narozených selat v roce 2022 se statisticky významně lišil od počtu selat v letech 2019 a 2020. Závěrem lze konstatovat, že výsledky sledování naznačily, že jako indikátory reprodukční užitkovosti prasnic lze u prasnic použít pořadí vrhu, genotyp, věk při prvním porodu, interval od odstavu do zabřeznutí a kanec. Analýza také poskytla základ pro budoucí vývoj benchmarkingu ke sledování a zlepšování reprodukční užitkovosti ve stádech prasnic. The objective of this study was to analyse the level of reproductive efficiency of sows. Data of 1013 records of sows between 2019 to 2022 from a commercial herd were collected and analysed (Large White and cross between Large White and Landrace sows). Sows ranged from parity 1 to 7 with the number of parity grouped into 1-2 (1); 3-5 (2); 6-7 (3). Sows were raised in well-ventilated pens and were vaccinated according to the veterinarian's recommendations and sows were well-fed to meet their nutritional requirement. Water was available ad libitum via the drinking nipple system. All-born piglets and live-born piglets were analysed by monitoring the influence of parity, season at first conception, genotype, age at first farrowing, gestation length, farrowing interval, weaning-to-conception interval, year of conception and boar. Data were analysed using Statistika.12, TIBCO software package. Significant influence (P < 0.05) was observed between parity group 1 (parity 1-2) and parity group 2 (parity 3-5) for all-born piglets and live-born piglets with the highest value at parity group 2 (parity 3-5) and decreasing thereafter. Prolificacy (all-born piglets and live-born piglets) appeared highest in animals during the summer months and the lowest in autumn (statistically unconfirmed differences). Crossing sows between Large White and Landrace produced the highest number of all-born piglets, and sow Large White produced the highest number of live-born piglets. Crossing sows between Landrace and Large White produced a statistically lower number of piglets. Prolificacy at 361-381 days (age of first farrowing) was significantly different from < 361 days. There was reduction in number of all-born piglets and live-born piglets for above > 381 days when compared to 361-381 but it was not different statistically. Higher value was recorded for gestation length of 114 days compared to 115 days in all-born piglets and live-born piglets (but no significant influence). The mean of all-born piglets and live-born piglets shows that the larger the litter is, the shorter the gestation length becomes. Farrowing interval for 146 days had a high mean value for both all-born piglets and live-born piglets compared to 147 days but no significant influence. Weaning to conception interval for 4 days is significantly different from 5 days in all-live born piglets. The highest average for all-born piglets and live-born piglets was recorded in 2022 and the lowest was recorded in 2019. Result for 2022 was significantly different from 2019 and 2020 results. In conclusion, this study showed that sow parity, genotype, age at first farrowing, weaning to conception interval and boar can be used as indicators of reproductive performance. Furthermore, this study has provided the basis for future development of a benchmarking tool to monitor and improve productivity in sow herds.
Keywords:
všech narozených selat; živě narozených selat; reprodukce; prasnice
Available in the Digital Repository of University of South Bohemia.
Reprodukční užitkovost v chovu prasnic
Cílem diplomové práce bylo analyzovat úroveň reprodukční užitkovosti prasnic. Byla shromážděna a analyzována data 1 013 záznamů prasnic (plemene large white a hybridních prasnic plemen large white a ...
God's Unity and God's Relational Character in the Thinking and Biblical Interpretation of Philo Judaeus
LANDOVÁ, Barbora
2024 - English
Diplomová práce analyzuje, jak se helénský židovský filosof, Filón Alexandrijský, vypořádává s pasážemi v Bibli, ve kterých je Bůh antropomorfizován. Práce se snaží představit dva světy uvnitř Filónovy osoby, svět filosofie a Bible, přičemž oba jsou zásadní pro jeho myšlení, ačkoli přináší odlišné podání Boha. Cílem práce je zjistit, jakým způsobem Filón, zastávaje filosofický koncept neměnného Boha, řeší ty pasáže v Bibli, při kterých se zdá, že je Boží charakter proměnlivý. Práce přichází s hypotézou, že vyobrazení Boha je svázáno s literárním žánrem, který Filón použije, když o Bohu mluví. V úvahu jsou vzaty Filónovy tři práce - Quod Deus sit Immutabilis, Quaestiones et Solutiones in Genesin et Exodum a De Vita Mosis, zatímco je rozlišováno mezi jejich odlišnými žánry. The thesis analyzes how the Hellenistic Jewish philosopher Philo of Alexandria deals with passages in the Bible where God experiences any kind of human emotions. It aims to present the two sides of Philo's persona - the Greek and the Jewish. These two worlds (the world of philosophy and that of the Bible) are constituent for Philo's thinking, however, they also provide a distinct rendering of God. The aim is to ascertain how Philo deals with passages in the Bible where God seems to have a changeable character while holding a strong philosophical concept of him. The thesis adheres to the hypothesis that his depiction of God is bound to the literary genre he applies when rendering God. It takes into consideration Philo's Quod Deus sit Immutabilis, Quaestiones et Solutiones in Genesin et Exodum and De Vita Mosis while differentiating between their distinct literary genres.
Keywords:
židovská helénská filosofie; Filón Alexandrijský; židovská filosofie; antropomorfismus; Septuaginta
Available in the Digital Repository of University of South Bohemia.
God's Unity and God's Relational Character in the Thinking and Biblical Interpretation of Philo Judaeus
Diplomová práce analyzuje, jak se helénský židovský filosof, Filón Alexandrijský, vypořádává s pasážemi v Bibli, ve kterých je Bůh antropomorfizován. Práce se snaží představit dva světy uvnitř ...
Legitimní očekávání jako součást standardu spravedlivého zacházení v investiční arbitráži
Chochelová, Adriana; Balaš, Vladimír; Urbanová, Kristýna
2024 - English
Legitimate Expectations as Part of the Fair and Equitable Treatment Standard in Investment Arbitration Abstract This thesis introduces the conceptual overview of the fair and equitable treatment standard in international investment arbitration with focus on its protection of legitimate expectations. The first part of the thesis is divided into five chapters. Firstly, the standard is introduced and set into historical context. In the second chapter the author explains the relationship between the FET standard of treatment and the minimum standard of treatment of foreigners under international customary law. The third chapter showcases the different formulations of FET provisions and the effects of the wording on the application of the norm. The fourth chapter deals with the substantive contents of the standard, introducing them in separate subchapters. These contents are stability and consistency, legitimate expectations, transparency, judicial propriety, and other contents are also briefly introduced. The last chapter introduces the other standards of treatment, existing next to the FET and the relationship among them. These standards are protection from expropriation without due compensation, full protection and security, protection from discriminatory and arbitrary measures and the national or MFN... Zásada legitimního očekávání jako součást standardu spravedlivého zacházení v investiční arbitráži Abstrakt Tato práce nabízí přehled standardu spravedlivého zacházení v mezinárodní investiční arbitráži s důrazem na ochranu legitimního očekávání investorů. První část práce je rozdělena do pěti kapitol. V první je standard představen a zasazen do historického kontextu. Ve druhé kapitole autorka vysvětluje vztah mezi standardem spravedlivého zacházení a minimálním standardem zacházení s cizinci podle mezinárodního obyčejového práva. Třetí kapitola představuje různé formulace ustanovení o spravedlivém zacházení v mezinárodních smlouvách a jejich dopady praktickou aplikaci normy. Čtvrtá kapitola se zabývá obsahem standardu, představuje jeho jednotlivé náležitosti v samostatných podkapitolách. Těmito náležitostmi jsou zejména stabilita, legitimní očekávání, transparentnost, právo na spravedlivý proces, ale jsou zmíněny i další. Poslední kapitola představuje další standardy zacházení, které existují vedle standardu spravedlivého zacházení, a vztah mezi nimi. Tyto standardy jsou ochrana před vyvlastněním bez náležité kompenzace, plná ochrana a bezpečnost, ochrana před diskriminačními a svévolnými opatřeními a jako poslední je představeno národní zacházení a zacházení dle doložky nejvyšších výhod. Druhá část se...
Keywords:
Investiční arbitráž; Řešení sporů mezi investory a státy; Standard spravedlivého a rovnoprávného zacházení; Zásady zacházení; Zásada legitimního očekávání; Investment arbitration; Investor-state dispute settlement; FET; Standards of Treatment; Legitimate Expectations
Available in a digital repository NRGL
Legitimní očekávání jako součást standardu spravedlivého zacházení v investiční arbitráži
Legitimate Expectations as Part of the Fair and Equitable Treatment Standard in Investment Arbitration Abstract This thesis introduces the conceptual overview of the fair and equitable treatment ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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
Other bases