Using set operations to deal with the frame problem

This paper presents a simple approach to the so-called frame problem based on some ordinary set operations, which does not require non-monotonic reasoning. Following the notion of the situation calculus, we shall represent a state of the world as a set of fluents, where a fluent is simply a Boolean-valued property whose truth-value is dependent on the time. High-level causal laws are characterised in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law, which guarantees that all the fluents that can be affected by the performance of the corresponding action are always totally governed. It is shown that, compared with other techniques, such a set operation based approach provides a simpler and more effective treatment to the frame problem.

An improved approximation algorithm for the two-machine flow shop scheduling problem with an interstage transporter

We study the two-machine flow shop problem with an uncapacitated interstage transporter. The jobs have to be split into batches, and upon completion on the first machine, each batch has to be shipped to the second machine by a transporter. The best known heuristic for the problem is a –approximation algorithm that outputs a two-shipment schedule. We design a –approximation algorithm that finds schedules with at most three shipments, and this ratio cannot be improved, unless schedules with more shipments are created. This improvement is achieved due to a thorough analysis of schedules with two and three shipments by means of linear programming. We formulate problems of finding an optimal schedule with two or three shipments as integer linear programs and develop strongly polynomial algorithms that find solutions to their continuous relaxations with a small number of fractional variables

An approximation algorithm for the two-machine flow shop with a single transporter

We study the two-machine flow shop problem with an uncapacitated interstage transporter. The jobs have to be split into batches, and upon completion on the first machine, each batch has to be shipped to the second machine by a transporter. The best known heuristic for the problem is a –approximation algorithm that outputs a two-shipment schedule. We design a –approximation algorithm that finds schedules with at most three shipments, and this ratio cannot be improved, unless schedules with more shipments are created. This improvement is achieved due to a thorough analysis of schedules with two and three shipments by means of linear programming. We formulate problems of finding an optimal schedule with two or three shipments as integer linear programs and develop strongly polynomial algorithms that find solutions to their continuous relaxations with a small number of fractional variables.

Integrating personnel movement simulation into prelimary ship design

Traditionally, when designing a ship the driving issues are seen to be powering, stability, strength and seakeeping. Issues related to ship operations and evolutions are investigated later in the design process, within the constraint of a fixed layout. This can result in operational inefficiencies and limitations, excessive crew numbers and potentially hazardous situations. This paper summarises work by University College London and the University of Greenwich prior to the completion of a three year EPSRC funded research project to integrate the simulation of personnel movement into early stage ship design. This integration is intended to facilitate the assessment of onboard operations while the design is still highly amenable to change. The project brings together the University of Greenwich developed maritimeEXODUS personnel movement simulation software and the SURFCON implementation of the Design Building Block approach to early stage ship design, which originated with the UCL Ship Design Research team and has been implemented within the PARAMARINE ship design system produced by Graphics Research Corporation. Central to the success of this project is the definition of a suitable series of Performance Measures (PM) which can be used to assess the human performance of the design in different operational scenarios. The paper outlines the progress made on deriving the PM from human dynamics criteria measured in simulations and their incorporation into a Human Performance Metric (HPM) for analysis. It describes the production of a series of SURFCON ship designs, based on the Royal Navy’s Type 22 Batch 3 frigate, and their analysis using the PARAMARINE and maritimeEXODUS software. Conclusions on the work to date and for the remainder of the project are presented addressing the integration of personnel movement simulation into the preliminary ship design process.

Single machine scheduling models with deterioration and learning: handling precedence constraints via priority generation

We consider various single machine scheduling problems in which the processing time of a job depends either on its position in a processing sequence or on its start time. We focus on problems of minimizing the makespan or the sum of (weighted) completion times of the jobs. In many situations we show that the objective function is priority-generating, and therefore the corresponding scheduling problem under series-parallel precedence constraints is polynomially solvable. In other situations we provide counter-examples that show that the objective function is not priority-generating.

Reaching across organisational, sectoral and geographical boundaries: exploring the learning potential of an EU cross-border project

