La competencia comunicativa intercultural en el aula de español de los negocios: análisis de materiales para su enseñanza

RESUMEN La adquisición de la competencia comunicativa intercultural en la enseñanza de Lenguas Extranjeras (LE) y/o Lenguas para Fines Específicos (LFE) debe ser un proceso de aprendizaje consciente y explícito cuyo fin es la transmisión de conocimientos teóricos, el desarrollo de habilidades comportamentales y de actitudes positivas a través del contacto con la/s cultura/s meta. Esta tesis tiene como objetivo general contribuir al desarrollo de la competencia comunicativa intercultural comercial del estudiante de español de los negocios (EN). Para ello se ha realizado un análisis de los manuales para su enseñanza. En concreto, hemos auditado los manuales de EN con el fin de conocer la metodología didáctica que emplean en la enseñanza de la competencia comunicativa intercultural comercial, tomando como marco de referencia el enfoque intercultural para la enseñanza de las Lenguas de los Negocios. Para alcanzar este fin se ha dividido la investigación en tres partes: 1) la revisión de los antecedentes sobre la enseñanza del componente intercultural y del análisis de materiales en los cursos de LFE; 2) la configuración de un constructo teórico que permitiera a la vez, seleccionar el objeto de estudio, diseñar el instrumento de análisis y disponer de un marco de referencia valorativo; 3) y la creación, pilotaje y aplicación del instrumento de análisis, y la auditoría de los datos. Los resultados muestran que, en líneas generales, predomina una visión tradicional de la cultura; un escaso tratamiento de la relación lengua-y-cultura; un seguimiento parcial de los principios pedagógicos para la adquisición de la competencia comunicativa intercultural; un tratamiento bajo de las habilidades interculturales específicas en las interacciones comerciales; y una cobertura parcial de las habilidades interculturales generales, las cuales se centran fundamentalmente en la adqusición de saberes teóricos. PALABRAS CLAVE: competencia comunicativa intercultural; comunicación intercultural comercial; español de los negocios; español para fines específicos; auditoria de manuales didácticos. ABSTRACT The acquisition of intercultural communicative competence in Foreign Language (FL) and / or Languages for Specific Purposes teaching (LSP) must be a conscious and explicit learning to develop knowledge, skills and positive attitudes through contact with the target culture/s. The overall objective of this thesis is to assist the development of the intercultural communicative competence of the student of Spanish for Business (SB) through the audit of the teaching textbooks published in the last decade through a multidisciplinary approach to teaching LSP. The audit was carried out in order to ascertain the underlying approach and course design for the development of the intercultural communicative competence; to state the methodological approach to culture, language-and-culture relationship, culture teaching, culture acquisition and course design. To achieve this objective, the work has been divided into four parts: 1) review of the background on teaching the intercultural component and the analysis of materials in a courses of LSP through a multidisciplinary approach, 2) configuration of a theoretical construct allowing to select the object of study, to design the analytical instrument and to have an evaluative framework, together with the selection of a corpus of Spanish for Business textbooks, 3) development of the analytical instrument and 4) application of the analytical instrument and audit of selected textbooks. The results show that, in the textbooks analyzed, dominated a traditional view of culture, a low ratio treatment of the language-and-culture relationship, a partial implementation of the pedagogical principles for the acquisition of intercultural communicative competence; poor treatment of specific intercultural skills in business interactions, and partial coverage of the general cultural skills, which focus primarily on the acquisition of theoretical knowledge. KEY WORDS: Intercultural communicative competence; Intercultural communicative competence; Spanish for Business; Spanish for Specific Purposes; Textbook audit

Análisis de los factores determinantes de la repetición del proceso de compra en el comercio electrónico entre empresas y consumidores finales. Aplicación al mercado español

