Digitisation, representation, and formalisation - Digital libraries of mathematics

One of the main tasks of the mathematical knowledge management community must surely be to enhance access to mathematics on digital systems. In this paper we present a spectrum of approaches to solving the various problems inherent in this task, arguing that a variety of approaches is both necessary and useful. The main ideas presented are about the differences between digitised mathematics, digitally represented mathematics and formalised mathematics. Each has its part to play in managing mathematical information in a connected world. Digitised material is that which is embodied in a computer file, accessible and displayable locally or globally. Represented material is digital material in which there is some structure (usually syntactic in nature) which maps to the mathematics contained in the digitised information. Formalised material is that in which both the syntax and semantics of the represented material, is automatically accessible. Given the range of mathematical information to which access is desired, and the limited resources available for managing that information, we must ensure that these resources are applied to digitise, form representations of or formalise, existing and new mathematical information in such a way as to extract the most benefit from the least expenditure of resources. We also analyse some of the various social and legal issues which surround the practical tasks.

Habitat re-creation and restoration at the landscape scale: woodlands in Wales

The aim of this three year project funded by the Countryside Council for Wales (CCW) is to develop techniques firstly, to refine and update existing targets for habitat restoration and re-creation at the landscape scale and secondly, to develop a GIS-based model for the implementation of those targets at the local scale. Landscape Character Assessment (LCA) is being used to map Landscape Types across the whole of Wales as the first stage towards setting strategic habitat targets. The GIS habitat model uses data from the digital Phase I Habitat Survey for Wales to determine the suitability of individual sites for restoration to specific habitat types, including broadleaf woodland. The long-term aim is to develop a system that strengthens the character of Welsh landscapes and provides real biodiversity benefits based upon realistic targets given limited resources for habitat restoration and re-creation.

Mediterranean ecosystems: problems and tools for conservation

Mediterranean ecosystems rival tropical ecosystems in terms of plant biodiversity. The Mediterranean Basin (MB) itself hosts 25 000 plant species, half of which are endemic. This rich biodiversity and the complex biogeographical and political issues make conservation a difficult task in the region. Species, habitat, ecosystem and landscape approaches have been used to identify conservation targets at various scales: ie, European, national, regional and local. Conservation decisions require adequate information at the species, community and habitat level. Nevertheless and despite recent improvements/efforts, this information is still incomplete, fragmented and varies from one country to another. This paper reviews the biogeographic data, the problems arising from current conservation efforts and methods for the conservation assessment and prioritization using GIS. GIS has an important role to play for managing spatial and attribute information on the ecosystems of the MB and to facilitate interactions with existing databases. Where limited information is available it can be used for prediction when directly or indirectly linked to externally built models. As well as being a predictive tool today GIS incorporate spatial techniques which can improve the level of information such as fuzzy logic, geostatistics, or provide insight about landscape changes such as 3D visualization. Where there are limited resources it can assist with identifying sites of conservation priority or the resolution of environmental conflicts (scenario building). Although not a panacea, GIS is an invaluable tool for improving the understanding of Mediterranean ecosystems and their dynamics and for practical management in a region that is under increasing pressure from human impact.

Mediterranean ecosystems: problems and tools for conservation

Mediterranean ecosystems rival tropical ecosystems in terms of plant biodiversity. The Mediterranean Basin (MB) itself hosts 25 000 plant species, half of which are endemic. This rich biodiversity and the complex biogeographical and political issues make conservation a difficult task in the region. Species, habitat, ecosystem and landscape approaches have been used to identify conservation targets at various scales: ie, European, national, regional and local. Conservation decisions require adequate information at the species, community and habitat level. Nevertheless and despite recent improvements/efforts, this information is still incomplete, fragmented and varies from one country to another. This paper reviews the biogeographic data, the problems arising from current conservation efforts and methods for the conservation assessment and prioritization using GIS. GIS has an important role to play for managing spatial and attribute information on the ecosystems of the MB and to facilitate interactions with existing databases. Where limited information is available it can be used for prediction when directly or indirectly linked to externally built models. As well as being a predictive tool today GIS incorporate spatial techniques which can improve the level of information such as fuzzy logic, geostatistics, or provide insight about landscape changes such as 3D visualization. Where there are limited resources it can assist with identifying sites of conservation priority or the resolution of environmental conflicts (scenario building). Although not a panacea, GIS is an invaluable tool for improving the understanding of Mediterranean ecosystems and their dynamics and for practical management in a region that is under increasing pressure from human impact.

