BSC-LT/ACAData huggingface dataset:
[en] The goal of the thesis was the application of formal methods in software engineering in order to increase the reliability of real software systems. In particular, a Web Coordination Service has been analyzed. This service is a component in several working distributed systems in the context of Location Based Services. The coordination service is based on JavaSpaces (an implementation of the Linda coordination model) and provides a set of services to communicate and synchronize heterogeneous applications distributed over the Internet. Given a real-life system, a formal model was been obtained in order to study its properties and prove that the pattern-matching process implemented in the coordination service complies with the semantics rules of Linda. Moreover, the service enables other more complex matching processes. Then, the Linda model has been extended with operations where multiple tuples are involved. These new operations supply some transactional capabilities to the coordination model. Finally, a "semi-formal" analysis of a RETE-based algorithm for the multiple reading operation was performed.

[es] El objetivo de la tesis ha sido la aplicación de métodos formales en ingeniería del software con el fin de incrementar la fiabilidad de sistemas de software reales. En particular, se ha analizado un Servicio de Coordinación Web que forma parte de varias aplicaciones distribuidas, actualmente en explotación, en el contexto de los Servicios Basados en la Localización. El servicio de coordinación está construido sobre JavaSpaces (un implementación del modelo de coordinación Linda) y proporciona servicios para comunicar y sincronizar aplicaciones heterogéneas distribuidas en Internet. Partiendo del sistema real, se ha obtenido un modelo formal con el fin de estudiar sus propiedades y se ha demostrado que el proceso de correspondencia implementado en el servicio respeta la semántica de Linda, además de posibilitar otros emparejamientos más complejos. Después se ha extendido el modelo Linda definiendo nuevas operaciones que involucran a varias tuplas y que lo dotan de capacidades transaccionales. Finalmente se ha realizado un análisis "semi-formal" de un algoritmo basado en RETE para la operación de lectura múltiple.
[en] This research aims to show an analytical approach from the performer perspective on the process of creating the musical meaning, understanding the composer also as an performer. To do this in the thesis has developed a method of analysis called complejo expresivo and forma emoción in which physical gestures (instrumental) and metaphorical gestures, as well as tempo in music, are valued as an essential part of the musical structure itself. This method has been contextualized organological and socioculturally on the rich and imaginative keyboard music of C. P. E. Bach, mainly rondos and fantasies

[es] Esta investigación pretende mostrar un enfoque analítico desde el proceso de creación del significado musical interpretativo, entendiendo al compositor también como intérprete. Para ello en la tesis se ha desarrollado un método de análisis denominado complejo expresivo y forma emoción en el que se valoran los gestos físicos (instrumentales) y metafóricos, así como el tempo en la música, como parte imprescindible de la propia estructura musical. Este método se ha contextualizado organológica y socio-culturalmente en la rica e imaginativa música para teclado de C. P. E. Bach, principalmente los rondós y fantasías.
[en] The aim of the present doctoral thesis has been to evaluate the functional connection between tryptophan and melatonin in their action on the activity-rest and non-specific immune response rhythms, evaluating the latter through the phagocytic function and oxidative metabolism of heterophils from young and old ringdove (Streptopelia risoria).

[es] La presente tesis doctoral ha pretendido evaluar la conexión funcional entre triptófano y melatonina sobre los ritmos de actividad-reposo y respuesta inmune innata, evaluando ésta última a través de la función fagocítica y el metabolismo oxidativo de heterófilos de tórtola collariza (Streptopelia risoria) de animales jóvenes y viejos.
[en] The rockrose (Cistus ladanifer L.) is one to typical species of the Mediterranean ecosystems, which secretes a substance rich in compounds derived from the Metabolism 2°. This substance disables the development and establishment of other plants. Also, the climatic parameters play a fundamental role in the synthesis and activity of these compounds modifying its behavior allelopathy.

[es] La jara (Cistus ladanifer L.) es un a especie típica de los ecosistemas mediterráneos, la cual secreta una sustancia denominada Ládano rica en compuestos derivados del Metabolismo 2o. Este ládano inhibe el desarrollo y establecimiento de otras plantas. Además, los parámetros climáticos juegan un papel fundamental en la síntesis y actividad de estos compuestos modificando su comportamiento alelopático.
[en] Self-knowledge is a complex process which cannot be described as self-awareness. It may look like our daily experience could only be embodied through mere sensations, rather than a complete knowledge of our human nature. If we look for building a concept of self-reference, we have to inquire on the very experience of living and to compare them on a cultural analysis which allows us to understand the process of self-representation. Based on Ernst Cassirer's approach, all phases of this peculiar self-construction concept can be explored. A review upon Cassirer´s anthropological proposal establishes that in order to achieve a concept of the self, a cultural analysis about him is necessary. Three main tasks are proposed to achieve this goal: First, the development of a functional coordination in which the individual creates a relation between his own self-awareness and a general law; second, research based on the nature of the symbol; and third, a cultural inquiry that calls for an interaction between what Cassirer calls "Spirit and Life". Only through the tension between these elements, an appropriate concept of the self is provided; solely in a functional coordination, represented through symbols, and framed within the cultural context, spirit and life interact to develop a self-concept.