Research This paper outlines some of the key findings from an evaluation of the project and demonstrates that EC funded projects such as this, which seek to promote cross border collaboration and understanding (i.e. across organisational, sectoral and geographical boundaries) offer considerable learning potential – not least about variances in health politics across different communities. However, for this learning to be realised a comprehensive system of knowledge management needs to be an integral part of project planning alongside a system for sustaining embryonic professional networks. The concept of managing relationships was also a key part of the projects success. Executing a project funded by the EU demands the development of complex organisational skills to negotiate all the administrative challenges en route to successful completion and this project in particular relied for its success on the development of social relationships of trust and mutual respect across national, professional and social boundaries. Context A three–year European Commission funded project designed to exchange a wide range of staff (professional semiprofessional and voluntary staff in health and social care) project led by the University of Greenwich (UK) and the Université Catholique de Lille, France was completed this year (February 2008). The project was complex because it involved working in different national contexts, was multi-disciplinary, and demanded the negotiation of multiple boundaries. Theories A mixed method evaluation including written reports gathered immediately after each exchange visit and a post hoc series of individual interviews and focus groups was conducted in order to gain qualitative information (from the participants perspective) on their experiences and to identify any learning gained. Results Analysis of the data provided evidence of learning on a number of levels; personally, inter and intra professionally and organisationally as well as across sectors and also from a project management perspective. The learning crystallised around the extent of the differences noted by the participants between the UK and the French health and social care systems despite geographical proximity, common membership of the EU and many shared challenges in health and social care. The extent of these differences, noted at every level from policy to practice proved a rich source for reflection on organisational philosophies, ways of working, distribution of resources, professional roles and autonomy and professional registration and mobility - in short on health politics at ‘macro’ and ‘micro’ levels.

The role of economics in ecosystem based management: The case of the EU Marine Strategy Framework Directive, First lessons learnt and way forward

The EU Marine Strategy Framework Directive (MSFD) sets out a plan of action relating to marine environmental policy and in particular to achieving ‘good environmental status’ (GES) in European marine waters by 2020. Article 8.1 (c) of the Directive calls for ‘an economic and social analysis of the use of those waters and of the cost of degradation of the marine environment’. The MSFD is ‘informed’ by the Ecosystem Approach to management, with GES interpreted in terms of ecosystem functioning and services provision. Implementation of the Ecosystem Approach is expected to be by adaptive management policy and practice. The initial socio-economic assessment was made by maritime EU Member States between 2011 and 2012, with future updates to be made on a regular basis. For the majority of Member States, this assessment has led to an exercise combining an analysis of maritime activities both at national and coastal zone scales, and an analysis of the non-market value of marine waters. In this paper we examine the approaches taken in more detail, outline the main challenges facing the Member States in assessing the economic value of achieving GES as outlined in the Directive and make recommendations for the theoretically sound and practically useful completion of the required follow-up economic assessments specified in the MSFD.

The role of economics in ecosystem based management: The case of the EU Marine Strategy Framework Directive, First lessons learnt and way forward

The EU Marine Strategy Framework Directive (MSFD) sets out a plan of action relating to marine environmental policy and in particular to achieving ‘good environmental status’ (GES) in European marine waters by 2020. Article 8.1 (c) of the Directive calls for ‘an economic and social analysis of the use of those waters and of the cost of degradation of the marine environment’. The MSFD is ‘informed’ by the Ecosystem Approach to management, with GES interpreted in terms of ecosystem functioning and services provision. Implementation of the Ecosystem Approach is expected to be by adaptive management policy and practice. The initial socio-economic assessment was made by maritime EU Member States between 2011 and 2012, with future updates to be made on a regular basis. For the majority of Member States, this assessment has led to an exercise combining an analysis of maritime activities both at national and coastal zone scales, and an analysis of the non-market value of marine waters. In this paper we examine the approaches taken in more detail, outline the main challenges facing the Member States in assessing the economic value of achieving GES as outlined in the Directive and make recommendations for the theoretically sound and practically useful completion of the required follow-up economic assessments specified in the MSFD.

