Mean-payoff games and propositional proofs

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

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*.

Statmedia 3 : activitats on-line individualitzades d'estadística i matemàtiques als ensenyaments de Ciències Experimentals i Socials

El projecte Statmedia 3 ha consolidat definitivament la proposta de les assignatures Bioestadística de Biologia, Anàlisi de dades de Ciències Ambientals i d’Estadística Matemàtica de la Diplomatura renovant una part del material creat amb Statmedia 2. S’han inclòs a més Matemàtiques d’Ambientals i Introducció a la Probabilitat del Grau d’Estadística. L’anterior MQD abastava només pràctiques mentre que aquest projecte permet una oferta diversa d’activitats individualitzades. La individualització consisteix en que cada estudiant rep una proposta de cas personalitzada amb dades diferents. Les activitats poden ser programades presencialment o no, però la clau de l’èxit de l’activitat és que l’alumne obtingui reconeixement del seu treball en l’avaluació continuada. La valoració que fan als alumnes de Statmedia és molt bo, i observem que es produeix una millora en els resultats acadèmics. Statmedia 3 ha implicat un important esforç en la vessant informàtica del projecte, la barreja de tecnologies que utilitzem son punteres: Ajax, servlets i applets Java... Hem posat a punt un assistent on-line per dissenyar documents i planificar activitats que facilita la tasca dels professors. La nostre participació en primera línea del procés de convergència a l’EEES ens ha permès anticipar alguns canvis, i s’ha traduït en que el claustre del Departament d’Estadística assumís que Statmedia és una metodologia essencial dels seus plans docents. El projecte continua en un quart projecte MQD consecutiu, on desplegarem la nova tecnologia implementada. L’objectiu principal serà dotar a les assignatures dels 7 graus on participa el departament d’activitats individualitzades en forma de casos pràctics, problemes i proves diverses. La col·lecció de material emmagatzemada en la nostra biblioteca, forjada després de quasi deu anys de treball continuat, juntament amb l’experiència acumulada de com utilitzar Statmedia de la forma més eficient han començat a ser explotades en els nous graus aquest mateix curs 2009-2010.

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.

Las complicaciones biliares en el trasplante hepático de donante vivo no afectan a los resultados a largo plazo

El transplantament hepàtic de donant viu comporta un alt índex de complicacions biliars. El nostre objectiu és avaluar-les, així com els resultats a llarg termini. Es van analitzar 70 casos retrospectivament. 39 de 70 pacients van presentar algun tipus de complicació biliar. Entre ells, 29 van presentar una fuga, 10 una estenosi i 14 ambdues. La probabilitat de presentar una estenosi fou major en els pacients amb fuga biliar prèvia (58% vs. 29,5% als 5 anys p=0,05). Un 70,8% es solucionaren mitjançant radiología intervencionista. No hi van haver diferències de supervivencia amb o sense complicacions de la via biliar.

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.

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.