Hledat
Zobrazují se záznamy 271-280 z 326
Aplikace pro správu výukových kurzů
Application for Educational Courses Management
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2021
Datum obhajoby: 10. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem práce je vytvořit webovou aplikaci pro správu různých typů výukových kurzů, jako například vysokoškolské přednášky a cvičení, předměty na základní či střední škole nebo také libovolný zájmový kurz. Program bude ...
The aim of this thesis is to create a web application for the management of various types of educational courses, such as university lectures, labs, high school subjects or language courses. The app will provide an interface ...
The aim of this thesis is to create a web application for the management of various types of educational courses, such as university lectures, labs, high school subjects or language courses. The app will provide an interface ...
Optimization Decision Analysis for Graal
Analýza optimalizačních rozhodnutí pro Graal
Diplomová práce (OBHÁJENO)
Vedoucí práce: Leopoldseder, David
Datum publikování: 2023
Datum obhajoby: 06. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Modern compilers apply a set of optimization passes aiming to speed up the generated code. The combined effect of individual optimizations is often un- predictable. Thus, changes to a compiler's code may hinder the performance ...
Moderní překladače aplikují při generování kódu sadu optimalizací, jejichž cílem je zrychlit výsledný program. Kombinovaný účinek jednotlivých optima- lizací je však často nepředvídatelný, změny kódu kompilátoru tak mohou ...
Moderní překladače aplikují při generování kódu sadu optimalizací, jejichž cílem je zrychlit výsledný program. Kombinovaný účinek jednotlivých optima- lizací je však často nepředvídatelný, změny kódu kompilátoru tak mohou ...
Data Lineage Analysis for PySpark and Python ORM Libraries
Analýza datových toků pro PySpark a ORM knihovny jazyka Python
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2023
Datum obhajoby: 06. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In the world of ETL tools and data processing, Python is one of the main languages used in practice. Python scripts that define data manipulations usually use the same Python framework, PySpark, which is the Python API for ...
Vo svete ETL nástrojov a spracovania dát je Python jedným z najčastejšie použí- vaných jazykov. Skripty napísané v jazyku Python, ktoré definujú manipuláciu s dá- tami, zvyčajne používajú rovnakú knižnicu, PySpark, čo je ...
Vo svete ETL nástrojov a spracovania dát je Python jedným z najčastejšie použí- vaných jazykov. Skripty napísané v jazyku Python, ktoré definujú manipuláciu s dá- tami, zvyčajne používajú rovnakú knižnicu, PySpark, čo je ...
Meeting the challenges of k-nearest neighbor search implementation for GPU accelerators
Analýza a řešení výzev implementace vyhledávání k nejbližších sousedů pro GPU akcelerátory
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kruliš, Martin
Datum publikování: 2023
Datum obhajoby: 06. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Similarity search is a commonly used technique in databases for finding objects si- milar to a query. It finds applications in content-based retrieval of complex objects like images, information retrieval, and statistical ...
Podobnostní vyhledávání je často používaná technika v databázích pro hledání objektů podobných danému dotazu. Používá se ve vyhledávání podle vzoru komplexních objektů, jako jsou například obrázky, získávání informací a ...
Podobnostní vyhledávání je často používaná technika v databázích pro hledání objektů podobných danému dotazu. Používá se ve vyhledávání podle vzoru komplexních objektů, jako jsou například obrázky, získávání informací a ...
Softvér nutričnej podpory zdravia
Software for nutritional support of healthy lifestyle
Software nutriční podpory zdraví
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Kliber, Filip
Datum publikování: 2021
Datum obhajoby: 10. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Péče o zdraví by měla být to nejdůležitější v životě. Zdravotní problémy se projeví až později, častokrát až když jsou ireverzibilní. Naše práce se snaží o prevenci vytvořením nástroje pro jeho podporu. Cílem práce je ...
Health care should be the most important thing in life. Health problems do not manifest themselves until later, often when they are irreversible. Our thesis seeks to prevent it by creating a tool to support it. The aim of ...
Health care should be the most important thing in life. Health problems do not manifest themselves until later, often when they are irreversible. Our thesis seeks to prevent it by creating a tool to support it. The aim of ...
Kampa: an experimental programming language
Experimentální programovací jazyk Kampa
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bulej, Lubomír
Datum publikování: 2020
Datum obhajoby: 07. 07. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Kampa is a general-purpose programming language. It is imperative, but influenced by functional programming. Its distinguishing features include value types with a concise tuple syntax, immutability that applies recursively, ...
Kampa je všeobecný programovací jazyk. Je imperativní, ale má i rysy funkcionálního programování. Jeho nejzajímavější vlastnosti zahrnují hodnotové typy, zapisované stručně jako n-tice (tuples), rekurzivně platné immutable ...
Kampa je všeobecný programovací jazyk. Je imperativní, ale má i rysy funkcionálního programování. Jeho nejzajímavější vlastnosti zahrnují hodnotové typy, zapisované stručně jako n-tice (tuples), rekurzivně platné immutable ...
Data Lineage Analysis for Qlik Sense
Analýza datových toků pro Qlik Sense
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2020
Datum obhajoby: 14. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Počas posledných rokov sa Business Intelligence stala veľmi dôležitou pre všetky spoločnosti a organizácie po celom svete v oblasti rozhodovania a pozorovania dlhodobých trendov. Často sa stáva, že nástroje Business ...
Business Intelligence has become essential for all companies and organizations in the world over the past few years when it comes to decision-making and observing long-term trends. It often happens that Business Intelligence ...
Business Intelligence has become essential for all companies and organizations in the world over the past few years when it comes to decision-making and observing long-term trends. It often happens that Business Intelligence ...
Support for C++ in GMC
Support for C++ in GMC
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2013
Datum obhajoby: 09. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Software je používán na stále více místech našeho života a tak je stále důležitější jeho správnost. Proto je dobré přistoupit k jeho formální verifikaci. V současnosti neexistuje mnoho nástrojů pro verifikaci kódu v jazyce ...
Software is used in more and more aspects of our lives, so its correctness is more and more important. Its verification is thus a good idea. Now there are not many tools for verification of programs in the C++ language and ...
Software is used in more and more aspects of our lives, so its correctness is more and more important. Its verification is thus a good idea. Now there are not many tools for verification of programs in the C++ language and ...
Rozšířený editor komponentových architektur pro MEF
Enhanced Editor of MEF Component Architectures
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2014
Datum obhajoby: 08. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Managed Extensibility Framework umožňuje vývoj komponentových aplikací v .NET. Vztahy mezi komponentami však mohou být složité. Z těchto důvodů byl v minulosti, jako součást autorovy bakalářské práce, vytvořen MEF Editor, ...
Managed Extensibility Framework allows development of component-based .NET applications. However relations between components can be quite complex. Therefore the MEF Editor was implemented in context of author's bachelor ...
Managed Extensibility Framework allows development of component-based .NET applications. However relations between components can be quite complex. Therefore the MEF Editor was implemented in context of author's bachelor ...
Dynamic Analysis Framework for C#/.NET Programs
Knihovna pro dynamickou analýzu programů v jazyce C# na platformě .NET
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2020
Datum obhajoby: 06. 02. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Dynamic analysis is a technique used to analyse the behaviour of programs, which can be utilized when searching for various software errors. Nowadays, there is a trend in software development towards multi-threaded programs ...
Dynamická analýza je metóda používaná na analýzu chovania programov, čo môže byť využité pri hľadaní rôznych chýb v softwari. V dnešnej dobe je trend vo vývoji viacvláknových programov, kde môžu bezpochyby nas- tať problémy ...
Dynamická analýza je metóda používaná na analýzu chovania programov, čo môže byť využité pri hľadaní rôznych chýb v softwari. V dnešnej dobe je trend vo vývoji viacvláknových programov, kde môžu bezpochyby nas- tať problémy ...