L’objectiu d’aquesta tesi és avaluar i discutir l’aplicació pràctica, la validesa i la repetibilitat d’un sistema d’avaluació del benestar en granges comercials de porcs d’engreix. La capacitat d’aplicació, la sensibilitat, selectivitat, validesa contextual i repetibilitat al llarg del temps de les mesures basades en l'animal incloses al protocol Welfare Quality® es van avaluar mitjançant cinc estudis. A més a més, al llarg de la tesi es va considerar la utilització del protocol com a eina d’assessorament per resoldre problemes de benestar. En el primer estudi es presenta una anàlisi descriptiva de les mesures basades en l’animal incloses al protocol d’avaluació del benestar. En aquest treball es va avaluar tant l’aplicació pràctica del protocol en 30 granges intensives com la seva capacitat per discriminar-les entre sí. Tanmateix, el treball proposa una metodologia pràctica per identificar granges que presenten algun problema de benestar. Al segon i tercer estudi, es van avaluar un total de 11,647 porcs allotjats en 91 explotacions comercials provinents de tres sistemes intensius (convencional a França i Espanya, sobre palla a França, i Ibèric intensiu a Espanya) així com dos sistemes extensius (Ibèric en extensiu, Porc Negre Mallorquí) mitjançant el protocol Welfare Quality®. Tot dos estudis descriuen dades sobre la prevalença i distribució de diversos indicadors de benestar en una gran varietat d’explotacions amb la finalitat d’identificar una sèrie de factors causals. Els resultats corresponents als principis de bona alimentació i bon allotjament es presenten en el segon estudi mentre que els de salut es descriuen en el tercer. El quart estudi es centra en l’avaluació del benestar mitjançant mesures de comportament en porcs Ibèrics en condicions intensives i extensives. En aquest treball, el quart principi del Welfare Quality®, titulat “comportament adequat”, es va avaluar en 21 granges (11 extensives i 10 intensives), les quals allotjaven una totalitat de 25,856 porcs Ibèrics. Finalment, el cinquè estudi avalua, en una mostra de 15 granges intensives convencionals, la repetibilitat després d'un temps perllongat de les mesures basades en l’animal incloses en el protocol Welfare Quality®. Els resultats es van discutir des d’un punt de vista discriminatiu i avaluatiu. Com a comentari general, el protocol Welfare Quality® per porcs d’engreix es pot aplicar fàcilment en una gran varietat d’explotacions comercials. Tot i així, la durada total del protocol pot ser percebuda com a massa llarga per part d’alguns dels agents implicats (com ara ramaders, industria o empreses certificadores). La sensibilitat dels indicadors de salut és aparentment massa baixa. La interpretació d’alguns resultats en termes de benestar animal, especialment els de comportament, s’ha de realitzar amb molta cura sobretot quan es comparen explotacions provinents de sistemes de cria molt diversos. Una interpretació equivocada d’un resultat pot erròniament afavorir o perjudicar un ramader o un sistema. Finalment, el protocol Welfare Quality® pot tenir enfocaments diversos que poden ser pràctics i complementaris com a eina d’assessorament, tot i que es va dissenyar com una eina per auditar. / The objective of the present thesis is to evaluate and discuss the feasibility, validity and repeatability of a welfare assessment system for growing pigs on commercial farms. The feasibility, sensitivity, selectivity, contextual validity and repeatability over time of several animal-based measures of the Welfare Quality® (WQ®) protocol were evaluated in five studies. Furthermore, across the thesis, the use of the protocol as an advisory tool is considered. The first study presents a descriptive analysis of several animal-based measures of the welfare assessment protocol for pigs kept under intensive conventional conditions on 30 farms in Spain. It evaluates the feasibility of the protocol on intensive farms and its capacity to discriminate among intensive conventional farms. It also aims to propose a practical methodology to identify farms with a particular welfare problem. On the second and third studies, a total of 11,647 pigs housed on 91 commercial farms of three intensive systems (conventional in France and Spain, straw bedded in France, and Iberian intensive in Spain) as well as two extensive systems (Iberian extensive, Mallorcan Black pig) were assessed applying the overall WQ® protocol. Both studies yielded data about the prevalence and distribution of several welfare outcomes on a wide variety of commercial farms with the aim to identify possible causal factors. The results from the good feeding and housing principles are presented in the second study whereas those of health are given in the third study. The fourth study focused on the assessment of welfare through behavioural measures in Iberian pigs in intensive and extensive conditions. The fourth principle of the WQ® protocol, labelled “Appropriate behaviour”, was assessed on 21 farms (11 extensive and 10 intensive) housing a total of 25,856 Iberian pigs. Changes in occurrence of behaviour and qualitative measures were evaluated and discussed when comparing Iberian pigs either in intensive or extensive rearing conditions. Finally, the fifth study evaluated the test-retest repeatability over a long period of time of the mean prevalence of several measures from the WQ® protocol on a sample of 15 intensive conventional farms of growing pigs. The results were discussed from a discriminative approach and from an evaluative approach. As a general comment, the WQ® protocol for growing pigs is feasible in a wide range of commercial conditions even though the overall duration may be perceived as too long by stakeholders. The sensitivity of health indicators appears to be low. Interpretation of several outcomes, especially behavioural ones, in terms of animal welfare, must be cautious, especially when comparing farm units from diverse rearing systems. An erroneous interpretation of an outcome can wrongly favour or prejudice a farmer. Several approaches of the WQ® protocol can be practical and complementary to be used for advisory purposes.

