Indexed induction and coinduction, fibrationally.

This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we present a sound coinduction rule for any data type arising as the final coalgebra of a functor, thus relaxing Hermida and Jacobs’ restriction to polynomial data types. For this we introduce the notion of a quotient category with equality (QCE), which both abstracts the standard notion of a fibration of relations constructed from a given fibration, and plays a role in the theory of coinduction dual to that of a comprehension category with unit (CCU) in the theory of induction. Second, we show that indexed inductive and coinductive types also admit sound induction and coinduction rules. Indexed data types often arise as initial algebras and final coalgebras of functors on slice categories, so our key technical results give sufficent conditions under which we can construct, from a CCU (QCE) U : E -> B, a fibration with base B/I that models indexing by I and is also a CCU (QCE)

On the link between rotation, chromospheric activity and Li abundance in subgiant stars

The connection rotation-CaII emission flux-lithium abundance is analyzed for a sample of bona fide subgiant stars, with evolutionary status determined from HIPPARCOS trigonometric parallax measurements and from the Toulouse-Geneva code.Comment: 9 pages, 8 figure

HST/FOS Eclipse Observations of the Nova-like Cataclysmic Variable UX Ursae Majoris

[abridged abstract] We present and analyze Hubble Space Telescope observations of the eclipsing nova-like cataclysmic variable UX UMa obtained with the Faint Object Spectrograph. Two eclipses each were observed with the G160L grating (covering the ultraviolet waveband) in August of 1994 and with the PRISM (covering the near-ultraviolet to near-infrared) in November of the same year. The system was 50% brighter in November than in August, which, if due to a change in the accretion rate, indicates a fairly substantial increase in Mdot_acc by >~ 50%. Model disk spectra constructed as ensembles of stellar atmospheres provide poor descriptions of the observed post-eclipse spectra, despite the fact that UX UMa's light should be dominated by the disk at this time. Suitably scaled single temperature model stellar atmospheres with T_eff = 12,500-14,500 K actually provide a better match to both the ultraviolet and optical post-eclipse spectra. Evidently, great care must be taken in attempts to derive accretion rates from comparisons of disk models to observations. One way to reconcile disk models with the observed post-eclipse spectra is to postulate the presence of a significant amount of optically thin material in the system. Such an optically thin component might be associated with the transition region (``chromosphere'') between the disk photosphere and the fast wind from the system, whose presence has been suggested by Knigge & Drew (1997).Comment: 35 pages, including 12 figures; to appear in the ApJ (Vol. 499

An optimized BSCCO/Ag resonator coil for utility use

AC coils made with BSCCO-2223/Ag tapes and operating in liquid nitrogen have a potential for power related applications, e.g., inductors, transformers and current limiters. High-Tc tapes are available from several producers, while access to the coil building know-help is still rather limited, The relevant knowledge and technology suitable for making HTS coils for 50-60 Hz operation is being developed as a part of the current project. To verify the technology, several test solenoids and a first full-scale sub-coil have been manufactured. Electromagnetic, thermal and mechanical analysis of the coils is performed. The electromagnetic analysis focuses on the reduction of the radial magnetic field component in the windings. Voltage-current characteristics and the AC loss data obtained from relevant short sample measurements are applied. A good agreement between calculated and measured V-I curves and losses of the coils is found. A remarkable increase of the critical current and the reduction of the AC loss at the coil edges are predicted and confirmed experimentally. With the losses defined, thermal analysis and optimization of the coil structure are performed numerically followed by measurements for verification. The paper reports on the series of coils developed and explains the features of the projec

Welfarism vs. extra-welfarism

'Extra-welfarism' has received some attention in health economics, yet there is little consensus on what distinguishes it from more conventional 'welfarist economics'. In this paper, we seek to identify the characteristics of each in order to make a systematic comparison of the ways in which they evaluate alternative social states. The focus, though this is not intended to be exclusive, is on health. Specifically, we highlight four areas in which the two schools differ: (i) the outcomes considered relevant in an evaluation; (ii) the sources of valuation of the relevant outcomes; (iii) the basis of weighting of relevant outcomes and (iv) interpersonal comparisons. We conclude that these differences are substantive. (C) 2007 Elsevier B.V. All rights reserved

On coalgebras with internal moves