Decision-theoretic designs for phase II clinical trials allowing for competing studies

This article describes an approach to optimal design of phase II clinical trials using Bayesian decision theory. The method proposed extends that suggested by Stallard (1998, Biometrics54, 279–294) in which designs were obtained to maximize a gain function including the cost of drug development and the benefit from a successful therapy. Here, the approach is extended by the consideration of other potential therapies, the development of which is competing for the same limited resources. The resulting optimal designs are shown to have frequentist properties much more similar to those traditionally used in phase II trials.

Critical success factors for competitiveness of contractors: A China study

Gaining or maintaining a “contractor's” competitive advantage is not easy as it is determined by a large number of factors. Identification of critical success factors (CSFs) allows one to reduce the vast number of factors to some manageable few but vital ones. Based on the CSFs, contractors' limited resources such as money and manpower can be allocated and aligned appropriately for yielding a maximum outcome of overall competitiveness. This paper describes the CSFs identified from a survey study carried out in Mainland China. The ranking analysis of the survey results shows that 35 factors are rated as critical for determining the competitiveness of a contractor. Factor analysis reveals that the 35 CSFs identified can be grouped into eight clusters, namely, project management skills, organization structure, resources, competitive strategy, relationships, bidding, marketing, and technology. The CSFs in this study provide a vehicle for guiding a contractor in managing its resources in order to improve competitive advantage. The study also provides insights into the management of competitiveness for contractors that are operating in the particular context of the Chinese construction industry.

Forecasters priorities for improving probabilistic flood forecasts.

Hydrological ensemble prediction systems (HEPS) have in recent years been increasingly used for the operational forecasting of floods by European hydrometeorological agencies. The most obvious advantage of HEPS is that more of the uncertainty in the modelling system can be assessed. In addition, ensemble prediction systems generally have better skill than deterministic systems both in the terms of the mean forecast performance and the potential forecasting of extreme events. Research efforts have so far mostly been devoted to the improvement of the physical and technical aspects of the model systems, such as increased resolution in time and space and better description of physical processes. Developments like these are certainly needed; however, in this paper we argue that there are other areas of HEPS that need urgent attention. This was also the result from a group exercise and a survey conducted to operational forecasters within the European Flood Awareness System (EFAS) to identify the top priorities of improvement regarding their own system. They turned out to span a range of areas, the most popular being to include verification of an assessment of past forecast performance, a multi-model approach for hydrological modelling, to increase the forecast skill on the medium range (>3 days) and more focus on education and training on the interpretation of forecasts. In light of limited resources, we suggest a simple model to classify the identified priorities in terms of their cost and complexity to decide in which order to tackle them. This model is then used to create an action plan of short-, medium- and long-term research priorities with the ultimate goal of an optimal improvement of EFAS in particular and to spur the development of operational HEPS in general.

Evaluating the sustainable intensification of arable farms

Sustainable Intensification (SI) of agriculture has recently received widespread political attention, in both the UK and internationally. The concept recognises the need to simultaneously raise yields, increase input use efficiency and reduce the negative environmental impacts of farming systems to secure future food production and to sustainably use the limited resources for agriculture. The objective of this paper is to outline a policy-making tool to assess SI at a farm level. Based on the method introduced by Kuosmanen and Kortelainen (2005), we use an adapted Data Envelopment Analysis (DEA) to consider the substitution possibilities between economic value and environmental pressures generated by farming systems in an aggregated index of Eco-Efficiency. Farm level data, specifically General Cropping Farms (GCFs) from the East Anglian River Basin Catchment (EARBC), UK were used as the basis for this analysis. The assignment of weights to environmental pressures through linear programming techniques, when optimising the relative Eco-Efficiency score, allows the identification of appropriate production technologies and practices (integrating pest management, conservation farming, precision agriculture, etc.) for each farm and therefore indicates specific improvements that can be undertaken towards SI. Results are used to suggest strategies for the integration of farming practices and environmental policies in the framework of SI of agriculture. Paths for improving the index of Eco-Efficiency and therefore reducing environmental pressures are also outlined.

