Optimal Minimum Wage in a Competitive Economy: an Alternative Modelling Approach

This paper analyzes whether a minimum wage can be an optimal redistribution policy when distorting taxes and lump-sum transfers are also available in a competitive economy. We build a static general equilibrium model with a Ramsey planner making decisions on taxes, transfers, and minimum wage levels. Workers are assumed to differ only in their productivity. We find that optimal redistribution may imply the use of a minimum wage. The key factor driving our results is the reaction of the demand for low skilled labor to the minimum wage law. Hence, an optimal minimum wage appears to be most likely when low skilled households are scarce, the complementarity between the two types of workers is large or the difference in productivity is small. The main contribution of the paper is a modelling approach that allows us to adopt analysis and solution techniques widely used in recent public finance research. Moreover, this modelling strategy is flexible enough to allow for potential extensions to include dynamics into the model.

Antecedentes de la institucionalización de las organizaciones

[ES] Esta investigación es un intento de avanzar en la comprensión de por qué las organizaciones son sensibles a la institucionalización. Para ello, describimos los elementos clave que ayudan a explicar el origen del proceso corporativo de institucionalización. Además, se ha seguido una metodología de investigación cualitativa, utilizando la técnica del concept mapping , para agrupar en constructos los diferentes ítems que actúan como factores motivadores de la transformación de las organizaciones en instituciones. Metodológicamente hemos tratado de obviar la separación entre viejo y nuevo institucionalismo siguiendo a los autores que cuestionan la conveniencia de trazar una línea divisoria entre la vieja y la nueva teoría. Consideramos que el papel del CEO es esencial en el impulso del proceso de institucionalización, aunque en muchas ocasiones sus decisiones estén apoyadas o hayan pasado por el filtro de los equipos de gobierno de la organización o de los consejos de administración. Cualquier impulso que realice la organización dependerá fundamentalmente de las capacidades, las sensaciones, la formación y el modo de pensar del CEO. Los resultados refuerzan varios de los temas claves sugeridos en la literatura sobre Teoría Institucional. En particular, se establece una clasificación con los motivos que dan origen a las iniciativas institucionales, a saber: autoridad institucional; ventaja en gestión; e, implicación social. Esta clasificación es coincidente, en una gran medida, con los pilares de la institucionalización que han sido definidos en la literatura de la teoría institucional, ayudando a comprender, con mayor detalle, el origen de los procesos institucionales y los antecedentes o motivaciones que los generan y guían.

We can work it out: an enactive look at cooperation

The past years have seen an increasing debate on cooperation and its unique human character. Philosophers and psychologists have proposed that cooperative activities are characterized by shared goals to which participants are committed through the ability to understand each other’s intentions. Despite its popularity, some serious issues arise with this approach to cooperation. First, one may challenge the assumption that high-level mental processes are necessary for engaging in acting cooperatively. If they are, then how do agents that do not possess such ability (preverbal children, or children with autism who are often claimed to be mind-blind) engage in cooperative exchanges, as the evidence suggests? Secondly, to define cooperation as the result of two de-contextualized minds reading each other’s intentions may fail to fully acknowledge the complexity of situated, interactional dynamics and the interplay of variables such as the participants’ relational and personal history and experience. In this paper we challenge such accounts of cooperation, calling for an embodied approach that sees cooperation not only as an individual attitude toward the other, but also as a property of interaction processes. Taking an enactive perspective, we argue that cooperation is an intrinsic part of any interaction, and that there can be cooperative interaction before complex communicative abilities are achieved. The issue then is not whether one is able or not to read the other’s intentions, but what it takes to participate in joint action. From this basic account, it should be possible to build up more complex forms of cooperation as needed. Addressing the study of cooperation in these terms may enhance our understanding of human social development, and foster our knowledge of different ways of engaging with others, as in the case of autism.

Gestión de la calidad en servicios: una revisión desde la perspectiva del management

