Reflections on a Geometry of Processes

Contains fulltext : 32919.pdf (publisher's version ) (Open Access)Algebraic Process Calcul

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.Comment: 49 pages, 1 table, publication in Special Issue: Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA'11)

Comparing quality of life and postoperative pain after limited access and conventional aortic valve replacement: design and rationale of the LImited access aortic valve replacement (LIAR) trial

Background: Surgical aortic valve replacement (SAVR) via limited access approaches ('mini-AVR') have proven to be safe alternative for the surgical treatment of aortic valve disease. However, it remains unclear whether these less invasive approaches are associated with improved quality of life and/or reduced postoperative pain when compared to conventional SAVR via full median sternotomy (FMS).Study design: The LImited access Aortic valve Replacement (LIAR) trial is a single-center, single blind randomized controlled clinical trial comparing 2 arms of 80 patients undergoing limited access SAVR via J-shaped upper hemi-sternotomy (UHS) or conventional SAVR through FMS. In all randomized patients, the diseased native aortic valve is planned to be replaced with a rapid deployment stented bioprosthesis. Patients unwilling or unable to participate in the randomized trial will be treated conventionally via SAVR via FMS and with implantation of a sutured valve prosthesis. These patients will participate in a prospective registry.Study methods: Primary outcome is improvement in cardiac-specific quality of life, measured by two domains of the Kansas City Cardiomyopathy Questionnaire up to one year after surgery. Secondary outcomes include, but are not limited to: generic quality of life measured with the Short Form-36, postoperative pain, perioperative (technical success rate, operating time) and postoperative outcomes (30-day and one-year mortality), complication rate and hospital length of stay.Conclusion: The LIAR trial is designed to determine whether a limited access approach for SAVR ("mini-AVR") is associated with improved quality of life and/or reduced postoperative pain compared with conventional SAVR through FMS

AT1 Receptor Gene Polymorphisms in relation to Postprandial Lipemia

Background. Recent data suggest that the renin-angiotensin system may be involved in triglyceride (TG) metabolism. We explored the effect of the common A1166C and C573T polymorphisms of the angiotensin II type 1 receptor (AT1R) gene on postprandial lipemia. Methods. Eighty-two subjects measured daytime capillary TG, and postprandial lipemia was estimated as incremental area under the TG curve. The C573T and A1166C polymorphisms of the AT1R gene were determined. Results. Postprandial lipemia was significantly higher in homozygous carriers of the 1166-C allele (9.39 ± 8.36 mM*h/L) compared to homozygous carriers of the 1166-A allele (2.02 ± 6.20 mM*h/L) (P < 0.05). Postprandial lipemia was similar for the different C573T polymorphisms. Conclusion. The 1166-C allele of the AT1R gene seems to be associated with increased postprandial lipemia. These data confirm the earlier described relationships between the renin-angiotensin axis and triglyceride metabolism

Effects of Metformin on the Regulation of Free Fatty Acids in Insulin Resistance: A Double-Blind, Placebo-Controlled Study

Introduction. Impaired free fatty acid (FFA) metabolism is closely linked to insulin resistance. Our aim was to evaluate plasma FFA changes in insulin resistance in a physiological situation after improvement of insulin sensitivity by metformin. Methods. A double-blind, placebo-controlled intervention with metformin was carried out in patients with insulin resistance. Nineteen patients were randomized to receive metformin 850 mg b.i.d. during 6 weeks or placebo. Participants underwent a mental stress test and an oral glucose tolerance test (OGTT) before and after treatment. Results. Fasting plasma glucose, FFA, and HOMA-IR tended to decrease after metformin, suggesting improved insulin sensitivity. FFA concentrations during the mental stress test showed a similar pattern after metformin, albeit lower at all time points, in contrast to the placebo group. The decrease in fasting plasma FFAs was positively associated to the decrease in HbA1c (; ) and in fasting glucose (; ). The suppression of plasma FFAs during OGTT did not change by metformin or placebo. Conclusion. Metformin in insulin resistance did not lead to improved FFA dynamics despite a trend of improved insulin sensitivity. Metformin most likely decreases plasma FFAs mainly by suppressing fasting FFA concentrations and not by suppression of acute stress-induced lipolysis

A confluent calculus for concurrent constraint programming with guarded choice

. Confluence is an important and desirable property as it allows the program to be understood by considering any desired scheduling rule, rather than having to consider all possible schedulings. Unfortunately, the usual operational semantics for concurrent constraint programs is not confluent as different process schedulings give rise to different sets of possible outcomes. We show that it is possible to give a natural confluent calculus for concurrent constraint programs, if the syntactic domain is extended by a blind choice operator and a special constant standing for a discarded branch. This has application to program analysis. 1 Introduction Concurrent constraint programming (ccp) [16, 15] is a recent programmingparadigm which elegantly combines logical concepts and concurrency mechanisms. The computational model of ccp is based on the notion of a constraint system, which consists of a set of constraints and an entailment relation. Processes interact through a common store. Commun..

Contralateral Regional Recurrence in Lateralized or Paramedian Early-Stage Oral Cancer Undergoing Sentinel Lymph Node Biopsy-Comparison to a Historic Elective Neck Dissection Cohort

Introduction: Nowadays, two strategies are available for the management of the clinically negative neck in early-stage (cT1-2N0) oral squamous cell carcinoma (OSCC): elective neck dissection (END) and sentinel lymph node biopsy (SLNB). SLNB stages both the ipsilateral and the contralateral neck in early-stage OSCC patients, whereas the contralateral neck is generally not addressed by END in early-stage OSCC not involving the midline. This study compares both incidence and hazard of contralateral regional recurrences (CRR) in those patients who underwent END or SLNB. Materials and Methods: A retrospective multicenter cohort study, including 816 lateralized or paramedian early-stage OSCC patients, staged by either unilateral or bilateral END (n = 365) or SLNB (n = 451). Results: The overall rate of occult contralateral nodal metastasis was 3.7% (30/816); the incidence of CRR was 2.5% (20/816). Patients who underwent END developed CRR during follow-up more often than those who underwent SLNB (3.8 vs. 1.3%; p = 0.018). Moreover, END patients had a higher hazard for developing CRR than SLNB patients (HR = 2.585; p = 0.030). In addition, tumor depth of invasion was predictive for developing CRR (HR = 1.922; p = 0.009). Five-year disease-specific survival in patients with CRR was poor (42%) compared to patients in whom occult contralateral nodal metastases were detected by SLNB or bilateral END (88%), although not statistically different (p = 0.066). Conclusion: Our data suggest that SLNB allows for better control of the contralateral clinically negative neck in patients with lateralized or paramedian early-stage OSCC, compared to END as performed in a clinical setting. The prognosis of those in whom occult contralateral nodal metastases are detected at an earlier stage may be favorable compared to those who eventually develop CRR, which highlights the importance of adequate staging of the contralateral clinically negative neck