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.

The eukaryotic promoter database (EPD).

The Eukaryotic Promoter Database (EPD) is an annotated non-redundant collection of eukaryotic POL II promoters for which the transcription start site has been determined experimentally. Access to promoter sequences is provided by pointers to positions in nucleotide sequence entries. The annotation part of an entry includes a description of the initiation site mapping data, exhaustive cross-references to the EMBL nucleotide sequence database, SWISS-PROT, TRANSFAC and other databases, as well as bibliographic references. EPD is structured in a way that facilitates dynamic extraction of biologically meaningful promoter subsets for comparative sequence analysis. WWW-based interfaces have been developed that enable the user to view EPD entries in different formats, to select and extract promoter sequences according to a variety of criteria, and to navigate to related databases exploiting different cross-references. The EPD web site also features yearly updated base frequency matrices for major eukaryotic promoter elements. EPD can be accessed at http://www.epd.isb-sib.ch

Interfície gràfica pel simulador científic de nanoestructures BITLLES

L’emergent indústria nanoelectrònica necessita de nous simuladors de dispositius nanoelectrònics. Des del departament d’Enginyeria Electrònica de la UAB se n’està desenvolupant un anomenat BITLLES. Malgrat el seu avançat estat de desenvolupament els manca d’una interfície gràfica que faciliti l’entrada de dades al simulador. Aquest projecte final de carrera s’encarregarà de confeccionar aquesta peça clau per tal de assolir una aplicació prou madura per la seva comercialització. A partir de les tecnologies existents per a la realització d’interfícies es farà una selecció de les eines més adequades pels nostres objectius i seguidament es dissenyarà la interfície gràfica adaptant-la a les necessitats i objectius dels desenvolupadors del projecte BITLLES i dels possibles futurs usuaris.

Trace-element and phosphorus contents in sediment associated with Cretaceous oceanic anoxic events

