Compilation by refinement for a practical assembly language

In this paper we extend the conventional framework of program refinement down to the assembler level. We describe an extension to the Refinement Calculus that supports the refinement of programs in the Guarded Command Language to programs in .NET assembler. This is illustrated by a small example.

The tectonically-confined Firenzuola turbidite system (Miocene, Marnoso-arenacea Formation, northern Apennines, Italy): an example of facies variations related to the basin morphology

The Firenzuola turbidite system formed during a paroxysmal phase of thrust propagation, involving the upper Serravallian deposits of the Marnoso-arenacea Formation (MAF). During this phase the coeval growth of two major tectonic structures, the M. Castellaccio thrust and the Verghereto high, played a key role, causing a closure of the inner basin and a coeval shift of the depocentre to the outer basin. This work focuses on this phase of fragmentation of the MAF basin; it is based on a new detailed high-resolution stratigraphic framework, which was used to determine the timing of growth of the involved structures and their direct influence on sediment dispersal and on the lateral and vertical turbidite facies distribution. The Firenzuola turbidite system stratigraphy is characterized by the occurrence of mass-transport complexes (MTCs) and thick sandstone accumulation in the depocentral area, which passes to finer drape over the structural highs; the differentiation between these two zones increases over time and ends with the deposition of marly units over the structural highs and the emplacement of the Visignano MTC. According to the stratigraphic pattern and turbidite facies characteristics, the Firenzuola System has been split into two phases, namely Firenzuola I and Firenzuola II: the former is quite similar to the underlying deposits, while the latter shows the main fragmentation phase, testifying the progressive isolation of the inner basin and a coeval shift of the depocentre to the outer basin. The final stratigraphic and sedimentological dataset has been used to create a quantitative high-resolution 3D facies distribution using the Petrel software platform. This model allows a detailed analysis of lateral and vertical facies variations that can be exported to several reservoirs settings in hydrocarbon exploration and exploitation areas, since facies distributions and geometries of the reservoir bodies of many sub-surface turbidite basins show a significant relationship to the syndepositional structural activity, but are beyond seismic resolution.

GPCR modulation by RAMPs

Our conceptual understanding of the molecular architecture of G-protein coupled receptors (GPCRs) has transformed over the last decade. Once considered as largely independent functional units (aside from their interaction with the G-protein itself), it is now clear that a single GPCR is but part of a multifaceted signaling complex, each component providing an additional layer of sophistication. Receptor activity-modifying proteins (RAMPs) provide a notable example of proteins that interact with GPCRs to modify their function. They act as pharmacological switches, modifying GPCR pharmacology for a particular subset of receptors. However, there is accumulating evidence that these ubiquitous proteins have a broader role, regulating signaling and receptor trafficking. This article aims to provide the reader with a comprehensive appraisal of RAMP literature and perhaps some insight into the impact that their discovery has had on those who study GPCRs. © 2005 Elsevier Inc. All rights reserved.

Metrics for ranking ontologies

Representing knowledge using domain ontologies has shown to be a useful mechanism and format for managing and exchanging information. Due to the difficulty and cost of building ontologies, a number of ontology libraries and search engines are coming to existence to facilitate reusing such knowledge structures. The need for ontology ranking techniques is becoming crucial as the number of ontologies available for reuse is continuing to grow. In this paper we present AKTiveRank, a prototype system for ranking ontologies based on the analysis of their structures. We describe the metrics used in the ranking system and present an experiment on ranking ontologies returned by a popular search engine for an example query.

Mixture density network training by computation in parameter space

Training Mixture Density Network (MDN) configurations within the NETLAB framework takes time due to the nature of the computation of the error function and the gradient of the error function. By optimising the computation of these functions, so that gradient information is computed in parameter space, training time is decreased by at least a factor of sixty for the example given. Decreased training time increases the spectrum of problems to which MDNs can be practically applied making the MDN framework an attractive method to the applied problem solver.

Robust control of nonlinear stochastic systems by modelling conditional distributions of control signals

We introduce a novel inversion-based neuro-controller for solving control problems involving uncertain nonlinear systems that could also compensate for multi-valued systems. The approach uses recent developments in neural networks, especially in the context of modelling statistical distributions, which are applied to forward and inverse plant models. Provided that certain conditions are met, an estimate of the intrinsic uncertainty for the outputs of neural networks can be obtained using the statistical properties of networks. More generally, multicomponent distributions can be modelled by the mixture density network. In this work a novel robust inverse control approach is obtained based on importance sampling from these distributions. This importance sampling provides a structured and principled approach to constrain the complexity of the search space for the ideal control law. The performance of the new algorithm is illustrated through simulations with example systems.

