The principle of equivalence and projective structure in space-times

This paper discusses the extent to which one can determine the space-time metric from a knowledge of a certain subset of the (unparametrised) geodesics of its Levi-Civita connection, that is, from the experimental evidence of the equivalence principle. It is shown that, if the space-time concerned is known to be vacuum, then the Levi-Civita connection is uniquely determined and its associated metric is uniquely determined up to a choice of units of measurement, by the specification of these geodesics. It is further demonstrated that if two space-times share the same unparametrised geodesics and only one is assumed vacuum then their Levi-Civita connections are again equal (and so the other metric is also a vacuum metric) and the first result above is recovered.Comment: 23 pages, submitted to Classical and Quantum Gravit

On the Theory of Killing Orbits in Space-Time

This paper gives a theoretical discussion of the orbits and isotropies which arise in a space-time which admits a Lie algebra of Killing vector fields. The submanifold structure of the orbits is explored together with their induced Killing vector structure. A general decomposition of a space-time in terms of the nature and dimension of its orbits is given and the concept of stability and instability for orbits introduced. A general relation is shown linking the dimensions of the Killing algebra, the orbits and the isotropies. The well-behaved nature of "stable" orbits and the possible miss-behaviour of the "unstable" ones is pointed out and, in particular, the fact that independent Killing vector fields in space-time may not induce independent such vector fields on unstable orbits. Several examples are presented to exhibit these features. Finally, an appendix is given which revisits and attempts to clarify the well-known theorem of Fubini on the dimension of Killing orbits.Comment: Latex, 19 pages, no figur

Let's Eat Better Breakfasts

PDF pages: 2

EvolveAGene 3: A DNA coding sequence evolution simulation program

EvolveAGene 3 is a realistic coding sequence simulation program that separates mutation from selection and allows the user to set selection conditions, including variable regions of selection intensity within the sequence and variation in intensity of selection over branches. Variation includes base substitutions, insertions and deletions. Output includes a log file, the true tree and both unaligned coding sequence and protein sequences and the true DNA and protein alignments

Convenience Foods

PDF pages:

Snacks Habits, Needs, and Ideas

PDF pages:

Safety Engineering with COTS components

Safety-critical systems are becoming more widespread, complex and reliant on software. Increasingly they are engineered through Commercial Off The Shelf (COTS) (Commercial Off The Shelf) components to alleviate the spiralling costs and development time, often in the context of complex supply chains. A parallel increased concern for safety has resulted in a variety of safety standards, with a growing consensus that a safety life cycle is needed which is fully integrated with the design and development life cycle, to ensure that safety has appropriate influence on the design decisions as system development progresses. In this article we explore the application of an integrated approach to safety engineering in which assurance drives the engineering process. The paper re- ports on the outcome of a case study on a live industrial project with a view to evaluate: its suitability for application in a real-world safety engineering setting; its benefits and limitations in counteracting some of the difficulties of safety en- gineering with COTS components across supply chains; and, its effectiveness in generating evidence which can contribute directly to the construction of safety cases

Coke of Norfolk 1754-1842: a biography by Susanna Wade Martins [2009]

Susanna Wade Martins, Coke of Norfolk, 1754–1842. A Biography, Woodbridge, Suffolk, The Boydell Press, 2009. xii + 218 pp. £50.00. 9781843834267. This biography does Thomas Coke full justice, in style as well as in content. It is excellently illustrated with colour and monochrome plates with helpful, discursive captions and specially drawn maps and diagrams. The bibliography and index are extensive and the book has been meticulously produced. Coke’s memory is well served by this first-rate piece of work

Self-similar static solutions admitting a two-space of constant curvature

A recent result by Haggag and Hajj-Boutros is reviewed within the framework of self-similar space-times, extending, in some sense, their results and presenting a family of metrics consisting of all the static spherically symmetric perfect fluid solutions admitting a homothety.Comment: 6 page