Junctions and thin shells in general relativity using computer algebra I: The Darmois-Israel Formalism

We present the GRjunction package which allows boundary surfaces and thin-shells in general relativity to be studied with a computer algebra system. Implementing the Darmois-Israel thin shell formalism requires a careful selection of definitions and algorithms to ensure that results are generated in a straight-forward way. We have used the package to correctly reproduce a wide variety of examples from the literature. We present several of these verifications as a means of demonstrating the packages capabilities. We then use GRjunction to perform a new calculation - joining two Kerr solutions with differing masses and angular momenta along a thin shell in the slow rotation limit.Comment: Minor LaTeX error corrected. GRjunction for GRTensorII is available from http://astro.queensu.ca/~grtensor/GRjunction.htm

Heuristic Evaluation for Novice Programming Systems

The past few years has seen a proliferation of novice programming tools. The availability of a large number of systems has made it difficult for many users to choose among them. Even for education researchers, comparing the relative quality of these tools, or judging their respective suitability for a given context, is hard in many instances. For designers of such systems, assessing the respective quality of competing design decisions can be equally difficult. Heuristic evaluation provides a practical method of assessing the quality of alternatives in these situations and of identifying potential problems with existing systems for a given target group or context. Existing sets of heuristics, however, are not specific to the domain of novice programming and thus do not evaluate all aspects of interest to us in this specialised application domain. In this article, we propose a set of heuristics to be used in heuristic evaluations of novice programming systems. These heuristics have the potential to allow a useful assessment of the quality of a given system with lower cost than full formal user studies and greater precision than the use of existing sets of heuristics. The heuristics are described and discussed in detail. We present an evaluation of the effectiveness of the heuristics that suggests that the new set of heuristics provides additional useful information to designers not obtained with existing heuristics sets

Unbounded Superoptimization

Our aim is to enable software to take full advantage of the capabilities of emerging microprocessor designs without modifying the compiler. Towards this end, we propose a new approach to code generation and optimization. Our approach uses an SMT solver in a novel way to generate efficient code for modern architectures and guarantee that the generated code correctly implements the source code. The distinguishing characteristic of our approach is that the size of the constraints does not depend on the candidate sequence of instructions. To study the feasibility of our approach, we implemented a preliminary prototype, which takes as input LLVM IR code and uses Z3 SMT solver to generate ARMv7-A assembly. The prototype handles arbitrary loop-free code (not only basic blocks) as input and output. We applied it to small but tricky examples used as standard benchmarks for other superoptimization and synthesis tools. We are encouraged to see that Z3 successfully solved complex constraints that arise from our approach. This work paves the way to employing recent advances in SMT solvers and has a potential to advance SMT solvers further by providing a new category of challenging benchmarks that come from an industrial application domain

A multi-detector array for high energy nuclear e+e- pair spectrosocopy

A multi-detector array has been constructed for the simultaneous measurement of energy- and angular correlation of electron-positron pairs produced in internal pair conversion (IPC) of nuclear transitions up to 18 MeV. The response functions of the individual detectors have been measured with mono-energetic beams of electrons. Experimental results obtained with 1.6 MeV protons on targets containing $^{11}$B and $^{19}$F show clear IPC over a wide angular range. A comparison with GEANT simulations demonstrates that angular correlations of $e^+e^-$ pairs of transitions in the energy range between 6 and 18 MeV can be determined with sufficient resolution and efficiency to search for deviations from IPC due to the creation and subsequent decay into $e^+e^-$ of a hypothetical short-lived neutral boson.Comment: 20 pages, 8 figure

Polynomial super-gl(n) algebras