Cada vegada som més conscients del destriament existent entre l’ésser humà i la naturalesa. La reducció d’aquesta a un trivial objecte ha generat, en els últims temps, una constatació inexorable: l’existència de la humanitat està nítidament amenaçada. Schelling, en la flor de la seva joventut i fa més de dos segles, va ser, sens dubte, el pensador modern que va detectar el conflicte existent entre un estil de filosofia capaç d’erigir la subjectivitat humana al nivell més elevat de l’activitat del pensar, reduint la naturalesa a puro i inert objecte. El present treball de recerca té com a objectiu fonamental recórrer l’itinerari de la producció filosòfica schellinguiana en allò que nomenarem gènesi de la seva pròpia filosofia: la Filosofia de la Naturalesa. La intrèpida pretensió de Schelling de concebre la Naturalesa com a Subjecte va possibilitar, en definitiva, una nova lectura del “ésser-del-món” i la seva real situació com “l’ésser-al-món”. Tal perspicàcia marcaria la trajectòria d’aquest jove filòsof en el desenvolupament de la seva Filosofia com a Sistema. L’anàlisi de la filosofia de la naturalesa constitueix, així, una via de cabdal importància per percebre els aspectes de la continuïtat d’aquest estil de pensar en vista d’allò que cridarem Filosofia de la Unitat. Així que –i després d’una anàlisi acurada sobre els principis que constitueixen la realitat de la naturalesa en els seus fonaments–, Schelling proposa una nova concepció de la naturalesa, en la qual la idea d’Organisme emergeix com una condició necessària per sostenir l’activitat permanent, creativa i totalment lliure d’ella mateixa, és a dir, el procés de la productivitat de la naturalesa. Consisteix a contraposar –a través del mètode especulatiu– aquesta dinamicitat present en la naturalesa a la noció predominant de la seva època, és a dir, la visió mecanicista de la naturalesa. Al final d’aquesta recerca, ens vam adonar que l’esforç de la tasca filosòfica schellinguiana pel que fa a la filosofia de la naturalesa ofereix, en última instància, un altre concepte de la realitat factual i, necessàriament, ens porta a una nova hermenèutica, la notorietat de la qual està marcada per la composició naturalesa-ètica. / Cada vez somos más conscientes de la cisión existente entre el ser humano y la naturaleza. La reducción de esta a un trivial objeto ha generado, en los últimos tiempos, una constatación inexorable: la existencia de la humanidad está nítidamente amenazada. Schelling, en la flor de su juventud y hace más de dos siglos, fue, sin duda, el pensador moderno que detectó el conflicto existente entre un estilo de filosofía capaz de erigir la subjetividad humana al nivel más elevado de la actividad del pensar, reduciendo la naturaleza a puro e inerte objeto. El presente trabajo de investigación tiene como objetivo fundamental recorrer el itinerario de la producción filosófica schellinguiana en aquello que nombraremos génesis de su propia filosofía: la Filosofía de la Naturaleza. La intrépida pretensión de Schelling de concebir la Naturaleza como Sujeto posibilitó, en definitiva, una nueva lectura del “ser-del-mundo” y su real situación como “ser-en-el-mundo”. Tal perspicacia marcaría la trayectoria de este joven filósofo en el desarrollo de su Filosofía como Sistema. El análisis de la filosofía de la naturaleza constituye, así, una vía de capital importancia para percibir los aspectos de la continuidad de este estilo de pensar en vista de aquello que llamaremos Filosofía de la Unidad. Así que –y después de un análisis cuidadoso acerca de los principios que constituyen la realidad de la naturaleza en sus fundamentos–, Schelling propone una nueva concepción de la naturaleza, en la cual la idea de Organismo emerge como una condición necesaria para sostener la actividad permanente, creativa y totalmente libre de la misma, es decir, el proceso de la productividad de la naturaleza. Consiste en contraponer –a través del método especulativo– esa dinamicidad presente en la naturaleza a la noción predominante de su época, es decir, la visión mecanicista de la naturaleza. Al final de esta investigación, nos dimos cuenta de que el esfuerzo de la tarea filosófica schellinguiana en lo que respecta a la filosofía de la naturaleza ofrece, en última instancia, otro concepto de la realidad factual y, necesariamente, nos lleva a una nueva hermenéutica, cuya notoriedad está marcada por la composición naturaleza-ética. / Every day we grow more and more conscious of the gulf that lies between humans and nature. In recent times, the reduction of this gulf to a trivial object has brought forth an unavoidable observation: mankind’s existence is clearly in danger. In the prime of his youth over two hundred years ago, Schelling was, without a doubt, the preeminent modern thinker to detect the conflict that existed within a style of philosophy that was capable of raising human subjectivity to the highest level of thinking, reducing nature to a pure and inert object. The main goal of this research paper is to cover the route through which Schelling’s corpus of philosophy took place, wherein we will proclaim the genesis of his own philosophy: the Philosophy of Nature. Schelling’s daring aspiration to conceive of Nature as a Subject ultimately made it possible to have a new reading of the “being-of-the-world” and his actual situation as a “being-in-the-world”. Such discernment would mark this young philosopher’s career in the development of his Philosophy as a System. The analysis of the philosophy of nature therefore constitutes a very important way to perceive the aspects of the continuity of this manner of thinking in view of that which we call Philosophy of the Unit. Therefore –and after a careful analysis of the principles that make up the reality of nature in its foundations– Schelling proposed a new conception of nature, one in which the idea of the Organism emerges as a necessary condition in order to sustain ongoing, creative and totally free activity, i.e., the process of the productivity of nature. This consists in comparing –through the speculative method– that dynamism present in nature with the predominant notion of his time, i.e., the mechanical view of nature. In the final part of this research, we make note of the fact that the force of Schelling’s philosophical work with regards to the philosophy of nature ultimately offers another concept of factual reality and necessarily brings us to a new hermeneutic space, the notoriety of which is marked by the composition of nature–ethics. / Cada vez somos mais conscientes da cisão existente entre o ser humano e a natureza. A redução desta a um trivial objeto gerou, nos últimos tempos, uma constatação inexorável: a existência da humanidade está nitidamente ameaçada. Schelling, em plena juventude e há mais de dois séculos foi, sem dúvida, o pensador moderno que detectou o conflito existente entre um estilo de filosofia capaz de erigir a subjetividade humana ao nível mais elevado da atividade pensante, reduzindo a natureza a puro e inerte objeto. Esse trabalho de investigação tem como objetivo fundamental recorrer o itinerário da produção filosófica schellinguiana naquilo que denominaremos de gênese de sua própria filosofia: a Filosofia da Natureza. A ousada pretensão de Schelling de conceber a Natureza como Sujeito possibilitou, definitivamente, uma nova leitura do “ser- do-mundo” e sua real situação como “ser-no-mundo”. Tal perspicácia marcaria a trajetória desse jovem filósofo na elaboração de sua Filosofia como Sistema. A análise da filosofia da natureza constitui, desse modo, uma via de singular importância para perceber os aspectos da continuidade desse estilo de pensar em vista daquilo que denominaremos de Filosofia da Unidade. Para isso – e após uma análise séria dos principais elementos que constituem a realidade da natureza em seus fundamentos –, Schelling propõe uma nova concepção de natureza, na qual a ideia de Organismo emerge como critério necessário para sustentar a atividade permanente, criativa e totalmente livre da mesma, ou seja, o processo de produtividade da natureza. Consiste em contrapor – através do método especulativo – essa dinamicidade presente na natureza à noção predominante de sua época, ou seja, a visão mecanicista da natureza. Ao final dessa investigação, demo-nos conta que o esforço da tarefa filosófica schellinguina naquilo que concerne à filosofia da natureza proporciona, em última instância, outro conceito da realidade factual e, necessariamente, nos encaminha a uma nova hermenêutica, notoriamente marcada pela composição natureza-ética. / Die Entzweiung von Mensch und Natur wird uns immer deutlicher bewusst. Die Reduzierung der Natur auf ein triviales Objekt hat in jüngster Zeit zu einer schmerzlichen Feststellung geführt: die Menschheit ist in ihrer Existenz ganz offensichtlich gefährdet. In der Blüte seiner Jugend war Schelling vor über zweihundert Jahren zweifellos der moderne Denker, der den in einer philosophischen Richtung liegenden Konflikt erkannte, welche die menschliche Subjektivität auf die höchste Ebene des Denkens stellt und die Natur dabei auf ein reines inaktives Objekt reduziert. Wesentliches Ziel dieser Forschungsarbeit ist es, den Weg der schellingschen philosophischen Produktion zu dem, was wir die Genese seiner eigenen Philosophie nennen, nachzuzeichnen: der Naturphilosophie. Das unerschrockene Bestreben Schellings, die Natur als Subjekt zu begreifen, ermöglichte letztendlich eine neue Lesart des „Von-der- Welt-Seins“ und seiner realen Situation als „In-der-Welt-Sein“. Diese Scharfsicht sollte den Weg dieses jungen Philosophen bei der Entwicklung seiner Philosophie als System bestimmen. Die Untersuchung der Naturphilosophie ist somit ein äußerst wichtiges Verfahren, um die Aspekte der Kontinuität dieser Denkweise im Hinblick auf das zu begreifen, was wir Philosophie der Einheit nennen werden. Damit schlägt Schelling – nach einer eingehenden Untersuchung der Prinzipien, welche der Realität der Natur zugrunde liegen – eine neue Konzeption der Natur vor, in der die Idee des Organismus als einer notwendigen Bedingung für die Aufrechterhaltung von deren ständiger kreativer und völlig freier Tätigkeit erscheint; er meint den Prozess der Produktivität der Natur. Er setzt – über die spekulative Methode – diese in der Natur vorhandene Dynamik der in seiner Epoche vorherrschenden Auffassung einer mechanistischen Sicht der Natur, entgegen. Am Ende dieser Untersuchung wurde uns bewusst, dass das Bemühen der schellingschen Philosophie im Hinblick auf die Naturphilosophie in letzter Instanz einen anderen Begriff der faktischen Realität bietet und uns notwendigerweise zu einer neuen Hermeneutik führt, deren Bedeutung auf der Verbindung von Natur–Ethik beruht.

