Lp-solutions to BSDEs with super-linear growth coefficient. Application to degenerate semilinear PDEs.

We consider multidimensional backward stochastic differential equations (BSDEs). We prove the existence and uniqueness of solutions when the coefficient grow super-linearly, and moreover, can be neither locally Lipschitz in the variable y nor in the variable z. This is done with super-linear growth coefficient and a p-integrable terminal condition (p & 1). As application, we establish the existence and uniqueness of solutions to degenerate semilinear PDEs with superlinear growth generator and an Lp-terminal data, p & 1. Our result cover, for instance, the case of PDEs with logarithmic nonlinearities.

Bargaining one-dimensional policies and the efficiency of super majority rules

We consider negotiations selecting one-dimensional policies. Individuals have single-peaked preferences, and they are impatient. Decisions arise from a bargaining game with random proposers and (super) majority approval, ranging from the simple majority up to unanimity. The existence and uniqueness of stationary subgame perfect equilibrium is established, and its explicit characterization provided. We supply an explicit formula to determine the unique alternative that prevails, as impatience vanishes, for each majority. As an application, we examine the efficiency of majority rules. For symmetric distributions of peaks unanimity is the unanimously preferred majority rule. For asymmetric populations rules maximizing social surplus are characterized.

Generic super-exponential stability of invariant tori in Hamiltonian systems

In this article, we consider solutions starting close to some linearly stable invariant tori in an analytic Hamiltonian system and we prove results of stability for a super-exponentially long interval of time, under generic conditions. The proof combines classical Birkhoff normal forms and a new method to obtain generic Nekhoroshev estimates developed by the author and L. Niederman in another paper. We will mainly focus on the neighbourhood of elliptic fixed points, the other cases being completely similar.

Super M, un videojoc per practicar les matemàtiques

Desenvolupament d'un videojoc per a Android i un videojoc per a navegador; tots dos relacionats amb la pràctica de les matemàtiques.

Anomalous Proper-Motions in the Cygnus Super Bubble Region

In an analysis of proper motions of O and B stars contained the Input Catalogue for Hipparcos, we have found a clear deviation from the expected pattern of systematic motions which can be readily identified with the associations Cygnus OB1 and Cygnus OB9, located near de the edge of the Cygnus Superbubble. Teha anomalous motions are directed outwards from the center of the Superbubble, which is coincident with tha association Cygnus OB2. This seems to support the hypothesis of a strong stellar and supernova activity in Cygnus 0B2 giving rise to the Superbubble and, by means of gravitational instabilities in its boundaries, to Cygnus 0B1 and Cygnus OB9. New uvby-beta aperture photometry of selected O and B stars in the area of Cygnus OB1 and Cygnus OB9 is also presented and analyzed in this paper.

Super-resolution of remotely sensed images with variable-pixel linear reconstruction

This paper describes the development and applications of a super-resolution method, known as Super-Resolution Variable-Pixel Linear Reconstruction. The algorithm works combining different lower resolution images in order to obtain, as a result, a higher resolution image. We show that it can make significant spatial resolution improvements to satellite images of the Earth¿s surface allowing recognition of objects with size approaching the limiting spatial resolution of the lower resolution images. The algorithm is based on the Variable-Pixel Linear Reconstruction algorithm developed by Fruchter and Hook, a well-known method in astronomy but never used for Earth remote sensing purposes. The algorithm preserves photometry, can weight input images according to the statistical significance of each pixel, and removes the effect of geometric distortion on both image shape and photometry. In this paper, we describe its development for remote sensing purposes, show the usefulness of the algorithm working with images as different to the astronomical images as the remote sensing ones, and show applications to: 1) a set of simulated multispectral images obtained from a real Quickbird image; and 2) a set of multispectral real Landsat Enhanced Thematic Mapper Plus (ETM+) images. These examples show that the algorithm provides a substantial improvement in limiting spatial resolution for both simulated and real data sets without significantly altering the multispectral content of the input low-resolution images, without amplifying the noise, and with very few artifacts.

Zenith angle distributions at Super-Kamiokande and SNO and the solution of the solar neutrino problem

We have performed a detailed study of the zenith angle dependence of the regeneration factor and distributions of events at SNO and SK for different solutions of the solar neutrino problem. In particular, we discuss the oscillatory behavior and the synchronization effect in the distribution for the LMA solution, the parametric peak for the LOW solution, etc. A physical interpretation of the effects is given. We suggest a new binning of events which emphasizes the distinctive features of the zenith angle distributions for the different solutions. We also find the correlations between the integrated day-night asymmetry and the rates of events in different zenith angle bins. The study of these correlations strengthens the identification power of the analysis.

