Complete description of polarization effects in emission of a photon by an electron in the field of a strong laser wave

We consider emission of a photon by an electron in the field of a strong laser wave. Polarization effects in this process are important for a number of physical problems. A probability of this process for circularly or linearly polarized laser photons and for arbitrary polarization of all other particles is calculated. We obtain the complete set of functions which describe such a probability in a compact invariant form. Besides, we discuss in some detail the polarization effects in the kinematics relevant to the problem of electron to photon conversion at photon-photon and photon-electron colliders.Comment: 18 pages, minor changes, published versio

Adiponectin Deficiency Impairs Maternal Metabolic Adaptation to Pregnancy in Mice.

Hypoadiponectinemia has been widely observed in patients with gestational diabetes mellitus (GDM). To investigate the causal role of hypoadiponectinemia in GDM, adiponectin gene knockout (Adipoq-/- ) and wild-type (WT) mice were crossed to produce pregnant mouse models with or without adiponectin deficiency. Adenoviral vector-mediated in vivo transduction was used to reconstitute adiponectin during late pregnancy. Results showed that Adipoq-/- dams developed glucose intolerance and hyperlipidemia in late pregnancy. Increased fetal body weight was detected in Adipoq-/- dams. Adiponectin reconstitution abolished these metabolic defects in Adipoq-/- dams. Hepatic glucose and triglyceride production rates of Adipoq-/- dams were significantly higher than those of WT dams. Robustly enhanced lipolysis was found in gonadal fat of Adipoq-/- dams. Interestingly, similar levels of insulin-induced glucose disposal and insulin signaling in metabolically active tissues in Adipoq-/- and WT dams indicated that maternal adiponectin deficiency does not reduce insulin sensitivity. However, remarkably decreased serum insulin concentrations were observed in Adipoq-/- dams. Furthermore, β-cell mass, but not glucose-stimulated insulin release, in Adipoq-/- dams was significantly reduced compared with WT dams. Together, these results demonstrate that adiponectin plays an important role in controlling maternal metabolic adaptation to pregnancy

Dams

The construction of large dams is one of the most costly and controversial forms of public infrastructure investment in developing countries, but little is known about their impact. This paper studies the productivity and distributional effects of large dams in India. To account for endogenous placement of dams we use GIS data and the fact that river gradient affects a district's suitability for dams to provide instrumental variable estimates of their impact. We find that, in a district where a dam is built, agricultural production does not increase but poverty does. In contrast, districts located downstream from the dam benefit from increased irrigation and see agricultural production increase and poverty fall. Overall, our estimates suggest that large dam construction in India is a marginally cost-effective investment with significant distributional implications, and has, in aggregate, increased poverty.

A Risky Climate for Southern African Hydro

This in-depth study of the hydrological risks to hydropower dams on the Zambezi River gives an early warning about what Southern Africa could be facing as it contemplates plans for more large hydropower dams in a time of climate change.Currently, 13,000 megawatts of new large-dam hydro is proposed for the Zambezi and its tributaries. The report finds that existing and proposed hydropower dams are not being properly evaluated for the risks from natural hydrological variability (which is extremely high in the Zambezi), much less the risks posed by climate change.Overall, Africa's fourth-largest river will experience worse droughts and more extreme floods. Dams being proposed and built now will be negatively affected, yet energy planning in the basin is not taking serious steps to address these huge hydrological uncertainties. The result could be dams that are uneconomic, disruptive to the energy sector, and possibly even dangerous.The report recommends a series of steps to address the coming storm of hydrological changes, including changes to how dams are planned and operated

Should we build more large dams? The actual costs of hydropower megaproject development

A brisk building boom of hydropower mega-dams is underway from China to Brazil. Whether benefits of new dams will outweigh costs remains unresolved despite contentious debates. We investigate this question with the "outside view" or "reference class forecasting" based on literature on decision-making under uncertainty in psychology. We find overwhelming evidence that budgets are systematically biased below actual costs of large hydropower dams - excluding inflation, substantial debt servicing, environmental, and social costs. Using the largest and most reliable reference data of its kind and multilevel statistical techniques applied to large dams for the first time, we were successful in fitting parsimonious models to predict cost and schedule overruns. The outside view suggests that in most countries large hydropower dams will be too costly in absolute terms and take too long to build to deliver a positive risk-adjusted return unless suitable risk management measures outlined in this paper can be affordably provided. Policymakers, particularly in developing countries, are advised to prefer agile energy alternatives that can be built over shorter time horizons to energy megaprojects

The use of frozen semen to minimize inbreeding in small populations

In this study, we compared the average coancestry and inbreeding levels for two genetic conservation schemes in which frozen semen from a gene bank is used to reduce the inbreeding in a live population. For a simple scheme in which only semen of generation-0 (G0) sires is used, the level of inbreeding asymptotes to 1/(2N), where N is the number of newborn sires in the base generation and rate of inbreeding goes to zero. However, when only sires of G0 are selected, all genes will eventually descend from the founder sires and all genes from the founder dams are lost. We propose an alternative scheme in which N sires from generation 1 (G1), as well as the N sires from G0, have semen conserved, and the semen of G0 and G1 sires is used for dams of odd and even generation numbers, respectively. With this scheme, the level of inbreeding asymptotes to 1/(3N) and the genes of founder dams are also conserved, because 50% of the genes of sires of G1 are derived from the founder dams. A computer simulation study shows that this is the optimum design to minimize inbreeding, even if semen from later generations is available

Refinement for Transition Systems with Responses

Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted as must eventually, and in which implementations can contain may behaviors that are resolved at run-time. We propose Transition Systems with Responses (TSRs) as a suitable model for this study. We prove that TSRs correspond to a restricted class of mixed transition systems, which we refer to as the action-deterministic mixed transition systems. We show that TSRs allow for a natural definition of deadlocked and accepting states. We then transfer the standard definition of refinement for mixed transition systems to TSRs and prove that refinement does not preserve deadlock freedom. This leads to the proposal of safe refinements, which are those that preserve deadlock freedom. We exemplify the use of TSRs and (safe) refinements on a small medication workflow.Comment: In Proceedings FIT 2012, arXiv:1207.348

Expressiveness and Completeness in Abstraction

We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal Transition Systems is strictly less expressive than the class of Generalised Kripke Modal Transition Systems (a generalised variant of Kripke Modal Transition Systems equipped with hypertransitions). Furthermore, we investigate the ability of an abstraction framework to prove a formula with a finite abstract model, a property known as completeness. We address the issue of completeness from a general perspective: the way it depends on certain abstraction parameters, as well as its relationship with expressiveness.Comment: In Proceedings EXPRESS/SOS 2012, arXiv:1208.244

Maturity effects in concrete dams

Model equations for determining the coupled heat, moisture and maturity changes within a concrete block are introduced and briefly examined. Preliminary results are obtained for the heat exchange between concrete slabs in contact driven by maturity differences