Počet nalezených dokumentů: 168546
Publikováno od do

Aplikace na vytváření kytarových zpěvníku z písní dostupných na webu
Mezera, Matěj; Kliber, Filip; Kofroň, Jan
2024 - český
The guitar songbook is a list of song lyrics with chords. Most guitarists create their own songbooks, and the existing programs for guitar songbook creation may not cover most of the features that the user expects from them. In this work we are focusing on design and implementation of a new application for guitar songbook creation. The application differs from others in that it allows you to add songs available on the Internet to the songbook. Songs from websites are added to the songbook using the web scraping technique. Other functions of the application are for example editing existing songs, saving the songbook for later editing or adding your own songs to the songbook. The resulting songbook can be saved in several formats, especially in PDF format. Kytarový zpěvník je seznam textů písní s akordy. Většina kytaristů si vytváří vlastní zpěvníky, přičemž existující programy pro tvorbu kytarového zpěvníku nemusí pokrývat většinu funkcí, které od nich uživatel očekává. V této práci se zabýváme návrhem a implementací nové aplikace, která slouží k tvorbě kytarového zpěvníku. Aplikace se od ostatních liší tím, že umožňuje přidávat do zpěvníku písně dostupné na internetu. Písně se z webových stránek přidávají do zpěvníku pomocí techniky web scraping. Dalšími funkcemi aplikace jsou například úprava existujících písní, uložení zpěvníku pro pozdější úpravu či přidávání vlastních písní do zpěvníku. Výsledný zpěvník lze uložit v několika formátech, především ve formátu PDF. Klíčová slova: zpěvník|application|web|scraping; songbook|application|web|scraping Plné texty jsou dostupné v digitálním repozitáři NUŠL
Aplikace na vytváření kytarových zpěvníku z písní dostupných na webu

The guitar songbook is a list of song lyrics with chords. Most guitarists create their own songbooks, and the existing programs for guitar songbook creation may not cover most of the features that the ...

Mezera, Matěj; Kliber, Filip; Kofroň, Jan
Univerzita Karlova, 2024

2D Game editor
Kotva, Milan; Pergel, Martin; Holan, Tomáš
2024 - český
In this thesis, we introduce 2D game editor providing environment for creation of simple computer games, such as FlappyBird or JumpKing. We present an alternative to other existing game editors, which are either paid (such as Construct 3), or require higher proficiency level and programming skills (such as GameMaker or Godot). Our editor offers interesting features such as usage of custom graphics, music, or customization of laws of physics. For advanced users, it provides simple scripting language, which can be used to modify those properties as well. The usage of the editor is demonstrated on the examples of the traditional game Mario and already mentioned game FlappyBird. V této práci představujeme editor 2D her poskytující prostředí pro tvorbu jednoduchých her, jako jsou například FlappyBird nebo JumpKing. Předkládáme tak alternativu k jiným editorům, které jsou buďto placené (např. Construct 3), nebo vyžadují vyšší úroveň znalostí a zkušeností s programováním (např. GameMaker nebo Godot). Náš editor nabízí možnost použití vlastní grafiky, hudby či úpravu fyzikálních pravidel změnou hodnot vlastností objektů. Pro pokročilejší uživatele je navíc k dispozici jednoduchý skriptovací jazyk, pomocí něhož lze tyto vlastnosti také měnit. Použití editoru demonstrujeme na příkladu tradiční hry Mario a již zmiňované hry FlappyBird. Klíčová slova: Herní editor|2D hra|Vývoj her|Skriptování; Game editor|2D game|Game development|Scripting Plné texty jsou dostupné v digitálním repozitáři NUŠL
2D Game editor

In this thesis, we introduce 2D game editor providing environment for creation of simple computer games, such as FlappyBird or JumpKing. We present an alternative to other existing game editors, which ...

Kotva, Milan; Pergel, Martin; Holan, Tomáš
Univerzita Karlova, 2024