[es] El conocimiento de sí mismo es un proceso complejo que no puede ser descrito como simple advertencia. Parece que a través de la simple sensación sólo se puede encarnar nuestra experiencia cotidiana, pero no un conocimiento completo de nuestra naturaleza humana. Si buscamos construir un concepto autorreferencial, tenemos que indagar en la simple experiencia del vivir y contrastarlo con un análisis cultural que permita entender el proceso de auto-representación. A partir de la propuesta de Ernst Cassirer se indagan las fases de este peculiar proceso de construcción conceptual. Una revisión sobre la propuesta antropológica del autor establece que para lograr un auto-concepto es necesaria una reflexión cultural sobre el hombre. Se proponen tres tareas necesarias para el logro de un concepto de sí: la primera, es el desarrollo de una coordinación funcional en el que el individuo crea una relación entre su propia advertencia con una ley general; la segunda, una investigación basada en la naturaleza del símbolo; la tercera, una investigación cultural que necesita una interacción entre, lo que Cassirer llama el espíritu y la vida. Sólo la tensión entre estos elementos proporciona un auto-concepto apropiado; sólo en una coordinación funcional, representada a través de símbolos, y enmarcada dentro del contexto cultural, el espíritu y la vida interactúan para desarrollar un concepto de sí mismo.
[en] The aim of this research is the study of different methodological approaches that can be used to include the effect of external factors in efficiency scores obtained using DEA. For that, we analyze the results from an empirical application in secondary school context, in which those variables, represented by caracteristics of the students, play a main role.

[es] El objetivo de la investigación es el estudio de las distintas propuestas metodológicas que pueden utilizarse para incorporar el efecto de los factores exógenos sobre los resultados de un análisis de eficiencia mediante DEA. Con este fin, se analizan los resultados obtenidos en una aplicación empírica en el ámbito de la enseñanza secundaria, donde estas variables, representadas por las características de los alumnos, juegan un papel fundamental.
[en] Family businesses are numerous, their heterogeneity shows a multiple objectives. Success is achieved when the goals are met; when they differ between companies, the measure of success will be different. Few types have been focused on the beliefs of the family business, crucial to study the success of family companies. This reason leads us to propose a own typology that is useful for the study of success, combining four dimensions: ownership, management, continuity and priority objectives It allows us to classify the companies in pure, professionalized and mixed. Regarding the definition of success, we start with a broad model of success based on ten dimensions: perception of the environment, corporate identity, background of human resources, type of strategy, strategic implementation, governance structure, special intangible capital for family businesses, networking, organizational resilience and risk profile. After making an empirical analysis of more than a hundred companies, we conclude that the general equation of success can particularized by types of companies: pure family firms give more importance to the items related to the family success than the business success, the opposite occurs in professionalized family businesses.

[es] Las empresas familiares son numerosas, su heterogeneidad muestra multiplicidad de objetivos. El éxito se logra cuando se cumplen los objetivos propuestos; cuando éstos difieran entre empresas, la medida de éxito será diferente. Han sido pocas las tipologías centradas en las creencias de la empresa familiar, aspecto determinante para estudiar el éxito de la misma. Esta razón nos lleva a plantear una tipología propia útil para el estudio del éxito, conjugando cuatro dimensiones: propiedad, dirección, continuidad y prioridad de objetivos marcados. El estudio de estas dimensiones permite clasificar a las empresas familiares en puras, profesionalizadas y mixtas. En relación a la definición de éxito, partimos de un modelo amplio de éxito basado en diez dimensiones: percepción del entorno, identidad corporativa, background de recursos humano, tipo de estrategia, implementación estratégica, estructura de gobierno, capital inmaterial propio de las empresas familiares, capital social, resiliencia organizacional y perfil de riesgo. Tras realizar un análisis empírico entre más de un centenar de empresas, llegamos a la conclusión de que la ecuación general de éxito puede particularizarse por tipos de empresas: las empresas familiares puras otorgan mayor peso a los ítems relacionados con el éxito familiar frente al empresarial, ocurriendo lo contrario en las profesionalizadas.
[en] Herrera de la Mancha was started in 1979, as the first máximum security jail in Spain. Its building was one of the main points of the penitenciary reform, which it must improve the penitentiary system inherited from Franquism. For that purpose, they need a tough prison. So that, Herrera de la Mancha was used to the most dangerous prisoners collective for the administation. Firstly, the remaining prisoners of COPEL, which made riots during the spanish transition. Secondly, GRAPO prisoners, which had a confrontation with the security forces. Lastly, ETA prisoners, which where concentrated between 1983 and 1989 in the safest prison of the country. Because of this, we have characterised Herrera as the punishment jail of the spanish penitentiary system during those years.

