Multivariant non-failure analysis via standard abstract interpretation

Non-failure analysis aims at inferring that predicate calis in a program will never fail. This type of information has many applications in functional/logic programming. It is essential for determining lower bounds on the computational cost of calis, useful in the context of program parallelization, instrumental in partial evaluation and other program transformations, and has also been used in query optimization. In this paper, we re-cast the non-failure analysis proposed by Debray et al. as an abstract interpretation, which not only allows to investígate it from a standard and well understood theoretical framework, but has also several practical advantages. It allows us to incorpórate non-failure analysis into a standard, generic abstract interpretation engine. The analysis thus benefits from the fixpoint propagation algorithm, which leads to improved information propagation. Also, the analysis takes advantage of the multi-variance of the generic engine, so that it is now able to infer sepárate non-failure information for different cali patterns. Moreover, the implementation is simpler, and allows to perform non-failure and covering analyses alongside other analyses, such as those for modes and types, in the same framework. Finally, besides the precisión improvements and the additional simplicity, our implementation (in the Ciao/CiaoPP multiparadigm programming system) also shows better efRciency.

International review of computer usage and applications by construction project managers

As computer applications become more available—both technically and economically—construction project managers are increasingly able to access advanced computer tools capable of transforming the role that project managers have typically performed. Competence at using these tools requires a dual commitment in training—from the individual and the firm. Improving the computer skills of project managers can provide construction firms with a competitive advantage to differentiate from others in an increasingly competitive international market. Yet, few published studies have quantified what existing level of competence construction project managers have. Identification of project managers’ existing computer application skills is a necessary first step to developing more directed training to better capture the benefits of computer applications. This paper discusses the yet to be released results of a series of surveys undertaken in Malaysia, Singapore, Indonesia, Australia and the United States through QUT’s School of Construction Management and Property and the M.E. Rinker, Sr. School of Building Construction at the University of Florida. This international survey reviews the use and reported competence in using a series of commercially-available computer applications by construction project managers. The five different country locations of the survey allow cross-national comparisons to be made between project managers undertaking continuing professional development programs. The results highlight a shortfall in the ability of construction project managers to capture potential benefits provided by advanced computer applications and provide directions for targeted industry training programs. This international survey also provides a unique insight to the cross-national usage of advanced computer applications and forms an important step in this ongoing joint review of technology and the construction project manager.

A Review of potential countermeasures for motorcycle and scooter safety practices across APEC for project : Compendium of Best Practices on Motorcycle and Scooter Safety

Motorcyclists and scooter riders are among the most vulnerable road users, across APEC. This report assesses the potential road safety measures that can be used to address these issues and selects measures that could feasibly and effectively be implemented across the Asia Pacific Economic Communities (APEC). The scope of the report is confined to on-road motorcycle riding. While the numbers of injuries resulting from off-road riding (including as part of farm work) are likely to be substantial based on data from other states, many of the issues and measures to reduce trauma in off-road riding would be quite different. A previous report described important motorcycle and scooter safety issues across APEC economies and any current barriers that might exist in implementing potentially effective countermeasures.

Life Cycle Modelling and Design Knowledge Development in 3D Virtual Environments

