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 -
-
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 -
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 -
New perspectives with dynamically tunable optical lattices in the IMPACT experiment
(2021)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 -
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