Monads in double categories

We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and dene what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.

Scepticism Revisited

Liberalism claims that for a subject S to be justified in believing p, a proposition about the external world, on the basis of his senses it is not necessary to be antecedently justified in believing propositions as there is an external world. On the other hand, conservatism claims that to be justified in believing that p on the basis of one’s perception, one must have antecedent justification to believe that p. Intuitively, we are inclined to think that liberalism about the structure of perceptual justification fits better with our epistemic practices. We acknowledge that, although we cannot produce warrant for the background belief in the external world, our empirical beliefs can be perceptually justified. However, I am interested in arguing that conservatism is theoretically better supported than liberalism. The first reason to defend this is based on the fact that in embracing liberalism dogmatism is affected by pervasive problems. The second one comes from recognizing the strength of the argument based on the thesis that experience is theory-laden. But not all are advantages for conservatism. Conservatism is presupposed in contemporary formulations of scepticism through the requirement of prior justification for background assumptions, and this fact compels anti-sceptical conservatives to conceive a non-evidential form of warrant, entitlement, to contest the sceptical threat My main worry is that, although the path of entitlement has some prospects to succeed, this new notion of justification seems to be posed ad hoc for conservatives to solve the sceptical problem. These contents are organized along the three chapters. The result of chapter 1 is a pattern of sceptical argument formed by two premises: P1*, a conservative principle, and P2*. In chapter 2 and chapter 3 two anti-sceptical proposals against the argument sketched in chapter 1 are described. Chapter 2 is devoted to explain and assess a first anti-sceptical proposal that denies P1*: dogmatism. Moreover, in chapter 3, another anti-sceptical strategy is described (the route of entitlement) that contests scepticism denying the plausibility of P2*.

Codis no lineals en Magma: noves construccions

L'objectiu principal d'aquest projecte és ampliar la llibreria BinaryCodes, iniciada al 2007, que ens permet construir i manipular codis binaris lineals i no lineals. Per aquest motiu, s'han desenvolupat una sèrie de funcions, amb els seus corresponents tests i exemples, en l'entorn de programació matemàtica Magma. Aquestes funcions consisteixen bàsicament en la construcció de nous codis a partir d'altres ja existents.

Policy evaluation and uncertainty about the effects of oil prices on economic activity

This paper addresses the issue of policy evaluation in a context in which policymakers are uncertain about the effects of oil prices on economic performance. I consider models of the economy inspired by Solow (1980), Blanchard and Gali (2007), Kim and Loungani (1992) and Hamilton (1983, 2005), which incorporate different assumptions on the channels through which oil prices have an impact on economic activity. I first study the characteristics of the model space and I analyze the likelihood of the different specifications. I show that the existence of plausible alternative representations of the economy forces the policymaker to face the problem of model uncertainty. Then, I use the Bayesian approach proposed by Brock, Durlauf and West (2003, 2007) and the minimax approach developed by Hansen and Sargent (2008) to integrate this form of uncertainty into policy evaluation. I find that, in the environment under analysis, the standard Taylor rule is outperformed under a number of criteria by alternative simple rules in which policymakers introduce persistence in the policy instrument and respond to changes in the real price of oil.

Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

On p-optimal proof systems and logics for PTIME

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

On slicewise monotone parameterized problems and optimal proof systems for TAUT

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

Hard instances of algorithms and proof systems

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

Maria-Antònia Oliver, traductora

Maria-Antònia Oliver i Cabrer (Manacor, 1946) és una de les poques traductores al català que han aprofundit en la teoria de la traducció i que han plasmat els seus pensaments sobre paper. Coneixem a bastament el seu vessant literari gràcies a un bon grapat d’estudis que s’han dut a terme des de diverses universitats dels Països Catalans i també des d’algunes de fora de les nostres fronteres. Amb tot, la faceta de torsimany sovint ha estat esmentada de passada, malgrat hagi portat al català autors i autores de renom com ara Virginia Woolf, Herman Melville, Italo Calvino o Mark Twain. Maria-Antònia Oliver, traductora situa l’autora en el moment en què ha traduït, se centra en la seva idea sobre la traducció, cataloga les seves traduccions i visibilitza la figura d’una traductora prolífica.

