Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. In an invertible programming language, a single program specifies two directions of a transformation, and the language guarantees that the two correspond as inverses. Invertible languages often require programs to be composed from atomic invertible fragments, a property known as local invertibility. This requirement has connections to applications such as low-energy and quantum computing. However, many invertible algorithms are more naturally expressed as depending unidirectionally on some inputs, e.g., the encryption key—this property is known as partial invertibility. Existing work largely lacks a systematic treatment of partial invertibility, and the connection to the locally invertible paradigm is not yet well-understood. In this thesis, we show that with the right design tradeoff, partial invertibility can be expressed within a locally invertible setting. We present KALPIS, a new functional language supporting expressive partial invertibility, yet maintaining a straightforward locally invertible semantics. This is made formal by a novel arrow combinator language RRARR, with primitives embodying functions, parameterized bijections, and interactions between the two. The formulation is based on recent work on effects in invertible computation, namely the irreversibility effect and the reversible reader. We substantiate the work with a prototype implementation of KALPIS, and demonstrate its utility through a number of nontrivial examples. Further, we give a complete formalization of the two systems, including the operational semantics and type system of KALPIS and a locally invertible interpretation and equational characterization of RRARR. Finally, we give a compositional translation from KALPIS into RRARR, motivating us to call it an arrow metalanguage. Most of the formalization is mechanized using the proof assistant Agda. / Programmeringsspråk beskriver traditionellt beräkningar som går åt ett håll: ett program kan till exempel beräkna ett hash-värde från en sträng eller ett krypterat meddelande från en klartext. Ibland är det dock även av intresse att gå åt andra hållet: vid kryptering vill vi inte bara kryptera meddelanden utan också avkryptera dem, och vara säkra på att avkrypteringen korrekt återskapar det ursprungliga meddelandet. I ett inverterbart programmeringsspråk beskriver ett enskilt program två riktningar av en transformation, och språket garanterar att de två motsvarar varandra som inverser. Inverterbara språk kräver ofta att program konstrueras från enskilt inverterbara komponenter, en egenskap som kallas lokal inverterbarhet. Denna egenskap har kopplingar till tillämpningar som lågenergioch kvantdatorer. Å andra sidan är det ofta naturligt att inverterbara algoritmer beror enkelriktat på vissa indata, till exempel krypteringsnyckeln—något som kallas partiell inverbarhet. Tidigare forskning saknar i stor utsträckning en systematisk behandling av partiell inverterbarhet, och kopplingen till lokal inverterbarhet är ännu inte välförstådd. I denna avhandling visar vi att med rätt designavvägning kan partiell inverterbarhet uttryckas ovanpå en lokalt inverterbar grund. Vi presenterar KALPIS, ett nytt funktionellt språk som stöder uttrycksfull partiell inverterbarhet, samtidigt som det bibehåller en enkel lokalt inverterbar semantik. Detta formaliseras genom ett nytt Arrow-kombinatorspråk RRARR, vars primitiver representerar funktioner, parameteriserade bijektioner och interaktioner mellan de två. Formuleringen baseras på ny forskning om sidoeffekter i inverterbar beräkning, nämligen irreversibilitetseffekten och reversible reader. Vi substantierar arbetet med en prototypimplementation av KALPIS och visar dess användbarhet genom ett antal icketriviala exempel. Dessutom ger vi en komplett formalisering av de två systemen, inklusive operativ semantik och typsystem för KALPIS och en lokalt inverterbar tolkning och ekvationskaraktärisering av RRARR. Slutligen ger vi en kompositionell översättning från KALPIS till RRARR, vilket motiverar oss att kalla det ett Arrow-metaspråk. Det mesta av formaliseringen är mekaniserad med hjälp av bevisassistenten Agda.

