Sbírky fakulty / součásti

Poslední příspěvky

  • Computer Modelling of Plasma Processes andTransport for Selected Applications 

    Výsledek obhajoby: OBHÁJENO
    Havlíčková, Eva (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
    Datum obhajoby: 17. 12. 2009
  • Proof Complexity of CSP 

    Výsledek obhajoby: OBHÁJENO
    Gaysin, Azza (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 20. 2. 2024
    In this thesis we formalize Zhuk's decision algorithm solving in p-time tractable con- straint satisfaction problems (CSPs) in a weak theory of bounded arithmetic W1 1 . As a consequence, we show that tautologies that ...
  • Laboratory studies of reactions of O+ and N+ ions with molecular hydrogen and its isotopologues, HD and D2, at low temperatures 

    Výsledek obhajoby: OBHÁJENO
    Kovalenko, Artem (Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)
    Datum obhajoby: 12. 3. 2021
    This work is focused on the laboratory studies of reactions of O+ and N+ ions with molecular hydrogen and its isotopologues, HD (hydrogen deuteride) and D2. The experimental studies were performed using a 22-pole radiofrequency ...
  • Two-phase scheduling with unknown speeds 

    Výsledek obhajoby: OBHÁJENO
    Minařík, Josef (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 16. 2. 2024
    Speed-robust scheduling is a two-stage scheduling problem with a makespan objective. We are given processing times of n jobs, number of machines m and number of bags b. We have to group the jobs into bags that are to be ...
  • Distance magic labelings 

    Výsledek obhajoby: OBHÁJENO
    Pfeiffer, Hayden (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 16. 2. 2024
    Title: Distance Magic Labelings Author: Hayden Pfeiffer Department: Dept. of Theoretical Computer Science and Mathematical Logic Supervisor: doc. Mgr. Petr Gregor, Ph.D., KTIML, MFF UK Abstract: A distance magic labeling ...
  • Structure and complexity of homomorphisms 

    Výsledek obhajoby: UZNÁNO
    Bok, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 4. 3. 2024
    This thesis is concerned with computational complexity aspects of graph homomorph- isms and related concepts. We are mainly interested in various polynomial time versus NP-complete dichotomies. These results are especially ...
  • Precision measurement of neutrino oscillations parameters 

    Výsledek obhajoby: UZNÁNO
    Dohnal, Tadeáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 4. 3. 2024
    The Daya Bay Reactor Neutrino Experiment, located in Southeast China, was de- signed to measure short baseline oscillation of electron antineutrinos originating from six 2.9 GWth nuclear reactors. In 2012, it discovered ...
  • Základy fungování internetu - didaktické materiály pro 2. stupeň ZŠ 

    Výsledek obhajoby: OBHÁJENO
    Mazná, Michaela (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 15. 2. 2024
    The Framework Educational Programme was revised in the Czech Republic in 2021 to include the basic principles of the Internet and computer networks in teaching computer science at ISCED level 2. According to the new revision, ...
  • 6D pose estimation of objects in images 

    Výsledek obhajoby: OBHÁJENO
    Cífka, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    The 6D pose estimation is an important computer vision task with applications in robotics, e.g. for manipulation or grasping, but also in computer graphics and augmented reality. Given an image, the task is to estimate the ...
  • Reprezentační neuronové sítě pro diferencovatelné renderování objemu 

    Výsledek obhajoby: OBHÁJENO
    Nejedlý, Jaroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    This thesis investigates the possibility of using a representation neural network as a data structure for an appearance prediction model. We present the representation network as an adaptation of the popular neural radiance ...
  • Representation of Gay and Bisexual Women in Video Games and Players' Attitudes: An Empirical Study 

    Výsledek obhajoby: OBHÁJENO
    Petrova, Alexandra (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    The aim of this empirical study was to examine how players' explicit and implicit attitudes towards content depicted in a video game influence their interaction with the game and their game experience. In order to do so, ...
  • Simulation of rings surrounding the progenitor of SN1987A 

    Výsledek obhajoby: OBHÁJENO
    Jireš, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    SN1987A, the first supernova visible by the naked eye since 1600s, is anomalous by existence of preexisting triple ring nebula around it. One candidate explanation of the nebula is a binary merger of SN1987A's progenitors. ...
  • Extending Data Lineage Analysis for Python with Runtime Types 

    Výsledek obhajoby: OBHÁJENO
    Luňák, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    There is an increasing demand in the domain of data science for auto- mated tools analyzing the data lineage of software systems. In situations where general-purpose programming languages are used, Python is among the most ...
  • CSV file validator according to the CSV on the Web W3C recommendations 

    Výsledek obhajoby: OBHÁJENO
    Janda, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    The comma-separated values (CSV) format is a popular format for tabular data on the web. It stores tables of data in a very simple textual way, but it stores only the values of the table without their meaning and structure. ...
  • HCI modely pro multi-objective doporučovací systémy 

    Výsledek obhajoby: OBHÁJENO
    Machala, Patrik (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    One of the most developing research fields of information retrieval are recommender systems. They typically try to recommend a few of the most relevant or most suitable items to users from all the candidates when the number ...
  • Performance and Usability Improvements for Data Lineage Analysis of C# Programs 

    Výsledek obhajoby: OBHÁJENO
    Kleprlík, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    The Manta Flow is a highly automated static analysis platform producing data lineage over its input and representing it in a graph. The platform performs analysis on various technologies and programming languages via ...
  • Rozšíření kolizního modelu hlavního pásu asteroidů 

    Výsledek obhajoby: OBHÁJENO
    Vávra, Michael (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 14. 2. 2024
    The Main Belt, the region between the orbits of Mars and Jupiter, is the home to more than 1 million asteroids. These asteroids form orbital groups, i.e., asteroid families formed by collisions; and also spectral groups ...
  • Algonauts challenge 2023: predicting human fMRI activity in response to visual stimulation 

    Výsledek obhajoby: OBHÁJENO
    Petliak, Nataliia (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 13. 2. 2024
    In this thesis, we investigate the application of pretrained Deep Neural Networks, par- ticularly Vision Transformers (ViT), for predicting human fMRI activity in response to visual stimulation. The Algonauts Challenge ...
  • Point Cloud Rendering Approaches for Camera Pose Verification 

    Výsledek obhajoby: OBHÁJENO
    Kremel, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 13. 2. 2024
    Visual localization is the problem of estimating the 6 degrees of freedom camera pose from which a query image was taken relative to a known reference scene representation. It is the key for applications such as Augmented, ...
  • Evolution strategies for policy optimization in transformers 

    Výsledek obhajoby: OBHÁJENO
    Lorenc, Matyáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
    Datum obhajoby: 13. 2. 2024
    We explore the capability of evolution strategies to train a transformer architecture in the reinforcement learning setting. We perform experiments using OpenAI's highly parallelizable evolution strategy and its derivatives ...

Zobrazit další


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV