Adaptive Optics for Astronomy

Adaptive Optics is a prime example of how progress in observational astronomy can be driven by technological developments. At many observatories it is now considered to be part of a standard instrumentation suite, enabling ground-based telescopes to reach the diffraction limit and thus providing spatial resolution superior to that achievable from space with current or planned satellites. In this review we consider adaptive optics from the astrophysical perspective. We show that adaptive optics has led to important advances in our understanding of a multitude of astrophysical processes, and describe how the requirements from science applications are now driving the development of the next generation of novel adaptive optics techniques.Comment: to appear in ARA&A vol 50, 201

Bounded Model Checking for Probabilistic Programs

In this paper we investigate the applicability of standard model checking approaches to verifying properties in probabilistic programming. As the operational model for a standard probabilistic program is a potentially infinite parametric Markov decision process, no direct adaption of existing techniques is possible. Therefore, we propose an on-the-fly approach where the operational model is successively created and verified via a step-wise execution of the program. This approach enables to take key features of many probabilistic programs into account: nondeterminism and conditioning. We discuss the restrictions and demonstrate the scalability on several benchmarks

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel.In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime: we compute the two-point correlation functions for the linearized Einstein tensor and for the metric perturbations. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a quasi-static black hole.Comment: 75 pages, no figures, submitted to Living Reviews in Relativit

Some Curvature Problems in Semi-Riemannian Geometry

In this survey article we review several results on the curvature of semi-Riemannian metrics which are motivated by the positive mass theorem. The main themes are estimates of the Riemann tensor of an asymptotically flat manifold and the construction of Lorentzian metrics which satisfy the dominant energy condition.Comment: 25 pages, LaTeX, 4 figure

Stochastic Gravity: Theory and Applications

Whereas semiclassical gravity is based on the semiclassical Einstein equation with sources given by the expectation value of the stress-energy tensor of quantum fields, stochastic semiclassical gravity is based on the Einstein-Langevin equation, which has in addition sources due to the noise kernel. In the first part, we describe the fundamentals of this new theory via two approaches: the axiomatic and the functional. In the second part, we describe three applications of stochastic gravity theory. First, we consider metric perturbations in a Minkowski spacetime, compute the two-point correlation functions of these perturbations and prove that Minkowski spacetime is a stable solution of semiclassical gravity. Second, we discuss structure formation from the stochastic gravity viewpoint. Third, we discuss the backreaction of Hawking radiation in the gravitational background of a black hole and describe the metric fluctuations near the event horizon of an evaporating black holeComment: 100 pages, no figures; an update of the 2003 review in Living Reviews in Relativity gr-qc/0307032 ; it includes new sections on the Validity of Semiclassical Gravity, the Stability of Minkowski Spacetime, and the Metric Fluctuations of an Evaporating Black Hol

Modes of Foreign Entry under Asymmetric Information about Potential Technology Spillovers

This paper studies the effect of technology spillovers on the entry decision of a multinational enterprise into a foreign market. Two alternative entry modes for a foreign direct investment are considered: Greenfield investment versus acquisition. We find that with quantity competition a spillover makes acquisitions less attractive, while with price competition acquisitions become more attractive. Asymmetric information about potential spillovers always reduces the number of acquisitions independently of whether the host country or the entrant has private information. Interestingly, we find that asymmetric information always hurts the entrant, while it sometimes is in favor of the host country

Nucleotide sequence and variations of the bovine myocyte enhancer factor 2C (MEF2C) gene promoter in Bos Taurus cattle

Myocyte Enhancer Factor 2 (MEF2) proteins are a small family of transcription factors that play pivotal role in morphogenesis and myogenesis of skeletal, cardiac, and smooth muscle cells. In vertebrates, there are four MEF2 genes, referred to as MEF2A, -B, -C, and -D, that are located on different chromosomes. After birth MEF2A, MEF2B, MEF2D transcriptions are expressed ubiquitously, whereas MEF2C transcripts are restricted to skeletal muscle, brain, and spleen. In this study, on the basis of the sequences of the bovine chromosome 7 genomic contig, available in the GenBank database, sets of PCR primers were designed and to amplify the bovine MEF2C gene promoter region, exon 1 (5′UTR) and part sequence of the intron 1. Seven overlapping fragments of the bovine MEF2C gene were amplified and then sequenced. Altogether, these fragments were composed in the 3,120-bp sequence which was deposited in the GenBank database under accession no. GU211007. The sequence fragment included the putative site of the promoter region and transcription start of the exon 1. The sequence analysis of these fragments in individual animals representing different Bos taurus breeds revealed four variations in promoter region: g.-1606C>T, g.-1336_-1335DelG, g.-818C>T, g.-613_-612DelA and four SNPs within intron 1: g.2711A>G, g. 2913A>G, g.2962G>T and g.3014A>G. No polymorphism was found within sequence of the exon 1 (5′UTR). These polymorphisms were identified for first time using these sequences and were confirmed by RFLP or MSSCP methods

Nuclei in Strongly Magnetised Neutron Star Crusts

We discuss the ground state properties of matter in outer and inner crusts of neutron stars under the influence of strong magnetic fields. In particular, we demonstrate the effects of Landau quantization of electrons on compositions of neutron star crusts. First we revisit the sequence of nuclei and the equation of state of the outer crust adopting the Baym, Pethick and Sutherland (BPS) model in the presence of strong magnetic fields and most recent versions of the theoretical and experimental nuclear mass tables. Next we deal with nuclei in the inner crust. Nuclei which are arranged in a lattice, are immersed in a nucleonic gas as well as a uniform background of electrons in the inner crust. The Wigner-Seitz approximation is adopted in this calculation and each lattice volume is replaced by a spherical cell. The coexistence of two phases of nuclear matter - liquid and gas, is considered in this case. We obtain the equilibrium nucleus corresponding to each baryon density by minimizing the free energy of the cell. We perform this calculation using Skyrme nucleon-nucleon interaction with different parameter sets. We find nuclei with larger mass and charge numbers in the inner crust in the presence of strong magnetic fields than those of the zero field case for all nucleon-nucleon interactions considered here. However, SLy4 interaction has dramatic effects on the proton fraction as well as masses and charges of nuclei. This may be attributed to the behaviour of symmetry energy with density in the sub-saturation density regime. Further we discuss the implications of our results to shear mode oscillations of magnetars.Comment: presented in "Exciting Physics Symposium" held in Makutsi, South Africa in November, 2011 and to be published in a book by Springer Verla