Interactive Epistemology and Reasoning: On the Foundations of Game Theory

Game theory describes and analyzes strategic interaction. It is usually distinguished between static games, which are strategic situations in which the players choose only once as well as simultaneously, and dynamic games, which are strategic situations involving sequential choices. In addition, dynamic games can be further classified according to perfect and imperfect information. Indeed, a dynamic game is said to exhibit perfect information, whenever at any point of the game every player has full informational access to all choices that have been conducted so far. However, in the case of imperfect information some players are not fully informed about some choices. Game-theoretic analysis proceeds in two steps. Firstly, games are modelled by so-called form structures which extract and formalize the significant parts of the underlying strategic interaction. The basic and most commonly used models of games are the normal form, which rather sparsely describes a game merely in terms of the players' strategy sets and utilities, and the extensive form, which models a game in a more detailed way as a tree. In fact, it is standard to formalize static games with the normal form and dynamic games with the extensive form. Secondly, solution concepts are developed to solve models of games in the sense of identifying the choices that should be taken by rational players. Indeed, the ultimate objective of the classical approach to game theory, which is of normative character, is the development of a solution concept that is capable of identifying a unique choice for every player in an arbitrary game. However, given the large variety of games, it is not at all certain whether it is possible to device a solution concept with such universal capability. Alternatively, interactive epistemology provides an epistemic approach to game theory of descriptive character. This rather recent discipline analyzes the relation between knowledge, belief and choice of game-playing agents in an epistemic framework. The description of the players' choices in a given game relative to various epistemic assumptions constitutes the fundamental problem addressed by an epistemic approach to game theory. In a general sense, the objective of interactive epistemology consists in characterizing existing game-theoretic solution concepts in terms of epistemic assumptions as well as in proposing novel solution concepts by studying the game-theoretic implications of refined or new epistemic hypotheses. Intuitively, an epistemic model of a game can be interpreted as representing the reasoning of the players. Indeed, before making a decision in a game, the players reason about the game and their respective opponents, given their knowledge and beliefs. Precisely these epistemic mental states on which players base their decisions are explicitly expressible in an epistemic framework. In this PhD thesis, we consider an epistemic approach to game theory from a foundational point of view. In Chapter 1, basic game-theoretic notions as well as Aumann's epistemic framework for games are expounded and illustrated. Also, Aumann's sufficient conditions for backward induction are presented and his conceptual views discussed. In Chapter 2, Aumann's interactive epistemology is conceptually analyzed. In Chapter 3, which is based on joint work with Conrad Heilmann, a three-stage account for dynamic games is introduced and a type-based epistemic model is extended with a notion of agent connectedness. Then, sufficient conditions for backward induction are derived. In Chapter 4, which is based on joint work with Jérémie Cabessa, a topological approach to interactive epistemology is initiated. In particular, the epistemic-topological operator limit knowledge is defined and some implications for games considered. In Chapter 5, which is based on joint work with Jérémie Cabessa and Andrés Perea, Aumann's impossibility theorem on agreeing to disagree is revisited and weakened in the sense that possible contexts are provided in which agents can indeed agree to disagree.

Aspects of Iwasawa theory over function fields

"Vegeu el resum a l'inici del document del fitxer adjunt."

Generic Nekhoroshev theory without small divisors

In this article, we present a new approach of Nekhoroshev theory for a generic unperturbed Hamiltonian which completely avoids small divisors problems. The proof is an extension of a method introduced by P. Lochak which combines averaging along periodic orbits with simultaneous Diophantine approximation and uses geometric arguments designed by the second author to handle generic integrable Hamiltonians. This method allows to deal with generic non-analytic Hamiltonians and to obtain new results of generic stability around linearly stable tori.

Immunogenicity of multiple antigen peptides containing Plasmodium vivax CS epitopes in BALB/c mice