ABSTRACT : During my SNSF-funded Ph.D. thesis project, I studied the evolution of redox conditions and organic-carbon preservation in the western Tethyan realm during three major positive excursions in the Cretaceous δ13C record, corresponding to the Valanginian, Early Aptian and Late Cenomanian. These periods were characterized by important global environmental and climate change, which was associated with perturbations in the carbon cycle. For the period of the Valanginian δ13C excursion, total organic carbon (TOC) contents and the quality of preserved organic matter are typical of oxic pelagic settings in the western Tethys. This is confirmed by the absence of major excursions in the stratigraphic distribution of RSTE during the δ13C shift. Published TOC data from other parts of the Valanginian oceans indicate that dys- to anaerobic zones were restricted to marginal seas within the Atlantic and Southern Ocean, and to the Pacific. Phosphorus (P) and mineralogical contents suggest a stepwise climatic evolution during the Valanginian, with a humid and warm climate prior to the δ13C shift leading to an increase in continental runoff. During the δ13C shift, a decrease in detrital input and P contents suggests a change in the climate towards more and conditions. During the early Aptian oceanic anoxic event (OAE 1a), a general increase followed by a rapid decrease in P contents suggests enhanced nutrient input at the beginning of OAE 1a. The return to lower values during OAE 1 a, associated with an increase in RSTE contents, may have been related to the weakened capacity to retain P in the sedimentary reservoir due to bottom-water oxygen depletion. In basinal settings, the RSTE distribution indicates well-developed anoxic conditions during OAE la, whereas in the shallower-water environments, conditions were oxic to suboxic, rather than anoxic. Furthermore, in the deeper part of the Tethys, two distinct enrichments have been observed, indicating fluctuations in the intensity of water column anoxia during the δ73C excursion. We also studied the effect of the end-Cenomanian oceanic anoxic event (OAE 2) on an expanded section in the Chrummflueschlucht (E of Euthal, Ct Switzerland). The goal here was to identify paleoceanographic and paleoenvironmental conditions during OAE 2 in this part of the northern Tethyan margin. The results show that this section is one of the most complete sections for the Cenomanian-Turonian boundary interval known from the Helvetic realm, despite a small hiatus between sediments corresponding to peaks 1 and 2 in the δ13C record. The evolution of P contents points to an increase in the input of this nutrient at the onset of OAE 2. The trends in RSTE contents show, however, that this part of the Helvetic realm was not affected by a strong depletion in oxygen conditions during OAE 2, despite its hemipelagic position. A further goal of this project was to submit the samples to a total extraction method (a combined HF/HNO3/HCI acid digestion) and compare the results obtained by the partial HNO3 acid extraction in order to standardize the analytical prócedures in the extraction of RSTE. The obtained results for samples of OAE 1 a suggest that RSTE trends using the partial HNO3 digestion are very comparable to those obtained by the total digestion method and subsequently normalized with regards to AI contents. RÉSUMÉ : Durant ce projet de thèse, financé par le Swiss National Science Funding (SNSF), j'ai étudié l'évolution des conditions redox et de la préservation de carbone organique dans le domnaine ouesttéthysien pendant trois excursions majeures du δ13C au Crétacé correspondant au Valanginien, à l'Aptien inférieur et à la limite Cénomanien-Turonien. Ces périodes sont caractérisées par des changements climatiques et environnementaux globaux associés à des perturbations dans le cylce du carbone. Pour L'excursion positive en δ13C du Valanginien, les analyses du carbone organique total (COT) et les observations palynologiques du domaine téthysien ont présenté des indications d'environnement pélagique relativementbienoxygéné. L'absence d'enrichissements en éléments traces sensibles aux conditions redox (TE) pendant l'excursion positive en δ13C confirme ces interprétations. Les données publiées de COT dans d'autres partie du globe indiquent cependant l'existence de conditions dys- à anaérobiques dans certains bassins restreints de l'Atlantique, l'Océan Austral et du Pacifique. L'évolution du phosphore (P) et la composition minéralogique des sédiments semblent indiquer un climat relativement chaud et humide avant l'excursion en δ13C entraînant une augmentation de l'altération continentale. Pendant le shift isotopique, une diminution des apports détritiques et du P suggèrent une transition vers des conditions plus arides. À l'Aptien Inférieur, le début de l'événement anoxique (OAE 1a) est marqué par une augmentation générale du P dans les sédiments indiquant une augmentation du niveau trophique à la base de l'excursion isotopique. Durant l'événement anoxique, les sédiments sont relativement appauvris en P. Cette diminution rapide associée à des enrichissements en TE est probablement liée à une remobilisation plus importante du P lors de la mise en place de conditions anoxiques dans les eaux de fond. Dans les environnements de bassin, le comportement des TE (enrichissements bien marqués) attestent de conditions réductrices bien marquées alors que dans les environnements moins profonds, les conditions semblent plutôt oxiques à dysoxiques. De plus, deux niveaux d'enrichissement en TE ont été observés dans la partie plus profonde de la Téthys, indiquant des fluctuations assez rapides dans l'intensité de l'anoxie de la colonne d'eau. Nous avons ensuite étudié les effets de l'événement anoxique de la fin du Cenomanien (OAE 2) dans un basin marginal de la marge nord de la Téthys avec la coupe de Chrummflueschlucht (à l'est de Euthal, Ct Schwyz). Les résultats ont montré que cette coupe présente un des enregistrements sédimentaires des plus complets de l'OAE 2 dans le domaine helvétique malgré un hiatus entre le pic 1 et 2 de l'excursion en δ13C. L'évolution du P montre une augmentation au début de l'OAE 2. Cependant, la distribution des TE indique que cette région n'a pas été affectée par des conditions réductrices trop importantes. Un second aspect de ce travail a été l'étude des différentes méthodes sur l'analyse de la distribution des TE. Des échantillons de l'OAE 1a ont été soumis à deux types d'extractions, l'une dite «totale » (attaque combinée d'acides HF/HNO3/HCI) et l'autre dite partielle » (HNO3). Les résultats obtenus suggèrent que les courbes de tendances des TE acquises par extraction partielle sont semblables à celle obtenues par extraction totale et normalisées par l'AI.