Comunidad y ciudadanía activa: fenomenología de una ocupación ética en un contexto de inmigración

La teoria i la praxi de la investigació qualitativa actual és hereva de la tradició fenomenològica. L’objectiu de la investigació està relacionat amb la comprensió profunda de les dimensions de l’educació i el treball, així com la seva significació per a les dones i els homes amb històries de vida marcades per la immigració. També, el treball de la investigació actual analitza la construcció de una identitat individual i col•lectiva de les dones i els homes amb una història d’immigració i reflexiona com desenvolupen el seu compromís a través d’una ocupació ètica. Es fa èmfasi en els elements transversals de la cultura i les construccions de gènere dins del domini de treball i educació. El mètode biogràfic narratiu es va utilitzar per estudiar les qüestions plantejades per la investigació. El procés de triangulació de les veus de les dones, els homes i de l’organització participant es va duu a terme per assegurar la validesa dels resultats i es van interpretar els indicadors de la recerca des del marc teòric proposat. A mode de conclusió, el treball es refereix a la formació permanent i considera que la violació del dret a l’educació és un factor que limita les oportunitats d’experimentar aquest tipus d’ocupació i, té efectes en la integritat personal i col·lectiva. Esperem que aquesta investigació pugui contribuir a la política d’immigració de les diferents organitzacions.

Law and the practise of principle in diverse societies

Projecte de recerca elaborat a partir d’una estada a la London School of Economics and Political Science, United Kingdom, entre 2007 i 2009. L’objecte principal del projecte ha estat analitzar les implicacions jurídico-polítiques i institucionals d’una teoria de la justícia i la igualtat liberals aplicada a societats multiculturals amb un marcat predomini de la diversitat cultural. L’anàlisi desenvolupa una línia d'investigació interdisciplinar - entre el dret i la teoria política - iniciada en una tesis doctoral sobre multiculturalisme i drets de les minories culturals (UPF, 2000) que va culminar en la publicació de Group Rights as Human Rights (Springer, 2006). La recerca adopta com a punt de partida les conclusions de l'esmentada obra, en especial, la rellevància del reconeixement de drets col•lectius; tanmateix, el tipus de qüestions plantejades, l’enfoc i la metodologia emprades són substancialment diferents. En concret, s'adrecen preguntes específiques sobre el model i aspiracions del constitucionalisme democràtic i el paper del dret en contextos multiculturals. També s’atorga un pes central a la dimensió institucional dels models de gestió de la diversitat que s’analitzen, prioritzant un enfocament comparatiu a partir de l’estudi de controvèrsies concretes. L’objectiu és superar algunes limitacions importants de la literatura actual, com ara la tendència a examinar en abstracte la compatibilitat de determinades demandes amb el constitucionalisme democràtic, sense abordar el funcionament d'estratègies de gestió de la diversitat cultural emprades en contextos concrets. Els treballs producte d'aquest projecte articulen les línies bàsiques d’un model pluralista, basat en principis més que en regles, que desafia els plantejaments dominants actualment. Aquest model es caracteritza pel compromís amb la legitimitat i igualtat comparatives, rebutjant el paternalisme i les visions liberals típiques sobre el paper de la regulació. La presumpció de l’“standing” moral dels grups identitaris és fonamental per tal de considerar-los interlocutors vàlids amb interessos genuïns. També s’argumenta que la integració social en contextos multiculturals no depèn tant de l’eliminació del conflicte sinó, sobre tot, d’una gestió eficient que eviti abusos de poder sistemàtics. El model defensa el rol del dret en la institucionalització del diàleg intercultural, però admet que el diàleg no necessàriament condueix a l’acord o a una estructura reguladora coherent i uniforme. Les aspiracions del ordre jurídic pluralista són més modestes: afavorir la negociació i resolució en cada conflicte, malgrat la persistència de la fragmentació i la provisionalitat dels acords. La manca d'un marc regulador comú esdevé una virtut en la mesura que permet la interacció de diferents subordres; una interacció governada per una multiplicitat de regles no necessàriament harmòniques. Els avantatges i problemes d’aquest model s'analitzen a partir de l'anàlisi de l’estructura fragmentària de l'ordre jurídic internacional i del règim Europeu de drets humans.

