Architektury Transformerů pro Vícekanálová Data
Zavidnyi, Ilia; Bojar, Ondřej; Polák, Peter
2024 - English Keywords: Strojové učení|Vícekanálové transformery|Biometrická data; Machine Learning|Multi-channel Transformers|Biometric data Available in a digital repository NRGL Architektury Transformerů pro Vícekanálová Data

Zavidnyi, Ilia; Bojar, Ondřej; Polák, Peter
Univerzita Karlova, 2024

Rozpoznávání rytmu
Vomelová, Lucie; Mareš, Martin; Pešková, Klára
2024 - English Rytmus je důležitou součástí hudby. Pro lidi je často snadné slyšet rytmus písně, ale automatická detekce rytmu je komplikovaná. V této práci představíme algoritmus na automatickou detekci rytmu v písních s konstantním tempem. Algoritmus sestává z následujících kroků: detekce počátků not, analýza tempa, detekce dob a detekce rytmu. Pro každý krok představíme různé postupy. Cílem práce je tyto postupy porovnat. Sou- částí práce je balíček napsaný v jazyce Python, který implementuje algoritmus na detekci rytmu a nabízí všechny popsané postupy. Balíček použijeme v experimentech, z jejichž výsledků určíme nejlepší postupy. Rhythm is an important part of music. It is easy for humans to hear or feel the rhythm of a song, but automatic rhythm recognition is a complicated task. In this work, we in- troduce an algorithm for automatic rhythm recognition in songs with constant tempo. The algorithm follows these steps: onset detection, tempo analysis, beat detection, and rhythm detection. We introduce different approaches for each step. The goal is to com- pare the approaches to find the best one. We provide a Python package implementing all of the described approaches and steps. We also conduct experiments to determine the best approach in each step. Keywords: hudba|rytmus|tempo|Fourierova transformace; music|rhythm|tempo|Fourier transform Available in a digital repository NRGL Rozpoznávání rytmu

Rytmus je důležitou součástí hudby. Pro lidi je často snadné slyšet rytmus písně, ale automatická detekce rytmu je komplikovaná. V této práci představíme algoritmus na automatickou detekci rytmu v ...

Vomelová, Lucie; Mareš, Martin; Pešková, Klára
Univerzita Karlova, 2024

Odšumovací difúzní modely pro generování dynamických obrazů oblohy
Gladkykh, Sviatoslav; Šikudová, Elena; Mirbauer, Martin
2024 - English Keywords: Difúzní modely|Generování obrazu|Predikce obrazu|Generování videa|Video predikce; Difusion models|Image generation|Image prediction|Video generation|Video prediction Available in a digital repository NRGL Odšumovací difúzní modely pro generování dynamických obrazů oblohy

Gladkykh, Sviatoslav; Šikudová, Elena; Mirbauer, Martin
Univerzita Karlova, 2024

Rychlé algoritmy pro mechanismus pozornosti
Reizin, Tymofii; Kolman, Petr; Yorsh, Uladzislau
2024 - English Keywords: Strojové učení|Velké jazykové modely|Transformátory|Lineární algebra|Polynomy; Machine learning|Large language models|Transformers|Linear algebra|Polynomials Available in a digital repository NRGL Rychlé algoritmy pro mechanismus pozornosti

Reizin, Tymofii; Kolman, Petr; Yorsh, Uladzislau
Univerzita Karlova, 2024

