Aplikace pro vytváření osobního rozvrhu
Rajczy, Pavol; Pešková, Klára; Svoboda, Martin
2024 - slovenský This work presents a Windows application developed to increase user focus and effici- ency through effective time and schedule management strategies. The software integrates established methods such as Eat That Frog!, the Eisenhower Matrix, the 80-20 Rule, and the modified Eat That Frog! along with the Pomodoro Technique to help users create and stick to optimized schedules. After successfully mastering the activity in the schedule, the user has the opportunity to share his result with other users, which also increases motivation. The study underscores the app's role in promoting improved work habits and concentration. The development process, from design to implementation, prioritizes practical functions in the creation of a schedule. Táto práca predstavuje Windows aplikáciu vyvinutú na zvýšenie zamerania a efek- tívnosti užívateľov prostredníctvom efektívnych stratégií riadenia času a rozvrhu. Softvér integruje zavedené metódy ako Eat That Frog!, Eisenhower Matrix, 80-20 Rule a up- ravenú metódu Eat That Frog! spolu s Pomodoro Technique na pomoc používateľom pri vytváraní a dodržiavaní optimalizovaných rozvrhov. Po úspešnom zvládnutí aktiv- ity v rozvrhu má užívateľ možnosť zdieľať svoj výsledok s inými užívateľmi, čo taktiež zvyšuje motiváciu. Štúdia podčiarkuje úlohu aplikácie pri podpore zlepšených pracovných návykov a koncentrácie. Proces vývoja, od návrhu až po implementáciu, uprednostňuje praktické funkcie pri tvorbe rozvrhu. Klíčová slova: Pomodoro|Eat That Frog!|Eisenhower Matrix|80-20 Rule|časový manažment|stavanie rozvrhu; Pomodoro|Eat That Frog!|Eisenhower Matrix|80-20 Rule|time managment|construction of timetable Plné texty jsou dostupné v digitálním repozitáři NUŠL Aplikace pro vytváření osobního rozvrhu

This work presents a Windows application developed to increase user focus and effici- ency through effective time and schedule management strategies. The software integrates established methods such ...

Rajczy, Pavol; Pešková, Klára; Svoboda, Martin
Univerzita Karlova, 2024

Webová aplikace na procvičování databázových dotazů
Ságová, Sabína; Pešková, Klára; Klímek, Jakub
2024 - slovenský Within this work, an educational web application was created for prac- ticing database queries using SQL language. The website consists of of four main parts - SQL hřiště, Úkoly, Diskusní fórum and Test. Students are free to experiment with the database in the SQL hřiště. In the Úkoly section, they have a variety of tasks to practice SQL queries. Each task has its own as- signment and students can write the solution. After submitting the solution, they will find out whether their solution was correct or not. In the Diskusní fórum section, they can see a practical example of using SQL queries. In the Test section, students can practice tasks of the teacher's choice. The Test section allows teachers to add their own tasks, create task sets and easily share them with students. Thanks to the use of a local database there is no need for students to register anywhere, making the application easy to use in schools. Pilot testing has been carried out, which has shown that the ap- plication is functional, but it would still be advisable to test the application in the classroom with secondary school students. V rámci tejto práce vznikla vzdelávacia webová aplikácia na precvičovanie databázových dopytov pomocou jazyka SQL. Stránka sa skladá zo štyroch hlavných častí - SQL hřiště, Úkoly, Diskusní fórum a Test. Študenti majú možnosť voľného experimentovania s databázou v časti SQL hřiště. V časti Úkoly majú k dispozícii rôzne úlohy na precvičovanie SQL dopytov. Každá úloha má svoje zadanie a študenti môžu napísať riešenie. Po odoslaní riešenia zistia, či ich riešenie bolo správne alebo nie. V časti Diskusní fórum môžu vidieť praktický príklad použitia SQL dopytov. V časti Test si študenti môžu precvičovať úlohy podľa výberu učiteľa. Časť Test umožňuje učiteľom pridá- vať vlastné úlohy, vytvárať sady úloh a jednoducho ich zdieľať so študentmi. Vďaka použitiu lokálnej databázy nie je potrebné, aby sa študenti niekde registrovali a aplikácia je teda ľahko použiteľná v školách. Prebehlo pilotné testovanie, ktoré ukázalo, že je aplikácia funkčná, ale stále by bolo vhodné aplikáciu otestovať vo výučbe so stredoškolskými študentmi. Klíčová slova: SQL precvičovanie|vzdelávacia webová aplikácia|stredné školy; SQL practice|educational web application|secondary schools Plné texty jsou dostupné v digitálním repozitáři NUŠL Webová aplikace na procvičování databázových dotazů

