Filetype
Algebraic reasoning has proven to be one of the most effective approaches for verifying gate-level integer mul-tipliers, but it struggles with certain components, necessitating the complementary use of SAT solvers. For this reason validation certificates require proofs in two different formats. Approaches to unify the certificates are not scalable, meaning that the validation results can only be t
This article discusses the drivers behind why Swedes move to Portugal and who these migrants are. The conceptual framework is based on lifestyle migration and considers migration as a process. Using a semi-structured interview guide, designed according to a life-course approach, 36 in-depth interviews with Swedes permanently residing in Portugal were conducted. The findings display that only a sma
The global burden of neurological disorders is substantial and increasing, especially in low-resource settings. The current increased global interest in brain health and its impact on population wellbeing and economic growth, highlighted in the World Health Organization’s new Intersectoral Global Action Plan on Epilepsy and other Neurological Disorders 2022–2031, presents an opportunity to rethink
ObjectivesCancer related pain (CRP) is among the most frequent collateral effects of cancer, with chronic CRP, lasting at least three months, affecting >40% of cancer survivors.Evidence based treatments, including pain-focused Cognitive Behavioral Therapy(CBT) are available, but it appears that cancer patients/survivors are often poorlyinformed about CRP or the potential benefits of CBT for such p
Introduction: The osmotic conductance to glucose (OCG) is a crucial determinant of ultrafiltration (UF) in peritoneal dialysis (PD) patients and can be used to monitor membrane integrity in patients on long-term PD. It has been proposed that OCG can be assessed based on drained volumes in 2 consecutive 1-hour glucose dwells, usually 1.5% and 4.25% glucose, in a so-called double mini-peritoneal equ
BACKGROUND: School principals face a demanding work situation that puts them at risk for stress-related poor mental health. Ideally, preventive actions should be based on knowledge about the underlying notions that motivate action. However, knowledge about prevention areas and suitable initiatives for school principals is scarce or lacking, leaving key stakeholders without the overview necessary f
Aim: To audit adherence to the Swedish paediatric guidelines for urinary tract infections (UTIs) in infants. Secondary objectives were to compare findings on imaging performed according to the guidelines with imaging without guideline support and to identify predictors of non-adherence. Methods: A prospective multicentre study of infants <1 year treated at paediatric hospitals for their first UTI.
We have critically examined and compared various ways to obtain standard harmonic molecular mechanics (MM) force-field parameters for metal sites in proteins, using the 12 most common Zn2+ sites as test cases. We show that the parametrization of metal sites is hard to treat with automatic methods. The choice of method is a compromise between speed and accuracy and therefore depends on the intended
Due to the relatively short duration of earthquakes, most studies simplify their impact on structures by considering the total effect of each event rather than modelling the instantaneous accumulation of damage during the event itself. This approach may underestimate performance degradation, as incremental damage occurring during the shock can lead to an immediate reduction in capacity. Furthermor
This master thesis was performed in collaboration with NP Innovation. The purpose of this project was to develop a new inlet channel and two adapters for a water filter used in fish farming. Two different sizes of filters are included in the company's product portfolio. For both filters there is one inlet channel each in a corresponding size. One inlet channel consist of an adapter welded to t
Sustainable access to effective antibiotics is a main rationale for addressing antimicrobial resistance, for calls to enhance antibiotic supply security and for development support to promote health system capacity in low- and middle-income settings. Standard models for valuing pharmaceuticals fail to capture the full value of sustainable access to effective antibiotics. In effect, assessments of
One of the main contributors in the immune system are T cells. The exact molecular mechanisms behind T cell activation are not yet fully understood but it starts through the contact between the T cell and an infected cell. In order to study such interaction, supported lipid bilayers (SLBs) are used to mimic cell membranes and to reduce its complexity but still retaining the fundamental property of
This thesis explores the possibility of framing the problem of setting prices for consumer loans on loan comparison sites as a Multi-Armed Bandit Problem. The problem is solved by creating a Multi-Armed Bandit environment based on SEB:s expert knowledge of the problem. Different Multi-Armed Bandit algorithms are then compared in a stationary environment after which the best performing algorithm is
With the increasing portfolio of options when looking for new mobile apps and web tools their is a need to excel. One of the possible solutions is to capture and hold on to the users by introducing gamification that motivates the user and gives them the opportunity to feel more engaged with a product. This master thesis examines a possible gamification design for the software solution KLAR. KLAR c
Most developments in regenerative medicine have in common that there are many uncertainties and knowledge gaps. These features make the evaluation of long-term consequences of the available options difficult and have consequences for the ethical issues raised. This paper presents an overview of ethical issues raised in regenerative medicine, using as a starting point a list of stakeholders and the
The role of market-specific factors in driving business model adaptation during international expansion has received limited scholarly attention, particularly among early-stage start-ups in the agricultural biotechnology industry. Therefore, this study asks how market-specific factors influence business model adaptation during internationalization in the agricultural biotechnology sector, thereby
This paper explores the legal relevance of delusions in determining criminal responsibility. We argue that although delusions may be relevant in assessing capacity for criminal responsibility, the specific content of delusional beliefs should not form the basis for judgments of blameworthiness. The analysis takes the Anglo-American criminal law tradition as its starting point, focusing on the gene
Previous reports and studies have found that gender, socioeconomic status, migration background and education are important factors in explaining reading amongst young people. A previous report from the Swedish Agency for Youth and Civil Society indicate that there are differences in reading depending on gender and birth country using confidence intervals. However, the report indicated that living
