Host-guest chemistry of solid coordination frameworks (SCFs) based on Copper(II)-Pyridine Ligands

283 p.

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.

Competitive Pressure and Job Interview Lying: A Game Theoretical Analysis

We consider a job contest in which candidates go through interviews (cheap talk) and are subject to reference checks. We show how competitive pressure - increasing the ratio of "good" to "bad" type candi- dates - can lead to a vast increase in lying and in some cases make bad hires more likely. As the number of candidates increases, it becomes harder to in- duce truth-telling. The interview stage becomes redundant if the candidates, a priori, know each others' type or the result of their own reference check. Finally, we show that the employer can bene t from committing not to reject all the applicants.

La actividad siderometalúrgica guipuzcoana durante el siglo XVII: transformaciones y productividad

[ES]Este artículo pretende analizar la situación de la actividad siderometalúrgica guipuzcoana durante el siglo XVII y testar la verdadera repercusión de la crisis del siglo XVII en dicho sector. Para ello se ha utilizado un amplio elenco documental procedente tanto de archivos locales como regionales y nacionales, que responde a una amplia variedad tipológica.

Depuración de aguas residuales urbanas y concentración de metales en fangos digeridos

[ES] La progresiva implantación de plantas de tratamiento de aguas residuales urbanas ha ido estableciendo una experiencia en el conocimiento de la eficacia de tratamiento de los diversos parámetros en plazos largos de funcionamiento. El análisis y comparación de resultados y tecnologías debe pennitir conocer las características de fiabilidad en la operación y el comportamiento frente a los diversos aspectos de la nonnativa legal. Además, el análisis en diferentes épocas del año puede producir distintos resultados o conclusiones. En este trabajo se ha tomado para el análisis una planta de tratamiento convencional, estudiando inicialmente los porcentajes medios de eliminación de diferentes parámetros, en relación asimismo con las necesidades que debe satisfacer. En condiciones de alta carga orgánica, la concentración de nitrógeno y algún tóxico especial parecen plantear las mayores dificultades. Se ha deseado focalizar la atención en el proceso de concentración de metales que se. produce en las plantas con tratamiento anaerobío de fangos. Por este motivo se Uevó a cabo un estudio de la evolución de metales en la depuración y la concentración de fangos digeridos. El fenómeno resulta de interés para analizar la calidad de las aguas que se obtienen, aunque debe considerarse también la concentración de metales en el destino final que se dé a los fangos tratados.

Parámetros de contaminación y normativa en colectores urbanos

[ES] La contaminación por aguas residuales urbanas es uno de los problemas de mayor importancia para mantener un nivel de calidad aceptable del agua, debido al número elevado de fuentes, a la participación de la contaminación difusa y a la elevada concentración de materia orgánica. La normativa legal plantea unos límites eflDidos, pero no se han realizado campañas de seguimiento de forma suficiente para su comprobación, particularmente en estiaje. El problema se complica por la diversidad apreciable que se observa y la necesidad de dar significación estadística a las conclusiones. En este trabajo, junto a un análisis del seguimiento de una docena de parámetros en diversos colectores de aguas residuales de una zona urbana, se pretende eparar/advertir la dificultad que presenta cada uno de eUos para el cumplimiento legal en relación con las caraterísticas de las fuentes de procedencia y la situación estacional durante el análisis. Además, se pretende buscar de una forma incial las posibles relaciones que se presentan entre las variaciones simultáneas de dichos parámetros. Algunos de eUos muestran una relación clara por lo que podría establecerse alguna dependencia funcional, mientras que en otros casos el problema resulta excesivamente complejo por la necesidad de disponer de más información para Uegar a establecer alguna relación.

Estudio del comportamiento térmico del instrumento TriboLAB durante su estancia en la Estación Espacial Internacional desde la perspectiva del análisis de datos funcionales

[ES]El objetivo principal de esta tesis de máster es el estudio del comportamiento térmico del instrumento TriboLAB durante su estancia en la Estación Espacial Internacional, junto con la comparación de dicho comportamiento con el pronosticado por los modelos térmicos matemáticos empleados en el diseño de su sistema de control térmico. El trabajo realizado ha permitido profundizar de forma importante en el conocimiento del mencionado comportamiento. Ello permitirá poner a disposición de otros experimentadores interesados en ubicar sus instrumentos en los balcones exteriores de la Estación Espacial Internacional, información real acerca del comportamiento térmico de un equipo de las características del TriboLAB en dichas condiciones. Información de gran interés para ser empleada en el diseño del control térmico de sus instrumentos, especialmente ahora que la vida útil de la Estación Espacial Internacional ha sido prorrogada hasta 2020. El control térmico de los equipos espaciales es un aspecto clave para asegurar su supervivencia y correcto funcionamiento bajo las extremas condiciones existentes en el espacio. Su misión es mantener los distintos componentes dentro de su rango de temperaturas admisibles, puesto que en caso contrario no podrían funcionar o incluso ni siquiera sobrevivir más allá de esas temperaturas. Adicionalmente ha sido posible comprobar la aplicabilidad de distintas técnicas de análisis de datos funcionales en lo que respecta al estudio del tipo de datos aquí contemplado. Así mismo, se han comparado los resultados de la campaña de ensayos térmicos con los modelos térmicos matemáticos que han guiado el diseño del control térmico, y que son una pieza fundamental en el diseño del control térmico de cualquier instrumento espacial. Ello ha permitido verificar tanto la validez del sistema de control térmico diseñado para el TriboLAB como con la adecuada similitud existente entre los resultados de los modelos térmicos matemáticos y las temperaturas registradas en el equipo. Todo ello, ha sido realizado desde la perspectiva del análisis de datos funcionales.

