Number of found documents: 75965
Published from to

Abstract interpretation of pandas
Hrubý, Jan; Petříček, Tomáš; Parízek, Pavel
2024 - Czech
Pandas is a Python library widely used for data-manipulation. The code written with Pandas lacks any type-safety and everything is decided at runtime. This can potentially be a source of errors and crashes at runtime. One way to deal with that is to use another, type-safe, language and a library with better safety guarantees and compile-time checks. This approach is not widely used as it is not very user-friendly. An alternative approach could be to use program verification method Abstract Interpretation to perform some checks before the run of the program. The goal of this thesis is to design a framework for analyzing data-manipulation programs and implement an analyzer for the Pandas library. The framework will be based on the Abstract Interpretation. The capabilities of the resulting analyzer will be evaluated on a set of small but realistic case studies. Pandas je oblíbená knihovna pro manipulaci a analýzu dat v Pythonu. Kód napsaný s Pandas nemá žádné typové kontroly a vše je rozhodováno za běhu programu. To může být zdrojem chyb a pádu celého programu za běhu. Jeden ze způsobů jak tento problém řešit je použít jiný, staticky typovaný, jazyk a knihovnu se silnějšími bezpečnostními záru- kami a kompilačními kontrolami. Takové řešení se však nerozšířilo kvůli horší uživatelské přívětivosti. Alternativní cesta by mohla být použítí metody Abstraktní Interpretace ke kontrole programu před jeho během. Cílem této práce je navrhnout způsob jak vyu- žít Abstraktni Interpretaci k analýze programů pro manipulaci s daty, a implementovat analyzátor pro knihovnu Pandas. Schopnosti implementovaného analyzátoru budou zhod- noceny na několika malých avšak realistických případových studiích. Keywords: pandas|python|program analysis|abstract interpretation; pandas|python|program analysis|abstract interpretation Available in a digital repository NRGL
Abstract interpretation of pandas

Pandas is a Python library widely used for data-manipulation. The code written with Pandas lacks any type-safety and everything is decided at runtime. This can potentially be a source of errors and ...

Hrubý, Jan; Petříček, Tomáš; Parízek, Pavel
Univerzita Karlova, 2024

Systém pro správu šachových soutěží
Sezemský, Josef; Kliber, Filip; Kofroň, Jan
2024 - Czech
We live in a time when digitalization is taking place in all sectors. Yet for chess tournament organisers and participants, there is no modern software to satisfy their requirements. In this thesis we will analyze the individual steps related to the organization of a chess tournament. At the same time, we will also analyze the programs that are currently used to tackle these difficulties. According to the results of the analysis, we will design and develop a web application that will facilitate the chess tournament for all participants. Žijeme v době, kdy probíhá digitalizace ve všech odvětvích. Přesto pro organizátory šachových turnajů ani jejich účastníky neexistuje moderní software, který by uspokojil jejich požadavky. V této práci provedeme analýzu problémů, které souvisí s organizací ša- chového turnaje. Současně též zanalyzujeme programy, které jsou v současnosti na řešení této problematiky používány. Dle výsledků analýzy navrhneme a vytvoříme webovou aplikaci, která usnadní průběh šachového turnaje všem zúčastněným. Keywords: systém|šachy|turnaj|soutěž|web|aplikace; system|chess|tournament|competition|web|application Available in a digital repository NRGL
Systém pro správu šachových soutěží

We live in a time when digitalization is taking place in all sectors. Yet for chess tournament organisers and participants, there is no modern software to satisfy their requirements. In this thesis we ...

Sezemský, Josef; Kliber, Filip; Kofroň, Jan
Univerzita Karlova, 2024

