Tarski monoids: Matui's spatial realization theorem

We introduce a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra. These inverse monoids are related to a class of etale topological groupoids under a non-commutative generalization of classical Stone duality and, significantly, they arise naturally in the theory of dynamical systems as developed by Matui. We are thereby able to reinterpret a theorem of Matui on a class of \'etale groupoids as an equivalent theorem about a class of Tarski monoids: two simple Tarski monoids are isomorphic if and only if their groups of units are isomorphic. The inverse monoids in question may also be viewed as countably infinite generalizations of finite symmetric inverse monoids. Their groups of units therefore generalize the finite symmetric groups and include amongst their number the classical Thompson groups.Comment: arXiv admin note: text overlap with arXiv:1407.147

Troubling Vulnerability: Designing with LGBT Young People's Ambivalence Towards Hate Crime Reporting

HCI is increasingly working with ?vulnerable? people yet there is a danger that the label of vulnerability can alienate and stigmatize the people such work aims to support. We report our study investigating the application of interaction design to increase rates of hate crime reporting amongst Lesbian, Gay, Bisexual and Transgender young people. During design-led workshops participants expressed ambivalence towards reporting. While recognizing their exposure to hate crime they simultaneously rejected ascription as victim as implied in the act of reporting. We used visual communication design to depict the young people?s ambivalent identities and contribute insights on how these fail and succeed to account for the intersectional, fluid and emergent nature of LGBT identities through the design research process. We argue that by producing ambiguous designed texts, alongside conventional qualitative data, we ?trouble? our design research narratives as a tactic to disrupt static and reductive understandings of vulnerability within HCI

Radiotelemetry Of Heart Rates From Free-Ranging Gulls

A lightweight radiotelemetry system with a range of 80 km was used to monitor heart rate from free-ranging Herring Gulls on flights of up to 20 km. Heart rate varied from 130 beats/min in a resting bird to 625 beats/min for sustained flight. Soaring birds showed rates similar to those of birds sitting quietly on the ground. Simultaneous records of telemetered heart rate and intraspecific conflict on the nesting island revealed that cardiac acceleration preceded overt visual communication. Intensely aggressive behavior was accompanied by heart rates approaching those of sustained flight. Heart rate as a measure of metabolic cost indicates that the gull\u27s behavioral adaptations for long-distance flight, food location and intraspecific communication result in major energy savings

Hierarchical strategies for efficient fault recovery on the reconfigurable PAnDA device

A novel hierarchical fault-tolerance methodology for reconfigurable devices is presented. A bespoke multi-reconfigurable FPGA architecture, the programmable analogue and digital array (PAnDA), is introduced allowing fine-grained reconfiguration beyond any other FPGA architecture currently in existence. Fault blind circuit repair strategies, which require no specific information of the nature or location of faults, are developed, exploiting architectural features of PAnDA. Two fault recovery techniques, stochastic and deterministic strategies, are proposed and results of each, as well as a comparison of the two, are presented. Both approaches are based on creating algorithms performing fine-grained hierarchical partial reconfiguration on faulty circuits in order to repair them. While the stochastic approach provides insights into feasibility of the method, the deterministic approach aims to generate optimal repair strategies for generic faults induced into a specific circuit. It is shown that both techniques successfully repair the benchmark circuits used after random faults are induced in random circuit locations, and the deterministic strategies are shown to operate efficiently and effectively after optimisation for a specific use case. The methods are shown to be generally applicable to any circuit on PAnDA, and to be straightforwardly customisable for any FPGA fabric providing some regularity and symmetry in its structure

ESR studies of the slow tumbling of vanadyl spin probes in nematic liquid crystals

ESR line shapes that are appropriate for slowly tumbling vanadyl spin probes in viscous nematic liquid crystals were calculated by the stochastic Liouville method. Because of the symmetry possessed by vanadyl, the analysis and interpretation of these line shapes was simplified considerably. Spectral line shapes agreed well with experimental spectra of VOAcAc in the nematic liquid crystal Phase V and BEPC. Deviations from Brownian rotational diffusion were noted. A slowly fluctuating torque analysis yielded good agreement with the experimental spectra

High-power operation of a K-band second harmonic gyroklystron

Amplification studies of a two-cavity second-harmonic gyroklystron are reported. A magnetron injection gun produces a 440 kV, 200–245 A, 1 μs beam with an average perpendicular-to-parallel velocity ratio slightly less than 1. The TE011 input cavity is driven near 9.88 GHz and the TE021 output cavity resonates near 19.76 GHz. Peak powers exceeding 21 MW are achieved with an efficiency near 21% and a large signal gain above 25 dB. This performance represents the current state of the art for gyroklystrons in terms of the peak power normalized to the output wavelength squared

Body size changes in passerine birds introduced to New Zealand from the UK

One feature of global geographic variation in avian body sizes is that they are larger on isolated islands than on continental regions. Therefore, this study aims to assess whether there have been changes in body size following successful establishment for seven passerine bird species (blackbird Turdus merula, song thrush T. philomelos, house sparrow Passer domesticus, chaffinch Fringilla coelebs, greenfinch Chloris chloris, goldfinch Carduelis carduelis, yellowhammer Emberiza citrinella) introduced from the continental islands of the UK to the more isolated oceanic landmass of New Zealand in the middle of the nineteenth century. Measures of tarsus length were taken from individuals from contemporary UK and New Zealand populations of these species, and from historical specimens collected around the time that individuals were translocated from the UK to New Zealand. Analysis of Variance was used to test for size differences between contemporary UK and New Zealand populations, and between historical UK and contemporary UK and New Zealand populations. Historical UK populations have longer tarsi, on average, than 12 (7 UK and 5 New Zealand) of the 14 contemporary populations. Significant decreases in tarsus length relative to the historical populations have occurred in the UK for blackbird, chaffinch and greenfinch, and in the New Zealand blackbird population. Contemporary New Zealand house sparrows have significantly longer tarsi, on average, than both historical and contemporary UK populations. Exposure to novel environments may be expected to lead to changes in the morphology and other traits of exotic species, but changes have also occurred in the native range. In fact, contrary to expectations, the most common differences we found were between contemporary and historical UK populations. Consideration of contemporary populations alone would underestimate the true scale of morphological change in these species over time, which may be due to phenotypic plasticity or genetic adaptation to environmental changes experienced by all populations in the last 150 years

Efficient operation of a high-power X-band gyroklystron

Experimental studies of amplification in a two-cavity X-band gyroklystron are reported. The system utilizes a thermionic magnetron injection gun at voltages up to 440 kV and currents up to 190 A in 1-μs pulses. Optimum performance is achieved by tapering the magnetic-field profile. Peak powers of 20 MW in the TE01 mode at 9.87 GHz are measured with calibrated crystals and with methanol calorimetry. Resultant efficiencies are in excess of 31% and large-signal gains surpass 26 dB. The experimental results are in good agreement with simulated results from a partially self-consistent, nonlinear, steady-state code