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.

Identifying and Implementing Effective Training for Hispanic Craft Workers, American Supervisors, and DOT Inspectors: Phase III of the Hispanic Workforce Research Project, May 2006

The number of Hispanic workers in the U.S. construction industry has been steadily increasing, and language and cultural barriers have sometimes arisen on the jobsite. Due in part to these barriers, the number of fatalities among Hispanics at construction sites in 2001 jumped 24%, while construction fatalities overall dropped 3%. This study, which constitutes Phase III of the Hispanic Workforce Research Project, addresses these language and cultural barriers by investigating the most effective way to deliver training material developed in Phases I and II to Hispanic workers, American supervisors, and department of transportation (DOT) inspectors. The research methodology consisted of assessing the needs and interests of potential and current course participants in terms of exploring innovative ways to deliver the training. The training courses were then adapted and delivered to fit the specific needs of each audience. During Phase III of this project, the research team delivered the courses described in the Phase I and II reports to eight highway construction companies and two DOT groups. The courses developed in Phases I and II consist of four construction-focused language training courses that can be part of an effective training program to facilitate integration among U.S. and Hispanic workers, increase productivity and motivation at the jobsite, and decrease the existing high mortality rate for Hispanic workers. Moreover, the research team developed a course for the construction season called Toolbox Integration Course for Hispanic workers and American supervisors (TICHA), which consists of nine 45-minute modules delivered to one construction company over 11 weeks in the summer of 2005.

Quantifying the weight of fingerprint evidence through the spatial relationship, directions and types of minutiae observed on fingermarks

This paper presents a statistical model for the quantification of the weight of fingerprint evidence. Contrarily to previous models (generative and score-based models), our model proposes to estimate the probability distributions of spatial relationships, directions and types of minutiae observed on fingerprints for any given fingermark. Our model is relying on an AFIS algorithm provided by 3M Cogent and on a dataset of more than 4,000,000 fingerprints to represent a sample from a relevant population of potential sources. The performance of our model was tested using several hundreds of minutiae configurations observed on a set of 565 fingermarks. In particular, the effects of various sub-populations of fingers (i.e., finger number, finger general pattern) on the expected evidential value of our test configurations were investigated. The performance of our model indicates that the spatial relationship between minutiae carries more evidential weight than their type or direction. Our results also indicate that the AFIS component of our model directly enables us to assign weight to fingerprint evidence without the need for the additional layer of complex statistical modeling involved by the estimation of the probability distributions of fingerprint features. In fact, it seems that the AFIS component is more sensitive to the sub-population effects than the other components of the model. Overall, the data generated during this research project contributes to support the idea that fingerprint evidence is a valuable forensic tool for the identification of individuals.

Tapping the innovation potential of corporate engagement with stakeholders