Mezijazykový transfer pro anotaci SynSemClass ontologie
Kašpárek, Petr; Hajič, Jan; Štěpánek, Jan
2024 - English
This work compares two approaches to automatic preannotation of semantic class to verbs in a sentence for the purpose of adding a new language to the SynSemClass ontology. Both approaches rely on a multilingual deep learning classification model fine-tuned on already annotated English, Czech and German data of the ontology. The first, more classical, approach is annotation projection. It uses a parallel corpus and the aforementioned model to make predictions on a source language already present in the ontology and projects the predictions onto the target language using automated word alignment. The second approach, zero-shot cross-lingual transfer, assumes that the multilingual properties of the underlying model are sufficient and that we can make reasonable predictions directly on the target language, even though the model was never trained for that specific task on the specific target language. For the purpose of evaluation, we manually build and annotate a small Korean language dataset to test the performance on a language significantly different from English, Czech and German. We conclude that the zero-shot approach performs notably better than the alignment approach (p < 0.005) obtaining 0.54 both in recall and precision, compared to 0.37 and 0.41 in recall and precision respectively of the alignment... Tato práce porovnává dva přístupy k automatické předanotaci sémantických tříd sloves ve větách za účelem přidání nového jazyka do ontologie SynSemClass. Oba přístupy vycházejí z vícejazyčného deep learning klasifikačního modelu, který byl fine-tunovaný na již anotovaných anglických, českých a německých datech z ontologie. První, více tradiční, přístup je annotation projection. Používá paralelní korpus a výše zmíněný model k vytvoření predikcí na zdrojovém jazyce, který je již obsažen v ontologii, a tyto predikce projektuje na cílový jazyk pomocí automatického word alignmentu. Druhý přístup, zero-shot cross-lingual transfer, předpokládá, že vícejazykové schopnosti deep learning modelu jsou dostatečné a že můžeme vytvořit kvalitní predikce přímo na cílovém jazyce, i když model nebyl nikdy trénován pro danou úlohu na daném cílovém jazyce. Pro účely vyhodnocení ručně vytváříme a anotujeme malý korejský dataset za účelem otestování výsledků na jazyce, který se významně liší od angličtiny, češtiny a němčiny. Dospíváme k závěru, že zero-shot transfer vykazuje výrazně lepší výkon než annotation projection (p < 0,005), s hodnotami recall a precision 0,54, ve srovnání s 0,37 recall a 0,41... Keywords: annotation projection|zero-shot cross-lingual transfer|ontologie|vícejazyčné zpracování přirozeného jazyka|lexikální sémantika; annotation projection|zero-shot cross-lingual transfer|ontology|multilingual natural language processing|lexical semantics Available in a digital repository NRGL
Mezijazykový transfer pro anotaci SynSemClass ontologie

This work compares two approaches to automatic preannotation of semantic class to verbs in a sentence for the purpose of adding a new language to the SynSemClass ontology. Both approaches rely on a ...

Kašpárek, Petr; Hajič, Jan; Štěpánek, Jan
Univerzita Karlova, 2024

Identifikace úzkých hrdel pro relaxaci podmínek v rozvrhování projektů
Nedbálek, Lukáš; Švancara, Jiří; Bulín, Jakub
2024 - English
In modern manufacturing systems, production planners create schedules by iteratively obtaining proposed schedules and adjusting input parameters to satisfy multiple, often competing, optimization goals. The goal of this thesis is to address the problem of reduc- ing the tardiness of a particular manufacturing order in an obtained schedule, which is a practical problem commonly arising in production scheduling. We do this by identifying bottlenecks in the schedule and proposing relaxations to constraints related to the iden- tified bottlenecks. We develop two methods for this purpose, both utilizing constraint programming. The first baseline method adapts existing approaches from the literature and proposes general relaxations. The second method identifies potential improvements in relaxed versions of the problem and proposes relaxations targeting the specific man- ufacturing order. Numerical experiments show that the baseline method achieves great improvements for small costs. while the second method is more reliable in achieving improvements across various problem instances. Plánovači výroby často sestavují rozvrh výroby tak, že iterovavaně získávájí návrhy na rozvrh a upravují vstupní parametry za účelem vyhovět mnohým, často protichůdným, optimalizačním cílům. Cílem této práce je zaměřit se na problém snižování zpoždění, tzv. tardiness, vybrané zakázky v obdrženém rozvrhu, jakožto běžně řešený problém při plánování výroby. Zaměříme se na identifikaci tzv. úzkých hrdel daných rozvrhů za úče- lem relaxace omezujících podmínek souvisejících s těmito úzkými hrdly. Pro tento účel představíme dvě metody. První adaptuje existující přístupy z literatury v kombinaci s návrhy obecných relaxací podmínek. Druhá identifikuje potenciální zlepšení v relaxova- ných verzích problému a navrhuje relaxace zaměřující se na konkrétní zpožděnou zakázku. Numerické experimenty ukazují, že zatímco první metoda nachází dobrá zlepšující řešení za nízké ceny, druhá metoda je v nacházení zlepšujících řešení více konzistentní. Keywords: plánování výroby|RCPSP|úzká hrdla|relaxování omezujících podmínek; scheduling|RCPSP|bottlenecks|constraint relaxation Available in a digital repository NRGL
Identifikace úzkých hrdel pro relaxaci podmínek v rozvrhování projektů