La propiedad de generalización de una máquina de aprendizaje, es decir su capacidad para emitir una respuesta correcta ante una nueva entrada semejante a aquellas con las que ha sido entrenada, es la característica principal que se busca en los sistemas conexionistas supervisados y sirve de justificación en la elección de los principios inductivos y el tipo de estructuras de aprendizaje para elaborar el presente estudio.La regularización o penalización es uno de estos principios que favorecen a nivel teórico la generalización, sobre el cual se ha desarrollado un método de cálculo directo de la matriz de regularización cuando se utiliza como estabilizador un operador diferencial de segundo grado, precisamente aquel que minimiza el grado de convexidad de la función solución, evitando así y el proceso iterativo de cálculo de la matriz hessiana y fijando el tipo de núcleo a ser utilizado.Los nexos de unión entre la regularización y el principio de minimización del riesgo estructural así como las excelentes características teóricas mostradas por este ´ ultimo principio trabajando, por definición, sobre conjuntos finitos de datos y expandiendo su solución sobre un número pequeño de núcleos, han llevado a desplazar el foco de trabajo de numerosos investigadoreshacia las máquinas de soporte vectorial, su materialización procedimental. En este contexto, se ha desarrollado una máquina que permite extender de forma natural el comportamiento binario de estas máquinas núcleo de margen máximo sobre problemas de clasificación hacia una solución ternaria m´asacorde con la estructura geométrica de los datos, en especial en las situaciones habituales de espacios de salida que poseen más de dos clases. El uso de la nueva arquitectura, bautizada K-SVCR,en problemas de multiclasificación resulta más adecuado que las reducciones estándares de problemas multiclase sobre máquinas biclasificadoras en estructuras en paralelo o arbóreas puesto que cada nodo de dicotomía considera todo el espacio de entrenamiento y se fuerza al hiperplano de separación a considerar la estructura geométrica de los patrones de entrenamiento. En especial, se demuestra la robustez del nuevo método ante fallos en las predicciones de algunos de sus nodos de trabajo cuando se considera un tipo especial de combinación de estas respuestas. La nueva arquitectura de multiclasificación ha sido modificada con posterioridad para ser implementada sobre un problema de clasificación con características independientes, la ordenación o problema de aprendizaje de preferencias. Sus prestaciones son evaluadas sobre una aplicación financiera en la determinación de riesgos crediticios. Finalmente, una aplicación de categorización o discriminación de escenarios de depuración donde incide el efecto de la temporalidad sirve también como ejemplo de funcionamiento. / The property of generalization of a learning machine, i.e. its capacity to emit a correct answer on a new similar input to those with wich it has been trained, is the basic behavior looked for in the supervised connexionists systems and it serves as justification in the selection of the inductive principles and the type of learning structures to ellaborate the present study.The penalty is one of these principles that favor at theoretical level the generalization, on which a method of direct calculation of the regularization matrix when a second degree differential operator is used like stabilizer, indeed that diminishing the convexity degree of the solution function, avoiding therefore the iterative process of calculation of the Hessian matrix, has been developed and fixing the type of kernel to be used. Links between regularization and the structural risk minimization principle as well as the excellent theoretical characteristics shown by this last principle working, by definition, on finite data sets and expanding their solution on a small number of kernels, have taken to move the center of study of numerous investigators towards the support vector machines, their procedural materialization. In this context, a machine that allows to extend of natural form the binary behavior of these maximum margin ker-nel machines on classification problems towards an agreed ternary solution with the geometric structure of the data has been developed, in special in the habitual situations of output spaces having more than two classes.The use of the new architecture, named K-SVCR, in multiclassification problems is more suitable than the standard reductions from multiclass problems on biclass machines in tree or parallel structures, since each di-chotomie node considers all the training space and force to the hyperplane of separation to consider the geometric structure of the training patterns.In special, the robustness of the new method is demostrated on failures in the predictions of some of its working nodes when a special type of combination of these answers is considered.The new architecture of multiclassification has been modified later to be implemented on a classification problem with independent characteristics, the ordenation or learning of preferences problem. Their benefits are evaluated on a financial application in the determination of credit risks. Finally, an application of categorization in waste water plant scenes, where the temporality affects, also serves like operation example.

