Endogenous depth of reasoning

We introduce a model of strategic thinking in games of initial response. Unlike standard level-k models, in this framework the player's `depth of reasoning' is endogenously determined, andit can be disentangled from his beliefs over his opponent's cognitive bound. In our approach,individuals act as if they follow a cost-benefit analysis. The depth of reasoning is a function ofthe player's cognitive abilities and his payoffs. The costs are exogenous and represent the gametheoretical sophistication of the player; the benefit instead is related to the game payoffs. Behavioris in turn determined by the individual's depth of reasoning and his beliefs about the reasoningprocess of the opponent. Thus, in our framework, payoffs not only affect individual choices inthe traditional sense, but they also shape the cognitive process itself. Our model delivers testableimplications on players' chosen actions as incentives and opponents change. We then test themodel's predictions with an experiment. We administer different treatments that vary beliefs overpayoffs and opponents, as well as beliefs over opponents' beliefs. The results of this experiment,which are not accounted for by current models of reasoning in games, strongly support our theory.Our approach therefore serves as a novel, unifying framework of strategic thinking that allows forpredictions across games.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

Model-based diagnosis system: application to constructed wetlands

Report for the scientific sojourn carried out at the Model-based Systems and Qualitative Reasoning Group (Technical University of Munich), from September until December 2005. Constructed wetlands (CWs), or modified natural wetlands, are used all over the world as wastewater treatment systems for small communities because they can provide high treatment efficiency with low energy consumption and low construction, operation and maintenance costs. Their treatment process is very complex because it includes physical, chemical and biological mechanisms like microorganism oxidation, microorganism reduction, filtration, sedimentation and chemical precipitation. Besides, these processes can be influenced by different factors. In order to guarantee the performance of CWs, an operation and maintenance program must be defined for each Wastewater Treatment Plant (WWTP). The main objective of this project is to provide a computer support to the definition of the most appropriate operation and maintenance protocols to guarantee the correct performance of CWs. To reach them, the definition of models which represent the knowledge about CW has been proposed: components involved in the sanitation process, relation among these units and processes to remove pollutants. Horizontal Subsurface Flow CWs are chosen as a case study and the filtration process is selected as first modelling-process application. However, the goal is to represent the process knowledge in such a way that it can be reused for other types of WWTP.

Freedom of choice as control over outcomes

As interactions between individuals are introduced into the freedom of choice literature by the mean of game forms, new issues appear. In particular, in this paper it is argued that individuals face uncertainty with respect to outcomes as they lose the control they implicitely exert over options in the opportunity set framework. A criterion is proposed as to compare alternative game forms in terms of the control they offer to individuals. The CardMin criterion suggests that any game form should be judged on the basis of the strategy offering the lowest number of pairwise different outcomes. An axiomatic characterization is provided in the case of two individuals.

Projective modules over the Gerasimov-Sakhaev counterexample

We investigate the structure of the so-called Gerasimov- Sakhaev counterexample, which is a particular example of a universal localization, and classify (both finitely and infinitely generated) projective modules over it.

Effects of competition over quality-adjusted price indexes: an application to the Spanish automobile market

Using a newly constructed data set, we calculate quality-adjusted price indexes after estimating hedonic price regressions from 1988 to 2004 in the Spanish automobile market. The increasing competition was favoured by the removal of trade restrictions and the special plans for the renewal of the Spanish automobile fleet. We find that the increasing degree of competition during those years led to an overall drop in automobile prices by 20 percent which implied considerable consumer gains thanks to higher market efficiency. Additionally, our results indicate that loyalty relevance and discrepancies in automobile reliability declined during those years. This is captured.

Applying RADIC in Open MPI: the methodology used to implement RADIC over a Message Passing Library

Fault tolerance has become a major issue for computer and software engineers because the occurrence of faults increases the cost of using a parallel computer. RADIC is the fault tolerance architecture for message passing systems which is transparent, decentralized, flexible and scalable. This master thesis presents the methodology used to implement the RADIC architecture over Open MPI, a well-know large-used message passing library. This implementation kept the RADIC architecture characteristics. In order to validate the implementation we have executed a synthetic ping program, besides, to evaluate the implementation performance we have used the NAS Parallel Benchmarks. The results prove that the RADIC architecture performance depends on the communication pattern of the parallel application which is running. Furthermore, our implementation proves that the RADIC architecture could be implemented over an existent message passing library.

Localization of algebras over coloured operads

We give sufficient conditions for homotopical localization functors to preserve algebras over coloured operads in monoidal model categories. Our approach encompasses a number of previous results about preservation of structures under localizations, such as loop spaces or infinite loop spaces, and provides new results of the same kind. For instance, under suitable assumptions, homotopical localizations preserve ring spectra (in the strict sense, not only up to homotopy), modules over ring spectra, and algebras over commutative ring spectra, as well as ring maps, module maps, and algebra maps. It is principally the treatment of module spectra and their maps that led us to the use of coloured operads (also called enriched multicategories) in this context.

Creation of a carrier-grade telco based on a voice over IP backbone

En aquesta memòria l'autor, fent servir un enfoc modern, redissenya i implementa la plataforma que una empresa de telecomunicacions del segle 21 necessita per poder donar serveis de telefonia i comunicacions als seus usuaris i clients. Al llarg d'aquesta exposició es condueix al lector des d'una fase inicial de disseny fins a la implementació i posada en producció del sistema final desenvolupat, centrant-nos en solucionar les necessitats actuals que això implica. Aquesta memòria cubreix el software, hardware i els processos de negoci associats al repte de fer realitat aquest objectiu, i presenta al lector les múltiples tecnologies emprades per aconseguir-ho, fent emfàsi en la convergència actual de xarxes cap al concepte de xarxes IP i basant-se en aquesta tendència i utilitzant aquesta tecnologia de veu sobre IP per donar forma a la plataforma que finalment, de forma pràctica, es posa en producció.

Persistent bundles over a two dimensional compact set

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

Are the high-growth recovery periods over?

We present evidence about the loss of the so-called "plucking effect", that is, a high-growth phase of the cycle typically observed at the end of recessions. This result matches the popular belief, presented informally by different authors, that the current recession will have permanent effects, or that the current recession will have an L shape versus the old-time recessions that have always had a V shape. Furthermore, we show that the loss of the "plucking effect" can explain part of the Great Moderation. We postulate that these two phenomena may be due to changes in inventory management brought about by improvements in information and communications technologies.

Aspects of Iwasawa theory over function fields

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

How to improve the formal analytic reasoning and scientific motivation in the intellectual training of medical students

A review article of the The New England Journal of Medicine refers that almost a century ago, Abraham Flexner, a research scholar at the Carnegie Foundation for the Advancement of Teaching, undertook an assessment of medical education in 155 medical schools in operation in the United States and Canada. Flexner’s report emphasized the nonscientific approach of American medical schools to preparation for the profession, which contrasted with the university-based system of medical education in Germany. At the core of Flexner’s view was the notion that formal analytic reasoning, the kind of thinking integral to the natural sciences, should hold pride of place in the intellectual training of physicians. This idea was pioneered at Harvard University, the University of Michigan, and the University of Pennsylvania in the 1880s, but was most fully expressed in the educational program at Johns Hopkins University, which Flexner regarded as the ideal for medical education. (...)