Inter-row subsoiling increases marketable yield in potatoes

Inter-row subsoiling increased average yield of 40-65 mm potatoes by 14 pct during 2001-2003. But there were significant differences between the years. In 2001, the yield increased by 49 pct, whereas it was unaffected or decreased in 2002 and 2003. Better understanding of optimal subsoiling conditions is needed to exploit the benefit of inter-row subsoiling

Programming and Reasoning with Guarded Recursion for Coinductive Types

We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive types may be transformed into coinductive types by a type-former inspired by modal logic and Atkey-McBride clock quantification, allowing the typing of acausal functions. We give a call-by-name operational semantics for the calculus, and define adequate denotational semantics in the topos of trees. The adequacy proof entails that the evaluation of a program always terminates. We demonstrate the expressiveness of the calculus by showing the definability of solutions to Rutten's behavioural differential equations. We introduce a program logic with L\"{o}b induction for reasoning about the contextual equivalence of programs.Comment: Version of FoSSaCS 2015 paper with appendice

Erfaringer med kamme som alternativ til pløjning

Reduceret jordbehandling er ønskelig, men er det muligt ved økologisk drift? Et alternativ til pløjning kunne være opsætning af kamme i dyrkningen af rækkeafgrøder. Mulighederne undersøges på KVL

Automated characterization of single-photon avalanche photodiode

We report an automated characterization of a single-photon detector based on commercial silicon avalanche photodiode (PerkinElmer C30902SH). The photodiode is characterized by I-V curves at different illumination levels (darkness, 10 pW and 10 uW), dark count rate and photon detection efficiency at different bias voltages. The automated characterization routine is implemented in C++ running on a Linux computer.Comment: Have permission to post journal-formatted version on arXi

Dybe jordløsninger i kartofler

Dybe jordløsninger øgede udbyttet af salgbare knolde med 14% i et tre-årigt markforsøg, men der var store forskelle mellem årene. I 2001 var udbyttet af salgbare knolde 49% højere mens det totale udbytte blev øget med 5%. I 2002 var der ikke nogen effekt og i 2003 reducerede dybe jordløsninger det totale knoldudbytte med 7%. Uddybende forsøg vil være nødvendige for at undersøge om det er muligt at opnå vedvarende højere salgbare udbytter ved at time de dybe jordløsninger i forhold til vækststadie og nedbørsmængde

Positiv effekt af kamdyrkning

Det netop afsluttede FØJO-II projekt CARMINA har givet følgende hovedresultater: Pløjefri dyrkning kombineret med kamme opsat om vinteren kan reducere udvaskningen af kvælstof på lerjord og er et muligt alternativ til almindelig kartoffeldyrkning. Dybe jordløsninger i vækstsæsonen kan under gunstige omstændigheder øge udbyttet i kartofler. Endvidere har kamdyrkning efter pløjning vist potentiale til at øge udbyttet i majs

Caring for continence in stroke care settings: a qualitative study of patients’ and staff perspectives on the implementation of a new continence care intervention

Objectives: Investigate the perspectives of patients and nursing staff on the implementation of an augmented continence care intervention after stroke. Design: Qualitative data were elicited during semi-structured interviews with patients (n = 15) and staff (14 nurses; nine nursing assistants) and analysed using thematic analysis. Setting: Mixed acute and rehabilitation stroke ward. Participants: Stroke patients and nursing staff that experienced an enhanced continence care intervention. Results: Four themes emerged from patients’ interviews describing: (a) challenges communicating about continence (initiating conversations and information exchange); (b) mixed perceptions of continence care; (c) ambiguity of focus between mobility and continence issues; and (d) inconsistent involvement in continence care decision making. Patients’ perceptions reflected the severity of their urinary incontinence. Staff described changes in: (i) knowledge as a consequence of specialist training; (ii) continence interventions (including the development of nurse-led initiatives to reduce the incidence of unnecessary catheterisation among patients admitted to their ward); (iii) changes in attitude towards continence from containment approaches to continence rehabilitation; and (iv) the challenges of providing continence care within a stroke care context including limitations in access to continence care equipment or products, and institutional attitudes towards continence. Conclusion: Patients (particularly those with severe urinary incontinence) described challenges communicating about and involvement in continence care decisions. In contrast, nurses described improved continence knowledge, attitudes and confidence alongside a shift from containment to rehabilitative approaches. Contextual components including care from point of hospital admission, equipment accessibility and interdisciplinary approaches were perceived as important factors to enhancing continence care