Esta obra es una contribución al campo de la Complejidad de la Demostración, que estudia la complejidad de los sistemas de demostración en términos de los recursos necesarios para demostrar o refutar fórmulas proposicionales. La Complejidad de la Demostración es un interesante campo relacionado con otros campos de la Informática como la Complejidad Computacional o la Demostración Automática entre otros. Esta obra se centra en medidas de complejidad para sistemas de demostración refutacionales para fórmulas en FNC. Consideramos varios sistemas de demostración, concretamente Resolución, R(k) y Planos Secantes y nuestros resultados hacen referencia a las medidas de complejidad de tamaño y espacio.Mejoramos separaciones de tamaño anteriores entre las versiones generales y arbóreas de Resolución y Planos Secantes. Para hacerlo, extendemos una cota inferior de tamaño para circuitos monótonos booleanos de Ran y McKenzie a circuitos monótonos reales. Este tipo de separaciones es interesante porque algunos demostradores automáticos se basan en la versión arbórea de sistemas de demostración, por tanto la separación indica que no es siempre una buena idea restringirnos a la versión arbórea.Tras la reciente aparición de R(k), que es un sistema de demostración entre Resolución y Frege con profundidad acotada, era importante estudiar cuan potente es y su relación con otros sistemas de demostración. Resolvemos un problema abierto propuesto por Krajícek, concretamente mostramos que R(2) no tiene la propiedad de la interpolación monónota factible. Para hacerlo, mostramos que R(2) es estrictamente más potente que Resolución.Una pregunta natural es averiguar si se pueden separar sucesivos niveles de R(k) o R(k) arbóreo. Mostramos separaciones exponenciales entre niveles sucesivos de lo que podemos llamar la jerarquía R(k) arbórea. Esto significa que hay formulas que requieren refutaciones de tamaño exponencial en R(k) arbóreo, pero tienen refutaciones de tamaño polinómico en R(k+1) arbóreo. Propusimos una nueva definición de espacio para Resolución mejorando la anterior de Kleine-Büning y Lettmann. Dimos resultados generales sobre el espacio para Resolución y Resolución arbórea y también una caracterización combinatoria del espacio para Resolución arbórea usando un juego con dos adversarios para fórmulas en FNC. La caracterización permite demostrar cotas inferiores de espacio para la Resolución arbórea sin necesidad de usar el concepto de Resolución o Resolución arbórea. Durante mucho tiempo no se supo si el espacio para Resolución y Resolución arbórea coincidían o no. Hemos demostrado que no coinciden al haber dado la primera separación entre el espacio para Resolución y Resolución arbórea.También hemos estudiado el espacio para R(k). Demostramos que al igual que pasaba con el tamaño, R(k) arbóreo también forma una jerarquía respecto alespacio. Por tanto, hay fórmulas que necesitan espacio casi lineal en R(k) arbóreo mientras que tienen refutaciones en R(k+1) arbóreo con espacio contante. Extendemos todas las cotas inferiores de espacio para Resolución conocidas a R(k) de una forma sencilla y unificada, que también sirve para Resolución, usando el concepto de satisfactibilidad dinámica presentado en esta obra. / This work is a contribution to the field of Proof Complexity, which studies the complexity of proof systems in terms of the resources needed to prove or refute propositional formulas. Proof Complexity is an interesting field which has several connections to other fields of Computer Science like Computational Complexity or Automatic Theorem Proving among others. This work focuses in complexity measures for refutational proof systems for CNF formulas. We consider several proof systems, namely Resolution, R(k) and Cutting Planes and our results concern mainly to the size and space complexity measures. We improve previous size separations between treelike and general versions of Resolution and Cutting Planes. To do so we extend a size lower bound for monotone boolean circuits by Raz and McKenzie, to monotone real circuits. This kind of separations is interesting because some automated theorem provers rely on the treelike version of proof systems, so the separations show that is not always a good idea to restrict to the treelike version. After the recent apparition of R(k) which is a proof system lying between Resolution and bounded-depth Frege it was important to study how powerful it is and its relation with other proof systems. We solve an open problem posed by Krajícek, namely we show that R(2) does not have the feasible monotone interpolation property. To do so, we show that R(2) is strictly more powerful than Resolution. A natural question is to find out whether we can separate successive levels of R(k) or treelike R(k). We show exponential separations between successive levels of what we can call now the treelike R(k) hierarchy. That means that there are formulas that require exponential size treelike R(k) refutations whereas they have polynomial size treelike R(k+1) refutations. We have proposed a new definition for Resolution space improving a previous one from Kleine-Büning and Lettmann. We give general results for Resolution and treelike Resolution space and also a combinatorial characterization of treelike Resolution space via a Player-Adversary game over CNF formulas. The characterization allows to prove lower bounds for treelike Resolution space with no need to use the concept of Resolution or Resolution refutations at all. For a long time it was not known whether Resolution space and treelike Resolution space coincided or not. We have answered this question in the negative because we give the first space separation from Resolution to treelike Resolution. We have also studied space for R(k). We show that, as happened with respect to size, treelike R(k) forms a hierarchy respect to space. So, there are formulas that require nearly linear space for treelike R(k) whereas they have constant space treelike R(k+1) refutations. We extend all known Resolution space lower bounds to R(k) in an easier and unified way, that also holds for Resolution, using the concept of dynamical satisfiability introduced in this work.