In modern manufacturing systems, production planners create schedules by iteratively obtaining proposed schedules and adjusting input parameters to satisfy multiple, often competing, optimization ...

Nedbálek, Lukáš; Švancara, Jiří; Bulín, Jakub
Univerzita Karlova, 2024

Vybrané statistické úlohy pro procesy s diskrétními stavy
Kahudová, Eliška; Hlubinka, Daniel; Lachout, Petr
2024 - Czech
In this thesis we are concerned with the description of Poisson processes. Firstly, we define the basic terminology and state the fundamental theorems, which we then supplement by explanatory remarks. We present methods for estimating the parameters of a homogeneous Poisson process, statistical tests for comparing two homogeneous Poisson processes, and derive a test for tracking the trend over time for an non-homogeneous Poisson process. Finally, the obtained estimates and test statistics are applied to real data. 1 V této práci se zabýváme popisem Poissonových procesů. Nejprve jsou definovány základní pojmy a vysloveny fundamentální věty, které jsou doplněny o poznámky přibli- žující jejich význam. Následně jsou uvedeny metody pro odhad parametrů homogenního Poissonova procesu, statistické testy zaměřené na srovnání dvou homogenních Poissono- vých procesů a odvozen test pro sledování trendu v čase u nehomogenního Poissonova procesu. Na závěr jsou získané odhady a testové statistiky aplikovány na reálná data. 1 Keywords: Poissonův proces|procesy obnovy|odhady parametrů|testy dobré shody; Poisson process|renewal process|estimates of parameters|goodness of fit Available in a digital repository NRGL
Vybrané statistické úlohy pro procesy s diskrétními stavy

In this thesis we are concerned with the description of Poisson processes. Firstly, we define the basic terminology and state the fundamental theorems, which we then supplement by explanatory remarks. ...

Kahudová, Eliška; Hlubinka, Daniel; Lachout, Petr
Univerzita Karlova, 2024

Základní vlastnosti víceúrovňových metod
Minarovičová, Anna Marie; Papež, Jan; Pultarová, Ivana
2024 - English
Multigrid methods are among the most effective iterative methods for the numerical solution of partial differential equations (PDEs). In the thesis, we consider Poisson's equation as the model problem and present its discretization by the finite difference method. Discretization of PDEs gives typically large algebraic systems of linear equations. Various iterative methods can struggle to find an enough accurate approximation within the allocated time. In particular, relaxation methods such as Jacobi or Gauss-Seidel effectively reduce oscillating parts of the error but are inefficient in reducing smooth error components. Multigrid methods combine relaxation methods with correction on a coarser grid to overcome this deficiency. The problem discretized on a coarser grid is smaller and easier to solve. Typically, a recursive error correction is considered using a hierarchy of grids until the coarsest problem is small enough to get a solution quickly by a direct solver. The purpose of this thesis is to discuss the main principles and thoughts behind the multigrid methods, alongside some practical examples and numerical experiments. Víceúrovňové metody patří mezi nejefektivnější iterační metody pro numerické ře- šení parciálních diferenciálních rovnic (PDR). V práci uvažujeme jako modelový problém Poissonovu rovnici a její diskretizaci metodou konečných diferencí. Obecně diskretizace PDR vede na velké soustavy lineárních rovnic. Různé iterační metody mohou mít potíže s nalezením dostatečně přesné aproximace v daném čase. Zejména relaxační metody, jako je Jacobi nebo Gauss-Seidel, účinně redukují oscilující části chyby, ale jsou neefektivní v redukci hladkých chybových složek. Multigridní metody kombinují relaxační metody s korekcí na hrubší síti, aby překonaly tento nedostatek. Problém diskretizovaný na hrubší síti je menší a snáze řešitelný. Oprava na hrubší síti se obvykle realizuje rekurzivně pomocí hierarchie sítí, dokud nejhrubší problém není dostatečně malý na to, aby jej bylo možné řešit přímým řešičem. Cílem této práce je diskutovat hlavní principy a myšlenky, které stojí za multigridními metodami, spolu s některými praktickými příklady a numerickými experimenty. Keywords: víceúrovňové metody|numerické metody|řešení soustav lineárních rovnic|hierarchie diskretizací; multigrid methods|numerical methods|solution of linear algebraic systems|discretization hierarchy Available in a digital repository NRGL
Základní vlastnosti víceúrovňových metod

Multigrid methods are among the most effective iterative methods for the numerical solution of partial differential equations (PDEs). In the thesis, we consider Poisson's equation as the model problem ...