Preferential binding of the methyl-CpG binding domain protein 2 at methylated transcriptional start site regions.

Methyl-CpG Binding Domain (MBD) proteins are thought to be key molecules in the interpretation of DNA methylation signals leading to gene silencing through recruitment of chromatin remodeling complexes. In cancer, the MBD-family member, MBD2, may be primarily involved in the repression of genes exhibiting methylated CpG at their 5' end. Here we ask whether MBD2 randomly associates methylated sequences, producing chance effects on transcription, or exhibits a more specific recognition of some methylated regions. Using chromatin and DNA immunoprecipitation, we analyzed MBD2 and RNA polymerase II deposition and DNA methylation in HeLa cells on arrays representing 25,500 promoter regions. This first whole-genome mapping revealed the preferential localization of MBD2 near transcription start sites (TSSs), within the region analyzed, 7.5 kb upstream through 2.45 kb downstream of 5' transcription start sites. Probe by probe analysis correlated MBD2 deposition and DNA methylation. Motif analysis did not reveal specific sequence motifs; however, CCG and CGC sequences seem to be overrepresented. Nonrandom association (multiple correspondence analysis, p < 0.0001) between silent genes, DNA methylation and MBD2 binding was observed. The association between MBD2 binding and transcriptional repression weakened as the distance between binding site and TSS increased, suggesting that MBD2 represses transcriptional initiation. This hypothesis may represent a functional explanation for the preferential binding of MBD2 at methyl-CpG in TSS regions.

Transcriptional Activation and Receptor Dimerization is Affected by Mutations in the NR2E3 Ligand-Binding Domain

Purpose: Mutations in the ligand-binding domain (LBD) of NR2E3 cause recessively inherited enhanced short wavelength sensitive (S-) cone syndrome (ESCS), Goldmann-Favre syndrome (GFS) and clumped pigmentary retinal degeneration (CPRD). In addition to ligand binding, the LBD contains also essential amino acid sequences for the oligomerization of nuclear receptors. The aim of our studies is to characterize the impact of mutations in the LBD on receptor oligomerization and transcriptional activity of NR2E3. Methods: The different NR2E3 mutants were generated by QuickChange mutagenesis and analyzed in 293T-based transactivation studies and BRET2 (bioluminescence resonance electron transfer) assays. In silico homology modeling of mutant proteins was also performed using available crystallographic data of related nuclear receptors. Results: The mutants p.W234S, p.A256V, p.A256E, p.L263P, p.R309G, p.R311Q, p.R334G, p.L336P, p.L353V, p.R385P and p.M407K, all located in the LBD, showed impaired receptor dimerization at various degrees. Impaired repressor dimerization as assessed by BRET2 assays did not always correlate with impaired repressor function of NR2E3 as assessed by cell-based reporter assays. There were minor differences of transcriptional activity of mutant proteins on mouse S-opsin (opn1sw), mouse cone arrestin (arr3) and human cone arrestin, suggesting that the effect of LBD mutations was independent of the promoter context. Conclusions: Mutational analysis and homology modeling allowed the characterization of potential oligomerization interfaces of the NR2E3 LBD. Additionally, mutations in NR2E3 LBD may cause recessive retinal degenerations by different molecular mechanisms.

Flexible employment and cross- regional adjustment

Employment flexibility is commonly associated to greater labour mobility and thus faster cross-regional adjustments. The literature however offers very little hard evidence on this and quite limited theoretical guidance. This paper examines empirically the relationship between employment flexibility and cross-regional adjustment (migration) at the regional and local levels in the UK. Employment flexibility is associated to higher labour mobility (but only at a rather localised scale) and at the same time seems to reduce the responsiveness of migration to unemployment. This suggest that rising flexibility may be linked to higher persistence in spatial disparities, as intra-regional adjustments are strengthened while extraregional adjustments weakened. Keywords: Employment flexibility, regional migration, labour market adjustment JEL Codes: R11, R23, J08, J61