The accuracy of HADS and GHQ-12 in detecting psychiatric morbidity in breast cancer patients

Objective: Psychological problems should be identified in breast cancer patients proactively if doctors and nurses are to help them cope with the challenges imposed by their illness. Screening is one possible way to identify emotional problems proactively. Self-report questionnaires can be useful alternatives to carrying out psychiatric interviews during screening, because interviewing a large number of patients can be impractical due to limited resources. Two such measures are the Hospital Anxiety and Depression Scale (HADS) and the General Health Questionnaire-12 (GHQ-12). Method: The present study aimed to compare the performance of the GHQ-12, and the HADS Unitary Scale and its subscales to that of the Schedule for Affective Disorders and Schizophrenia (SADS) in identifying patients with affective disorders, including DSM major depression and generalized anxiety disorder. The sample consisted of 296 female breast cancer patients who underwent surgery for breast cancer a year previously. Results: A small number of patients (11%) were identified as having DSM major depression or generalized anxiety disorder based on SADS score. The findings indicate that the optimal thresholds in detecting generalized anxiety disorder and DSM major depression with the HADS anxiety and depression subscales were ≥ 8 and ≥ 7, with 93.3% and 77.3% sensitivity, respectively, and 77.9% and 87.1% specificity, respectively. They also had a 21% and 36% positive predictive value, respectively. Using the HADS Unitary Scale the optimal threshold for detecting affective disorders was ≥ 12, with 88.9% sensitivity, 80.7% specificity, and a 35% positive predictive value. In detecting affective disorders, the optimal threshold on the GHQ-12 was ≥ 2, with 77.8% sensitivity and 70.2% specificity. This scale also had a 24% positive predictive value. In detecting generalized anxiety disorder and DSM major depression, the optimal thresholds on the GHQ-12 were ≥ 2 and ≥ 4 with 73.3% and 77.3% sensitivity, respectively, and 67.5% and 82% specificity, respectively. The scale also had 12% and 29% positive predictive values, respectively. Conclusion: The HADS Unitary Scale and its subscales were effective in identifying affective disorders. They can be used as screening measures in breast cancer patients. The GHQ-12 was less accurate in detecting affective disorders than the HADS, but it can also be used as a screening instrument to detect affective disorders, generalized anxiety disorder, and DSM major depression.

Cross-sector surveys assessing perceptions of key stakeholders towards barriers, concerns and facilitators to the appropriate use of adaptive designs in confirmatory trials

