Second-best tax policy in a growing economy with externalities

This paper investigates the exploitation of environmental resources in a growing economy within a second-best scal policy framework. Agents derive utility from two types of consumption goods one which relies on an environmental input and one which does not as well as from leisure and from environmental amenity values. Property rights for the environmental resource are potentially incomplete. We connect second best policy to essential components of utility by considering the elasticity of substitution among each of the four utility arguments. The results illustrate potentially important relationships between environmental amentity values and leisure. When amenity values are complementary with leisure, for instance when environmental amenities are used for recreation, taxes on extractive goods generally increase over time. On the other hand, optimal taxes on extractive goods generally decrease over time when leisure and environmental amenity values are substitutes. Unders some parameterizations, complex dynamics leading to nonmonotonic time paths for the state variables can emerge.

Pulse vs. Optimal Stationary Fishing: The Northern Stock of Hake

Pulse fishing may be a global optimal strategy in multicohort fisheries. In this article we compare the pulse fishing solutions obtained by using global numerical methods with the analytical stationary optimal solution. This allows us to quantify the potential benefits associated with the use of periodic fishing in the Northern Stock of hake. Results show that: first, management plans based exclusively on traditional reference targets as Fmsy may drive fishery economic results far from the optimal; second, global optimal solutions would imply, in a cyclical manner, the closure of the fishery for some periods and third, second best stationary policies with stable employment only reduce optimal present value of discounted profit in a 2%.

Optimal overall emissions taxation in durable goods oligopoly

We analyze optimal second-best emission taxes in a durable good industry under imperfect competition. The analysis is performed for three different types of emissions and for situations where the good is rented, sold or simultaneously sold and rented. We show, for durable goods that may cause pollution in a period (or in periods) different from the production period, that the expected overall emission tax and the expected total marginal environmental damage per unit produced in each period are the relevant variables to consider in the analysis of overinternalization and in the comparison of optimal emission taxes for renting, selling and renting-selling firms. Our results allow to extend some previous results in the literature to these durable goods and provide an adequate perspective on some other results (in particular, we point out the limitations of focusing only, for those durable goods, on the level and effects of the optimal emission tax in the production period).

Long Term Dynamics in CO2 Allowance Prices and Carbon Capture Investments

In this paper we analyse the behaviour of the EU market for CO2 emission allowances; specifically, we focus on the contracts maturing in the Kyoto Protocol's second period of application (2008 to 2012). We calibrate the underlying parameters for the allowance price in the long run and we also calibrate those from the Spanish wholesale electricity market. This information is then used to assess the option to install a carbon capture and storage (CCS) unit in a coal-fired power plant. We use a two-dimensional binomial lattice where costs and profits are valued and the optimal investment time is determined. In other words, we study the trigger allowance prices above which it is optimal to install the capture unit immediately. We further analyse the impact of several variables on the critical prices, among them allowance price volatility and a hypothetical government subsidy. We conclude that, at current permit prices, from a financial point of view, immediate installation does not seem justified. This need not be the case, though, if carbon market parameters change dramatically and/or a specific policy to promote these units is adopted.

Chiral gold(I) vs chiral silver complexes as catalysts for the enantioselective synthesis of the second generation GSK-hepatitis C virus inhibitor

The synthesis of a GSK 2(nd) generation inhibitor of the hepatitis C virus, by enantioselective 1,3-dipolar cycloaddition between a leucine derived iminoester and tert-butyl acrylate, was studied. The comparison between silver(I) and gold(I) catalysts in this reaction was established by working with chiral phosphoramidites or with chiral BINAP. The best reaction conditions were used for the total synthesis of the hepatitis C virus inhibitor by a four step procedure affording this product in 99% ee and in 63% overall yield. The origin of the enantioselectivity of the chiral gold(I) catalyst was justified according to DFT calculations, the stabilizing coulombic interaction between the nitrogen atom of the thiazole moiety and one of the gold atoms being crucial.

Valuing Flexibility: The case of an Integrated Gasification Combined Cycle Power Plant

In this paper we analyze the valuation of options stemming from the flexibility in an Integrated Gasification Combined Cycle (IGCC) Power Plant. First we use as a base case the opportunity to invest in a Natural Gas Combined Cycle (NGCC) Power Plant, deriving the optimal investment rule as a function of fuel price and the remaining life of the right to invest. Additionally, the analytical solution for a perpetual option is obtained. Second, the valuation of an operating IGCC Power Plant is studied, with switching costs between states and a choice of the best operation mode. The valuation of this plant serves as a base to obtain the value of the option to delay an investment of this type. Finally, we derive the value of an opportunity to invest either in a NGCC or IGCC Power Plant, that is, to choose between an inflexible and a flexible technology, respectively. Numerical computations involve the use of one- and two-dimensional binomial lattices that support a mean-reverting process for the fuel prices. Basic parameter values refer to an actual IGCC power plant currently in operation.

Monte Carlo Valuation of natural gas investments