In a commercial Internet, the traffic behavior is determined by the contracts between the ISPs and the users, where a user can be a dial-up user, or one corporate network or a group of individual customers or networks. Since the user is the entity with whom the contract is signed, it should also be the unit to which network resources are allocated. However, while much research in the past has been directed to fair resource allocations for flows (e.g. maxmin fairness and proportional fairness), much less effort has been invested on fair allocation of resources for users. The work done in this thesis tries to fill this gap: we study how to share fairly the network resources among users, when a user can possibly send several flows through different paths.The first part of the thesis focuses on the definition of a fairness criterion for the above problem: user maxmin fairness. The proposed criterion is based on the concepts of utility and welfare developed in the field of political science and political economics. We subdivide the problem of fairly allocating the network resources among users in two subproblems: 1) achieve fairness with respect to the utility experienced by the different users (inter-user fairness) and 2) achieve fairness with respect to the utility experienced by the different flows of a user (intra-user fairness). User maxmin fairness is the result of combining the two welfare functions that solve these two subproblems.Along with the user maxmin fairness criterion, in this thesis we propose a mechanism to implement it: the User Fair Queuing (UFQ) mechanism. In UFQ, a user is allowed to assign any label values to his packets to indicate their relative priority. At the ingress, an algorithm is used to control these labels assigned by the user. We have shown mathematically that: (a) the proposed label control does not allow the asymptotic throughput of a user to exceed its fair rate, and (b) if users label their packets in order to maximize their level of satisfaction or utility, then the resulting bandwidth allocation is user maxmin fair.In the last part of the thesis, we propose a network architecture for the Internet: the User Fair Differentiation (UFD) architecture. The UFD architecture extends the UFQ mechanism in such a way that its good features for resource sharing are preserved. In addition, UFD provides service differentiation, inter-domain communication, real-time traffic support and extensions for multicast and wireless. The fact that neither admission control nor signaling are required strongly contributes to the simplicity of UFD. The fact that no per-user state is kept at core nodes makes the proposed architecture scalable.The performance of the UFD architecture has been extensively evaluated via simulations and a prototype implementation. Both simulation and experimental results have validated the architecture proposed in this thesis.

