Search
Results
-
Gauge Fixing Independence and the Partition Function of BF Theory
(2021)In the first part of this thesis, we give an interpretation of the gauge-fixed partition function of a quantum field theory known as abelian BF theory in terms of certain regularized determinants. We proceed to formulate a partial statement concerning gauge fixing independence of the partition function and show how this result applies to the analytic torsion and the value at zero of the Ruelle zeta function. In the second part, we show ...Master Thesis -
OpenCL support for Enzian
(2021)Recently, there has been growing interest in custom and reconfigurable hardware. However, commercial hardware platforms have limitations for research, because they are optimized for specific use-cases or have proprietary parts. To address this problem, the Systems Group at ETH built Enzian, a new computing platform tailored for research and for exploring novel hardware/software co-designs. However, there is a lack of existing use ...Master Thesis -
Experimental study on the seismic and aseismic deformation during the failure of granitic rock
(2021)During the exploration of geothermal energy, fluids are often injected into the high temperature host rocks in the upper lithosphere for efficient heat or electricity production. It is known that large-scale injection activity will perturb the subsurface stress field, resulting in nucleation and propagation of fractures or reactivation of the existing faults. These mechanisms damage the rock and are accompanied by both static (aseismic) ...Master Thesis -
-
Coupling georadar field data with numerical modeling to increase the effectiveness in the exploration of crystallized mineral cavities
(2021)Demand for mineral specimens which are naturally occurring in crystallized mineral cavities in rocks (or Mineral Specimen Cavities – MSCs) is currently on the rise. Predictions indicate that this trend will most probably be maintained at least for the forthcoming years. In order for the supply to satisfy the demand, the prospecting process, i.e., the activity of discovering and extracting these mineral specimens, needs to be accordingly ...Master Thesis -
Scalable Drawing of Nested Directed Acyclic Graphs With Gates and Ports
(2021)Graphs are a popular concept throughout all of computer science, from networking through data management to machine learning. This has given rise to the problem of automatic graph drawing, yet efficient and aesthetically-pleasing graph layouting is as diverse as the underlying graph characteristics. In this thesis we deal with graphs that not only can be nested in two different ways, but in which nodes also have ports. We derive two ...Master Thesis -
Occupancy forecasting for building energy MPC
(2021)Energy consumption of buildings contributes significantly to the global energy usage. Conventional Rule Based Control (RBC) ensures maintaining comfort constraints for occupants even during unoccupied times. The energy usage could, however, be decreased by relaxing the comfort constraints for unoccupied periods. A common approach to solve this problem is to employ Model Predictive Control (MPC) with a preliminary fixed occupancy schedule ...Master Thesis -
-
Inferring in situ stress variations from post-drilling borehole diametrical deformation
(2021)Master Thesis -
Generation of a 3D cardiac model based on 2D echocardiography video data
(2021)Echocardiography is a non-invasive medical imaging tool that serves to assess the cardiac functionality by producing images of the heart’s tissues and chambers using non-ionizing ultrasound waves. We propose a generative model that learns to produce personalized 4D (3D + time) heart models from 3D (2D + time) echocardiograms. We argue that such heart model may facilitate downstream tasks such as disease diagnosis and prediction. Our model ...Master Thesis