2,293 research outputs found
Making Functionality More General
The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational language, we show that the functional relations are precisely those satisfying the simple equation f = f o fu o f, where "o" and "u" are respectively the composition and converse operators for relations. This article forms part of "A calculational theory of pers as types"
A Calculational Theory of Pers as Types
In the calculational approach to programming, programs are derived from specifications by algebraic reasoning. This report presents a calculational programming framework based upon the notion of binary relations as programs, and partial equivalence relations (pers) as types. Working with relations as programs generalises the functional paradigm, admiting non-determinism and the use of relation converse. Working with pers as types permits a natural treatment of types that are subject to laws and restrictions
A Smartphone Compatible SONAR Ranging Attachment for 2-D Mapping
The ability to attach external devices to smartphones has revolutionized the role of smartphones by extending their capabilities beyond the limitations of commodity hardware. Developing external attachments that allow smartphones to sense the depth of an area will facilitate the development of new immersive applications and technologies. In this paper, we propose a smartphone compatible SONAR ranging attachment and address the compatibility problem by proposing a hybrid hardware/software modulator that allows a digital sensor to communicate with a smartphone via the 3.5-mm headphone jack, found on most smartphones. We evaluate the proposed sensor using two metrics, accuracy and spatial resolution. We evaluate the accuracy of this system by measuring known distances with the sensor and comparing them. We measure the sensor\u27s spatial resolution by using ranging information from the SONAR module along with the phone\u27s gyroscope, accelerometer, and magnetometer to construct a two-dimensional map of a space
Disorder-Induced Shift of Condensation Temperature for Dilute Trapped Bose Gases
We determine the leading shift of the Bose-Einstein condensation temperature
for an ultracold dilute atomic gas in a harmonic trap due to weak disorder by
treating both a Gaussian and a Lorentzian spatial correlation for the quenched
disorder potential. Increasing the correlation length from values much smaller
than the geometric mean of the trap scale and the mean particle distance to
much larger values leads first to an increase of the positive shift to a
maximum at this critical length scale and then to a decrease.Comment: Author information under
http://www.theo-phys.uni-essen.de/tp/ags/pelster_di
GRB 070714B - Discovery of the Highest Spectroscopically Confirmed Short Burst Redshift
Gemini Nod & Shuffle spectroscopy on the host of the short GRB 070714B shows
a single emission line at 7167 angstroms which, based on a grizJHK photometric
redshift, we conclude is the 3727 angstrom [O II] line. This places the host at
a redshift of z=.923 exceeding the previous record for the highest
spectroscopically confirmed short burst redshift of z=.546 held by GRB 051221.
This dramatically moves back the time at which we know short bursts were being
formed, and suggests that the present evidence for an old progenitor population
may be observationally biased.Comment: Conference procedings for Gamma Ray Bursts 2007 November 5-9, 2007
Santa Fe, New Mexico (4 pages, 2 figures
Mandatory training in aged care- issues for Australian organisations and workers
There are significant issues related to the implementation of Mandatory Compliance Training in Not For Profit Aged Care provision in Australia. This paper provides an overview of those issues through an autoethnographic approach based on my 4 decades as an educator. It critiques the application of Mandatory Compliance Training using contemporary understandings of adult learning
Recommended from our members
End-tidal and arterial carbon dioxide gradient in serious traumatic brain injury after prehospital emergency anaesthesia: a retrospective observational study.
OBJECTIVES: In the UK, 20% of patients with severe traumatic brain injury (TBI) receive prehospital emergency anaesthesia (PHEA). Current guidance recommends an end-tidal carbon dioxide (ETCO2) of 4.0-4.5 kPa (30.0-33.8 mm Hg) to achieve a low-normal arterial partial pressure of CO2 (PaCO2), and reduce secondary brain injury. This recommendation assumes a 0.5 kPa (3.8 mm Hg) ETCO2-PaCO2 gradient. However, the gradient in the acute phase of TBI is unknown. The primary aim was to report the ETCO2-PaCO2 gradient of TBI patients at hospital arrival. METHODS: A retrospective cohort study of adult patients with serious TBI, who received a PHEA by a prehospital critical care team in the East of England between 1 April 2015 and 31 December 2017. Linear regression was performed to test for correlation and reported as R-squared (R2). A Bland-Altman plot was used to test for paired ETCO2 and PaCO2 agreement and reported with 95% CI. ETCO2-PaCO2 gradient data were compared with a two-tailed, unpaired, t-test. RESULTS: 107 patients were eligible for inclusion. Sixty-seven patients did not receive a PaCO2 sample within 30 min of hospital arrival and were therefore excluded. Forty patients had complete data and were included in the final analysis; per protocol. The mean ETCO2-PaCO2 gradient was 1.7 (±1.0) kPa (12.8 mm Hg), with moderate correlation (R2=0.23, p=0.002). The Bland-Altman bias was 1.7 (95% CI 1.4 to 2.0) kPa with upper and lower limits of agreement of 3.6 (95% CI 3.0 to 4.1) kPa and -0.2 (95% CI -0.8 to 0.3) kPa, respectively. There was no evidence of a larger gradient in more severe TBI (p=0.29). There was no significant gradient correlation in patients with a coexisting serious thoracic injury (R2=0.13, p=0.10), and this cohort had a larger ETCO2-PaCO2 gradient, 2.0 (±1.1) kPa (15.1 mm Hg), p=0.01. Patients who underwent prehospital arterial blood sampling had an arrival PaCO2 of 4.7 (±0.2) kPa (35.1 mm Hg). CONCLUSION: There is only moderate correlation of ETCO2 and PaCO2 at hospital arrival in patients with serious TBI. The mean ETCO2-PaCO2 gradient was 1.7 (±1.0) kPa (12.8 mm Hg). Lower ETCO2 targets than previously recommended may be safe and appropriate, and there may be a role for prehospital PaCO2 measurement
One filter, one sample and the N- and O-glyco(proteo)me: towards a system to study disorders of protein glycosylation. : Toward a System to Study Disorders of Protein Glycosylation
A method has been developed for release/isolation of O-glycans from glycoproteins in whole cell lysates for mass spectrometric analysis. Cells are lysed in SDS, which is then exchanged for urea and ammonium bicarbonate in a centrifugal filter, before treating with NH4OH to release O-glycans. Following centrifugation, O-glycans are recovered in the filtrate. Sonication achieves O-glycan release in 1 h. Combining the established protocol for filter-aided N-glycan separation, here optimized for enhanced PNGase F efficiency, with the developed O-glycan release method allows analysis of both N- and O-glycans from one sample, in the same filter unit, from 0.5 to 1 million cells. The method is compatible with subsequent analysis of the residual protein by liquid chromatography-mass spectrometry (LC-MS) after glycan release. The medium throughput approach is amenable to analysis of biological replicates, offering a simple way to assess the often subtle changes to glycan profiles accompanying differentiation and disease progression, in a statistically robust way
- …