Big-step semantics for languages with abrupt termination and/or divergence suffer from a serious duplication problem, addressed by the novel ‘pretty-big-step’ style presented by Charguéraud at ESOP’13. Such rules are less concise than corresponding small-step rules, but they have the same advantages as big-step rules for program correctness proofs. Here, we show how to automatically derive pret...

The observed mass function for all known extrasolar giant planets (EGPs) varies approximately as M −1 for mass M between ∼ 0.2 Jupiter masses (M J) and ∼ 5 M J. In order to study evaporation effects for highly-irradiated EGPs in this mass range, we have constructed an observational mass function for a subset of EGPs in the same mass range but with orbital radii < 0.07 AU. Surprisingly, the mass...

Assume submodels are in exponential family: pm(x, z; θm) = exp { θ m ( φm(x)φ Z(z) ) −Am(θm) } for x ∈ X , z ∈ Zm and 0 otherwise Reformulation of Product EM: Aggregate parameters: b = ∑ m bm, bm = φ X m(x) θm E-step: compute expected sufficient statistics μ = E(b,∩mZm) def = Eq(z;b)φ(z) with support ∩mZm M-step: set θm to match moments φ X m(x)μ Exponential family formulation Two sources of in...

Understanding finite-size effects is one of the key open questions in solving planar AdS/CFT. In this paper we discuss these effects in the AdS5×S string theory at one-loop in the world-sheet coupling. First we provide a very general, efficient way to compute the fluctuation frequencies, which allows to determine the energy shift for very general multi-cut solutions. Then we apply this to two-c...

Optimal firm size and patterns of returns to scale among the local exchange companies in the U.S. telecommunications industry are estimated for the years: 1975, 1978, 1981, 1984, 1987 and 1990. The independent companies display increasing returns to scale, while the Baby Bells display constant or decreasing returns to scale. The independent companies operate at a scale smaller than optimal size...

The term ‘new economy’ is used to refer to two distinct developments. The first is the increasing importance of pure services, particularly those related to information, and the corresponding decline in the importance of the goods-producing sector. The second is the liberalisation of product and labour market and the resulting decline of institutions like lifetime full employment. Although ther...

We consider giant gravitons as probes of a class of ten-dimensional solutions of type IIB supergravity which arise as lifts of solutions of U(1)3 gauged N = 2 supergravity in five-dimensions. Surprisingly it is possible to solve exactly for minimum energy configurations of these spherical D3-brane probes in the compact directions, even in backgrounds which preserve no supersymmetry. The branes ...

Note: This preprint copy is only for personal use.

A challenge is presented to the usual account of the development of the Manchester Baby which focuses on the contribution made to the project by the topologist M.H.A. (Max) Newman and other members of the Dept. of Mathematics. Based on an extensive re-examination of the primary source material, it is suggested that a very much more significant role was played by mathematicians than is allowed f...

We propose a correspondence between the physics of certain small charge black holes in AdSk × Sl and large charge black holes in AdSl × Sk. The curvature singularities of these solutions arise, following Myers and Tafjord, from a condensate of giant gravitons. When the number of condensed giants Ng is much greater than the number of background branes N , we propose that the system has an equiva...