Background Appropriately conducted adaptive designs (ADs) offer many potential advantages over conventional trials. They make better use of accruing data, potentially saving time, trial participants, and limited resources compared to conventional, fixed sample size designs. However, one can argue that ADs are not implemented as often as they should be, particularly in publicly funded confirmatory trials. This study explored barriers, concerns, and potential facilitators to the appropriate use of ADs in confirmatory trials among key stakeholders. Methods We conducted three cross-sectional, online parallel surveys between November 2014 and January 2015. The surveys were based upon findings drawn from in-depth interviews of key research stakeholders, predominantly in the UK, and targeted Clinical Trials Units (CTUs), public funders, and private sector organisations. Response rates were as follows: 30(55 %) UK CTUs, 17(68 %) private sector, and 86(41 %) public funders. A Rating Scale Model was used to rank barriers and concerns in order of perceived importance for prioritisation. Results Top-ranked barriers included the lack of bridge funding accessible to UK CTUs to support the design of ADs, limited practical implementation knowledge, preference for traditional mainstream designs, difficulties in marketing ADs to key stakeholders, time constraints to support ADs relative to competing priorities, lack of applied training, and insufficient access to case studies of undertaken ADs to facilitate practical learning and successful implementation. Associated practical complexities and inadequate data management infrastructure to support ADs were reported as more pronounced in the private sector. For funders of public research, the inadequate description of the rationale, scope, and decision-making criteria to guide the planned AD in grant proposals by researchers were all viewed as major obstacles. Conclusions There are still persistent and important perceptions of individual and organisational obstacles hampering the use of ADs in confirmatory trials research. Stakeholder perceptions about barriers are largely consistent across sectors, with a few exceptions that reflect differences in organisations’ funding structures, experiences and characterisation of study interventions. Most barriers appear connected to a lack of practical implementation knowledge and applied training, and limited access to case studies to facilitate practical learning. Keywords: Adaptive designs; flexible designs; barriers; surveys; confirmatory trials; Phase 3; clinical trials; early stopping; interim analyses

Production and Delivery (Optimization of production system and reliability)

This thesis is done to solve two issues for Sayid Paper Mill Ltd Pakistan. Section one deals with a practical problem arise in SPM that is cutting a given set of raw paper rolls of known length and width, and a set of product paper rolls of known length (equal to the length of raw paper rolls) and width, practical cutting constraints on a single cutting machine, according to demand orders for all customers. To solve this problem requires to determine an optimal cutting schedule to maximize the overall cutting process profitability while satisfying all demands and cutting constraints. The aim of this part of thesis is to develop a mathematical model which solves this problem.Second section deals with a problem of delivering final product from warehouse to different destinations by finding shortest paths. It is an operational routing problem to decide the daily routes for sending trucks to different destination to deliver their final product. This industrial problem is difficult and includes aspect such as delivery to a single destination and multiple destinations with limited resources. The aim of this part of thesis is to develop a process which helps finding shortest path.

A Discussion of Globalization Theories - Through International Consumer Perceptions

Globalization has developed more and more within the business world as well as private life during the last decades. Globalization has influenced the way companies are conducting business and their approach towards the consumers which can have an influence on their way of purchasing. Consumers nowadays have more than ever the possibility to get involved and gather experiences from abroad, as well as companies are taking advantage of this globalization. Within this thesis the following question will be discussed: Do consumers see the value companies try to create for them with an identical offer the same way in different markets? This idea is based on Theodore Levitt’s theory of globalization which comprises standardization of an offer since consumer needs are homogenizing globally. Douglas & Wind instead state that segmentation with adaptations is necessary to fulfill all consumer needs. Within this elaboration the question whether standardization is accepted and liked by the consumers is discussed and analyzed by including an empirical research. This research is based on Zeithaml’s model of the Perceived Quality Components, which was the fundamental base behind formulating the survey questions. These were submitted in Germany, the Republic of Ireland and Sweden to be able to discuss and visualize how the consumers of these different markets perceive different aspects of a company’s offer. One particular company, which is seen as doing business globally, was chosen as a test object. Based on the test object Lidl - which consumers were questioned about in the survey - it was possible to conduct a comparison of consumers’ general expectations against components of Lidl’s offer such as price, weekly specials, product range, etc. where differences and similarities between the three countries of Lidl’s fulfillment of these expectations were achieved. They were analyzed to discover to which extent globalization is present. Resulting from the comparison it was concluded that nowadays segmentation is important but developing with time globalization seems to increase in significance. Recommendations for further research about topics which were omitted due to limited resources are presented.

Healthcare providers balancing norms and practice : challenges and opportunities in providing contraceptive counselling to young people in Uganda - a qualitative study