Within this work, an educational web application was created for prac- ticing database queries using SQL language. The website consists of of four main parts - SQL hřiště, Úkoly, Diskusní fórum and ...

Ságová, Sabína; Pešková, Klára; Klímek, Jakub
Univerzita Karlova, 2024

Validátor CSV souborů dle W3C doporučení CSV on the Web
Kolcun, Michal; Klímek, Jakub; Svoboda, Martin
2024 - slovenský The goal of this thesis was to create a validator of CSV files according to the CSV on the Web recommendations, which enhance CSV data format. This validation is needed to increase the quality of data on the web. Validator offers multiple user-friendly interfaces in the form of CLI app, web service and web app. The validator itself is a library implemented in the popular object-oriented programming language C#. In this thesis we will describe the development of the validator, starting with the recommendations and analysis of existing solutions, through the design of architecture and user interfaces, and finish with the description of implementation, testing, and evaluation of software solution. 1 Cieľom práce bolo vytvorenie validátoru CSV súborov podľa odporúčaní CSV on the Web, ktoré bližšie špecifikujú dátový formát CSV. Takáto validácia je potrebná pre zvýšenie kvality dát na webe. Validátor poskytuje používateľom viacero prívetivých používateľských rozhraní v podobe CLI aplikácie, webovej služby a webovej aplikácie. Validačná funkcionalita je implementovaná v podobe knižnice v populárnom objektovo- orientovanom jazyku C#. V texte práce priblížime vývoj validátora a všetkých jeho po- užívateľských rozhraní od samotných doporučení CSV on the Web, analýzy existujúcich riešení, návrhu architektúry, až po samotnú implementáciu, testovanie a evaluáciu vý- sledného softvérového diela. 1 Klíčová slova: CSV|JSON-LD|Validácia dát|web; CSV|JSON-LD|web|validator Plné texty jsou dostupné v digitálním repozitáři NUŠL Validátor CSV souborů dle W3C doporučení CSV on the Web

The goal of this thesis was to create a validator of CSV files according to the CSV on the Web recommendations, which enhance CSV data format. This validation is needed to increase the quality of data ...

Kolcun, Michal; Klímek, Jakub; Svoboda, Martin
Univerzita Karlova, 2024

Rozptyl součinu náhodných veličin
Danácsová, Michaela; Pawlas, Zbyněk; Dvořák, Jiří
2024 - slovenský 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 Klíčová slova: rozptyl součinu|náhodné veličiny|lineární aproximace|párové pozorování; variance of the product|random variables|linear approximation|paired observations Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - slovenský 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. Klíčová slova: 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 Plné texty jsou dostupné v digitálním repozitáři NUŠL Ř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

