Filtyp
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
This thesis aims to explore the issue of trademark squatting and its solutions in the EU and China. Trademark squatting is a form of trademark infringement that occurs when individuals or entities register trademarks in territories where they do not have legitimate business operations, taking advantage of the "first-to-file" systems. If trademark squatting is permitted to persist, it has
A distinguishing component of the mortgage bond market in Denmark is the option to prepay a loan before its maturity date. From the debtors perspective, this is often done with the purpose of refinancing to a lower lending rate. Thus, interest rate modelling becomes a natural part of the pricing process of Danish callable mortgage bonds. Today, yield curves are modelled and thought of differently
Bakgrund: Många äldre personer bor kvar i sina nuvarande bostäder och för de flesta betraktas hemmet ofta som en viktig och betydelsefull plats. Med stigande ålder tillbringar äldre vanligtvis även mer tid hemma, vilket bidrar till att hemmet blir den huvudsakliga platsen för dagliga aktiviteter. Inom arbetsterapi är människans aktivitet och görande centralt och genom att engagera sig i aktiviteBackground: Many elderly people remain in their current homes, and for most, home is often considered an important and meaningful place. With rising age, elderly typically spend more time at home, making it the primary setting for daily activities. In occupational therapy, human occupation is central, and participating in occupation promotes health. However, there is a lack of summary of exist
Denna kandidatuppsats undersöker hur universitetslärare använder stora språkmodeller (LLM) i sitt arbete. Genom en kombination av litteraturstudier och kvalitativa intervjuer med lärare vid svenska universitet utforskar studien hur dessa teknologier integreras i akademiska arbetsuppgifter. Resultaten visar att användningen varierar stort och inkluderar allt från undervisningsstöd till administrati
Neutrons have a magnetic moment that interacts with magnetic fields. This has been put to use to study magnetic materials. Polarised neutron imaging (PNI) is one such application that allows the observation of, for instance, magnetic domains and domain walls inside a sample. To facilitate a PNI experiment, the neutron beam from a neutron source needs to be polarised, meaning that the magnetic mome
Denna uppsats ämnar klarlägga rättsläget runt force majeure, då begreppet i svensk rätt har delade uppfattningar och ingen konkret lagstadgad eller entydig definition. Uppsatsens syfte är därmed att ge en fördjupad förståelse för force majeure. Vidare ämnar denna uppsats undersöka hur force majeure i svensk rätt skiljer sig från ICC:s idé om force majeure, och belysa olika delar av annan nationellThis thesis aims to clarify the legal status of force majeure, as the concept in Swedish law has divided opinions and no concrete statutory definition. The purpose of the thesis is thus to provide a deeper understanding of force majeure. Furthermore, this thesis aims to examine how force majeure in Swedish law differs from the ICC’s idea of force majeure and to highlight various aspects of nationa
This study investigates the development of a new method for the deposition of aluminium oxide (Al2O3) on substrates by aluminium combustion. Although, conventional coating techniques, such as Chemical Vapor Deposition (CVD) and Physical Vapor Deposition (PVD) are well-established, they are often complex and high in energy use. The new method aims to exploit the simplicity and efficiency of alumini
Innovationshöjden för automatiska skjutdörrssystem under de senaste årtionden har resulterat i högteknologiska automatiska skjutdörrar, där tillbehören och användargränssnitten inte har utvecklats i samma utsträckning. Det har lett till att programväljare för skjutdörrar blivit omoderna och svåranvända för användarna. Syftet med denna masteruppsats var att tillsammans med ASSA ABLOY Entrance SysteThe innovation of automatic sliding door systems over the past decades has resulted in high-tech automatic sliding doors, where accessories and user interfaces have not been developed to the same extent. As a result, operating mode selectors for sliding doors has become outdated and difficult for users to operate. The purpose of this master’s thesis was to propose a new design for operating mode s
Global warming is a global issue which needs to be targeted sooner rather than later. One source of greenhouse gases, especially methane, is landfills. An obstacle for reducing these emissions in Sweden is the lack of national recommendation regarding which method should be used to quantify methane emissions from landfills. In this study, a literature review has been conducted to summarize availab
En kvasi-experimentell studie med mixed design användes för att utforska effekten av en endags utbildningsintervention i Acceptance- and Commitment Therapy (ACT) för personal inom barnpsykiatrisk slutenvård. Variablerna som undersöktes var psykologisk flexibilitet, symtom på generell psykisk ohälsa, självmedkänsla och antal sjukdagar. Vidare undersökte studien hur effekten utvecklades över tid förA quasi-experimental study with mixed design was used to explore the effect of a one-day educational intervention in Acceptance- and Commitment Therapy (ACT) for personnel in psychiatric inpatient childcare. The measured variables were psychological flexibility, symptoms of general psychological distress, self-compassion and number of sick-leave days. Furthermore, the study explored how the possib
The purpose of the study has been to seek an in-depth understanding of how stress manifests itself in the work situation for social workers in child welfare services. Through a qualitative method and interviews conducted on 4 social workers, the empirical material has been collected. The analysis has then been made based on which stress factors and strategies that can be interpreted. The results f
Special hatha yoga classes for musicians and variations of postures (asana) in normal yoga classes. Why and how to apply the different branches of hatha yoga in a yoga class. Practicing breathing exercises (pranayama), concentration (dharana)/meditation (dhyana), postures (asana) and relaxation (savasana). Safe physical exercises without pressure/bodyweight on hands and wrists. I chose postures co
Aktuell statistik som kartlägger svenskars levnadsstandard visar en betydande ökning av övervikt och fetma bland befolkningen. Hög kroppsvikt förknippas med medicinska åkommor såväl som psykosociala problem. Den sociala miljön kring överviktiga individer präglas av exkludering, kränkningar och förlöjligande, dessa beteenden benämns som fat shaming och de utgör en samhällsstruktur av fettförakt. De
Flytande bostäder är inte ett nytt koncept, men under de senaste 20 åren har boende på vatten dykt upp i planarbetet i svenska kommuner samt etableras på marknaden. Helsingborgs stad har visat intresse för konceptet och har tankar på att införa flytande villor i det nya området Oceanhamnen - vilket är bakgrunden för denna studie. Den svenska fastighets-, och plan- och bygglagstiftningen är utforThe Swedish laws of property formation and property development presumes that building happens on the ground. When modern technology allows building on water, there are legal questions to tend to. The purpose of this paper is to examine how land development for housing purposes on water is done in Sweden. The city of Helsingborg is interested in implementing floating homes in their new city dist
Myelin water imaging, MWI, is a non-invasive method used for quantifying the amount of myelin in the brain that can aid the understanding of brain plasticity and neurodegenerative diseases, such as Multiple Sclerosis (MS). Conventional MWI is done at a field strength of 3 T, though there are indications that higher field strength may lead to higher resolution images. We investigate the use of isot
Bakgrund: Magnetisk resonanstomografi (MR) relateras ofta till oro och ångest hos barn, bland annat på grund av det höga ljudet, trånga utrymmet och långa undersökningstiden, därav är sedering och generell anestesi vanligt förekommande. Barn har olika behov beroende på ålder och mognad därmed kan identifierng av icke-farmakologiska åtgärder behövas för att öka barns trygghet. Syfte: Att beskriva o
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
