243 research outputs found
Using author-devised cover letters instead of instructor-devised rubrics to generate useful written peer feedback comments
This study uses both qualitative and quantitative research methods in a mixed-methods approach to investigate whether the principled use of author-devised cover letters (CLs) within doctorate writing groups can result in more useful reviewer feedback comments than would be attained through the use of instructor-devised writing assessment rubrics. In this context, CLs are self-devised written documents that help the reviewers give the author useful and critical written feedback comments. Twenty participants in different discipline-specific writing groups were given explicit instruction about the importance and content of CLs during the peer feedback process. Their perceptions of a useful CL were obtained from post-course questionnaires and analysed qualitatively. In addition, their CLs at various stages of the feedback process were analysed quantitatively for genre, social presence, and evidence of teaching instruction, and compared to the CLs produced by 20 PhD students in similar writing groups who received minimal CL instruction. The study found that author-devised CLs, as opposed to instructor-devised rubrics, can allow the authors the flexibility of providing text-specific background details, requesting reviewer help on specific textual aspects, using social presence to develop a sense of writing community, and provide reflection upon their own writing
A practical mode system for recursive definitions
In call-by-value languages, some mutually-recursive value definitions can be
safely evaluated to build recursive functions or cyclic data structures, but
some definitions (let rec x = x + 1) contain vicious circles and their
evaluation fails at runtime. We propose a new static analysis to check the
absence of such runtime failures.
We present a set of declarative inference rules, prove its soundness with
respect to the reference source-level semantics of Nordlander, Carlsson, and
Gill (2008), and show that it can be (right-to-left) directed into an
algorithmic check in a surprisingly simple way.
Our implementation of this new check replaced the existing check used by the
OCaml programming language, a fragile syntactic/grammatical criterion which let
several subtle bugs slip through as the language kept evolving. We document
some issues that arise when advanced features of a real-world functional
language (exceptions in first-class modules, GADTs, etc.) interact with safety
checking for recursive definitions
Recommended from our members
A modular foreign function interface
Foreign function interfaces are typically organised monolithically, tying together the of each foreign function with the used to make the function available in the host language. This leads to inflexible systems, where switching from one binding mechanism to another (say from dynamic binding to static code generation) often requires changing tools and rewriting large portions of code.
We show that ML-style module systems support exactly the kind of abstraction needed to separate these two aspects of a foreign function binding, leading to declarative foreign function bindings that support switching between a wide variety of binding mechanisms — static and dynamic, synchronous and asynchronous, etc. — with no changes to the function specifications.
Note. This is a revised and expanded version of an earlier paper, This paper brings a greater focus on modularity, and adds new sections on error handling, and on the practicality of the approach we describe
Glacier clear ice bands indicate englacial channel microbial distribution
Distant glacial areas are interconnected by a complex system of fractures and water channels which run in the glacier interior and characterize the englacial realm. Water can slowly freeze in these channels where the slow freezing excludes air bubbles giving the ice a clear aspect. This ice is uplifted to the surface ablation zone by glacial movements and can therefore be observed in the form of clear surface ice bands. We employed an indirect method to sample englacial water by coring these ice bands. We were able, for the first time, to compare microbial communities sampled from clear (i.e. frozen englacial water bands) and cloudy ice (i.e. meteoric ice) through 16S rRNA gene sequencing. Although microbial communities were primarily shaped and structured by their spatial distribution on the glacier, ice type was a clear secondary factor. One area of the glacier, in particular, presented significant microbial community clear/cloudy ice differences. Although the clear ice and supraglacial communities showed typical cold-adapted glacial communities, the cloudy ice had a less defined glacial community and ubiquitous environmental organisms. These results highlight the role of englacial channels in the microbial dispersion within the glacier and, possibly, in the shaping of glacial microbial communities
Operational Challenges in Large Clinical Trials: Examples and Lessons Learned from the Gambia Pneumococcal Vaccine Trial
Hemispheric Sunspot Numbers R_n and R_s: Catalogue and N-S asymmetry analysis
Sunspot drawings are provided on a regular basis at the Kanzelhoehe Solar
Observatory, Austria, and the derived relative sunspot numbers are reported to
the Sunspot Index Data Center in Brussels. From the daily sunspot drawings, we
derived the northern, R_n, and southern, R_s, relative sunspot numbers for the
time span 1975-2000. In order to accord with the International Sunspot Numbers
R_i, the R_n and R_s have been normalized to the R_i, which ensures that the
relation R_n + R_s = R_i is fulfilled. For validation, the derived R_n and R_s
are compared to the international northern and southern relative sunspot
numbers, which are available from 1992. The regression analysis performed for
the period 1992-2000 reveals good agreement with the International hemispheric
Sunspot Numbers. The monthly mean and the smoothed monthly mean hemispheric
Sunspot Numbers are compiled into a catalogue. Based on the derived hemispheric
Sunspot Numbers, we study the significance of N-S asymmetries and the
rotational behavior separately for both hemispheres. We obtain that about 60%
of the monthly N-S asymmetries are significant at a 95% level, whereas the
relative contributions of the northern and southern hemisphere are different
for different cycles. From the analysis of power spectra and autocorrelation
functions, we derive a rigid rotation with about 27 days for the northern
hemisphere, which can be followed for up to 15 periods. Contrary to that, the
southern hemisphere reveals a dominant period of about 28 days, whereas the
autocorrelation is strongly attenuated after 3 periods. These findings suggest
that the activity of the northern hemisphere is dominated by an active zone,
whereas the southern activity is mainly dominated by individual long-lived
sunspot groups.Comment: 9 pages, 8 figures, data catalogue online available at
http://cdsweb.u-strasbg.fr/cgi-bin/qcat?J/A+A/390/70
Dissecting the regulatory microenvironment of a large animal model of non-Hodgkin lymphoma: evidence of a negative prognostic impact of FOXP3+ T cells in canine B cell lymphoma.
The cancer microenvironment plays a pivotal role in oncogenesis, containing a number of regulatory cells that attenuate the anti-neoplastic immune response. While the negative prognostic impact of regulatory T cells (Tregs) in the context of most solid tissue tumors is well established, their role in lymphoid malignancies remains unclear. T cells expressing FOXP3 and Helios were documented in the fine needle aspirates of affected lymph nodes of dogs with spontaneous multicentric B cell lymphoma (BCL), proposed to be a model for human non-Hodgkin lymphoma. Multivariable analysis revealed that the frequency of lymph node FOXP3(+) T cells was an independent negative prognostic factor, impacting both progression-free survival (hazard ratio 1.10; p = 0.01) and overall survival (hazard ratio 1.61; p = 0.01) when comparing dogs showing higher than the median FOXP3 expression with those showing the median value of FOXP3 expression or less. Taken together, these data suggest the existence of a population of Tregs operational in canine multicentric BCL that resembles thymic Tregs, which we speculate are co-opted by the tumor from the periphery. We suggest that canine multicentric BCL represents a robust large animal model of human diffuse large BCL, showing clinical, cytological and immunophenotypic similarities with the disease in man, allowing comparative studies of immunoregulatory mechanisms.This is the published version of the manuscript. It was published in PLOS One and can be found here: http://www.plosone.org/article/fetchObject.action?uri=info%3Adoi%2F10.1371%2Fjournal.pone.0105027&representation=PD
Assessment of ecological status in UK lakes using benthic diatoms
The European Union’s Water Framework Directive (WFD) requires that all water bodies in Europe achieve good ecological status (GES) by 2015. We developed an ecological classification tool for UK lakes based on benthic diatoms, a key component of the biological-quality element macrophytes and phytobenthos. A database of 1079 epilithic and epiphytic diatom samples and matching environmental data was assembled from 228 UK lakes. The data set was divided into 3 lake types: low, medium, and high alkalinity. A lake trophic diatom index (LTDI) was developed based on modification of the trophic diatom index (TDI) for rivers, and ecological quality ratios (EQRs) were generated for each lake type. The high/good status boundary was defined as the 25th percentile of EQRs of all reference sites (identified based on independent sedimentary-diatom-assemblage data or catchment point-source and landuse data), whereas the good/moderate boundary was set at the point at which nutrient-sensitive and nutrient-tolerant taxa were present in equal relative abundance. The moderate/poor and poor/bad boundaries were defined by equal division of the remaining EQR gradient. Samples from reference sites were used to predict the expected LTDI value for each sample, and these values were compared with the classifications derived from the LTDI. For lakes identified as reference sites, 68% were classified as having high status and 32% as having good. The model predicted 81% of nonreference lakes to have good or worse status. The model was applied to 17 English lakes (10 low- and 7 medium-alkalinity) for which classification based on other WFD tools was available. The classifications based on LTDI gave the same status (within 1 class) as other biological elements for 11 of the 17 lakes (65%). Thus, the LTDI gives a reliable assessment of the condition of the littoral biofilm and is a key component of a WFD-compliant tool kit for classifying UK standing waters
- …