Dotazovací jazyk pro relační databáze
Koňařík, David; Petříček, Tomáš; Bednárek, David
2024 - English Relační databáze jsou široce rozšířené v softwarovém inženýrství, ale jazyk, kterým se k nim přistupuje, SQL, byl vytvořen v 70. letech minulého století a má řadu pro- blémů, které komplikují složitější dotazy. V této práci poukážeme na některé vady SQL, projdeme vybrané existující alternativy a definujeme nový dotazovací jazyk, PPPQL, na základě konceptu posloupnosti transformací. PPPQL má oproti SQL konzistentní syntax a sémantiku, díky čemuž umožňuje jednodušeji vyjádřit komplexní dotazy. Nejprve uvedeme PPPQL skrz řadu příkladů, pak definujeme syntax a sémantiku jazyka, včetně formálního popisu pro část jazyka. Abychom validovali jeho design, jazyk PPPQL byl implementován jako rozšíření do Postgres. Projdeme nejzajímamější části jeho implementace a ukážeme, jak může být alternativní dotazovací jazyk implementován v systému Postgres. Relational databases are widely used in software engineering, but the language used to access them, SQL, was created in the 1970s and has numerous problems that make writing complex queries unnecessarily difficult. In this thesis we will present some flaws of SQL, go through select existing alternatives, and define a new query language, PPPQL, based on the concept of a query pipeline. PPPQL improves on SQL by having a consistent syntax and semantics, allowing complex queries to be expressed more simply. We will first introduce PPPQL through a series of examples, then define the syntax and semantics of the language, using a formal description for part of the language. To validate PPPQL's design, the language was implemented as an extension to Post- gres. We will discuss the most interesting parts of its implementation and see how an alternative query language can be implemented in Postgres. Keywords: dotazovací jazyk|relační databáze|návrh jazyků|SQL|Postgres|PostgreSQL; query language|relational database|language design|SQL|Postgres|PostgreSQL Available in a digital repository NRGL Dotazovací jazyk pro relační databáze

Relační databáze jsou široce rozšířené v softwarovém inženýrství, ale jazyk, kterým se k nim přistupuje, SQL, byl vytvořen v 70. letech minulého století a má řadu pro- blémů, které komplikují ...

Koňařík, David; Petříček, Tomáš; Bednárek, David
Univerzita Karlova, 2024

Analýza dat z dvou-vrstvého Timepix3 detektoru
Smajljaj, Penda; Mráz, František; Koupil, Pavel
2024 - English Keywords: Neutron detector|particle tracking|solid state detector; neutron detector|particle tracking|solid state detector Available in a digital repository NRGL Analýza dat z dvou-vrstvého Timepix3 detektoru

Smajljaj, Penda; Mráz, František; Koupil, Pavel
Univerzita Karlova, 2024

Optimalizace energie v rodinném domě
David, Jakub; Fink, Jiří; Švancara, Jiří
2024 - English Cílem této práce je porovnat různé optimalizační algoritmy pro optimalizaci spotřeby energie v domácnostech. Uvažujeme model domácnosti s kogenerací tepla a elektřiny, fixní spotřebou elektřiny a horké vody a se zařízenímy s ovladatelným začátkem provozu. K řešení tohoto problému používáme řešič smíšeně celočíselných lineárních úloh a imple- mentovali jsme lokální prohledávání, evoluční algoritmus a optimalizaci hejnem částic. Tyto algoritmy provnáváme na datech naměřených v různých domácnostech. The goal of this thesis is to compare various optimization algorithms for optimizing energy usage in residential households. We consider a model of a household with heat and power cogeneration, fixed electricity and domestic hot water consumption and devices with controllable start of their operation. For this problem, we use a mixed-integer linear programming solver, and we implemented local search, evolutionary algorithm and particle swarm optimization. We compare these algorithms on data measured from multiple different households. Keywords: optimalizace energie|MILP|lokální prohledávání|přírodou inspirované algoritmy; energy optimization|MILP|local search|nature inspired algorithms Available in a digital repository NRGL Optimalizace energie v rodinném domě

Cílem této práce je porovnat různé optimalizační algoritmy pro optimalizaci spotřeby energie v domácnostech. Uvažujeme model domácnosti s kogenerací tepla a elektřiny, fixní spotřebou elektřiny a ...

David, Jakub; Fink, Jiří; Švancara, Jiří
Univerzita Karlova, 2024