Central regulation of English local authorities:an example of meta-governance?

This paper discusses how the UK government has reconfigured its regulation of English local authorities by moving from direct oversight to using an indirect independent agency as a vehicle of meta-governance. This theme is discussed through two strands: first, by examining how several factors eroded central government's capacity to directly regulate councils. The second strand examines the strategies used by the Audit Commission, an independent agency, to assert its authority over councils and how its hegemony is sustained by facilitating and participating in horizontal and vertical networks across government, specialist policy and stakeholders' communities. © Blackwell Publishing Ltd. 2006.

Prevalence of the use of cancer related self-tests by members of the public:A community survey

Background: Self-tests are those where an individual can obtain a result without recourse to a health professional, by getting a result immediately or by sending a sample to a laboratory that returns the result directly. Self-tests can be diagnostic, for disease monitoring, or both. There are currently tests for more than 20 different conditions available to the UK public, and self-testing is marketed as a way of alerting people to serious health problems so they can seek medical help. Almost nothing is known about the extent to which people self-test for cancer or why they do this. Self-tests for cancer could alter perceptions of risk and health behaviour, cause psychological morbidity and have a significant impact on the demand for healthcare. This study aims to gain an understanding of the frequency of self-testing for cancer and characteristics of users. Methods: Cross-sectional survey. Adults registered in participating general practices in the West Midlands Region, will be asked to complete a questionnaire that will collect socio-demographic information and basic data regarding previous and potential future use of self-test kits. The only exclusions will be people who the GP feels it would be inappropriate to send a questionnaire, for example because they are unable to give informed consent. Freepost envelopes will be included and non-responders will receive one reminder. Standardised prevalence rates will be estimated. Discussion: Cancer related self-tests, currently available from pharmacies or over the Internet, include faecal occult blood tests (related to bowel cancer), prostate specific antigen tests (related to prostate cancer), breast cancer kits (self examination guide) and haematuria tests (related to urinary tract cancers). The effect of an increase in self-testing for cancer is unknown but may be considerable: it may affect the delivery of population based screening programmes; empower patients or cause unnecessary anxiety; reduce costs on existing healthcare services or increase demand to investigate patients with positive test results. It is important that more is known about the characteristics of those who are using self-tests if we are to determine the potential impact on health services and the public. © 2006 Wilson et al; licensee BioMed Central Ltd.

Modelling and benchmarking business processes: The supply-line example

Benchmarking techniques have evolved over the years since Xerox’s pioneering visits to Japan in the late 1970s. The focus of benchmarking has also shifted during this period. By tracing in detail the evolution of benchmarking in one specific area of business activity, supply and distribution management, as seen by the participants in that evolution, creates a picture of a movement from single function, cost-focused, competitive benchmarking, through cross-functional, cross-sectoral, value-oriented benchmarking to process benchmarking. As process efficiency and effectiveness become the primary foci of benchmarking activities, the measurement parameters used to benchmark performance converge with the factors used in business process modelling. The possibility is therefore emerging of modelling business processes and then feeding the models with actual data from benchmarking exercises. This would overcome the most common criticism of benchmarking, namely that it intrinsically lacks the ability to move beyond current best practice. In fact the combined power of modelling and benchmarking may prove to be the basic building block of informed business process re-engineering.

Evaluation of the Heart of Birmingham teaching Primary Care Trust (HoBtPCT): My Choice Weight Management Programme:report commissioned by Heart of Birmingham teaching Primary Care Trust