Bilineární model pro časové řady
Čorejová, Katarína; Zichová, Jitka; Vejmělka, Petr
2024 - slovenský Title: A bilinear model for time series Author: Katarína Čorejová Department: Department of Probability and Mathematical Statistics Supervisor: RNDr. Jitka Zichová, Dr., Department of Probability and Mathema- tical Statistics Abstract: The bilinear model is used to describe the structure of non-linear time series. In this thesis, we discuss the bilinear model BL(P,0,P,1). The main goal is to derive conditions for the first-order and the second-order stationarity, to present its moment and covariance structure, to derive the condition for invertibility and to discuss the method of estimating parameters. The theoretical part of this thesis also presents a test of linearity, which enables to test the presence of the bilinear effect in a given time series. In the following simulation study, we apply the theory to several generated time series from the BL(1,0,1,1) model. Depending on the chosen parameters and length of the generated time series, we examine the accuracy of parameter estimation, the empirical level and the empirical power of the test of linearity. Keywords: time series, bilinear model, stationarity, invertibility, parameter esti- mation, linearity testing. 1 Názov práce: Bilineárny model pre časové rady Autor: Katarína Čorejová Katedra: Katedra pravděpodobnosti a matematické statistiky Vedúci bakalárskej práce: RNDr. Jitka Zichová, Dr., Katedra pravděpodobnosti a matematické statistiky Abstrakt: Bilineárny model je schopný popísat' správanie nelineárnych časových radov. V tejto práci sa primárne venujeme bilineárnemu modelu BL(P,0,P,1). Ciel'om je odvodit' podmienky stacionarity prvého a druhého rádu, ukázat' jeho momentovú a kovariančnú štruktúru, odvodit' podmienku invertibility a uviest' metódu odhadovania parametrov. Súčast'ou teoretickej časti je aj zavedenie testu linearity, ktorý je schopný overit' prítomnost' bilineárneho efektu v danom časovom rade. V praktickej časti práce aplikujeme teóriu na generované časové rady z modelu BL(1,0,1,1). Na jej základe následne skúmame presnost' odhadov para- metrov, empirickú hladinu a empirickú silu testu linearity, v závislosti od vol'by parametrov modelu a d'lžky generovaných radov. Kl'účové slová: časový rad, bilineárny model, stacionarita, invertibilita, odhad parametrov, test linearity. 1 Klíčová slova: časový rad|bilineárny model|stacionarita|invertibilita|odhad parametrov|test linearity; time series|bilinear model|stationarity|invertibility|parameter estimation|linearity testing Plné texty jsou dostupné v digitálním repozitáři NUŠL Bilineární model pro časové řady

Title: A bilinear model for time series Author: Katarína Čorejová Department: Department of Probability and Mathematical Statistics Supervisor: RNDr. Jitka Zichová, Dr., Department of Probability and ...

Čorejová, Katarína; Zichová, Jitka; Vejmělka, Petr
Univerzita Karlova, 2024

Distribuční modely šperků
Minárik, Martin; Kopa, Miloš; Branda, Martin
2024 - slovenský This work solves jewelry distribution problem using the theory of integer prog- ramming. In theoretical part we present basic definitions and fundamental theory of integer programming. Theoretical part also presents detailed description of the Branch and bound algorithm. Practical part tackles a real world problem. The goal of the practical part is to optimaly distribute jewelry of the chosen brand to their butiques. Firstly, we present the creation of the integer programming model that solves this problem considering multiple criteria. Secondly, in practical part we present the description of the input data and also the analisis of the result of distribution of the input data using proposed model for 3 diferent combinations of input parameters. 1 Táto práca rieši problém distribúcie šperkov pomocou teórie celočiselného programovania. V teoretickej časti sú definované základné pojmy a predstavená základná teoria celočísleného programovania. Teoretická časť sa taktiež zaoberá detailným popisom Algoritmu vetvenia a medzí (Branch and bound algorithm). Praktická časť rieši reálny problém z praxe. Cielom tejto časti je optimálne roz- deliť šperky vybranej značky na butiky danej značky. Je v nej predstavená tvorba modelu celočísleného programovania riešiaceho danú problematiku pomocou via- cerých kritérií. Následne sa praktická časť venuje popisu vstupných dát a rozboru výsledkov distribúcie vstupných dát pomocou navrnutého modelu pre 3 kombi- nácie vstupných parametrov, ktoré jemne pozmenia navrhnutý model. 1 Klíčová slova: distribuční model|optimalizace|celočíselné programování; distribution models|optimization|integer programming Plné texty jsou dostupné v digitálním repozitáři NUŠL Distribuční modely šperků

