The proportional distribution in a cooperative model with external opportunities

[cat] En aquest article es considera un problema de cooperació entre agents on cada agent realitza una contribució (diners, capital, treball, esforç) per tal d'obtenir un benefici comú a repartir. El repartiment proporcional respecte a les contribucions és una distribució que pertany al nucli del joc cooperatiu associat. A partir d'aquest model bàsic s'introdueix un agent extern que pot realitzar una determinada aportació que serveix per avaluar el potencial benefici de cada subcoalició d'agents si aquest nou agent finalment entrés. Aquesta anàlisi pot produir que el poder relatiu dels agents hagi variat. en concret s'avalua si la distribució proporcional és encara robusta des del punt de vista de la seva pertinença al conjunt de negociació. Amb aquest objectiu, analitzem el problema utilitzant el model de joc cooperatius amb estructura de coalició. Donat que, en general, la distribució proporcional, no pertany al conjunt de negociació, s'estudia una condició suficient per a que així sigui. També enunciem una condició necessària, i finalment es proposa una condició suficient que garanteix que el repartiment proporcional és la única distribució existent dins del conjunt de negociació.[eng] We study a cooperative problem where agents contribute a certain amount of money or capital in order to obtain a surplus. The proportional distribution with respect to the contributions of players is a core element of the cooperative game associated. Within this basic model, an external agent is introduced in order to evaluate the potential profit of every subcoalition of agents in the case this new agent enters. This analysis can produce that the relative bargaining power of agents may be modified. In particular, we evaluate whether the proportional distribution is still a robust proposal from the point of view of the bargaining set of a cooperative game with coalition structure (Davis and Maschler, 1963). Since, in general, the proportional distribution fails to be a bargaining set element of this game, a sufficient condition for the proportional allocation to belong to the bargaining is stated. A necessary condition is also analysed. Finally, we state a sufficient condition that guarantees the proportional distribution to be the unique element of the bargaining set of the associated game with coalition structure

Desfragmentar la Universidad: el Core Curriculum como marco integrador de saberes

La desfragmentación de la vida de las personas y de la sociedad actual se proyecta también en el ámbito universitario. Asistimos a una creciente compartimentalización del saber, presente en el diseño de los planes de estudio; en la organización institucional de las universidades en facultades independientes, o en departamentos y áreas de conocimiento muchas veces incomunicados. La solución a esta fragmentación del saber, contraria a la esencia de la institución universitaria, pasa por ofrecer una formación intelectual que haga posible la integración de los conocimientos especializados en una unidad superior. En esta tarea, el Core Curriculum puede contribuir decisivamente. El Core Curriculum, nacido en USA en los años 20 en universidades de Chicago y Columbia, es un conjunto de asignaturas, normalmente de tipo humanístico, comunes a todos los estudiantes con independencia de la carrera que cursen. En la Universidad de Navarra existe también un Core Curriculum. Su finalidad principal es contribuir al desarrollo de la madurez intelectual de los estudiantes a través del estudio y reflexión sobre las grandes cuestiones de la existencia humana: el sentido y finalidad de la vida, el problema del mal, la libertad, el amor, Dios en sí mismo y en su relación con el hombre, etc. Esta búsqueda de la verdad es el camino para que los estudiantes alcancen por sí mismos una interpretación global de la realidad, que dote de sentido sus vidas y ofrezca un marco de integración para el resto de materias que cursan en su Grado

Political economy of the Unheimlich in Heidegger's aesthetic-political thought

El presente texto aborda el problema de la política en el pensamiento de Heidegger a partir del tratamiento que hay en él de la cuestión de la verdad y la obra de arte, exponiendo a partir del concepto de Unheimlich, los elementos centrales de una ontología política que problematiza los acercamientos habituales al “caso Heidegger”, hacia una consideración filosófica política donde ese problema pueda ser pensado en relación con el concepto de pensar poético rememorante (Andenken).This present paper deals with the problem of politics in Heidegger’s thought from the treatment he gives to the question of the truth and the artwork, exposing, from the concept of Unheimlich, the core elements of a political ontology that problematizes the common approaches to the “Heidegger case” towards a political philosophical consideration where that issue can be treated in relation to the concept of a remembering poetic thought (Andenken)

