Filetype
It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the feasibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first s
Purpose: Iron deficiency anemia is common in people with inflammatory bowel disease (IBD), causing deterioration in quality of life, which can be reversed by treatment that increases iron stores and hemoglobin levels. The present post hoc analyses estimate health state utility values for patients with IBD after treatment with ferric derisomaltose or ferric carboxymaltose and evaluate the health do
This paper critically engages with one of Harvey's central conceptual frameworksin his model for capitalist urbanization (and its central mechanism, capitalswitching), i.e., his three circuits of capital. Harvey names Capital Vol II as hismain source of inspiration and characterizes his conceptual framework as anelaboration of Marx's original intentions in the text. I have two objectives in mycrit
Word-of-Mouth (WoM) is a socially embedded process, and investors engage in social considerations to achieve self-motives. Investors attempt to share negative WoM (NWoM) to emotionally connect (self-affirm) to strengthen existing social ties following prior losses. In contrast, investors attempt to share positive WoM (PWoM) to self-enhance to attract others into developing new social ties. Thereby
Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach for solving NP-hard optimization problems. However, ensuring correctness of MaxSAT solvers has remained a considerable concern. For SAT, this is largely a solved problem thanks to the use of proof logging, meaning that solvers emit machine-verifiable
Lightweight and semi-transparent organic solar cells (ST-OSCs) offer bright promise for applications such as building integrated photovoltaics. Diluting donor content in bulk-heterojunction active layers to allow greater visible light transmittance (AVT) effectively enhances device transparency, yet the ineluctable compromise of the donor-phase continuity is challenging for efficient charge transp
The disparity between increased lifespan and healthy aging, marked by prevalent “inflammaging”, highlights the global challenge in care of older persons. This study explored the anti-inflammatory effects of Lactiplantibacillus plantarum HEAL9 (LpHEAL9), alone or combined with berries, on older volunteers with chronic low-grade inflammation (LGI). It was a randomized, double-blind, placebo-controll
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
Since the launch of radical geography, the questions of capital’s spatial dynamics and the consequent socio-spatial relations, such as the evolving ‘North-South’ relation touched on in the conference call, have been central to the field. However, according to Kevin Cox (2013), already from the 1980s with the rise of critical realism as the dominant theory of science, classical (Marxist) political
Background. Whether disease burden in patients with metastatic castration-sensitive prostate cancer (mCSPC) predicts treatment outcomes is unknown. We assessed apalutamide treatment effect in TITAN patients with mCSPC by disease volume, metastasis number and timing of metastasis presentation. Methods. These protocol-defined and post hoc analyses of the phase III randomised TITAN study evaluated cl
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
In recent times, there have been notable advancements in comprehending the potential anti-cancer effects of chrysin (CH), a naturally occurring flavonoid compound found abundantly in various plant sources like honey, propolis, and certain fruits and vegetables. This active compound has garnered significant attention due to its promising therapeutic qualities and minimal toxicity. CH’s ability to c
Background: Expiratory flow limitation (EFL) during tidal breathing and lung hyperinflation have been identified as major decisive factors for disease status, prognosis and response to therapy in obstructive lung diseases. Aim: To investigate the delta values between expiratory and inspiratory resistance and reactance, measured using respiratory oscillometry and its correlation with air trapping a
In three thematic sections and 18 different chapters, this volume has unpacked and explored the conditions, contexts, and practices of creative work from multiple different perspectives.
Cardiac amyloidosis represents a spectrum of conditions characterized by the accumulation of insoluble fibrils, resulting in progressive deposition and myocardial dysfunction. The exact mechanisms contributing to the heightened risk of thromboembolic events and bleeding tendencies in cardiac amyloidosis remain unclear. Proteins such as transthyretin in transthyretin amyloidosis and light chains in
We argue that an information exchange between vehicles via the vehicular communications is the foundation for ethical driving. In other words – autonomous vehicles must be cooperative to be able to resolve ethical dilemmas in a multi-vehicle scenario. We show this by exploring the minimal setting of a longitudinal driving in a formation of three vehicles.
Fine needle aspiration (FNA) is widely used in the examination of head and neck lesions and has been considered an important diagnostic tool in the evaluation of thyroid and parathyroid nodules. Thyroid nodules are frequent findings in the general population, although 90-95% of these nodules are benign. FNA plays a crucial role to determine which nodules are at greatest risk of malignancy and whic
Introduction: Patients with heart failure (HF) and bradycardia may be eligible for different types of cardiac implantable electronic devices (CIED), depending on the presence of atrioventricular conduction disease, age, and comorbidities. We aimed to assess the prognosis for these patients, after CIED implantation, stratified for the type of CIED device. Methods: All patients with preexisting HF d
Background: Multiple system atrophy is a neurodegenerative disease with α-synuclein aggregation in glial cytoplasmic inclusions, leading to dysautonomia, parkinsonism, and cerebellar ataxia. Objective: The aim of this study was to validate the accuracy of the International Parkinson and Movement Disorder Society Multiple System Atrophy clinical diagnostic criteria, particularly considering the imp
