Matematicko-fyzikální fakulta
Procházet dle
Sbírky fakulty / součásti
-
Habilitační práce [88]
Habilitations -
Kvalifikační práce [10676]
Theses -
Kvalifikační práce obhajované před rokem 2006 [14]
Theses defended before year 2006
Poslední příspěvky
-
Computer Modelling of Plasma Processes andTransport for Selected Applications
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Datum obhajoby: 17. 12. 2009 -
Proof Complexity of CSP
Výsledek obhajoby: OBHÁJENO(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 20. 2. 2024In 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Datum obhajoby: 12. 3. 2021This 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 16. 2. 2024Speed-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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 16. 2. 2024Title: 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 4. 3. 2024This 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 4. 3. 2024The 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 15. 2. 2024The 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024The 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024This 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024The 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024SN1987A, 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024There 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024The 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024One 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024The 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 14. 2. 2024The 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 13. 2. 2024In 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 13. 2. 2024Visual 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(Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)Datum obhajoby: 13. 2. 2024We 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 ...