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 ...

Denne masteroppgaven er en historiografisk studie av fokuset på individer og hendelser, struktur, Sveriges konflikter med Danmark, i Tyskland og i øst samt de politiske, militære, sosiale og økonomiske aspektene i fagliteratur ...

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 ...

While the increasing worldwide urbanization generally has negative effects on biodiversity, some animals, like roof nesting gulls, are able to take advantage of these areas and have generated large populations in a number ...

Climate change and ocean warming are major drivers of deoxygenation in the ocean, and the effects of oxygen loss are more pronounced in fjords due to the basic fjord topography. Velvet belly lanternshark (Etmopterus spinax) ...

Denne studien tar sikte på å undersøke hvordan endring av bølge- og strømningsparametre påvirker bølgebelastningen på en delvis nedsenket sylinder, plassert horisontalt og på tvers mot bølgene i en fast posisjon. En 2D- ...