A Finite Representation of the Narrowing Space

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-14125-1_4Narrowing basically extends rewriting by allowing free variables in terms and by replacing matching with unification. As a consequence, the search space of narrowing becomes usually infinite, as in logic programming. In this paper, we introduce the use of some operators that allow one to always produce a finite data structure that still represents all the narrowing derivations. Furthermore, we extract from this data structure a novel, compact equational representation of the (possibly infinite) answers computed by narrowing for a given initial term. Both the finite data structure and the equational representation of the computed answers might be useful in a number of areas, like program comprehension, static analysis, program transformation, etc.Nishida, N.; Vidal, G. (2013). A Finite Representation of the Narrowing Space. En Logic-Based Program Synthesis and Transformation. Springer. 54-71. doi:10.1007/978-3-319-14125-1_4S5471Albert, E., Vidal, G.: The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing 20(1), 3–26 (2002)Alpuente, M., Falaschi, M., Vidal, G.: Partial Evaluation of Functional Logic Programs. ACM Transactions on Programming Languages and Systems 20(4), 768–844 (1998)Alpuente, M., Falaschi, M., Vidal, G.: Compositional Analysis for Equational Horn Programs. In: Rodríguez-Artalejo, M., Levi, G. (eds.) ALP 1994. LNCS, vol. 850, pp. 77–94. Springer, Heidelberg (1994)Antoy, S., Ariola, Z.: Narrowing the Narrowing Space. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 1–15. Springer, Heidelberg (1997)Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoretical Computer Science 236(1–2), 133–178 (2000)Arts, T., Zantema, H.: Termination of Logic Programs Using Semantic Unification. In: Proietti, M. (ed.) LOPSTR 1995. LNCS, vol. 1048, pp. 219–233. Springer, Heidelberg (1996)Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)Bae, K., Escobar, S., Meseguer, J.: Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications. LIPIcs, vol. 21, pp. 81–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)De Schreye, D., Glück, R., Jørgensen, J., Leuschel, M., Martens, B., Sørensen, M.: Conjunctive partial deduction: foundations, control, algorihtms, and experiments. Journal of Logic Programming 41(2&3), 231–277 (1999)Escobar, S., Meadows, C., Meseguer, J.: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theoretical Computer Science 367(1–2), 162–202 (2006)Escobar, S., Meseguer, J.: Symbolic Model Checking of Infinite-State Systems Using Narrowing. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 153–168. Springer, Heidelberg (2007)Fribourg, L.: SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. In: Proceedings of the Symposium on Logic Programming, pp. 172–185. IEEE Press (1985)Gnaedig, I., Kirchner, H.: Proving weak properties of rewriting. Theoretical Computer Science 412(34), 4405–4438 (2011)Hanus, M.: The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19&20, 583–628 (1994)Hanus, M. (ed.): Curry: An integrated functional logic language (vers. 0.8.3) (2012). http://www.curry-language.orgHermenegildo, M., Rossi, F.: On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. In: Lusk, E., Overbeck, R. (eds.) Proceedings of the 1989 North American Conf. on Logic Programming, pp. 369–389. The MIT Press, Cambridge (1989)Hölldobler, S. (ed.): Foundations of Equational Logic Programming. LNCS, vol. 353. Springer, Heidelberg (1989)Meseguer, J., Thati, P.: Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. Electronic Notes in Theoretical Computer Science 117, 153–182 (2005)Middeldorp, A., Okui, S.: A Deterministic Lazy Narrowing Calculus. Journal of Symbolic Computation 25(6), 733–757 (1998)Nishida, N., Sakai, M., Sakabe, T.: Generation of Inverse Computation Programs of Constructor Term Rewriting Systems. IEICE Transactions on Information and Systems J88–D–I(8), 1171–1183 (2005) (in Japanese)Nishida, N., Sakai, M., Sakabe, T.: Partial Inversion of Constructor Term Rewriting Systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol. 3467, pp. 264–278. Springer, Heidelberg (2005)Nishida, N., Vidal, G.: Program inversion for tail recursive functions. In: Schmidt-Schauß, M. (ed.) Proceedings of the 22nd International Conference on Rewriting Techniques and Applications. LIPIcs, vol. 10, pp. 283–298. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2011)Nishida, N., Vidal, G.: Computing More Specific Versions of Conditional Rewriting Systems. In: Albert, E. (ed.) LOPSTR 2012. LNCS, vol. 7844, pp. 137–154. Springer, Heidelberg (2013)Nutt, W., Réty, P., Smolka, G.: Basic Narrowing Revisited. Journal of Symbolic Computation 7(3/4), 295–317 (1989)Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, London, UK (2002)Palamidessi, C.: Algebraic Properties of Idempotent Substitutions. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 386–399. Springer, Heidelberg (1990)Ramos, J.G., Silva, J., Vidal, G.: Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems. In: Danvy, O., Pierce, B.C. (eds.) Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, pp. 228–239. ACM Press (2005)Slagle, J.R.: Automated theorem-proving for theories with simplifiers, commutativity and associativity. Journal of the ACM 21(4), 622–642 (1974

