Filtyp
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
Pseudo-Boolean proof logging has been used successfully to provide certificates of optimality from a variety of constraint- and satisifability-style solvers that combine reasoning with a backtracking or clause-learning search. Another paradigm, occurring in dynamic programming and decision diagram solving, instead reasons about partial states and possible transitions between them. We describe a fr
Supplemental Instruction/Peer Assisted Study Sessions (SI-PASS) is a peer learning program used worldwide to improve students’ learning and performance in challenging courses in higher education. A bonus effect of the program is the transferable skills that the student leaders may develop when facilitating the study sessions. These student leaders can potentially gain communication, group manageme
OBJECTIVES: There is a need for updated haematological reference data in infancy. This study aimed to define intervals for haemoglobin and red blood cell biomarkers based on data from a large cohort of longitudinally followed Swedish infants. DESIGN: Longitudinal cohort study. SETTING: Two Swedish study centres. PARTICIPANTS: Three community-based populations including 442 presumably healthy infan
Birth is a dangerous and dynamic event resulting in new life, as well as in death and loss. As distinct as the birth transition may seem, it remains essentially a process. The term ‘perinatal’ defines the phase beginning in late pregnancy when the fetus has potential to survive the delivery, and ending, roughly, seven days after birth, demarcating the period when the child gradually emerges and st
This article describes an innovative transnational education project involving three European universities, funded through ERASMUS+. One of its aims was to develop and provide a curriculum to facilitate students’ understanding and identification of occupational (in)justice by exposing them to marginalised people living in three European communities with differing cultural, social, and political sy
This chapter explores communication patterns and media choices among employees, as well as their connection with the ongoing changes in workplace design. It presents a multiple case study of communication and co-ordination in open landscape office environments. The study was carried out in three different organisations; an advertising firm, a manufacturing business, and an IT development office. I
The history of information systems research is steeped in a quest for appropriate methodologies, rigueur within complexity and an evolution of approaches. Currently this evolutionary trend may be seen to culminate in a siding of IS research within critical frameworks. In this paper we will draw on a relationship between IS research and system analysis to use similarities and differences in an atte
AbstractShiga toxin (Stx) is the main virulence factor of enterohemorrhagic Escherichia coli (EHEC). EHEC strains cause gastrointestinal infection and release Stx that can gain access to the circulation. Patients may develop hemolytic uremic syndrome with extensive kidney damage. In the first paper we investigated if blood cell-derived microvesicles released during EHEC infection contain Stx. Toxi
We present a clinical distance measure for Pareto front evaluation studies in radiotherapy, which we show strongly correlates (r = 0.74 and 0.90) with clinical plan quality evaluation. For five prostate cases, sub-optimal treatment plans located at a clinical distance value of >0.32 (0.28–0.35) from fronts of Pareto optimal plans, were assessed to be of lower plan quality by our (12) observers (p
There is a scarcity of rehabilitation methods for people with stress-related disorders that are effective in terms of return to work and reducing sick leave. This chapter describes the Redesigning Daily Occupations (ReDOTM) program for women with stress-related disorders, the development, its main principles, and primary and secondary outcomes. The ReDOTM program, which addresses people’s whole re
Frost is damaging to plants when air temperature drops below their tolerance threshold. The set of mechanisms used by cold-tolerant plants to withstand freezing is called “hardening” and typically take place in autumn to protect against winter damage. The recent incorporation of a hardening scheme in the demographic vegetation model FATES opens up the possibility to investigate frost mortality to
The aim of this study was to quantify bisphenol A (BPA) concentrations in saliva and urine before and after treatment with dental polymer-based restorative materials to assess if placement of this material is associated with increased BPA levels in saliva and urine. Twenty individuals in need of at least one dental restoration with polymer-based restorative material were included in this study. Th
Tubes fabricated from dilute Zr-alloys serve as miniature pressure vessels in Pressurized Heavy Water Reactors and are subjected to stress, aqueous corrosion and intense irradiation during service. Hydrogen evolved during the corrosion reaction may enter into the material and precipitate as hydride phase, which acquire platelet shaped morphology in Zr-alloys and are known to embrittle the host mat