Minarovičová, Anna Marie; Papež, Jan; Pultarová, Ivana
Univerzita Karlova, 2024

Strojové učení pro rozpoznávání jednoduchých fyzikálních systémů
Benda, Jan; Pavelka, Michal; Congreve, Scott
2024 - Czech
The rise of machine learning, particularly through the use of neural networks, has begun to change how we solve problems, including understanding simple physical systems. This thesis focuses on the Direct Poisson Neural Network (DPNN), a network that uses the structure of Hamilton's equations of motion to learn from data. This method allows us to extract the Hamiltonian and Poisson bivector from the data, helping to identify the type of physical systems. We explore how DPNN works with noisy data and when data is limited, checking its ability to make predictions in challenging conditions. Moreover, we have implemented Energy Ehrenfest regularisation to the model, which helps it recognise and simulate dissipative systems better. 1 Rozvoj strojového učení, zejména prostřednictvím neuronových sítí, začal měnit způ- sob, jak řešíme problémy - jedním z nich je i analýza a simulace fyzikálních systémů. V této práci se budeme zabývat tvz. Direct Poisson Neural Network (DPNN), neuronovou sítí, jejíž architektura vychází z Hamiltonových pohybových rovnic. Tato metoda nám umožňuje extrahovat z dat Hamiltonián a Poissonův bivektor, díky nimž můžeme iden- tifikovat typ a vlastnosti fyzikálního systému, na kterém jsme pořídili trénovací data. Budeme zkoumat, jak DPNN funguje na zašuměných datech a v situacích, kdy jich nemáme dostatek. Kromě toho jsme do modelu implementovali energetickou Ehren- festovu regularizaci, která mu umožňuje lépe rozpoznávat a simulovat systémy s disipací. 1 Keywords: strojové učení|hamiltonovské systémy|rozpoznávání modelů|neuronové sítě; machine learning|Hamiltonian systems|model recognition|neural networks Available in a digital repository NRGL
Strojové učení pro rozpoznávání jednoduchých fyzikálních systémů

The rise of machine learning, particularly through the use of neural networks, has begun to change how we solve problems, including understanding simple physical systems. This thesis focuses on the ...

Benda, Jan; Pavelka, Michal; Congreve, Scott
Univerzita Karlova, 2024

Rezonance pro modelové potenciály v kvantové mechanice
Rašek, Petr; Houfek, Karel; Čížek, Martin
2024 - Czech
Resonance phenomena appear in various areas of physics. A case of shape resonance is associated with the scattering of particles on a potential barrier, through which particles pass due to tunneling effect. The energy spectrum is the output of solving the eigenvalue problem with a modified Hamiltonian operator which enables calculation of the reso- nances. The eigenvalues corresponding to resonances are complex and are located in the fourth quadrant of the complex plane. Numerical methods such as Finite Element Me- thod (FEM), Discrete Variable Representation (DVR), Exterior Complex Scaling (ECS), and the QR algorithm are used for their computation. The thesis focuses on numerical simulations of the method properties with an emphasis on the precision of resonances cal- culation and coverage of the complex plane for several one-dimensional model potentials. The utilization of potentials is also illustrated by resonance data for electron scattering on selected diatomic molecules. For these purposes, an open-source program in Python has been created. 1 Rezonanční jevy se vyskytují v řadě oblastí fyziky. Případ tvarové rezonance je spojený s rozptylem částic na potenciálové bariéře, skrze kterou částice prochází díky tunelovému jevu. Energetické spektrum je výstupem řešení vlastního problému s modifikovaným Ha- miltonovým operátorem, ze kterého již lze určit rezonance. Vlastní čísla odpovídající re- zonancím jsou komplexní a nachází se ve čtvrtém kvadrantu komplexní roviny. Pro jejich výpočet jsou použity numerické metody konečných prvků (FEM), reprezentace pomocí diskrétní proměnné (DVR), externího komplexního škálování (ECS) a QR algoritmus. Práce se zaměřuje na numerické simulace vlastností metod s ohledem na přesnost vý- počtu rezonancí a pokrytí komplexní roviny pro několik jednorozměrných modelových potenciálů. Využití potenciálů je také ilustrováno na datech rezonancí pro rozptyl elek- tronu na vybraných dvouatomových molekulách. Pro tyto účely byl vytvořen open-source program v Pythonu. 1 Keywords: kvantová mechanika|rezonance; quantum mechanics|resonance Available in a digital repository NRGL
Rezonance pro modelové potenciály v kvantové mechanice