Las Tecnologías de la Información y la Comunicación en general e Internet en particular han supuesto una revolución en nuestra forma de comunicarnos, relacionarnos, producir, comprar y vender acortando tiempo y distancias entre proveedores y consumidores. A la paulatina penetración del ordenador, los teléfonos inteligentes y la banda ancha fija y/o móvil ha seguido un mayor uso de estas tecnologías entre ciudadanos y empresas. El comercio electrónico empresa–consumidor (B2C) alcanzó en 2010 en España un volumen de 9.114 millones de euros, con un incremento del 17,4% respecto al dato registrado en 2009. Este crecimiento se ha producido por distintos hechos: un incremento en el porcentaje de internautas hasta el 65,1% en 2010 de los cuales han adquirido productos o servicios a través de la Red un 43,1% –1,6 puntos porcentuales más respecto a 2010–. Por otra parte, el gasto medio por comprador ha ascendido a 831€ en 2010, lo que supone un incremento del 10,9% respecto al año anterior. Si segmentamos a los compradores según por su experiencia anterior de compra podemos encontrar dos categorías: el comprador novel –que adquirió por primera vez productos o servicios en 2010– y el comprador constante –aquel que había adquirido productos o servicios en 2010 y al menos una vez en años anteriores–. El 85,8% de los compradores se pueden considerar como compradores constantes: habían comprado en la Red en 2010, pero también lo habían hecho anteriormente. El comprador novel tiene un perfil sociodemográfico de persona joven de entre 15–24 años, con estudios secundarios, de clase social media y media–baja, estudiante no universitario, residente en poblaciones pequeñas y sigue utilizando fórmulas de pago como el contra–reembolso (23,9%). Su gasto medio anual ascendió en 2010 a 449€. El comprador constante, o comprador que ya había comprado en Internet anteriormente, tiene un perfil demográfico distinto: estudios superiores, clase alta, trabajador y residente en grandes ciudades, con un comportamiento maduro en la compra electrónica dada su mayor experiencia –utiliza con mayor intensidad canales exclusivos en Internet que no disponen de tienda presencial–. Su gasto medio duplica al observado en compradores noveles (con una media de 930€ anuales). Por tanto, los compradores constantes suponen una mayoría de los compradores con un gasto medio que dobla al comprador que ha adoptado el medio recientemente. Por consiguiente es de interés estudiar los factores que predicen que un internauta vuelva a adquirir un producto o servicio en la Red. La respuesta a esta pregunta no se ha revelado sencilla. En España, la mayoría de productos y servicios aún se adquieren de manera presencial, con una baja incidencia de las ventas a distancia como la teletienda, la venta por catálogo o la venta a través de Internet. Para dar respuesta a las preguntas planteadas se ha investigado desde distintos puntos de vista: se comenzará con un estudio descriptivo desde el punto de vista de la demanda que trata de caracterizar la situación del comercio electrónico B2C en España, poniendo el foco en las diferencias entre los compradores constantes y los nuevos compradores. Posteriormente, la investigación de modelos de adopción y continuidad en el uso de las tecnologías y de los factores que inciden en dicha continuidad –con especial interés en el comercio electrónico B2C–, permiten afrontar el problema desde la perspectiva de las ecuaciones estructurales pudiendo también extraer conclusiones de tipo práctico. Este trabajo sigue una estructura clásica de investigación científica: en el capítulo 1 se introduce el tema de investigación, continuando con una descripción del estado de situación del comercio electrónico B2C en España utilizando fuentes oficiales (capítulo 2). Posteriormente se desarrolla el marco teórico y el estado del arte de modelos de adopción y de utilización de las tecnologías (capítulo 3) y de los factores principales que inciden en la adopción y continuidad en el uso de las tecnologías (capítulo 4). El capítulo 5 desarrolla las hipótesis de la investigación y plantea los modelos teóricos. Las técnicas estadísticas a utilizar se describen en el capítulo 6, donde también se analizan los resultados empíricos sobre los modelos desarrollados en el capítulo 5. El capítulo 7 expone las principales conclusiones de la investigación, sus limitaciones y propone nuevas líneas de investigación. La primera parte corresponde al capítulo 1, que introduce la investigación justificándola desde un punto de vista teórico y práctico. También se realiza una breve introducción a la teoría del comportamiento del consumidor desde una perspectiva clásica. Se presentan los principales modelos de adopción y se introducen los modelos de continuidad de utilización que se estudiarán más detalladamente en el capítulo 3. En este capítulo se desarrollan los objetivos principales y los objetivos secundarios, se propone el mapa mental de la investigación y se planifican en un cronograma los principales hitos del trabajo. La segunda parte corresponde a los capítulos dos, tres y cuatro. En el capítulo 2 se describe el comercio electrónico B2C en España utilizando fuentes secundarias. Se aborda un diagnóstico del sector de comercio electrónico y su estado de madurez en España. Posteriormente, se analizan las diferencias entre los compradores constantes, principal interés de este trabajo, frente a los compradores noveles, destacando las diferencias de perfiles y usos. Para los dos segmentos se estudian aspectos como el lugar de acceso a la compra, la frecuencia de compra, los medios de pago utilizados o las actitudes hacia la compra. El capítulo 3 comienza desarrollando los principales conceptos sobre la teoría del comportamiento del consumidor, para continuar estudiando los principales modelos de adopción de tecnología existentes, analizando con especial atención su aplicación en comercio electrónico. Posteriormente se analizan los modelos de continuidad en el uso de tecnologías (Teoría de la Confirmación de Expectativas; Teoría de la Justicia), con especial atención de nuevo a su aplicación en el comercio electrónico. Una vez estudiados los principales modelos de adopción y continuidad en el uso de tecnologías, el capítulo 4 analiza los principales factores que se utilizan en los modelos: calidad, valor, factores basados en la confirmación de expectativas –satisfacción, utilidad percibida– y factores específicos en situaciones especiales –por ejemplo, tras una queja– como pueden ser la justicia, las emociones o la confianza. La tercera parte –que corresponde al capítulo 5– desarrolla el diseño de la investigación y la selección muestral de los modelos. En la primera parte del capítulo se enuncian las hipótesis –que van desde lo general a lo particular, utilizando los factores específicos analizados en el capítulo 4– para su posterior estudio y validación en el capítulo 6 utilizando las técnicas estadísticas apropiadas. A partir de las hipótesis, y de los modelos y factores estudiados en los capítulos 3 y 4, se definen y vertebran dos modelos teóricos originales que den respuesta a los retos de investigación planteados en el capítulo 1. En la segunda parte del capítulo se diseña el trabajo empírico de investigación definiendo los siguientes aspectos: alcance geográfico–temporal, tipología de la investigación, carácter y ambiente de la investigación, fuentes primarias y secundarias utilizadas, técnicas de recolección de datos, instrumentos de medida utilizados y características de la muestra utilizada. Los resultados del trabajo de investigación constituyen la cuarta parte de la investigación y se desarrollan en el capítulo 6, que comienza analizando las técnicas estadísticas basadas en Modelos de Ecuaciones Estructurales. Se plantean dos alternativas, modelos confirmatorios correspondientes a Métodos Basados en Covarianzas (MBC) y modelos predictivos. De forma razonada se eligen las técnicas predictivas dada la naturaleza exploratoria de la investigación planteada. La segunda parte del capítulo 6 desarrolla el análisis de los resultados de los modelos de medida y modelos estructurales construidos con indicadores formativos y reflectivos y definidos en el capítulo 4. Para ello se validan, sucesivamente, los modelos de medida y los modelos estructurales teniendo en cuenta los valores umbrales de los parámetros estadísticos necesarios para la validación. La quinta parte corresponde al capítulo 7, que desarrolla las conclusiones basándose en los resultados del capítulo 6, analizando los resultados desde el punto de vista de las aportaciones teóricas y prácticas, obteniendo conclusiones para la gestión de las empresas. A continuación, se describen las limitaciones de la investigación y se proponen nuevas líneas de estudio sobre distintos temas que han ido surgiendo a lo largo del trabajo. Finalmente, la bibliografía recoge todas las referencias utilizadas a lo largo de este trabajo. Palabras clave: comprador constante, modelos de continuidad de uso, continuidad en el uso de tecnologías, comercio electrónico, B2C, adopción de tecnologías, modelos de adopción tecnológica, TAM, TPB, IDT, UTAUT, ECT, intención de continuidad, satisfacción, confianza percibida, justicia, emociones, confirmación de expectativas, calidad, valor, PLS. ABSTRACT Information and Communication Technologies in general, but more specifically those related to the Internet in particular, have changed the way in which we communicate, relate to one another, produce, and buy and sell products, reducing the time and shortening the distance between suppliers and consumers. The steady breakthrough of computers, Smartphones and landline and/or wireless broadband has been greatly reflected in its large scale use by both individuals and businesses. Business–to–consumer (B2C) e–commerce reached a volume of 9,114 million Euros in Spain in 2010, representing a 17.4% increase with respect to the figure in 2009. This growth is due in part to two different facts: an increase in the percentage of web users to 65.1% en 2010, 43.1% of whom have acquired products or services through the Internet– which constitutes 1.6 percentage points higher than 2010. On the other hand, the average spending by individual buyers rose to 831€ en 2010, constituting a 10.9% increase with respect to the previous year. If we select buyers according to whether or not they have previously made some type of purchase, we can divide them into two categories: the novice buyer–who first made online purchases in 2010– and the experienced buyer: who also made purchases in 2010, but had done so previously as well. The socio–demographic profile of the novice buyer is that of a young person between 15–24 years of age, with secondary studies, middle to lower–middle class, and a non–university educated student who resides in smaller towns and continues to use payment methods such as cash on delivery (23.9%). In 2010, their average purchase grew to 449€. The more experienced buyer, or someone who has previously made purchases online, has a different demographic profile: highly educated, upper class, resident and worker in larger cities, who exercises a mature behavior when making online purchases due to their experience– this type of buyer frequently uses exclusive channels on the Internet that don’t have an actual store. His or her average purchase doubles that of the novice buyer (with an average purchase of 930€ annually.) That said, the experienced buyers constitute the majority of buyers with an average purchase that doubles that of novice buyers. It is therefore of interest to study the factors that help to predict whether or not a web user will buy another product or use another service on the Internet. The answer to this question has proven not to be so simple. In Spain, the majority of goods and services are still bought in person, with a low amount of purchases being made through means such as the Home Shopping Network, through catalogues or Internet sales. To answer the questions that have been posed here, an investigation has been conducted which takes into consideration various viewpoints: it will begin with a descriptive study from the perspective of the supply and demand that characterizes the B2C e–commerce situation in Spain, focusing on the differences between experienced buyers and novice buyers. Subsequently, there will be an investigation concerning the technology acceptance and continuity of use of models as well as the factors that have an effect on their continuity of use –with a special focus on B2C electronic commerce–, which allows for a theoretic approach to the problem from the perspective of the structural equations being able to reach practical conclusions. This investigation follows the classic structure for a scientific investigation: the subject of the investigation is introduced (Chapter 1), then the state of the B2C e–commerce in Spain is described citing official sources of information (Chapter 2), the theoretical framework and state of the art of technology acceptance and continuity models are developed further (Chapter 3) and the main factors that affect their acceptance and continuity (Chapter 4). Chapter 5 explains the hypothesis behind the investigation and poses the theoretical models that will be confirmed or rejected partially or completely. In Chapter 6, the technical statistics that will be used are described briefly as well as an analysis of the empirical results of the models put forth in Chapter 5. Chapter 7 explains the main conclusions of the investigation, its limitations and proposes new projects. First part of the project, chapter 1, introduces the investigation, justifying it from a theoretical and practical point of view. It is also a brief introduction to the theory of consumer behavior from a standard perspective. Technology acceptance models are presented and then continuity and repurchase models are introduced, which are studied more in depth in Chapter 3. In this chapter, both the main and the secondary objectives are developed through a mind map and a timetable which highlights the milestones of the project. The second part of the project corresponds to Chapters Two, Three and Four. Chapter 2 describes the B2C e–commerce in Spain from the perspective of its demand, citing secondary official sources. A diagnosis concerning the e–commerce sector and the status of its maturity in Spain is taken on, as well as the barriers and alternative methods of e–commerce. Subsequently, the differences between experienced buyers, which are of particular interest to this project, and novice buyers are analyzed, highlighting the differences between their profiles and their main transactions. In order to study both groups, aspects such as the place of purchase, frequency with which online purchases are made, payment methods used and the attitudes of the purchasers concerning making online purchases are taken into consideration. Chapter 3 begins by developing the main concepts concerning consumer behavior theory in order to continue the study of the main existing acceptance models (among others, TPB, TAM, IDT, UTAUT and other models derived from them) – paying special attention to their application in e–commerce–. Subsequently, the models of technology reuse are analyzed (CDT, ECT; Theory of Justice), focusing again specifically on their application in e–commerce. Once the main technology acceptance and reuse models have been studied, Chapter 4 analyzes the main factors that are used in these models: quality, value, factors based on the contradiction of expectations/failure to meet expectations– satisfaction, perceived usefulness– and specific factors pertaining to special situations– for example, after receiving a complaint justice, emotions or confidence. The third part– which appears in Chapter 5– develops the plan for the investigation and the sample selection for the models that have been designed. In the first section of the Chapter, the hypothesis is presented– beginning with general ideas and then becoming more specific, using the detailed factors that were analyzed in Chapter 4– for its later study and validation in Chapter 6– as well as the corresponding statistical factors. Based on the hypothesis and the models and factors that were studied in Chapters 3 and 4, two original theoretical models are defined and organized in order to answer the questions posed in Chapter 1. In the second part of the Chapter, the empirical investigation is designed, defining the following aspects: geographic–temporal scope, type of investigation, nature and setting of the investigation, primary and secondary sources used, data gathering methods, instruments according to the extent of their use and characteristics of the sample used. The results of the project constitute the fourth part of the investigation and are developed in Chapter 6, which begins analyzing the statistical techniques that are based on the Models of Structural Equations. Two alternatives are put forth: confirmatory models which correspond to Methods Based on Covariance (MBC) and predictive models– Methods Based on Components–. In a well–reasoned manner, the predictive techniques are chosen given the explorative nature of the investigation. The second part of Chapter 6 explains the results of the analysis of the measurement models and structural models built by the formative and reflective indicators defined in Chapter 4. In order to do so, the measurement models and the structural models are validated one by one, while keeping in mind the threshold values of the necessary statistic parameters for their validation. The fifth part corresponds to Chapter 7 which explains the conclusions of the study, basing them on the results found in Chapter 6 and analyzing them from the perspective of the theoretical and practical contributions, and consequently obtaining conclusions for business management. The limitations of the investigation are then described and new research lines about various topics that came up during the project are proposed. Lastly, all of the references that were used during the project are listed in a final bibliography. Key Words: constant buyer, repurchase models, continuity of use of technology, e–commerce, B2C, technology acceptance, technology acceptance models, TAM, TPB, IDT, UTAUT, ECT, intention of repurchase, satisfaction, perceived trust/confidence, justice, feelings, the contradiction of expectations, quality, value, PLS.

