Filetype
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 solv
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
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
Challenges from infections caused by biofilms and antimicrobial resistance highlight the need for novel antimicrobials that work in conjunction with antibiotics and minimize resistance risk. In this study we investigated the composite effect of HAMLET (human alpha-lactalbumin made lethal to tumor cells), a human milk protein-lipid complex and amoxicillin on microbial ecology using an ex vivo oral
INTRODUCTION: Streptococcus pneumoniae (the pneumococcus) effectively colonizes the human nasopharynx, but can migrate to other host sites, causing infections such as pneumonia and sepsis. Previous studies indicate that pneumococci grown as biofilms have phenotypes of bacteria associated with colonization whereas bacteria released from biofilms in response to changes in the local environment (i.e