Infrastructural projects may sometimes require excavation of soils and the groundwater table to be lowered, temporarily or permanently. As there are risks in connection to groundwater lowering, the extent of the affected area is of interest. The distance from the source of the drawdown to the point of unaffected groundwater table is known as the influence radius, and can be analytically estimated by a number of formulas, using input based on aquifer properties. Using data from two infrastructural projects in Sweden, the formulas could be evaluated in respect to groundwater level measurements and actual influence radius. The aim of this study was to compare different the results of the formulas to observed drawdown, as well as to evaluate the sensitivity of the formulas, i.e. how changes in input yielded changes in influence radius. Data from the two projects were used as input to the formulas, where the output could be compared to time series of groundwater table measurements in order to evaluate the accuracy of each specific formulas in each case. The sensitivity analysis was carried out by changing the values of the input data, one parameter at a time within a range of typical values, and evaluating the change that occurred. The evaluation was made by comparisons between the original calculation of influence radius and the new set of influence radii, calculated by changes in input parameters. A large change in the value of influence radius indicate a high sensitivity and vice versa. The calculated influence radii varied largely between the two cases, and no clear result as to the accuracy of the formulas could be seen. What this implies is that the choice of formula when estimating influence radius matters greatly, and that a few different formulas should be used if the input data is available. For greater knowledge of the suitability of the formulas, a greater number of case should be investigated, but overall the theoretically derived formulas, with a greater number of input parameters, seem to be more reliable. The sensitivity analysis showed that a certain formula could have different sensitivities, depending on the magnitude of the input – a small change on the low part of the input range could have a greater change on the influence radius than a large change at the high part of the influence range. When making estimations, it’s thus a good practice to use a range of input values, i.e. minimum and maximum values, for a better estimation of influence radius. Hydraulic conductivity is a particularly important parameter when calculating the influence radius, and is oftentimes hard to determine exactly. Using a safety margin for the input when using the formulas is a good method for a better understanding of the extent of the influence radius. While hard to determine a single parameter associated with a high uncertainty, the empirical formulas did exhibit a larger sensitivity than the theoretical, further promoting the use of theoretical formulas in general when possible, and Theims (confined) well equation in particular, regardless of the aquifer type. / Många byggnadsprojekt kan kräva att marken grävs upp, där exempelvis ledningar, grundläggning för byggnader eller vägar ska anläggas. Det finns risk för att en sådan anläggning går ned under grundvattenytan, eller att arbetsförhållandena kräver att grundvattenytan sänks, tillfälligt eller permanent. En sänkt grundvattenyta kan riskera sprida sig till omgivande mark, beroende på markens egenskaper. Exempel på skador som kan uppstå från en sänkt grundvattenyta är sämre funktion eller kapacitet i brunnar samt sättningar i byggnader som är grundlagda på sättningskänslig mark. Det är således av stort intresse att känna till hur stort område som kan påverkas av sänkt grundvattenyta omkring den sänkning som anläggningen kräver. Det område som påverkas av sänkta grundvattennivåer kallas för influensområde, och det avstånd från anläggningen till opåverkade nivåer kallas följaktligen influensradie. Detta eftersom avståndet som influeras av grundvattensänkningen ofta antas ske jämnt i alla riktningar från en punkt. Influensradien kan uppskattas med hjälp av ett stort antal matematiska formler som använder sig av grundvattenmagasinets och områdets egenskaper (parametrar). Formlerna är i många fall lika, men kan ge väldigt olika resultat. I dagsläget saknas konsensus om vilken eller vilka metoder som är bäst lämpade för att bestämma influensområdet, eller hur de skiljer sig åt i samma sammanhang. Med hjälp av data från två infrastrukturprojekt i Sverige utvärderades formlernas lämplighet och användbarhet till att uppskatta en viss influensradie. Formlernas beräknade värde på influensradie jämfördes med mätningar av grundvattennivåer och kunde på så sätt utvärderas i relation till en faktisk influensradie. Syftet med detta arbete var dels att jämföra utfallen av formlerna mot den faktiska influensradien, samt att undersöka formlernas känslighet, d.v.s. hur ändringar i indata gav förändringar i utfallet. Känslighetsanalysen genomfördes genom att ändra värden på indata, en parameter i taget inom ett spann av typiska värden för grundvattenmagasinet, och utvärdera förändringen som uppstod. Utvärderingen gjordes genom jämförelse mellan den ursprungliga influensradien och de nya influensradier som uppstod med förändrad indata. En stor förändring i influensradie indikerar stor känslighet och vice versa. Resultaten från utvärderingen av formlerna skilde sig åt mellan de två fallen, och något entydigt resultat om bäst lämpade formler gick inte att se utifrån den tillgängliga datan. Däremot gav olika formler både under- och överskattningar för samma uppsättning indata, vilket visar på att valet av formel vid uppskattning spelar stor roll, och att det är säkrast att göra uppskattningen för ett par olika formler om indata är tillgänglig. För större kännedom kring formlernas lämplighet kan fler fall utvärderas, men det tycks finnas en viss fördel för de formler som är teoretiskt härledda och tar hänsyn till fler egenskaper av grundvattenmagasinet. Känslighetsanalysen visade att en parameter kan ha olika stor påverkan på känsligheten beroende på inom vilket spann rimliga värden på parametern finns. Att göra beräkningar med ett max- och min-värde är således en bra metod för att få reda på ungefär vilken influensradie som kan väntas utifrån beräkningar. Hydraulisk konduktivitet (genomsläpplighet) är en i synnerhet viktig parameter vid beräkning av influensradie som dessutom är svår att bestämma med stor säkerhet. Med hjälp av en viss säkerhetsmarginal kan influensområdet bättre förstås. Även om det är svårt att urskilja någon enskild parameter som i synnerhet känslig verkar det som att de empiriska formlerna är mer känsliga än de teoretiska. Detta styrker ytterligare ett användande av teoretiska formler generellt, och i synnerhet Theims brunnsekvation (för slutna akviferer), oavsett vilken typ av akvifer som beräkningen utförs för.