Pozzuolanic properties of the natural zeolites of some latin american deposits

This paper shows the results of the study of physical, mechanic and chemical behaviour of some natural zeolite types sampled in different outcrops of the world, mainly from Mexico, Cuba and Spain, as well as their incidence in certain practical applications, by means of the utilization of its pozzuolanic properties. Results emphasize that every natural zeolite variety gives different answers in the assays, probably influenced by the subtle variability of their chemical composition. Key words: zeolites, pozzuolanic, density, geometric, strength

Simulating improved combinations tillage-rotation under dryland conditions.

Crop simulation models allow analyzing various tillage-rotation combinations and exploring management scenarios. This study was conducted to test the DSSAT (Decision Support System for Agrotechnology Transfer) modelling system in rainfed semiarid central Spain. The focus is on the combined effect of tillage system and winter cereal-based rotations (cereal/legume/fallow) on the crop yield and soil quality. The observed data come from a 16-year field experiment. The CERES and CROPGRO models, included in DSSAT v4.5, were used to simulate crop growth and yield, and DSSAT- CENTURY was used in the soil organic carbon (SOC) and soil nitrogen (SN) simulations. Genetic coefficients were calibrated using part of the observed data. Field observations showed that barley grain yield was lower for continuous cereal (BB) than for vetch (VB) and fallow (FB) rotations for both tillage systems. The CERES-Barley model also reflected this trend. The model predicted higher yield in the conventional tillage (CT) than in the no tillage (NT) probably due to the higher nitrogen availability in the CT, shown in the simulations. The SOC and SN in the top layer only, were higher in NT than in CT, and decreased with depth in both simulated and observed values. These results suggest that CT-VB and CT-FB were the best combinations for the dry land conditions studied. However, CT presented lower SN and SOC content than NT. This study shows how models can be a useful tool for assessing and predicting crop growth and yield, under different management systems and under specific edapho-climatic conditions. Additional key words: CENTURY model; CERES-Barley; crop simulation models; DSSAT; sequential simula- tion; soil organic carbon.