Resonance phenomena appear in various areas of physics. A case of shape resonance is associated with the scattering of particles on a potential barrier, through which particles pass due to tunneling ...

Rašek, Petr; Houfek, Karel; Čížek, Martin
Univerzita Karlova, 2024

Rozptyl součinu náhodných veličin
Danácsová, Michaela; Pawlas, Zbyněk; Dvořák, Jiří
2024 - Slovak
This thesis focuses on the variance of the product of random variables and its appli- cation in specific examples. The work is systematically divided into four chapters, where the variance for independent and dependent random variables is derived. We will focus on deriving the variance in cases of random samples and paired observations. Throughout all the chapters, we will also focus on linear approximation, which is compared throu- ghout the work to the exact form of the variance of the product of random variables. The final chapter illustrates the derived theory on examples from discrete and continuous distributions. The contribution of this bachelor's thesis is the clarification and understan- ding of the issue of the variance of the product of random variables and the application of theoretical derivations on specific distributions. 1 Tato práce se zabývá rozptylem součinu náhodných veličin a jeho aplikací v konkrét- ních příkladech. Práce je systematicky rozdělena do čtyř kapitol, kde se postupně odvozuje rozptyl pro nezávislé a následně pro závislé náhodné veličiny. Zaměříme se na odvození rozptylu v případě náhodných výběrů a výběru párových pozorování. V rámci všech ka- pitol se zaměříme také na lineární aproximaci, která se v celé práci porovnává s přesným tvarem rozptylu součinu náhodných veličin. Poslední kapitola ilustruje odvozenou teo- rii na příkladech z diskrétních a spojitých rozdělení. Přínosem této bakalářské práce je zpřehlednění a pochopení problematiky rozptylu součinu náhodných veličin a aplikace teoretických odvození na konkrétních rozděleních. 1 Keywords: rozptyl součinu|náhodné veličiny|lineární aproximace|párové pozorování; variance of the product|random variables|linear approximation|paired observations Available in a digital repository NRGL
Rozptyl součinu náhodných veličin

This thesis focuses on the variance of the product of random variables and its appli- cation in specific examples. The work is systematically divided into four chapters, where the variance for ...

Danácsová, Michaela; Pawlas, Zbyněk; Dvořák, Jiří
Univerzita Karlova, 2024

Řešení Zermelova navigačního problému pomocí level-set metody
Šimkovič, Pavol; Tůma, Karel; Hron, Jaroslav
2024 - Slovak
Effective path planning for long-distance flights is critically important when air streams significantly affect airship movement, as is the case for a ship or a zeppelin. Optimal con- trol can save travel time, fuel consumed and avoid flying in unfavourable conditions by early warning. We implemented a numerical algorithm for computing time-optimal tra- jectory for a long-distance flight of a zeppelin in variable atmospheric flow. We tested the algorithm on both model tasks and real meteorological data. The result of our work is a software with graphical interface, which can compute optimal navigation instructions, obtain weather forecast automatically and plot outputs, which contain also an indication of computation precision. Efektívne plánovanie trasy pri diaľkových letoch je kriticky dôležité, ak vzdušné prúdy výrazne ovplyvňujú pohyb plavidla, ako tomu je v prípade lode alebo vzducholode. Opti- málne riadenie môže ušetriť čas cesty, spotrebu paliva a včasným varovaním zabrániť letu v nepriaznivých podmienkach. Implementovali sme numerický algoritmus na výpočet ča- sovo optimálnej trajektórie pre diaľkový let vzducholode v premenlivom atmosférickom prúdení. Testovali sme ho na modelových zadaniach aj reálnych meteorologických dátach. Výsledkom práce je softvér s grafickým rozhraním schopný vypočítať optimálne navigačné inštrukcie, získať automatizovane predpoveď počasia a vykresliť výstupy, ktorých súčas- ťou je aj indikácia presnosti výpočtu. Keywords: vzducholoď|letecká navigácia|optimálne riadenie|Zermelova úloha|levelset|fast marching method|Djikstrov algoritmus; zeppelin|airship navigation|optimal control|Zermelo's problem|levelset|fast marching method|Djikstra's algorithm Available in a digital repository NRGL
Řešení Zermelova navigačního problému pomocí level-set metody

Effective path planning for long-distance flights is critically important when air streams significantly affect airship movement, as is the case for a ship or a zeppelin. Optimal con- trol can save ...

Šimkovič, Pavol; Tůma, Karel; Hron, Jaroslav
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