[ES] El objetivo de este artículo es llevar a cabo una revisión de la literatura sobre calidad en el sector servicios en un esfuerzo por sintetizar y estructurar el conocimiento existente en este campo y plantear una serie de sugerencias sobre posibles futuras investigaciones en el mismo. Principalmente nos hemos centrado en los trabajos que estudian la calidad en los servicios desde la perspectiva del management, una aproximación que entendemos puede ayudarnos a identificar un conjunto de aspectos que consideramos que no han sido lo suficientemente tratados en los estudios realizados hasta la fecha.

Algorithms for colour image processing based on neurological models

373 p. : il., gráf., fot., tablas

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

A quantitative witness for Greenberger-Horne-Zeilinger entanglement

Along with the vast progress in experimental quantum technologies there is an increasing demand for the quantification of entanglement between three or more quantum systems. Theory still does not provide adequate tools for this purpose. The objective is, besides the quest for exact results, to develop operational methods that allow for efficient entanglement quantification. Here we put forward an analytical approach that serves both these goals. We provide a simple procedure to quantify Greenberger-Horne-Zeilinger-type multipartite entanglement in arbitrary three-qubit states. For two qubits this method is equivalent to Wootters' seminal result for the concurrence. It establishes a close link between entanglement quantification and entanglement detection by witnesses, and can be generalised both to higher dimensions and to more than three parties.

Biologically-inspired data decorrelation for hyper-spectral imaging

Hyper-spectral data allows the construction of more robust statistical models to sample the material properties than the standard tri-chromatic color representation. However, because of the large dimensionality and complexity of the hyper-spectral data, the extraction of robust features (image descriptors) is not a trivial issue. Thus, to facilitate efficient feature extraction, decorrelation techniques are commonly applied to reduce the dimensionality of the hyper-spectral data with the aim of generating compact and highly discriminative image descriptors. Current methodologies for data decorrelation such as principal component analysis (PCA), linear discriminant analysis (LDA), wavelet decomposition (WD), or band selection methods require complex and subjective training procedures and in addition the compressed spectral information is not directly related to the physical (spectral) characteristics associated with the analyzed materials. The major objective of this article is to introduce and evaluate a new data decorrelation methodology using an approach that closely emulates the human vision. The proposed data decorrelation scheme has been employed to optimally minimize the amount of redundant information contained in the highly correlated hyper-spectral bands and has been comprehensively evaluated in the context of non-ferrous material classification

Multi-agent modelling for the simulation of a simple smart microgrid

The smart grid is a highly complex system that is being formed from the traditional power grid, adding new and sophisticated communication and control devices. This will enable integrating new elements for distributed power generation and also achieving an increasingly automated operation so for actions of the utilities as for customers. In order to model such systems a bottom-up method is followed, using only a few basic elements which are structured into two layers: a physical layer for the electrical power transmission, and one logical layer for element communication. A simple case study is presented to analyse the possibilities of simulation. It shows a microgrid model with dynamic load management and an integrated approach that can process both electrical and communication flows.

Failure detectors and communication efficiency in the crash and general omisión failure models

122 p.

Discrepancias en el seno de la burguesía guipuzcoana en torno a la libertad de comercio y el traslado de aduanas durante los siglos XVIII y XIX

[ES] El objetivo del presente artículo es demostrar y analizar las discrepancias que hubo en el seno de la burguesía guipuzcoana durante los siglos XVIII y XIX en torno a la habilitación de los puertos guipuzcoanos para el comercio directo con América y el traslado de aduanas desde el interior a la costa. Para ello, se acude a la extensa historiografía que se ha ocupado del tema y se hace un análisis crítico de cierto número de representaciones enviadas por el grupo de comerciantes disidentes, con el fin de llevar a cabo un reco- rrido por el debate en torno a ambas cuestiones, que se prolongó desde el advenimiento de la dinastía borbónica hasta los decretos de 1841. A pesar de la visión unívoca que se ha dado del mencionado debate, según la cual parti- ciparon dos bloques perfectamente diferenciados, la documentación muestra una mayor heterogeneidad en las posturas, de manera que en el seno de la burguesía comercial se perciben ciertas divisiones y discrepancias. Si bien es cierto que en un principio los bloques parecen tener un discurso claramente beligerante, aunque también existen todavía puntos de coincidencia, a medi- da que transcurre el tiempo, las posturas se van radicalizando y diversifi- cando, creando una mayor heterogeneidad.