Convergence of the mass-transport steepest descent scheme for the sub-critical Patlak-Keller-Segel model

Variational steepest descent approximation schemes for the modified Patlak-Keller-Segel equation with a logarithmic interaction kernel in any dimension are considered. We prove the convergence of the suitably interpolated in time implicit Euler scheme, defined in terms of the Euclidean Wasserstein distance, associated to this equation for sub-critical masses. As a consequence, we recover the recent result about the global in time existence of weak-solutions to the modified Patlak-Keller-Segel equation for the logarithmic interaction kernel in any dimension in the sub-critical case. Moreover, we show how this method performs numerically in one dimension. In this particular case, this numerical scheme corresponds to a standard implicit Euler method for the pseudo-inverse of the cumulative distribution function. We demonstrate its capabilities to reproduce easily without the need of mesh-refinement the blow-up of solutions for super-critical masses.

Códigos binarios no lineales en MAGMA

La finalitat d'aquest projecte és aconseguir representar codis binaris no lineals de manera eficient en un ordinador. Per fer-ho, hem desenvolupat funcions per representar un codi binari a partir del super dual. Hem millorat la funció de càlcul del kernel d'un codi binari, implementada en projectes d'anys anteriors. També hem desenvolupat un paquet software per l'intèrpret MAGMA. Aquest paquet ens proveeix d'eines per al tractament de codis binaris no necessàriament lineals.

Glocalization as a generic entrepreneurial strategy

Nobody would deny that we today live in a globalized world. Our digitalized living daily revises our worldwide mindmaps. Thanks to free trade and travel our material and social worlds have become global as well. This radical sociocultural change has since the last decade been preached all over the world with public institutions and business-interest organizations as megaphones. Since those carrying the globalization message mainly represent nations or super-nations such as the EU, the viewpoints of lower-level actors such as regions, localities, firms and individual citizens have seldom been considered. Paternalistically (super-)national bodies have instructured its subjects, not the least the many small firms that populate the (private) economy, what action to take. The basic message is: submit to the global forces – local is not beautiful any longer.

Configuración de la entrada/salida paralela para el cómputo de altas prestaciones

La E/S Paralela es un área de investigación que tiene una creciente importancia en el cómputo de Altas Prestaciones. Si bien durante años ha sido el cuello de botella de los computadores paralelos en la actualidad, debido al gran aumento del poder de cómputo, el problema de la E/S se ha incrementado y la comunidad del Cómputo de Altas Prestaciones considera que se debe trabajar en mejorar el sistema de E/S de los computadores paralelos, para lograr cubrir las exigencias de las aplicaciones científicas que usan HPC. La Configuración de la Entrada/Salida (E/S) Paralela tiene una gran influencia en las prestaciones y disponibilidad, por ello es importante “Analizar configuraciones de E/S paralela para identificar los factores claves que influyen en las prestaciones y disponibilidad de la E/S de Aplicaciones Científicas que se ejecutan en un clúster”. Para realizar el análisis de las configuraciones de E/S se propone una metodología que permite identificar los factores de E/S y evaluar su influencia para diferentes configuraciones de E/S formada por tres fases: Caracterización, Configuración y Evaluación. La metodología permite analizar el computador paralelo a nivel de Aplicación Científica, librerías de E/S y de arquitectura de E/S, pero desde el punto de vista de la E/S. Los experimentos realizados para diferentes configuraciones de E/S y los resultados obtenidos indican la complejidad del análisis de los factores de E/S y los diferentes grados de influencia en las prestaciones del sistema de E/S. Finalmente se explican los trabajos futuros, el diseño de un modelo que de soporte al proceso de Configuración del sistema de E/S paralela para aplicaciones científicas. Por otro lado, para identificar y evaluar los factores de E/S asociados con la disponibilidad a nivel de datos, se pretende utilizar la Arquitectura Tolerante a Fallos RADIC.

Repeated Agenda Setting and the Unanimous Approval of Bad Policies

This paper addresses the puzzle of why legislation, even highly inefficient legislation, may pass with overwhelming majorities. We model a egislature in which the same agenda setter serves for two periods, showing how he can exploit a legislature (completely) in the first period by romising future benefits to legislators who support him. In equilibrium, large majority of legislators vote for the first-period proposal because a ote in favor maintains the chance for membership in the minimum winning coalition in the future. The model thus generates situations in which egislators approve policies by large majorities, or even unanimously, that enefit few, or even none, of them. The results are robust: some institutional arrangements, such as super-majority rules or sequential voting, imit but do not eliminate the agenda setter's power to exploit the legislature, and other institutions such as secret voting do not limit his power.