Experience plays an important role in building management. “How often will this asset need repair?” or “How much time is this repair going to take?” are types of questions that project and facility managers face daily in planning activities. Failure or success in developing good schedules, budgets and other project management tasks depend on the project manager's ability to obtain reliable information to be able to answer these types of questions. Young practitioners tend to rely on information that is based on regional averages and provided by publishing companies. This is in contrast to experienced project managers who tend to rely heavily on personal experience. Another aspect of building management is that many practitioners are seeking to improve available scheduling algorithms, estimating spreadsheets and other project management tools. Such “micro-scale” levels of research are important in providing the required tools for the project manager's tasks. However, even with such tools, low quality input information will produce inaccurate schedules and budgets as output. Thus, it is also important to have a broad approach to research at a more “macro-scale.” Recent trends show that the Architectural, Engineering, Construction (AEC) industry is experiencing explosive growth in its capabilities to generate and collect data. There is a great deal of valuable knowledge that can be obtained from the appropriate use of this data and therefore the need has arisen to analyse this increasing amount of available data. Data Mining can be applied as a powerful tool to extract relevant and useful information from this sea of data. Knowledge Discovery in Databases (KDD) and Data Mining (DM) are tools that allow identification of valid, useful, and previously unknown patterns so large amounts of project data may be analysed. These technologies combine techniques from machine learning, artificial intelligence, pattern recognition, statistics, databases, and visualization to automatically extract concepts, interrelationships, and patterns of interest from large databases. The project involves the development of a prototype tool to support facility managers, building owners and designers. This Industry focused report presents the AIMMTM prototype system and documents how and what data mining techniques can be applied, the results of their application and the benefits gained from the system. The AIMMTM system is capable of searching for useful patterns of knowledge and correlations within the existing building maintenance data to support decision making about future maintenance operations. The application of the AIMMTM prototype system on building models and their maintenance data (supplied by industry partners) utilises various data mining algorithms and the maintenance data is analysed using interactive visual tools. The application of the AIMMTM prototype system to help in improving maintenance management and building life cycle includes: (i) data preparation and cleaning, (ii) integrating meaningful domain attributes, (iii) performing extensive data mining experiments in which visual analysis (using stacked histograms), classification and clustering techniques, associative rule mining algorithm such as “Apriori” and (iv) filtering and refining data mining results, including the potential implications of these results for improving maintenance management. Maintenance data of a variety of asset types were selected for demonstration with the aim of discovering meaningful patterns to assist facility managers in strategic planning and provide a knowledge base to help shape future requirements and design briefing. Utilising the prototype system developed here, positive and interesting results regarding patterns and structures of data have been obtained.

Sustainability and the Building Code of Australia

This was a two-stage project to inform the Australian property and construction industry generally, and to provide the Australian Building Codes Board (ABCB) with information to allow it to determine whether or not sustainability requirements are necessary in the Future Building Code of Australia (BCA21). Research objectives included: examine overseas sustainability requirements for buildings and outline the reason why it is controlled and regulated in the particular country, state, principality etc. examine studies focusing on sustainability developments in buildings in Australia and overseas identify potential issues and implications associated with sustainable building requirements provide advice on whether provisions are necessary in the BCA21 to make buildings sustainable if the study determines there is a need for sustainability requirements in the BCA21, the study was to demonstrate the need to control and regulate along with the method to control and regulate. This research was broken down into two stages. Stage 1 was a literature review of international requirements as well as current thinking and practice for sustainable building developments. Stage 2 identified issues and implications of sustainability requirements for buildings and advice on whether provisions are necessary in the BCA21. This stage included workshops in all capital cities and involved key stakeholders, such as regulators, local government and representatives from key associations. This final report brings together the work of both stages, along with a searchable internet database of references and a series of nine key recommendations.

Technology, design and process innovation in the built environment

Buildings and infrastructure represent principal assets of any national economy as well as prime sources of environmental degradation. Making them more sustainable represents a key challenge for the construction, planning and design industries and governments at all levels; and the rapid urbanisation of the 21st century has turned this into a global challenge. This book embodies the results of a major research programme by members of the Australia Co-operative Research Centre for Construction Innovation and its global partners, presented for an international audience of construction researchers, senior professionals and advanced students. It covers four themes, applied to regeneration as well as to new build, and within the overall theme of Innovation: Sustainable Materials and Manufactures, focusing on building material products, their manufacture and assembly – and the reduction of their ecological ‘fingerprints’, the extension of their service lives, and their re-use and recyclability. It also explores the prospects for applying the principles of the assembly line. Virtual Design, Construction and Management, viewed as increasing sustainable development through automation, enhanced collaboration (such as virtual design teams), real time BL performance assessment during design, simulation of the construction process, life-cycle management of project information (zero information loss) risk minimisation, and increased potential for innovation and value adding. Integrating Design, Construction and Facility Management over the Project Life Cycle, by converging ICT, design science engineering and sustainability science. Integration across spatial scales, enabling building–infrastructure synergies (such as water and energy efficiency). Convergences between IT and design and operational processes are also viewed as a key platform increased sustainability.

The innovation potential of living-labs to strengthen small and medium enterprises in regional Australia

The small and medium enterprise (SME) sector has been the major source of well-being and employment opportunities in regional Australia. Consequently, fostering the innovative capacity of SMEs in regions that are struggling to grow their economies and distribute the growth fairly while not degrading the environment has never been more important. While SMEs generally face more uncertainties in relation to resources (e.g. financial, human and social capital) when compared to larger businesses, collaborative, cuttingedge mechanisms to enhance innovation capabilities of regional SMEs are lacking. This paper responds to this gap and proposes a Living Laboratory – an open, multi-disciplinary and multi-stakeholder action research platform where innovations can be co-created, tested and evaluated in the every-day environment of SMEs – as a way to strengthen the SME sector in regional Australia.

