Architektury Transformerů pro Vícekanálová Data
Zavidnyi, Ilia; Bojar, Ondřej; Polák, Peter
2024 - anglický Klíčová slova: Strojové učení|Vícekanálové transformery|Biometrická data; Machine Learning|Multi-channel Transformers|Biometric data Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - anglický 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. 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. Klíčová slova: hudba|rytmus|tempo|Fourierova transformace; music|rhythm|tempo|Fourier transform Plné texty jsou dostupné v digitálním repozitáři NUŠL Rozpoznávání rytmu

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 ...

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 - anglický Klíčová slova: Difúzní modely|Generování obrazu|Predikce obrazu|Generování videa|Video predikce; Difusion models|Image generation|Image prediction|Video generation|Video prediction Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - anglický Klíčová slova: Strojové učení|Velké jazykové modely|Transformátory|Lineární algebra|Polynomy; Machine learning|Large language models|Transformers|Linear algebra|Polynomials Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - anglický 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. 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. Klíčová slova: dotazovací jazyk|relační databáze|návrh jazyků|SQL|Postgres|PostgreSQL; query language|relational database|language design|SQL|Postgres|PostgreSQL Plné texty jsou dostupné v digitálním repozitáři NUŠL Dotazovací jazyk pro relační databáze

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 ...

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 - anglický Klíčová slova: Neutron detector|particle tracking|solid state detector; neutron detector|particle tracking|solid state detector Plné texty jsou dostupné v digitálním repozitáři NUŠL 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 - anglický 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. 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. Klíčová slova: optimalizace energie|MILP|lokální prohledávání|přírodou inspirované algoritmy; energy optimization|MILP|local search|nature inspired algorithms Plné texty jsou dostupné v digitálním repozitáři NUŠL Optimalizace energie v rodinném domě

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 ...

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 - anglický 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 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 Klíčová slova: 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 Plné texty jsou dostupné v digitálním repozitáři NUŠL Nástroj lsql-csv na zpracování CSV souborů z příkazového řádku

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 ...

Šť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 - anglický 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. 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. Klíčová slova: rozvrhování autobusů|veřejná doprava|optimalizace|vývěsný jízdní řád; bus scheduling|public transport|optimization|spreadsheet timetable Plné texty jsou dostupné v digitálním repozitáři NUŠL Zpracování jízdních řádů

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 ...

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

Segmentace skenovanych PDF dokumentů
Saydametov, Nikita; Šikudová, Elena; Tódová, Lucia
2024 - anglický Klíčová slova: PDF|OCR|segmentace; PDF|OCR|segmentation Plné texty jsou dostupné v digitálním repozitáři NUŠL Segmentace skenovanych PDF dokumentů

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