55 research outputs found
A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems
Get PDFWe present a combination of the Mixed-Echelon-Hermite transformation and the
Double-Bounded Reduction for systems of linear mixed arithmetic that preserve
satisfiability and can be computed in polynomial time. Together, the two
transformations turn any system of linear mixed constraints into a bounded
system, i.e., a system for which termination can be achieved easily. Existing
approaches for linear mixed arithmetic, e.g., branch-and-bound and cuts from
proofs, only explore a finite search space after application of our two
transformations. Instead of generating a priori bounds for the variables, e.g.,
as suggested by Papadimitriou, unbounded variables are eliminated through the
two transformations. The transformations orient themselves on the structure of
an input system instead of computing a priori (over-)approximations out of the
available constants. Experiments provide further evidence to the efficiency of
the transformations in practice. We also present a polynomial method for
converting certificates of (un)satisfiability from the transformed to the
original system
Cognitive disorders in patients with chronic kidney disease: Approaches to prevention and treatment
Get PDFBackground: Cognitive impairment is common in patients with chronic kidney disease (CKD), and early intervention may prevent the progression of this condition. Methods: Here, we review interventions for the complications of CKD (anemia, secondary hyperparathyroidism, metabolic acidosis, harmful effects of dialysis, the accumulation of uremic toxins) and for prevention of vascular events, interventions that may potentially be protective against cognitive impairment. Furthermore, we discuss nonpharmacological and pharmacological methods to prevent cognitive impairment and/or minimize the latter's impact on CKD patients' daily lives. Results: A particular attention on kidney function assessment is suggested during work-up for cognitive impairment. Different approaches are promising to reduce cognitive burden in patients with CKD but the availabe dedicated data are scarce. Conclusions: There is a need for studies assessing the effect of interventions on the cognitive function of patients with CKD
- …
