Number of found documents: 715903
Published from to

Nové inhibitory topoisomerasy II - studie antiproliferačních účinků a vlivu na protinádorovou aktivitu anthracyklinů
Vrobelová, Adriana; Šimůnek, Tomáš; Jirkovská, Anna
2024 - Slovak
Charles University Faculty of Pharmacy in Hradec Králové Department of Biochemical Sciences Candidate: Adriana Vrobelová Supervisor: prof. PharmDr. Tomáš Šimůnek, PhD. Title of diploma thesis: New inhibitors of topoisomerase II - study of antiproliferative effects and influence on antitumor activity of anthracyclines Despite the dose-limiting cardiotoxicity, anthracyclines (ANT) are among the most effective and widely used antitumor drugs. The only registered drug to prevent this adverse effect is dexrazoxane, whose cardioprotective activity is currently attributed to interaction with topoisomerase 2 (TOP2) beta. This relatively new hypothesis provides an opportunity for the discovery and study of new TOP2 inhibitors, that could be more beneficial cardioprotective drugs. An essential condition for the use of a potential cardioprotective agent is, however, the absence of a negative influence on anticancer efficacy. In this work, we studied the antiproliferative activity of new substances derived from the molecule BNS-22, which is a catalytic inhibitor of TOP2 and manifested cardioprotective activity. We also studied the activity against the antiproliferative effect of daunorubicin (DAU), to clarify the compatibility in case of combined use. These experiments were performed on the leukocytic cell... Univerzita Karlova Farmaceutická fakulta v Hradci Králové Katedra biochemických věd Kandidát: Adriana Vrobelová Školiteľ: prof. PharmDr. Tomáš Šimůnek, PhD. Názov diplomovej práce: Nové inhibítory topoizomerázy II - štúdia antiproliferačných účinkov a vplyvu na protinádorovú aktivitu antracyklínov Napriek svojej dávkovo obmedzujúcej kardiotoxicite patria antracyklíny (ANT) medzi najpoužívanejšie a najefektívnejšie protinádorové liečivá. Jediným registrovaným liečivom k prevencii vzniku ANT kardiotoxicity je dexrazoxán, ktorého kardioprotektívne účinky sa aktuálne pripisujú interakcii s topoizomerázou 2 (TOP2) beta. Táto relatívne nová hypotéza poskytuje priestor pre objav a štúdium nových inhibítorov TOP2, ktoré by mohli byť použité ako výhodnejšie kardioprotektívne liečivá. Zásadnou podmienkou pre použitie potenciálneho kardioprotektíva je však absencia negatívneho ovplyvnenia protinádorovej účinnosti ANT. V tejto práci sme študovali antipoliferačnú aktivitu nových látok odvodených od parentnej molekuly BNS-22, ktorá je katalytickým inhibítorom TOP2 a prejavila kardioprotekčnú aktivitu. Okrem toho sme študovali aj ich vplyv na antiproliferačný účinok daunorubicínu (DAU) pre objasnenie kompatibility v prípade kombinovaného použitia s ANT. Dané experimenty boli uskutočnené na leukocytárnej bunkovej... Available in a digital repository NRGL
Nové inhibitory topoisomerasy II - studie antiproliferačních účinků a vlivu na protinádorovou aktivitu anthracyklinů

Charles University Faculty of Pharmacy in Hradec Králové Department of Biochemical Sciences Candidate: Adriana Vrobelová Supervisor: prof. PharmDr. Tomáš Šimůnek, PhD. Title of diploma thesis: New ...

Vrobelová, Adriana; Šimůnek, Tomáš; Jirkovská, Anna
Univerzita Karlova, 2024