RADIC: un middleware de tolerancia a fallos que preserva el rendimiento

La tolerancia a fallos es una línea de investigación que ha adquirido una importancia relevante con el aumento de la capacidad de cómputo de los súper-computadores actuales. Esto es debido a que con el aumento del poder de procesamiento viene un aumento en la cantidad de componentes que trae consigo una mayor cantidad de fallos. Las estrategias de tolerancia a fallos actuales en su mayoría son centralizadas y estas no escalan cuando se utiliza una gran cantidad de procesos, dado que se requiere sincronización entre todos ellos para realizar las tareas de tolerancia a fallos. Además la necesidad de mantener las prestaciones en programas paralelos es crucial, tanto en presencia como en ausencia de fallos. Teniendo en cuenta lo citado, este trabajo se ha centrado en una arquitectura tolerante a fallos descentralizada (RADIC – Redundant Array of Distributed and Independant Controllers) que busca mantener las prestaciones iniciales y garantizar la menor sobrecarga posible para reconfigurar el sistema en caso de fallos. La implementación de esta arquitectura se ha llevado a cabo en la librería de paso de mensajes denominada Open MPI, la misma es actualmente una de las más utilizadas en el mundo científico para la ejecución de programas paralelos que utilizan una plataforma de paso de mensajes. Las pruebas iniciales demuestran que el sistema introduce mínima sobrecarga para llevar a cabo las tareas correspondientes a la tolerancia a fallos. MPI es un estándar por defecto fail-stop, y en determinadas implementaciones que añaden cierto nivel de tolerancia, las estrategias más utilizadas son coordinadas. En RADIC cuando ocurre un fallo el proceso se recupera en otro nodo volviendo a un estado anterior que ha sido almacenado previamente mediante la utilización de checkpoints no coordinados y la relectura de mensajes desde el log de eventos. Durante la recuperación, las comunicaciones con el proceso en cuestión deben ser retrasadas y redirigidas hacia la nueva ubicación del proceso. Restaurar procesos en un lugar donde ya existen procesos sobrecarga la ejecución disminuyendo las prestaciones, por lo cual en este trabajo se propone la utilización de nodos spare para la recuperar en ellos a los procesos que fallan, evitando de esta forma la sobrecarga en nodos que ya tienen trabajo. En este trabajo se muestra un diseño propuesto para gestionar de un modo automático y descentralizado la recuperación en nodos spare en un entorno Open MPI y se presenta un análisis del impacto en las prestaciones que tiene este diseño. Resultados iniciales muestran una degradación significativa cuando a lo largo de la ejecución ocurren varios fallos y no se utilizan spares y sin embargo utilizándolos se restablece la configuración inicial y se mantienen las prestaciones.

La responsabilidad patrimonial de la Administración Pública Urbanística

En la memoria del trabajo se detallan las tareas realizadas durante los cuatro años en los que he sido beneficiaria de la beca FI, que me permitió incorporarme en el área de Derecho Administrativo de la Universidad de Girona, bajo la dirección del Dr. Joan M. Trayter Jiménez, para la elaboración del proyecto de investigación "La responsabilidad patrimonial de la Administración Púbica Urbanística", que una vez terminado dará lugar a la Tesis Doctoral. Durante el primer año realizé y superé los cursos del programa de Doctorado “Globalización y Derecho: el Derecho Europeo como referencia”; que me permitió obtener la renovación de la Beca FI, para la elaboración y defensa en el año posterior de la tesina titulada "La responsabilidad patrimonial de la Administración Pública por cambio de la ordenación territorial o urbanística”; con la consiguiente obtención del Diploma de Estudios Avanzados en Derecho. En líneas generales, puedo destacar -además de la investigación en la elaboración de la Tesis-, la realización de dos estancias de investigación en la University of Oxford, bajo la tutorización del Prof. Paul Craig, del St. John's College; gracias a la concesión de una beca por parte del "Institut d'Estudis Autonòmics de Catalunya" y otra, por la Generalitat de Catalunya, dirigida a estancias de investigación en el extrangero. También diversas publicaciones traducidas en la participación en dos libros, un artículo, una recensión y una comunicación; así como la asistencia a distintos Congresos de Derecho Administrativo y seminarios, la realización de distintos cursos entre ellos un Posgrado de Derecho Urbanístico en la UdG y la docencia realizada. Asimismo he devenido miembro de los proyectos de investigación del grupo de investigación del Área; importantes por formar parte del Plan Nacional I+D, financiados por el Ministerio de Educación y Ciencia.