Injuries in strength training: review and practical application

Purpose: This systematic review examines what is known about injuries in strength training. Methods: A systematic search was performed in PubMed and SportDiscus. Studies were included if they examined powerlifters, weightlifters, strongman athletes, bodybuilding athletes, individuals who undertook recreational weight training or weight training to complement athletic performance. Exposure variables were incidence, severity and body part injury. Results: After examining 1214 titles and abstracts, 62 articles were identified as potentially relevant. Finally, 11 were included in this systematic review. Conflicting results were reported on the relationships between injury definition and incidence or severity recorded. The lower back followed by the shoulder and knee are the most frequently affected areas in strength sports. Conclusion: Strength training is safe. However, the variety of injury definitions has makes it difficult to compare different studies in this field. New styles of reporting injuries have appeared, and could make increases these ratios. If methodological limitations in measuring incidence rate and severity injuries can be resolved, more work can be conducted to define the real incidence rate, compare it with others sports, and explore cause and effect relationships in randomized controlled trials. Key Words: strength training, injuries, specific strength sports, severity

Validation of an instrument for injury data collection in strength training

Purpose: To provide for the basis for collecting strength training data using a rigorously validated injury report form. Methods: A group of specialist designed a questionnaire of 45 item grouped into 4 dimensions. Six stages were used to assess face, content, and criterion validity of the weight training injury report form. A 13 members panel assessed the form for face validity, and an expert panel assessed it for content and criterion validity. Panel members were consulted until consensus was reached. A yardstick developed by an expert panel using Intraclass correlation technique was used to assess the reability of the form. Test-retest reliability was assessed with the intraclass correlation coefficient (ICC).The strength training injury report form was developed, and the face, content, and criterion validity successfully assessed. A six step protocol to create a yardstick was also developed to assist in the validation process. Both inter-rater and intra rater reliability results indicated a 98% agreement. Inter-rater reliability agreement of 98% for three injuries. Results: The Cronbach?s alpha of the questionnaire was 0.944 (pmenor que0.01) and the ICC of the entire questionnaire was 0.894 (pmenor que0.01). Conclusion: The questionnaire gathers together enough psychometric properties to be considered a valid and reliable tool for register injury data in strength training, and providing researchers with a basis for future studies in this area. Key Words: data collection; validation; injury prevention; strength training

