Filetype
Proof logging has long been the established method to certify correctness of Boolean satisfiability (SAT) solvers, but has only recently been introduced for SAT-based optimization (MaxSAT). The focus of this paper is solution-improving search (SIS), in which a SAT solver is iteratively queried for increasingly better solutions until an optimal one is found. A challenging aspect of modern SIS solve
Substance use disorders are regarded as one of the most prevalent, deadly and costly of health problems. Research has consistently found that the prevalence of other psychiatric disorders among those with substance related disorders is substantial. Combined, these disorders lead to considerable disability and health years lost worldwide as well as extraordinary societal costs. Relatively little of
The aim of this paper is to present a model for creating a more coherent concept, designed to meet the demands of the multidisciplinary field of Sociology of Law. This model is built on an ontological analysis that can incorporate different perspectives. The suggested analysis is mainly founded on the Aristotelian concepts of ‘essence’ and ‘accident.’ Thus, the method is concerned with distinguish
The present study investigates the dental work in terms of time distribution and mechanical exposure in value-adding work (VAW) and non-VAW. Further rationalisation of dental work would typically involve an increase in the proportion of VAW. Information on mechanical exposure within the classes of VAW and non-VAW may be used to predict possible implications of rationalisation. Sixteen dentists wer
Energy security is one of the main drivers of energy policies. Understanding energy security implications of long-term scenarios is crucial for informed policy making, especially with respect to transformations of energy systems required to stabilize climate change. This paper evaluates energy security under several global energy scenarios, modeled in the REMIND and WITCH integrated assessment mod
Recent work on low-rank matrix factorization has focused on the missing data problem and robustness to outliers and therefore the problem has often been studied under the $L_1$-norm. However, due to the non-convexity of the problem, most algorithms are sensitive to initialization and tend to get stuck in a local optimum. In this paper, we present a new theoretical framework aimed at achieving opt
OBJECTIVE: The outcomes, in terms of quality of life and satisfaction with rehabilitation, of the 16-week Redesigning Daily Occupations (ReDO) programme as a work rehabilitation method for women with stress-related disorders was evaluated. It was hypothesised that, compared to women who got Care as Usual (CAU), the ReDO group would improve their quality of life and self-mastery more, and that thos
The mechanisms underlying longitudinal displacements of the arterial wall, that is, displacements of the wall layers along the artery, and the resulting intramural shear strain remain largely unknown. We have already found that these displacements undergo profound changes in response to catecholamines. Wall shear stress, closely related to wall shear rate, represents the viscous drag exerted on th
Climate change (CC) is one of the major and most encompassing threats in the world today. While the facts and high-consensus predictions among natural scientists are increasingly well-known, the understanding of CC as a socio-ecological issue is much less clear and uncontroversial. This paper summarizes the available climate science expertise and then discusses the genesis of CC as a socio-ecologi
Boken är utgiven med anledning av Lars-Erik Nevanders 70-årsdag och baseras på ett symposium i Lund 1991 med föredrag av personer som arbetat med Nevander under hans tid som professor i Lund. Föredragen hölls av en bred samling internationella namn och omfattar ett brett spektrum bl a klimat & fuktfrågor, betong- och murverkskonstruktioner m.m.
This study highlights school nurses' view of schoolchildren's health and their attitude to document it in the school health records. A strategic sample of 12 school nurses was interviewed. The interviews were semistructured and analysed with qualitative content analysis. The findings showed that the school nurses' viewed schoolchildren as physical healthy although they called attention to growing
Background Some evidence suggests that chronic kidney disease is a risk factor for lower-extremity peripheral artery disease. We aimed to quantify the independent and joint associations of two measures of chronic kidney disease (estimated glomerular filtration rate [eGFR] and albuminuria) with the incidence of peripheral artery disease. Methods In this collaborative meta-analysis of international
The purpose of this thesis was to increase our understanding of how the social service in Sweden deals with reported incidents of addiction to medicines. Another purpose was to point out the different opinions concerning addiction to medicines amongst actors as well as possible ways to handle the problem. We have conducted a quantitative and qualitative e-mail survey targeting all communities in
The purpose of this work was to research how baby nurses define the concept child maltreatment and how they conduct themselves to mandatory reporting. The central questions were; How do the baby nurses interpret the concept child maltreatment and which children do they consider comprehending the concept? What are the reasons that children are maltreated according to the baby nurses opinions? Do
This bachelor thesis main ambition is to develop a theoretical foundation that can provide plausible explanations to the relation between tourism and lack of political liberalization in less-developed and middle-income countries. The thesis identifies a number of unique features of tourism as a sociological and commercial phenomena. This conceptualization of tourism paves the way for the formulat
Cervical cancer is preventable by screening. In 1967, Sweden introduced a cervical screening program. Screening for high-risk human papillomavirus (hr-HPV), the causative factor of cervical cancer, is more sensitive than cytology and can be performed as a self-sample. Non-attendance to screening is a large risk factor for cervical cancer. Self-samples may improve screening attendance. The aims of
Respiration is a major trait shaping the biology of many environments. Cytochrome oxidase containing heme A (COX) is a common terminal oxidase in aerobic bacteria and is the only one in mammalian mitochondria. The synthesis of heme A is catalyzed by heme A synthase (CtaA/Cox15), an enzyme that most likely coevolved with COX. The evolutionary origin of COX in bacteria has remained unknown. Using ex