Under våren 2023 utfördes detta examensarbete på Väderstad AB, ett företag som tillverkar högpresterande jordbruksmaskiner, däribland såmaskiner, precisionssåmaskiner och jordbearbetningsmaskiner. En av dessa är tallrikskultivatorn Carrier XL, vilken kan utrustas med den monterbara såmaskinen BioDrill 360 för att kunna så frön samtidigt som jorden bearbetas. På senare tid har det uppstått ett behov att även kunna montera en större sålåda, BioDrill 500, på Carrier XL. Målet med detta arbete blev därför att ta fram ett konstruktionsförslag på hur BioDrill 500 kan implementeras på Carrier XL 425-725, med hänsyn till Väderstads produktion, fungerande frötransport, utrymmeskrav samt krav på hållfasthet. Arbetet har bestått av teoriundersökning, konceptgenerering och utveckling i flera iterationer samt CAD-modellering i Creo. Dimensionerande beräkningar har utförts i form av FEM-analyser och andra hållfasthetsberäkningar på maskinens drag och hjulaxel. Dessutom har en undersökning av produktarkitektur utförts för att se till vilken grad modularitet och funktionsdelning kan implementeras på infästningen för att göra den fördelaktig ur ett tekniskt och ekonomisk perspektiv.  Arbetets resultat består av en ställning som monteras på hjulstället till Carrier XL som gör att toppen av sålådan konstant hålls parallell med marken tack vare ett parallellänkage. En plattform utvecklas och placeras vid sidan av BioDrill 500 för att tillgodose tillgänglighet för användaren och två fördelarhuvuden monteras i parallellänkaget framför BioDrill 500 för att möjliggöra en fungerande frötransport. Produktariktekturen anpassas genom att implementera en kombination av modulära och integrerade lösningar samt funktionsdelning. För att passa i produktionen på Väderstad används mestadels plåtar och rör av stål som främst bearbetas genom laserskärning och bockning samt mindre inslag av svets. Dessutom anpassas infästningen med hjälp av Design for Manufacturing och Design for Assembly för att underlätta tillverkning och montering.