This paper deals with the valuation of energy assets related to natural gas. In particular, we evaluate a baseload Natural Gas Combined Cycle (NGCC) power plant and an ancillary instalation, namely a Liquefied Natural Gas (LNG) facility, in a realistic setting; specifically, these investments enjoy a long useful life but require some non-negligible time to build. Then we focus on the valuation of several investment options again in a realistic setting. These include the option to invest in the power plant when there is uncertainty concerning the initial outlay, or the option's time to maturity, or the cost of CO2 emission permits, or when there is a chance to double the plant size in the future. Our model comprises three sources of risk. We consider uncertain gas prices with regard to both the current level and the long-run equilibrium level; the current electricity price is also uncertain. They all are assumed to show mean reversion. The two-factor model for natural gas price is calibrated using data from NYMEX NG futures contracts. Also, we calibrate the one-factor model for electricity price using data from the Spanish wholesale electricity market, respectively. Then we use the estimated parameter values alongside actual physical parameters from a case study to value natural gas plants. Finally, the calibrated parameters are also used in a Monte Carlo simulation framework to evaluate several American-type options to invest in these energy assets. We accomplish this by following the least squares MC approach.

Medición del valor de marca desde un enfoque formativo

[ES] Las empresas necesitan medir el valor de sus marcas para poder tomar las mejores decisiones tácticas y estratégicas relativas a estos activos intangibles. Es por ello que este trabajo desarrolla un instrumento de medida del valor de marca utilizando un enfoque formativo. A diferencia de investigaciones anteriores, este estudio propone un modelo formativo de orden superior y valida empíricamente dicha conceptualización en dos países, España y el Reino Unido.

Second-to-Fourth Digit Ratio Has a Non-Monotonic Impact on Altruism

Gene-culture co-evolution emphasizes the joint role of culture and genes for the emergence of altruistic and cooperative behaviors and behavioral genetics provides estimates of their relative importance. However, these approaches cannot assess which biological traits determine altruism or how. We analyze the association between altruism in adults and the exposure to prenatal sex hormones, using the second-to-fourth digit ratio. We find an inverted U-shaped relation for left and right hands, which is very consistent for men and less systematic for women. Subjects with both high and low digit ratios give less than individuals with intermediate digit ratios. We repeat the exercise with the same subjects seven months later and find a similar association, even though subjects' behavior differs the second time they play the game. We then construct proxies of the median digit ratio in the population (using more than 1000 different subjects), show that subjects' altruism decreases with the distance of their ratio to these proxies. These results provide direct evidence that prenatal events contribute to the variation of altruistic behavior and that the exposure to fetal hormones is one of the relevant biological factors. In addition, the findings suggest that there might be an optimal level of exposure to these hormones from social perspective.

Fixed and Best Proximity Points of Cyclic Jointly Accretive and Contractive Self-Mappings

p(>= 2)-cyclic and contractive self-mappings on a set of subsets of a metric space which are simultaneously accretive on the whole metric space are investigated. The joint fulfilment of the p-cyclic contractiveness and accretive properties is formulated as well as potential relationships with cyclic self-mappings in order to be Kannan self-mappings. The existence and uniqueness of best proximity points and fixed points is also investigated as well as some related properties of composed self-mappings from the union of any two adjacent subsets, belonging to the initial set of subsets, to themselves.

On Best Proximity Point Theorems and Fixed Point Theorems for p-Cyclic Hybrid Self-Mappings in Banach Spaces

This paper relies on the study of fixed points and best proximity points of a class of so-called generalized point-dependent (K-Lambda)hybrid p-cyclic self-mappings relative to a Bregman distance Df, associated with a Gâteaux differentiable proper strictly convex function f in a smooth Banach space, where the real functions Lambda and K quantify the point-to-point hybrid and nonexpansive (or contractive) characteristics of the Bregman distance for points associated with the iterations through the cyclic self-mapping.Weak convergence results to weak cluster points are obtained for certain average sequences constructed with the iterates of the cyclic hybrid self-mappings.

Some Results on Fixed and Best Proximity Points of Multivalued

This paper is devoted to investigate the fixed points and best proximity points of multivalued cyclic self-mappings on a set of subsets of complete metric spaces endowed with a partial order under a generalized contractive condition involving a Hausdorff distance. The existence and uniqueness of fixed points of both the cyclic self-mapping and its associate composite self-mappings on each of the subsets are investigated, if the subsets in the cyclic disposal are nonempty, bounded and of nonempty convex intersection. The obtained results are extended to the existence of unique best proximity points in uniformly convex Banach spaces.

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.

Some Results on Fixed and Best Proximity Points of Precyclic Self-Mappings

12 p.

Best Proximity Points of Generalized Semicyclic Impulsive Self-Mappings: Applications to Impulsive Differential and Difference Equations

This paper is devoted to the study of convergence properties of distances between points and the existence and uniqueness of best proximity and fixed points of the so-called semicyclic impulsive self-mappings on the union of a number of nonempty subsets in metric spaces. The convergences of distances between consecutive iterated points are studied in metric spaces, while those associated with convergence to best proximity points are set in uniformly convex Banach spaces which are simultaneously complete metric spaces. The concept of semicyclic self-mappings generalizes the well-known one of cyclic ones in the sense that the iterated sequences built through such mappings are allowed to have images located in the same subset as their pre-image. The self-mappings under study might be in the most general case impulsive in the sense that they are composite mappings consisting of two self-mappings, and one of them is eventually discontinuous. Thus, the developed formalism can be applied to the study of stability of a class of impulsive differential equations and that of their discrete counterparts. Some application examples to impulsive differential equations are also given.