Search
Results
-
Impact of natural hazards on global ecosystems
(2021)Natural hazards are a driver of ecological dynamics as they alter individual species, community structure and entire ecosystems. Their ecological impact can be highly variable over space and time: perceived by some species as disastrous but vital for the survival of others. The ability of a system to cope with such events is called ecological resilience and depends on biotic and abiotic factors, as well as the disturbance legacies. With ...Master Thesis -
Scheduling for MIG-Capable GPUs
(2021)The development of heterogeneous CPU-GPU systems for modern data centers in recent years increased the computational power massively. Multi-Instance GPUs (MIGs) allow to split a single physical GPU into multiple independent instances. Thus, more than one user can get exclusive acces to the same physical GPU. However, there are many different configurations for a single MIG-capable GPU that need to be controlled by a central instance. ...Master Thesis -
Sparse Learning in System Identification: Debiasing and Infinite-Dimensional Algorithms
(2021)In the traditional system identification techniques, a priori model structure is widely assumed to be available and the unknown parameters of the assumed model structure are estimated by maximizing the adherence of the assumed model structure to the experimental data. However, selecting the model structure can be problematic, sometimes leading to overfitting. Recent developments in the regularization based system identification methods, ...Master Thesis -
Online Feedback Optimization for Emergency Power System Operation
(2021)With increasing intermittent distributed power generation, emergency situations in the power system are more likely to occur. Current emergency operation in power systems is mostly based on manual remedial actions. The growing number of distributed generation devices add complexity to emergency operation and make decisions on remedial actions harder. In this thesis, a feedback optimization (FO) controller for emergency power system operation ...Master Thesis -
Exploiting Structured Sparsity in Transformers through Data Centric Optimizations
(2021)As deep learning is becoming increasingly costly, both in terms of computational power and storage power, many efforts have been invested in finding ways to reduce that cost. Especially in the transformer architecture, where the attention matrix grows quadratically with the sequence length, and it is in fact a lower triangular matrix. The value of implementing a fast triangular matrix matrix operator is thus highlighted. Here we ...Master Thesis -
-
Share to learn? The role of actor attitudes and information exchange for policy-oriented learning concerning carbon sinks in forests vs. timber
(2021)Climate change and its effects require effective solutions to mitigate and avoid greenhouse gas emissions. The Kyoto Protocol and the Paris Agreement translate global to Swiss mitigation targets, which bring in forests and timber as potential carbon sinks. However, it remains unclear how the sinks are best combined in a local context, especially when forest stands simultaneously fulfill multiple functions. As a result, there is a potential ...Master Thesis -
Formalizing Aggregate Signatures in the Symbolic Model
(2021)Security protocols are a crucial part of most applications. In recent years, automated formal verification tools, such as Tamarin and ProVerif, were effectively used to prove security properties and find attacks on complex protocols, such as 5G and TLS. To widen the range of protocols that can be modeled, we need new symbolic models of the underlying cryptographic primitives. An exciting family of signatures that have not been deeply ...Master Thesis