<p>Språket är i ständig förändring vilket innebär att språkligt material med tiden föråldras och blir inaktuellt. Vid talaudiometrisk testning av barn är det viktigt att testmaterialet innefattar ord som är välkända för barn eftersom förståelsen för materialet kan inverka på mätresultatet. Det talaudiometriska test som idag används för barn bygger på ordmaterial som ursprungligen insamlats under 1930-talet. Föreliggande studie är en del av ett större projekt och inleder arbetet med att utarbeta ett nytt talaudiometriskt material för barn.</p><p>Syftet med föreliggande studie var att beräkna och jämföra ordfrekvens och antal ordformer utifrån inspelade samtal mellan de deltagande barnen i åldersgrupperna 5-8 år (Grupp 1) respektive 9-12 år (Grupp 2). Totalt 79 barn mellan 5 och 12 år deltog i studien. Inspelningar av barns samtal med varandra gjordes på förskolor och fritidshem i Linköpings tätort och cirka 300 minuter inspelat material analyserades. Barnens yttranden transkriberades ortografiskt och de ord som användes i samtalen grupperades för att därefter delas in i sex olika kategorier. Frekvensberäkning av ord per åldersgrupp utfördes och de båda åldersgruppernas totala volym av ordformer räknades ut.</p><p>Resultaten visade att ordfrekvensen var högre i Grupp 2 än i Grupp 1. I Grupp 2 förekom också ett större antal ordformer än i Grupp 1. Hos båda åldersgrupperna var Substantiv den mest använda kategorin avseende antal ordformer, dock var det stor skillnad mellan Grupp 1 och Grupp 2 gällande vilka ordformer som användes.</p><p>Resultaten diskuteras utifrån de åldersrelaterade skillnaderna mellan grupperna, olika sätt att beräkna ordfrekvens samt i relation till förändringar i svenska språket över tid.</p>

Språket är i ständig förändring vilket innebär att språkligt material med tiden föråldras och blir inaktuellt. Vid talaudiometrisk testning av barn är det viktigt att testmaterialet innefattar ord som är välkända för barn eftersom förståelsen för materialet kan inverka på mätresultatet. Det talaudiometriska test som idag används för barn bygger på ordmaterial som ursprungligen insamlats under 1930-talet. Föreliggande studie är en del av ett större projekt och inleder arbetet med att utarbeta ett nytt talaudiometriskt material för barn. Syftet med föreliggande studie var att beräkna och jämföra ordfrekvens och antal ordformer utifrån inspelade samtal mellan de deltagande barnen i åldersgrupperna 5-8 år (Grupp 1) respektive 9-12 år (Grupp 2). Totalt 79 barn mellan 5 och 12 år deltog i studien. Inspelningar av barns samtal med varandra gjordes på förskolor och fritidshem i Linköpings tätort och cirka 300 minuter inspelat material analyserades. Barnens yttranden transkriberades ortografiskt och de ord som användes i samtalen grupperades för att därefter delas in i sex olika kategorier. Frekvensberäkning av ord per åldersgrupp utfördes och de båda åldersgruppernas totala volym av ordformer räknades ut. Resultaten visade att ordfrekvensen var högre i Grupp 2 än i Grupp 1. I Grupp 2 förekom också ett större antal ordformer än i Grupp 1. Hos båda åldersgrupperna var Substantiv den mest använda kategorin avseende antal ordformer, dock var det stor skillnad mellan Grupp 1 och Grupp 2 gällande vilka ordformer som användes. Resultaten diskuteras utifrån de åldersrelaterade skillnaderna mellan grupperna, olika sätt att beräkna ordfrekvens samt i relation till förändringar i svenska språket över tid.

