Extending the Path Analysis Technique to Obtain a Soft WCET

This paper discusses an efficient approach to statically compute a WCET that is "soft" rather than "hard". The goal of most timing analysis is to determine a guaranteed WCET; however this execution time may be far above the actual distribution of observed execution times. A WCET estimate that bounds the execution time 99% of the time may be more useful for a designer in a soft real-time environment. This paper discusses an approach to measure the execution time distribution by a hardware simulator, and a path-based timing analysis approach to derive a static estimation of this same distribution. The technique can find a soft WCET for loops having any number of paths

The mathematics pipeline in England: Patterns, interventions and excellence

This report from the Mathematics Pipeline Project (2021-23) presents a system-level overview of the mathematics pipeline in England for all young people in schools from age 4 to 16 and, thereafter, a diminishing number of students who proceed to study mathematics at A level, undergraduate and postgraduate level. The project was particularly interested in those students who have the potential to remain in the mathematics pipeline into advanced and higher education, what is termed the excellence stream in the report. The goal of the project was to better understand and visualise the whole pipeline and to identify areas where well-designed interventions might help to improve flow and diversity within the excellence stream. Whilst systemic change offers the potential for greatest impact, that was beyond the remit of the project. Rather, the report offers insights and ideas to individuals and organisations that might be interested in developing, or investing in, targeted interventions to improve the mathematics excellence stream in England

The mathematics pipeline in England: inclusion and the excellence stream

In England, there is currently heightened political interest in increasing mathematics attainment and maximizing post-16 participation. The latter is not merely an issue for upper secondary but requires a long-view of students’ mathematical progress. This paper reports such a system-level overview of the mathematics education pipeline in England based on analysis of linked data from the National Pupil Database (NPD) and Higher Education Statistics Agency (HESA). A sequence of mixed-effect logistic regression models at each phase of the education pipeline are developed to predict attainment in General Certificate of Secondary Education (GCSE), A level and undergraduate mathematics and participation in post-16 and university mathematics. In particular, we focus on the impact of prior attainment and student demographics: gender, ethnicity and socio-economic status. The analysis identifies four important findings. Firstly, female participation and attainment in A level Mathematics and Further Mathematics is lower than that of male students, which impacts their representation in undergraduate mathematics, despite them marginally outperforming male students at both GCSE and degree level. Secondly, the attainment and participation of students of Asian ethnicity in GCSE and A level Mathematics is striking in its positive divergence from the trends of other ethnic groups, whereas White students have higher attainment than other ethnic groups at university. Thirdly, many students from poorer backgrounds fall behind their peers during years 7 to 11, and their participation and attainment in A level Mathematics is also reduced compared to their more affluent peers. Lastly, students who study A level Further Mathematics are more likely to study undergraduate mathematics, but they are no more likely to achieve a first-class degree, compared to those who haven’t studied Further Mathematics. The findings should be informative to policymakers and other stakeholders who can put in place enhancements and interventions to improve the outcomes for underrepresented groups

Working Papers: Astronomy and Astrophysics Panel Reports

The papers of the panels appointed by the Astronomy and Astrophysics survey Committee are compiled. These papers were advisory to the survey committee and represent the opinions of the members of each panel in the context of their individual charges. The following subject areas are covered: radio astronomy, infrared astronomy, optical/IR from ground, UV-optical from space, interferometry, high energy from space, particle astrophysics, theory and laboratory astrophysics, solar astronomy, planetary astronomy, computing and data processing, policy opportunities, benefits to the nation from astronomy and astrophysics, status of the profession, and science opportunities

Learning from the Brazilian community health worker model in North Wales.

Health policymakers in many countries are looking at ways of increasing health care coverage by scaling up the deployment of community health workers. In this commentary, we describe the rationale for the UK to learn from Brazil's scaled-up Community Health Worker primary care strategy, starting with a pilot project in North Wales

Barriers and facilitators to the implementation of doctor-nurse substitution strategies in primary care: a qualitative evidence synthesis

