Abstract interpretation with specialized definitions

The relationship between abstract interpretation and partial evaluation has received considerable attention and (partial) integrations have been proposed starting from both the partial evaluation and abstract interpretation perspectives. In this work we present what we argüe is the first generic algorithm for efñcient and precise integration of abstract interpretation and partial evaluation from an abstract interpretation perspective. Taking as starting point state-of-the-art algorithms for context-sensitive, polyvariant abstract interpretation and (abstract) partial evaluation of logic programs, we present an algorithm which combines the best of both worlds. Key ingredients include the accurate success propagation inherent to abstract interpretation and the powerful program transformations achievable by partial deduction. In our algorithm, the calis which appear in the analysis graph are not analyzed w.r.t. the original definition of the procedure but w.r.t. specialized definitions of these procedures. Such specialized definitions are obtained by applying both unfolding and abstract executability. Also, our framework is parametric w.r.t. different control strategies and abstract domains. Different combinations of these parameters correspond to existing algorithms for program analysis and specialization. Our approach efficiently computes strictly more precise results than those achievable by each of the individual techniques. The algorithm is one of the key components of CiaoPP, the analysis and specialization system of the Ciao compiler.

Dry sand as a specialized layer to improve the acoustic insulation between rooms one above another = La arena como capa intermedia especializada para la mejora del aislamiento acústico entre recintos superpuestos

Se comprueba la mejora en el aislamiento acústico entre recintos de la colocación de una capa de arean entre el solado y el forjado

A holistic experience in the integrated learning of specialized English and content in Engineering degrees

This paper aims to outline a theory-based Content and Language Integrated Learning course and to establish the rationale for adopting a holistic approach to the teaching of languages in tertiary education. Our work focuses on the interdependence between Content and Language Integrated Learning (CLIL), and the use of Information and Communication Technologies (ICT), in particular regarding the learning of English within the framework of Telecommunications Engineering. The study first analyses the diverse components of the instructional approach and the extent to which this approach interrelates with technologies within the context of what we have defined as a holistic experience, since it also aims to develop a set of generic competences or transferable skills. Second, an example of a course project framed in this holistic approach is described in order to exemplify the specific actions suggested for learner autonomy and CLIL. The approach provides both an adequate framework as well as the conditions needed to carry out a lifelong learning experience within our context, a Spanish School of Engineering. In addition to specialized language and content, the approach integrates the learning of skills and capacities required by the new plans that have been established following the Bologna Declaration in 1999.

Plasticity of the cochleotopic (frequency) map in specialized and nonspecialized auditory cortices

Auditory conditioning (associative learning) causes reorganization of the cochleotopic (frequency) maps of the primary auditory cortex (AI) and the inferior colliculus. Focal electric stimulation of the AI also evokes basically the same cortical and collicular reorganization as that caused by conditioning. Therefore, part of the neural mechanism for the plasticity of the central auditory system caused by conditioning can be explored by focal electric stimulation of the AI. The reorganization is due to shifts in best frequencies (BFs) together with shifts in frequency-tuning curves of single neurons. In the AI of the Mongolian gerbil (Meriones unguiculatus) and the posterior division of the AI of the mustached bat (Pteronotus parnellii), focal electric stimulation evokes BF shifts of cortical auditory neurons located within a 0.7-mm distance along the frequency axis. The amount and direction of BF shift differ depending on the relationship in BF between stimulated and recorded neurons, and between the gerbil and mustached bat. Comparison in BF shift between different mammalian species and between different cortical areas of a single species indicates that BF shift toward the BF of electrically stimulated cortical neurons (centripetal BF shift) is common in the AI, whereas BF shift away from the BF of electrically stimulated cortical neurons (centrifugal BF shift) is special. Therefore, we propose a hypothesis that reorganization, and accordingly organization, of cortical auditory areas caused by associative learning can be quite different between specialized and nonspecialized (ordinary) areas of the auditory cortex.

Social Changes Reflected in Specialized Languages: Lexical Re-/deconstruction in Lesbian Studies

One of the most important factors of recognition, belonging and identification in scientific communities is their specialized language: doctors, mathematicians and anthropologists feel they are part of a group with which they can interact because they share a common “language”. While ideology is present in all academic registers, it is in human sciences where its presence (or absence) leads to more visible linguistic phenomena. An interesting example is that of lesbian studies: as non-heterosexual members of society have become less stigmatized, lesbian studies have developed a language of their own. In our paper, we shall explore the mechanisms used in the creation of specific vocabulary in this academic area, paying special attention to the refashioning or deconstruction of meaning of established terms as a result of changes in social perception or the challenging of pre-determined meanings.

Controversy between curriculum design and curriculum development of online "highly specialized" education in the field of construction

Nowadays, on a global level, the Higher Education System has a complex and broad horizon of curricular tools to use in the teaching and learning process. In addition to these new educational instruments, full of possibilities, we face specific socio-economic conditions that affect in a significantly way the Curriculum Development in certain knowledge areas (areas traditionally built on a methodology based on a physical presence of students in the classroom). Some areas such as Restoration, Rehabilitation or Construction Pathologies, and the construction sector in general, require very defined and particular knowledge that only a small number of experts claim as specialized training. All these aspects condition the teaching methodology performed in a physical classroom at a university campus (the only option used until recent years) and made us consider the integration of online teaching in these areas too. The present work shows the teaching methodology used for the development of two online courses, where we offer distance learning for "highly specialized" formation in the Edification area (an area where traditionally there was only classroom training). At the beginning, both courses were designed by classroom training, but got a really small number of applications due to the specialized topic proposed. Later, we proposed a "Curriculum Redesign" of the contents, offering an online modality, which implied a significant demand both within and outside the university area. A notable feature of this educational experience is the great spectrum opened for attendees of both courses in the online version. This situation improved significantly the "Curriculum Development" for the student and implied an interesting new proposal on the offered contents and materials (what would have been really difficult to get in a face to face classroom). In conclusion, the absence of certain types of specialized contents in the academic university curricula makes essential to raise new methodologies to save the gap in this area through additional training courses as those analyzed in this paper. Thus, our experience opens a debate on the appropriateness of implementing online training in relation to the face to face training in constructive content subjects and, especially, presents a new scheme, not without controversy, for the curriculum design.

Evaluation of the Implementation of CLIL (Content and Language Integrated Learning) Methodology in the Didactics of the English Language in Preschool Education Course Taught in the Preschool Education Teacher Undergraduate Program at the University of Alicante

Although it is known that the Spanish current Educative System promotes using the Communicate Approach to teach foreign languages in schools, other recently designed approaches are also used to help students improve their skills when communicating in a foreign language. One of these approaches is Content and Language Integrated Learning, also known as CLIL, which is used to teach content courses using the English language as the language of instruction. This approach improves the students’ skills in English as the same time as they learn content from other areas. The goal of this thesis is to present a research project carried out at the University of Alicante during the academic year 2011-2012. With this research we obtained results that provide quantitative and qualitative data which explains how the use of the CLIL methodology affects the English level of students in the “Didactics of the English Language in Preschool Education” course in Preschool Education Teacher Undergraduate Program as students acquire the contents of the course.