Using the interact system model to analyze computer mediated communication during a small group problem-solving task

The Interact System Model (ISM) developed by Fisher and Hawes (1971) for the analysis of face-to-face communication during small-group problem solving activities was used to study online communication. This tool proved to be of value in the analysis, but the conversation patterns reported by Fisher (1980) did not fully appear in the online environment. Participants displayed a habit of "being too polite" and not fully voicing their disagreements with ideas posed by others. Thus progress towards task completion was slow and incomplete.

Contingent screening for down syndrome is an efficient alternative to non-disclosure sequential screening

Objective To present a first and second trimester Down syndrome screening strategy, whereby second-trimester marker determination is contingent on the first-trimester results. Unlike non-disclosure sequential screening (the Integrated test), which requires all women to have markers in both trimesters, this allows a large proportion of the women to complete screening in the first trimester. Methods Two first-trimester risk cut-offs defined three types of results: positive and referred for early diagnosis; negative with screening complete; and intermediate, needing second-trimester markers. Multivariate Gaussian modelling with Monte Carlo simulation was used to estimate the false-positive rate for a fixed 85% detection rate. The false-positive rate was evaluated for various early detection rates and early test completion rates. Model parameters were taken from the SURUSS trial. Results Completion of screening in the first trimester for 75% of women resulted in a 30% early detection rate and a 55% second trimester detected rate (net 85%) with a false-positive rate only 0.1% above that achievable by the Integrated test. The screen-positive rate was 0.1% in the first trimester and 4.7% for those continuing to be tested in the second trimester. If the early detection rate were to be increased to 45% or the early completion rate were to be increased to 80%, there would be a further 0.1% increase in the false-positive rate. Conclusion Contingent screening can achieve results comparable with the Integrated test but with earlier completion of screening for most women. Both strategies need to be evaluated in large-scale prospective studies particularly in relation to psychological impact and practicability.

Reduced vision in older adults with age related macular degeneration interferes with ability to care for self and impairs role as carer

Aim: To study the relation between visual impairment and ability to care for oneself or a dependant in older people with age related macular degeneration (AMD). Method: Cross sectional study of older people with visual impairment due to AMD in a specialised retinal service clinic. 199 subjects who underwent visual function assessment (fully corrected distance and near acuity and contrast sensitivity in both eyes), followed by completion of a package of questionnaires dealing with general health status (SF36), visual functioning (Daily Living Tasks Dependent on Vision, DLTV) and ability to care for self or provide care to others. The outcome measure was self reported ability to care for self and others. Three levels of self reported ability to care were identified—inability to care for self (level 1), ability to care for self but not others (level 2), and ability to care for self and others (level 3). Results: People who reported good general health status and visual functioning (that is, had high scores on SF36 and DLTV) were more likely to state that they were able to care for self and others. Similarly people with good vision in the better seeing eye were more likely to report ability to care for self and others. People with a distance visual acuity (DVA) worse than 0.4 logMAR (Snellen 6/15) had less than 50% probability of assigning themselves to care level 3 and those with DVA worse than 1.0 logMAR (Snellen 6/60) had a probability of greater than 50% or for assigning themselves to care level 1. Regression analyses with level of care as the dependent variable and demographic factors, DLTV subscales, and SF36 dimensions as the explanatory variables confirmed that the DLTV subscale 1 was the most important variable in the transition from care level 3 to care level 2. The regression analyses also confirmed that the DLTV subscale 2 was the most important in the transition from care level 3 to care level 1. Conclusions: Ability to care for self and dependants has a strong relation with self reported visual functioning and quality of life and is adversely influenced by visual impairment. The acuity at which the balance of probability shifts in the direction of diminished ability to care for self or others is lower than the level set by social care agencies for provision of support. These findings have implications for those involved with visual rehabilitation and for studies of the cost effectiveness of interventions in AMD.