En aquesta tesi es du a terme l'anàlisi i caracterització traductològica d'un corpus seleccionat d'acord amb els diferents àmbits en què es produeix el discurs mediambiental. Aquest corpus està integrat per textos en què la direccionalitat, respecte del català, ha estat tant directa com inversa, procés en què hi han intervingut diferents llengües amb l'objectiu d'analitzar, comparativament, qüestions de tipus discursiu tant a nivell macrodiscursiu com microdiscursiu. En el primer nivell es tracten qüestions relacionades amb els gèneres textuals mediambientals, la tipologia textual, els graus d'especialització, els suports textuals i l'edició. En el nivell microdiscursiu, s'analitzen, per una banda, els comportaments traductors sense intencionalitat ideològica evident, com ara aspectes culturals, terminològics, etc.; i de l'altra, els comportaments amb intencionalitat ideològica evident, com és el cas de les qüestions sociolingüístiques, de gènere, d'ètnia i els relacionats amb la toponímia. Una vegada elaborada l'anàlisi qualitativa dels aspectes que s'hi han detectat, s'estudia la rellevància d'aquests aspectes segons els àmbits de tradució, els gèneres textuals, els graus d'especialització i la direccionalitat del català per tal de determinar el seu valor quantitatiu global.

Esta tesis doctoral recoge un trabajo etnográfico en torno a la práctica asistencial en dos espacios concretos, como son los servicios de urgencias y los de emergencias en Tarragona. Con un fin, conocer como se construye la ética asistencial y analizar los problemas éticos; así como otras cuestiones que se derivan de la práctica que pueden ser consideradas dentro del amplio mundo de la bioética. Se han utilizado como principales técnicas de investigación cualitativa la entrevista en profundidad, el grupo focal y las narrativas en un grupo de 16 enfermeras, 6 médicos y un paciente. La investigación se centra en las experiencias de los profesionales sanitarios que intervienen en la misma y especialmente de enfermeras y enfermeros, de las cuales se exploran los diferentes modos de articulación de las prácticas desde una perspectiva ética, para conocer la racionalidad dominante en los procesos de toma de decisiones éticas en situaciones de cuidados, cuando la persona se encuentra en una situación de urgencia o emergencia. Podemos concluir, que la asistencia sanitaria actual, en estas situaciones, responde al modelo médico hegemónico, pero existen voces que pueden legitimar dentro del sistema nuevas posibilidades de entender y practicar una medicina y una enfermería donde se reconozcan todas las dimensiones de la personas sin considerarlos cuerpos fragmentados.La tesis se concluye con propuestas de nuevas líneas de investigación, con el fin de desarrollarlas y poder introducir así cambios en las relaciones asistenciales, tanto a nivel interprofesional, como entre profesionales y personas que hacen uso de los servicios sanitarios, que permitan adaptarse a las nuevas tendencias, tanto socio-culturales, jurídicas, éticas o humanísticas. / This dissertation takes an ethnographic work around care practice in two specific areas, such as emergency departments and emergency ambulance in Tarragona. With an end, know how to build the ethics of care and analyze ethical issues as well as other issues arising from the practice that can be considered within the broader world of bioethics.Were used as the main techniques of qualitative research depth interviews, focus group and narratives in a group of 16 nurses, 6 doctors and a patient. The research focuses on the experiences of health professionals involved in it and especially nurses, of which explores different modes of articulation of the practices from an ethical perspective, to know the dominant rationality in the process of ethical decisions in care situations where the person is in an urgent situation or emergency. We conclude that the current health care in these situations, responds to the dominant medical model, but there are voices within the system can legitimize new possibilities of understanding and practice medicine and nursing which recognize all dimensions of the people without considering fragmented bodies.The thesis concludes with proposals for new lines of investigation, in order to develop and to allow changes in relationships and care, both within the trade, as between professionals and people who use health services, which can adapt to the new trends, both socio-cultural, legal, ethical and humanistic. Keywords: Care, Ethics, Bioethics, Nursing and Anthropology