Real-time analýza a validace obrazu z webových kamer
Vlk, Karel; Macková, Kateřina; Šikudová, Elena
2024 - český
Nowadays, digital transformation emphasizes the use of webcams as sources of infor- mation about outdoor conditions, primarily due to their wide availability and potential in meteorology. The work focuses on the analysis and validation of real-time webcam images, which is crucial for the automated provision of information about current meteorological events to users worldwide. The main goal of the work is to achieve efficient analysis and validation of images, providing information with maximum accuracy and minimal delay. Within the scope of the work, an introduction to the issue and an overview of existing methods and technologies are presented. The main parts of the work concentrate on selecting methods and approaches for data processing, which are essential for designing an efficient system. The implemented system, based on selected sophisticated machine learning techniques, is designed to excel in real-time data processing and emphasizes achieving maximum efficiency and effectiveness. V dnešní době digitální transformace nabývá na důležitosti využití webových kamer jako zdrojů informací o venkovních podmínkách a to především díky jejich široké dostup- nosti a potenciálu v oblasti meteorologie. Práce se zaměřuje na analýzu a validaci snímků z webových kamer v reálném čase, která je zásadní pro automatizované poskytování in- formací o aktuálních meteorologických jevech uživatelům po celém světě. Hlavním cílem práce je dosáhnout efektivní analýzy a validace snímků poskytující informace s maximální přesností a minimálním zpožděním. V rámci práce je představen úvod do dané problema- tiky a přehled stávajících metod a technologií. Hlavní části práce se soustředí na výběr metod a přístupů pro zpracování dat, které jsou zásadní pro návrh efektivního systému. Implementovaný systém, založený na vybraných sofistikovaných technikách strojového učení, je navržen tak, aby vynikal ve zpracování dat v reálném čase a klade důraz na dosažení nejvyšší účinnosti a efektivity. Klíčová slova: analýza obrázků|detekce objektů|klasifikace obrazu|klasifikace počasí|počítačové vidění|hluboké učení|konvoluční sítě; image processing|object detection|image classification|weather classification|computer vision|deep learning|convolutional neural network Plné texty jsou dostupné v digitálním repozitáři NUŠL
Real-time analýza a validace obrazu z webových kamer

Nowadays, digital transformation emphasizes the use of webcams as sources of infor- mation about outdoor conditions, primarily due to their wide availability and potential in meteorology. The work ...

Vlk, Karel; Macková, Kateřina; Šikudová, Elena
Univerzita Karlova, 2024

Vizualizace algoritmů pro návrh databází
Duong, Xuan Anh; Kopecký, Michal; Koupil, Pavel
2024 - český
This bachelor's thesis focuses on the development of a web application designed for the visualization and interactive testing of algorithms needed for the design of relational database schemas. The primary goal of the application is to provide students with a deeper understanding and practice of relational database schema design, based on functional dependencies and normal forms. The application allows users to enter their own definition of a universal scheme and watch step-by-step how individual algorithms, starting with the algorithm for calculating the attribute closure, work on the entered data. This can help users better understand theoretical concepts and get feedback on the correctness of their solutions. The thesis also contains the theoretical basis needed for understanding the implemented algorithms, which can be a valuable basis for studying and preparing for exams on database systems. Tato bakalářská práce se zaměřuje na vývoj webové aplikace, určené pro vizualizaci a interaktivní zkoušení algoritmů, potřebných pro návrh relačních databázových schémat. Primárním cílem aplikace je poskytnout studujícím možnost hlubšího porozumění a praktického procvičení návrhu schématu relační databáze, založenému na funkčních závislostech a normálních formách. Aplikace umožňuje uživatelům zadávat vlastní definici univerzálního schématu a sledovat krok za krokem, jak jednotlivé algoritmy, počínaje algoritmem pro výpočet atributového uzávěru, na zadaných datech pracují. To může uživatelům pomoci lépe porozumět teoretickým konceptům a získat zpětnou vazbu o správnosti svých řešení. Práce obsahuje rovněž teoretický základ, potřebný pro porozumění implementovaným algoritmům, což může být cenným podkladem pro studium a přípravu na zkoušky z databázových systémů. Klíčová slova: Visualizace algoritmů|Návrh datového modelu|Relační datový model|Normalizace|Webová aplikace; Visualization of algorithms|Data model design|Relational data model|Normalization|Web Application Plné texty jsou dostupné v digitálním repozitáři NUŠL
Vizualizace algoritmů pro návrh databází

This bachelor's thesis focuses on the development of a web application designed for the visualization and interactive testing of algorithms needed for the design of relational database schemas. The ...

Duong, Xuan Anh; Kopecký, Michal; Koupil, Pavel
Univerzita Karlova, 2024

