Filetype
This thesis will be an investigation into different proofs of Completeness in first-order logic. Particular attention will be put on analyzing the role of the Ultrafilter Lemma and its necessity in proving the Completeness Theorem. An attempt will be made to develop a proof that separates out this non-constructive aspect, but still uses the law of excluded middle. The overall aim is to understand
Algae blooms, induced by eutrophication, have been an increasingly prevalent environmental concern in the Baltic Sea since the 1970s, causing ecosystem degradation and hypoxia in bottom layers. One predominant harmful algae bloom-forming species in the Baltic Sea is the cyanobacteria Nodularia spumigena. N. spumigena produces hepatotoxin nodularin and is a diazotrophic alga; hence, it should be
In this paper regularization of the correlation matrix between futures contracts is examined. With starting point in the recently established HPCA framework (Avellaneda, 2019), a couple of different extensions to the one-factor model is suggested. Extensions are made in terms of adjusting the model according to different cluster structures. The data consists of futures contracts on a wide variety
Attention Deficit Hyperactivity Disorder (ADHD) is one of the most common neurobehavioral problems among both children and adults. Around 5% of the children and 3- 4% of the adults suffers from the condition in Sweden. In general, diagnosed children achieve poorer results on standardized tests, receive lower grades and are more prone to dropout of school. Adults tend to struggle with work-performa
China’s economic development has not only led to enormous growth figures, but also to a severe degradation of the environment. Mass-consumption of fossil fuels like oil and coal in China contributed to reaching the level of the largest greenhouse gas emitter worldwide. For the Chinese government to react, it is crucial to take the electricity purchase decisions of households into account to succes
Supramolecular chemistry is a field in which noncovalent interactions between molecules are utilised to promote the formation of larger molecular assemblies. A single monomer consisting of a bicyclo[3.3.1]nonane backbone equipped with hydrogen bonding motifs and solubilising groups is synthesised. Utilisation of different hydrogen bonding motifs and appropriate solvent renders self-aggregation of
In Sweden, what we eat accounts for about a third of the consumption-based greenhouse gas emissions, and there is strong evidence that the most effective way to reduce emissions is to switch to a more plant-based diet. A shift is currently underway in the Swedish food system; the market for plant-based products is showing an exponential growth, coupled with, for the first time since the 1950s, a d
This thesis aims to evaluate the situation for cyclists in Stellenbosch, one of the leading cities in South Africa when it comes to planning for cyclists. The current situation for cyclists in Stellenbosch will be evaluated in terms of level of service, accessibility and safety. Moreover, the purpose of this study is also to investigate if there are there any official policies or plans to improve
This study arises from an existential concern that there is an obliviousness in academia with regards to the recent eruption of the transhumanist movement–an ideological force imbued with potentially calamitous socioecological consequences. With the support from recent claims that the transhumanist ideology exerts powerful influence on Western politics, this study seeks to investigate how the tran
Due to the changing nature of employment, contemporary early career employees place more value on work-life balance than any other generation before them. Our purpose is to provide a contextual overview that identifies and illuminates some of the defining characteristics of the early career employees employed in the banking sector. The integration of the boundary and motivation theory enable us to
The problem of outdated large-scale housing estates has been prevalent in many cities, resulting in unbalanced social issues, uncomfortable living conditions, and a lack of response to climate change. The research focuses on the Almgården area in Malmo, Sweden, and aims to address these challenges by proposing a sustainable design solution that can improve the quality of life for residents while r
The purpose of this report is to implement and compare the two Basel III standard methods on how to calculate the capital requirement for finan- cial institutions, related to counterparty credit risk. The models being the Standardized Approach for Counterparty Credit Risk (SA-CCR) and the Internal Model Method (IMM). The SA-CCR model is a simpler and more standardized model with prescribed methods
Co-simulation is widely used in industry for the simulation of multi-domain linear-time-invariant systems. However, as a result of the not continuous communication between our coupling variables, simulation results end up being unstable and inaccurate. Among the different strategies that have been developed in the recent years to control co-simulation drawbacks, the aim of this thesis is to unders
This thesis creates multiple indices to score and rank developing countries with regard to their suitability for engaging in debt-for-climate swaps, and thus identify the most suitable country candidates. The origin of debt-for-climate swaps lies in the 1980s, and after a period of diminished use and attention they have become a topic of discussion again, especially in the last two years. Desp
Payment and bonus schemes based on seed quality used by the Swedish agriculture cooperative Lantmännen is evaluated. Results from a farm and region/time fixed effect model show that the linear payment scheme for pulses (peas and beans) has approximately 15 percentage points lower quality compared to that used for grains when a common quality measure constructed for this research is used. Germinati
DMSO är ett vanligt lösningsmedel för studier av syntetiska molekyler i biologiska system, bl.a. inom läkemedelsutveckling. Trots detta är lösningsmedlets interaktioner med dessa syntetiska molekyler och deras målprotein inte tillräckligt undersökta. DMSO kan påverka proteinerna struktur eller ha någon annan inverkan inbindningen. I detta arbete har denna möjliga effekt studerats för inbindningen DMSO sees common application as a solvent for studies of synthetic molecules in biological systems, in fields such as drug design. Despite this, the possibility and nature of solvent interactions with both synthetic ligand and their target macromolecules is widely unexamined. DMSO could potentially have significant effect on binding characteristics due to conformational changes of protein structur
Background: The more varied and new challenges that the healthcare sector faces every day, calls for modernization and reorganization. However, the healthcare sector is commonly understood to be slow to adapt to change. It is therefore important to understand and identify the enabling factors for the implementation of innovation, by giving voice to healthcare practitioners concerns, considering th
Many economists agree that financial development and economic growth have a positive relationship, that financial structures have been critical for many countries to achieve modern economic growth. In the past decades, foreign investment has become more widespread in the entrepreneurial world, and the banking sector has not been an exception. Mexico experimented during the late 1990’s an unprecede
The digitalization of the music industry has meant a drastic increase of public accessibility of recorded music, which has transformed the way in which music is being consumed. From initially being restricted by the physical disposition of CDs and vinyl, the prospect of digital downloading and music streaming has rapidly transformed the music landscape as the world knows it. The music industry rev