The Swedish Nuclear Fuel and Waste Management Company (SKB) has developed a method for final disposal of spent nuclear fuel. This technique requires accurate measurement of the residual decay heat of every assembly. For this purpose, depletion codes as well as calorimetric and gamma-ray spectroscopy experimental methods have been developed and evaluated. In this work a prototype analysis tool has been developed to automate the analysis of both calorimetric and gamma-ray spectroscopy measurements. The performance of the analysis tool has been investigated by comparing its output with earlier results and calculations. Parallel to the software development, new measurements on 73 BWR assemblies were performed. The results obtained for the determination of the residual decay heat are presented. Finally, suggestions for further development are outlined and discussed.

Inför anslutning av stora elkraftsproducenter till regionnäten i Sverige görs omfattande analyser och beräkningar. Vattenfall Eldistribution AB är ett av företagen som äger regionnät och på senare tid har det setts en ökad andel förfrågningar på att få ansluta stora solcellsparker. Då elproduktionen från en sådan anläggning är av intermittent karaktär behövs det undersökas hur produktion och produktionsmönster ska kunna estimeras på ett tillförlitligt sätt. Rapporten presenterar teorier och ekvationer för olika sorters solinstrålning och solcellsteknik för att sedan översiktligt gå igenom de huvudkomponenter som utgör en solcellspark. I rapporten undersöks två olika metoder att estimera produktion och produktionsmönster från en solcellspark. En av metoderna använder sig av strålningsdata som STRÅNG tillhandahåller. STRÅNG är en beräkningsmodell framtagen av SMHI tillsammans med Strålsäkerhetsmyndigheten och Naturvårdsverket där olika sorters inkommande strålning från solen registreras och bearbetas. Den andra metoden använder PVGIS, ett verktyg som utvecklats av EU-kommissionen för att ge information om förväntad prestanda för en solcellsanläggning. Estimeringen jämförs sedan med reellt produktionsutfall från en befintlig solcellspark för att validera beräkningarna. Senare delen av rapporten tar upp olika sammanlagringsscenarion mellan sol- och vindkraftsproduktion. Syftet var att studera på vilket sätt de båda parkernas produktion sammanfaller samt hur många timmar på ett år detta sker. I samma kapitel kan läsas om hur detta förhåller sig till en luftlednings överföringsförmåga. En lednings överföringsförmåga uttrycks i ström och är ett beräkningsresultat av ledningens mekaniska egenskaper men även väderparametrar så som lufttemperatur och solinstrålning. Resultatet av analysen utförd i arbetet pekar på att det går att estimera produktion och produktionsmönster från en solcellspark med hjälp av både STRÅNG och PVGIS. Estimeringen ska dock ses som en vägledning snarare än som underlag för detaljerade beräkningar. STRÅNG tillhandahåller mer aktuella mätdata än PVGIS men kräver desto mer bearbetning av data för att få fram estimatet. Vidare tyder även analysen på att det kan finnas goda förutsättningar att integrera solcellsparker där det redan finns befintliga vindkraftsparker utifrån beräknad ledningskapacitet. / In order to connect large scale electric power producers to the distribution system in Sweden, extensive analyses and calculations are carried out. Vattenfall Eldistribution AB - a company that owns a portion of this distribution system, has experienced a rise in requests to connect larger solar power plants. As power generated by such a plant is of intermittent character, it is necessary to investigate how production and production patterns can be reliably estimated. The report presents theories and equations for various types of solar radiation and solar cell technology, and then briefly discusses the main components of a solar power plant. In this report two methods to estimate the production and production pattern from a solar power plant are investigated. One of the methods uses radiation data provided by STRÅNG. STRÅNG is a radiation model funded by SMHI (Swedish Meteorological and Hydrological Institute) together with the Radiation Safety Authority and the Environmental Protection Agency. The other method to estimate production uses PVGIS, a tool developed by the European Commission to provide information on the expected performance of a solar panel installation. The estimations by the two methods are then compared to the actual production outcome from an existing park to validate the calculations and methods. The later part of the report discusses different scenarios of combined solar and wind power production. The aim was to study how the two parks' power generation coincide and how many hours per year this occurs. The same chapter also discusses how this relates to the transmission capacity of an overhead line. The transmission capacity of an overhead line is expressed as current and is the calculated result of its mechanical properties and weather parameters such as air temperature and solar radiation. The results of the analyses carried out in this thesis indicate that it is possible to estimate production from a solar power plant using both STRÅNG and PVGIS. The estimation; however, should be seen as a guidance rather than basis for detailed calculations. STRÅNG offers more current data than PVGIS but requires more processing of the data to produce an estimate. The analysis also suggests that there may be potential for integrating solar power plants in areas where there are already existing wind power plants, given the transmission capacity of an overhead line.

