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
BACKGROUND: Discrimination may further impede access to medical care for individuals in socially disadvantaged positions. Sociodemographic information and perceived discrimination intersect and define multiple contexts or strata that condition the risk of refraining from seeking physician's care. By applying analysis of individual heterogeneity and discriminatory accuracy (AIHDA) we aimed to impro
Non-traditional stable isotope systems are increasingly used to study micronutrient cycling and acquisition in terrestrial ecosystems. We previously proposed for zinc (Zn) a conceptual model linking observed isotope signatures and fractionations to biogeochemical processes occurring in the rice soil environment and we suggested that 2’deoxymugineic acid (DMA) could play an important role for rice
Hip and knee arthroplasties are mostly successful procedures; however, patient injuries may occur and should be reported to Löf, the Swedish patient insurance. This study investigated the incidence of patient injuries after primary total hip and knee arthroplasty in the Swedish regions, differences in incidence depending on annual surgical volume, and types of approved injuries. Approved patient i
Importance: Clonal hematopoiesis of indeterminate potential (CHIP) may contribute to the risk of atrial fibrillation (AF) through its association with inflammation and cardiac remodeling. Objective: To determine whether CHIP was associated with AF, inflammatory and cardiac biomarkers, and cardiac structural changes. Design, Setting, and Participants: This was a population-based, prospective cohort
This chapter presents three interviews with three influential voices in the field of social movement and civil society studies, namely, those of Doug McAdam, Jeffrey Alexander, and Nina Eliasoph. They all share their perspectives on social movements’ role in society’s moral development, the role of morality internally in social movements, and the role of morality for social science as a practice.
Background: A diagnosis of prostate cancer (PC) may cause psychosocial distress that worsens quality of life; however, long-term mental health outcomes are unclear. Objective: To determine the long-term risks of major depression and death by suicide in a large population-based cohort. Design, setting, and participants: This was a national cohort study of 180 189 men diagnosed with PC during 1998–2
We apply the statistical sparse jump model, a recently developed, interpretable and robust regime-switching model, to infer key features that drive the return dynamics of the largest cryptocurrencies. The algorithm jointly performs feature selection, parameter estimation, and state classification. Our large set of candidate features are based on cryptocurrency, sentiment and financial market-based
It is well known that the biological control of oceanic silica cycling is dominated by diatoms, with sponges and radiolarians playing additional roles. Recent studies have revealed that some smaller marine organisms (e.g. the picocyanobacterium Synechococcus) also take up silicic acid (dissolved silica, dSi) and accumulate silica, despite not exhibiting silicon dependent cellular structures. Here,
Research is needed to understand attitudes toward and adoption of the broad range of technologies available to support active and healthy aging in different generations. The present article gives an overview of the GenerationTech survey and sample, and describes attitudes and acceptance related to technology in general and as a means to support active and healthy aging. A national survey was condu
This study presents the results of a set of large-scale fire tests performed on horizontal polyurethane foam slabs. Slab thickness, ignition location, and environment (free burn or corner wall) were varied over 23 individual tests. In a continuation of a previous study by the authors, four different slab thicknesses, five different ignition locations, and three environmental modification combinati
BACKGROUND: Mean diffusivity (MD) and fractional anisotropy (FA) from diffusion MRI (dMRI) have been associated with cell density and tissue anisotropy across tumors, but it is unknown whether these associations persist at the microscopic level.PURPOSE: To quantify the degree to which cell density and anisotropy, as determined from histology, account for the intra-tumor variability of MD and FA in
Protein tyrosine phosphatase 1B (PTP1B) is an important drug target for the treatment of type II diabetes and obesity. There are strong indications that a novel class of allosteric inhibitors act by preventing the closure of the WPD-loop [C. Wiesmann, K.J. Barr, J. Kung, J. Zhu, D.A. Erlanson, W. Shen, B.J. Fahr, M. Zhong, L. Taylor, M. Randall, R.S. McDowell, S.K. Hansen, Allosteric inhibition of
For a project to be delivered on-time and to an agreed cost in accordance with the specification, it is important to have an appropriate purchasing strategy. A project succeeds due to many factors, one of which is cost alongside timely delivery and quality. Formal purchasing strategies for different purchasing categories are common in the manufacturing industry, but less so in a project-based indu
Interfirm self-regulation through trade associations is common but its effectiveness is debated and likely varies by time, country, and industry. This study examines self-regulation of pharmaceutical marketing, characterized by delegation of major regulatory responsibilities to trade associations' self-regulatory bodies. In addressing critical research gaps, this study first analyzes 1,776 complai
Background: Predicting future Alzheimer’s disease (AD)-related cognitive decline among individuals with subjective cognitive decline (SCD) or mild cognitive impairment (MCI) is an important task for healthcare. Structural brain imaging as measured by magnetic resonance imaging (MRI) could potentially contribute when making such predictions. It is unclear if the predictive performance of MRI can be
Most often, the laminar burning velocity (SL) of ammonia was measured in mixtures diluted by nitrogen bearing in mind its potential use as an alternative carbon-free fuel. Replacing the diluent with argon can increase the flame temperature and thus provide additional targets for validating pertinent detailed kinetic models. The SL data for ammonia + oxygen + argon mixtures are scarce; therefore, i
MÖNCH is a 25 mm-pitch charge-integrating detector aimed at exploring the limits of current hybrid silicon detector technology. The small pixel size makes it ideal for high-resolution imaging. With an electronic noise of about 110 eV r.m.s., it opens new perspectives for many synchrotron applications where currently the detector is the limiting factor, e.g. inelastic X-ray scattering, Laue diffrac