Quantum similarity topological indices definition, analysis and comparison with classical molecular topological indices

Es mostra que, gracies a una extensió en la definició dels Índexs Moleculars Topològics, s'arriba a la formulació d'índexs relacionats amb la teoria de la Semblança Molecular Quàntica. Es posa de manifest la connexió entre les dues metodologies: es revela que un marc de treball teòric sòlidament fonamentat sobre la teoria de la Mecànica Quàntica es pot connectar amb una de les tècniques més antigues relacionades amb els estudis de QSPR. Es mostren els resultats per a dos casos d'exemple d'aplicació d'ambdues metodologies

Distributions on the simplex

The simplex, the sample space of compositional data, can be structured as a real Euclidean space. This fact allows to work with the coefficients with respect to an orthonormal basis. Over these coefficients we apply standard real analysis, inparticular, we define two different laws of probability trought the density function and we study their main properties

Inference of distributional parameters from compositional samples containing nondetects

Low concentrations of elements in geochemical analyses have the peculiarity of beingcompositional data and, for a given level of significance, are likely to be beyond thecapabilities of laboratories to distinguish between minute concentrations and completeabsence, thus preventing laboratories from reporting extremely low concentrations of theanalyte. Instead, what is reported is the detection limit, which is the minimumconcentration that conclusively differentiates between presence and absence of theelement. A spatially distributed exhaustive sample is employed in this study to generateunbiased sub-samples, which are further censored to observe the effect that differentdetection limits and sample sizes have on the inference of population distributionsstarting from geochemical analyses having specimens below detection limit (nondetects).The isometric logratio transformation is used to convert the compositional data in thesimplex to samples in real space, thus allowing the practitioner to properly borrow fromthe large source of statistical techniques valid only in real space. The bootstrap method isused to numerically investigate the reliability of inferring several distributionalparameters employing different forms of imputation for the censored data. The casestudy illustrates that, in general, best results are obtained when imputations are madeusing the distribution best fitting the readings above detection limit and exposes theproblems of other more widely used practices. When the sample is spatially correlated, itis necessary to combine the bootstrap with stochastic simulation

Visualització de volums usant miralls màgics

En el marc del conveni de col·laboració entre el Grup de Gràfics de Girona de la Universitat de Girona i el Grup de Neuroradiologia de l’Institut de Diagnòstic per la Imatge de l’Hospital Universitari Dr. Josep Trueta de Girona, es planteja desenvolupar la plataforma StarViewer, una plataforma que incorpori les tècniques bàsiques de visualització científica complementant la visualització 2D tradicional amb una visualització 3D que permeti inspeccionar la informació del pacient de forma més eficient i facilitant-ne el seu diagnòstic. En aquest projecte s’implementen dos tècniques que formaran part de la plataforma StarViewer. El primer objectiu és implementar un mètode per facilitar la visualització i la interpretació de models de vòxels simples i models de vòxels fusionats, i el segon és implementar un mètode basat en mesures de la Teoria de la Informació per ajudar l’usuari a trobar el punt de vista òptim per a un model donat. Per assolir el primer objectiu ens centrarem en la tècnica dels Miralls màgics o Magic Mirrors, que permeten la visualització simultània del model de vòxels des de diferents punts de vista, i per al segon objectiu, en el concepte d’excess entropy, que és una mesura de la informació, per determinar quin punt de vista aporta més informació a l’usuari