Combining effects with dependent types
Mückenschnabel, Maya; Petříček, Tomáš; Šefl, Vít
2024 - český
Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing incorrect states to be representable. Languages like Idris show that dependent type systems are practically useful, not only for formal proofs, but also for creating fewer bugs in production. But the purity of computation poses a problem for composability of stateful computations and of side effects. Effect handlers provide one possible solution for this problem. In this thesis we propose an effect extension of depen- dent type systems. The resulting system not only makes it possible to provide guarantees about correctness of a program, but also make it easy to compose such guarantees using effects. We formalize the type system and present a prototype implementation. Klíčová slova: dependent types|effect handlers|type systems; dependent types|effect handlers|type systems Plné texty jsou dostupné v digitálním repozitáři NUŠL
Combining effects with dependent types

Dependent type systems provide a novel way of reasoning about program correctness, by embedding behavior of the program into the more expressive type system. Correctness is achieved by not allowing ...

Mückenschnabel, Maya; Petříček, Tomáš; Šefl, Vít
Univerzita Karlova, 2024

Jak výkonnostní sport ovlivňuje stravování dětí a rozvoj poruch příjmu potravy
Černá, Renata; Floriánková, Marcela; Kosheleva, Svetlana
2024 - český
5 ABSTRACT The theoretical part of the bachelor's thesis addresses the issue of eating disorders with a focus on children and adolescents and it also explores the influence of sports, particularly at the high- performance level, on the nutritional needs of children and adolescents, as well as the risk of developing an eating disorder. The practical part compares selected parameters of children in the 4th year of elementary school (comparing sports and regular classes) and in the 6th year of elementary school (comparing sports and regular classes). It involves monitoring anthropometric data, the correlation between subjective perception of one's own weight and its objective assessment, food choices with regard to their effects on health, weight and performance, adherence to dietary measures, the presence of targeted weight loss in the last 6 months, the intensity of regular physical activity, and selected factors of the external environment that are considered risky in terms of the development of eating disorders. There was no statistically significant difference in the BMI of children from the sports class and the regular class in the first stage, but the BMI of children from the sports class was statistically significantly lower (p < 0.001) in the second grade. In other parameters, there was no significant... 4 ABSTRAKT Bakalářská práce ve své teoretické části pojednává o problematice poruch příjmu potravy (PPP) se zaměřením na děti a adolescenty a zároveň vlivu sportu, zejména provozovanému na výkonnostní úrovni, na nutriční potřeby dětí a dospívajících a na riziko rozvoje poruchy příjmu potravy. Praktická část je věnována srovnání vybraných parametrů u dětí ve 4. ročníku základní školy (porovnání sportovní a běžné třídy) a v 6. ročníku ZŠ (porovnání sportovní a běžné třídy). Sledovány byly antropometrické údaje, korelace mezi subjektivním vnímáním vlastní hmotnosti a jejím objektivním posouzením, výběr potravin s ohledem na jejich vliv na zdraví, hmotnost a výkon, dodržování dietních opatření, přítomnost cíleného hubnutí v posledních 6 měsících, intenzita pravidelné pohybové aktivity a vybrané faktory vlivu vnějšího prostředí, které jsou považovány za rizikové z hlediska rozvoje PPP. Ve sledovaném souboru nebyl zjištěn statisticky významný rozdíl v BMI dětí ze sportovní a běžné třídy na prvním stupni, na druhém stupni byl BMI dětí ze sportovní třídy statisticky významně nižší (p <0,001). V ostatních parametrech nebyl zjištěn významný rozdíl mezi dětmi ze sportovních a běžných tříd - nelišil se podíl dětí, které cíleně hubly, dodržovaly dietní opatření, nelišil se významně podíl dětí, které měly zkreslené... Klíčová slova: poruchy příjmu potravy; výkonnostní sport; dětství; adolescence; mentální anorexie; mentální bulimie; eating disorder; high-performance sport; childhood; adolescence; anorexia nervosa; bulimia nervosa Plné texty jsou dostupné v digitálním repozitáři NUŠL
Jak výkonnostní sport ovlivňuje stravování dětí a rozvoj poruch příjmu potravy

5 ABSTRACT The theoretical part of the bachelor's thesis addresses the issue of eating disorders with a focus on children and adolescents and it also explores the influence of sports, particularly at ...

Černá, Renata; Floriánková, Marcela; Kosheleva, Svetlana
Univerzita Karlova, 2024

