A Characterization of single-peaked preferences

We identify in this paper two conditions that characterize the domain of single-peaked preferences on the line in the following sense: a preference profile satisfies these two properties if and only if there exists a linear order $L$ over the set of alternatives such that these preferences are single-peaked with respect L. The first property states that for any subset of alternatives the set of alternatives considered as the worst by all agents cannot contains more than 2 elements. The second property states that two agents cannot disagree on the relative ranking of two alternatives with respect to a third alternative but agree on the (relative) ranking of a fourth one. Classification-JEL: D71, C78

A dual characterization of incentive efficiency

We show that incentive efficient allocations in economies with adverse selection and moral hazard can be determined as optimal solutions to a linear programming problem and we use duality theory to obtain a complete characterization of the optima. Our dual analysis identifies welfare effects associated with the incentives of the agents to truthfully reveal their private information. Because these welfare effects may generate non-convexities, incentive efficient allocations may involve randomization. Other properties of incentive efficient allocations are also derived.

RADIC II: a fault tolerant architecture with flexible dynamic redundancy

The demand for computational power has been leading the improvement of the High Performance Computing (HPC) area, generally represented by the use of distributed systems like clusters of computers running parallel applications. In this area, fault tolerance plays an important role in order to provide high availability isolating the application from the faults effects. Performance and availability form an undissociable binomial for some kind of applications. Therefore, the fault tolerant solutions must take into consideration these two constraints when it has been designed. In this dissertation, we present a few side-effects that some fault tolerant solutions may presents when recovering a failed process. These effects may causes degradation of the system, affecting mainly the overall performance and availability. We introduce RADIC-II, a fault tolerant architecture for message passing based on RADIC (Redundant Array of Distributed Independent Fault Tolerance Controllers) architecture. RADIC-II keeps as maximum as possible the RADIC features of transparency, decentralization, flexibility and scalability, incorporating a flexible dynamic redundancy feature, allowing to mitigate or to avoid some recovery side-effects.

Model based fault diagnosis with application to an automotive engine

Report for the scientific sojourn at the University of Linköping between April to July 2007. Monitoring of the air intake system of an automotive engine is important to meet emission related legislative diagnosis requirements. During the research the problem of fault detection in the air intake system was stated as a constraint satisfaction problem over continuous domains with a big number of variables and constraints. This problem was solved using Interval-based Consistency Techniques. Interval-based consistency techniques are shown to be particularly efficient for checking the consistency of the Analytical Redundancy Relations (ARRs), dealing with uncertain measurements and parameters, and using experimental data. All experiments were performed on a four-cylinder turbo-charged spark-ignited SAAB engine located in the research laboratory at Vehicular System Group - University of Linköping.

A characterization of two weight norm inequalities for maximal singular integrals

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

Bergman-type singular operators and the characterization of Carleson measures for Besov-Sobolev spaces on the complex ball

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

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.

Group strategy-proof social choice functions with binary ranges and arbitrary domains: characterization results

We define different concepts of group strategy-proofness for social choice functions. We discuss the connections between the defined concepts under different assumptions on their domains of definition. We characterize the social choice functions that satisfy each one of them and whose ranges consist of two alternatives, in terms of two types of basic properties.

Characterization of larval moulting cycles in Maja brachydactyla (Brachyura, Majidae) reared in the laboratory

The moulting cycles of all larval instars (zoea I, zoea II, and megalopa) of the spider crab Maja brachydactyla Balss 1922 were studied in laboratory rearing experiments. Morphological changes in the epidermis and cuticle were photographically documented in daily intervals and assigned to successive stages of the moulting cycle (based on Drach's classification system). Our moult-stage characterizations are based on microscopical examination of integumental modifications mainly in the telson, using epidermal condensation, the degree of epidermal retraction (apolysis), and morphogenesis (mainly setagenesis) as criteria. In the zoea II and megalopa, the formation of new setae was also observed in larval appendages including the antenna, maxillule, maxilla, second maxilliped, pleopods, and uropods. As principal stages within the zoea I moulting cycle, we describe postmoult (Drach's stages A–B combined), intermoult (C), and premoult (D), the latter with three substages (D0, D1, and D2). In the zoea II and megalopa, D0 and D1 had to be combined, because morphogenesis (the main characteristic of D1) was unclear in the telson and did not occur synchronically in different appendices. The knowledge of the course and time scale of successive moult-cycle events can be used as a tool for the evaluation of the developmental state within individual larval instars, providing a morphological reference system for physiological and biochemical studies related to crab aquaculture.

Telomere characterization in the Asteraceae family

Asteraceae or Compositae constitute one of the largest families of the angiosperms, distributed over all continents but in Antarctica, particularly well represented in temperate zones and less frequent in tropical regions. The Asteraceae have been the object of a great deal of attention from all viewpoints for their scientific as well as economic interest. Telomeres sequences are highly conservated at the ends of chromosomes across the eukaryotes. In plants, generally are formed by tandemly repeated sequences named Arabidopsis type but several exceptions have been described. The objective of the present work is to study the telomeric characterization along the whole Asteraceae family and to find, if any, the relationships between these results and the evolutionary history in this family.