Efficient Solutions in Path Planning for Autonomous Mobile Robots

Fecha de lectura de Tesis: 25 julio 2018.Los robots, máquinas que desempeñan un abanico de tareas de lo más variopinto. Desde realizar tareas muy específicas en cadenas de montaje hasta desempeñar la mayoría de labores cotidianas que los seres humanos tenemos que afrontar cada día. Como se puede intuir, para esto se necesitan no solo máquinas, sino máquinas dotadas de cierta inteligencia, que surge de la necesidad de que las máquinas abandonen su estatismo y monotonía para comenzar a enfrentarse a un mundo dinámico y ambiguo: nuestro mundo. El principal desencadenante que ha llevado al ser humano a dotar de inteligencia y movilidad a las máquinas es su afán de dominar y, al mismo tiempo, liberarse de un entorno cada vez más estresante. Hay dos aspectos irrefutables que marcan la versatilidad de una máquina: su inteligencia y su movilidad. Hablando de robótica y movilidad surge el problema de cómo y por dónde debe moverse un robot para alcanzar un determinado objetivo sin comprometer su integridad física. Como el significado de moverse puede ser muy amplio, aquí hablaremos de desplazamiento, en el sentido literal de viajar. Y cuando viajamos a algún lugar siempre nos preguntamos lo siguiente: ¿Por dónde vamos? y ¿Cuál es el la mejor alternativa?. Esta problemática, en robótica, se conoce como el problema del Path Planning. En esta tesis doctoral se aborda, de manera innovadora y altamente paralela, el problema del Path Planing sobre mapas reales extensos en un contexto de tiempo real. Este grado de paralelismo se consigue gracias al uso intensivo de las populares GPU (Unidad Gráfica de Procesamiento) y de los bien conocidos chips multi-core. Pero aquí no solo se aborda el problema del Path Planning desde un punto de vista altamente paralelo sino que, de manera transversal, también se aborda desde un punto de vista inteligente aplicando metaheurísticas

Mind, brain, and downward causation

Este trabajo tiene tres partes. En la primera, exponemos algunas nociones básicas, como las de causalidad mental e intencional, así como la de causalidad misma; procedemos a continuación a formular algunas tesis, inspiradas en las ciencias naturales, y a mostrar cómo parecen entrar en conflicto con la aceptación de la causalidad intencional. Este conflicto es el núcleo del problema de la causalidad mental. En la segunda parte, presentamos y discutimos brevemente algunas propuestas para abordar este problema, y tratamos de sacar a la luz sus dificultades. Finalmente, en la tercera parte, planteamos tentativamente algunas sugerencias sobre el modo en que el problema de la causalidad intencional podría llegar a tener una solución.This paper has three parts. In the first, we present some basic notions, such as mental and intentional causation, and causation itself; we then proceed to state some theses, inspired by the natural sciences and to show how they seem to conflict with the acceptance of intentional causation. This conflict is the core of the problem of mental causation. In the second part, we present and discuss briefly some proposals to deal with this problem and try to bring to light their difficulties. And, in the third part, we put forward some tentative suggestions as to how the problem of intentional causation might eventually find a solution

Prototipo de aplicativo para especificar requerimientos de software

Trabajo de InvestigaciónLa especificación de requerimientos para un desarrollo eficaz del producto necesario en una empresa o entidad es de gran importancia, tanto para los intereses económicos como para resolver los problemas que el proyecto plantea. Este trabajo de grado está pensado y desarrollado para minimizar los errores en la especificación de requerimientos de negocio a través de un aplicativo, diseñado para que el Core del negocio es decir, la parte donde el cliente recita las expectativas del proyecto, sea lo más objetiva posible, concediendo al grupo de analistas una mejor idea del producto final que se quiere implementar.INTRODUCCIÓN 1. PLANTEAMIENTO DEL PROBLEMA 2. OBJETIVOS DEL PROYECTO 3. MARCO REFERENCIAL 4. METODOLOGÍA PROPUESTA 5. LECTURA DE PAPERS 6. DESARROLLO DEL PROYECTO 7. CONCLUSIONES BIBLIOGRAFÍA ANEXOSPregradoIngeniero de Sistema