The risk of lung cancer related to dietary intake of flavonoids

It has been hypothesized that flavonoids in foods and beverages may reduce cancer risk through antioxidation, inhibition of inflammation, and other antimutagenic and antiproliferative properties. We examined associations between intake of five flavonoid subclasses (anthocyanidins, flavan-3-ols, flavones, flavonols, flavanones) and lung cancer risk in a population-based case-control study in Montreal, Canada (1,061 cases and 1,425 controls). Flavonoid intake was estimated from a food frequency questionnaire that assessed diet two years prior to diagnosis (cases) or interview (controls). Odds ratios (ORs) and 95% confidence intervals (CIs) were estimated using unconditional logistic regression. Overall, total flavonoid intake was not associated with lung cancer risk, the effect being similar regardless of sex and smoking level. However, low flavonoid intake from food, but not from beverages, was associated with an increased risk. The adjusted ORs (95% CIs) comparing the highest versus the lowest quartiles of intake were 0.63 (0.47-0.85) for total flavonoids, 0.82 (0.61-1.11) for anthocyanidins, 0.67 (0.50-0.90) for flavan-3-ols, 0.68 (0.50-0.93) for flavones, 0.62 (0.45-0.84) for flavonols, and 0.70 (0.53-0.94) for flavanones. An inverse association with total flavone and flavanone intake was observed for squamous cell carcinoma but not adenocarcinoma. In conclusion, low flavonoid intake from food may increase lung cancer risk

Cost-effectiveness of decompression according to Gill versus instrumented spondylodesis in the treatment of sciatica due to low grade spondylolytic spondylolisthesis: A prospective randomised controlled trial [NTR1300]

Background. Nerve root decompression with instrumented spondylodesis is the most frequently performed surgical procedure in the treatment of patients with symptomatic low-grade spondylolytic spondylolisthesis. Nerve root decompression without instrumented fusion, i.e. Gill's procedure, is an alternative and less invasive approach. A comparative cost-effectiveness study has not been performed yet. We present the design of a randomised controlled trial on cost-effectiveness of decompression according to Gill versus instrumented spondylodesis. Methods/design. All patients (age between 18 and 70 years) with sciatica or neurogenic claudication lasting more than 3 months due to spondylolytic spondylolisthesis grade I or II, are eligible for inclusion. Patients will be randomly allocated to nerve root decompression according to Gill, either unilateral or bilateral, or pedicle screw fixation with interbody fusion. The main primary outcome measure is the functional assessment of the patient measured with the Roland Disability Questionnaire for Sciatica at 12 weeks and 2 years. Other primary outcome measures are perceived recovery and intensity of leg pain and low back pain. The secondary outcome measures include, incidence of re-operations, complications, serum creatine phosphokinase, quality of life, medical consumption, costs, absenteeism, work perception, depression and anxiety, and treatment preference. The study is a randomised prospective multicenter trial in which two surgical techniques are compared in a parallel group design. Patients and research nurse will not be blinded during the follow-up period of 2 years. Discussion. Currently, nerve root decompression with instrumented fusion is the golden standard in the surgical treatment of low-grade spondylolytic spondylolisthesis, although scientific proof justifying instrumented spondylodesis over simple decompression is lacking. This trial is designed to elucidate the controversy in best surgical treatment of symptomatic patients with low-

