Tracing and Explaining Execution of CLP(FD) Programs

Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about control of execution and domain modification. In this paper, we present a trace structure that provides information about additional important aspects. We incorporate explanations in the trace structure, i.e. reasons for why certain solver actions occur. Furthermore, we come up with a format for describing the execution of the filtering algorithms of global constraints. Some new ideas about the design of the trace are also presented. For example, we have modeled our trace as a nested block structure in order to achieve a hierarchical view. Also, new ways about how to represent and identify different entities such as constraints and domain variables are presented.Comment: 16 pages; Alexandre Tessier, editor; WLPE 2002, http://xxx.lanl.gov/abs/cs.SE/020705

Cerebrospinal fluid markers before and after shunting in patients with secondary and idiopathic normal pressure hydrocephalus

<p>Abstract</p> <p>Background</p> <p>The aim of this study was to explore biochemical changes in the cerebrospinal fluid (CSF) induced by shunt surgery and the relationship between these changes and clinical improvement.</p> <p>Methods</p> <p>We measured clinical symptoms and analysed lumbar CSF for protein content, neurodegeneration and neurotransmission markers in patients with secondary (SNPH, n = 17) and idiopathic NPH (INPH, n = 18) before and 3 months after shunt surgery. Patients were divided into groups according to whether or not there was improvement in clinical symptoms after surgery.</p> <p>Results</p> <p>Preoperatively, the only pathological findings were elevated neurofilament protein (NFL), significantly more so in the SNPH patients than in the INPH patients, and elevated albumin content. Higher levels of NFL correlated with worse gait, balance, wakefulness and neuropsychological performance. Preoperatively, no differences were seen in any of the CSF biomarkers between patients that improved after surgery and those that did not improve. Postoperatively, a greater improvement in gait and balance performance correlated with a more pronounced reduction in NFL. Levels of albumin, albumin ratio, neuropeptide Y, vasoactive intestinal peptide and ganglioside GD3 increased significantly after shunting in both groups. In addition, Gamma amino butyric acid increased significantly in SNPH and tau in INPH.</p> <p>Conclusion</p> <p>We conclude that a number of biochemical changes occur after shunt surgery, but there are no marked differences between the SNPH and INPH patients. The results indicate that NFL may be a marker that can predict a surgically reversible state in NPH.</p

Introducing esra, a Relational Language

Current-generation constraint programming languages are considered by many, especially in industry, to be too low-level, di- cult, and large. We argue that solver-independent, high-level relational constraint modelling leads to a simpler and smaller language, to more concise, intuitive, and analysable models, as well as to more ecient and eective model formulation, maintenance, reformulation, and veri- cation, and all this without sacri cing the possibility of ecient solving, so that even lazy or less competent modellers can be well assisted

Draft (04/07/2003)

Current-generation constraint programming languages are considered by many, especially in industry, to be too low-level, di- cult, and large. We argue that solver-independent, high-level relational constraint modelling leads to a simpler and smaller language, to more concise, intuitive, and analysable models, as well as to more ecient and eective model formulation, maintenance, reformulation, and veri- cation, and all this without sacri cing the possibility of ecient solving, so that even lazy or less competent modellers can be well assisted

Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01

Six Ways of Integrating Symmetries within Non-Overlapping ConstraintsSix Ways of Integrating Symmetries within Non-Overlapping Constraint

Pharmacological interventions for improved colonic anastomotic healing:A meta-analysis

AIM: To identify pharmaceuticals for the prophylaxis of anastomotic leakage (AL), we systematically reviewed studies on anastomosis repair after colorectal surgery. METHODS: We searched PubMed and EMBASE for articles published between January 1975 and December 2012. We included studies in English with the primary purpose of promoting healing of anastomoses made in the colon or rectum under uncomplicated conditions. We excluded studies on adverse events from interventions, nutritional interventions or in situ physical supporting biomaterials. The primary outcome was biomechanical strength or AL. We performed meta-analyses on therapeutic agents investigated by three or more independent research groups using the same outcome. The DerSimonian-Laird method for random effects was applied with P < 0.05. RESULTS: Of the 56 different therapeutic agents assessed, 7 met our inclusion criteria for the meta-analysis. The prostacyclin analog iloprost increased the weighted mean of the early bursting pressure of colonic anastomoses in male rats by 60 mmHg (95%CI: 30-89) vs the controls, and the immunosuppressant tacrolimus increased this value by 29 mmHg (95%CI: 4-53) vs the controls. Erythropoietin showed an enhancement of bursting pressure by 45 mmHg (95%CI: 14-76). The anabolic compound growth hormone augmented the anastomotic strength by 21 mmHg (95%CI: 7-35), possibly via the up-regulation of insulin-like growth factor-1, as this growth factor increased the bursting pressure by 61 mmHg (95%CI: 43-79) via increased collagen deposition. Hyperbaric oxygen therapy increased the bursting pressure by 24 mmHg (95%CI: 13-34). Broad-spectrum matrix metalloproteinase inhibitors increased the bursting pressure by 48 mmHg (95%CI: 31-66) on postoperative days 3-4. In the only human study, the AL incidence was not significantly reduced in the 103 colorectal patients treated with aprotinin (11.7%) compared with the 113 placebo-treated patients (9.7%). CONCLUSION: This systematic review identified only one randomized clinical trial and seven therapeutic agents from pre-clinical models that could be explored further for the prophylaxis of AL after colorectal surgery

Matrix metalloproteinase inhibitor BB-3103 unlike the serine proteinase inhibitor aprotinin abrogates epidermal healing of human skin wounds ex vivo.

Several matrix metalloproteinases and serine proteinases are upregulated in migrating keratinocytes during cutaneous wound repair. Single cell culture studies indicate the necessity for matrix metalloproteinases but not for serine proteinases in keratinocyte locomotion. To account for epithelial-mesenchymal interactions, an ex vivo human skin wound model was used to investigate the contribution of matrix metalloproteinases and serine proteinases to wound healing by treatment with broad-spectrum inhibitors of matrix metalloproteinases (BB-3103) or serine proteinases (aprotinin). Human skin explants with circular 3 mm superficial defects were incubated in culture medium without (controls) or with the proteinase inhibitors for 7 d. BB-3103 abrogated epithelialization (p < 0.001), whereas aprotinin-treated wounds and controls were covered with new epithelium. Lack of epithelialization was unlikely due to cytotoxicity because the matrix metalloproteinase inhibitor did neither influence viability of cultured epidermal keratinocytes nor apoptosis in wounds. Involvement of specific matrix metalloproteinases in epithelialization was analyzed by gelatin zymography, western blotting, immunohistochemistry, and in situ hybridization. Wound healing was accompanied by active matrix metalloproteinase-1 and increased active matrix metalloproteinase-2 but irrespectively of active matrix metalloproteinase-9. BB-3103 blocked activation of matrix metalloproteinase-2 and matrix metalloproteinase-9 but not of matrix metalloproteinase-1. Active matrix metalloproteinase-2 localized solely to the dermis, whereas matrix metalloproteinase-9 was consistently found in new epithelium. Membrane-type 1 matrix metalloproteinase was undetectable in wound keratinocytes. BB-3103 and aprotinin reduced tumor necrosis factor-alpha in media but did not appreciably alter amounts of other soluble regulators of matrix metalloproteinases and epithelialization. Our findings demonstrate that keratinocyte migration is associated with active matrix metalloproteinase-2 but occurs independently of serine proteinases and active matrix metalloproteinase-9 in fibrin-deficient skin wound healing