Procesy slabé saturace v multipartitních hypergrafech
Rajský, Adam; Tyomkyn, Mykhaylo; Tancer, Martin
2024 - český
Given hypergraphs H and P, wsat(H, P) denotes the smallest number of edges in a subgraph of H with the property that the missing edges can be sequentially added such that the addition of every edge creates a new copy of P. In 1985 Alon proved that wsat(Kn, P)/n tends to a finite limit for any graph P. A generalisation of this Theorem to r-uniform hypergraphs was conjectured by Tuza in 1992 and proved by Shapira and Tyomkyn in 2021. In this thesis, we use the methodology introduced by Shapira and Tyomkyn to prove a similar theorem when H is a complete r-partite r- uniform hypergraph. Dané hypergrafy H a P, wsat(H, P) označuje najmenší počet hrán v podgrafe H s vlastnosťou, že chýbajúce hrany možno postupne pridať tak, že pridanie každej hrany vytvorí novú kópiu P. V roku 1985 Alon dokázal, že wsat(Kn, P)/n konverguje k vlastnej limite pre akýkoľvek graf P. Tuza sa v roku 1992 domnieval, že platí zobecnenie tejto vety pre r-uniformné hypergrafy a dokázali ho Shapira a Tyomkyn v roku 2021. V tejto práci používame metodológiu, ktorú zaviedli Shapira a Tyomkyn, aby sme dokázali podobnuú vetu, v ktorej H je úplný r-partitný r-uniformný hypergraf. Klíčová slova: wsat|slabá saturácia|hypergraf|extremálna kombinatorika; wsat|weak saturation|hypergraph|extremal combinatorics Plné texty jsou dostupné v digitálním repozitáři NUŠL
Procesy slabé saturace v multipartitních hypergrafech

Given hypergraphs H and P, wsat(H, P) denotes the smallest number of edges in a subgraph of H with the property that the missing edges can be sequentially added such that the addition of every edge ...

Rajský, Adam; Tyomkyn, Mykhaylo; Tancer, Martin
Univerzita Karlova, 2024

Framework pro interaktivní distribuovanou síť světelných zařízení
Kurek, Daniel; Obdržálek, David; Vodrážka, Jindřich
2024 - český
This work presents a framework for interactive appliaction on a distributed network of lighting devices based on Espressif ESP32-S3 modules. The framework locates devices by measuring their mutual distances. There are two types of devices, fixed stations and mobile devices, due to the intended use of the framework. The work also includes a helping application for a PC that visualizes the localization and allows direct control of devices. The framework uses Bluetooth mesh for communication and WiFi FTM (RTT) for distance measurement. To test the framework, physical devices were designed and fabricated. The framework and fabricated devices are demonstrated in a 'Find Your Color' game where the goal is to bring mobile device to a fixed station with the same color as the mobile device. Tato práce představuje framework pro práci s distribuovanou sítí světelných zaří- zení založených na modulech Espressif ESP32-S3. Framework lokalizuje zařízení na zá- kladě měření jejich vzájemných vzdáleností, přičemž vzhledem k plánovanému použití frameworku rozlišuje mezi pevně umístěnými stanicemi a mobilními zařízenimi. Součástí práce je i pomocná aplikace pro osobní počítač, která vizualizuje lokalizaci a umožňuje přímé ovládání (nastavení) zařízení. Pro komunikaci framework používá Bluetooth mesh a pro měření vzdáleností WiFi FTM (RTT). K otestování frameworku byla navržena a vyrobena fyzická zařízení. Framework a vyrobená zařízení jsou předvedeny na hře 'Najdi svoji barvu', kde je cílem dojít s mobilním zařízením k pevně umístěné stanici se stejnou barvou, jako má mobilní zařízení. Klíčová slova: Bluetooth mesh|lokalizační systém|distribuovaná síť; Bluetooth Mesh|Localization System|Distributed Network Plné texty jsou dostupné v digitálním repozitáři NUŠL
Framework pro interaktivní distribuovanou síť světelných zařízení

This work presents a framework for interactive appliaction on a distributed network of lighting devices based on Espressif ESP32-S3 modules. The framework locates devices by measuring their mutual ...

Kurek, Daniel; Obdržálek, David; Vodrážka, Jindřich
Univerzita Karlova, 2024