Neurocognitive and Neuroimaging Predictors of Clinical Outcome in Bipolar Disorder

Historically, bipolar disorder has been conceptualized as a disease involving episodic rather than chronic dysfunction. However, increasing evidence indicates that bipolar disorder is associated with substantial inter-episode psychosocial and vocational impairment. Here we review the contributions of neurocognitive deficits and structural and functional neuroanatomic alterations to the observed functional impairments. In particular, compelling evidence now suggests that neurocognitive impairments, particularly in the areas of attention, processing speed, and memory, are associated with functional outcome. Although investigation of the neural correlates of functional disability in bipolar disorder is only in its nascent stages, preliminary evidence suggests that white matter abnormalities may be predictive of poor outcome. A better understanding of the relationship between neurocognitive and neuroimaging assays and functional outcome has the potential to improve current treatment options and provide targets for new treatment strategies in bipolar disorder

Communicating Auditory Impairments Using Electroacoustic Composition

Changes in human sensory perception can occur for a variety of reasons. In the case of distortions or transformations in the human auditory system, the aetiology may include factors such as medical conditions affecting cognition or physiology, interaction of the ears with mechanical waves, or stem from chemically induced sources, such the consumption of alcohol. These changes may be permanent, intermittent, or temporary. In order to communicate such effects to an audience in an accessible, and easily understood manner, a series of electroacoustic compositions were produced. This concept follows on from previous work on the theme of representing auditory hallucinations. Specifically, these compositions relate to auditory impairments that humans can experience due to tinnitus or through the consumption of alcohol. In the case of tinnitus, whilst much is known about the causes and symptoms, the experience of what it is like to live with tinnitus is less explored and those who have acquired the condition may often feel frustration when trying to convey the experience of ‘what it is like’ for them. In terms of impairment from alcohol consumption, whilst there is much hearsay, little research exists on the immediate and short-term effects of alcohol consumption on the human auditory system, despite over half of the UK population reported as consuming alcohol in 2017. The methodology employed to design these compositions draws upon scientific research findings, including experimental and explorative studies involving human participants, coupled with electroacoustic composition techniques. The pieces are typically constructed by mixing field recordings with synthesised materials and incorporating a range of temporal and frequency domain manipulations to the elements therein. In this way, the listener is able to experience the phenomenon in a recognisable context, where distortions of reality can be emulated to varying degrees. It is intended that these compositions can serve as easily accessible and understood examples of auditory impairments and that they might find utility in the communication of symptoms to those who have never experienced the underlying causes or conditions. This presents opportunities for pieces like these to be used in scenarios such as education and public health awareness campaigns

Symbolism in bank marketing and architecture: the headquarters of National Provincial Bank of England

This article undertakes an analysis of the symbolism present in the architecture and design in nineteenth century British banking. It focuses upon the headquarters of National Provincial Bank of England, which was built in the 1860s. It explores the symbols and messages that those at the bank wished to communicate to those that viewed the building. The analysis finds that those at the bank impressed its national identity, achieved through its extensive branch network, as its key message which differentiated it from its rivals. Other symbols emphasized that it had adapted to the local market and was equal in terms of competency and richness in comparison to its competitors. We argue that these messages became part of the organization’s identity and its brand, as well as the culture of the City of London more broadly. The article provides a new explanation for symbolic meanings represented by bank architecture. It integrates the existing discussion of bank architecture in historical research with the theoretical frameworks and literature being developed in organizational identity and branding

Metabolomics Profile in Depression:A Pooled Analysis of 230 Metabolic Markers in 5283 Cases With Depression and 10,145 Controls

