Proof logging in constraint programming is an approach to certifying a conclusion reached by a solver. To allow for this, different propagators must be augmented to produce justifications for any inferences they make, so that an independent proof checker can certify correctness. The Circuit constraint is used to enforce a Hamiltonian cycle on a set of vertices, e.g. for vehicle routing. Maintainin

IMPORTANCE Twin studies have found that posttraumatic stress disorder (PTSD) is influenced by both genetic and environmental factors within a generation. No study has used an adoption design, which can address questions about the degree and sources of cross-generational transmission of adverse stress responses (ASRs) and PTSD. OBJECTIVES To examine whether ASRs or PTSD are transmitted from parents

AIMS: Carbohydrate antigen 125 (CA125), a mucin produced by serosal cells in response to mechanical and inflammatory stimuli, has emerged as an important biomarker to guide risk stratification in heart failure (HF). The prognostic value of CA125 in acute coronary syndrome (ACS) patients is less explored.METHODS: In a cohort of 524 ACS patients (73% males, mean age 67 ± 12 years), we assessed the a

IMPORTANCE An accurate prognosis is especially pertinent in mild cognitive impairment (MCI), when individuals experience considerable uncertainty about future progression. OBJECTIVE To evaluate the prognostic value of tau positron emission tomography (PET) to predict clinical progression from MCI to dementia. DESIGN, SETTING, AND PARTICIPANTS This was a multicenter cohort study with external valid

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

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