Summary This dissertation explores how stakeholder dialogue influences corporate processes, and speculates about the potential of this phenomenon - particularly with actors, like non-governmental organizations (NGOs) and other representatives of civil society, which have received growing attention against a backdrop of increasing globalisation and which have often been cast in an adversarial light by firms - as a source of teaming and a spark for innovation in the firm. The study is set within the context of the introduction of genetically-modified organisms (GMOs) in Europe. Its significance lies in the fact that scientific developments and new technologies are being generated at an unprecedented rate in an era where civil society is becoming more informed, more reflexive, and more active in facilitating or blocking such new developments, which could have the potential to trigger widespread changes in economies, attitudes, and lifestyles, and address global problems like poverty, hunger, climate change, and environmental degradation. In the 1990s, companies using biotechnology to develop and offer novel products began to experience increasing pressure from civil society to disclose information about the risks associated with the use of biotechnology and GMOs, in particular. Although no harmful effects for humans or the environment have been factually demonstrated even to date (2008), this technology remains highly-contested and its introduction in Europe catalysed major companies to invest significant financial and human resources in stakeholder dialogue. A relatively new phenomenon at the time, with little theoretical backing, dialogue was seen to reflect a move towards greater engagement with stakeholders, commonly defined as those "individuals or groups with which. business interacts who have a 'stake', or vested interest in the firm" (Carroll, 1993:22) with whom firms are seen to be inextricably embedded (Andriof & Waddock, 2002). Regarding the organisation of this dissertation, Chapter 1 (Introduction) describes the context of the study, elaborates its significance for academics and business practitioners as an empirical work embedded in a sector at the heart of the debate on corporate social responsibility (CSR). Chapter 2 (Literature Review) traces the roots and evolution of CSR, drawing on Stakeholder Theory, Institutional Theory, Resource Dependence Theory, and Organisational Learning to establish what has already been developed in the literature regarding the stakeholder concept, motivations for engagement with stakeholders, the corporate response to external constituencies, and outcomes for the firm in terms of organisational learning and change. I used this review of the literature to guide my inquiry and to develop the key constructs through which I viewed the empirical data that was gathered. In this respect, concepts related to how the firm views itself (as a victim, follower, leader), how stakeholders are viewed (as a source of pressure and/or threat; as an asset: current and future), corporate responses (in the form of buffering, bridging, boundary redefinition), and types of organisational teaming (single-loop, double-loop, triple-loop) and change (first order, second order, third order) were particularly important in building the key constructs of the conceptual model that emerged from the analysis of the data. Chapter 3 (Methodology) describes the methodology that was used to conduct the study, affirms the appropriateness of the case study method in addressing the research question, and describes the procedures for collecting and analysing the data. Data collection took place in two phases -extending from August 1999 to October 2000, and from May to December 2001, which functioned as `snapshots' in time of the three companies under study. The data was systematically analysed and coded using ATLAS/ti, a qualitative data analysis tool, which enabled me to sort, organise, and reduce the data into a manageable form. Chapter 4 (Data Analysis) contains the three cases that were developed (anonymised as Pioneer, Helvetica, and Viking). Each case is presented in its entirety (constituting a `within case' analysis), followed by a 'cross-case' analysis, backed up by extensive verbatim evidence. Chapter 5 presents the research findings, outlines the study's limitations, describes managerial implications, and offers suggestions for where more research could elaborate the conceptual model developed through this study, as well as suggestions for additional research in areas where managerial implications were outlined. References and Appendices are included at the end. This dissertation results in the construction and description of a conceptual model, grounded in the empirical data and tied to existing literature, which portrays a set of elements and relationships deemed important for understanding the impact of stakeholder engagement for firms in terms of organisational learning and change. This model suggests that corporate perceptions about the nature of stakeholder influence the perceived value of stakeholder contributions. When stakeholders are primarily viewed as a source of pressure or threat, firms tend to adopt a reactive/defensive posture in an effort to manage stakeholders and protect the firm from sources of outside pressure -behaviour consistent with Resource Dependence Theory, which suggests that firms try to get control over extemal threats by focussing on the relevant stakeholders on whom they depend for critical resources, and try to reverse the control potentially exerted by extemal constituencies by trying to influence and manipulate these valuable stakeholders. In situations where stakeholders are viewed as a current strategic asset, firms tend to adopt a proactive/offensive posture in an effort to tap stakeholder contributions and connect the organisation to its environment - behaviour consistent with Institutional Theory, which suggests that firms try to ensure the continuing license to operate by internalising external expectations. In instances where stakeholders are viewed as a source of future value, firms tend to adopt an interactive/innovative posture in an effort to reduce or widen the embedded system and bring stakeholders into systems of innovation and feedback -behaviour consistent with the literature on Organisational Learning, which suggests that firms can learn how to optimize their performance as they develop systems and structures that are more adaptable and responsive to change The conceptual model moreover suggests that the perceived value of stakeholder contribution drives corporate aims for engagement, which can be usefully categorised as dialogue intentions spanning a continuum running from low-level to high-level to very-high level. This study suggests that activities aimed at disarming critical stakeholders (`manipulation') providing guidance and correcting misinformation (`education'), being transparent about corporate activities and policies (`information'), alleviating stakeholder concerns (`placation'), and accessing stakeholder opinion ('consultation') represent low-level dialogue intentions and are experienced by stakeholders as asymmetrical, persuasive, compliance-gaining activities that are not in line with `true' dialogue. This study also finds evidence that activities aimed at redistributing power ('partnership'), involving stakeholders in internal corporate processes (`participation'), and demonstrating corporate responsibility (`stewardship') reflect high-level dialogue intentions. This study additionally finds evidence that building and sustaining high-quality, trusted relationships which can meaningfully influence organisational policies incline a firm towards the type of interactive, proactive processes that underpin the development of sustainable corporate strategies. Dialogue intentions are related to type of corporate response: low-level intentions can lead to buffering strategies; high-level intentions can underpin bridging strategies; very high-level intentions can incline a firm towards boundary redefinition. The nature of corporate response (which encapsulates a firm's posture towards stakeholders, demonstrated by the level of dialogue intention and the firm's strategy for dealing with stakeholders) favours the type of learning and change experienced by the organisation. This study indicates that buffering strategies, where the firm attempts to protect itself against external influences and cant' out its existing strategy, typically lead to single-loop learning, whereby the firm teams how to perform better within its existing paradigm and at most, improves the performance of the established system - an outcome associated with first-order change. Bridging responses, where the firm adapts organisational activities to meet external expectations, typically leads a firm to acquire new behavioural capacities characteristic of double-loop learning, whereby insights and understanding are uncovered that are fundamentally different from existing knowledge and where stakeholders are brought into problem-solving conversations that enable them to influence corporate decision-making to address shortcomings in the system - an outcome associated with second-order change. Boundary redefinition suggests that the firm engages in triple-loop learning, where the firm changes relations with stakeholders in profound ways, considers problems from a whole-system perspective, examining the deep structures that sustain the system, producing innovation to address chronic problems and develop new opportunities - an outcome associated with third-order change. This study supports earlier theoretical and empirical studies {e.g. Weick's (1979, 1985) work on self-enactment; Maitlis & Lawrence's (2007) and Maitlis' (2005) work and Weick et al's (2005) work on sensegiving and sensemaking in organisations; Brickson's (2005, 2007) and Scott & Lane's (2000) work on organisational identity orientation}, which indicate that corporate self-perception is a key underlying factor driving the dynamics of organisational teaming and change. Such theorizing has important implications for managerial practice; namely, that a company which perceives itself as a 'victim' may be highly inclined to view stakeholders as a source of negative influence, and would therefore be potentially unable to benefit from the positive influence of engagement. Such a selfperception can blind the firm from seeing stakeholders in a more positive, contributing light, which suggests that such firms may not be inclined to embrace external sources of innovation and teaming, as they are focussed on protecting the firm against disturbing environmental influences (through buffering), and remain more likely to perform better within an existing paradigm (single-loop teaming). By contrast, a company that perceives itself as a 'leader' may be highly inclined to view stakeholders as a source of positive influence. On the downside, such a firm might have difficulty distinguishing when stakeholder contributions are less pertinent as it is deliberately more open to elements in operating environment (including stakeholders) as potential sources of learning and change, as the firm is oriented towards creating space for fundamental change (through boundary redefinition), opening issues to entirely new ways of thinking and addressing issues from whole-system perspective. A significant implication of this study is that potentially only those companies who see themselves as a leader are ultimately able to tap the innovation potential of stakeholder dialogue.

Waste Management in Commercial Activity: State-of-the-Art and the Potential Innovation in the Urban Areas of Hanoi, Vietnam

As the rapid development of the society as well as the lifestyle, the generation of commercial waste is getting more complicated to control. The situation of packaging waste and food waste – the main fractions of commercial waste in different countries in Europe and Asia is analyzed in order to evaluate and suggest necessary improvements for the existing waste management system in the city of Hanoi, Vietnam. From all waste generation sources of the city, a total amount of approximately 4000 tons of mixed waste is transported to the composting facility and the disposal site, which emits a huge amount of 1,6Mt of GHG emission to the environment. Recycling activity is taking place spontaneously by the informal pickers, leads to the difficulty in managing the whole system and uncertainty of the overall data. With a relative calculation, resulting in only approximately 0,17Mt CO2 equivalent emission, incinerator is suggested to be the solution of the problem with overloaded landfill and raising energy demand within the inhabitants.

Learning across business sectors: facets of innovation in aerospace and construction

Innovation is notoriously difficult to define and is invariably intertwined with issues of knowledge creation, continuous improvement and organisational change. An extensive literature classifies numerous types of innovation and militates against any simplistic attempt at definition. It is widely accepted that innovation is at least partly dependent upon the surrounding environment. Industry recipes and institutionally embedded practices shape the environment within which innovation occurs. Recent research directions have addressed the diffusion of innovation and its dependence upon social and institutional structures. In this respect, it is highly pertinent to compare the way that innovation is interpreted and enacted in different industrial sectors. The comparison between UK aerospace and construction is especially revealing because the two sectors are so different and therefore constitute radically different climates for innovation. Empirical research is reported based on semi-structured interviews with practitioners from both sectors. Interpretations of innovation are found to differ dramatically between aerospace and construction. Within the context of an ongoing struggle to define innovation, both industries are striving to become more innovative. The aerospace sector is found to emphasise technical innovation whereas the construction sector emphasises process innovation. An overriding cultural bias in Western economies towards technological innovation results in the common perception that aerospace is much more innovative than construction. The experienced realities of practitioners in the two sectors are much more complex.

Simulation of the Impact of Dams and Fishing Weirs on Reproductive Potential of Silver-Phase American Eels in the Kennebec River Basin, Maine

I modeled the cumulative impact of hydroelectric projects with and without commercial fishing weirs and water-control dams on the production, survival to the sea, and potential fecundity of migrating female silver-phase American eels, Anguilla rostrata in the Kennebec River basin, Maine, This river basin has 22 hydroelectric projects, 73 water-control dams, and 15 commercial fishing weir sites. The modeled area included an 8,324 km(2) segment of the drainage area between Merrymeeting Bay and the upper limit of American eel distribution in the basin. One set of input,, (assumed or real values) concerned population structure (Le., population density and sex ratio changes throughout the basin, female length-class distribution, and drainage area between dams), Another set concerned factors influencing survival and potential fecundity of migrating American eels (i.e., pathway sequences through projects, survival rate per project by length-class. and length-fecundity relationship). Under baseline conditions about 402,400 simulated silver female American eels would be produced annually reductions in their numbers due to dams and weirs would reduce the realized fecundity (i.e., the number of eggs produced by all females that survived the migration). Without weirs or water-control dams, about 63% of the simulated silverphase American eels survived their freshwater spawning migration run to the sea when the survival rate at each hydroelectric dam was 9017, 40% survived at 80% survival per dam, and 18% survived at 60% survival per dam. Removing the lowermost hydroelectric dam on the Kennebec River increased survival by 6.0-7.6% for the basin. The efficient commercial weirs reduced survival to the sea to 69-76%( of what it would have been without weirs', regardless of survival rates at hydroelectric dams. Water-control dams had little impact on production in this basin because most were located in the upper reaches of tributaries. Sensitivity analysis led to the conclusion that small changes in population density and female length distribution had greater effects on survival and realized fecundity than similar changes in turbine survival rate. The latter became more important as turbine survival rate decreased. Therefore, it might be more fruitful to determine population distribution in basins of interest than to determine mortality rate at each hydroelectric project.

Innovation and the 'dark side' of personality:dysfunctional traits and their relationship to innovation potential

This paper explores the relationship between self-reported innovative characteristics and dysfunctional personality traits. Participants (N = 207) from a range of occupations completed the Innovation Potential Indicator (IPI) and the Hogan Development Survey (HDS). Those who reported innovative characteristics also reported the following dysfunctional traits: Arrogant, Manipulative, Dramatic, Eccentric; and lower levels of Cautious, Perfectionist and Dependent. A representative approximation of the higher order factor “moving against people” (Hogan & Hogan, 1997) was positively associated with innovative characteristics. It is concluded that innovation potential may be viewed as a positive effect of some otherwise dysfunctional traits, most notably those encompassed under the second-order HDS factor ‘moving against people’.

Potential of civic crowdfunding to the intelligence of cities and social innovation: an exploratory study

The concepts of smart city and social innovation in combination with the increasing use of ICT by citizens and public authorities could enhance the involvement of people on the decisions that directly affect their daily life. A case study approach was adopted to illustrate the potential of civic crowdfunding for increasing the participation and collaboration between citizens, firms and government. The analysis of two exemplary cases shows that civic crowdfunding platforms could be used by public administration to engage communities in the search of solutions to local problems. Likewise, it could be used to reinforce the community ties and to leverage the bonds among the stakeholders and the partners of the community ecosystem.