Los dominios social y personal del autoconcepto

[Es] El estudio del autoconcepto continúa siendo uno de los grandes retos de la investigación psicológica. Se trata de un campo de investigación muy amplio en el que tanto la dimensión física como la académica han sido objeto de numerosas investigaciones; por el contrario son pocas las investigaciones llevadas a cabo tanto sobre el autoconcepto social como sobre el autoconcepto personal. En este trabajo se informa de dos estudios llevados a cabo con el fin de verificar si los análisis factoriales confirman una estructura multidimensional de tres componentes en el caso del social (la responsabilidad social, la aceptación social y la competencia social) y de cuatro componentes en la del personal: la autorrealización, la honradez, la autonomía, y el ajuste emocional. Los resultados obtenidos a partir de la aplicación de dos cuestionarios elaborados específicamente para medir ambos dominios (APE y AUSO) confirman en buena medida esta estructura; los factores identificados explican un 52,56% y un 41,43%, respectivamente, de la varianza. Por otro lado, los índices de consistencia interna son aceptables en ambos casos: alpha 0.85 en el APE y alpha 0.76 en el AUSO. Se proponen algunos cambios a incorporar en la versión definitiva de ambos cuestionarios.

Diez años de investigación sobre teatro traducido en España: el proyecto TRACE y los archivos de censura

[EN] This contribution offers a brief overview of research undertaken for the last few years under the TRACE (translation and censorship, or censored translations) project with respect to theatre. The AGA (General Administration Archive in Alcala de Henares, Madrid), a unique source for information for translation scholars, has become the focus of TRACE-theatre investigations on Francoist Spain in the last few years. In Spain, these censorship archives have proved to be an essential source of information, and a rich reservoir of data that, when explored in depth, help draw a history of Spanish theatre in translation. Contrary to what one may think at first, the purpose of using censorship archives in TRACE is not only to check what got censored (banned, crossed out or modified) but rather to trace back all written evidence left by plays that underwent the bureaucratic censoring process which was applied to all cultural manifestations, national or foreign, theatrical as well as non-dramatic. And it is precisely when tracing back censorship records that one finds a way to uncover a history of Spanish theatre in translation that is yet to be written but can now be outlined.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Entanglement negativity in the harmonic chain out of equilibrium

We study the entanglement in a chain of harmonic oscillators driven out of equilibrium by preparing the two sides of the system at different temperatures, and subsequently joining them together. The steady state is constructed explicitly and the logarithmic negativity is calculated between two adjacent segments of the chain. We find that, for low temperatures, the steady-state entanglement is a sum of contributions pertaining to left-and right-moving excitations emitted from the two reservoirs. In turn, the steady-state entanglement is a simple average of the Gibbs-state values and thus its scaling can be obtained from conformal field theory. A similar averaging behaviour is observed during the entire time evolution. As a particular case, we also discuss a local quench where both sides of the chain are initialized in their respective ground states.

We can work it out: an enactive look at cooperation

The past years have seen an increasing debate on cooperation and its unique human character. Philosophers and psychologists have proposed that cooperative activities are characterized by shared goals to which participants are committed through the ability to understand each other’s intentions. Despite its popularity, some serious issues arise with this approach to cooperation. First, one may challenge the assumption that high-level mental processes are necessary for engaging in acting cooperatively. If they are, then how do agents that do not possess such ability (preverbal children, or children with autism who are often claimed to be mind-blind) engage in cooperative exchanges, as the evidence suggests? Secondly, to define cooperation as the result of two de-contextualized minds reading each other’s intentions may fail to fully acknowledge the complexity of situated, interactional dynamics and the interplay of variables such as the participants’ relational and personal history and experience. In this paper we challenge such accounts of cooperation, calling for an embodied approach that sees cooperation not only as an individual attitude toward the other, but also as a property of interaction processes. Taking an enactive perspective, we argue that cooperation is an intrinsic part of any interaction, and that there can be cooperative interaction before complex communicative abilities are achieved. The issue then is not whether one is able or not to read the other’s intentions, but what it takes to participate in joint action. From this basic account, it should be possible to build up more complex forms of cooperation as needed. Addressing the study of cooperation in these terms may enhance our understanding of human social development, and foster our knowledge of different ways of engaging with others, as in the case of autism.

Caracterización de láser convencional de fibra en operaciones de texturizado.

[ES]El objetivo de este TFG es comprobar si un láser de fibra convencional diseñado para trabajar en régimen continuo es capaz de llevar a cabo operaciones de texturizado y hasta qué punto. Para ello se realizarán una serie de ensayos en función de varios parámetros de entrada, con los que se obligará al láser a mantener un régimen pulsado, necesario para operaciones de texturizado láser.

Módulo de generación de trayectorias para el vuelo autónomo de un cuadricóptero.

[ES]La finalidad de este TFG es dotar a un Parrot AR Drone de un módulo que, en conjunto con otros desarrollos anteriores, sea capaz de realizar trayectorias evitando obstáculos. Después de realizar las simulaciones necesarias, utilizando un software de comunicación con el cuadricóptero, se pretenden obtener pruebas físicas de los avances en la programación.