Výkon trestu odnětí svobody z hlediska odsouzených mužů
Drahoňovský, Jan; Podaná, Zuzana; Dirga, Lukáš; Nedbálková, Kateřina
2024 - Czech
PhDr. Jan Drahoňovský EXECUTION OF IMPRISONMENT FROM THE POINT OF VIEW OF CONVICTED MEN 2023 Abstract The subject of this thesis is serving of prison sentences by male prisoners in standard prisons in Czech Republic. The aim is to develop a theoretical model of the social stock of knowledge of convicts, which serves them to organize their daily experience and to navigate their sentence. To do this, qualitative field research was conducted in a typical high security prison. Data was collected in the form of twelve unstructured interviews that were subsequently analyzed by reflexive thematic analysis methodology (Braun & Clarke, 2022). Based on the results of the analysis, a theoretical model was constructed. It consists of six interrelated themes that form a body of social knowledge of convicts. The results were discussed in relation to existing knowledge, the methodology used, validity and potential applications to penitentiary practice. Keywords Sociology of prison life, execution of imprisonment, convict, social constructivism, field research, reflexive thematic analysis PhDr. Jan Drahoňovský VÝKON TRESTU ODNĚTÍ SVOBODY Z HLEDISKA ODSOUZENÝCH MUŽŮ 2023 Abstrakt Tématem této práce je výkon trestu odnětí svobody odsouzenými muži ve standardních věznicích v České republice. Cílem je vytvořit teoretický model sociální zásoby vědění odsouzených, jenž jim slouží k jejich každodennímu uspořádávání zkušeností a korientaci během jejich výkonu trestu. K tomu byl proveden kvalitativní terénní výzkum v jedné typické věznici s ostrahou. Data byla sebrána formou dvanácti nestrukturovaných interview a následně analyzována metodikou reflexivní tematické analýzy (Braun & Clarke, 2022). Na základě výsledků analýzy byl sestaven teoretický model sestávající ze šesti vzájemně propojených témat, která tvoří soubor sociálního vědění odsouzených. Výsledky byly diskutovány ve vztahu k dosavadnímu poznání, použité metodologii, validitě a možným aplikacím do penitenciární praxe. Klíčová slova Penitenciární sociologie, výkon trestu odnětí svobody, odsouzený, sociální konstruktivismus, terénní výzkum, reflexivní tematická analýza Keywords: Penitenciární sociologie|výkon trestu odnětí svobody|odsouzený|sociální konstruktivismus|terénní výzkum|reflexivní tematická analýza; Sociology of prison life|execution of imprisonment|convict|social constructivism|field research|reflexive thematic analysis Available in a digital repository NRGL
Výkon trestu odnětí svobody z hlediska odsouzených mužů

PhDr. Jan Drahoňovský EXECUTION OF IMPRISONMENT FROM THE POINT OF VIEW OF CONVICTED MEN 2023 Abstract The subject of this thesis is serving of prison sentences by male prisoners in standard prisons in ...

Drahoňovský, Jan; Podaná, Zuzana; Dirga, Lukáš; Nedbálková, Kateřina
Univerzita Karlova, 2024

