A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

Challenges and opportunities for teacher professional development in interactive use of technology in African schools

This paper examines the supporting and constraining factors influencing professional learning about interactive teaching and mobile digital technology use in low-resourced basic schools in sub-Saharan Africa. It draws on a case study of iterative development and refinement of a school-based, peer-facilitated professional learning programme (“OER4Schools”) that integrated use of mobile technologies, digital open educational resources and interactive pedagogy. The research and development involved teachers in three Zambian primary schools and culminated in an extensive multimedia resource. Using an ecological framework, factors emerging were characterised at three levels: teacher, school, and the wider community and policy context. They include school organisation and leadership, teacher motivation and perceptions of opportunities for professional learning and change, teacher views of pupil capabilities, availability of resources, teacher collaboration, and viewpoints of parents and policymakers.We are most grateful to the teachers and the school who participated in our trials for their enthusiasm and support. Thanks also to Masters students Andrew Cross and Melissa Marsden for their roles in the data collection and analysis. The OER4Schools programme was based in the University of Cambridge Centre for Commonwealth Education (CCE) and was supported by the Commonwealth Education Trust, primarily funding the creation of the resource and the research. We greatly appreciate the administrative support provided by various CCE staff throughout the programme.This is the author accepted manuscript. The final version is available from Taylor & Francis via http://dx.doi.org/10.1080/1475939X.2015.109246

Pedagogic change by Zambian primary school teachers participating in the OER4Schools professional development programme for one year

Supporting and upskilling teachers are essential to enhancing the quality of learning in developing contexts – the focus of Education For All – yet little evidence exists concerning what kinds of teacher education are actually most effective and what changes in ‘quality’ are desired and feasible. This paper illustrates how a concrete, research-informed school-based, model of professional development in sub-Saharan Africa can address the quality agenda. It reports on a trial of a pioneering, multimedia programme supporting interactive mathematics and science teaching using open educational resources and classroom digital technology, where available. The programme was carefully adapted to the Zambian context and ran weekly for one school year with 12 teachers in a low-resourced primary school. The study examined the impact on teachers' thinking and classroom practices. Data were derived from observations, lesson and workshop recordings, teacher interviews, portfolios and audio diaries. Through a teacher-led workshop approach and trialling new pedagogical strategies, teachers raised their expectations of pupils, adapted to learners’ knowledge levels, used more practical and group work, and integrated technology use. Pupils built deeper understanding of subject matter, were actively engaged, worked collaboratively and used digital technologies for problem-solving.Commonwealth Education Trus

Thromboembolic and neurologic sequelae of discontinuation of an antihyperlipidemic drug during ongoing warfarin therapy

Warfarin and antihyperlipidemics are commonly co-prescribed. Some antihyperlipidemics may inhibit warfarin deactivation via the hepatic cytochrome P450 system. Therefore, antihyperlipidemic discontinuation has been hypothesized to result in underanticoagulation, as warfarin metabolism is no longer inhibited. We quantified the risk of venous thromboembolism (VTE) and ischemic stroke (IS) due to statin and fibrate discontinuation in warfarin users, in which warfarin was initially dose-titrated during ongoing antihyperlipidemic therapy. Using 1999-2011 United States Medicaid claims among 69 million beneficiaries, we conducted a set of bidirectional self-controlled case series studies-one for each antihyperlipidemic. Outcomes were hospital admissions for VTE/IS. The risk segment was a maximum of 90 days immediately following antihyperlipidemic discontinuation, the exposure of interest. Time-varying confounders were included in conditional Poisson models. We identified 629 study eligible-persons with at least one outcome. Adjusted incidence rate ratios (IRRs) for all antihyperlipidemics studied were consistent with the null, and ranged from 0.21 (0.02, 2.82) for rosuvastatin to 2.16 (0.06, 75.0) for gemfibrozil. Despite using an underlying dataset of millions of persons, we had little precision in estimating IRRs for VTE/IS among warfarin-treated persons discontinuing individual antihyperlipidemics. Further research should investigate whether discontinuation of gemfibrozil in warfarin users results in serious underanticoagulation

PASCO: Structural panel analysis and sizing code: Users manual - Revised

