2,205 research outputs found
Recommended from our members
Project report – transferable skills in higher education
This study was initiated by the need, frequently expressed by employers, for the education system to produce potential employees with better transferable skills. The paper reports a field trial at a UK university (following a four-year pilot of NVQ Level 4 Key Skills with another course). The project operated within a new foundation (Level 0) programme, aiming to simplify the paperwork employed in the pilot and incorporate skills assessment within modules, thereby obviating the need for a portfolio of evidence. The project was successful in only one or two modules, those where staff were committed to the aims
Movement and Countermovement Dynamics Between the Religious Right and LGB Community Arising from Colorado’s Amendment 2
This sample of the case study of Equality Colorado will demonstrate how counter movements and litigation may limit and change how an organization surrounding a social movement acts. Colorado for Family Values helped pass Colorado’s Amendment 2 in 1992, which limited any present and future anti-discrimination legislation that would protect sexuality as a class. This ballot initiative passed by 53% of Colorado voters, and other states like Idaho and Oregon attempted to replicate this type of initiative. Amendment 2 challenged the LGB community and compelled the movement to collectively respond to the religious right with coalitions, pooled resources, and litigation. Equality Colorado, established in 1992, will exemplify how a social movement could respond to prejudicial legislation. One of Equality Colorado’s primary tactics was to reframe religion as inclusive of gay rights. It did not cede religion entirely to its opponents and attempted to delegitimize them by labeling them “radical right” as opposed to the more popular term “religious right” or “Christian Conservatives”. Additionally, Equality Colorado tried to compensate for the downsides of litigation by “translating” the legal terms to the general public and connecting litigators with the broader movement
Surgery remains the best option for the management of pain in patients with chronic pancreatitis: a systematic review and meta-analysis
Controversy related to endoscopic or surgical management of pain in patients with chronic pancreatitis remains. Despite improvement in endoscopic treatments, surgery remains the best option for pain management in these patients
Maximal Sharing in the Lambda Calculus with letrec
Increasing sharing in programs is desirable to compactify the code, and to
avoid duplication of reduction work at run-time, thereby speeding up execution.
We show how a maximal degree of sharing can be obtained for programs expressed
as terms in the lambda calculus with letrec. We introduce a notion of `maximal
compactness' for lambda-letrec-terms among all terms with the same infinite
unfolding. Instead of defined purely syntactically, this notion is based on a
graph semantics. lambda-letrec-terms are interpreted as first-order term graphs
so that unfolding equivalence between terms is preserved and reflected through
bisimilarity of the term graph interpretations. Compactness of the term graphs
can then be compared via functional bisimulation.
We describe practical and efficient methods for the following two problems:
transforming a lambda-letrec-term into a maximally compact form; and deciding
whether two lambda-letrec-terms are unfolding-equivalent. The transformation of
a lambda-letrec-term into maximally compact form proceeds in three
steps:
(i) translate L into its term graph ; (ii) compute the maximally
shared form of as its bisimulation collapse ; (iii) read back a
lambda-letrec-term from the term graph with the property . This guarantees that and have the same unfolding, and that
exhibits maximal sharing.
The procedure for deciding whether two given lambda-letrec-terms and
are unfolding-equivalent computes their term graph interpretations and , and checks whether these term graphs are bisimilar.
For illustration, we also provide a readily usable implementation.Comment: 18 pages, plus 19 pages appendi
Very high rotational frequencies and band termination in 73Br
Rotational bands in 73Br have been investigated up to spins of 65/2 using the
EUROBALL III spectrometer. One of the negative-parity bands displays the
highest rotational frequency 1.85 MeV reported to date in nuclei with mass
number greater than 25. At high frequencies, the experimental dynamic moment of
inertia for all bands decrease to very low values, indicating a loss of
collectivity. The bands are described in the configuration-dependent cranked
Nilsson-Strutinsky model. The calculations indicate that one of the
negative-parity bands is observed up to its terminating single-particle state
at spin 63/2. This result establishes the first band termination case in the A
= 70 mass region.Comment: 6 pages, 6 figures, submitted to Phys. Rev. C as a Rapid
Communicatio
Worker/wrapper/makes it/faster
Much research in program optimization has focused on formal approaches to correctness: proving that the meaning of programs is preserved by the optimisation. Paradoxically, there has been comparatively little work on formal approaches to efficiency: proving that the performance of optimized programs is actually improved. This paper addresses this problem for a general-purpose optimization technique, the worker/wrapper transformation. In particular, we use the call-by-need variant of improvement theory to establish conditions under which the worker/wrapper transformation is formally guaranteed to preserve or improve the time performance of programs in lazy languages such as Haskell
Recommended from our members
Phenotypic heterogeneity and genetic modification of P102L inherited prion disease in an international series
The largest kindred with inherited prion disease P102L, historically Gerstmann-Sträussler-Scheinker syndrome, originates from central England, with émigrés now resident in various parts of the English-speaking world. We have collected data from 84 patients in the large UK kindred and numerous small unrelated pedigrees to investigate phenotypic heterogeneity and modifying factors. This collection represents by far the largest series of P102L patients so far reported. Microsatellite and genealogical analyses of eight separate European kindreds support multiple distinct mutational events at a cytosine-phosphate diester-guanidine dinucleotide mutation hot spot. All of the smaller P102L kindreds were linked to polymorphic human prion protein gene codon 129M and were not connected by genealogy or microsatellite haplotype background to the large kindred or each other. While many present with classical Gerstmann-Sträussler-Scheinker syndrome, a slowly progressive cerebellar ataxia with later onset cognitive impairment, there is remarkable heterogeneity. A subset of patients present with prominent cognitive and psychiatric features and some have met diagnostic criteria for sporadic Creutzfeldt-Jakob disease. We show that polymorphic human prion protein gene codon 129 modifies age at onset: the earliest eight clinical onsets were all MM homozygotes and overall age at onset was 7 years earlier for MM compared with MV heterozygotes (P = 0.02). Unexpectedly, apolipoprotein E4 carriers have a delayed age of onset by 10 years (P = 0.02). We found a preponderance of female patients compared with males (54 females versus 30 males, P = 0.01), which probably relates to ascertainment bias. However, these modifiers had no impact on a semi-quantitative pathological phenotype in 10 autopsied patients. These data allow an appreciation of the range of clinical phenotype, modern imaging and molecular investigation and should inform genetic counselling of at-risk individuals, with the identification of two genetic modifiers
Recommended from our members
The c/a Ratio in Quenched Fe-C and Fe-N steels - a Heuristic Story
The body-centered tetragonal (BCT) structure in quenched Fe-C steels is usually illustrated to show a linear change in the c and a axes with an increase in carbon content from 0 to 1.4%C. The work of Campbell and Fink, however, shows that this continuous linear relationship is not correct. Rather, it was shown that the body-centered-cubic (BCC) structure is the stable structure from 0 to 0.6 wt%C with the c/a ratio equal to unity. An abrupt change in the c/a ratio to 1.02 occurs at 0.6 wt%C. The BCT structure forms, and the c/a ratio increases with further increase in carbon content. An identical observation is noted in quenched Fe-N steels. This discontinuity is explained by a change in the transformation process. It is proposed that a two-step transformation process occurs in the low carbon region, with the FCC first transforming to HCP and then from HCP to BCC. In the high carbon region, the FCC structure transforms to the BCT structure. The results are explained with the Engel-Brewer theory of valence and crystal structure of the elements. An understanding of the strength of quenched iron-carbon steels plays a key role in the proposed explanation of the c/a anomaly based on interstitial solutes and precipitates
The GREAT triggerless total data readout method
Recoil decay tagging (RDT) is a very powerful method for the spectroscopy of exotic nuclei. RDT is a delayed coincidence technique between detectors usually at the target position and at the focal plane of a spectrometer. Such measurements are often limited by dead time. This paper describes a novel triggerless data acquisition method, which is being developed for the Gamma Recoil Electron Alpha Tagging (GREAT) spectrometer, that overcomes this limitation by virtually eliminating dead time. Our solution is a total data readout (TDR) method where all channels run independently and are associated in software to reconstruct events. The TDR method allows all the data from both target position and focal plane to be collected with practically no dead-time losses. Each data word is associated with a timestamp generated from a global 100-MHz clock. Events are then reconstructed in real time in the event builder using temporal and spatial associations defined by the physics of the experimen
- …