[es] Herrera de la Mancha fue inaugurada en 1979 como la primera cárcel de máxima seguridad en España. Su construcción era uno de los puntos principales de la reforma penitenciaria, que debía mejorar el sistema penitenciario con respecto al franquismo, pero que, para ello, necesitaba una cárcel dura. Así, Herrera de la Mancha se destinó en cada momento a los colectivos de presos más peligrosos para la administración. Primero, para los restos de la COPEL, que había puesto en jaque a la Dirección General con los motines de la transición. En segundo lugar, para los presos del GRAPO, que habían protagonizado un auténtico enfrentamiento con las fuerzas del orden público. Por último, ETA, cuyos prisioneros estuvieron allí concentrados entre 1983 y 1989, con el fin de tenerlos controlados en la cárcel más segura del país. Por todo esto, hemos caracterizado a Herrera como la cárcel de castigo del sistema penitenciario español en aquellos años.
[en] The purpose of this study was to identify the organizational factors that influence and determine the job satisfaction and commitment of the employees of the Puerto Rico Department of Housing in the Humacao region. In addition, analyze whether employees are committed to the service they provide. To citizens and their level of commitment, how satisfied they are with the work environment and how it relates to efficiency and the organizational climate. To achieve these objectives, various theories regarding organizational climate, commitment and job satisfaction were reviewed, including those or Robbins and Judge, 2013; Chiavenato 2009; Toro et al., 2009 and Newstrom, 2007

[es] El propósito de este estudio era identificar los factores organizacionales que influyen y determinan la satisfacción y el compromiso laboral de los empleados del Departamento de la Vivienda de Puerto Rico de la región de Humacao. Además, analizar si los empleados están comprometidos con el servicio que les brindan a los ciudadanos y su nivel de compromiso, cuan satisfechos están con el ambiente en el trabajo y como se relaciona el mismo con la eficiencia y el clima organizacional. Para alcanzar estos objetivos se revisaron diversas teorías respecto a clima organizacional, compromiso y satisfacción laboral, entre las que figuran las de Robbins y Judge, 2013; Chiavenato 2009; Toro et al., 2009 y Newstrom, 2007.
[en] This thesis focuses on the study of 15 species of dune ecosystems of the Gulf of Valencia, in front of a sweep of temperatures and saline concentrations. The following hypothesis is based on the following work: the germinative response is a determining factor in the distribution of plant species in the dune ecosystems. In the study the results were analyzed before 9 conditions of temperature sweep and 5 saline concentrations. A new rate of germination rate is defined, and an index weighing the germination rate and percentage. In addition, four germinative parameters were studied: base temperature, base osmotic potential, thermal time and hydrotime. A multivariate analysis is performed through Principal Component Analysis and Factor Analysis in order to search for possible groupings between species. As a final result it is shown that the germinative variables related to the constant temperatures and the low salinity are those that reflect the distribution or zonation of the species.

[es] Esta tesis se centra en el estudio de 15 especies de ecosistemas dunares del Golfo de Valencia, frente a un barrido de temperaturas y concentraciones salinas. Para ello se parte de la hipótesis de trabajo siguiente: la respuesta germinativa es un factor determinante en la distribución de las especies vegetales en los ecosistemas dunares. En el estudio se han analizado los resultados ante 9 condiciones de barrido de temperatura y 5 concentraciones salinas. Se define un nuevo índice de velocidad de germinación, y un índice que pondera la velocidad y el porcentaje de germinación. Además se estudiaron cuatro parámetros germinativos: temperatura base, potencial osmótico base, tiempo térmico e hidrotiempo. Se realiza un análisis multivariante mediante un Análisis de Componentes Principales y un Análisis de Factores a fin de buscar posibles agrupamientos entre las especies. Como resultado final se muestra que las variables germinativas relacionadas con las temperaturas constantes y la baja salinidad son las que reflejan la distribución o zonación de las especies.
[en] Starting from the premise that archeology, by definition, does not seek the necessary use or recycling of archaeological remains within the territory that contains them, which could materialize into the creation of identity, wealth and culture enclaves, this work proposes an inductive method of analysis, previous to the territorial recycling of the archaeological site, based on the figure of the �insertion form�, which examines, through several parameters, the relationship between the emerged archaeological strata and the contemporary container territory. Through the study of 40 archaeological sites located on the Spanish Costa del Sol, a heavily anthropized area, a taxonomy is developed based on the evaluation of this insertion form, inferring the suitability or potential recycling of the archaeological remains into the territorial or macro scale, differently to the micro or plot use, advocated by archeology through the mere musealization of the remains. Finally, after the analysis and assessment of the insertion form of the archaeological site, a Chart of Opportunity or Exploitation of the archaeological remains can be prepared, where the different territorial use proposals could be shown, with the ultimate goal of being able to use these remains, often completely useless, on the creation of full-of-character and identity spaces, which would contribute to the evolution of the individual and society, in every possible way.

