Typing Copyless Message Passing

We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is essentially linear, but we show that linearity alone is inadequate, because it leaves room for scenarios where well-typed processes leak significant amounts of memory. We address these problems basing the type system upon an original variant of session types.Comment: 50 page

Forecasting scenarios for UK household expenditure and associated GHG emissions : Outlook to 2030

Peer reviewedPreprin

Modeling the initiation of others into injection drug use, using data from 2,500 injectors surveyed in Scotland during 2008-2009

The prevalence of injection drug use has been of especial interest for assessment of the impact of blood-borne viruses. However, the incidence of injection drug use has been underresearched. Our 2-fold aim in this study was to estimate 1) how many other persons, per annum, an injection drug user (IDU) has the equivalent of full responsibility (EFR) for initiating into injection drug use and 2) the consequences for IDUs' replacement rate. EFR initiation rates are strongly associated with incarceration history, so that our analysis of IDUs' replacement rate must incorporate when, in their injecting career, IDUs were first incarcerated. To do so, we have first to estimate piecewise constant incarceration rates in conjunction with EFR initiation rates, which are then combined with rates of cessation from injecting to model IDUs' replacement rate over their injecting career, analogous to the reproduction number of an epidemic model. We apply our approach to Scotland's IDUs, using over 2,500 anonymous injector participants who were interviewed in Scotland's Needle Exchange Surveillance Initiative during 2008-2009. Our approach was made possible by the inclusion of key questions about initiations. Finally, we extend our model to include an immediate quit rate, as a reasoned compensation for higher-than-expected replacement rates, and we estimate how high initiates' quit rate should be for IDUs' replacement rate to be 1

Problematising parent–professional partnerships in education

The value of, and need for, parent–professional partnerships is an unchallenged mantra within policy relating to ‘special educational needs’. In spite of this, partnerships continue to be experienced as problematic by both parents and professionals. This paper brings together the different perspectives of two disability researchers: one a parent of a disabled child while the other was a teacher for 20 years of children with the label autism. The paper deconstructs the concept of partnership and then, drawing on the expertise of parents, suggests how enabling and empowering parent–professional relationships might be achieved

Problematising parent–professional partnerships in education

The value of, and need for, parent–professional partnerships is an unchallenged mantra within policy relating to ‘special educational needs’. In spite of this, partnerships continue to be experienced as problematic by both parents and professionals. This paper brings together the different perspectives of two disability researchers: one a parent of a disabled child while the other was a teacher for 20 years of children with the label autism. The paper deconstructs the concept of partnership and then, drawing on the expertise of parents, suggests how enabling and empowering parent–professional relationships might be achieved

A problem with inclusion in learning disability research.

People with severe learning disability are particularly difficult to include in the research process. As a result, researchers may be tempted to focus on those with learning disability who can be included. The problem is exacerbated in this field as the political agenda of inclusion and involvement is driven by those people with learning disability who are the higher functioning. To overcome this we should first detach the notion of consent from ideas about autonomy and think instead of it as a way to avoid wronging others; this fits the original historical use of consent in research. This allows us to think in terms of including participants to the best of their abilities rather than in terms of a threshold of autonomy. Researchers could then use imaginative ways to include the least able and to ensure they are not wronged in research or by exclusion from it

La enseñanza de las ciencias sociales en la formación docente : más allá del texto escrito, el aporte de los lenguajes artísticos

A partir de la Ley Nacional de Educación del año 2006 que extendió la obligatoriedad de la enseñanza al nivel medio, nuevos sectores sociales accedieron a la escuela secundaria. Algunos de los que egresaron, pudieron iniciar carreras de Formación Docente. Lograr el aprendizaje de estos nuevos alumnos planteó un desafío para todos los profesores, entre ellos, los de Ciencias Sociales. Justamente, este trabajo tiene como objetivo compartir algunas reflexiones sobre una experiencia educativa realizada en el marco de una investigación que recibió un subsidio del INFD. El proyecto, “Más allá del texto escrito: la potencialidad de diversos objetos culturales en la formación de docentes", planteaba explorar las potencialidades didácticas de los objetos culturales para la enseñanza de las ciencias sociales, en un contexto de desigualdad y de diversidad cultural. Específicamente, para la investigación se seleccionaron solo los objetos artísticos.Fil: Pipkin, Diana . Universidad de Buenos Aire

Adult Learning Center: Interim Report, Ohio

1973 interim report on the Adult Learning Center in Cincinnati, Ohio submitted by James Hunt

The Risk of Unexploded Ordnance on Construction Sites in London

Greater London, among many large cities, was subject to bombing by the German military in both the World Wars and was the target of many air raids during the Second World War (WW2). This was particularly the case during the Blitz, September 1940 – May 1941, when over 28,000 high explosive bombs and parachute mines were dropped on London. Post war research conducted in 1949 estimated that approximately 12,750 t of bombs, including V1 and V2 rockets, were dropped on London. The night of 16th – 17th April 1941 was one of the worst bombing raids, when 446 t of bombs were dropped on London and over 58 t did not detonate. Unexploded bombs remain buried underground today, as they were unidentified at the time or abandoned owing to difficulties in recovering them. Uncharted bombs continue to pose a potentially significant hazard for developments around London. This paper considers the probability of discovering unexploded ordnance (UXO), particularly WW2 ordnance, during intrusive groundworks in London. The prevalence of unexploded ordnance has been assessed using data obtained from governmental organisations to estimate the likelihood of discovery in London

The management of type 2 diabetes with fixed‐ratio combination insulin degludec/liraglutide (IDegLira) versus basal‐bolus therapy (insulin glargine U100 plus insulin aspart): a short‐term cost‐effectiveness analysis in the UK setting

Aim: To evaluate the cost‐effectiveness of IDegLira versus basal‐bolus therapy (BBT) with insulin glargine U100 plus up to 4 times daily insulin aspart for the management of type 2 diabetes in the UK. Methods: A Microsoft Excel model was used to evaluate the cost‐utility of IDegLira versus BBT over a 1‐year time horizon. Clinical input data were taken from the treat‐to‐target DUAL VII trial, conducted in patients unable to achieve adequate glycaemic control (HbA1c <7.0%) with basal insulin, with IDegLira associated with lower rates of hypoglycaemia and reduced body mass index (BMI) in comparison with BBT, with similar HbA1c reductions. Costs (expressed in GBP) and event‐related disutilities were taken from published sources. Extensive sensitivity analyses were performed. Results: IDegLira was associated with an improvement of 0.05 quality‐adjusted life years (QALYs) versus BBT, due to reductions in non‐severe hypoglycaemic episodes and BMI with IDegLira. Costs were higher with IDegLira by GBP 303 per patient, leading to an incremental cost‐effectiveness ratio (ICER) of GBP 5924 per QALY gained for IDegLira versus BBT. ICERs remained below GBP 20 000 per QALY gained across a range of sensitivity analyses. Conclusions: IDegLira is a cost‐effective alternative to BBT with insulin glargine U100 plus insulin aspart, providing equivalent glycaemic control with a simpler treatment regimen for patients with type 2 diabetes inadequately controlled on basal insulin in the UK