Se trata de un trabajo que, si bien se puede adscribir al ámbito de estudio de la traducción audiovisual, no está exento de una clara orientación interdisciplinaria. El objetivo principal del mismo consistía en investigar, desde una dominante perspectiva descriptivista, el modo en el que ciertos pasajes humorísticos extraídos de la conocida serie de animación Los Simpson habían trasvasado la barrera no sólo interlingüística (inglés / español), sino también intercultural. Tras una necesaria primera fase de reflexión teórica y de la propuesta de una taxonomía de elementos capaces de dotar de humor al texto audiovisual, se procedió a la aplicación de los diferentes conceptos tratados (muy en particular de determinados postulados del Principio de Relevancia) al corpus seleccionado, con objeto de detectar aquellos elementos que dotaban de humor a los distintos segmentos examinados y observar cómo se había llevado a cabo su traducción. En líneas generales, tras esta fase analítica fue posible llegar a distintas conclusiones referentes a la traducibilidad del humor en textos audiovisuales, cuantificar el volumen de elementos humorísticos en cada versión y cifrar el porcentaje de humor que permanece y que se pierde como consecuencia de la actuación traductora, obtener una radiografía general del humor en este tipo de textos y, finalmente, confeccionar una lista de tendencias de traducción (entendidas como posibles normas) del humor en textos audiovisuales.

La incorporació de la participació del públic a les institucions museístiques a través de las xarxes socials es pot entendre com una evolució de l’experiència cultural. En aquest supòsit, la present tesi doctoral es proposa l’objectiu d’esbrinar si les institucions de patrimoni digital podrien ser un exponent de l’ús de la cultura 2.0 atenent l’objectiu d’abastar públics llunyans i convertir-los en assidus analitzant les comunitats d’internautes procedents de diferents països: El Museu d’Art Modern i Contemporani de Trento i Rovereto (Mart), el Museu Thyssen-Bornemisza de Madrid, el Victoria & Albert Museum de Londres i l’Indianapolis Museum of Art (IMA) d’Indianàpolis. A través de l’estudi realitzat s’han pogut detectar també algunes pautes per apropar les estratègies adoptades per l’esfera institucional, en relació als nous mitjans socials, a les necessitats actuals del públic. / La incorporación de la participación del público en las instituciones museísticas a través de las redes sociales se puede entender como una evolución de la experiencia cultural. En este supuesto la presente tesis doctoral se propone el objetivo de averiguar si las instituciones de patrimonio digital podrían ser un exponente del uso de la cultura 2.0 atendiendo el objetivo de alcanzar públicos lejanos y convertirlos en asiduos analizando las comunidades de internautas de cuatro instituciones procedentes de diferentes países: el Museo de Arte Moderno y Contemporáneo de Trento e Rovereto (Mart), el Museo Thyssen-Bornemisza de Madrid, el Victoria & Albert Museum de Londres y el Indianapolis Museum of Art (IMA) de Indianápolis. A través del estudio realizado se han podido detectar también algunas pautas para acercar las estrategias adoptadas por la esfera institucional, en relación a los nuevos medios sociales, a las necesidades actuales del público. / The inclusion of audience participation in museums through social networks can be seen as an evolution of cultural experience. In this case this doctoral thesis intends to find out if digital heritage institutions could be an exponent of the participative culture in order to reach distant audiences and turn them into regulars analyzing the virtual communities of four institutions from different countries: the Museum of Modern and Contemporary Art of Trento and Rovereto (Mart), the Thyssen-Bornemisza Museum of Madrid, the Victoria & Albert Museum of London and the Indianapolis Museum of Art (IMA) of Indianapolis. The study detected also some guidelines to get the strategies adopted by the institutional sphere, regarding the new social media, close to the current audience’s needs.