Derivación deductiva de programas funcionales con patrones

Una de las dificultades principales en el desarrollo de software es la ausencia de un marco conceptual adecuado para su estudio. Una propuesta la constituye el modelo transformativo, que entiende el desarrollo de software como un proceso iterativo de transformación de especificaciones: se parte de una especificación inicial que va transformándose sucesivamente hasta obtener una especificación final que se toma como programa. Este modelo básico puede llevarse a la práctica de varias maneras. En concreto, la aproximación deductiva toma una sentencia lógica como especificación inicial y su proceso transformador consiste en la demostración de la sentencia; como producto secundario de la demostración se deriva un programa que satisface la especificación inicial. La tesis desarrolla un método deductivo para la derivación de programas funcionales con patrones, escritos en un lenguaje similar a Hope. El método utiliza una lógica multigénero, cuya relación con el lenguaje de programación es estudiada. También se identifican los esquemas de demostración necesarios para la derivación de funciones con patrones, basados en la demostración independiente de varias subsentencias. Cada subsentencia proporciona una subespecificación de una ecuación del futuro programa a derivar. Nuestro método deductivo está inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp. El nuevo método es una modificación del cuadro de estos autores, que incorpora géneros y permite demostrar una especificación mediante varios cuadros. Cada cuadro demuestra una subespecificación y por tanto deriva una ecuación del programa. Se prevén mecanismos para que los programas derivados puedan contener definiciones locales con patrones y variables anónimas y sinónimas y para que las funciones auxiliares derivadas no usen variables de las funciones principales. La tesis se completa con varios ejemplos de aplicación, un mecanismo que independentiza el método del lenguaje de programación y un prototipo de entorno interactivo de derivación deductiva. Categorías y descriptores de materia CR D.l.l [Técnicas de programación]: Programación funcional; D.2.10 [Ingeniería de software]: Diseño - métodos; F.3.1 [Lógica y significado de los programas]: Especificación, verificación y razonamiento sobre programas - lógica de programas; F.3.3 [Lógica y significado de los programas]: Estudios de construcciones de programas - construcciones funcionales; esquemas de programa y de recursion; 1.2.2 [Inteligencia artificial]: Programación automática - síntesis de programas; 1.2.3 [Inteligencia artificial]: Deducción y demostración de teoremas]: extracción de respuesta/razón; inducción matemática. Términos generales Programación funcional, síntesis de programas, demostración de teoremas. Otras palabras claves y expresiones Funciones con patrones, cuadro deductivo, especificación parcial, inducción estructural, teorema de descomposición.---ABSTRACT---One of the main difficulties in software development is the lack of an adequate conceptual framework of study. The transformational model is one such proposal that conceives software development as an iterative process of specifications transformation: an initial specification is developed and successively transformed until a final specification is obtained and taken as a program. This basic model can be implemented in several ways. The deductive approach takes a logical sentence as the initial specification and its proof constitutes the transformational process; as a byproduct of the proof, a program which satisfies the initial specification is derived. In the thesis, a deductive method for the derivation of Hope-like functional programs with patterns is developed. The method uses a many-sorted logic, whose relation to the programming language is studied. Also the proof schemes necessary for the derivation of functional programs with patterns, based on the independent proof of several subsentences, are identified. Each subsentence provides a subspecification of one equation of the future program to be derived. Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs. The new method incorporates sorts in the tableau and allows to prove a sentence with several tableaux. Each tableau proves a subspecification and therefore derives an equation of the program. Mechanisms are included to allow the derived programs to contain local definitions with patterns and anonymous and synonymous variables; also, the derived auxiliary functions cannot reference parameters of their main functions. The thesis is completed with several application examples, i mechanism to make the method independent from the programming language and an interactive environment prototype for deductive derivation. CR categories and subject descriptors D.l.l [Programming techniques]: Functional programming; D.2.10 [Software engineering]: Design - methodologies; F.3.1 [Logics and meanings of programa]: Specifying and verifying and reasoning about programs - logics of programs; F.3.3 [Logics and meanings of programs]: Studies of program constructs - functional constructs; program and recursion schemes; 1.2.2 [Artificial intelligence]: Automatic programming - program synthesis; 1.2.3 [Artificial intelligence]: Deduction and theorem proving - answer/reason extraction; mathematical induction. General tenas Functional programming, program synthesis, theorem proving. Additional key words and phrases Functions with patterns, deductive tableau, structural induction, partial specification, descomposition theorem.

