Filetype
Efficient unit propagation for clausal constraints is a core building block of conflict-driven clause learning (CDCL) Boolean satisfiability (SAT) and lazy clause generation constraint programming (CP) solvers. Conflict-driven pseudo-Boolean (PB) solvers extend the CDCL paradigm from clausal constraints to integer linear constraints, also known as (linear) PB constraints. For PB solvers, many diff
We propose that CDCL SAT solver heuristics such as restarts and clause database management can be analysed by studying the resolution proofs produced by the solvers, and by trimming these proofs to extract the clauses actually used to reach the final conclusion. We find that for non-adaptive Luby restarts higher frequency makes both untrimmed and trimmed proofs smaller, while adaptive restarts bas
As glaciers retreat, their forelands represent “natural laboratories” for the study of primary succession. This review describes how certain arthropods conquer pristine ground and develop food webs before the establishment of vascular plants. Based on soil samples, pitfall traps, fallout and sticky traps, gut content studies, and some unpublished data, we compare early arthropod succession on glac
The insect olfactory system operates as a well-choreographed ensemble of molecules which functions to selectively translate volatile chemical messages present in the environment into neuronal impulses that guide insect behaviour. Of these molecules, binding proteins are believed to transport hydrophobic odorant molecules across the aqueous lymph present in antennal sensilla to receptors present in
Objective: Vulvar cancer affects mainly elderly women and with an ageing population the incidence has increased. We explored the primary treatment patterns and relative survival of patients with vulvar squamous cell carcinoma (VSCC) by stage and age-group. Methods: A population-based nationwide study on women diagnosed with VSCC between 2012 and 2016 and registered in the Swedish Quality Registry
In the framework of the ATTRACT-uRANIA project, funded by the European Community, we are developing an innovative neutron imaging detector based on micro-Resistive WELL (μ-RWELL) technology. The μ-RWELL, based on the resistive detector concept, ensuring an efficient spark quenching mechanism, is a highly reliable device. It is composed by two main elements: A readout-PCB and a cathode. The amplifi
Iceland has been one of the main destinations that have been incorporated into the discourse of overtourism. However, Iceland is different to many other supposed overtourism destinations in that its tourism is based on natural areas. Nevertheless, destination discourses can play an important part in influencing tourist decision-making and government and industry policy making. A media analysis was
There is a need for unified guidance on the management of ocular manifestations of atopic dermatitis and ocular manifestations associated with dupilumab in the Nordic region (Denmark, Finland, Norway and Sweden). This initiative gathered Nordic dermatologists and ophthalmologists to identify consensus in this area using a modified Delphi process. The initiative was led by a Nordic expert panel who
Lower diversity of plant and animal farmland species are usually reported where cropland has been aggregated into larger fields, which raises prospects of curbing declines in European farmland biodiversity and associated ecosystem services by halting trends to field size increases associated to agricultural intensification, without having to set aside arable land for conservation. Here, we conside
Early childhood deprivations and inequalities have social and economic implications in adulthood and thus, their elimination is essential for child development. However, child-level estimates of poverty are rare in low income countries. Using data from two recent rounds of the Ghana Demographic and Health Survey, we measure the extent and sources of childhood deprivations in Ghana and examine subg
Several orogenies have shaped the bedrock of southern Sweden. While mafic intrusions represent significant sources of information for reconstructing geodynamics and crustal evolution, the characterization of the various generations of such intrusions in Sweden remains limited. We report in situ zircon U–Pb ages and Hf isotope data from a Fe-Ti eclogite and a coronitic metagabbro from the Eastern S
Background: Prior research has established evidence for self-determination enhancement as a promising intervention for youth transitioning from out-of-home care. Understanding how participants in these prior trials compare to adolescents in target contexts may inform practice by highlighting the extent to which such models are expected to benefit young people. Objective: To assess the extent to wh
The photoionization of xenon atoms in the 70–100 eV range reveals several fascinating physical phenomena such as a giant resonance induced by the dynamic rearrangement of the electron cloud after photon absorption, an anomalous branching ratio between intermediate Xe+ states separated by the spin-orbit interaction and multiple Auger decay processes. These phenomena have been studied in the past, u
Existing researches on two-row film cooling mainly focused on double-jet film cooling. However, researches on the effects by combining different kinds of hole shapes on film cooling performance are quite limited. In order to improve the film cooling effectiveness, the three-dimensional numerical method is utilized to investigate the effects of a novel structure composed of two-row holes with diffe
Assessment of amyloid deposits is a critical step for the identification of Alzheimer disease (AD) signature in asymptomatic elders. Whether the different amyloid processing methods impacts on the quality of clinico-radiological correlations is still unclear. We directly compared in 155 elderly controls with extensive neuropsychological testing at baseline and 4.5 years follow-up three approaches:
Experimental studies suggest that hepatocyte growth factor (HGF) and its transmembrane tyrosine kinase receptor, Met, in part also relying on Akt kinase activity, mediate radioresistance. We investigated the importance of these biomarkers for the risk of ipsilateral breast tumour recurrence (IBTR) after adjuvant radiotherapy (RT) in primary breast cancer. HGF, phosphorylated Met (pMet) and phospho
Bacteria and fungi, representing two major soil microorganism groups, play an important role in global nutrient biogeochemistry. Biogeographic patterns of bacterial and fungal biomass are of fundamental importance for mechanistically understanding nutrient cycling. We synthesized 1323 data points of phospholipid fatty acid-derived fungal biomass C (FBC), bacterial biomass C (BBC), and fungi:bacter
In 2006, a new species of non-calcified dasycladalean alga, Chaetocladus gracilis, from the upper Silurian of Skåne (Scania), southernmost Sweden, was erected. The original description was based on a single incomplete fossil recovered from the abandoned limestone quarry at Bjärsjölagård, a classic geologic locality in Scania. Here we present four additional and, importantly, more complete specimen
A gradient-enhanced ductile damage model at finite strains is presented, and its parameters are identified so as to match the behaviour of DP800. Within the micromorphic framework, a multi-surface model coupling isotropic Lemaitre-type damage to von Mises plasticity with nonlinear isotropic hardening is developed. In analogy to the effective stress entering the yield criterion, an effective damage
