Hledat
Zobrazují se záznamy 191-200 z 205
Tvorba spektrogramů a jejich zpětná syntéza
Spectrogram generation and their synthesis
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bálek, Martin
Datum publikování: 2010
Datum obhajoby: 16. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V práci je popsána tvorba grafů čas-frekvence-intenzita (spektrogramů) ze zvukových nahrávek pomocí Fourierovy transformace. Dále jsou zhodnoceny teoretické možnosti a omezení zpětné syntézy zvuku ze spektrogramu a popsány ...
The thesis describes generation of time-frequency-intensity graphs (spectrograms) of audio recordings using the Fourier transform. The theoretical possibilities and limitations of spectrogram synthesis (audio reconstruction ...
The thesis describes generation of time-frequency-intensity graphs (spectrograms) of audio recordings using the Fourier transform. The theoretical possibilities and limitations of spectrogram synthesis (audio reconstruction ...
Computational Bounded Rationality
Výpočetní omezená racionalita
Diplomová práce (OBHÁJENO)
Vedoucí práce: Loebl, Martin
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis formalizes a model of bounded rationality in extensive-form games called game-playing schemata. In this model, the strategies are repre- sented by a structure consisting of a deterministic finite automaton and ...
Tato závěrečná práce formalizuje model omezené racionality hráčů v sekvenčních hrách nazvaný herní schémata. Ve zkoumaném modelu jsou strategie reprezentované strukturou skládající se z konečného automatu a dvou výpočetních ...
Tato závěrečná práce formalizuje model omezené racionality hráčů v sekvenčních hrách nazvaný herní schémata. Ve zkoumaném modelu jsou strategie reprezentované strukturou skládající se z konečného automatu a dvou výpočetních ...
Graph Drawing: Visualisation and Geometric Representations of Graphs and Networks
Kreslení grafů: Vizualizace a geometrické reprezentace grafů a sítí
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kratochvíl, Jan
Datum publikování: 2015
Datum obhajoby: 28. 07. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Graph Drawing: Visualization and Geometric Representations of Graphs and Networks Author: Tomáš Vyskočil Department: Department of applied mathematics Supervisor: Prof. RNDr. Jan Kratochvíl, CSc., KAM Abstract: This ...
Název práce: Kreslení grafů: Vizualizace a geometrické reprezentace grafů a sítí Autor: Tomáš Vyskočil Katedra: Katedra applikované matematiky Vedoucí: Prof. RNDr. Jan Kratochvíl, CSc., KAM Abstrakt: Tato práce se věnuje ...
Název práce: Kreslení grafů: Vizualizace a geometrické reprezentace grafů a sítí Autor: Tomáš Vyskočil Katedra: Katedra applikované matematiky Vedoucí: Prof. RNDr. Jan Kratochvíl, CSc., KAM Abstrakt: Tato práce se věnuje ...
Zálohovací systém
A backup system
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Mareš, Martin
Datum publikování: 2015
Datum obhajoby: 07. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Přehled existujících přístupů k zálohování dat a zvážení jejich předností s ohledem na použití. S uvážením předchozího poté popis souběžně s touto prací vzniklého zálohovacího systému FenixBackup jako souborově orientovaného, ...
An overview of existing approaches to data backup and their strengths with regard to use. After considering the previous describe the resulting backup system FenixBackup as file-oriented differential backup system capable ...
An overview of existing approaches to data backup and their strengths with regard to use. After considering the previous describe the resulting backup system FenixBackup as file-oriented differential backup system capable ...
Vícečetné zarovnávání sekvencí
Multiple sequence alignment
Vícečetné zarovnávání sekvencí
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2010
Datum obhajoby: 16. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Vícečetné zarovnávání sekvencí Autor: Matej Ferenc Katedra (ústav): Katedra aplikované matematiky Vedoucí bakalářské práce: RNDr. Ondřej Pangrác, Ph.D. e-mail vedoucího: pangrac@kam.mff.cuni.cz Abstrakt: V ...
Title: Multiple Sequence Alignment Author: Matej Ferenc Department: Department of Applied Mathematics Supervisor: RNDr. Ondřej Pangrác, Ph.D. Supervisor's e-mail address: pangrac@kam.mff.cuni.cz Abstract: In this work we ...
Title: Multiple Sequence Alignment Author: Matej Ferenc Department: Department of Applied Mathematics Supervisor: RNDr. Ondřej Pangrác, Ph.D. Supervisor's e-mail address: pangrac@kam.mff.cuni.cz Abstract: In this work we ...
Procházky v časově proměnlivém grafovém modelu
Walks in time-dymanic graph model
Procházky v časově proměnlivém grafovém modelu
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2014
Datum obhajoby: 04. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Orientační běh s migrujícími kontrolami můžeme reprezentovat grafovým modelem s ohodnocenými vrcholy a orientovanými hranami, kde ohodnocení vrcholů je proměnlivé v čase. Hledání optimální cesty představuje exponenciálně ...
Orienteering with moving control points can be represented as a graph model with ranked vertices and oriented edges. The rank of vertex depends on the actual time. Searching for the most optimised walk through this graph ...
Orienteering with moving control points can be represented as a graph model with ranked vertices and oriented edges. The rank of vertex depends on the actual time. Searching for the most optimised walk through this graph ...
Treewidth, Extended Formulations of CSP and MSO Polytopes, and their Algorithmic Applications
Stromová šířka, rozšířené formulace CSP a MSO polytopů a jejich algoritmické aplikace
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kolman, Petr
Datum publikování: 2017
Datum obhajoby: 12. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce podává důkaz existence kompaktních rozšířených formulací pro širokou škálu polytopů souvisejících s problémem omezujících podmínek (CSP), grafovou monadickou logikou druhého řádu (MSO) a rozšířeními MSO, mají-li ...
In the present thesis we provide compact extended formulations for a wide range of polytopes associated with the constraint satisfaction problem (CSP), monadic second order logic (MSO) on graphs, and extensions of MSO, ...
In the present thesis we provide compact extended formulations for a wide range of polytopes associated with the constraint satisfaction problem (CSP), monadic second order logic (MSO) on graphs, and extensions of MSO, ...
Succinct encodings of trees
Stručná kódování stromů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mareš, Martin
Datum publikování: 2016
Datum obhajoby: 12. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Zaměřujeme se na prostorově efektivní, a to konkrétně stručné, reprezentace statických uspořádaných neohodnocených stromů. Tyto struktury mají prostorovou složitost, která je optimální až na členy nižších řádů, a které ...
We focus on space-efficient, namely succinct, representations of static ordinal unlabeled trees. These structures have space complexity which is optimal up to a lower-order term, yet they support a reasonable set of ...
We focus on space-efficient, namely succinct, representations of static ordinal unlabeled trees. These structures have space complexity which is optimal up to a lower-order term, yet they support a reasonable set of ...
Pattern matching in compilers
Pattern matching in compilers
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hubička, Jan
Datum publikování: 2012
Datum obhajoby: 18. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Pattern matching in compilers Autor: Ondřej Bílka Katedra: Katedra Aplikované Matematiky Vedoucí diplomové práce: Jan Hubička, Katedra Aplikované Matematiky Abstrakt: V této práci vyvineme nástroje na efektivní ...
Title: Pattern matching in compilers Author: Ondřej Bílka Department: Department of Applied Mathematics Supervisor: Jan Hubička, Department of Applied Mathematics Abstract: In this thesis we develop tools for effective and ...
Title: Pattern matching in compilers Author: Ondřej Bílka Department: Department of Applied Mathematics Supervisor: Jan Hubička, Department of Applied Mathematics Abstract: In this thesis we develop tools for effective and ...
Vyhodnocení polynomu s intervalovými koeficienty
Evaluation of interval polynomials
Vyhodnocení polynomu s intervalovými koeficienty
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hladík, Milan
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this thesis, we deal with the finding of an enclosure of the range of the real and interval polynomials in one variable. There are presented functional forms of the real polynomials which we implemented in the Matlab ...
V práci sa zaoberáme nájdením obálky oboru hodnôt reálneho a intervalového polynómu o jednej premennej nad intervalom. Prezentujeme funkčné formy pre re- álne polynómy, ktoré následne implementujeme v prostredí Matlab ...
V práci sa zaoberáme nájdením obálky oboru hodnôt reálneho a intervalového polynómu o jednej premennej nad intervalom. Prezentujeme funkčné formy pre re- álne polynómy, ktoré následne implementujeme v prostredí Matlab ...