Contaminantes orgánicos (PAHs) derivados de la escombrera de la Central Térmica de Aliaga (Teruel)

The aim of this study was to determine if the soils, waters and plants from the Aliaga dump contained polycyclic aromatic hydrocarbons (PAHs) and their quantification.The results showed that PAHs concentrations in soils are in general higher than the reference levels from the Spanish legislation. Waters and plants contained PAHs but in low concentrations. The possible actions for remediation (photodegradation and bioremediation) seem to be unviable here because of the large volume of materials involved, although its use as an additive for the cement industry and derivatives can be considered. It is proposed that fluorantene in waters, and phenanthrene and benzo[ghi]perilene in soils be considered as pollutants as well as to study the incorporation of PAHs to plants. Key-words: Polycyclic aromatic hydrocarbons, soil, plant and water contamination, fly- ash, power plant. RESUMEN: El objetivo de este estudio fue determinar y cuantificar los hidrocarburos policíclicos aromáticos (PAHs) en los suelos, plantas y aguas de la Escombrera de Aliaga. La concentración de PAHs en las cenizas supera, en general, los valores establecidos en la legislación española.Las aguas y plantas contienen PAHs, aunque en concentraciones bajas. La remoción de los materiales para someterlos a fotodegradación y biorremediación es inviable debido al gran volumen de la escombrera, aunque se plantea su uso como aditivo en la fabricación de productos derivados del cemento. Se propone incluir el fenantreno y benzo[ghi]perileno en la normativa de suelos, así como el naftaleno en la de aguas y la elaboración de una legislación sobre la incorporación de estos compuestos a las plantas.

Metodología para el análisis de la relación entre la competividad y la preparación tecnológica en 135 economías mundiales. Factores e indicadores clave de actuación. Conglomerados.