Visual Simultaneous Localization And Mapping (V-SLAM) and object detection algorithms are two critical prerequisites for modern XR applications. V-SLAM allows XR devices to geometrically map the environment and localize itself within the environment, simultaneously. Furthermore, object detectors based on Deep Neural Network (DNN) can be used to semantically understand what those features in the environment represent. However, both of these algorithms are computationally expensive, which makes it challenging for them to achieve good real-time performance on device. In this thesis, we first present TensoRT Quantized YOLOv4 (TRTQYOLOv4), a faster implementation of YOLOv4 architecture [1] using FP16 reduced precision and INT8 quantization powered by NVIDIA TensorRT [2] framework. Second, we propose the V-SLAM Hurdler: A Faster VSLAM System using Online Dynamic-and-Hardness-aware Approximation. The proposed system integrates the base RGB-D V-SLAM ORB-SLAM3 [3] with the INT8 TRTQ-YOLOv4 object detector, a novel Entropy-based Degreeof- Difficulty Estimator, an Online Hardness-aware Approximation Controller and a Dynamic Object Eraser, applying online dynamic-and-hardness aware approximation to the base V-SLAM system during runtime while increasing its robustness in dynamic scenes. We first evaluate the proposed object detector on public object detection dataset. The proposed FP16 precision TRTQ-YOLOv4 achieves 2×faster than the full-precision model without loss of accuracy, while the INT8 quantized TRTQ-YOLOv4 is almost 3×faster than the full-precision one with only 0.024 loss in mAP@50:5:95. Second, we evaluate our proposed V-SLAM system on public RGB-D SLAM dataset. In static scenes, the proposed system speeds up the base VSLAM system by +21.2% on average with only −0.7% loss of accuracy. In dynamic scenes, the proposed system not only accelerate the base system by +23.5% but also improves the accuracy by +89.3%, making it as robust as in the static scenes. Lastly, the comparison against the state-of-the-art SLAMs designed dynamic environments shows that our system outperforms most of the compared methods in highly dynamic scenes. / Visual SLAM (V-SLAM) och objektdetekteringsalgoritmer är två kritiska förutsättningar för moderna XR-applikationer. V-SLAM tillåter XR-enheter att geometriskt kartlägga miljön och lokalisera sig i miljön samtidigt. Dessutom kan DNN-baserade objektdetektorer användas för att semantiskt förstå vad dessa egenskaper i miljön representerar. Men båda dessa algoritmer är beräkningsmässigt dyra, vilket gör det utmanande för dem att uppnå bra realtidsprestanda på enheten. I det här examensarbetet presenterar vi först TRTQ-YOLOv4, en snabbare implementering av YOLOv4 arkitektur [1] med FP16 reducerad precision och INT8 kvantisering som drivs av NVIDIA TensorRT [2] ramverk. För det andra föreslår vi V-SLAM-häckaren: ett snabbare V-SLAM-system som använder online-dynamisk och hårdhetsmedveten approximation. Det föreslagna systemet integrerar basen RGB-D V-SLAM ORB-SLAM3 [3] med INT8 TRTQYOLOv4 objektdetektorn, en ny Entropi-baserad svårighetsgradsuppskattare, en online hårdhetsmedveten approximationskontroller och en Dynamic Object Eraser, applicerar online-dynamik- och hårdhetsmedveten approximation till bas-V-SLAM-systemet under körning samtidigt som det ökar dess robusthet i dynamiska scener. Vi utvärderar först den föreslagna objektdetektorn på datauppsättning för offentlig objektdetektering. Den föreslagna FP16 precision TRTQ-YOLOv4 uppnår 2× snabbare än fullprecisionsmodellen utan förlust av noggrannhet, medan den INT8 kvantiserade TRTQ-YOLOv4 är nästan 3× snabbare än fullprecisionsmodellen med endast 0.024 förlust i mAP@50:5:95. För det andra utvärderar vi vårt föreslagna V-SLAM-system på offentlig RGB-D SLAM-datauppsättning. I statiska scener snabbar det föreslagna systemet upp V-SLAM-bassystemet med +21.2% i genomsnitt med endast −0.7% förlust av noggrannhet. I dynamiska scener accelererar det föreslagna systemet inte bara bassystemet med +23.5% utan förbättrar också noggrannheten med +89.3%, vilket gör det lika robust som i de statiska scenerna. Slutligen visar jämförelsen med de senaste SLAM-designade dynamiska miljöerna att vårt system överträffar de flesta av de jämförda metoderna i mycket dynamiska scener.