Nástroj lsql-csv na zpracování CSV souborů z příkazového řádku
Šťastný, Přemysl; Hubička, Jan; Pangrác, Ondřej
2024 - English lsql-csv je nástroj pro provádění krátkých dotazů nad daty malých CSV souborů z shellu. Díky němu je možné pracovat s malými CSV soubory jako s read-only relační databází. Nástroj implementuje nový jazyk LSQL podobný SQL, speciálně navržený pro práci se CSV soubory v shellu. Designovým cílem LSQL je být lapidárnějším jazykem než SQL. Účelem jeho návrhu je umožnit uživateli rychle psát jednoduché dotazy přímo do terminálu. 1 lsql-csv is a tool for small CSV file data querying from a shell with short queries. It makes it possible to work with small CSV files like with a read-only relational databases. The tool implements a new language LSQL similar to SQL, specifically designed for working with CSV files in a shell. LSQL aims to be a more lapidary language than SQL. Its design purpose is to enable its user to quickly write simple queries directly to the terminal. 1 Keywords: relační databáze|CSV|SQL|Haskell|dotazovací jazyk|unixová filozofie|lsql-csv|LSQL; relational database|CSV|SQL|Haskell|query language|Unix philosophy|lsql-csv|LSQL Available in a digital repository NRGL Nástroj lsql-csv na zpracování CSV souborů z příkazového řádku

lsql-csv je nástroj pro provádění krátkých dotazů nad daty malých CSV souborů z shellu. Díky němu je možné pracovat s malými CSV soubory jako s read-only relační databází. Nástroj implementuje nový ...

Šťastný, Přemysl; Hubička, Jan; Pangrác, Ondřej
Univerzita Karlova, 2024

Zpracování jízdních řádů
Mrkus, František; Fink, Jiří; Pilát, Martin
2024 - English Cílem této práce je vytvořit open-source aplikaci, která by mohla slou- žit jako základ pro analýzu a organizaci veřejné autobusové dopravy, přičemž přímo pracuje s jízdními řády ve formátu JDF, pro zajištění pohodlného pra- covního postupu. Aplikace je zaměřena na plánování autobusových spojů pro organizátory a dopravce veřejné dopravy, včetně souvisejících funkcí, jako je zobrazení jízdních řádů a seznamů odjezdů/příjezdů, vizualizace plánovaných tras na mapě a vytváření vlastních jízdních řádů. Všechny tyto funkce byly úspěšně implementovány a otestovány na reálných datech. A goal of this thesis is to create an open-source application which could serve as foundation for public bus transport analysis and organizing, while di- rectly operating with timetables in a JDF format for a comfortable workflow. The application is centered aroud bus scheduling for public transport orga- nizers and agencies,including related functions such as displaying timetable sheets and departure/arrival lists, map visualization of the planned routes, and creation of custom timetables. All of these features were sucesfully im- plemented and tested on real-world data. Keywords: rozvrhování autobusů|veřejná doprava|optimalizace|vývěsný jízdní řád; bus scheduling|public transport|optimization|spreadsheet timetable Available in a digital repository NRGL Zpracování jízdních řádů

Cílem této práce je vytvořit open-source aplikaci, která by mohla slou- žit jako základ pro analýzu a organizaci veřejné autobusové dopravy, přičemž přímo pracuje s jízdními řády ve formátu JDF, pro ...

Mrkus, František; Fink, Jiří; Pilát, Martin
Univerzita Karlova, 2024

Segmentace skenovanych PDF dokumentů
Saydametov, Nikita; Šikudová, Elena; Tódová, Lucia
2024 - English Keywords: PDF|OCR|segmentace; PDF|OCR|segmentation Available in a digital repository NRGL Segmentace skenovanych PDF dokumentů

Saydametov, Nikita; Šikudová, Elena; Tódová, Lucia
Univerzita Karlova, 2024