Multiple antigen peptide systems (MAPs) allow the incorporation of various epitopes in to a single synthetic peptide immunogen. We have characterized the immune response of BALB/c mice to a series of MAPs assembled with different B and T cell epitopes derived from the Plasmodium vivax circumsporozoite (CS) protein. A B-cell epitope from the central repeat domain and two T-cell epitopes from the amino and carboxyl flanking regions were used to assembled eight different MAPs. An additional universal T cell epitope (ptt-30) from tetanus toxin protein was included. Immunogenicity in terms of antibody responses and in vitro T lymphocyte proliferation was evaluated. MAPs containing B and T cell epitopes induced high titers of anti-peptides antibodies, which recognized the native protein on sporozoites as determined by IFAT. The antibody specificity was also determined by a competitive inhibition assay with different MAPs. A MAP containing the B cell epitope (p11) and the universal epitope ptt-30 together with another composed of p11 and the promiscuous T cell epitope (p25) proved to be the most immunogenic. The strong antibody response and specificity for the cognate protein indicates that further studies designed to assess the potential of these proteins as human malaria vaccine candidates are warranted.

Conflict prevention and decentralized governance: some remarks about the state of the art in theory and practice

Is there a link between decentralized governance and conflict prevention? This article tries to answer the question by presenting the state of the art of the intersection of both concepts. Provided that social conflict is inevitable and given the appearance of new threats and types of violence, as well as new demands for security based on people (human security), our societies should focus on promoting peaceful changes. Through an extensive analysis of the existing literature and the study of several cases, this paper suggests that decentralized governance can contribute to these efforts by transforming conflicts, bringing about power-sharing and inclusion incentives of minority groups. Albeit the complexity of assessing its impact on conflict prevention, it can be contended that decentralized governance might have very positive effects on the reduction of causes that bring about conflicts due to its ability to foster the creation of war/violence preventors. More specifically, this paper argues that decentralization can have a positive impact on the so-called triggers and accelerators (short- and medium-term causes).

A critical application of securitization theory: overcoming the normative dilemma of writing security