Propuesta de normalización bibliográfica para la creación de metadatos basados en Dublin Core en los Repositorios Universitarios del proyecto 3R

El proyecto de 3R-Red de Repositorios Universitarios de Recursos Digitales es un trabajo de investigación orientado a desarrollar un prototipo de Repositorios Universitarios (RU) dentro de la UNAM. Parte de su trabajo se centra en la elaboración de políticas de descripción bibliográfica para aquellos objetos digitales que conforman los RU adscritos al proyecto. Actualmente esta labor ha consistido en el análisis y valoración de la Iniciativa de Metadatos Dublin Core (DCMI por sus siglas en inglés), en tanto que es un protocolo de transferencia de metadatos adecuado a los requerimientos de 3R. Sin embargo, dada la ambigüedad que DCMI presenta al momento de asentar información en algunos de sus elementos —tales como título, creador, editor y colaborador—, se previó la necesidad de utilizar esquemas alternos que coadyuven a la consignación y normalización de la información sobre los objetos digitales que conforman los RU. Por lo tanto, el presente trabajo aborda de manera concreta el problema de la descripción bibliográfica y de información en los quince elementos que componen el núcleo de Dublin Core, en paticular cuatro de ellos, al tiempo que propone la utilización de esquemas de codificación alternos para la descripción bibliográfica, como es el caso de las Reglas de Catalogación Angloamericanas 2a. edición (RCA2) y diferentes normas ISO, con el fin de obtener un cuerpo de metadatos que permita la recuperación y el intercambio de información entre los distintos Repositorios Universitarios que integran el proyecto de 3R

Merge over move and the Extended Projection Principle: MOM and the EPP Revisited