Errugbiko line-out jaurtiketaren abiaduren analisia eta jaurtitzaileen potentzia eta zehaztasunaren arteko erlazioa.

Hurrengo ikerketan errugbiko line out baten jaurtiketaren abiaduraren analisia eta jaukitzaileen baloia abiadura altuan jaurtitzeko ahalmena, zehaztasunarekin ikertuko da. Hamazortzi eta hogeita bi urte tarteko errugbi jokalariak egin zituzten frogak, partaideak froga bakarra egin zuten denboraldiaren hasieran, aurre-denboraldiaren amaieran. Jokalarien arteko konparaketa egin zen. Ikertuko diren aldagarriak, eta jaurtitzaileen ahalmena neurtzen dutenak hurrengoak dira: abiadura eta zehaztasuna. bi abiadura ezberdin kalkulatu egin dira, bata helburu zehatz batekin eta bestea helburu zehatzik gabe, horrela potentzia guztia ikusi ahal izateko. Bi abiadurak konparatuz beste aldagarri bat atera da, %galera izenekoa, aldagarri onek bi abiaduraren arteko ezberdintasuna adierazten du.

La ética en las entidades financieras

Como ha sucedido con las crisis anteriores, el curso del tiempo ha ido clarificando las causas de la reciente crisis financiera. Entre éstas, sin duda, merece una especial atención las de naturaleza ética. El término “ética” deriva del griego “ethos” (ήθος) que significa “costumbre” y, por ello, se ha definido con frecuencia a la ética como la doctrina de las costumbres que van encaminadas a la consecución de un fin justo (Aristóteles). En este sentido, en el presente trabajo pasamos revista a una serie de prácticas de organizaciones financieras y sus directivos y administradores, que son cuestionadas desde un punto de vista ético. Así mismo, es preciso señalar la dificultad a la hora de desarrollar este trabajo ya que resulta imposible comprobar todas las actuaciones cuestionadas de primera mano. Por ello, para desarrollar el trabajo hemos tomado como referencia importante las directivas que manifiesta MiFID y la hemos aplicado a cuatro hechos muy concretos en los que el uso de la ética y la buena práctica queda en entredicho. Mantenemos como ideas integradoras que si la crisis tiene entre sus causas comportamientos inmorales, éstos deben ser controlados y erradicados, y que, además, la perspectiva ética exige ser el elemento vertebrador, tanto en la solución de los problemas actuales, como en la toma de decisiones financieras a futuro.

Igualdad de sacrificio: una aplicación para el IRPF en Bizkaia

En el presente trabajo pretendemos analizar la reforma fiscal llevada a cabo en el territorio histórico de Bizkaia en el ejercicio 2.006, y que entró en vigor el 1 de enero de 2.007. En concreto, se pretende analizar el efecto que tuvo sobre los contribuyentes, desglosándolo por niveles de renta. Con este objeto, planteamos la hipótesis de igualdad de sacrificio, y contrastamos su cumplimiento en los años 2.006 y 2.007, esto es, el último año previo a la entrada en vigor de la reforma y el primero en el que se aplico la nueva normativa. Los resultados muestran que, si bien en el año 2.006 no se cumplía el principio de igualdad de sacrificio, en el año 2.007 hay evidencia a favor de que sí se estuviese cumpliendo. Finalmente, se proponen formas funcionales impositivas alternativas a la empleada en la hipótesis de igualdad de sacrificio, observándose unos resultados similares a los obtenidos mediante la hipótesis de igualdad de sacrificio.

Increased antiparkinson efficacy of the combined administration of VEGF- and GDNF-loaded nanospheres in a partial lesion model of Parkinson's disease

Current research efforts are focused on the application of growth factors, such as glial cell line-derived neurotrophic factor (GDNF) and vascular endothelial growth factor (VEGF), as neuroregenerative approaches that will prevent the neurodegenerative process in Parkinson's disease. Continuing a previous work published by our research group, and with the aim to overcome different limitations related to growth factor administration, VEGF and GDNF were encapsulated in poly(lactic-co-glycolic acid) nanospheres (NS). This strategy facilitates the combined administration of the VEGF and GDNF into the brain of 6-hydroxydopamine (6-OHDA) partially lesioned rats, resulting in a continuous and simultaneous drug release. The NS particle size was about 200 nm and the simultaneous addition of VEGF NS and GDNF NS resulted in significant protection of the PC-12 cell line against 6-OHDA in vitro. Once the poly(lactic-co-glycolic acid) NS were implanted into the striatum of 6-OHDA partially lesioned rats, the amphetamine rotation behavior test was carried out over 10 weeks, in order to check for in vivo efficacy. The results showed that VEGF NS and GDNF NS significantly decreased the number of amphetamine-induced rotations at the end of the study. In addition, tyrosine hydroxylase immunohistochemical analysis in the striatum and the external substantia nigra confirmed a significant enhancement of neurons in the VEGF NS and GDNF NS treatment group. The synergistic effect of VEGF NS and GDNF NS allows for a reduction of the dose by half, and may be a valuable neurogenerative/neuroreparative approach for treating Parkinson's disease.

Energy retrofits in social housing. Analysis of its thermal behaviour.

468 p.