This report details an evaluation of the My Choice Weight Management Programme undertaken by a research team from the School of Pharmacy at Aston University. The My Choice Weight Management Programme is delivered through community pharmacies and general practitioners (GPs) contracted to provide services by the Heart of Birmingham teaching Primary Care Trust. It is designed to support individuals who are ‘ready to change’ by enabling the individual to work with a trained healthcare worker (for example, a healthcare assistant, practice nurse or pharmacy assistant) to develop a care plan designed to enable the individual to lose 5-10% of their current weight. The Programme aims to reduce adult obesity levels; improve access to overweight and obesity management services in primary care; improve diet and nutrition; promote healthy weight and increased levels of physical activity in overweight or obese patients; and support patients to make lifestyle changes to enable them to lose weight. The Programme is available for obese patients over 18 years old who have a Body Mass Index (BMI) greater than 30 kg/m2 (greater than 25 kg/m2 in Asian patients) or greater than 28 kg/m2 (greater than 23.5 kg/m2 in Asian patients) in patients with co-morbidities (diabetes, high blood pressure, cardiovascular disease). Each participant attends weekly consultations over a twelve session period (the final iteration of these weekly sessions is referred to as ‘session twelve’ in this report). They are then offered up to three follow up appointments for up to six months at two monthly intervals (the final of these follow ups, taking place at approximately nine months post recruitment, is referred to as ‘session fifteen’ in this report). A review of the literature highlights the dearth of published research on the effectiveness of primary care- or community-based weight management interventions. This report may help to address this knowledge deficit. A total of 451 individuals were recruited on to the My Choice Weight Management Programme. More participants were recruited at GP surgeries (n=268) than at community pharmacies (n=183). In total, 204 participants (GP n=102; pharmacy n=102) attended session twelve and 82 participants (GP n=22; pharmacy 60) attended session fifteen. The unique demographic characteristics of My Choice Weight Management Programme participants – participants were recruited from areas with high levels of socioeconomic deprivation and over four-fifths of participants were from Black and Minority Ethnic groups; populations which are traditionally underserved by healthcare interventions – make the achievements of the Programme particularly notable. The mean weight loss at session 12 was 3.8 kg (equivalent to a reduction of 4.0% of initial weight) among GP surgery participants and 2.4 kg (2.8%) among pharmacy participants. At session 15 mean weight loss was 2.3 kg (2.2%) among GP surgery participants and 3.4 kg (4.0%) among pharmacy participants. The My Choice Weight Management Programme improved the general health status of participants between recruitment and session twelve as measured by the validated SF-12 questionnaire. While cost data is presented in this report, it is unclear which provider type delivered the Programme more cost-effectively. Attendance rates on the Programme were consistently better among pharmacy participants than among GP participants. The opinions of programme participants (both those who attended regularly and those who failed to attend as expected) and programme providers were explored via semi-structured interviews and, in the case of the participants, a selfcompletion postal questionnaire. These data suggest that the Programme was almost uniformly popular with both the deliverers of the Programme and participants on the Programme with 83% of questionnaire respondents indicating that they would be happy to recommend the Programme to other people looking to lose weight. Our recommendations, based on the evidence provided in this report, include: a. Any consideration of an extension to the study also giving comparable consideration to an extension of the Programme evaluation. The feasibility of assigning participants to a pharmacy provider or a GP provider via a central allocation system should also be examined. This would address imbalances in participant recruitment levels between provider type and allow for more accurate comparison of the effectiveness in the delivery of the Programme between GP surgeries and community pharmacies by increasing the homogeneity of participants at each type of site and increasing the number of Programme participants overall. b. Widespread dissemination of the findings from this review of the My Choice Weight Management Project should be undertaken through a variety of channels. c. Consideration of the inclusion of the following key aspects of the My Choice Weight Management Project in any extension to the Programme: i. The provision of training to staff in GP surgeries and community pharmacies responsible for delivery of the Programme prior to patient recruitment. ii. Maintaining the level of healthcare staff input to the Programme. iii. The regular schedule of appointments with Programme participants. iv. The provision of an increased variety of printed material. d. A simplification of the data collection method used by the Programme commissioners at the individual Programme delivery sites.

Neural population coding is optimized by discrete tuning curves

The sigmoidal tuning curve that maximizes the mutual information for a Poisson neuron, or population of Poisson neurons, is obtained. The optimal tuning curve is found to have a discrete structure that results in a quantization of the input signal. The number of quantization levels undergoes a hierarchy of phase transitions as the length of the coding window is varied. We postulate, using the mammalian auditory system as an example, that the presence of a subpopulation structure within a neural population is consistent with an optimal neural code.

The implementation of a functional query language front-end to a relational database system. Available in 2 volumes.

Database systems have a user interface one of the components of which will normally be a query language which is based on a particular data model. Typically data models provide primitives to define, manipulate and query databases. Often these primitives are designed to form self-contained query languages. This thesis describes a prototype implementation of a system which allows users to specify queries against the database in a query language whose primitives are not those provided by the actual model on which the database system is based, but those provided by a different data model. The implementation chosen is the Functional Query Language Front End (FQLFE). This uses the Daplex functional data model and query language. Using FQLFE, users can specify the underlying database (based on the relational model) in terms of Daplex. Queries against this specified view can then be made in Daplex. FQLFE transforms these queries into the query language (Quel) of the underlying target database system (Ingres). The automation of part of the Daplex function definition phase is also described and its implementation discussed.

The finance of biotechnology:investment in new biotechnology firms by British venture capitalists-attitudes to, and evaluation of, business proposals