Syftet med denna studie var att beräkna graden av behandlingstrohet för en intervention mot problematisk skolfrånvaro och undersöka dess samband med utfallet, med avseende på skolnärvaro och psykisk ohälsa (ångest och depression). Studien genomfördes som en kvantitativ longitudinell studie baserad på befintliga data. Implementeringsteorin och det konceptuella ramverket Evidens tillämpades. Det visade sig att 73.5 % av behandlingen genomfördes som avsett, vilket indikerar hög behandlingstrohet. Resultaten visade förbättringar i både skolnärvaro och minskad psykisk ohälsa. Däremot observerades en negativ korrelation mellan behandlingstrohet och skolnärvaro, i motsats till studiens hypotes. Sambandet mellan behandlingstrohet och psykisk ohälsa överensstämde dock med förväntningarna, då en ökad behandlingstrohet ledde till minskad psykisk ohälsa. Dessa resultat tyder på behovet av ytterligare forskning om sambandet mellan behandlingstrohet och behandlingsresultat i interventioner mot problematisk skolfrånvaro, samt på behovet av att utvärdera metoder för att mäta behandlingstrohet. / This study aimed to measure treatment fidelity for an intervention targeting problematic school absenteeism and examine its correlation with school attendance and mental health outcomes (anxiety and depression). It was conducted as a quantitative longitudinal study using existing data, and applied implementation theory and the Evidence conceptual framework. It found that 73.5% of the treatment was completed as intended, indicating high fidelity. Results showed improvements in both school attendance and reduced mental health issues. However, a negative correlation was observed between treatment fidelity and school attendance, contrary to the hypothesis. The relationship between treatment fidelity and mental health issues, on the other hand, was in line with expectations, as increased treatment fidelity led to reduced mental health issues. These findings highlight the need for further research on the correlation between treatment fidelity and intervention outcomes for problematic school absenteeism, as well as the need to improve methods for measuring treatment fidelity.

The aim of this study is to examine the possibility of calculating the total weight of coins in poorly documented Viking Age silver hoards found on Gotland. A method for calculating the total weight of the silver coins in the hoards, and thus the weight relationship between minted and un-minted silver, would facilitate further and deeper studies using the hoards from Gotland. The method will be based on the average coin weights obtained from numismatic sources. Two calculations, one of Arabic coins and another with mixed coin, is attempted. Apart from the calculations of the Viking Age coins, earlier studies of the relation between silver coins and silver object will be discussed in the earlier research. The different Viking Age coins in the calculation and the development of the Viking age minting will also be discussed in earlier research. The result of the study demonstrate that an estimated total weight could be calculated for the Arabic silver coins. Unfortunately the mixed coin hoards could not achieve a calculation that could estimate an equivalent total weight of the silver coins