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.

Un estudio del adjetivo en un corpus de textos escritos en inglés y español pertenecientes al discurso de especialidad de las Tecnologías de la Información y las Comunicaciones

Esta investigación se enmarca dentro de los denominados lenguajes de especialidad que para esta tesis será el de las Tecnologías de la Información y la Comunicación (TIC). De todos los aspectos relacionados con el estudio de estos lenguajes que pudieran tener interés lingüístico ha primado el análisis del componente terminológico. Tradicionalmente la conceptualización de un campo del saber se representaba mayoritariamente a través del elemento nominal, así lo defiende la Teoría General de la Terminología (Wüster, 1968). Tanto la lexicología como la lexicografía han aportado importantes contribuciones a los estudios terminológicos para la identificación del componente léxico a través del cual se transmite la información especializada. No obstante esos primeros estudios terminológicos que apuntaban al sustantivo como elmentos denominativo-conceptual, otras teorías más recientes, entre las que destacamos la Teoría Comunicativa de la Terminología (Cabré, 1999) identifican otras estructuras morfosintácticas integradas por otros elementos no nominales portadores igualmente de esa carga conceptual. A partir de esta consideración, hemos seleccionado para este estudio el adjetivo relacional en tanto que representa otra categoría gramatical distinta al sustantivo y mantiene un vínculo con éste debido a su procedencia. Todo lo cual puede suscitar cierto interés terminológico. A través de esta investigación, nos hemos propuesto demostrar las siguientes hipótesis: 1. El adjetivo relacional aporta contenido especializado en su asociación con el componente nominal. 2. El adjetivo relacional es portador de un valor semántico que hace posible identificar con más precisión la relación conceptual de los elementos -adjetivo y sustantivo - de la combinación léxica resultante, especialmente en algunas formaciones ambiguas. 3. El adjetivo relacional, como modificador natural del sustantivo al que acompaña, podría imponer cierta restricción en sus combinaciones y, por tanto, hacer una selección discriminada de los integrantes de la combinación léxica especializada. Teniendo en cuenta las anteriores hipótesis, esta investigación ha delimitado y caracterizado el segmento léxico objeto de estudio: la ‘combinación léxica especializada (CLE)’ formalmente representada por la estructura sintáctica [adjR+n], en donde adjR es el adjetivo y n el sustantivo al que acompaña. De igual forma hemos descrito el marco teórico desde el que abordar nuestro análisis. Se trata de la teoría del Lexicón Generatvio (LG) y de la representación semántica (Pustojovsky, 1995) que propone como explicación de la generación de significados. Hemos analizado las distintas estructuras de representación léxica y en especial la estructura qualia a través de la cual hemos identificado la relación semántica que mantienen los dos ítems léxicos [adjR+n] de la estructura sintáctica de nuestro estudio. El estudio semántico de las dos piezas léxicas ha permitido, además, comprobar el valor denominativo del adjetivo en la combinación. Ha sido necesario elaborar un corpus de textos escritos en inglés y español pertenecientes al discurso de especialidad de las TIC. Este material ha sido procesado para nuestros fines utilizando distintas herramientas electrónicas. Se ha hecho uso de lexicones electrónicos, diccionarios online generales y de especialidad y corpus de referencia online, estos últimos para poder eventualmente validad nuetros datos. Asimismo se han utilizado motores de búsqueda, entre ellos WordNet Search 3.1, para obtener la información semántica de nuestros elementos léxicos. Nuestras conclusiones han corroborado las hipótesis que se planteaban en esta tesis, en especial la referente al valor denominativo-conceptual del adjetivo relacional el cual, junto con el sustantivo al que acompaña, forma parte de la representación cognitiva del lenguaje de especialidad de las TIC. Como continuación a este estudio se proponen sugerencias sobre líneas futuras de investigación así como el diseño de herramientas informáticas que pudieran incorporar estos datos semánticos como complemento de los ítems léxicos dotados de valor denominativo-conceptual. ABSTRACT This research falls within the field of the so-called Specialized Languages which for the purpose of this study is the Information and Communication Technology (ICT) discourse. Considering their several distinguishing features terminology concentrates our interest from the point of view of linguistics. It is broadly assumed that terms represent concepts of a subject field. For the classical view of terminology (Wüster, 1968) these terms are formally represented by nouns. Both lexicology and terminology have made significant contributions to the study of terms. Later research as well as other theories on Terminology such as the Communicative Theory of Terminology (Cabré, 1993) have shown that other lexical units can also represent knowledge organization. On these bases, we have focused our research on the relational adjective which represents a functional unit different from a noun while still connected to the noun by means of its nominal root. This may have a potential terminological interest. Therefore the present research is based on the next hypotheses: 1. The relational adjective conveys specialized information when combined with the noun. 2. The relational adjective has a semantic meaning which helps understand the conceptual relationship between the adjective and the noun being modified and disambiguate certain senses of the resulting lexical combination. 3. The relational adjective may impose some restrictions when choosing the nouns it modifies. Considering the above hypotheses, this study has identified and described a multi-word lexical unit pattern [Radj+n] referred to as a Specialized Lexical Combination (SLC) linguistically realized by a relational adjective, Radj, and a noun, n. The analysis of such a syntactic pattern is addressed from the framework of the Generative Lexicon (Pustojovsky, 1995). Such theory provides several levels of semantic description which help lexical decomposition performed generatively. These levels of semantic representation are connected through generative operations or generative devices which account for the compositional interpretation of any linguistic utterance in a given context. This study analyses these different levels and focuses on one of them, i.e. the qualia structure since it may encode the conceptual meaning of the syntactic pattern [Radj+n]. The semantic study of these two lexical items has ultimately confirmed the conceptual meaning of the relational adjective. A corpus made of online ICT articles from magazines written in English and Spanish – some being their translations - has been used for the word extraction. For this purpose some word processing software packages have been employed. Moreover online general language and specialized language dictionaries have been consulted. Search engines, namely WordNet Search 3.1, have been also exploited to find the semantic information of our lexical units. Online reference corpora in English and Spanish have been used for a contrastive analysis of our data. Finally our conclusions have confirmed our initial hypotheses, i.e. relational adjectives are specialized lexical units which together with the nouns are part of the knowledge representation of the ICT subject field. Proposals for new research have been made together with some other suggestions for the design of computer applications to visually show the conceptual meaning of certain lexical units.

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.

Sports anglicisms in Spanish dictionaries and corpora

For references, please quote the full paper as published in the above journal.

Reflections on the role and design of online dictionaries for specialised translation

This article is an updated and modified version of a Spanish article published in MonTi 6 (cf. Tarp 2014a). It deals with specialised translation dictionaries. Based on the principles of the function theory, it analyses the different phases and sub-phases of the translation process from a lexicographical perspective and shows that a translation dictionary should be much more than a mere bilingual dictionary if it really pretends to meet its users’ complex needs. Thereafter, it presents a global concept of a translation dictionary which includes various mono- and bilingual components in both language directions. Finally, the article discusses, by means of two concrete online projects, how this concept can be applied on the Internet in order to develop high-quality translation dictionaries with quick access to data that are still more adapted to the needs of each translator.

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.