Základy fungování internetu - didaktické materiály pro 2. stupeň ZŠ
Mazná, Michaela; Brom, Cyril; Černochová, Miroslava
2024 - Czech
The Framework Educational Programme was revised in the Czech Republic in 2021 to include the basic principles of the Internet and computer networks in teaching computer science at ISCED level 2. According to the new revision, primary schools are supposed to start teaching at ISCED 2 from September 2024 at the latest, however, they face a lack of suitable teaching materials on this topic for this students' age group. Therefore, this work addresses this gap by creating four model lessons and materials for students and teachers of the lower secondary school at two different levels of difficulty (grades 6-7 and grades 8-9). The aim of the lessons is to explain the structure and basic principles of the Internet. The content of the lessons is based on known student preconceptions. The theoretical background of the work is based on the constructivist perspective "Knowledge in Pieces", ERR framework and the model of teaching by analogy. The lesson plans and corresponding materials for both levels of difficulty were created and tested through the combination of action and design-based research in six schools (13 classes, 258-271 students in total). The students' knowledge was examined by means of pre-post testing. The results indicate a significant positive effect of our lessons immediately after the lessons (d =... V roce 2021 byl v České republice revidován rámcový vzdělávací program, v němž bylo do výuky informatiky pro 2. stupeň ZŠ zařazeno téma základních principů fungo- vání internetu a počítačových sítí. Základní školy mají na 2. stupni dle nové revize začít učit nejpozději od září 2024, ovšem potýkají se s nedostatkem vhodných výukových ma- teriálů na toto téma pro danou věkovou kategorii žáků. Výsledkem této práce je proto návrh čtyř modelových vyučovacích hodin a materiálů pro žáky i učitele 2. stupně ve dvou úrovních obtížnosti (6.-7. ročník, 8.-9. ročník). Obsah hodin cílí na vysvětlení struktury a základních principů fungování internetu a odvíjí se od známých žákovských prekoncepcí. Teoretické pozadí práce vychází z konstruktivistického přístupu "Knowledge in Pieces", modelu E-U-R a z modelu výuky prostřednictvím analogií. Hodiny v obou úrovních a pří- slušné materiály byly vytvořeny a testovány kombinací akčního a konstrukčního výzkumu na 6 školách (13 třídách, celkem na 258-271 žácích). Znalosti žáků byly ověřeny pomocí dvojice znalostních dotazníků (před a po výuce). Výsledky svědčí o velkém pozitivním účinku našich hodin bezprostředně po výuce (d = 1, 76, p < 0, 001, n = 207) i s několika měsíčním odstupem (d = 1, 06, p < 0, 001, n = 61). Metodiky a materiály v příloze práce jsou zpracované do takové... Keywords: informatika|digitální zařízení|digitální technologie|internet|didaktický materiál|2. stupeň ZŠ; informatics|digital devices|digital technologies|internet|didactic material|lower secondary school Available in a digital repository NRGL
Základy fungování internetu - didaktické materiály pro 2. stupeň ZŠ

The Framework Educational Programme was revised in the Czech Republic in 2021 to include the basic principles of the Internet and computer networks in teaching computer science at ISCED level 2. ...

Mazná, Michaela; Brom, Cyril; Černochová, Miroslava
Univerzita Karlova, 2024

Postavení spotřebitele v oblasti distribuce pojištění v době digitální
Ryza, Tomáš; Večeř, Miroslava
2024 - Czech
The position of the consumer in the field of insurance distribution in the digital age: Valid regulation of the Czech Republic in the light of the basic rules of capital markets Abstract This work deals with the position of the consumer in the field of insurance distribution in the digital age. The main research question is the position of the consumer in insurance distribution. Specifically, the work describes what influences the consumer's position and whether this position is adequate for insurance distribution in the digital world. The pandemic did not initiate the transformation into the digital environment, but only accelerated it. Individual insurance companies have been trying to sell through digital channels even before the pandemic. However, this was not always successful. In the past, these shortcomings were naturally associated with the traditional "face-to-face" sales process. As the largest shortcomings in the past were associated with investment life insurance, this work also attempts to answer the secondary question of how the consumer fares compared to the regulation of business in capital markets. The structure of the work is divided into four main chapters, which are logically arranged from the general concept of the consumer to the most exposed area of the environment. The first chapter,... Postavení spotřebitele v oblasti distribuce pojištění v době digitální: Platná regulace ČR ve světle základních pravidel kapitálových trhů Abstrakt Tato práce se zabývá postavením spotřebitele v oblasti distribuce pojištění v digitální době. Hlavní výzkumnou otázkou této práce je postavení spotřebitele při distribuci pojištění. Konkrétně práce popisuje, co vše spotřebitelovo postavení ovlivňuje a jestli je toto postavení adekvátní distribuci pojištění v digitálním světě. Pandemie transformaci do digitálního prostředí nenastartovala, ale pouze urychlila. Jednotlivé pojišťovny se snažily přes digitální prostředí prodávat již před ní. A to se ne vždy povedlo úplně "čistě". V minulosti tato pochybení samozřejmě byla spojena i s běžným "face to face" prodejním procesem. Jelikož v minulosti byla největší pochybení spojena s investičním životním pojištěním, snaží se tato práce jako vedlejší otázku zodpovědět, jak si vede spotřebitel ve srovnání s regulací podnikání na kapitálových trzích. Struktura práce je členěna do čtyř hlavních kapitol, které jsou řazeny logicky od obecného pojetí spotřebitele po nejvíce exponovanou oblast životního prostředí. První kapitola úvodem popisuje pojem spotřebitele a koncepce upravující jeho postavení na finančním trhu. Druhá kapitola se zaměřuje na obecné vymezení pojmu... Keywords: Distribuce pojištění; postavení spotřebitele; finanční trh; Insurance distribution; consumer position; financial markets Available in a digital repository NRGL
Postavení spotřebitele v oblasti distribuce pojištění v době digitální

The position of the consumer in the field of insurance distribution in the digital age: Valid regulation of the Czech Republic in the light of the basic rules of capital markets Abstract This work ...

Ryza, Tomáš; Večeř, Miroslava
Univerzita Karlova, 2024

Biofyzikální charakterizace inhibice koronavirové nsp14 malými molekulami
Trembulaková, Pavla; Bouřa, Evžen; Dejmek, Milan
2024 - Czech
RNA virus SARS-CoV-2 caused worldwide pandemic of severe disease COVID-19 which lasted more than a year. Repair mechanisms of this virus during replication process significantly reduce efficiency of nucleotide analog drugs, eg. remdesivir. Nonstructural protein (nsp) 14 and nsp10 form a complex which acts as an exonuclease enzyme and will be furthrer referred to as an ExoN complex. This complex can probably cause lower efficiency of incorporation of nucleotide analogs compared to viruses without exonuclease enzymes. The two-protein complex with active site on nsp14 containing two magensium ions seems like a good target for testing potent inhobitors. Among possible inhibitors of SARS-CoV-2 exonuclease complex are isobavachalcone and sofalcone. According to published studies, those small organic molecules chelate magensium ions in active site of exonulease part in nsp14. This results in inactivation of ExoN complex active site in nsp14 structure and disables the catalytic function which acts as repairing element in RNA synthesis process. This tesis focuses on characterization of inhibition of protein complex nsp14 and nsp10 in presence of small selected molecules, isobavachalcone and sofalcone. Exonuclease activity assays in presence of various RNA substrates were performed. Furthermore, there have been... RNA virus SARS-CoV-2 způsobil celosvětovou pandemii závažné nemoci COVID-19, která trvala více než rok. Opravné mechanismy tohoto viru během replikace výrazně snižují účinnost běžně používaných léků z kategorie nukleotidových analog jako je například remdesivir. Nestrukturální protein (nsp) 14 a nsp10 tvoří komplex, který plní exonukleázovou (ExoN) funkci a dále bude nazýván jako ExoN komplex. Nsp14 obsahuje aktivní místo komplexu, nsp10 je kofaktorem. Tento ExoN komplex a je pravděpodobně důvodem nižší účinnosti inkorporace nukleotidových analog v porovnání s viry bez exonukleáz. Tento komplex dvou proteinů s aktivním místem ve struktuře nsp14 obsahujícím dva hořečnté ionty se jeví jako dobrý cíl pro potenciální inhibitory ExoN aktivity a následného znemožnění vzniku dalších životaschopných generací viru. Mezi potenciální inhibitory tohoto ExoN komplexu patří isobavachalcon a sofalcon. Podle publikovaných studií tyto malé molekuly chelatují hořečnaté ionty v aktivním centru exonukleázové části nsp14, čímž inaktivují aktivní centrum ExoN komplexu a znemožní mu fungovat jako opravný prvek syntézy nové RNA. Tato práce se zaměřuje na charakterizaci chování proteinového komplexu nsp10 a nsp14 viru SARS-CoV-2 za přítomnosti malých vybraných molekul, isobavachalconu a sofalconu. Rovněž byly provedeny testy... Keywords: SARS-CoV-2; exonukleáza; nsp14; nsp10; inhibice enzymu; RNA; isobavachalcon; sofalcon; SARS-CoV-2; exonuclease; nsp14; nsop10; enzymatic inhibition; RNA; isobavachalcone; sofalcone Available in a digital repository NRGL
Biofyzikální charakterizace inhibice koronavirové nsp14 malými molekulami

RNA virus SARS-CoV-2 caused worldwide pandemic of severe disease COVID-19 which lasted more than a year. Repair mechanisms of this virus during replication process significantly reduce efficiency of ...

Trembulaková, Pavla; Bouřa, Evžen; Dejmek, Milan
Univerzita Karlova, 2024

HCI modely pro multi-objective doporučovací systémy
Machala, Patrik; Peška, Ladislav; Lokoč, Jakub
2024 - Czech
One of the most developing research fields of information retrieval are recommender systems. They typically try to recommend a few of the most relevant or most suitable items to users from all the candidates when the number of canidates can be in the or- der of thousands or millions. However, it turns out that relevance alone is not enough. Therefore, this work focuses on multi-objective recommender systems using the beyond- relevance objectives. The aim of the thesis is to find out new knowledge about this specific type of recommendation, especially in the connection with the field of HCI, i.e. user and computer interaction that has not been explored much so far. The software output of the work is a web application and a modified recommender system. These two components were used in a user study, where, among other things, we investigated whether users were willing to explicitly set the parameters for a multi- objective recommender system by assigning weights to each of the objectives, compared different variants of metrics for these objectives, mechanisms for assigning weights and different level of detail of texts and visualization of the explanations of the recommen- dations. The results of our experiment show that users perceive the benefit of setting weights for objectives to improve recommendations.... Jednou z nejvíce rozvíjejících se oblastí information retrieval (vyhledávání informací) jsou doporučovací systémy. Ty se typicky snaží o doporučení několika málo nejrelevantněj- ších neboli nejvhodnějších položek uživateli ze všech kandidátů, jejichž počet se může po- hybovat i v řádu milionů. Ukazuje se ale, že samotná relevance nestačí. Proto se tato práce zaměřuje na multi-objective doporučovací systémy využívající i tzv. beyond-relevance kri- téria kvality doporučování. Cílem práce je zjištění nových poznatků o tomto specifickém typu doporučování, a to především v dosud ne příliš prozkoumaném propojení s oblastí interakcí uživatele se systémem. Softwarovým výstupem práce je webová aplikace a upravený doporučovací systém. Tyto dvě komponenty byly použity v uživatelské studii, kde jsme mimo jiné zkoumali, zda uživatelé stojí o explicitní nastavení parametrů multi-objective doporučovacího sys- tému pomocí přidělení vah ke každému z kritérií, porovnávali různé varianty metrik pro tato kritéria a mechanismů pro nastavení vah, rozdílnou detailnost textů a vizualizace explanations. Z výsledků našeho experimentu plyne, že uživatelé vnímají přínos nastavení vah pro kritéria kvality doporučování k vylepšení doporučování. Zároveň se nám také podařilo zjistit, že nejvhodnějším mechanismem pro přidělení vah jsou... Keywords: Doporučovací systémy|HCI|Multi-objective doporučovací systémy; Recommender systems|HCI|Multi-objective recommender systems Available in a digital repository NRGL
HCI modely pro multi-objective doporučovací systémy

One of the most developing research fields of information retrieval are recommender systems. They typically try to recommend a few of the most relevant or most suitable items to users from all the ...

Machala, Patrik; Peška, Ladislav; Lokoč, Jakub
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

Rozšíření kolizního modelu hlavního pásu asteroidů
Vávra, Michael; Brož, Miroslav; Scheirich, Petr
2024 - Czech
The Main Belt, the region between the orbits of Mars and Jupiter, is the home to more than 1 million asteroids. These asteroids form orbital groups, i.e., asteroid families formed by collisions; and also spectral groups (taxonomies) with different chemical composition, in particular, carbonaceous (C-types) and silicate (S-types). In this thesis, we extend the existing collisional model by finding appropriate dependence of the strength vs. size (also known as the scaling law) for these two groups. We used color indices and geometric albedos of 56 and 72 spectroscopically confirmed C- and S-types (control samples) and statistical methods on 1 065 054 asteroids, to assign C-, S- or other-types (neither C- nor S-type). This allowed us to construct the observed size-frequency distributions (SFDs) for several sub-populations constrained either in the semi-major axis (inner, middle, outer) or taxonomy (C, S, other). Then we used the Monte-Carlo code Boulder (Morbidelli et al. 2009). to compute the long-term collisional evolution (4.5 billion years) and derive synthetic SFDs. We find that the scaling laws for C- and S-types disagree with the ones proposed by Holsapple & Housen (2019). Our best-fit scaling laws indicate that S-types must be weakened below approximately 1 km compared to C-types, to explain a... Hlavní pás představuje oblast mezi oběžnými dráhami Marsu a Jupiteru, ve které se nachází více než 1 milión asteroidů. Dle oběžných drah asteroidy dělíme do aster- oidálních rodin vytvářených kolizemi; dle chemického složení zase do spektrálních skupin (taxonomií) a to zejména do uhlíkatých (C typů) a křemíkových (S typů). V této práci rozšiřujeme aktuální kolizní model tak, že pro tyto dvě skupiny nalezneme vhodnou závislost pevnosti na velikosti (též zvanou škálovací zákon). Celkově 1 065 054 aster- oidů jsme pomocí statistických metod, barevných indexů a geometrických albed 56 a 72 spektroskopicky potvrzených C a S typů (kontrolních vzorků), zařadili do C, S nebo os- tatních typů (ani C ani S typy). To nám umožnilo vytvořit pozorované rozdělení velikostí pro několik sub-populací rozdělených na základě velké poloosy (vnitřní, střední, vnější) nebo taxonomie (C, S, ostatní). Následně jsme s pomocí kódu Boulder (Morbidelli aj. 2009) využívající metodu Monte-Carlo, provedli simulaci dlouhodobého kolizního vývoje (4.5 miliardy let) k odvození syntetických rozdělení velikostí. Zjistili jsme, že námi odvozené škálovací zákony pro C a S typy neodpovídají těm, které jsou předložené v práci Holsapple & Housen (2019). Abychom v blízkosti (a pod) observační neúplností vysvětlili nedostatek asteroidů ve vnitřní části... Keywords: sluneční soustava|asteroidy|planetky|srážky|modely Monte-Carlo; solar system|asteroids|collisions|Monte-Carlo models Available in a digital repository NRGL
Rozšíření kolizního modelu hlavního pásu asteroidů

The Main Belt, the region between the orbits of Mars and Jupiter, is the home to more than 1 million asteroids. These asteroids form orbital groups, i.e., asteroid families formed by collisions; and ...

Vávra, Michael; Brož, Miroslav; Scheirich, Petr
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