BACKGROUND: Pregnancies among young women force girls to compromise education, resulting in low educational attainment with subsequent poverty and vulnerability. A pronounced focus is needed on contraceptive use, pregnancy, and unsafe abortion among young women. OBJECTIVE: This study aims to explore healthcare providers' (HCPs) perceptions and practices regarding contraceptive counselling to young people. DESIGN: We conducted 27 in-depth interviews with doctors and midwives working in seven health facilities in central Uganda. Interviews were open-ended and allowed the participant to speak freely on certain topics. We used a topic guide to cover areas topics of interest focusing on post-abortion care (PAC) but also covering contraceptive counselling. Transcripts were transcribed verbatim and data were analysed using thematic analysis. RESULTS: The main theme, HCPs' ambivalence to providing contraceptive counselling to sexually active young people is based on two sub-themes describing the challenges of contraceptive counselling: A) HCPs echo the societal norms regarding sexual practice among young people, while at the same time our findings B) highlights the opportunities resulting from providers pragmatic approach to contraceptive counselling to young women. Providers expressed a self-identified lack of skill, limited resources, and inadequate support from the health system to successfully provide appropriate services to young people. They felt frustrated with the consultations, especially when meeting young women seeking PAC. CONCLUSIONS: Despite existing policies for young people's sexual and reproductive health in Uganda, HCPs are not sufficiently equipped to provide adequate contraceptive counselling to young people. Instead, HCPs are left in between the negative influence of social norms and their pragmatic approach to address the needs of young people, especially those seeking PAC. We argue that a clear policy supported by a clear strategy with practical guidelines should be implemented alongside in-service training including value clarification and attitude transformation to equip providers to be able to better cater to young people seeking sexual and reproductive health advice.

School health policies and practices in Victoria- a comparison involving socio-economic status

Issue addressed: Health programs have been part of the responsibility of Victorian school education for 90 years. Yet rarely have there been studies to identify what is happening in school health promotion, or what the differences between schools might be, particularly in relation to the socioeconomic status of the school community and whether the school is in a metropolitan or regional area. Methods: In 1997 all Victorian schools (primary and secondary) in the State, Catholic and Independent systems were sent questionnaires in order to promote broader awareness about health promotion, and to identify what health programs, policies and activities the schools believed existed within their school community. A response rate of 43% was achieved, and results were collated under the six domains of the Health Promoting School model as outlined by the Western Pacific Regional Office of the World Health Organisation. Data analysed in this paper compared highest versus lowest quartiles for socioeconomic status (SES), and schools in metropolitan Melbourne versus regional areas. Results: Most differences between schools based on socioeconomic status occurred in secondary schools and were related mainly to environmental policies and practices, use of back packs, the presence of safety policies, involvement of parents in school activities and the provision of services for mental and social health needs. All differences were in favour of the highest SES quartile schools. Environmental policies and procedures, and school-based health and welfare services were present more often in metropolitan schools than in regional and rural schools. Conclusion: Although there were notable differences between schools, the audit results pointed to more similarities than differences between schools in the highest and lowest SES quartiles for health-related policies and practices; there were even fewer differences between metropolitan and non-metropolitan schools. So what: Regardless of the actual advantages and disadvantages schools experience with respect to location or socioeconomic status, it is important to understand that school staff perceive that they can and do have reasonably comprehensive health policies, procedures and practices to address health issues. Nevertheless, clear differences between schools did emerge in certain health areas and findings will assist policy making and the allocation of limited resources.

Users` experiences of heroin and methadone treatment

The present study, conducted in 2003, Melbourne, Australia, examined and compared how different personal and social resources related to participants' use of both heroin and methadone, as well as their experiences of stigma and program regulation, and their evaluation of methadone treatment. In-depth interviews were conducted with 10 participants (five men, five women) aged between 25 and 42. Participants who had diverse personal and social circumstances were purposefully sought. Findings showed that users with “non-addict” or “functional” self-concepts had more resources and supportive social relationships that assisted them to develop realistic treatment expectations, avoid the stigma associated with methadone, and focus on the benefits of the treatment. Conversely, “conflicted” users with limited resources, few social connections, and negative self-concept saw methadone as an addiction, and as a highly stigmatizing and disempowering intervention. Social policies that differentiate users and address ways of improving users' personal and social resources are now needed.