Item does not contain fulltextBACKGROUND: Having nurses take on tasks that are typically conducted by doctors (doctor-nurse substitution, a form of 'task-shifting') may help to address doctor shortages and reduce doctors' workload and human resource costs. A Cochrane Review of effectiveness studies suggested that nurse-led care probably leads to similar healthcare outcomes as care delivered by doctors. This finding highlights the need to explore the factors that affect the implementation of strategies to substitute doctors with nurses in primary care. In our qualitative evidence synthesis (QES), we focused on studies of nurses taking on tasks that are typically conducted by doctors working in primary care, including substituting doctors with nurses or expanding nurses' roles. OBJECTIVES: (1) To identify factors influencing implementation of interventions to substitute doctors with nurses in primary care. (2) To explore how our synthesis findings related to, and helped to explain, the findings of the Cochrane intervention review of the effectiveness of substituting doctors with nurses. (3) To identify hypotheses for subgroup analyses for future updates of the Cochrane intervention review. SEARCH METHODS: We searched CINAHL and PubMed, contacted experts in the field, scanned the reference lists of relevant studies and conducted forward citation searches for key articles in the Social Science Citation Index and Science Citation Index databases, and 'related article' searches in PubMed. SELECTION CRITERIA: We constructed a maximum variation sample (exploring variables such as country level of development, aspects of care covered and the types of participants) from studies that had collected and analysed qualitative data related to the factors influencing implementation of doctor-nurse substitution and the expansion of nurses' tasks in community or primary care worldwide. We included perspectives of doctors, nurses, patients and their families/carers, policymakers, programme managers, other health workers and any others directly involved in or affected by the substitution. We excluded studies that collected data using qualitative methods but did not analyse the data qualitatively. DATA COLLECTION AND ANALYSIS: We identified factors influencing implementation of doctor-nurse substitution strategies using a framework thematic synthesis approach. Two review authors independently assessed the methodological strengths and limitations of included studies using a modified Critical Appraisal Skills Programme (CASP) tool. We assessed confidence in the evidence for the QES findings using the GRADE-CERQual approach. We integrated our findings with the evidence from the effectiveness review of doctor-nurse substitution using a matrix model. Finally, we identified hypotheses for subgroup analyses for updates of the review of effectiveness. MAIN RESULTS: We included 66 studies (69 papers), 11 from low- or middle-income countries and 55 from high-income countries. These studies found several factors that appeared to influence the implementation of doctor-nurse substitution strategies. The following factors were based on findings that we assessed as moderate or high confidence.Patients in many studies knew little about nurses' roles and the difference between nurse-led and doctor-led care. They also had mixed views about the type of tasks that nurses should deliver. They preferred doctors when the tasks were more 'medical' but accepted nurses for preventive care and follow-ups. Doctors in most studies also preferred that nurses performed only 'non-medical' tasks. Nurses were comfortable with, and believed they were competent to deliver a wide range of tasks, but particularly emphasised tasks that were more health promotive/preventive in nature.Patients in most studies thought that nurses were more easily accessible than doctors. Doctors and nurses also saw nurse-doctor substitution and collaboration as a way of increasing people's access to care, and improving the quality and continuity of care.Nurses thought that close doctor-nurse relationships and doctor's trust in and acceptance of nurses was important for shaping their roles. But nurses working alone sometimes found it difficult to communicate with doctors.Nurses felt they had gained new skills when taking on new tasks. But nurses wanted more and better training. They thought this would increase their skills, job satisfaction and motivation, and would make them more independent.Nurses taking on doctors' tasks saw this as an opportunity to develop personally, to gain more respect and to improve the quality of care they could offer to patients. Better working conditions and financial incentives also motivated nurses to take on new tasks. Doctors valued collaborating with nurses when this reduced thei

On-orbit servicing commercial opportunities with security implications

The On-Orbit Servicing (OOS) working group discussed legal and political implications of developing a commercial OOS industry. The group considered the benefits that OOS and Active Debris Removal (ADR) can offer the satellite industry, as well as potential disadvantages for international relations between space faring nations. To gain an accurate perspective of stakeholders involved in such a process, the OOS working group held a mock hearing for OOS licensing, with members of the working group assigned to represent stakeholders. Working group members presented their cases at a simulated domestic regulatory panel, constructed of members representing various government ministers, to fully explore stakeholder views. The mock hearings explored the challenges faced by OOS and ADR entrepreneurs as well as the benefit of regulation. The groups highlighted recommendations to ensure the practicality of OOS and determine how best to encourage licensing and regulation of such activities, as summarised below. 1. The United Nations (UN) should provide regulatory guidelines for OOS and ADR. 2. Government agencies should license OOS. The Federal Aviation Administration (FAA) has taken responsibility for licensing commercial space transportation in the United States and this should be extended to OOS/ADR missions to enable short-term advancement prior to further UN regulation. 3. Government should support OOS and ADR development to ensure continued demand. This includes leading by example on government satellites and potential launch levies to enable on-going ADR funding. 4. All stakeholders should prevent weaponisation of space through transparency of operations. 5. Nations should initiate international cooperation on ADR. OOS and ADR will ensure sustainable use of satellites, particularly in LEO and GEO, for the coming decades. It is through transparency, economic stimulation and close monitoring that such endeavours will be successful

Environmental controls on modern scleractinian coral and reef-scale calcification

Modern reef-building corals sustain a wide range of ecosystem services because of their ability to build calcium carbonate reef systems. The influence of environmental variables on coral calcification rates has been extensively studied, but our understanding of their relative importance is limited by the absence of in situ observations and the ability to decouple the interactions between different properties. We show that temperature is the primary driver of coral colony (Porites astreoides and Diploria labyrinthiformis) and reef-scale calcification rates over a 2-year monitoring period from the Bermuda coral reef. On the basis of multimodel climate simulations (Coupled Model Intercomparison Project Phase 5) and assuming sufficient coral nutrition, our results suggest that P. astreoides and D. labyrinthiformis coral calcification rates in Bermuda could increase throughout the 21st century as a result of gradual warming predicted under a minimum CO2 emissions pathway [representative concentration pathway (RCP) 2.6] with positive 21st-century calcification rates potentially maintained under a reduced CO2 emissions pathway (RCP 4.5). These results highlight the potential benefits of rapid reductions in global anthropogenic CO2 emissions for 21st-century Bermuda coral reefs and the ecosystem services they provide