Exploitation of symbolic information in interprocedural dependence analysis

The requirement for a very accurate dependence analysis to underpin software tools to aid the generation of efficient parallel implementations of scalar code is argued. The current status of dependence analysis is shown to be inadequate for the generation of efficient parallel code, causing too many conservative assumptions to be made. This paper summarises the limitations of conventional dependence analysis techniques, and then describes a series of extensions which enable the production of a much more accurate dependence graph. The extensions include analysis of symbolic variables, the development of a symbolic inequality disproof algorithm and its exploitation in a symbolic Banerjee inequality test; the use of inference engine proofs; the exploitation of exact dependence and dependence pre-domination attributes; interprocedural array analysis; conditional variable definition tracing; integer array tracing and division calculations. Analysis case studies on typical numerical code is shown to reduce the total dependencies estimated from conventional analysis by up to 50%. The techniques described in this paper have been embedded within a suite of tools, CAPTools, which combines analysis with user knowledge to produce efficient parallel implementations of numerical mesh based codes.

Nursing resources and patient outcomes in intensive care: a systematic review of the literature

Objectives: To evaluate the empirical evidence linking nursing resources to patient outcomes in intensive care settings as a framework for future research in this area. Background: Concerns about patient safely and the quality of care are driving research on the clinical and cost-effectiveness of health care interventions, including the deployment of human resources. This is particularly important in intensive care where a large proportion of the health care budget is consumed and where nursing staff is the main item of expenditure. Recommendations about staffing levels have been trade but may not be evidence based and may not always be achieved in practice. Methods: We searched systematically for studies of the impact of nursing resources (e.g. nurse-patient ratios, nurses' level of education, training and experience) on patient Outcomes, including mortality and adverse events, in adult intensive care. Abstracts of articles were reviewed and retrieved if they investigated the relationship between nursing resources and patient Outcomes. Characteristics of the studies were tabulated and the quality of the Studies assessed. Results: Of the 15 studies included in this review, two reported it statistical relationship between nursing resources and both mortality and adverse events, one reported ail association to mortality only, seven studies reported that they Could not reject the null hypothesis of no relationship to mortality and 10 studies (out of 10 that tested the hypothesis) reported a relationship to adverse events. The main explanatory mechanisms were the lack of time for nurses to perform preventative measures, or for patient surveillance. The nurses' role in pain control was noted by One author. Studies were mainly observational and retrospective and varied in scope from 1 to 52 units. Recommendations for future research include developing the mechanisms linking nursing resources to patient Outcomes, and designing large multi-centre prospective Studies that link patient's exposure to nursing care oil a shift-by-shift basis over time. (C) 2007 Elsevier Ltd. All rights reserved.

Mobile authoring of open educational resources for authentic learning scenarios

The proliferation of smartphones in the last decade and the number of publications in the field of authoring systems for computer-assisted learning depict a scenario that needs to be explored in order to facilitate the scaffolding of learning activities across contexts. Learning resources are traditionally designed in desktop-based authoring systems where the context is mostly restricted to the learning objective, capturing relevant case characteristics, or virtual situation models. Mobile authoring tools enable learners and teachers to foster universal access to educational resources not only providing channels to share, remix or re-contextualize these, but also capturing the context in-situ and in-time. As a further matter, authoring educational resources in a mobile context is an authentic experience where authors can link learning with their own daily life activities and reflections. The contribution of this manuscript is fourfold: first, the main barriers for ubiquitous and mobile authoring of educational resources are identified; second, recent research on mobile authoring tools is reviewed, and 10 key shortcomings of current approaches are identified; third, the design of a mobile environment to author educational resources (MAT for ARLearn) is presented, and the results of an evaluation of usability and hedonic quality are presented; fourth, conclusions and a research agenda for mobile authoring are discussed.

Oceans and Human Health (OHH): a European Perspective from the Marine Board of the European Science Foundation (Marine Board-ESF)

The oceans and coastal seas provide mankind with many benefits including food for around a third of the global population, the air that we breathe and our climate system which enables habitation of much of the planet. However, the converse is that generation of natural events (such as hurricanes, severe storms and tsunamis) can have devastating impacts on coastal populations, while pollution of the seas by pathogens and toxic waste can cause illness and death in humans and animals. Harmful effects from biogenic toxins produced by algal blooms (HABs) and from the pathogens associated with microbial pollution are also a health hazard in seafood and from direct contact with water. The overall global burden of human disease caused by sewage pollution of coastal waters has been estimated at 4 million lost person-years annually. Finally, the impacts of all of these issues will be exacerbated by climate change. A holistic systems approach is needed. It must consider whole ecosystems, and their sustainability, such as integrated coastal zone management, is necessary to address the highly interconnected scientific challenges of increased human population pressure, pollution and over-exploitation of food (and other) resources as drivers of adverse ecological, social and economic impacts. There is also an urgent and critical requirement for effective and integrated public health solutions to be developed through the formulation of politically and environmentally meaningful policies. The research community required to address "Oceans & Human Health" in Europe is currently very fragmented, and recognition by policy makers of some of the problems, outlined in the list of challenges above, is limited. Nevertheless, relevant key policy issues for governments worldwide include the reduction of the burden of disease (including the early detection of emerging pathogens and other threats) and improving the quality of the global environment. Failure to effectively address these issues will impact adversely on efforts to alleviate poverty, sustain the availability of environmental goods and services and improve health and social and economic stability; and thus, will impinge on many policy decisions, both nationally and internationally. Knowledge exchange (KE) will be a key element of any ensuing research. KE will facilitate the integration of biological, medical, epidemiological, social and economic disciplines, as well as the emergence of synergies between seemingly unconnected areas of science and socio-economic issues, and will help to leverage knowledge transfer across the European Union (EU) and beyond. An integrated interdisciplinary systems approach is an effective way to bring together the appropriate groups of scientists, social scientists, economists, industry and other stakeholders with the policy formulators in order to address the complexities of interfacial problems in the area of environment and human health. The Marine Board of the European Science Foundation Working Group on "Oceans and Human Health" has been charged with developing a position paper on this topic with a view to identifying the scientific, social and economic challenges and making recommendations to the EU on policy-relevant research and development activities in this arena. This paper includes the background to health-related issues linked to the coastal environment and highlights the main arguments for an ecosystem-based whole systems approach.

Causes and prediction of abrupt climate-driven ecosystem shifts in the North Atlantic

Warming of the global climate is now unequivocal and its impact on Earth’ functional units has become more apparent. Here, we show that marine ecosystems are not equally sensitive to climate change and reveal a critical thermal boundary where a small increase in temperature triggers abrupt ecosystem shifts seen across multiple trophic levels. This large-scale boundary is located in regions where abrupt ecosystem shifts have been reported in the North Atlantic sector and thereby allows us to link these shifts by a global common phenomenon. We show that these changes alter the biodiversity and carrying capacity of ecosystems and may, combined with fishing, precipitate the reduction of some stocks of Atlantic cod already severely impacted by exploitation. These findings offer a way to anticipate major ecosystem changes and to propose adaptive strategies for marine exploited resources such as cod in order to minimize social and economic consequences.