Learnings, case studies and guidelines for establishing shared and collaborative service delivery in the non-government sector: Evaluation of the Multi-Tenant Service Centre (MTSC) Pilots Project

This report presents learnings, case studies, guidelines and resources for non-government organisations that are planning to implement shared or collaborative arrangements with other agencies. It summarises results from an evaluation of the implementation phase of the Multi-Tenant Service Centre (MTSC) Pilots Project, which was completed in June 2008. This evaluation shows that developing and implementing shared and collaborative arrangements is a complex process that presents many risks, challenges and barriers to success, but can have many potential benefits for non government organisations. As this report makes clear, there is no ‘one size fits all’ approach to this process. The MTSC Pilots Project was conducted by the Department of Communities (DoC), Queensland Government, as part of its Strengthening Non-Government Organisations strategy. The objective of the MTSC Pilots initiative was to co-locate separate service providers in an appropriately located centre, operating with effective and transparent management, which enabled service providers to improve client services. Three MTSC consortiums in Mackay, Caboolture and Toowoomba were selected as the pilots over a four year period from 2006 – 2010.

Management of wetland resources in the lower Mekong Basin: issues and future directions

The Lower Mekong Basin has extensive wetlands and these are being threatened by numerous problems. Most of these problems are interdependent and interact with one another. The lack of an appropriate definition of wetlands applicable to the region, pervasive inefficiencies and chronic lack of funds among riparian governments, and the poor appreciation of the true economic importance of wetlands and its resources are among the most prominent. The current definition, based on the Convention on Wetlands (Ramsar, Iran, 1971), is too broad when compared to the understanding of wetlands as being swamps, marshes and the like, and was developed specifically for wetlands with international importance as waterfowl habitats. Furthermore, wetlands are composed of different types of resources, which require different modes of management. Often, institutional competition, overlapping mandates and sometimes jealousies occur between government departments when they try to assert their authority on a particular wetland resource and use, and put forward their development plans without considering how these may conflict with other wetlands uses. Finally, effective wetland management requires reliable statistics or information on rate of harvest of natural resources such as fish and others, fishing/harvesting methods over time in order to determine the level of exploitation, and the status of the natural resources. This information is needed to identify opportunities for expansion, to establish historical trends, and to determine when management interventions are necessary to protect the resources from being overused by other developments. In order to address these issues, ICLARM - The World Fish Center has launched a project, the aim of objectives of which are described in this paper.

Identification and assessment of potential wind energy project sites in the State of Maryland

Gemstone Team Renewables

Realizing an Applied Gaming Ecosystem: Towards Supporting Service-based Innovation Knowledge Management and Transfer

The EU-based industry for non-leisure games is an emerging business. As such it is still fragmented and needs to achieve critical mass to compete globally. Nevertheless its growth potential is widely recognized. To become competitive the relevant applied gaming communities and SMEs require support by fostering the generation of innovation potential. The European project Realizing an Applied Gaming Ecosystem (RAGE) is aiming at supporting this challenge. RAGE will help by making available an interoperable set of advanced technology assets, tuned to applied gaming, as well as proven practices of using asset-based applied games in various real-world contexts, and finally a centralized access to a wide range of applied gaming software modules, services and related document, media, and educational resources within an online community portal called the RAGE Ecosystem. It is based on an integrational, user-centered approach of Knowledge Management and Innovation Processes in the shape of a service-based implementation.

The use of ICT in the course “Photography” in university education. First results of a teaching innovation project at the University of Murcia

The new pedagogical framework arisen since the Bologna Declaration,the Prague Communiquéand the introduction of the European Higher Education Area (EHEA), encourages, significantly, the use of new Communication and Information Technology to evolve teaching methodologies. The different ways teachers relate to learners have undergone a staggering change from which educational initiatives have emerged. Many of them are based on contents’ democratization through the use of ICT. The current article is intended to show the results obtained until the 2012/2013 academic course, since the implementation of the teaching innovation project entitled “The use of ICT for the students’ autonomous learning in the university education of the course Photography. Elaboration of a virtual classroom and results’ analysis related to the acquisition of skills and competencies” that has been developed in the course called Draw with light: Photography, belonging to the Fine Arts Degree at the University of Murcia.