Democratic Values Transmission

This study addresses the issue of intergenerational transmission of democratic values embedded in social choice rules. We focus on a few rules which have been the focus of social choice theory: plurality, plurality with a runoff, majoritarian compromise, social compromise and Borda rule. We confront subjects with preferences profiles of a hypothetical electorate over a set of four alternatives. Different rules produce different outcomes and subjects decide which alternative should be chosen for the society whose preference profile is shown. We elicit each subject's preferences over rules and his/her parents' and check whether there is any relationship; 186 students and their parents attended the sessions at Istanbul Bilgi University. Overall, we find support for the hypothesis of parental transmission of democratic values and gender differences in the transmitted rule.

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.

Candida albicans Increases Tumor Cell Adhesion to Endothelial Cells In Vitro: Intraspecific Differences and Importance of the Mannose Receptor

The dimorphic fungus Candida albicans is able to trigger a cytokine-mediated pro-inflammatory response that increases tumor cell adhesion to hepatic endothelium and metastasis. To check the intraspecific differences in this effect, we used an in vitro murine model of hepatic response against C. albicans, which made clear that tumor cells adhered more to endothelium incubated with blastoconidia, both live and killed, than germ tubes. This finding was related to the higher carbohydrate/protein ratio found in blastoconidia. In fact, destruction of mannose ligand residues on the cell surface by metaperiodate treatment significantly reduced tumor cell adhesion induced. Moreover, we also noticed that the effect of clinical strains was greater than that of the reference one. This finding could not be explained by the carbohydrate/protein data, but to explain these differences between strains, we analyzed the expression level of ten genes (ADH1, APE3, IDH2, ENO1, FBA1, ILV5, PDI1, PGK1, QCR2 and TUF1) that code for the proteins identified previously in a mannoprotein-enriched pro-metastatic fraction of C. albicans. The results corroborated that their expression was higher in clinical strains than the reference one. To confirm the importance of the mannoprotein fraction, we also demonstrate that blocking the mannose receptor decreases the effect of C. albicans and its mannoproteins, inhibiting IL-18 synthesis and tumor cell adhesion increase by around 60%. These findings could be the first step towards a new treatment for solid organ cancers based on the role of the mannose receptor in C. albicans-induced tumor progression and metastasis.

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.

Monitorización avanzada en el posoperatorio de las cardiopatías congénitas : motorización hemodinámica avanzada en el posoperatorio de cardiopatías congénitas mediante termodilución transpulmonar y espectroscopia cercana al infrarrojo

196 p. : graf.

Streamflow response of a small forested catchment on different timescales

The hydrological response of a catchment to rainfall on different timescales is result of a complex system involving a range of physical processes which may operate simultaneously and have different spatial and temporal influences. This paper presents the analysis of streamflow response of a small humid-temperate catchment (Aixola, 4.8 km(2)) in the Basque Country on different timescales and discusses the role of the controlling factors. Firstly, daily time series analysis was used to establish a hypothesis on the general functioning of the catchment through the relationship between precipitation and discharge on an annual and multiannual scale (2003-2008). Second, rainfall-runoff relationships and relationships among several hydrological variables, including catchment antecedent conditions, were explored at the event scale (222 events) to check and improve the hypothesis. Finally, the evolution of electrical conductivity (EC) during some of the monitored storm events (28 events) was examined to identify the time origin of waters. Quick response of the catchment to almost all the rainfall events as well as a considerable regulation capacity was deduced from the correlation and spectral analyses. These results agree with runoff event scale data analysis; however, the event analysis revealed the non-linearity of the system, as antecedent conditions play a significant role in this catchment. Further, analysis at the event scale made possible to clarify factors controlling (precipitation, precipitation intensity and initial discharge) the different aspects of the runoff response (runoff coefficient and discharge increase) for this catchment. Finally, the evolution of EC of the waters enabled the time origin (event or pre-event waters) of the quickflow to be established; specifically, the conductivity showed that pre-event waters usually represent a high percentage of the total discharge during runoff peaks. The importance of soil waters in the catchment is being studied more deeply.

Intermediate Macroeconomics : Self-evaluation exercises

This resource can be particularly helpful to students taking the Intermediate Macroeconomics course, which corresponds to the second year of the current Degree in Economics at the University of the Basque Country UPV/ EHU. The precise content of this resource is a collection of eight chapters of multiple-choice questions. For each question the user is asked to guess which the correct answer is. Finally, the tool will return all the correct answers for the whole test, thereby allowing the user to check the validity of his/her answers. A remarkable feature of the tool is that it has been edited in three versions, for the three languages (Spanish, Basque and English) in which the subject is taught at the UPV/EHU.

Weighting social preferences in participatory multi-criteria evaluations: a case study on sustainable natural resource management

28 p.