K1 of Chevalley groups are nilpotent

Abstract Let F be a reduced irreducible root system and R be a commutative ring. Further, let G(F,R) be a Chevalley group of type F over R and E(F,R) be its elementary subgroup. We prove that if the rank of F is at least 2 and the Bass-Serre dimension of R is finite, then the quotient G(F,R)/E(F,R) is nilpotent by abelian. In particular, when G(F,R) is simply connected the quotient K1(F,R)=G(F,R)/E(F,R) is nilpotent. This result was previously established by Bak for the series A1 and by Hazrat for C1 and D1. As in the above papers we use the localisation-completion method of Bak, with some technical simplifications.

Evaluation of Numeracy Skills in First Year Pharmacy Undergraduates 1999-2005

There is growing concern within the profession of pharmacy regarding the numerical competency of students completing their undergraduate studies. In this 7 year study, the numerical competency of first year pharmacy undergraduate students at the School of Pharmacy, Queen's University Belfast, was assessed both on entry to the MPharm degree and after completion of a basic numeracy course during the first semester of Level 1. The results suggest that students are not retaining fundamental numeracy concepts initially taught at secondary level education, and that the level of ability has significantly decreased over the past 7 years. Keywords: Numeracy; calculations; MPharm; assessment

Making the law accessible to non-lawyers: effects of different kinds of expertise on perceived usability of online legal information services

To help design an environment in which professionals without legal training can make effective use of public sector legal information on planning and the environment - for Add-Wijzer, a European e-government project - we evaluated their perceptions of usefulness and usability. In concurrent think-aloud usability tests, lawyers and non-lawyers carried out information retrieval tasks on a range of online legal databases. We found that non-lawyers reported twice as many difficulties as those with legal training (p = 0.001), that the number of difficulties and the choice of database affected successful completion, and that the non-lawyers had surprisingly few problems understanding legal terminology. Instead, they had more problems understanding the syntactical structure of legal documents and collections. The results support the constraint attunement hypothesis (CAH) of the effects of expertise on information retrieval, with implications for the design of systems to support the effective understanding and use of information.

Development in vitro of the neuromusculature of two strigeid trematodes, Apatemon cobitidis proterorhini and Cotylurus erraticus

Confocal microscopy interfaced with cytochemical procedures has been used to monitor development of the major muscle systems and associated serotoninergic (5-HT, 5-hydroxytryptamine) and peptidergic (FaRP, FMRFamide-related peptide) innervation of the strigeid trematodes, Apatemon cobitidis proterorhini and Cotylurus erraticus during cultivation in vitro. Sexually undifferentiated metacercariae were successfully grown to ovigerous adults using tissue culture medium NCTC 135, chicken serum and egg albumen. Eggs were produced after 5 days in culture but had abnormal shells and failed to embryonate. 5-HT and FaRP (the flatworm FaRP, GYIRFamide) were localised immunocytochemically in both central and peripheral nervous systems of developing worms. During cultivation, the central serotoninergic and FaRPergic neuronal pathways of the forebody became more extensive, but retained the same basic orthogonal arrangement as found in the excysted metacercaria. Longitudinal extensor and flexor muscles of the hindbody provide support for the developing reproductive complex. The male reproductive tracts were established in advance (day 3) of those of the female system (day 4); completion of the latter was marked by the appearance of the ootype/egg chamber. The inner longitudinal muscle fibres of the female tract appeared prior to the outer and more densely arranged circular muscles. Circular fibres dominate the muscle complement of both alimentary and reproductive tracts. 5-HT- and GYIRFamide-immunoreactivities were demonstrable in the central nervous system (CNS) and subtegumental parasympathetic nervous system (PNS) throughout the culture period, but innervation of the developing reproductive structures was reactive just for 5-HT. Only at the onset of egg production was FaRP-IR observed in the reproductive system and was expressed only in the innervation of the ootype, a finding consistent with the view that FaRPs may regulate egg assembly in platyhelminths.