We introduce a class of finite dimensional nonlinear superalgebras $L = L_{\bar{0}} + L_{\bar{1}}$ providing gradings of $L_{\bar{0}} = gl(n) \simeq sl(n) + gl(1)$. Odd generators close by anticommutation on polynomials (of degree $>1$) in the $gl(n)$ generators. Specifically, we investigate `type I' super-$gl(n)$ algebras, having odd generators transforming in a single irreducible representation of $gl(n)$ together with its contragredient. Admissible structure constants are discussed in terms of available $gl(n)$ couplings, and various special cases and candidate superalgebras are identified and exemplified via concrete oscillator constructions. For the case of the $n$-dimensional defining representation, with odd generators $Q_{a}, \bar{Q}{}^{b}$, and even generators ${E^{a}}_{b}$, $a,b = 1,...,n$, a three parameter family of quadratic super-$gl(n)$ algebras (deformations of $sl(n/1)$) is defined. In general, additional covariant Serre-type conditions are imposed, in order that the Jacobi identities be fulfilled. For these quadratic super-$gl(n)$ algebras, the construction of Kac modules, and conditions for atypicality, are briefly considered. Applications in quantum field theory, including Hamiltonian lattice QCD and space-time supersymmetry, are discussed.Comment: 31 pages, LaTeX, including minor corrections to equation (3) and reference [60

High Spatial Resolution Fast-Neutron Imaging Detectors for Pulsed Fast-Neutron Transmission Spectroscopy

Two generations of a novel detector for high-resolution transmission imaging and spectrometry of fast-neutrons are presented. These devices are based on a hydrogenous fiber scintillator screen and single- or multiple-gated intensified camera systems (ICCD). This detector is designed for energy-selective neutron radiography with nanosecond-pulsed broad-energy (1 - 10 MeV) neutron beams. Utilizing the Time-of-Flight (TOF) method, such a detector is capable of simultaneously capturing several images, each at a different neutron energy (TOF). In addition, a gamma-ray image can also be simultaneously registered, allowing combined neutron/gamma inspection of objects. This permits combining the sensitivity of the fast-neutron resonance method to low-Z elements with that of gamma radiography to high-Z materials.Comment: Also published in JINST: http://www.iop.org/EJ/abstract/1748-0221/4/05/P0501

A Toy Model for Testing Finite Element Methods to Simulate Extreme-Mass-Ratio Binary Systems

Extreme mass ratio binary systems, binaries involving stellar mass objects orbiting massive black holes, are considered to be a primary source of gravitational radiation to be detected by the space-based interferometer LISA. The numerical modelling of these binary systems is extremely challenging because the scales involved expand over several orders of magnitude. One needs to handle large wavelength scales comparable to the size of the massive black hole and, at the same time, to resolve the scales in the vicinity of the small companion where radiation reaction effects play a crucial role. Adaptive finite element methods, in which quantitative control of errors is achieved automatically by finite element mesh adaptivity based on posteriori error estimation, are a natural choice that has great potential for achieving the high level of adaptivity required in these simulations. To demonstrate this, we present the results of simulations of a toy model, consisting of a point-like source orbiting a black hole under the action of a scalar gravitational field.Comment: 29 pages, 37 figures. RevTeX 4.0. Minor changes to match the published versio

Precision measurements of the top quark mass from the Tevatron in the pre-LHC era

The top quark is the heaviest of the six quarks of the Standard Model. Precise knowledge of its mass is important for imposing constraints on a number of physics processes, including interactions of the as yet unobserved Higgs boson. The Higgs boson is the only missing particle of the Standard Model, central to the electroweak symmetry breaking mechanism and generation of particle masses. In this Review, experimental measurements of the top quark mass accomplished at the Tevatron, a proton-antiproton collider located at the Fermi National Accelerator Laboratory, are described. Topologies of top quark events and methods used to separate signal events from background sources are discussed. Data analysis techniques used to extract information about the top mass value are reviewed. The combination of several most precise measurements performed with the two Tevatron particle detectors, CDF and \D0, yields a value of \Mt = 173.2 \pm 0.9 GeV/$c^2$.Comment: This version contains the most up-to-date top quark mass averag

Does franchising create value? An analysis of the financial performance of US public restaurant firms

Author's OriginalIt is commonly believed that the franchising method of distribution provides strategic and operational benefits to the companies that adopt it. These benefits should result in superior financial performance as compared to that of firms that do not use franchising. Yet, the empirical evidence of the effects of franchising on financial performance is sparse and mixed. The purpose of this paper is to further examine the empirical evidence of the impact of franchising on a firm’s financial performance by using performance metrics (Economic Value Added and Market Value Added) that are extensively used in corporate finance. This study focuses on the US public restaurant sector. The results provide some evidence that franchising firms create more market and economic value than do non-franchising firms. A revised version of this paper has since been published in the International Journal of Hospitality and Tourism Administration. Please use this version in your citations.Aliouche, E. & Schlentrich, U. (2009). Does Franchising Create Value? An Analysis of the Financial Performance of US Public Restaurant Firms. International Journal of Hospitality & Tourism Administration, 10(2), 93-10