Online hry na podporu výuky "nové" informatiky na druhém stupni základní školy
Bohatová, Zuzana; Pešková, Klára; Forstová, Lenka
2024 - český
The thesis describes the development of the web application Starting With Computer Science (Začínáme s informatikou) for teaching computer science at the lower secondary level (ISCED 2). The application contains five themes. Each topic is divided into an in- troductory theoretical section and an interactive part. For example, it includes activities such as matching pairs on the topic of data storage, assembling a computer mother- board, or finding a path in a graph. In the thesis, the newly updated Czech national computing curriculum for lower secondary education, known as New Informatics, is in- troduced, followed by an analysis of existing interactive educational websites.Then we present an analysis of our solution, the user and application development documentation. Finally, we review the progress and results from testing the application with third-year students at an eight-year gymnasium. Práce popisuje vývoj webové aplikace Začínáme s informatikou pro výuku informatiky na druhém stupni základní školy. Aplikace obsahuje pět témat. Každé téma je rozděleno na úvod do teorie a interaktivní část. Najdeme zde pexeso na téma ukládání dat, mož- nost poskládat základní desku počítače nebo najít cestu v grafu a další. V textu práce je nejprve představen revidovaný vzdělávací program pro základní vzdělávání v oblasti Informatika, tzv. nová informatika a jsou zanalyzovány již existující interaktivní výukové weby. Dále představíme analýzu našeho řešení, uživatelskou a vývojovou dokumentaci aplikace. Závěrem projdeme průběh a výsledky testování aplikace na nižším stupni osmi- letého gymnázia. Klíčová slova: výuková hra|nové RVP ZV|druhý stupeň základní školy; educational game|new curriculum framework|ISCED 2 Plné texty jsou dostupné v digitálním repozitáři NUŠL
Online hry na podporu výuky "nové" informatiky na druhém stupni základní školy

The thesis describes the development of the web application Starting With Computer Science (Začínáme s informatikou) for teaching computer science at the lower secondary level (ISCED 2). The ...

Bohatová, Zuzana; Pešková, Klára; Forstová, Lenka
Univerzita Karlova, 2024

Klasifikace autorství textu s neznámým autorem
Dolník, Karel; Hajič, Jan; Mírovský, Jiří
2024 - český
Statistical and computational authorship attribution is a widely researched topic in literary science, but few works deal with solving the problem when the classified text does not belong to any of the authors the model saw during training. This work seeks a way to detect such an unknown author using machine learning methods commonly used for authorship attribution, especially the SVM classifier. He we introduce a modified One-versus-Rest-and-None classification scheme, which extends the One-versus-Rest scheme by training with data that does not belong to any classified author. This can be done using synthetically produced data or data from authors who are certain to have no connection to the classified texts. It turned out that the smallest decrease in accuracy occurred when synthetic data is used, compared to the classification without detection of an unknown author. Přiřazení autorství pomocí statistických a výpočetních metod je hojně zkoumaným tématem literární vědy, ovšem jen málo prací se zabývá řešením problému, kdy klasifikovaný text nenapsal nikdo z autorů, které model viděl při trénování. Tato práce hledá způsob, jak takového neznámého autora detekovat v rámci stejných metod strojového učení, které se pro přiřazení autorství běžně používají, zejména klasifikátoru SVM. Zavádíme zde upravené klasifikační schéma One-versus-Rest-and-None které rozšiřuje schéma One-versus-Rest o trénování pomocí dat, která nepatří žádnému klasifikovanému autorovi. K tomu lze využít synteticky vytvořená data, nebo data od autorů, u kterých je jisté, že s klasifikovanými texty nejsou nijak spojeni. Ukázalo se, že právě při použití syntetických dat dojde k nejmenšímu snížení přesnosti oproti klasifikaci bez detekce neznámého autora. Klíčová slova: klasifikace autorství|strojové učení|výpočetní literární věda|stylometrie; authorship classification|machine learning|computational literary science|stylometry Plné texty jsou dostupné v digitálním repozitáři NUŠL
Klasifikace autorství textu s neznámým autorem

Statistical and computational authorship attribution is a widely researched topic in literary science, but few works deal with solving the problem when the classified text does not belong to any of ...

Dolník, Karel; Hajič, Jan; Mírovský, Jiří
Univerzita Karlova, 2024

O službě

NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.

Vaše náměty a připomínky posílejte na email nusl@techlib.cz

Provozovatel

http://www.techlib.cz

Facebook

Zahraniční báze