Search
Now showing items 211-220 of 247
Invariant-Free Clausal Temporal Resolution
(Springer, 2011-12-02)
Resolution is a well-known proof method for classical logics that is well suited for mechanization. The most fruitful approach in the literature on temporal logic, which was started with the seminal paper of M. Fisher, ...
Environmental Taxes and Cross-Ownership
(Universidad de Zaragoza. Facultad de Economía y Empresa, 2011-12-01)
Este artículo analiza el efecto de la propiedad cruzada de las empresas sobre el nivel de protección ambiental que fija un gobierno a través de impuestos medioambientales. Suponemos que hay dos empresas y dos accionistas, ...
Anatomical distribution of lipids in human brain cortex by imaging mass spectrometry
(Springer Verlag, 2011-01-28)
[ES] Las imágenes de masa molecular de los tejidos estarán sesgadas si las diferencias en las propiedades fisicoquímicas del microentorno afectan a la intensidad de los espectros. Para abordar esta cuestión, hemos realizado ...
Conformational Sampling and Nucleotide-Dependent Transitions of the GroEL Subunit Probed by Unbiased Molecular Dynamics Simulations
(Public Library of Science, 2011-03-10)
GroEL is an ATP dependent molecular chaperone that promotes the folding of a large number of substrate proteins in E. coli. Large-scale conformational transitions occurring during the reaction cycle have been characterized ...
Effects of fatigue on muscle stiffness and intermittent sprinting during cycling
(Lippincott Williams & Wilkins, 2011)
Purpose: It was recently demonstrated that musculoarticular (MA) stiffness is related to sprint cycling performance in nonfatigued conditions. This study examined whether relatively stiffer cyclists were more effective at ...
Effect of the sampling rate on the assessment of flicker severity due to phase jumps
(IEEE, 2011)
This paper presents an analysis of the effect of the sampling rate on the calculation by a digital flickermeter of the flicker severity caused by phase jumps. The new edition of the IEC 61000-4-15 standard includes an ...
Efficacy of management policies on protection and recovery of natural ecosystems in the Urdaibai Biosphere Reserve
(Natural Areas Association, 2011-10-01)
Knowledge of landscape patterns and dynamics is essential for land use planners and natural resources managers. They need to know how landscapes have changed in order to determine the consequences and efficacy of the ...
Calculation of positron characteristics for elements of the periodic table
(IOP Publishing Ltd, 2011-01-10)
Positron lifetimes have been calculated in bulk and monovacancies for most of the elements of the
periodic table. Self-consistent and non-self-consistent schemes have been used for the calculation of the
electronic ...
Generation of Reactive Oxygen Species (ROS) is a key factor for stimulation of macrophage proliferation by ceramide 1-phosphate
(Elsevier, 2011-12-06)
We previously demonstrated that ceramide 1-phosphate (C1P) is mitogenic for fibroblasts and macrophages. However, the mechanisms involved in this action were only partially described. Here, we demonstrate that C1P stimulates ...
Illusions of causality at the heart of pseudoscience
(Wiley on behalf of the BPS, 2011-03-16)
Pseudoscience, superstitions, and quackery are serious problems that threaten public health and in which many variables are involved. Psychology, however, has much to say about them, as it is the illusory perceptions of ...