Symmetry and dominance breaking can be crucial for solving hard combinatorial search and optimisation problems, but the correctness of these techniques sometimes relies on subtle arguments. For this reason, it is desirable to produce efficient, machine-verifiable certificates that solutions have been computed correctly. Building on the cutting planes proof system, we develop a certification method

Objective: While considerable focus has been placed on pain due to inflammation in psoriatic arthritis (PsA), less is reported on pain despite inflammation control. Here, we aimed to investigate the occurrence/predictors of persistent pain, including non-inflammatory components, after starting anti-tumour necrosis factor (anti-TNF) therapy. Method: Bionaïve PsA patients starting a first anti-TNF t

While immunity and psychological distress are strongly associated, studies seldom consider how different types of distress relate to immune functioning. The literature tends to emphasis the impact of stress on immunity. The present cross-sectional study estimated the unique contributions of depression, anxiety, and stress on immune function in culturally diverse samples of adults from Italy, New Z

Termites play an essential role in decomposing dead plant material in tropical ecosystems and are thus major sources of gaseous C emissions in many environments. In African savannas, fungus-growing termites are among the ecologically most influential termite species. We studied the gas exchange from mounds of two closely related fungus-growing species (Macrotermes subhyalinus and M. michaelseni, r

The northern hemisphere has experienced regional cooling, especially during the global warming hiatus (1998-2012) due to ocean energy redistribution. However, the lack of studies about the natural cooling effects hampers our understanding of vegetation responses to climate change. Using 15,125 ground phenological time series at 3,620 sites since the 1950s and 31-year satellite greenness observatio

Background: Voluntary self-exclusion from gambling is a common but underdeveloped harm reduction tool in the management of gambling problems or gambling disorders. Large-scale, multi-operator, and operator-independent self-exclusion services are needed. A recent nationwide multi-operator self-exclusion service in Sweden (Spelpaus), involving both land- and web-based gambling sites, is promising, b

Aim: Acyl ghrelin increases cardiac output (CO) in heart failure with reduced ejection fraction (HFrEF). This could impair the right ventricular-pulmonary arterial coupling (RVPAC), both through an increased venous return and right ventricular afterload. We aim to investigate if acyl ghrelin increases CO with or without worsening the right-sided haemodynamics in HFrEF assessed by RVPAC. Methods an

Personer som vistas i Sverige utan tillstånd, papperslösa, har enligt lag (2013:407) om hälso- och sjukvård till vissa utlänningar som vistas i Sverige utan nödvändiga tillstånd, rätt att erhålla en begränsad hälso- och sjukvård. Bland annat ska regioner erbjuda gruppen ”vård som inte kan anstå”. Begreppet har av yrkesverksamma, frivilligorganisationer och myndigheter kritiserats för att vara svårPeople staying in Sweden without permit – undocumented migrants – have, according to the Act (2013:407) on health care for certain foreigners who are staying in Sweden without necessary permits, a right to receive limited health care. Among other things, Swedish regions must offer this group “care that cannot be deferred”. This wording has been criticized by medical professionals, organizations, a

Avfallshanteringen har genom tiderna bestått av mycket deponering där allt avfall som uppstod slängdes i naturen utan adekvata skyddsåtgärder, vilket idag utgör förorenade områden. Ett förorenat område kan medföra skada eller olägenheter för människors hälsa och miljö. Sverige har flera mål för att skapa en hållbar utveckling, ett av dessa är Giftfri miljö där det ingår att åtgärda förorenade områThroughout history, waste management has consisted of a lot of landfilling, where all the waste generated is being disposed of in the environment without adequate protective measures. These areas constitute contaminated areas today. A contaminated area can cause damage or inconvenience to human health and the environment. Sweden has several goals to create sustainable development, one of these is

By replacing conventional gray cast iron (GI) with compacted graphite iron (CGI), automotive industry could keep up with stricter regulations on emissions and demands on higher engine performance. CGI has improved properties as to GI but is more difficult to machine. This study evaluates sustainable machining performance during finish face milling when using minimum quantity lubrication applied ve

Danish and Norwegian legislation concerning censorship and print changed dramatically in the years between 1770 and 1773, following three distinct royal orders issued during and shortly after the German physician Johann Friedrich Struensee’s time in power at the Danish court. The Order of 14 September 1770 abolished, with one swift stroke, the old system of pre-publication censorship by expert rea

This study aimed to examine how school counselors work with children who experience domestic violence, as well as which challenges they face in their work with this group. The study is based on six qualitative interviews with school counselors who all have experience working with children exposed to domestic violence. The interviews were analyzed using two sociological theories: Goffman's dram

This study aimed to analyze how users on TikTok portrayed social services by identifying themes and patterns in their representations. Furthermore, the study searched to identify users' attitudes towards these portrayals, intending to understand how attitudes towards social services could be understood and constructed. Applying a perspective grounded in social constructivism and moral panic, t

An experiment aimed at studying high-spin states in 190Hg was performed with the Eurogam II array. The data have revealed the presence of cascades of magnetic dipole transitions with some unexpected properties. Unlike the MI bands previously observed in the heavier Hg isotopes, these structures have extremely large B(M1)/B(E2) ratios, The observation of a third dipole band with much lower B(M1)/B(

There are indications that state repression against environmental activism is increasing on a global scale. Meanwhile, there is a knowledge gap concerning this phenomenon in Sweden. This thesis studies why state repression occurs in Sweden. By conducting semi-structured interviews with environmental activists, and a literature review, state repression against environmental activists is explored. T

Genom direktiv 2019/2121 och EU-domstolens praxis kan ett aktiebolag genomföra en gränsöverskridande ombildning till en motsvarande juridisk person i en annan medlemsstat. I Sverige har reglerna införts i 24 a kap. ABL och skattemässiga justeringar har gjorts i IL genom prop. 2023/24:15. Uppsatsen syftar till att utreda om begränsat skattskyldiga ska betala kupongskatt i Sverige efter att ett svenThrough the EU Directive 2019/2121 and the practice of the Court of Justice of the European Union (CJEU), a limited liability company can make a cross-border conversion into a corresponding legal entity in another Member State. This essay aims to investigate whether withholding tax must be paid in Sweden after a Swedish-registered limited company carries out a cross-border conversion without condu

Dagens samhälle utvecklas i allt snabbare takt, framväxten av ny teknologi och digitalisering har ökat konkurrensen på arbetsmarknaden. Det har resulterat i ökade krav på organisationer att utveckla och stärka kompetensen hos sina medarbetare för att möta de nya utmaningarna. Mycket av lärandet i organisationer sker idag i den befintliga rollen men det räcker inte bara att säga till medarbetarna a