Efficient Pattern Matching in Python

Pattern matching is a powerful tool for symbolic computations. Applications include term rewriting systems, as well as the manipulation of symbolic expressions, abstract syntax trees, and XML and JSON data. It also allows for an intuitive description of algorithms in the form of rewrite rules. We present the open source Python module MatchPy, which offers functionality and expressiveness similar to the pattern matching in Mathematica. In particular, it includes syntactic pattern matching, as well as matching for commutative and/or associative functions, sequence variables, and matching with constraints. MatchPy uses new and improved algorithms to efficiently find matches for large pattern sets by exploiting similarities between patterns. The performance of MatchPy is investigated on several real-world problems

Sentinel Node Detection in Head and Neck Malignancies: Innovations in Radioguided Surgery

Sentinel node mapping is becoming a routine procedure for staging of various malignancies, because it can determine lymph node status more precisely. Due to anatomical problems, localizing sentinel nodes in the head and neck region on the basis of conventional images can be difficult. New diagnostic tools can provide better visualization of sentinel nodes. In an attempt to keep up with possible scientific progress, this article reviews new and innovative tools for sentinel node localization in this specific area. The overview comprises a short introduction of the sentinel node procedure as well as indications in the head and neck region. Then the results of SPECT/CT for sentinel node detection are described. Finally, a portable gamma camera to enable intraoperative real-time imaging with improved sentinel node detection is described

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)

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

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..

LOng-term follow-up after liVE kidney donation (LOVE) study: A longitudinal comparison study protocol

Background: The benefits of live donor kidney transplantation must be balanced against the potential harm to the donor. Well-designed prospective studies are needed to study the long-term consequences of kidney donation. Methods: The "LOng-term follow-up after liVE kidney donation" (LOVE) study is a single center longitudinal cohort study on long-term consequences after living kidney donation. We will study individuals who have donated a kidney from 1981 through 2010 in the Erasmus University Medical Center in Rotterdam, The Netherlands. In this time period, 1092 individuals donated a kidney and contact information is available for all individuals. Each participating donor will be matched (1:4) to non-donors derived from the population-based cohort studies of the Rotterdam Study and the Study of Health in Pomerania. Matching will be based on baseline age, gender, BMI, ethnicity, kidney function, blood pressure, pre-existing co-morbidity, smoking, the use of alcohol and highest education degree. Follow-up data is collected on kidney function, kidney-related comorbidity, mortality, quality of life and psychological outcomes in all participants. Discussion: This study will provide evidence on the long-term consequences of live kidney donation for the donor compared to matched non-donors and evaluate the current donor eligibility criteria. Trial registration: Dutch Trial Register NTR3795