Spacelike surfaces with free boundary in the Lorentz-Minkowski space

We investigate a variational problem in the Lorentz-Minkowski space \l^3 whose critical points are spacelike surfaces with constant mean curvature and making constant contact angle with a given support surface along its common boundary. We show that if the support surface is a pseudosphere, then the surface is a planar disc or a hyperbolic cap. We also study the problem of spacelike hypersurfaces with free boundary in the higher dimensional Lorentz-Minkowski space \l^{n+1}.Comment: 16 pages. Accepted in Classical and Quantum Gravit

Energy of Isolated Systems at Retarded Times as the Null Limit of Quasilocal Energy

We define the energy of a perfectly isolated system at a given retarded time as the suitable null limit of the quasilocal energy $E$. The result coincides with the Bondi-Sachs mass. Our $E$ is the lapse-unity shift-zero boundary value of the gravitational Hamiltonian appropriate for the partial system $\Sigma$ contained within a finite topologically spherical boundary $B = \partial \Sigma$. Moreover, we show that with an arbitrary lapse and zero shift the same null limit of the Hamiltonian defines a physically meaningful element in the space dual to supertranslations. This result is specialized to yield an expression for the full Bondi-Sachs four-momentum in terms of Hamiltonian values.Comment: REVTEX, 16 pages, 1 figur

Demography and commonly recorded clinical conditions of Chihuahuas under primary veterinary care in the UK in 2016

The Chihuahua, the world’s smallest dog breed, is a popular breed in the UK today. The VetCompass™ Programme collates de-identified clinical records from primary-care veterinary practices in the UK for epidemiological research. This study aimed to characterise the demography, age at death and common disorders of Chihuahuas under primary veterinary care during 2016 in the UK

Unravelling the health status of brachycephalic dogs in the UK using multivariable analysis

Brachycephalic dog breeds are regularly asserted as being less healthy than non-brachycephalic breeds. Using primary-care veterinary clinical data, this study aimed to identify predispositions and protections in brachycephalic dogs and explore differing inferences between univariable and multivariable results. All disorders during 2016 were extracted from a random sample of 22,333 dogs within the VetCompass Programme from a sampling frame of 955,554 dogs under UK veterinary care in 2016. Univariable and multivariable binary logistic regression modelling explored brachycephaly as a risk factor for each of a series of common disorders. Brachycephalic dogs were younger, lighter and less likely to be neutered than mesocephalic, dolichocephalic and crossbred dogs. Brachycephalic differed to non-brachycephalic types in their odds for 10/30 (33.33%) common disorders. Of these, brachycephalic types were predisposed for eight disorders and were protected for two disorders. Univariable and multivariable analyses generated differing inference for 11/30 (30.67%) disorders. This study provides strong evidence that brachycephalic breeds are generally less healthy than their non-brachycephalic counterparts. Results from studies that report only univariable methods should be treated with extreme caution due to potential confounding effects that have not been accounted for during univariable study design or analysis

Deriving genetic programming fitness properties by static analysis

Deriving Genetic Programming Fitness Properties by Static Analysis Colin G. Johnson The aim of this paper is to introduce the idea of using static analysis of computer programs as a way of measuring fitness in genetic programming. Such techniques extract information about the programs without explicitly running them, and in particular they infer properties which hold across the whole of the input space of a program. This can be applied to measure fitness, and has a number of advantages over measuring fitness by running members of the population on test cases. The most important advantage is that if a solution is found then it is possible to formally trust that solution to be correct across all inputs. This paper introduces these ideas, discusses various ways in which they could be applied, discusses the type of problems for which they are appropriate, and ends by giving a simple test example and some questions for future research

Variation between centres in access to renal transplantation in UK: longitudinal cohort study

Objective To assess whether equity exists in access to renal transplantation in the UK after adjustment for case mix in incident patients with end stage renal disease

West Highland White Terriers under primary veterinary care in the UK in 2016: demography, mortality and disorders

The West Highland White Terrier (WHWT) is a relatively common breed in the UK, although Kennel Club registrations have declined in recent years. The VetCompass™ Programme collates de-identified clinical data from primary-care veterinary practices in the UK for epidemiological research. Using VetCompass clinical data, this study aimed to characterise the demography, longevity and common disorders of WHWTs under primary veterinary care in the UK

Precision Measurement of the Radiative B\Beta Decay of the Free Neutron

The standard model predicts that, in addition to a proton, an electron, and an antineutrino, a continuous spectrum of photons is emitted in the $\beta$ decay of the free neutron. We report on the RDK II experiment which measured the photon spectrum using two different detector arrays. An annular array of bismuth germanium oxide scintillators detected photons from 14 to 782~keV. The spectral shape was consistent with theory, and we determined a branching ratio of 0.00335 $\pm$ 0.00005 [stat] $\pm$ 0.00015 [syst]. A second detector array of large area avalanche photodiodes directly detected photons from 0.4 to 14~keV. For this array, the spectral shape was consistent with theory, and the branching ratio was determined to be 0.00582 $\pm$ 0.00023 [stat] $\pm$ 0.00062 [syst]. We report the first precision test of the shape of the photon energy spectrum from neutron radiative decay and a substantially improved determination of the branching ratio over a broad range of photon energies

On the Existence of a Maximal Cauchy Development for the Einstein Equations - a Dezornification

In 1969, Choquet-Bruhat and Geroch established the existence of a unique maximal globally hyperbolic Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn's lemma. In this paper we present a proof that avoids the use of Zorn's lemma. In particular, we provide an explicit construction of this maximal globally hyperbolic development.Comment: 25 pages, 6 figures, v2 small changes and minor correction, v3 version accepted for publicatio

Extracting surface representations from rim curves

LNCS v. 3852 is the conference proceedings of ACCV 2006In this paper, we design and implement a novel method for constructing a mixed triangle/quadrangle mesh from the 3D space curves (rims) estimated from the profiles of an object in an image sequence without knowing the original 3D topology of the object. To this aim, a contour data structure for representing visual hull, which is different from that for CT/MRI, is introduced. In this paper, we (1) solve the "branching structure" problem by introducing some additional "directed edge", and (2) extract a triangle/ quadrangle closed mesh from the contour structure with an algorithm based on dynamic programming. Both theoretical demonstration and real world results show that our proposed method has sufficient robustness with respect to the complex topology of the object, and the extracted mesh is of high quality. © Springer-Verlag Berlin Heidelberg 2006.postprintThe 7th Asian Conference on Computer Vision (ACCV 2006), Hyderabad, India, 13-16 January 2006. In Lecture Notes in Computer Science, 2006, v. 3852, p. 732-74