[es] Partiendo de la premisa de que la disciplina arqueológica, por su propia definición, no procura el necesario aprovechamiento o reciclaje de los restos arqueológicos dentro del territorio que los contiene, hecho que podría materializarse en la creación de enclaves generadores de identidad, riqueza y cultura, se propone una metodología inductiva de análisis previa al reciclaje territorial de la ruina, basada en la figura de la forma de inserción, que estudia, a través de varios parámetros, las relaciones entre el estrato arqueológico aflorado y el territorio contemporáneo contenedor. A través del estudio de 40 yacimientos arqueológicos localizados en la Costa del Sol, área fuertemente antropizada, se elabora una taxonomía fundamentada en la evaluación de esta forma de inserción, infiriéndose la idoneidad o potencialidad de reciclaje de la ruina a una escala macro o territorial, de forma diferente al aprovechamiento micro o de parcela propugnado por la Arqueología, a través de la mera musealización o puesta en valor de los restos. Finalmente, tras el análisis y evaluación de la forma de inserción del yacimiento arqueológico, se elaboraría la Carta de Oportunidad o Aprovechamiento del yacimiento, donde se tratarían las diferentes actuaciones territoriales que podrían efectuarse, con el objetivo final de poder utilizar estos restos, a menudo completamente inútiles, en la creación de espacios de identidad, que contribuyan a la evolución de la sociedad y del individuo, en todos los sentidos posibles.
[en] The present doctoral thesis has like purpose of presenting one of the entities archivistical more important and, simultaneously less known about Extremadura, the File Diocesano de Mérida-Badajoz, though conventual documentation. Our research, therefore, two main aims: determining the theoretical foundations on which origin and develop the file, and analyze the conventual documentation conserve in the file, from the slope archivistica as historical.

[es] La presente tesis doctoral tiene como finalidad dar a conocer una de las entidades archivísticas más importantes y, a la vez menos conocida de Extremadura, el Archivo Diocesano de Mérida-Badajoz, a través del análisis de la documentación conventual en él custodiada. Dos son, pues, los objetivos propuestos: confeccionar la base histórica sobre la que se originó y desarrolló la entidad, y analizar la documentación conventual conservada en el Archivo, tanto desde la vertiente archivística como histórica.
[en] This thesis seeks to undergo a diagnosis of the present state of environmental education in the Spanish Autonomous Community of Extremadura. In doing so, this study will analyse the developmental scope of those environmental education strategies which favour the growth of more environmentally-friendly attitudes and spaces. The critica apparatus used in this research is that being currently considered by researchers in several countries as we as in many Spanish autonomous communities. This study sets out to examine present-day and recent research by means of contrasting former theories with the critical model used here. Facing the reality of sustainable development, but after identifying the different informants of the questionnaires used and the most significant achievements in Extremadura environmental education, by means of its differing mediators and facilities, and the more real potential, the keys to the peremptory Extremadura Strategy for Environmental Education are accordingly revealed.

[es] Con esta investigación se realiza un diagnóstico de la realidad de la educación ambiental en la comunidad de Extremadura, con la finalidad de analizar las perspectivas de desarrollo de estrategias de educación ambiental que permitan la evolución hacia situaciones más favorables hacia el medio ambiente, de acuerdo a las directrices internacionales y la línea de las estrategias puestas en marcha en distintos países, en España y numerosas comunidades autónomas del país. Se analiza la situación actual e historia reciente, contrastando esta realidad con el modelo de referencia adoptado, para así encontrar las claves de la necesaria Estrategia Extremeña de Educación Ambiental, una vez detectados los diferentes agentes o actores y las realizaciones más significativas en educación ambiental en la región, a través de los distintos mediadores y equipamientos para la misma, así como las potencialidades u oportunidades más relevantes, encarando la realidad en la línea del desarrollo sostenible.