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.

Simulation of ship evacuation and passenger circulation

This paper describes work carried out in the FIRE EXIT research project. FIRE EXIT aims to develop an Evacuation Simulator, capable of addressing issues of mustering, ship motions, fire and abandonment. In achieving these aims, FIRE EXIT took as its starting point the state-of-the-art in ship evacuation simulation (the maritimeEXODUS software), fire simulation (the SMARTFIRE software) and large-scale experimental facilities (the SHEBA facility). It then significantly enhanced these capabilities. A number of new technologies have been developed in achieving these objectives. The innovations include directly linking CFD fire simulation with evacuation and abandonment software and automatic data transfer from concept design software allowing rapid generation of ship simulation models. Software usability was augmented by a module for interpretation of evacuation software output. Enhancements to a ship evacuation testing rig have resulted in a unique facility, capable of providing passenger movement data for realistic evacuation scenarios and large scale tests have provided meaningful data for the evacuation simulation.

Beneficial entitlement after Stack

Reviews the approach adopted in Stack v Dowden to determination of beneficial interests in a property purchased in the joint names of cohabitees. Considers two cases which extended the Stack v Dowden approach to encompass the beneficial entitlement of family members, namely: (1) Adekunle v Ritchie on beneficial entitlement in a property jointly purchased by a mother and son, where the transfer document contained no express declaration of trust; and (2) Abbott v Abbott on the impact of a wife's indirect financial contributions in determining her beneficial entitlement in the matrimonial home.

Multiple attractors of host-parasitoid models with integrated pest management strategies: eradication, persistence and outbreak

Host-parasitoid models including integrated pest management (IPM) interventions with impulsive effects at both fixed and unfixed times were analyzed with regard to host-eradication, host-parasitoid persistence and host-outbreak solutions. The host-eradication periodic solution with fixed moments is globally stable if the host's intrinsic growth rate is less than the summation of the mean host-killing rate and the mean parasitization rate during the impulsive period. Solutions for all three categories can coexist, with switch-like transitions among their attractors showing that varying dosages and frequencies of insecticide applications and the numbers of parasitoids released are crucial. Periodic solutions also exist for models with unfixed moments for which the maximum amplitude of the host is less than the economic threshold. The dosages and frequencies of IPM interventions for these solutions are much reduced in comparison with the pest-eradication periodic solution. Our results, which are robust to inclusion of stochastic effects and with a wide range of parameter values, confirm that IPM is more effective than any single control tactic.

What is the value of technology? Toward a labour theory of technology change

Economic analysis of technology treats it as given exogenously, while determined endogenously. This paper examines the conceptual conflict. The paper outlines an alternative conceptual framework. This uses a 'General Vertical Division of Labour' into conceptual and executive parts to facilitate a coherent political economic explanation of technological change. The paper suggests that we may acquire rather than impose an understanding of technological change. It also suggests that we may re-define and reassess the efficiency of technological change, through the values inculcated into it.

The eLIDA CAMEL nomadic model of collaborative partnership for a community of practice in design for learning

A nomadic collaborative partnership model for a community of practice (CoP) in Design for Learning (D4L) can facilitate successful innovation and continuing appraisals of effective professional practice, stimulated by a 'critical friend' assigned to the project. This paper reports on e-learning case studies collected by the JISC-funded UK eLIDA CAMEL Design for Learning Project. The project implemented and evaluated learning design (LD) tools in higher and further education within the JISC Design for Learning pedagogic programme (2006-07). Project partners trialled professional user evaluations of innovative e-learning tools with learning design function, collecting D4L case studies and LD sequences in post-16/HE contexts using LAMS and Moodle. The project brought together learning activity sequences within a collaborative e-learning community of practice based on the CAMEL (Collaborative Approaches to the Management of e-Learning) model, contributing to international D4L developments. This paper provides an overview of project outputs in e-learning innovations, including evaluations from teachers and students. The paper explores intentionality in the development of a CoP in design for learning, reporting on trials of LD and social software that bridged tensions between formalised intra-institutional e-learning relationships and inter-institutional professional project team dynamic D4L practitioner interactions. Following a brief report of D4L case studies and feedback, the catalytic role of the 'critical friend' is highlighted and recommended as a key ingredient in the successful development of a nomadic model of communities of practice for managing professional e-learning projects. eLIDA CAMEL Partners included the Association of Learning Technology (ALT), JISC infoNet, three universities and five FE/Sixth Form Colleges. Results reported to JISC demonstrated D4L e-learning innovations by practitioners, illuminated by the role of the 'critical friend'. The project also benefited from formal case study evaluations and the leading work of ALT and JISC infoNet in the development of the CAMEL model.