A notable feature of the recent commercialisation of biotechnology has been the success of 200 or so new firms, established in America since 1976, in exploiting specialised market niches. A key factor in their formation has been the ready availability of venture capital funding. These firms have been instrumental in establishing America's lead in exploiting biotechnology. It is this example which Britain has attempted to emulate as part of its strategy for developing its own biotechnology capabilities. This thesis investigated some aspects of the relationship between biotechnology and venture capital, concentrating on the determinants of the venture capitalist's investment decision. Following an extensive literature survey, two hypothetical business proposals were used to find what venture capitalists themselves consider to be the key elements of this decision. It was found that venture capitalists invest in people, not products, and businesses, not industries. It was concluded that venture capital-backed small firms should, therefore, be seen as an adjunct to the development of biotechnology in Britain, rather than as a substitute for a co-ordinated, co-operative strategy involving Government, the financial institutions, industry and academia. This is chiefly because the small size of the UK's domestic market means that many potentially important innovations in biotechnology may continue to be lost, since the short term identification of market opportunities for biotechnology products will dictate that they are insupportable in Britain alone. In addition, the data analysis highlighted some interesting methodological issues concerning the investigation of investment decision making. These related especially to shortcomings in the use of scoresheets and questionnaires in research in this area. The conclusion here was that future research should concentrate on the reasons why an individual reaches an investment decision. It is argued that only in this way can the nature of the evaluation procedures employed by venture capitalists be properly understood.

Hand in hand:privatising five star hotels in Egypt through the stock market will enhance the latter's role as well as set an example of the benefits that could be gained from privatisation

This thesis examines the possibility of privatising public owned five star hotels in Egypt through its stock market in order to give a boost to the Egyptian privatisation programme and to help activate its stock market. To explore these aspects, two main technical exercises were executed. First the writer constructed, for the first time in Egypt, a daily price index for Cairo Stock Exchange and an index for the tourism sector, in order to analyze the efficiency of the capital market. This technical analysis showed that Cairo stock exchange is inefficient, stagnant and undergoes minimal fluctuations, especially when compared to other developed and emerging markets. Second, given the importance and complexity of the valuation of SOEs prior to their privatisation, a sample of three five star hotels that could be prime candidates for privatisation via the stock market in Egypt were selected and a detailed financial analysis for the three hotels was concluded. The result was a valuation range for the three hotels using various valuation methods. Nevertheless it was found out that the final value of hotels will be determined by the market itself. Depite the inefficiency of Cairo Stock Exchange, the thesis did not rule out privatisation through the stock market. On the contrary it cited several examples of developing countries that were able to successfully privatise some of their SOEs via their rudimentary capital markets. Finally, the thesis recommended that five star hotels could be pefect candidates for privatisation via the stock market in Egypt. This is because five star hotels are profitable, privately managed, non strategic and not highly capital intensive businesses. In addition, they do not suffer from overstaffing and the industry in which they operate i.e. tourism sector, has high growth prospects and is of an international nature. Therefore it is anticipated that privatisation of five star hotels can attract a lot of investors because of the relatively high returns. This in turn will help activate and popularize the capital market in Egypt. At the same time the benefits of privatisation would be more visible which will give more momentum to the privatisation programme and make it more politically acceptable.

Development of an integrated reverse osmosis-greenhouse system driven by solar photovoltaic generators

The development of a system that integrates reverse osmosis (RO) with a horticultural greenhouse has been advanced through laboratory experiments. In this concept, intended for the inland desalination of brackish groundwater in dry areas, the RO concentrate will be reduced in volume by passing it through the evaporative cooling pads of the greenhouse. The system will be powered by solar photovoltaics (PV). Using a solar array simulator, we have verified that the RO can operate with varying power input and recovery rates to meet the water demands for irrigation and cooling of a greenhouse in north-west India. Cooling requires ventilation by a fan which has also been built, tested and optimised with a PV module outdoors. Results from the experiments with these two subsystems (RO and fan) are compared to theoretical predictions to reach conclusions about energy usage, sizing and cost. For example, the optimal sizing for the RO system is 0.12–1.3 m2 of PV module per m2 of membrane, depending on feed salinity. For the fan, the PV module area equals that of the fan aperture. The fan consumes <30 J of electrical energy per m3 of air moved which is 3 times less than that of standard fans. The specific energy consumption of the RO, at 1–2.3 kWh ?m-3, is comparable to that reported by others. Now that the subsystems have been verifi ed, the next step will be to integrate and test the whole system in the field.