STAR adaptation of QR algorithm

The QR algorithm used on a serial computer and executed on the Control Data Corporation 6000 Computer was adapted to execute efficiently on the Control Data STAR-100 computer. How the scalar program was adapted for the STAR-100 and why these adaptations yielded an efficient STAR program is described. Program listings of the old scalar version and the vectorized SL/1 version are presented in the appendices. Execution times for the two versions applied to the same system of linear equations, are compared

Impacts of plug-in hybrid vehicles and combined heat and power technologies on electric and gas distribution network losses

Distribution network operators (DNOs) require strategies that can offset the tradeoffs new embedded technologies have on their assets. This paper employs modelling to show that through control device manipulation, gas and electric (G&E) network operators can influence savings in energy losses under the presence of plug-in hybrid vehicles (PHEVs) and combined heat and power technologies (CHPs). An integrated gas and electric optimal power flow (OPF) tool is introduced to undertake various case studies. The OPF tool evaluates the technical impacts experienced in the networks when DNOs apply a "plug and forget" operation strategy and then compares the results against a "loss minimisation" strategy. Results show the benefits in applying different strategies are more considerable in electric networks than in gas networks. The study corroborates that an integrated G&E analysis offers a fresh perspective for stakeholders in evaluating energy service networks performance under different operation strategies

Stop Co-Annihilation in the Minimal Supersymmetric Standard Model Revisited

We re-examine the stop co-annihilation scenario of the Minimal Supersymmetric Standard Model, wherein a bino-like lightest supersymmetric particle has a thermal relic density set by co-annihilations with a scalar partner of the top quark in the early universe. We concentrate on the case where only the top partner sector is relevant for the cosmology, and other particles are heavy. We discuss the cosmology with focus on low energy parameters and an emphasis on the implications of the measured Higgs boson mass and its properties. We find that the irreducible direct detection signal correlated with this cosmology is generically well below projected experimental sensitivity, and in most cases lies below the neutrino background. A larger, detectable, direct detection rate is possible, but is unrelated to the co-annihilation cosmology. LHC searches for compressed spectra are crucial for probing this scenario

Thermodynamics of Vortices in the Plane

The thermodynamics of vortices in the critically coupled abelian Higgs model, defined on the plane, are investigated by placing $N$ vortices in a region of the plane with periodic boundary conditions: a torus. It is noted that the moduli space for $N$ vortices, which is the same as that of $N$ indistinguishable points on a torus, fibrates into a $CP_{N-1}$ bundle over the Jacobi manifold of the torus. The volume of the moduli space is a product of the area of the base of this bundle and the volume of the fibre. These two values are determined by considering two 2-surfaces in the bundle corresponding to a rigid motion of a vortex configuration, and a motion around a fixed centre of mass. The partition function for the vortices is proportional to the volume of the moduli space, and the equation of state for the vortices is $P(A-4\pi N)=NT$ in the thermodynamic limit, where $P$ is the pressure, $A$ the area of the region of the plane occupied by the vortices, and $T$ the temperature. There is no phase transition.Comment: 17 pages, DAMTP 93-3

Relating structure and power: Comonadic semantics for computational resources

Combinatorial games are widely used in finite model theory, constraint satisfaction, modal logic and concurrency theory to characterize logical equivalences between structures. In particular, Ehrenfeucht–Fraïssé games, pebble games and bisimulation games play a central role. We show how each of these types of games can be described in terms of an indexed family of comonads on the category of relational structures and homomorphisms. The index k is a resource parameter that bounds the degree of access to the underlying structure. The coKleisli categories for these comonads can be used to give syntax-free characterizations of a wide range of important logical equivalences. Moreover, the coalgebras for these indexed comonads can be used to characterize key combinatorial parameters: tree depth for the Ehrenfeucht–Fraïssé comonad, tree width for the pebbling comonad and synchronization tree depth for the modal unfolding comonad. These results pave the way for systematic connections between two major branches of the field of logic in computer science, which hitherto have been almost disjoint: categorical semantics and finite and algorithmic model theory

Treatment of multidrug-resistant tuberculosis in a remote, conflict-affected area of the Democratic Republic of Congo.

The Democratic Republic of Congo is a high-burden country for multidrug-resistant tuberculosis. Médecins Sans Frontières has supported the Ministry of Health in the conflict-affected region of Shabunda since 1997. In 2006, three patients were diagnosed with drug-resistant TB (DR-TB) and had no options for further treatment. An innovative model was developed to treat these patients despite the remote setting. Key innovations were the devolving of responsibility for treatment to non-TB clinicians remotely supported by a TB specialist, use of simplified monitoring protocols, and a strong focus on addressing stigma to support adherence. Treatment was successfully completed after a median of 24 months. This pilot programme demonstrates that successful treatment for DR-TB is possible on a small scale in remote settings