Repensando la confianza como factor crítico en la gestión organizativa

[ES] La confianza en el mundo de los negocios es un factor esencial que viene siendo estudiado por la literatura del Management desde hace décadas. Partiendo de la propuesta seminal de Mayer et al. (1995), acerca de qué es la confianza y cómo se desarrolla en el seno de las organizaciones, proponemos trazar una crítica constructiva al modelo descrito a partir de las aportaciones de Spaemann, autor de dilatada trayectoria en el marco de la denominada “Filosofía Moral de la Europa Continental”.

Recognition of Membrane-Bound Fusion-Peptide/MPER Complexes by the HIV-1 Neutralizing 2F5 Antibody : Implications for Anti-2F5 Immunogenicity

13 p.

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.

A quantitative witness for Greenberger-Horne-Zeilinger entanglement

Along with the vast progress in experimental quantum technologies there is an increasing demand for the quantification of entanglement between three or more quantum systems. Theory still does not provide adequate tools for this purpose. The objective is, besides the quest for exact results, to develop operational methods that allow for efficient entanglement quantification. Here we put forward an analytical approach that serves both these goals. We provide a simple procedure to quantify Greenberger-Horne-Zeilinger-type multipartite entanglement in arbitrary three-qubit states. For two qubits this method is equivalent to Wootters' seminal result for the concurrence. It establishes a close link between entanglement quantification and entanglement detection by witnesses, and can be generalised both to higher dimensions and to more than three parties.

Estudio de la actividad aminopeptidásica en espermatozoides astenozoospérmicos : comparación clínica

249 p.: il., col.

A Unifying model of strategic network formation

Documento de trabajo

Systematic Studies on 3d- and 4f-Metal Containing Polyoxometalates Suitable for Organic Derivatization

232 p.

THE AINU LANGUAGES: TRADITIONAL RECONSTRUCTION, EURASIAN AREAL LINGUISTICS, AND DIACHRONIC (HOLISTIC) TYPOLOGY

El objetivo principal de esta tesis doctoral es, en primer lugar, ofrecer una reconstrucción alternativa del protoainu para, en segundo lugar, aplicar conceptos de tipología diacrónicaholística con el fin de discernir algún patrón evolutivo que ayude a responder a la pregunta:¿por qué la lengua ainu es como es en su contexto geolingüístico (lengua AOV con prefijos),cuando en la región euroasiática lo normal es encontrar el perfil 'lengua AOV con sufijos'? En suma, se trata de explorar las posibilidades que ofrece la tipología diacrónica holística,combinada con métodos más tradicionales, en la investigación de las etapas prehistóricas delenguas aisladas, es decir, sin parientes conocidos, como el ainu, el vasco, el zuñi o elburushaski. Este trabajo se divide en tres grandes bloques con un total de ocho capítulos, unapéndice con las nuevas reconstrucciones protoainúes y la bibliografía.El primer bloque se abre con el capítulo 1, donde se hace una breve presentación delas lenguas ainus y su filología. El capítulo 2 está dedicado a la reconstrucción de la fonologíaprotoainu. La reconstrucción pionera pertenece a A. Vovin (1992), que de hecho sirve comobase sobre la que ampliar, corregir o modificar nuevos elementos. En el capítulo 3 se describela morfología histórica de las lenguas ainus. En el capítulo 4 se investiga esta opción dentrode un marco más amplio que tiene como objetivo analizar los patrones elementales deformación de palabras. El capítulo 5, con el que se inicia el segundo bloque, da cabida a lapresentación de una hipótesis tipológica diacrónica, a cargo de P. Donegan y D. Stampe, conla que especialistas en lenguas munda y mon-khmer han sido capaces de alcanzar unreconstrucción del protoaustroasiático según la cual el tipo aglutinante de las lenguas mundasería secundario, frente al original monosilábico de las lenguas mon-khmer. En el capítulo 6se retoma la perspectiva tradicional de la lingüística geográfica, pero no se olvidan algunas delas consideraciones tipológicas apuntadas en el capítulo anterior (el hecho de que la hipótesisde Donegan y Stampe no funcione con el ainu no significa que la tipología diacrónica nopueda ser todavía de utilidad). En el capítulo 7 se presentan algunas incongruencias queresultan tras combinar las supuestas evidencias arqueológicas con el escenario lingüísticodescrito en capítulos anteriores. Las conclusiones generales se presentan en el capítulo 8. Elapéndice es una tabla comparativa con las dos reconstrucciones disponibles a fecha de hoypara la lengua protoainu, es decir, las propuestas por A. Vovin en su estudio seminal de 1992y en el capítulo 3 de la presente tesis. Dicha tabla incluye 686 reconstrucciones (puedehacerse una sencilla referencia cruzada con Vovin, puesto que ambas están ordenadasalfabéticamente).

The impact of liberalizing cost-saharing on basic models of network formation

This paper studies the impact of "liberalizing " the cost-sharing of links on some basic models of network formation. This is done in a setting where both doubly supported and singly supported links are possible, and which includes the two seminal models of network formation by Jackson and Wolinsky and Bala and Goyal as extreme cases. In this setting, the notion of pairwise stability is extended and it is proved that liberalizing cost-sharing for doubly supported links widens the range of values of the parameters where the efficient networks formed by such type of links are pairwise stable, while the range of values of the parameters where the efficient networks formed by singly supported links are pairwise stable shrinks, but the region where the latter are e¢ cient and pairwise stable remains the same.

Progressive Decrease in the Potential Usefulness of Meningococcal Serogroup B Vaccine (4CMenB, Bexsero (R)) in Gipuzkoa, Northern Spain

The effectiveness of a vaccine is determined not only by the immunogenicity of its components, but especially by how widely it covers the disease-causing strains circulating in a given region. Because vaccine coverage varies over time, this study aimed to detect possible changes that could affect vaccine protection during a specific period in a southern European region. The 4CMenB vaccine is licensed for use in Europe, Canada, and Australia and is mainly directed against Neisseria meningitidis serogroup B. This vaccine contains four main immunogenic components: three recombinant proteins, FHbp, Nhba and NadA, and an outer membrane vesicle [PorA P1.4]. The allelic distribution of FHbp, Nhba, NadA, and PorA antigens in 82 invasive isolates (B and non-B serogroups) isolated from January 2008 to December 2013 were analyzed. 4CMenB was likely protective against 61.8% and 50% of serogroup B and non-B meningococci, respectively, in the entire period, but between 2012 and 2013, the predicted protection fell below 45% (42.1% for serogroup B isolates). The observed decreasing trend in the predicted protection during the 6 years of the study (X-2 for trend = 4.68, p=0.03) coincided with a progressive decrease of several clonal complexes (e. g., cc11, cc32 and cc41/44), which had one or more antigens against which the vaccine would offer protection.

Modelling Lipid Competition Dynamics in Heterogeneous Protocell Populations

Recent experimental work in the field of synthetic protocell biology has shown that prebiotic vesicles are able to 'steal' lipids from each other. This phenomenon is driven purely by asymmetries in the physical state or composition of the vesicle membranes, and, when lipid resource is limited, translates directly into competition amongst the vesicles. Such a scenario is interesting from an origins of life perspective because a rudimentary form of cell-level selection emerges. To sharpen intuition about possible mechanisms underlying this behaviour, experimental work must be complemented with theoretical modelling. The aim of this paper is to provide a coarse-grain mathematical model of protocell lipid competition. Our model is capable of reproducing, often quantitatively, results from core experimental papers that reported distinct types vesicle competition. Additionally, we make some predictions untested in the lab, and develop a general numerical method for quickly solving the equilibrium point of a model vesicle population.