A class of proposals are examined that aim to avoid problems that arise in various instantiations of the ‘Merge over Move’ (MOM) cost-ofoperation distinction. It is concluded that while the mechanisms introduced there exhibit independently interesting features, they subtract substantially from the interest of the MOM economy of derivation explanations. The removal of an assumption will then be considered that makes the core cases involving there-constructions a problem to begin with: that non-finite T must host a specifier position (checking an EPP/D-feature). Denying the existence of such features removes the problem that the MOM distinction was introduced to solve, allowing the core cases of associate-movement vs. expletive-insertion to arise as a case of true optionality. Consequences for other phenomena are examined and the proposal is found to be consistent with much recent research investigating these phenomena.En este trabajo se examina una serie de propuestas destinadas a evitar problemas relacionados con varios casos de la distinción Ensamble sobre Movimiento (EsM) tomando como base el coste de la operación. Se concluye que mientras que los mecanismos introducidos en estas propuestas muestran rasgos que pueden ser interesantes de manera independiente, estos mismos se apartan sustancialmente del interés de las explicaciones derivacionales del marco EsM, basado en la economía. Será entonces cuando se considerará la eliminación de una asunción que convierta los casos básicos que implican construcciones-there en un problema con el que empezar: que el T no-finito ha de contener una posición de especificador (para cotejar un rasgo PPE/D). Negar la existencia de dichos rasgos elimina el problema para el que la distinción EsM se introdujo, permitiendo que los casos esenciales de movimiento del asociado frente a la inserción directa del expletivo se conviertan en un caso de verdadera opcionalidad. Se examinan consecuencias para otros fenómenos y se concluye que la propuesta es compatible con gran parte de las investigaciones recientes que estudian estos fenómenos.É analisada uma classe de propostas que procuram evitar problemas que emergem em v{rias instanciações da distinção de ‘Merge sobre Move’ (MOM). Conclui-se que, enquanto os mecanismos aí introduzidos exibem independentemente propriedades interessantes, eles subtraem substancialmente ao interesse das explicações da economia de derivação de MOM. A remoção de uma assunção será assim considerada, aquela que faz com que os casos centrais envolvendo construções com there constituam um problema: T não-finito deve abrigar uma posição Spec (satisfazendo uma propriedade do PPE/D). Negar a existência de tais propriedades remove o problema que a distinção MOM procurou resolver, permitindo aos casos centrais de movimento-associado vs inserção de expletivo emergir como um caso de verdadeira opcionalidade. São analisadas consequências para outros fenómenos e a proposta demonstra ser consistente com muita da investigação recente sobre os fenómenos

HPC algorithms for nonnegative decompositions

Muchos problemas procedentes de aplicaciones del mundo real pueden ser modelados como problemas matemáticos con magnitudes no negativas, y por tanto, las soluciones de estos problemas matemáticos solo tienen sentido si son no negativas. Estas magnitudes no negativas pueden ser, por ejemplo, las frecuencias en una señal sonora, las intensidades de los pixeles de una imagen, etc. Algunos de estos problemas pueden ser modelados utilizando un sistema de ecuaciones lineales sobredeterminado. Cuando la solución de dicho problema debe ser restringida a valores no negativos, aparece un problema llamado problema de mínimos cuadrados no negativos (NNLS por sus siglas en inglés). La solución de dicho problema tiene múltiples aplicaciones en ciencia e ingeniería. Otra descomposición no negativa importante es la Factorización de Matrices No negativas (NMF por sus siglas en inglés). La NMF es una herramienta muy popular utilizada en varios campos, como por ejemplo: clasificación de documentos, aprendizaje automático, análisis de imagen o separación de señales sonoras. Esta factorización intenta aproximar una matriz no negativa con el producto de dos matrices no negativas de menor tamaño, creando habitualmente representaciones por partes de los datos originales. Los algoritmos diseñados para calcular la solución de estos dos problemas no negativos tienen un elevado coste computacional, y debido a ese elevado coste, estas descomposiciones pueden beneficiarse mucho del uso de técnicas de Computación de Altas Prestaciones (HPC por sus siglas en inglés). Estos sistemas computacionales de altas prestaciones incluyen desde los modernos computadores multinucleo a lo último en aceleradores de calculo (Unidades de Procesamiento Gráfico (GPU), Intel Many Integrated Core (MIC), etc.). Para obtener el máximo rendimiento de estos sistemas, los desarrolladores deben utilizar tecnologías software tales como la programación paralela, la vectoración o el uso de librerías de computación altas prestaciones. A pesar de que existen diversos algoritmos para calcular la NMF y resolver el problema NNLS, no todos ellos disponen de una implementación paralela y eficiente. Además, es muy interesante reunir diversos algoritmos con propiedades diferentes en una sola librería computacional. Esta tesis presenta una librería computacional de altas prestaciones que contiene implementaciones paralelas y eficientes de los mejores algoritmos existentes actualmente para calcular la NMF. Además la tesis también incluye una comparación experimental entre las diferentes implementaciones presentadas. Esta librería centrada en el cálculo de la NMF soporta múltiples arquitecturas tales como CPUs multinucleo, GPUs e Intel MIC. El objetivo de esta librería es ofrecer un abanico de algoritmos eficientes para ayudar a científicos, ingenieros o cualquier tipo de profesionales que necesitan hacer uso de la NMF. Otro problema abordado en esta tesis es la actualización de las factorizaciones no negativas. El problema de la actualización se ha estudiado tanto para la solución del problema NNLS como para el calculo de la NMF. Existen problemas no negativos cuya solución es próxima a otros problemas que ya han sido resueltos, el problema de la actualización consiste en aprovechar la solución de un problema A que ya ha sido resuelto, para obtener la solución de un problema B cercano al problema A. Utilizando esta aproximación, el problema B puede ser resuelto más rápido que si se tuviera que resolver sin aprovechar la solución conocida del problema A. En esta tesis se presenta una metodología algorítmica para resolver ambos problemas de actualización: la actualización de la solución del problema NNLS y la actualización de la NMF. Además se presentan evaluaciones empíricas de las soluciones presentadas para ambos problemas. Los resultados de estas evaluaciones muestran que los algoritmos propuestos son más rápidos que resoMolts problemes procedents de aplicacions del mon real poden ser modelats com problemes matemàtics en magnituts no negatives, i per tant, les solucions de estos problemes matemàtics només tenen sentit si son no negatives. Estes magnituts no negatives poden ser, per eixemple, la concentració dels elements en un compost químic, les freqüències en una senyal sonora, les intensitats dels pixels de una image, etc. Alguns d'estos problemes poden ser modelats utilisant un sistema d'equacions llineals sobredeterminat. Quant la solució de este problema deu ser restringida a valors no negatius, apareix un problema nomenat problema de mínims quadrats no negatius (NNLS per les seues sigles en anglés). La solució de este problema te múltiples aplicacions en ciències i ingenieria. Un atra descomposició no negativa important es la Factorisació de Matrius No negatives(NMF per les seues sigles en anglés). La NMF es una ferramenta molt popular utilisada en diversos camps, com per eixemple: classificacio de documents, aprenentage automàtic, anàlisis de image o separació de senyals sonores. Esta factorisació intenta aproximar una matriu no negativa en el producte de dos matrius no negatives de menor tamany, creant habitualment representacions a parts de les dades originals. Els algoritmes dissenyats per a calcular la solució de estos dos problemes no negatius tenen un elevat cost computacional, i degut a este elevat cost, estes descomposicions poden beneficiar-se molt del us de tècniques de Computació de Altes Prestacions (HPC per les seues sigles en anglés). Estos sistemes de computació de altes prestacions inclouen des dels moderns computadors multinucli a lo últim en acceleradors de càlcul (Unitats de Processament Gràfic (GPU), Intel Many Core (MIC), etc.). Per a obtindre el màxim rendiment de estos sistemes, els desenrolladors deuen utilisar tecnologies software tals com la programació paralela, la vectorisació o el us de llibreries de computació de altes prestacions. A pesar de que existixen diversos algoritmes per a calcular la NMF i resoldre el problema NNLS, no tots ells disponen de una implementació paralela i eficient. Ademés, es molt interessant reunir diversos algoritmes en propietats diferents en una sola llibreria computacional. Esta tesis presenta una llibreria computacional de altes prestacions que conté implementacions paraleles i eficients dels millors algoritmes existents per a calcular la NMF. Ademés, la tesis també inclou una comparació experimental entre les diferents implementacions presentades. Esta llibreria centrada en el càlcul de la NMF soporta diverses arquitectures tals com CPUs multinucli, GPUs i Intel MIC. El objectiu de esta llibreria es oferir una varietat de algoritmes eficients per a ajudar a científics, ingeniers o qualsevol tipo de professionals que necessiten utilisar la NMF. Un atre problema abordat en esta tesis es la actualisació de les factorisacions no negatives. El problema de la actualisació se ha estudiat tant per a la solució del problema NNLS com per a el càlcul de la NMF. Existixen problemes no negatius la solució dels quals es pròxima a atres problemes no negatius que ya han sigut resolts, el problema de la actualisació consistix en aprofitar la solució de un problema A que ya ha sigut resolt, per a obtindre la solució de un problema B pròxim al problema A. Utilisant esta aproximació, el problema B pot ser resolt molt mes ràpidament que si tinguera que ser resolt des de 0 sense aprofitar la solució coneguda del problema A. En esta tesis es presenta una metodologia algorítmica per a resoldre els dos problemes de actualisació: la actualisació de la solució del problema NNLS i la actualisació de la NMF. Ademés es presenten evaluacions empíriques de les solucions presentades per als dos problemes. Els resultats de estes evaluacions mostren que els algoritmes proposts son més ràpits que resoldre el problema des de 0 en tots elsMany real world-problems can be modelled as mathematical problems with nonnegative magnitudes, and, therefore, the solutions of these problems are meaningful only if their values are nonnegative. Examples of these nonnegative magnitudes are the concentration of components in a chemical compound, frequencies in an audio signal, pixel intensities on an image, etc. Some of these problems can be modelled to an overdetermined system of linear equations. When the solution of this system of equations should be constrained to nonnegative values, a new problem arises. This problem is called the Nonnegative Least Squares (NNLS) problem, and its solution has multiple applications in science and engineering, especially for solving optimization problems with nonnegative restrictions. Another important nonnegativity constrained decomposition is the Nonnegative Matrix Factorization (NMF). The NMF is a very popular tool in many fields such as document clustering, data mining, machine learning, image analysis, chemical analysis, and audio source separation. This factorization tries to approximate a nonnegative data matrix with the product of two smaller nonnegative matrices, usually creating parts based representations of the original data. The algorithms that are designed to compute the solution of these two nonnegative problems have a high computational cost. Due to this high cost, these decompositions can benefit from the extra performance obtained using High Performance Computing (HPC) techniques. Nowadays, there are very powerful computational systems that offer high performance and can be used to solve extremely complex problems in science and engineering. From modern multicore CPUs to the newest computational accelerators (Graphics Processing Units(GPU), Intel Many Integrated Core(MIC), etc.), the performance of these systems keeps increasing continuously. To make the most of the hardware capabilities of these HPC systems, developers should use software technologies such as parallel programming, vectorization, or high performance computing libraries. While there are several algorithms for computing the NMF and for solving the NNLS problem, not all of them have an efficient parallel implementation available. Furthermore, it is very interesting to group several algorithms with different properties into a single computational library. This thesis presents a high-performance computational library with efficient parallel implementations of the best algorithms to compute the NMF in the current state of the art. In addition, an experimental comparison between the different implementations is presented. This library is focused on the computation of the NMF supporting multiple architectures like multicore CPUs, GPUs and Intel MIC. The goal of the library is to offer a full suit of algorithms to help researchers, engineers or professionals that need to use the NMF. Another problem that is dealt with in this thesis is the updating of nonnegative decompositions. The updating problem has been studied for both the solution of the NNLS problem and the NMF. Sometimes there are nonnegative problems that are close to other nonnegative problems that have already been solved. The updating problem tries to take advantage of the solution of a problem A, that has already been solved in order to obtain a solution of a new problem B, which is closely related to problem A. With this approach, problem B can be solved faster than solving it from scratch and not taking advantage of the already known solution of problem A. In this thesis, an algorithmic scheme is proposed for both the updating of the solution of NNLS problems and the updating of the NMF. Empirical evaluations for both updating problems are also presented. The results show that the proposed algorithms are faster than solving the problems from scratch in all of the tested cases.San Juan Sebastián, P. (2018). HPC algorithms for nonnegative decompositions [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11306

A propósito de la deconstrucción de la teología política: Carl Schmitt, Jacques Derrida y el concepto de lo político

Jacques Derrida's interest in the question of justice indicates an attempt to deconstruct the theological determination of politics, the very core of Carl Schmitt's doctrine of sovereignty. The objective of this article is to show how the messianic without messianism in which the aforementioned deconstruction results, points to an idea of resistance _ epistemic, historical and political- intimately related to Apostle Paul from Tarsus' message and missionary activity.El interés de Jacques Derrida por el problema de la justicia significa un intento por deconstuir la determinación teológica de la política, auténtico núcleo de la doctrina de la soberanía elaborada por Carl Schmitt. El objeto del presente artículo será mostrar cómo el mesiánico sin mesianismo en que se resuelve la mencionada deconstrucción apunta hacia una idea de resistencia -gnoseológica, histórica y jurídico-política- sumamente afín al mensaje y la actividad misional del apóstol Pablo de Tarso