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

Aperture array development for future large radio telescopes

We present the design of a phased array system for future radio telescopes. This includes a system overview and recent results of the designed and implemented system, the Electronic Multi-Beam Radio Astronomy Concept (EMBRACE). Furthermore, simulations with a full-EM antenna simulator, combined with measurements on actual hardware, will provide information for the next design step, the Aperture Array Verification System (AAVS). With AAVS, we will prove design readiness of this novel array technology

‘It makes me feel alive’: the socio-motivational impact of drama and theatre on marginalised young people

An in-depth, longitudinal, idiographic study examined the impact of theatre and drama involvement on marginalised young people. Semi-structured interviews, at three separate time points over 2 years, were conducted with four young people (15–21 years of age) involved in a theatre project. Interpretative phenomenological analysis suggested that drama and theatre create space and support for the authentic self, and provide optimal conditions for promoting growth and resilience through voluntary engagement in a positive activity. In particular, the analysis highlighted the pivotal role of interpersonal relationships and a nurturing environment in re-engaging young people. Some participants’ accounts also suggested that drama provides a uniquely engaging and therapeutic way to reflect on, express and explore experiences. The results are discussed in relation to core psychological processes underpinning self-development and key directions for further research

A ‘quiet revolution’? The impact of Training Schools on initial teacher training partnerships

This paper discusses the impact on initial teacher training of a new policy initiative in England: the introduction of Training Schools. First, the Training School project is set in context by exploring the evolution of a partnership approach to initial teacher training in England. Ways in which Training Schools represent a break with established practice are considered together with their implications for the dominant mode of partnership led by higher education institutions (HEIs). The capacity of Training Schools to achieve their own policy objectives is examined, especially their efficacy as a strategy for managing innovation and the dissemination of innovation. The paper ends by focusing on a particular Training School project which has adopted an unusual approach to its work and enquires whether this alternative approach could offer a more profitable way forward. During the course of the paper, five different models of partnership are considered: collaborative, complementary, HEI-led, school-led and partnership within a partnership

Pedagogies for the 'dis‐engaged': diverse experiences of the young people’s Arts Award programme

Art education is often praised for its engaging programmes and inclusive pedagogies, with many initiatives created with the intention of widening access for those who are deemed to be lacking. This article investigates one such programme – the young people’s Arts Award, which is a nationally recognised qualification for young people aged 11–25. I call upon a range of pedagogies in order to critique the Arts Award within the context of informal and alternative education settings in the United Kingdom. Drawing on a 12‐month ethnographic study, the research was conducted across five diverse programmes which included youth work projects and alternative provision. I present two cases – ‘learning to be an artist’ and ‘learning to behave’ – which demonstrate a hierarchy of pedagogy in the application of this programme across these particular contexts. Artists’ Signature Pedagogies are used as an analytical framework to explore the affordances of working with artists through the programme. Further, I engage with the Pedagogy of Poverty to demonstrate that young people who were classified as ‘dis‐engaged’ were more likely to receive lower quality programmes, low‐level work and over‐regulated teaching. I argue that despite changes to the ways that young people access art education, there continues to be unequal opportunities. This finding is significant for not only creative practitioners and youth arts workers, but also arts education policy makers and programmers

P2P Web service based system for supporting decision-making in cellular manufacturing scheduling

With the increase of the Internet and Virtual Enterprises (VEs), interfaces for web systems and automated services are becoming an emergent necessity. In this paper we propose a Peer-to-peer (P2P) web-based decision-support system for enabling access to different manufacturing scheduling methods, which can be remotely available and accessible from a distributed knowledge base. The XML-based modeling and communication is applied to manufacturing scheduling. Therefore, manufacturing scheduling problems and methods are modeled using XML. The proposed P2P web-based system works as web services, under the SOAP protocol. The system’s distributed knowledge base enables sharing information about scheduling problems and corresponding solving methods in a widened search space, through a scheduling community, integrating a VE. Running several methods enables different results for a given problem, consequently, contributing for a better decision-making. An important aspect is that this knowledge base can be easily and continuously updated by any contributor through the VE. Moreover, through this system once suitable available methods, for a given problem, are identified, it enables running one or more of them, for enabling a better manufacturing scheduling support, enhanced though incorporated fuzzy decision-making proceduresAichi Science and Technology Foundation(PTDC/EME-GIN/102143/2008)info:eu-repo/semantics/publishedVersio

Designing and managing music festival experiences to enhance attendees’ psychological and social benefits

Attendance and participation at popular music festivals has become an important and increasingly common experience for people in many Western societies, yet little is known about the kinds of benefits visitors perceive they gain as a result of attending. This research explores attendees’ perceptions of the psychological and social benefits associated with their attendance of the Woodford Folk Music Festival in Queensland (Australia). Based upon the research findings, music festival management strategies are suggested to improve the design of festival experiences to better cater to the artistic, musical, social and psychological needs of attendees thereby increasing the impact and depth of the experience

Dependence of Intramyocardial Pressure and Coronary Flow on Ventricular Loading and Contractility: A Model Study

The phasic coronary arterial inflow during the normal cardiac cycle has been explained with simple (waterfall, intramyocardial pump) models, emphasizing the role of ventricular pressure. To explain changes in isovolumic and low afterload beats, these models were extended with the effect of three-dimensional wall stress, nonlinear characteristics of the coronary bed, and extravascular fluid exchange. With the associated increase in the number of model parameters, a detailed parameter sensitivity analysis has become difficult. Therefore we investigated the primary relations between ventricular pressure and volume, wall stress, intramyocardial pressure and coronary blood flow, with a mathematical model with a limited number of parameters. The model replicates several experimental observations: the phasic character of coronary inflow is virtually independent of maximum ventricular pressure, the amplitude of the coronary flow signal varies about proportionally with cardiac contractility, and intramyocardial pressure in the ventricular wall may exceed ventricular pressure. A parameter sensitivity analysis shows that the normalized amplitude of coronary inflow is mainly determined by contractility, reflected in ventricular pressure and, at low ventricular volumes, radial wall stress. Normalized flow amplitude is less sensitive to myocardial coronary compliance and resistance, and to the relation between active fiber stress, time, and sarcomere shortening velocity