Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

A Fundamental Contradiction in Standard Rent Theory: A Case Study on Varian's "Intermediate Microeconomics"

In this paper, I examine Varian’s treatment of rent in his textbook on Microeconomics. I argue that he holds contradictory conceptions: sometimes rent is defined as surplus over cost whereas sometimes it is defined as cost, as the opportunity cost of fixed factors. I start by arguing that the distinction between fixed and variable factors is not the key for the definition of rent; ultimately, it is monopoly. Varian’s conception of rent is, essentially, Ricardo’s: rent is extraordinary profit turned rent. On the basis of a selfinconsistent notion of opportunity cost, Varian introduces the idea that rent is the opportunity cost of land, when what he actually defines is the opportunity cost of not renting the land. I also critically examine the related notion of “producer’s surplus”, and show that Varian’s treatment repeats the same contradiction as in rent.

Profit and Cost in "Modern" Post-Marxian Profit Theory: A Case Study from Varian's "Intermediate Microeconomics"

In this paper, I examine the treatment of competitive profit of professor Varian in his textbook on Microeconomics, as a representative of the “modern” post-Marxian view on competitive profit. I show how, on the one hand, Varian defines profit as the surplus of revenues over cost and, thus, as a part of the value of commodities that is not any cost. On the other hand, however, Varian defines profit as a cost, namely, as the opportunity cost of capital, so that, in competitive conditions, the profit or income of capital is determined by the opportunity cost of capital. I argue that this second definition contradicts the first and that it is based on an incoherent conception of opportunity cost.

Switching Regimes in the Term Structure of Interest Rates During U.S. Post-War: A case for the Lucas proof equilibrium?

Published as an article in: Studies in Nonlinear Dynamics & Econometrics, 2004, vol. 8, issue 1, pages 5.

The coincidence of the kernel and nucleolus of a convex game: an alternative proof

In 1972, Maschler, Peleg and Shapley proved that in the class of convex the nucleolus and the kernel coincide. The only aim of this note is to provide a shorter, alternative proof of this result.

Long-Term Growth and Persistence with Endogenous Depreciation: Theory and Evidence

Previous research has shown a strong positive correlation between short-term persistence and long-term output growth as well as between depreciation rates and long-term output growth. This evidence, therefore, contradicts the standard predictions from traditional neoclassical or AK-type growth models with exogenous depreciation. In this paper, we first confirm these findings for a larger sample of 101 countries. We then study the dynamics of growth and persistence in a model where both the depreciation rate and growth are endogenous and procyclical. We find that the model s predictions become consistent with the empirical evidence on persistence, long-term growth and depreciation rates.

Proof of Concept of Impact Detection in Composites Using Fiber Bragg Grating Arrays

Impact detection in aeronautical structures allows predicting their future reliability and performance. An impact can produce microscopic fissures that could evolve into fractures or even the total collapse of the structure, so it is important to know the location and severity of each impact. For this purpose, optical fibers with Bragg gratings are used to analyze each impact and the vibrations generated by them. In this paper it is proven that optical fibers with Bragg gratings can be used to detect impacts, and also that a high-frequency interrogator is necessary to collect valuable information about the impacts. The use of two interrogators constitutes the main novelty of this paper.

Is General Relativity a simplified theory?

IARD 8th Biennial Conference on Classical and Quantum Relativistic Dynamics of Particles and Fields - Galileo Galilei Inst Theoret Phys (GGI), Florence, ITALY - MAY 29-JUN 01, 2012. Edited by:Horowitz, LP

Choice under Risk : Theory and Applications

Es útil para estudiantes de postgrado (Master y Doctorado) en cursos de Economía o de Microeconomía en los que se analicen problemas de Decisión en condiciones de Riesgo o Incertidumbre. El documento comienza explicando la Teoría de la Utilidad Esperada. A continuación se estudian la aversión al riesgo, los coeficientes de aversión absoluta y relativa al riesgo, la relación “más averso que” entre agentes económicos y los efectos riqueza sobre las decisiones en algunas relaciones de preferencia utilizadas frecuentemente en el análisis económico. La sección 4 se centra en la comparación entre alternativas arriesgadas en términos de rendimiento y riesgo, considerando la dominancia estocástica de primer y segundo orden y algunas extensiones posteriores de esas relaciones de orden. El documento concluye con doce ejercicios resueltos en los que se aplican los conceptos y resultados expuestos en las secciones anteriores a problemas de decisión en varios contextos