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.

El treball amb alumnat TEA : el treball de les habilitats socials i les emocions

En el marc d'una escola inclusiva, es busca promoure l'aprenentatge de tots els alumnes. L'alumnat amb Trastorn de l'Espectre Autista (TEA) forma part de la diversitat que ha d'atendre el professorat, un alumnat que presenta dificultats d'interacció social i de comprensió dels estats mentals dels altres, aspectes que influeixen en la seva qualitat de vida. D'aquesta manera, es presenta una intervenció que busca afavorir el desenvolupament de les capacitats relacionals, comunicatives i simbòliques dels alumnes TEA. La intervenció té en compte l'enfocament interactiu i contextual del procés de valoració proposat per Ángel Rivière (2001), la Teoria de la Ment desenvolupada per Baron-Cohen, Leslie i Firth el 1985 i el programa DIR o Floortime d'Stanley Greenspan. A més, s'han elaborat una sèrie de materials i activitats per a l'ensenyament de la comprensió de les emocions i de les habilitats socials, basades en les aportacions de Howling, Baron-Cohen i Hadwin (2006) i les historietes socials de Gray.

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

El Pis de joves, una institució resilient?

Aquest projecte és l’exemplificació del punt on la teoria i la pràctica s’uneixen. Mostra com la tasca socioeducativa que es duu a terme a un recurs on es dóna atenció residencial a joves (majors d’edat) amb una mesura judicial de règim obert, pot encaixar perfectament amb el que teoria de la resiliència argumenta. S’utilitza el model resilient de la casita el qual es fa servir de cinc possibles àrees d’intervenció. Es tracta d’un estudi on es justifiquen les raons de per què el Pis de Joves d’Emancipació pot ser definit com una Institució Resilient

Practical applications of quantum molecular similarity measures (QMSM): programs and examples

Es descriu l'aproximació de Capes Atòmiques dins de la teoria de la Semblança Molecular Quàntica. Partint només de dades teòriques, s'ha trobat una relació entre estructura molecular i activitat biològica per a diversos conjunts de molècules. Es descriuen els aspectes teòrics de la Semblança Molecular Quàntica i alguns exemples d'aplicació

Two-sided learning in new keynesian models: dynamics, (lack of) convergence and the value of information

This paper investigates the role of learning by private agents and the central bank (two-sided learning) in a New Keynesian framework in which both sides of the economy have asymmetric and imperfect knowledge about the true data generating process. We assume that all agents employ the data that they observe (which may be distinct for different sets of agents) to form beliefs about unknown aspects of the true model of the economy, use their beliefs to decide on actions, and revise these beliefs through a statistical learning algorithm as new information becomes available. We study the short-run dynamics of our model and derive its policy recommendations, particularly with respect to central bank communications. We demonstrate that two-sided learning can generate substantial increases in volatility and persistence, and alter the behavior of the variables in the model in a signifficant way. Our simulations do not converge to a symmetric rational expectations equilibrium and we highlight one source that invalidates the convergence results of Marcet and Sargent (1989). Finally, we identify a novel aspect of central bank communication in models of learning: communication can be harmful if the central bank's model is substantially mis-specified