Information Mobility: Information Dissemination in Mobile Networks

En el nostre projecte, considerem un escenari urbà o interurbà on persones amb dispositius mòbils (smartphones) o vehicles equipats amb interfícies de comunicació, estan interessats en compartir fitxers entre ells o descarregar-los al creuar Punts d’Accés (APs) propers a la carretera. Estudiem la possibilitat d’utilizar la cooperació en les trobades casuals entre nodes per augmentar la velocitat de descàrrega global. Amb aquest objectiu, plantejem algoritmes per a la selecció de quins paquets, per a quins destins i quins transportistes s’escullen en cada moment. Mitjançant extenses simulacions, mostrem com les cooperacions carry&forward dels nodes augmenten significativament la velocitat de descàrrega dels usuaris, i com aquest resultat es manté per a diversos patrons de mobilitat, col•locacions d'AP i càrregues de la xarxa. Per altra banda, aparells com els smartphones, on la targeta de WiFi està encesa contínuament, consumeixen l'energia de la bateria en poques hores. En molts escenaris, una targeta WiFi sempre activa és poc útil, perque sovint no hi ha necessitat de transmissió o recepció. Aquest fet es veu agreujat en les Delay Tolerant Networks (DTN), on els nodes intercanvien dades quan es creuen i en tenen l’oportunitat. Les tècniques de gestió de l’estalvi d’energia permeten extendre la duració de les bateries. El nostre projecte analitza els avantatges i inconvenients que apareixen quan els nodes apaguen períodicament la seva targeta wireless per a estalviar energia en escenaris DTN. Els nostres resultats mostren les condicions en que un node pot desconnectar la bateria sense afectar la probabilitat de contacte amb altres nodes, i les condicions en que aquesta disminueix. Per exemple, es demostra que la vida del node pot ser duplicada mantenint la probabilitat de contacte a 1. I que aquesta disminueix ràpidament en intentar augmentar més la vida útil.

LiveUpdate : gestor de descargas

La función principal de LiveUpdate será la de descargar actualizaciones mediante un servidor remoto permitiendo tener un control integral de todas las descargas disponibles. El desarrollo del proyecto estará marcado por la tecnología en la que se basa, Windows Presentation Foundation (WPF) para la creación de interfaces gráficas enriquecidas, y el lenguaje en que se sustenta, C#. La metodología utilizada estará caracterizada por el modelo Modelo‐Vista‐VistaModelo (MVVM) y los estándares corporativos que Mitsubishi aplica en su software. Finalmente, el sistema también dispondrá de soporte multiidioma pudiendo visualizar idiomas con caracteres no latinos como el ruso (cirílico) o el japonés (katakana, hiragana).

The InterPro Database, 2003 brings increased coverage and new features.

