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)

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

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

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

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

Delayed ischaemia due to vasospasm after fenestration of a large arachnoid cyst

An 18-year-old patient developed multiple infarcts, nine days after endoscopic fenestration of a large arachnoid cyst. We consider vasospasm to be the most likely cause, presumably triggered by a chemical meningitis. Although mostly seen after subarachnoid haemorrhage, vasospasm can also occur after traumatic brain injury, brain surgery or meningitis

Tracking magnetic bright point motions through the solar atmosphere

High-cadence, multiwavelength observations and simulations are employed for the analysis of solar photospheric magnetic bright points (MBPs) in the quiet Sun. The observations were obtained with the Rapid Oscillations in the Solar Atmosphere (ROSA) imager and the Interferometric Bidimensional Spectrometer at the Dunn Solar Telescope. Our analysis reveals that photospheric MBPs have an average transverse velocity of approximately 1 km s−1, whereas their chromospheric counterparts have a slightly higher average velocity of 1.4 km s−1. Additionally, chromospheric MBPs were found to be around 63 per cent larger than the equivalent photospheric MBPs. These velocity values were compared with the output of numerical simulations generated using the MURAM code. The simulated results were similar, but slightly elevated, when compared to the observed data. An average velocity of 1.3 km s−1 was found in the simulated G-band images and an average of 1.8 km s−1 seen in the velocity domain at a height of 500 km above the continuum formation layer. Delays in the change of velocities were also analysed. Average delays of ∼4 s between layers of the simulated data set were established and values of ∼29 s observed between G-band and Ca II K ROSA observations. The delays in the simulations are likely to be the result of oblique granular shock waves, whereas those found in the observations are possibly the result of a semi-rigid flux tube

DOT Tomography of the Solar Atmosphere VII. Chromospheric Response to Acoustic Events

We use synchronous movies from the Dutch Open Telescope sampling the G band, Ca II and Halpha with five-wavelength profile sampling to study the response of the chromosphere to acoustic events in the underlying photosphere. We first compare the visibility of the chromosphere in Ca II H and Halpha, demonstrate that studying the chromosphere requires Halpha data, and summarize recent developments in understanding why this is so. We construct divergence and vorticity maps of the photospheric flow field from the G-band images and locate specific events through the appearance of bright Ca II H grains. The reaction of the Halpha chromosphere is diagnosed in terms of brightness and Doppler shift. We show and discuss three particular cases in detail: a regular acoustic grain marking shock excitation by granular dynamics, a persistent flasher which probably marks magnetic-field concentration, and an exploding granule. All three appear to buffet overlying fibrils, most clearly in Dopplergrams. Although our diagnostic displays to dissect these phenomena are unprecedentedly comprehensive, adding even more information (photospheric Doppler tomography and magnetograms, chromospheric imaging and Doppler mapping in the ultraviolet) is warranted.Comment: accepted by Solar Physic

The popular music heritage of the Dutch pirates: illegal radio and cultural identity

This article explores how cultural identities are negotiated in relation to the heritage of illegal radio in the Netherlands. The term ‘pirate radio’ commonly refers to the offshore radio stations that were broadcasting during the 1960s. These stations introduced commercial radio and popular music genres like beat music, which were not played by public broadcasters at the time. In their wake, land-based pirates began broadcasting for local audiences. This study examines the identities that are constituted by the narrative of pirate radio. Drawing on in-depth interviews with archivists, fans and broadcasters, this article explores the connection between pirate radio, popular music heritage and cultural identity. Moreover, it considers how new technologies such as internet radio provide platforms to engage with this heritage and thus to maintain these local identities. To examine how the memories of pirate radio live on in the present a narrative approach to identity will be used

Patient perceptions of electronic medical records use and ratings of care quality

Purpose: Despite considerable potential for improving health care quality, adoption of new technologies, such as electronic medical records (EMRs), requires prudence, to ensure that such tools are designed, implemented, and used meaningfully to facilitate patient-centered communication and care processes, and better health outcomes. The association between patients’ perceptions of health care provider use of EMRs and health care quality ratings was assessed.\ud Method: Data from two iterations of the Health Information National Trends Survey, fielded in 2011 and 2012, were pooled for these analyses. The data were collected via mailed questionnaire, using a nationally representative listing of home addresses as the sampling frame (n=7,390). All data were weighted to provide representative estimates of quality of care ratings and physician use of EMR, in the adult US population. Descriptive statistics, t-tests, and multivariable linear regression analyses were conducted.\ud Results: EMR use was reported significantly more frequently by females, younger age groups, non-Hispanic whites, and those with higher education, higher incomes, health insurance, and a usual source of health care. Respondents who reported physician use of EMRs had significantly higher ratings of care quality (Beta=4.83, standard error [SE]=1.7, P<0.01), controlling for sociodemographic characteristics, usual source of health care, and health insurance status.\ud Conclusion: Nationally representative data suggest that patients’ perceptions of EMR use are associated with their perceptions of the quality of the health care they receive