1.IntroduccióEs coneix per paraoxonasa (PON) un grup d'enzims d'una família gènica que en els mamífers té almenys tres membres codificats pels gens PON1, PON2 i PON3. El més conegut d'aquests productes gènics és PON1, al qual la majoria d'autors es refereixen amb el nom de "paraoxonasa", tot i que en funció del substrat que s'utilitzi per a la seva determinació aquest enzim també es pot anomenar "arilesterasa". El paper fisiològic de la PON1 encara no és ben conegut. En sèrum, aquest enzim es troba estretament associat a les HDL i és probable que aquesta associació sigui, en part, responsable del paper protector que les HDL exerceixen sobre la peroxidació de les LDL; ja que la PON1 és capaç de degradar els lipoperòxids formats a la LDL. Existeixen diversos llocs polimòrfics al gen PON1, dels quals els més estudiats són: els polimorfismes en posició 55 (PON155) i en posició 192 (PON1192). Aquests polimorfismes poden influir en la concentració i l'activitat de la PON1 i, segons alguns autors, també podrien afectar a la seva capacitat de protegir la LDL de l'oxidació. Considerant que aquest fenomen sembla ser un fet clau en el desenvolupament de l'arteriosclerosi, diversos autors ha estudiat la relació entre la PON1 i la malaltia cardiovascular. Els resultats d'aquests treballs no han estat concloents.La síntesi de La PON1 sembla ser quasi exclusivament hepàtica. Actualment no es coneix si la PON1 té alguna funció específica dins dels hepatòcits o només es sintetitza i emmagatzema en ells per ser associada a les HDL i secretada a la circulació. Tampoc se sap si la PON1 té alguna funció en la fisiopatologia de les malalties hepàtiques.En resum: d'una banda, els estudis realitzats per la comunitat científica per avaluar la relació de la PON1 amb les malalties cardiovasculars presentaven resultats contradictoris, d'una altra, hi havia una manca d'informació sobre els nivells d'activitat paraoxonasa en la malaltia hepàtica. Per aquests motius, el nostre grup de recerca es va interessar per l'estudi de la PON1 en la malaltia cardiovascular i també en la malaltia hepàtica crònica.2. ObjectiusEstudi 1: · Valorar si els polimorfismes PON155 i PON1192 de l'enzim PN1 o la seva expressió fenotípica estan associats a la incidència d'infart de miocardi en una població mediterrània.Estudi 2: · Investigar la relació entre l'activitat PON1 en microsomes hepàtics, la peroxidació lipídica i el progrés de la malaltia en rates amb cirrosi hepàtica induïda per CCl4.Estudi 3: · Investigar la relació entre l'activitat PON1 en sèrum i el grau de lesió hepàtica en pacients amb malaltia hepàtica crònica.· Investigar la influència de la variabilitat genètica de PON1 en la seva activitat en el sèrum d'aquests pacients.· Investigar l'eficàcia de la mesura de l'activitat PON1 en sèrum, sola o en combinació amb els tests bioquímica habituals, en la valoració de la malaltia hepàtica crònica.3. Resultats i discussióEstudi 1: Paraoxonase Gln-Arg (192) and Leu-Met (55) gene polymorphisms and enzyme activity in a population with a low rate of coronary heart disease. Clinical Biochemistry 2002; 35: 197-203.Estudi 2: Hepatic paraoxonase activity alterations and free radical production in rats with experimental cirrhosis. Metabolism 2001; 50: 997-1000.Estudi 3: Serum paraoxonase activity: a new additional test for the improved evaluation of chronic liver damage. Clinical Chemistry 2002; 48: 261-268. / 1. IntroductionParaoxonase (PON) is an ester hidrolase that catalyzes the hydrolysis of some xenobiotics, such as organophosforates, unsaturated aliphatic esters, aromatic carboxylic esters, and possibly, carbamates. The PON gene family contains, in mammals, at least tree members, PON1, PON2 and PON3. The most known of these gene products is PON1, called "paraoxonase" or "arilesterase" depending on the substrate used to measure its activity.PON1 is known to be tightly bound with HDL in serum, and some studies suggest that this association contributes to the protection conferred by HDL against LDL oxidation, since PON1 is capable to hydrolyze lipid peroxides located in oxidized LDL. There are some polymorphisms in PON1 gene, the most known being Gln/Arg substitution at position 192 and Met/Leu substitution at position 55. These polymorphisms are known to influence the activity and concentration of PON1. Some authors have associated these polymorphisms with PON1's ability to protect against LDL oxidation. LDL oxidation plays a key role in arteriosclerosis and, some studies have investigated the relation between PON1 protein, polymorphisms and these disease. The results had been inconclusive.The liver plays a key role in the synthesis of serum PON1. PON1 gene expression has been observed only in the liver, and in vitro biochemical studies indicate properties shared by hepatic and serum PON1 what supports the hypothesis of a common identity for both enzymes. The possible function of PON1 in liver diseases is not known. 2. AimsFirst study: to assess whether PON1 polymorphisms at positions 55 and 192 or their phenotypic expression are associated with the incidence of myocardial infarction in a Mediterranean population.Second study: to investigate the relationship between PON1 activity in hepatic microsomes, lipid peroxidation and hepatic damage progression in rats with CCl4 induced cirrhosis.Third study: to investigate a) the relationship between serum PON1 activity and the degree of hepatic damage in patients with chronic liver disease; b) the influence of genetic variability on serum PON1 activity in these patients and; c) the efficacy of serum PON1 activity measurement, alone and in combination with the standard liver function tests, in the assessment of liver damage.3. Results and discussionFirst study: Paraoxonase Gln-Arg (192) and Leu-Met (55) gene polymorphisms and enzyme activity in a population with a low rate of coronary heart disease. Clinical Biochemistry 2002; 35: 197-203.Second study: Hepatic paraoxonase activity alterations and free radical production in rats with experimental cirrhosis. Metabolism 2001; 50: 997-1000.Third study: Serum paraoxonase activity: a new additional test for the improved evaluation of chronic liver damage. Clinical Chemistry 2002; 48: 261-268.