InterPro, an integrated documentation resource of protein families, domains and functional sites, was created in 1999 as a means of amalgamating the major protein signature databases into one comprehensive resource. PROSITE, Pfam, PRINTS, ProDom, SMART and TIGRFAMs have been manually integrated and curated and are available in InterPro for text- and sequence-based searching. The results are provided in a single format that rationalises the results that would be obtained by searching the member databases individually. The latest release of InterPro contains 5629 entries describing 4280 families, 1239 domains, 95 repeats and 15 post-translational modifications. Currently, the combined signatures in InterPro cover more than 74% of all proteins in SWISS-PROT and TrEMBL, an increase of nearly 15% since the inception of InterPro. New features of the database include improved searching capabilities and enhanced graphical user interfaces for visualisation of the data. The database is available via a webserver (http://www.ebi.ac.uk/interpro) and anonymous FTP (ftp://ftp.ebi.ac.uk/pub/databases/interpro).

Comunicación entre los componentes de un sistema de detección de ataques coordinados

Aquest projecte consisteix en la implementació i avaluació d’una infraestructura de comunicacions per a una plataforma de detecció d’atacs coordinats, basada en el paradigma publicador/subscriptor per a l’intercanvi de missatges IDMEF. Per implementar aquest sistema s’ha fet servir xmlBlaster i s’han desenvolupat les interfícies necessàries per a fer transparent l’accés a la informació de la xarxa de comunicacions. El resultat és una plataforma escalable que permet l’intercanvi eficient de informació entre els diferents elements distribuïts del sistema de detecció.

Text2Emotion: un gestor d'experiències SOA : extracció d'emocions per al suport a la gestió de relació amb clients

Customer Experience Management (CEM) se ha convertido en un factor clave para el éxito de las empresas. CEM gestiona todas las experiencias que un cliente tiene con un proveedor de servicios o productos. Es muy importante saber como se siente un cliente en cada contacto y entonces poder sugerir automáticamente la próxima tarea a realizar, simplificando tareas realizadas por personas. En este proyecto se desarrolla una solución para evaluar experiencias. Primero se crean servicios web que clasifican experiencias en estados emocionales dependiendo del nivel de satisfacción, interés, … Esto es realizado a través de minería de textos. Se procesa y clasifica información no estructurada (documentos de texto) que representan o describen las experiencias. Se utilizan métodos de aprendizaje supervisado. Esta parte es desarrollada con una arquitectura orientada a servicios (SOA) para asegurar el uso de estándares y que los servicios sean accesibles por cualquier aplicación. Estos servicios son desplegados en un servidor de aplicaciones. En la segunda parte se desarrolla dos aplicaciones basadas en casos reales. En esta fase Cloud computing es clave. Se utiliza una plataforma de desarrollo en línea para crear toda la aplicación incluyendo tablas, objetos, lógica de negocio e interfaces de usuario. Finalmente los servicios de clasificación son integrados a la plataforma asegurando que las experiencias son evaluadas y que las tareas de seguimiento son automáticamente creadas.

Diseño centrado en el usuario y usabilidad en entorno táctil

En este trabajo se realiza un prototipo siguiendo un diseño centrado en el usuario, además se estudiaran los distintos tipos de pantallas táctiles que existen actualmente en el mercado y la forma de cómo conseguir una aplicación fácil y manejable.

DCU per a la configurabilitat d'una estació de treball clínic

Gairebé un 50% dels metges de la sanitat catalana realitzen actualment les seves tasques assistencials en entorns SAP. Donada la naturalesa de la seva feina, és fàcil afirmar que les aplicacions que utilitzen habitualment haurien d'haver estat desenvolupades centrant l'atenció en l'usuari i el context en què aquest realitza la seva feina. Però degut a diversos motius organitzatius, això no ha estat així. Aquest projecte pretén demostrar el valor afegit que pot aportar el Disseny Centrat en l'Usuari en el desenvolupament d'aplicacions assistencials en l'àmbit SAP Sanitat. S'ha realitzat una investigació prèvia de les necessitats reals dels usuaris, un anàlisi del context d'ús i dels diferents perfils de usuari, s'ha desenvolupat un prototip amb la nova tecnologia que aporta SAP per al desenvolupament de interfícies tipus web integrades en el sistema (SAP Webdynpro for ABAP), i finalment s'ha realitzat la corresponent avaluació heurística i el test de usuaris. S'ha arribat principalment a tres conclusions: en primer lloc, ha sorprès la bona disposició dels usuaris metges per a participar en aquesta mena de projectes; en segon lloc, ha quedat demostrada la importància de l'anàlisi del context, així com la rellevància que el dissenyador estigui quan més a prop millor de l'usuari final; i finalment, cal destacar que la tecnologia emprada ha limitat qualitativament diverses opcions de disseny.