Background: Depression has been associated with metabolic alterations, which adversely impact cardiometabolic health. Here, a comprehensive set of metabolic markers, predominantly lipids, was compared between depressed and nondepressed persons. Methods: Nine Dutch cohorts were included, comprising 10,145 control subjects and 5283 persons with depression, established with diagnostic interviews or questionnaires. A proton nuclear magnetic resonance metabolomics platform provided 230 metabolite measures: 51 lipids, fatty acids, and low-molecular-weight metabolites; 98 lipid composition and particle concentration measures of lipoprotein subclasses; and 81 lipid and fatty acids ratios. For each metabolite measure, logistic regression analyses adjusted for gender, age, smoking, fasting status, and lipid-modifying medication were performed within cohort, followed by random-effects meta-analyses. Results: Of the 51 lipids, fatty acids, and low-molecular-weight metabolites, 21 were significantly related to depression (false discovery rate q <.05). Higher levels of apolipoprotein B, very-low-density lipoprotein cholesterol, triglycerides, diglycerides, total and monounsaturated fatty acids, fatty acid chain length, glycoprotein acetyls, tyrosine, and isoleucine and lower levels of high-density lipoprotein cholesterol, acetate, and apolipoprotein A1 were associated with increased odds of depression. Analyses of lipid composition indicators confirmed a shift toward less high-density lipoprotein and more very-low-density lipoprotein and triglyceride particles in depression. Associations appeared generally consistent across gender, age, and body mass index strata and across cohorts with depressive diagnoses versus symptoms. Conclusions: This large-scale meta-analysis indicates a clear distinctive profile of circulating lipid metabolites associated with depression, potentially opening new prevention or treatment avenues for depression and its associated cardiometabolic comorbidity

The undebated issue of justice: silent discourses in Dutch flood risk management

Flood risk for all types of flooding is projected to increase based on climate change projections and increases in damage potential. These challenges are likely to aggravate issues of justice in flood risk management (henceforth FRM). Based on a discursive-institutionalist perspective, this paper explores justice in Dutch FRM: how do institutions allocate the responsibilities and costs for FRM for different types of flooding? What are the underlying conceptions of justice? What are the future challenges with regard to climate change? The research revealed that a dichotomy is visible in the Dutch approach to FRM: despite an abundance of rules, regulations and resources spent, flood risk or its management, are only marginally discussed in terms of justice. Despite that the current institutional arrangement has material outcomes that treat particular groups of citizens differently, depending on the type of flooding they are prone to, area they live in (unembanked/embanked) or category of user (e.g. household, industry, farmer). The paper argues that the debate on justice will (re)emerge, since the differences in distributional outcomes are likely to become increasingly uneven as a result of increasing flood risk. The Netherlands should be prepared for this debate by generating the relevant facts and figures. An inclusive debate on the distribution of burdens of FRM could contribute to more effective and legitimate FRM

Abundant Fas expression by gastrointestinal stromal tumours may serve as a therapeutic target for MegaFasL

Although the tyrosine kinase inhibitor imatinib has been shown to be an active agent in patients with gastrointestinal stromal tumours (GIST), complete remissions are almost never seen and most patients finally experience disease progression during their course of treatment. An alternative therapeutic option is to target death receptors such as Fas. We showed that a panel of imatinib-sensitive (GIST882) and imatinib-resistant (GIST48, GIST430 and GIST430K-) cell lines expressed Fas. MegaFasL, a recently developed hexameric form of soluble Fas ligand (FasL), appeared to be an active apoptosis-inducing agent in these cell lines. Moreover, MegaFasL potentiated the apoptotic effects of imatinib. Immunohistochemical evaluations, in 45 primary GISTs, underscored the relevance of the Fas pathway: Fas was expressed in all GISTs and was expressed strongly in 93%, whereas FasL was expressed at moderate and strong levels in 35 and 53% of GISTs, respectively. Fas and FasL expression were positively correlated in these primary GISTs, but there was no association between Fas or FasL expression and primary site, histological subtype, tumour size, mitotic index, risk classification, and KIT mutation status. The abundant immunohistochemical Fas and FasL expression were corroborated by western blot analysis. In conclusion, our data implicate Fas as a potential therapeutic target in GIST