La investigación, plantea como podemos evaluar la competividad en 135 países a partir únicamente de variables tecnológicas. En la metodología se plantea el Protocolo de Cálculo para el total de las economías seleccionadas dentro de los periodos 2005-2006 y 2007-2008, realizando una evaluación estadística. Y estableciendo una discusión, donde analizamos la explicación de las relaciones así como la interpretación de los resultados. Finalmente, evaluamos las conclusiones para las economías mundiales. Dentro de estas economías, localizamos las variables que tienen que priorizarse para mejorar la competividad de las mismas. Estas variables par ten inicialmente de un grupo de 68, y al final de la implementación del método se reducen notablemente. Estas variables finales, llamadas Indicadores Claves de Actuación, se agrupan en factores (Factores Clave de Actuación) que nos simplifican notablemente lo planteado. Para cada grupo de economías se realizan los conglomerados de acuerdo a sus valores dentro de las variables seleccionadas. Se evalúa país a país un análisis detallado de su posicionamiento para cada uno de los Indicadores Claves de Actuación seleccionados matemáticamente. La principal voluntad de la presente información, es simplificar notablemente la comparación entre la competividad de las naciones y su nivel tecnológico. Palabras clave: indicadores, índices, economías, mundiales, análisis multivariante, regresión, factorización, clusterización, análisis de conglomerados, competividad, tecnología, políticas públicas, aspectos regulatorios, operaciones, estrategias comerciales, internet, comparativa cros nacionales, análisis multinivel. Analysis of the relationship between competitiveness and technological development for 135 worldwide countries. Factors and Key Performance Indicators. Clusters of economies Abstract:The research evaluates the competitiveness of 135 countries, based solely on technological variables. The methodology raises calculation protocol for the total of selected economies in the periods 2005-2006 and 2007- 2008. This protocol makes a statistical evaluation. And setting up a discussion, where we analyzed the explanation of the relationship and the interpretation of results. Finally, we evaluate the conclusions for the world economies. Within each group of economies, we know which variables need originally to be prioritized to improve the competitiveness. These variables are from a group of 68, and after the implementation of the method are reduced dramatically in number. These variables will be called Key Performance Indicators and will be grouped into Factors (Key Performance Factors) this will significantly simplify matters. Within this group of countries have been reduced three factors that collect their Key Performance Indicators . A country to country detailed analysis of their positions according to each of the Key Performance Indicators on a mathematical basis.The main desire of this research is to significantly simplify the comparison between the competitiveness of nations and their technological level. Key words: economies, innovation, competitiveness, public policy, business strategies.

Side effects of modern pesticides on adults of the predatory mite Amblyseius swirskii (Athias-Henriot) (Acari: Phytoseiidae) under laboratory conditions

Amblyseius swirskii (Athias-Henriot) is a polyphagous predatory mite which feeds on pollen and small arthropod preys like whiteflies, thrips and mites. This species is widely used in IPM programs in greenhouses, being essential for its success, to obtain information about the non target effects of the pesticides currently used in those crops where the mite is artificially released. This work describes a laboratory contact residual test for evaluating lethal (mortality after 72 hour exposure to fresh residues) and sublethal effects (fecundity and fertility of the surviving mites) of eleven modern pesticides to adults of A. swirskii. Spiromesifen is lipogenesis inhibitor; flonicamid a selective feeding inhibitor with a mode of action not totally known; flubendiamide a modulator of the rhyanodin receptor, sulfoxaflor has a complex mode of action not totally ascertained; metaflumizone is a voltage dependent sodium channel blocker; methoxyfenozide is an IGR, spirotetramat inhibits lipids; abamectin and emamectin activate the Cl- channel; spinosad is a neurotix naturalyte and deltamethrin a pyrethroid used as positive standard. Selected pesticides are effective against different key pests present in horticultural crop areas and were always applied at the maximum field recommended concentration in Spain if registered, or at the concentration recommended by the supplier. Out of the tested pesticides, spiromesifen, flonicamid, flubendiamide, sulfoxaflor, metaflumizone, methoxyfenozide and spirotetramat were harmless to adults of the predatory mite (IOBC toxicity class 1). The rest of pesticides exhibited some negative effects: emamectin was slightly harmful (IOBC 2), deltamethrin moderately harmful (IOBC 3) and spinosad and abamectin harmful (IOBC 4). Further testing under more realistic conditions is needed for those pesticides having some harmful effect on the mite prior deciding their joint use or not. Key words: Amblyseius swirskii, adults, laboratory, residual test, spiromesifen, flonicamid, flubendiamide, sulfoxaflor, metaflumizone, methoxyfenozide, spirotetramat, emamectin, deltamethrin, abamectin, spinosad.

Effects of a bifenthrin-treated net on the natural enemies Aphidius colemani (Haliday) and Adalia bipunctata L. in a cucumber crop in Central Spain. Semi-field experiments

Pest management practices that rely on pesticides are growing increasingly less effective and environmentally inappropriate in many cases and the search of alternatives is under focus nowadays. Exclusion of pests from the crop by means of pesticide-treated screens can be an eco-friendly method to protect crops, especially if pests are vectors of important diseases. The mesh size of nets is crucial to determine if insects can eventually cross the barrier or exclude them because there is a great variation in insect size depending on the species. Long-lasting insecticide-treated (LLITN) nets, factory pre-treated, have been used since years to fight against mosquitoes vector of malaria and are able to retain their biological efficacy under field for 3 years. In agriculture, treated nets with different insecticides have shown efficacy in controlling some insects and mites, so they seem to be a good tool in helping to solve some pest problems. However, treated nets must be carefully evaluated because can diminish air flow, increase temperature and humidity and decrease light transmission, which may affect plant growth, pests and natural enemies. As biological control is considered a key factor in IPM nowadays, the potential negative effects of treated nets on natural enemies need to be studied carefully. In this work, the effects of a bifentrhin-treated net (3 g/Kg) (supplied by the company Intelligent Insect Control, IIC) on natural enemies of aphids were tested on a cucumber crop in Central Spain in autumn 2011. The crop was sown in 8x6.5 m tunnels divided in 2 sealed compartments with control or treated nets, which were simple yellow netting with 25 mesh (10 x 10 threads/cm2; 1 x 1 mm hole size). Pieces of 2 m high of the treated-net were placed along the lateral sides of one of the two tunnel compartments in each of the 3 available tunnels (replicates); the rest was covered by a commercial untreated net of a similar mesh. The pest, Aphis gossypii Glover (Aphidae), the parasitoid Aphidius colemani (Haliday) (Braconidae) and the predator Adalia bipunctata L. (Coccinellidae) were artificially introduced in the crop. Weekly sampling was done determining the presence or absence of the pest and the natural enemies (NE) in the 42 plants/compartment as well as the number of insects in 11 marked plants. Environmental conditions (temperature, relative humidity, UV and PAR radiation) were recorded. Results show that when aphids were artificially released inside the tunnels, neither its number/plant nor their distribution was affected by the treated net. A lack of negative effect of the insecticide-treated net on natural enemies was also observed. Adalia bipunctata did not establish in the crop and only a short term control of aphids was observed one week after release. On the other hand, A. colemani did establish in the crop and a more long-term effect on the numbers of aphids/plant was detected irrespective of the type of net. KEY WORDS: bifenthrin-treated net, Adalia bipunctata, Aphidius colemani, Aphis gossypii, semi-field

