Proofs are an important part of mathematics, but they are not without their flaws. Most proofs are written by humans, and humans make mistakes. In this thesis, we explore the use of proof assistants to construct formal ...

Dette masterstudiet fokuserer på analyse av vindkraft-generatorer. Det er et sammenligningsstudie av den dobbel-matede asynkrongeneratoren og synkrongeneratorer, hvor effektivitet, driftsforhold og økonomiske perspektiv ...

Reproductive traits are a fundamental aspect of an organism's life history and play a critical role in shaping population dynamics, as these traits can significantly influence offspring survival rates and, thereby, ...

This thesis investigates the free vibration characteristics of submerged pipe-like structures using multiple added mass approaches. Traditional methods rely on constant added mass factors, which may lack accuracy for complex ...

Correlation is a method to measure the relation between two or more variables. In this thesis, a method of measuring correlation and a method of measuring dependence are used. These two methods, are the local Gaussian ...

Reliance on software systems is ever increasing in our world. Alongside the application of concurrent software systems that embody communication, syn- chronization and resource sharing. Many problems in software engineering ...

Boolean functions are a central topic in computer science. A subset of Boolean functions, Bent Boolean functions, provide optimal resistance to various cryptographical attack vectors, making them an interesting subject for ...

We consider theoretical models of version control systems based on Homotopy Type Theory (HoTT). The main contribution is an implementation of Angiuli et al.’s Homotopical Patch Theory in Cubical Agda. Additionally the first ...

The Atlantic cod (Gadus morhua) is arguably one of the most valuable fish we have, and the Barents Sea stock, Northeast Arctic cod (NEAC), is the largest stock in the world. Despite the long history of fishing and the ...