This work solves jewelry distribution problem using the theory of integer prog- ramming. In theoretical part we present basic definitions and fundamental theory of integer programming. Theoretical ...

Minárik, Martin; Kopa, Miloš; Branda, Martin
Univerzita Karlova, 2024

Mediální obraz Romů v období první a druhé Československé republiky (1918-1939). Diskurzivní analýza dobového českého a slovenského tisku
Bialiková, Alžbeta; Baloun, Pavel; Tuček, Jan
2024 - slovenský Plné texty jsou dostupné v digitálním repozitáři NUŠL Mediální obraz Romů v období první a druhé Československé republiky (1918-1939). Diskurzivní analýza dobového českého a slovenského tisku

Bialiková, Alžbeta; Baloun, Pavel; Tuček, Jan
Univerzita Karlova, 2024

Slabé řešení Navier-Stokesových rovnic
Šegeda, Adrián; Kreml, Ondřej; Souček, Ondřej
2024 - slovenský We derive the weak formulation of the Navier-Stokes equations directly from the basic physical principles, showing that the weak formulation and thus also the weak solution are completely natural for this system. Next, we will show the effect of various boundary conditions on this weak formulation. Finally, we summarize the already known concepts of solutions of the Navier-Stokes equations with theorems about their existence and ex- plain relationships among them. 1 Priamo zo základných fyzikálnych princípov odvodíme slabú formuláciu Navier-Stoke- sových rovníc, čím ukážeme, že slabá formulácia a teda aj slabé riešenie sú úplne priro- dzené pre popis tohto systému. Ďalej ukážeme, aký vplyv majú rôzne okrajové podmienky na túto slabú formuláciu. Nakoniec zhrnieme už známe pojmy riešení Navier-Stokesových rovníc s vetami o ich existencii a vysvetlíme jednotlivé vzťahy medzi nimi. 1 Klíčová slova: Navier-Stokesovy rovnice|slabé řešení|vhodné slabé řešení|okrajové podmínky; Navier-Stokes equations|weak solution|suitable weak solution|boundary conditions Plné texty jsou dostupné v digitálním repozitáři NUŠL Slabé řešení Navier-Stokesových rovnic

We derive the weak formulation of the Navier-Stokes equations directly from the basic physical principles, showing that the weak formulation and thus also the weak solution are completely natural for ...

Šegeda, Adrián; Kreml, Ondřej; Souček, Ondřej
Univerzita Karlova, 2024

Redukční tahy na kombinatorických površích a eulerovské sféry
Vorobel, Michal; Drápal, Aleš; Patáková, Zuzana
2024 - slovenský The work is focused on the structure of triangulations of combinatorial surfaces. By analyzing several local reduction moves and one global move, several known results are proven in a new way. This includes the fundamental inequality for the Euler characteristic, Fáry's theorem, and the existence of two local moves that can be used to obtain all Eulerian combinatorial spheres from an octahedron, more precisely every triangulation of sphere in which each vertex has even degree. 1 Práce se týká struktury triangulací kombinatorických povrchů. Analýzou několika lo- kálních redukčních tahů a jednoho globálního tahu jsou dokázány některé známé výsledky novým způsobem. Jedná se o základní nerovnost pro Eulerovu charakteristiku, Fáryho větu a existenci dvou lokálních tahů, pomocí nichž lze z osmistěnu získat všechny eu- lerovské kombinatorické sféry, konkrétně triangulace sféry, ve kterých má každý vrchol sudý stupeň. 1 Klíčová slova: kombinatorický povrch|rovinný graf|eulerovská sféra|redukční tah; combinatorial surface|planar graph|eulerian sphere|reduction move Plné texty jsou dostupné v digitálním repozitáři NUŠL Redukční tahy na kombinatorických površích a eulerovské sféry

The work is focused on the structure of triangulations of combinatorial surfaces. By analyzing several local reduction moves and one global move, several known results are proven in a new way. This ...

Vorobel, Michal; Drápal, Aleš; Patáková, Zuzana
Univerzita Karlova, 2024