This article addresses the normative dilemma located within the application of `securitization,’ as a method of understanding the social construction of threats and security policies. Securitization as a theoretical and practical undertaking is being increasingly used by scholars and practitioners. This scholarly endeavour wishes to provide those wishing to engage with securitization with an alternative application of this theory; one which is sensitive to and self-reflective of the possible normative consequences of its employment. This article argues that discussing and analyzing securitization processes have normative implications, which is understood here to be the negative securitization of a referent. The negative securitization of a referent is asserted to be carried out through the unchallenged analysis of securitization processes which have emerged through relations of exclusion and power. It then offers a critical understanding and application of securitization studies as a way of overcoming the identified normative dilemma. First, it examines how the Copenhagen School’s formation of securitization theory gives rise to a normative dilemma, which is situated in the performative and symbolic power of security as a political invocation and theoretical concept. Second, it evaluates previous attempts to overcome the normative dilemma of securitization studies, outlining the obstacles that each individual proposal faces. Third, this article argues that the normative dilemma of applying securitization can be avoided by firstly, deconstructing the institutional power of security actors and dominant security subjectivities and secondly, by addressing countering or alternative approaches to security and incorporating different security subjectivities. Examples of the securitization of international terrorism and immigration are prominent throughout.

Compressed collagen gel: a novel scaffold for human bladder cells.

Collagen is highly conserved across species and has been used extensively for tissue regeneration; however, its mechanical properties are limited. A recent advance using plastic compression of collagen gels to achieve much higher concentrations significantly increases its mechanical properties at the neo-tissue level. This controlled, cell-independent process allows the engineering of biomimetic scaffolds. We have evaluated plastic compressed collagen scaffolds seeded with human bladder smooth muscle cells inside and urothelial cells on the gel surface for potential urological applications. Bladder smooth muscle and urothelial cells were visualized using scanning electron microscopy, conventional histology and immunohistochemistry; cell viability and proliferation were also quantified for 14 days in vitro. Both cell types tested proliferated on the construct surface, forming dense cell layers after 2 weeks. However, smooth muscle cells seeded within the construct, assessed with the Alamar blue assay, showed lower proliferation. Cellular distribution within the construct was also evaluated, using confocal microscopy. After 14 days of in vitro culture, 30% of the smooth muscle cells were found on the construct surface compared to 0% at day 1. Our results provide some evidence that cell-seeded plastic compressed collagen has significant potential for bladder tissue regeneration, as these materials allow efficient cell seeding inside the construct as well as cell proliferation.

Theory of mind tasks and executive functions: A systematic review of group studies in neurology.

A growing number of studies have been addressing the relationship between theory of mind (TOM) and executive functions (EF) in patients with acquired neurological pathology. In order to provide a global overview on the main findings, we conducted a systematic review on group studies where we aimed to (1) evaluate the patterns of impaired and preserved abilities of both TOM and EF in groups of patients with acquired neurological pathology and (2) investigate the existence of particular relations between different EF domains and TOM tasks. The search was conducted in Pubmed/Medline. A total of 24 articles met the inclusion criteria. We considered for analysis classical clinically accepted TOM tasks (first- and second-order false belief stories, the Faux Pas test, Happe's stories, the Mind in the Eyes task, and Cartoon's tasks) and EF domains (updating, shifting, inhibition, and access). The review suggests that (1) EF and TOM appear tightly associated. However, the few dissociations observed suggest they cannot be reduced to a single function; (2) no executive subprocess could be specifically associated with TOM performances; (3) the first-order false belief task and the Happe's story task seem to be less sensitive to neurological pathologies and less associated to EF. Even though the analysis of the reviewed studies demonstrates a close relationship between TOM and EF in patients with acquired neurological pathology, the nature of this relationship must be further investigated. Studies investigating ecological consequences of TOM and EF deficits, and intervention researches may bring further contributions to this question.

Update of the BIPM comparison BIPM.RI(II)-K1.Cs-134 of activity measurements of the radionuclide 134Cs to include the 2008 results of the BEV (Austria), the 2009 result of the IRA (Switzerland) and the 2010 results of the NMISA (South Africa)

Purine nucleotide pyrophosphotransferase was purified to apparent homogeneity from a culture filtrate of Streptomyces morookaensis. It is a monomeric protein with a molecular weight of 24 000-25 000, and its isoelectric point is 6.9. The enzyme synthesizes purine nucleoside 5'-phosphate (mono, di, or tri) 3'-diphosphates such as pppApp, ppApp, pApp, pppGpp, ppGpp and pppIpp by transferring a pyrophosphoryl group from the 5'-position of ATP, dATP and ppApp to the 3'-position of purine nucleotides. The purified enzyme catalysed the formation of 435 mumol of pppApp and 620 mumol of pppGpp from ATP and GTP per min mg protein under the standard conditions. The enzyme requires absolutely a divalent cation for activity, and optimum pH for the enzyme activity lay above 10 for Mg2+, for Co2+ and Zn2+ from 9 to 9.5, and for Fe2+ from 7.5 to 8. The following Michaelis constants were determined: AMP, 2.78 mM; ADP, 3.23 mM; GMP, 0.89 mM; GDP, 0.46 mM and GTP, 1.54 mM, in the case of ATP donor. The enzyme is inhibited by guanine, guanosine, dGDP, dGTP, N-bromosuccinimide, iodacetate, sodium borate and mercuric acetate.

Structured output SVM for remote sensing image classification

In the recent years, kernel methods have revealed very powerful tools in many application domains in general and in remote sensing image classification in particular. The special characteristics of remote sensing images (high dimension, few labeled samples and different noise sources) are efficiently dealt with kernel machines. In this paper, we propose the use of structured output learning to improve remote sensing image classification based on kernels. Structured output learning is concerned with the design of machine learning algorithms that not only implement input-output mapping, but also take into account the relations between output labels, thus generalizing unstructured kernel methods. We analyze the framework and introduce it to the remote sensing community. Output similarity is here encoded into SVM classifiers by modifying the model loss function and the kernel function either independently or jointly. Experiments on a very high resolution (VHR) image classification problem shows promising results and opens a wide field of research with structured output kernel methods.

Index theory for basic Dirac operators on Riemannian foliations

In this paper we prove a formula for the analytic index of a basic Dirac-type operator on a Riemannian foliation, solving a problem that has been open for many years. We also consider more general indices given by twisting the basic Dirac operator by a representation of the orthogonal group. The formula is a sum of integrals over blowups of the strata of the foliation and also involves eta invariants of associated elliptic operators. As a special case, a Gauss-Bonnet formula for the basic Euler characteristic is obtained using two independent proofs.

Generalized descriptive set theory and classification theory

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.