Zobrazují se záznamy 21-40 z 10796

    • Geometrická teorie funkcí a aplikace v nelineární elasticitě 

      Výsledek obhajoby: OBHÁJENO
      Bouchala, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)
      Datum obhajoby: 20. 11. 2023
      This thesis is divided into two parts. The first part focuses on mappings in Rn and the weak limits of homeomorphisms in the Sobolev space W1,p . Our primary concern is the concept of "injectivity almost everywhere". We ...
    • Bridging the Gap: Towards Unified Approach to Perfect and Imperfect Information Games 

      Výsledek obhajoby: OBHÁJENO
      Moravčík, Matej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 12. 3. 2024
      From the onset of AI research, games have played an important part, serving as a benchmark for progress in artificial intelligence. Recent approaches using search in combination with learning from self-play have shown ...
    • Weak Solutions to Mathematical Models of the Interaction between Fluids, Solids and Electromagnetic Fields 

      Výsledek obhajoby: OBHÁJENO
      Scherz, Jan Andreas (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 23. 1. 2024
      Weak Solutions to Mathematical Models of the Interaction between Fluids, Solids and Electromagnetic Fields Abstract We analyze the mathematical models of two classes of physical phenomena. The first class of phe- nomena ...
    • Web application for keyword-aware walking route search 

      Výsledek obhajoby: OBHÁJENO
      Zhukov, Dmitry (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 5. 2. 2024
      Most mainstream web mapping applications implement location-based direction search. The typical workflow involves constructing an explicit sequence of places to visit. In this thesis, we aim to develop a web application ...
    • Model theory and extremal combinatorics 

      Výsledek obhajoby: OBHÁJENO
      Konečný, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)
      Datum obhajoby: 27. 9. 2023
      This thesis is concerned with combinatorial properties of homogeneous structures such as the Ramsey property, big Ramsey degrees, EPPA, and others. What these properties have in common is that, while being finitary problems ...
    • 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 ...
    • Prediction of ligand binding sites from protein structure 

      Výsledek obhajoby: OBHÁJENO
      Krivák, Radoslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2023)
      Datum obhajoby: 31. 3. 2023
      Ligand binding site prediction from protein structure is a fundamental prob- lem in the field of structural bioinformatics that has many applications related to the elucidation of protein function and structure-based drug ...
    • Jerry - aplikace pro sdílení klávesnice a myši 

      Výsledek obhajoby: OBHÁJENO
      Klapová, Veronika (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 5. 2. 2024
      The goal of the thesis is to develop a program that enables the control of multiple computers from a single workstation using a unified set of input devices. The program comprises a control application for Windows OS and ...
    • Temporal Reasoning in Language and Vision Models 

      Výsledek obhajoby: OBHÁJENO
      McIsaac, Andrew (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 6. 2. 2024
    • Webová aplikace pro výuku množin bodů dané vlastnosti 

      Výsledek obhajoby: OBHÁJENO
      Tarabíková, Aneta (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 8. 2. 2024
      This thesis discusses loci of points. The thesis is constructed as a website which should assist mathematic education in primary schools and especially high schools. The thesis revises loci of points, which is taught in ...
    • Viskoelastická deformace planetárních těles 

      Výsledek obhajoby: OBHÁJENO
      Pilař, Štěpán (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 7. 2. 2024
      Loading a planet's surface causes it to deform. The evolution of this deformation is influenced by the internal structure of the planet. In this thesis we use a one-dimensional numerical model of Maxwell viscoelastic ...
    • 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 ...
    • Postupy pro statistickou kontrolu náhodných procesů 

      Výsledek obhajoby: OBHÁJENO
      Lebeda, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 7. 2. 2024
      Procedures for statistical control of random processes are well known. What we miss, is the comparison of such procedures. In the beginning, we will introduce the linear regression model which will be our assumption ...
    • 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 ...
    • Fuzz testing of network subsystem in PikeOS 

      Výsledek obhajoby: OBHÁJENO
      Piroutek, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 5. 2. 2024
      Stability under every possible circumstance is a goal for a lot of applications. This problem applies to the network stack ANIS of the real-time operating system PikeOS developed by SYSGO. PikeOS requires security and ...
    • Thermophoretic and Hydrodynamic Interactions in Artificial Active Matter 

      Výsledek obhajoby: OBHÁJENO
      Kolář, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 8. 2. 2024
      The study of artificial active matter has significantly intensified in recent years due to its potential practical applications and promises to understand living organisms' in- teractions and collective behaviour. The ...
    • Geometrická zobrazení ve středoškolské matematice 

      Výsledek obhajoby: OBHÁJENO
      Smetana, Adam (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 8. 2. 2024
      The current availability of computers and mobile devices in school facilities and the affordability of mobile devices for everyone provide for an increasing use of interactive geometry in the curriculum. The aim of this ...
    • Table-to-Text Generation via Logical Forms 

      Výsledek obhajoby: OBHÁJENO
      Garanina, Ekaterina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2024)
      Datum obhajoby: 6. 2. 2024

      © 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