In the first part of the paper we recall the coalgebraic approach to handling the so-called invisible transitions that appear in different state-based systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-based systems with internal moves, namely: weak bisimulation and trace semantics. We continue our research on weak bisimulations for coalgebras over order enriched monads. The key notions used in this paper and proposed by us in our previous work are the notions of an order saturation monad and a saturator. A saturator operator can be intuitively understood as a reflexive, transitive closure operator. There are two approaches towards defining saturators for coalgebras with internal moves. Here, we give necessary conditions for them to yield the same notion of weak bisimulation. Finally, we propose a definition of trace semantics for coalgebras with silent moves via a uniform fixed point operator. We compare strong and weak bisimilation together with trace semantics for coalgebras with internal steps.Comment: Article: 23 pages, Appendix: 3 page

A Kleene theorem for polynomial coalgebras

For polynomial functors G, we show how to generalize the classical notion of regular expression to G-coalgebras. We introduce a language of expressions for describing elements of the final G-coalgebra and, analogously to Kleene’s theorem, we show the correspondence between expressions and finite G-coalgebras

Addendum: "The Dynamics of M15: Observations of the Velocity Dispersion Profile and Fokker-Planck Models" (ApJ, 481, 267 [1997])

It has recently come to our attention that there are axis scale errors in three of the figures of Dull et al. (1997, hereafter D97). D97 presented Fokker-Planck models for the collapsed-core globular cluster M15 that include a dense, centrally concentrated population of neutron stars and massive white dwarfs, but do not include a central black hole. In this Addendum, we present corrected versions of Figures 9, 10, and 12, and an expanded version of Figure 6. This latter figure, which shows the full run of the velocity dispersion profile, indicates that the D97 model predictions are in good agreement with the moderately rising HST-STIS velocity dispersion profile for M15 reported by Gerssen et al. (2002, astro-ph/0209315). Thus, a central black hole is not required to fit the new STIS velocity measurements, provided that there is a sufficient population of neutron stars and massive white dwarfs. This conclusion is consistent with the findings of Gerssen et al. (2002, astro-ph/0210158), based on a reapplication of their Jeans equation analysis using the corrected mass-to-light profile (Figure 12) for the D97 models.Comment: 4 pages, 4 figures, submitted to Ap

Modeling Eclipses in the Classical Nova V Persei: The Role of the Accretion Disk Rim

Multicolor (BVRI) light curves of the eclipsing classical nova V Per are presented, and a total of twelve new eclipse timings are measured for the system. When combined with previous eclipse timings from the literature, these timings yield a revised ephemeris for the times of mid-eclipse given by HJD = 2,447,442.8260(1) + 0.107123474(3) E. The eclipse profiles are analyzed with a parameter-fitting model that assumes four sources of luminosity: a white dwarf primary star, a main-sequence secondary star, a flared accretion disk with a rim, and a bright spot at the intersection of the mass-transfer stream and the disk periphery. A matrix of model solutions are computed, covering an extensive range of plausible parameter values. The solution matrix is then explored to determine the optimum values for the fitting parameters and their associated errors. For models that treat the accretion disk as a flat structure without a rim, optimum fits require that the disk have a flat temperature profile. Although models with a truncated inner disk (R_in >> R_wd) result in a steeper temperature profile, steady-state models with a temperature profile characterized by T(r) \propto r^{-3/4} are found only for models with a significant disk rim. A comparison of the observed brightness and color at mid-eclipse with the photometric properties of the best-fitting model suggests that V Per lies at a distance of ~ 1 kpc.Comment: Accepted for publication in The Astrophysical Journal. Thirty-nine pages, including 9 figures. V2 - updated to include additional references and related discussion to previous work overlooked in the original version, and to correct a typo in the ephemeris given in the abstract. V3 - Minor typos corrected. The paper is scheduled for the 20 June 2006 issue of the ApJ. V4 - An error in equation (9) has been corrected. The results presented in the paper were not affected, as all computations were made using the correct formulation of this equatio

EXOGEN ultrasound bone healing system for long bone fractures with non-union or delayed healing: a NICE medical technology guidance

Open Access. This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.This article has been made available through the Brunel Open Access Publishing Fund.A routine part of the process for developing National Institute for Health and Care Excellence (NICE) medical technologies guidance is a submission of clinical and economic evidence by the technology manufacturer. The Birmingham and Brunel Consortium External Assessment Centre (EAC; a consortium of the University of Birmingham and Brunel University) independently appraised the submission on the EXOGEN bone healing system for long bone fractures with non-union or delayed healing. This article is an overview of the original evidence submitted, the EAC’s findings, and the final NICE guidance issued.The Birmingham and Brunel Consortium is funded by NICE to act as an External Assessment Centre for the Medical Technologies Evaluation Programme