Optimization of water procurement decisions in an irrigation district: the role of option contracts

Water supply instability is one of the main risks faced by irrigation districts and farmers. Water procurement decision optimisation is essential in order to increase supply reliability and reduce costs. Water markets, such as spot purchases or water supply option contracts, can make this decision process more flexible. We analyse the potential interest in an option contract for an irrigation district that has access to several water sources. We apply a stochastic recursive mathematical programming model to simulate the water procurement decisions of an irrigation district?s board operating in a context of water supply uncertainty in south-eastern Spain. We analyse what role different option contracts could play in securing its water supply. Results suggest that the irrigation district would be willing to accept the proposed option contract in most cases subject to realistic values of the option contract financial terms. Of nine different water sources, desalination and the option contract are the main substitutes, where the use of either depends on the contract parameters. The contract premium and optioned volume are the variables that have a greater impact on the irrigation district?s decisions. Key words: Segura Basin, stochastic recursive programming, water markets, water supply option contract, water supply risk.

A review of risk factors for hamstring injury in soccer: a biomechanical approach

The aim has been to review the literature about the risk factors of hamstring injury in soccer from a biomechanical point of view. METHODOLOGY. Data bases of bibliography references were Medline, Scopus and SportDiscuss. RESULTS AND DISCUSSION. Many prospective studies have shown that the previous injury is the greatest risk factor of sustaining the injury. However the primary causes of the injury are unclear in soccer. A lack of hamstring flexibility has been one of the main injury risk factors with controversies on the results. Imbalance of isokinetic force is a risk factor but electrical coactivation of all muscles participating during knee flexion and extension are unknown in football. While the importance of lumbopelvic-hamstrings muscles synchronization during running seems to be crucial for understanding the risk of injury, no research has been developed in this topic in football. CONCLUSIONS. More research using new data recording procedures as Dynamic Scanners, Surface EMG, Inverse Dynamic Analysis are needed. The analysis of more specific movements as running, kicking or jumping is clearly required. Managers, coaches, physical trainers, physiotherapists, sport physicians and researchers should work together in order to improve the injury prevention and rehabilitation programs of football players. Key Words: sports biomechanics, soccer, hamstring injury, risk factors

Origen y distribución de tierras raras (RREs) en el agua y sedimentos de la Laguna de El Hito (Cuenca, España Central).

Determination of Rare Earth Elements (REEs) in the waters and sediments of El Hito Lake and its drainage basin was carried out. Distribution maps for REEs concentrations show increasing values in the lake sediments from the center to the eastern edge reaching 166.5 mg/kg. In the drainage basin, higher values were observed with a maximum of 350.9 mg/kg in the southern part. Concentrations in the water were considerably lower with a maximum value of 1.3 µg/L. Ce, La and Nd were the most abundant elements. When normalized REE concentrations against NASC (North American Shale Composite), a positive anomaly of Eu in the water and of Nd in the sediments (lake and basin) was observed. The (La/Gd)NASC and (La/Yb)NASC ratios determined the predominance of light REE (LREE) over medium (MREE) and heavy REE (HREE). Key-words: Rare Earth Elements, lacustrine sediments and water, Eu anomaly, sulfates RESUMEN: Se llevó a cabo el estudio de Tierras Raras (REEs) del agua y los sedimentos de la Laguna de El Hito así como de su cuenca de recepción. Los mapas de distribución de las concentraciones de REE en los sedimentos de la laguna mostraron valores crecientes desde el centro hacia el margen este alcanzando 166.5 mg/kg. En la cuenca se midieron valores más elevados llegando hasta 350.9 mg/kg en la mitad sur. Los valores en el agua fueron notablemente inferiores, con un máximo de 1.3 µg/L. El elemento más abundante fue el Ce seguido del Nd. Se normalizaron las concentraciones de REEs frente a las del NASC (North American Shale Composite), observándose una anomalía positiva de Eu en el agua, así como de Nd en los sedimentos (laguna y cuenca). Mediante los índices (La/Gd)NASC y (La/Yb)NASC se determinó el predominio de las REEs ligeras (LREEs) frente a las medias (MREE) y pesadas (HREE).