A computer code denoted PASCO is described for analyzing and sizing uniaxially stiffened composite panels. Buckling and vibration analyses are carried out with a linked plate analysis computer code denoted VIPASA, which is included in PASCO. Sizing is based on nonlinear mathematical programming techniques and employs a computer code denoted CONMIN, also included in PASCO. Design requirements considered are initial buckling, material strength, stiffness and vibration frequency. A user's manual for PASCO is presented

Linux kernel compaction through cold code swapping

There is a growing trend to use general-purpose operating systems like Linux in embedded systems. Previous research focused on using compaction and specialization techniques to adapt a general-purpose OS to the memory-constrained environment, presented by most, embedded systems. However, there is still room for improvement: it has been shown that even after application of the aforementioned techniques more than 50% of the kernel code remains unexecuted under normal system operation. We introduce a new technique that reduces the Linux kernel code memory footprint, through on-demand code loading of infrequently executed code, for systems that support virtual memory. In this paper, we describe our general approach, and we study code placement algorithms to minimize the performance impact of the code loading. A code, size reduction of 68% is achieved, with a 2.2% execution speedup of the system-mode execution time, for a case study based on the MediaBench II benchmark suite

Ferumoxytol-enhanced magnetic resonance angiography for the assessment of potential kidney transplant recipients

Objectives: Traditional contrast-enhanced methods for scanning blood vessels using magnetic resonance imaging (MRI) or CT carry potential risks for patients with advanced kidney disease. Ferumoxytol is a superparamagnetic iron oxide nanoparticle preparation that has potential as an MRI contrast agent in assessing the vasculature. Methods: Twenty patients with advanced kidney disease requiring aorto-iliac vascular imaging as part of pre-operative kidney transplant candidacy assessment underwent ferumoxytol-enhanced magnetic resonance angiography (FeMRA) between December 2015 and August 2016. All scans were performed for clinical indications where standard imaging techniques were deemed potentially harmful or inconclusive. Image quality was evaluated for both arterial and venous compartments. Results: First-pass and steady-state FeMRA using incremental doses of up to 4 mg/kg body weight of ferumoxytol as intravenous contrast agent for vascular enhancement was performed. Good arterial and venous enhancements were achieved, and FeMRA was not limited by calcification in assessing the arterial lumen. The scans were diagnostic and all patients completed their studies without adverse events. Conclusions: Our preliminary experience supports the feasibility and utility of FeMRA for vascular imaging in patients with advanced kidney disease due for transplant listing, which has the advantages of obtaining both arteriography and venography using a single test without nephrotoxicity

Towards hardware acceleration of neuroevolution for multimedia processing applications on mobile devices

This paper addresses the problem of accelerating large artificial neural networks (ANN), whose topology and weights can evolve via the use of a genetic algorithm. The proposed digital hardware architecture is capable of processing any evolved network topology, whilst at the same time providing a good trade off between throughput, area and power consumption. The latter is vital for a longer battery life on mobile devices. The architecture uses multiple parallel arithmetic units in each processing element (PE). Memory partitioning and data caching are used to minimise the effects of PE pipeline stalling. A first order minimax polynomial approximation scheme, tuned via a genetic algorithm, is used for the activation function generator. Efficient arithmetic circuitry, which leverages modified Booth recoding, column compressors and carry save adders, is adopted throughout the design

Two level anti-crossings high up in the single-particle energy spectrum of a quantum dot

We study the evolution with magnetic field of the single-particle energy levels high up in the energy spectrum of one dot as probed by the ground state of the adjacent dot in a weakly coupled vertical quantum dot molecule. We find that the observed spectrum is generally well accounted for by the calculated spectrum for a two-dimensional elliptical parabolic confining potential, except in several regions where two or more single-particle levels approach each other. We focus on two two-level crossing regions which show unexpected anti-crossing behavior and contrasting current dependences. Within a simple coherent level mixing picture, we can model the current carried through the coupled states of the probed dot provided the intrinsic variation with magnetic field of the current through the states (as if they were uncoupled) is accounted for by an appropriate interpolation scheme.Comment: 4 pages, 4 figures, accepted for publication in Physica E in MSS 13 conference proceeding