Search
Results
-
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 -
New perspectives with dynamically tunable optical lattices in the IMPACT experiment
(2021)Master Thesis -
Fraud Detection in Ethereum Using Web-scraping and Natural Language Processing Techniques
(2021)The objective of this thesis is to discern Ethereum fraudulent smart contracts (defined as smart contracts related to Ponzi schemes) from non-fraudulent ones on the Ethereum blockchain. For this purpose, we employ web scraping techniques in order to retrieve data on the transactions of each smart contract. More importantly, we retrieve the opcodes sequence of each smart contract, which is to say the set of instructions that determine the ...Master Thesis -
A Methodological Approach to the Assessment of the Greenhouse Gas Mitigation Potential of Container-Based Sanitation Systems
(2021)Container-based sanitation (CBS) is a safely managed sanitation service designed for regions with limited sanitation and water infrastructure (WHO/UNICEF, 2018). CBS services replace unsafe sanitation practices in low- and middle-income regions and thus avoid greenhouse gas (GHG) emissions from uncontrolled degradation of excreta in the environment (Harroff et al., 2019). CBS provides waterless toilets with sealable containers that separate ...Master Thesis -
-
Optimizing Declarative Power Sequencing
(2021)Managing a modern computing platform’s power and clock infrastructure is an increasingly complex task. Failure to manage it correctly can result in grave consequences, up to the destruction of vital components. The increasing complexity, coupled with a desire for remote monitoring and management, has led to the task of managing power moving away from hard-wired solutions or simple hardware controllers, and on to baseboard management ...Master Thesis -
Identification of Limit Cycle Dynamics with Linear Periodic Models for Airborne Wind Energy Applications
(2021)Limit cycle oscillations are phenomena of nonlinear dynamical systems characterized by a periodic, locally-stable and self-sustained state trajectory of the system. While these phenomena naturally emerge in many applications, systems controlled in closed-loop along a periodic trajectory can also be considered as limit cycles. In this work, local dynamics around the limit cycle are subjected to a coordinate transformation via transversal ...Master Thesis