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

Accelerating rates of climate change have intensified research on thermal adaptation. Increasing temperature fluctuations, a prominent feature of climate change, means that the persistence of many species depends on both heat and cold tolerance across the entire life cycle. In endotherms, research has focused on specific life stages, with changes in thermoregulation across life rarely being examin

We investigate the persistance of embedded eigenvalues under perturbations of a certain self-adjoint Schrödinger-type differential operator in L2(R; Rn), with an asymptotically periodic potential. The studied perturbations are small and belong to a certain Banach space with a specified decay rate, in particular, a weighted space of continuous matrix valued functions. Our main result is that the se

With the wave of right-wing populist parties coming to power and gaining influence in recent years, civil society has been hit by increased ideological resistance from outside. The paper explores how key civil society actors react to policy changes by national governments influenced by right-wing populist parties. The aim is to understand how the rise to power of right-wing populist parties affect

In the field of operations and supply chain management (OSCM), the customer order decoupling point (CODP) hasi been recognized as an important strategic parameter for roughly 30 years. It is the point in the value chain where forecast-driven material flows get separated from order -driven material flows. Despite its long history in the field, multiple calls for further consideration of the CODP inIn the field of operations and supply chain management (OSCM), the customer order decoupling point (CODP) hasbeen recognized as an important strategic parameter for roughly 30 years. It is the point in the value chain whereforecast-driven material flows get separated from order-driven material flows. Despite its long history in the field,multiple calls for further consideration of the CODP in OSCM

BACKGROUND: Beneficial effects from practising a Paleolithic diet as compared to a diabetes diet on weight, waist circumference, satiety, leptin, HbA1c and glucose control in randomised controlled trial participants with type 2 diabetes could be due to lower leptin resistance. Support for this hypothesis comes from an in vitro experiment that showed that digested wheat gluten, which is excluded fr

This paper investigates the intersection of cognitive sciences and social network theory and its counterpart, the complexity sciences, aiming to shed light on the compatibility and potential integration of these frameworks into institutional theory. Institutional scholars have for long selectively adopted notions linked with the cognitive sciences and complexity sciences, such as the notion of pat

Streptococcus pneumoniae is a bacterium of great global importance, responsible for more than one million deaths per year. This bacterium is commonly acquired in the first years of life and colonizes the upper respiratory tract asymptomatically by forming biofilms that persist for extended times in the nasopharynx. However, under conditions that alter the bacterial environment, such as viral infec