LOGIC AND CONSTRAINT PROGRAMMING FOR COMPUTATIONAL SUSTAINABILITY

Computational Sustainability is an interdisciplinary field that aims to develop computational and mathematical models and methods for decision making concerning the management and allocation of resources in order to help solve environmental problems. This thesis deals with a broad spectrum of such problems (energy efficiency, water management, limiting greenhouse gas emissions and fuel consumption) giving a contribution towards their solution by means of Logic Programming (LP) and Constraint Programming (CP), declarative paradigms from Artificial Intelligence of proven solidity. The problems described in this thesis were proposed by experts of the respective domains and tested on the real data instances they provided. The results are encouraging and show the aptness of the chosen methodologies and approaches. The overall aim of this work is twofold: both to address real world problems in order to achieve practical results and to get, from the application of LP and CP technologies to complex scenarios, feedback and directions useful for their improvement

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)

http://ceur-ws.org/Vol-627/allproceedings.pdfInternational audienceMALLOW-2010 is a third edition of a series initiated in 2007 in Durham, and pursued in 2009 in Turin. The objective, as initially stated, is to "provide a venue where: the cost of participation was minimum; participants were able to attend various workshops, so fostering collaboration and cross-fertilization; there was a friendly atmosphere and plenty of time for networking, by maximizing the time participants spent together"

Creating Space, or Just Juggling? Exploring the Adoption of Innovation in Community Sport

Previous research into community sport organization (CSO) has focused heavily on capacity and resource deficits and the ways in which CSOs manage under these constraints. This study explores mechanisms influencing CSOs as they adopt and implement an innovation: Long-Term Athlete Development (LTAD). A critical realist, extensive-intensive design spanning 36 months was used. The first, extensive phase of the study examines the contextual mechanisms influencing the approach of CSOs to adopting the LTAD innovation. Resource dependence and institutional perspectives are integrated to describe the forces acting on CSOs, how these manifest in structures, and how the structures channel the agency of CSO leaders as they work to balance resources and deliver programs. A contextual model of CSO operation under conflicting institutional logics is presented. The second, intensive phase examines the question of how CSOs plan, learn, and consolidate learning into structure as they integrate an innovation. Here, an engaged case study methodology was used to focus on the efforts of a single CSO over a one-year period as it worked to implement LTAD while managing multiple resource constraints. A learning cycle was used to explore processes of embedded agency resulting in structural change. CSOs are conceptualized as juggling resource constraints while balancing conflicting institutional logics: the communitarian logic promoted by resource controllers such as municipalities and Provincial Sport Organizations, and the individualist logic followed by CSO members. The results of the study demonstrate how CSOs compete for resources while balancing these institutional pressures and how when possible, CSOs manipulate institutional factors to gain legitimacy and contingent access to resources. In this competitive environment, LTAD represents a new institutional pressure. CSOs determine whether to adopt LTAD in part based on whether resource controllers signal that compliance will bring legitimacy and enhance resource access. When resource- controlling organizations introduce standards like LTAD intended to improve CSO program quality, the unintended result can be inter-CSO competition for legitimacy that can lead to the systematic privileging of large CSOs at the expense of smaller ones, driving professionalization and potentially increasing costs of sport participation

Proceedings of LOAIT '07 : II Workshop on Legal Ontologies and Artificial Intelligence Techniques

Proceedings of the 2nd Workshop on Legal Ontologies and Artificial Intelligence Techniques June 4th, 2007, Stanford Universit

Integrated Design, Design Management and the Delivery of Major Hospitals

There is a failure to fully achieve client expectations and to deliver integrated hospital building solutions that function to all spatial and equipment requirements. Often this is because the construction of hospitals is based on designs established several years before the start on site. A retrospective abductive, auto-ethnographic case study approach has been taken in the examination of four major hospital projects over a period of 30 years. The level of design integration and effect of design management and coordination issues relating to stakeholder engagement, roles and responsibilities, static and dynamic briefing and the integration of major medical equipment has been explored at a project level, then contextualised within a wider delivery model to understand the impacts of these on integrated delivery and systems integration. Five temporal periods were observed, four of them relating to the retrospective case studies these were: (1) prescriptive integration – where traditional procurement with Design, Bid, Build delivery was combined with standards and guidance; (2) dysfunctional integration – where the adoption of Private Finance Initiative (PFI) with Design and Build delivery transferred traditional roles and reduced standardisation; (3 and 4) adaptive integration 1 and 2 – which saw both a gradual deregulation of standards; and, an understanding for standards, and (5) the fifth temporal disintegration period – where guidance from the wider delivery model ceased to be updated due to top down policy reorganisation and lack of centralised control and includes a current case study. Throughout these temporal periods, it was found that the national delivery models have had a significant influence on hospital project delivery and particularly systems of systems integration. A new model based on layering principles that shows the impact of wider delivery models on systems integration is proposed to improve the provision of ‘state of the art’ facilities at project completio

Generative mechanisms for scientific knowledge transfer in the food industry

This paper investigates the generative mechanisms for scientific knowledge transfer in the food industry, addressing the sustainability of knowledge transfer projects related to health, safety and regulation. Different levels of analysis examine structure, agency and interactions within a multilevel framework. The main research questions are: (1) what are the key generative mechanisms within science–industry knowledge transfer? and (2) what are the implications of these mechanisms to policy? This research applies explaining-outcome process-tracing by investigating different knowledge transfer projects, utilising empirical data from 52 in-depth interviews with food scientists and food SMEs, 17 supporting documents and 16 observations. Systematic combining is used to develop a narrative from empirical data, where the evidence leads to the formation of the most plausible explanation. This is followed by the abstraction of mechanisms which are then matched to a suitable theoretical framework. The results from the study show a range of predominant mechanisms that drove scientific knowledge transfer including nonpecuniary incentives, reputation, opportunity, instrumental rationality, self-interest, strategic calculation, aggregation, learning and adaptive self-regulation. The overall conclusion is that the construction of relationships based around social norms, autonomy and relatedness are more dominant than those focused on financial incentives or transaction cost theories