A knowledge based system for valuing variations in civil engineering works: a user centred approach

There has been much evidence that valuing variations in construction projects can lead to conflicts and disputes leading to loss of time, efficiency, and productivity. One of the reasons for these conflicts and disputes concerns the subjectivity of the project stakeholders involved in the process. One way to minimise this is to capture and collate the knowledge and perceptions of the different parties involved in order to develop a robust mechanism for valuing variations. Focusing on the development of such a mechanism, the development of a Knowledge Based System (KBS) for valuing variations in civil engineering work is described. Evaluation of the KBS involved demonstration to practitioners in the construction industry to support the contents of the knowledge base and perceived usability and acceptance of the system. Results support the novelty, contents, usability, and acceptance of the system, and also identify further potential developments of the KBS

Current state of the art in preference-based measures of health and avenues for further research

Preference-based measures of health (PBMH) have been developed primarily for use in economic evaluation. They have two components: a standardised, multidimensional system for classifying health states and a set of preference weights or scores that generate a single index score for each health state defined by the classification, where full health is one and zero is equivalent to death. A health state can have a score of less than zero if regarded as worse than being dead. These PMBH can be distinguished from non-preference-based measures by the way the scoring algorithms have been developed, in that they are estimated from the values people place on different aspects of health rather than a simple summative scoring procedure or weights obtained from techniques based on item response patterns (e.g. factor analysis or Rasch analysis). The use of PBMH has grown considerably over the last decade with the increasing use of economic evaluation to inform health policy, for example through the establishment of bodies such as the National Institute for Clinical Excellence in England and Wales, the Health Technology Board in Scotland, and similar agencies in Australia and Canada. Preference-based measures have become a common means of generating health state values for calculating quality-adjusted life years (QALY). The status of PBMH was considerably enhanced by the recommendations of the U.S. Public Health Service Panel on Cost-Effectiveness in Health and Medicine to use them in economic evaluation (6). A key requirement for PBHM in economic evaluation is that they allow comparison across programs. While PBMH have been developed primarily for use in economic evaluation, they have also been used to measure health in populations. PBHM provide a better means than a profile measure of determining whether there has been an overall improvement in self-perceived health. The preference-based nature of their scoring algorithms also offers an advantage over non-preference-based measures since the overall summary score reflects what is important to the general population. A non-preference-based measure does not provide an indication to policy makers of the overall importance of health differences between groups or of changes over time. The purpose of this paper is to critically review methods of designing preference-based measures. The paper begins by reviewing approaches to deriving preference weights for PBMH, and this is followed by a brief description and comparison of five common PBMH. The main part of the paper then critically reviews the core components of these measures, namely the classifications for describing health states, the source of their values, and the methods for estimating the scoring algorithm. The final section proposes future research priorities for this field

Computing large market equilibria using abstractions

Computing market equilibria is an important practical problem for market design (e.g. fair division, item allocation). However, computing equilibria requires large amounts of information (e.g. all valuations for all buyers for all items) and compute power. We consider ameliorating these issues by applying a method used for solving complex games: constructing a coarsened abstraction of a given market, solving for the equilibrium in the abstraction, and lifting the prices and allocations back to the original market. We show how to bound important quantities such as regret, envy, Nash social welfare, Pareto optimality, and maximin share when the abstracted prices and allocations are used in place of the real equilibrium. We then study two abstraction methods of interest for practitioners: 1) filling in unknown valuations using techniques from matrix completion, 2) reducing the problem size by aggregating groups of buyers/items into smaller numbers of representative buyers/items and solving for equilibrium in this coarsened market. We find that in real data allocations/prices that are relatively close to equilibria can be computed from even very coarse abstractions

Current state of the art in preference-based measures of health and avenues for further research

Preference-based measures of health (PBMH) have been developed primarily for use in economic evaluation. They have two components, a standardized, multidimensional system for classifying health states and a set of preference weights or scores that generate a single index score for each health state defined by the classification, where full health is one and zero is equivalent to death. A health state can have a score of less than zero if regarded as worse than being dead. These PMBH can be distinguished from non-preference-based measures by the way the scoring algorithms have been developed, in that they are estimated from the values people place on different aspects of health rather than a simple summative scoring procedure or weights obtained from techniques based on item response patterns (e.g., factor analysis or Rasch analysis). The use of PBMH has grown considerably over the last decade with the increasing use of economic evaluation to inform health policy. Preference-based measures have become a common means of generating health state values for calculating quality-adjusted life years (QALY). The status of PBMH was considerably enhanced by the recommendations of the U.S. Public Health Service Panel on Cost-Effectiveness in Health and Medicine to use them in economic evaluation. A key requirement for PBHM in economic evaluation is that they allow comparison across programmes. While PBMH have been developed primarily for use in economic evaluation, they have also been used to measure health in populations. PBHM provide a better means than a profile measure of determining whether there has been an overall improvement in self-perceived health. The preference-based nature of their scoring algorithms also offers an advantage over non-preference-based measures since the overall summary score reflects what is important to the general population. A non-preference-based measure does not provide an indication to policy makers of the overall importance of health differences between groups or of changes over time. The purpose of this paper is to critically review methods of designing preference based measures. The paper begins by reviewing approaches to deriving preference weights for PBMH, and this is followed by a brief description and comparison of five common PBMH. The main part of the paper then critically reviews the core components of these measures, namely the classifications for describing health states, the source of their values, and the methods for estimating the scoring algorithm. The final section proposes future research priorities for this field.preference-based health measures

Program transformations using temporal logic side conditions

This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimisations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimising steps. The approach is illustrated through a transformational case study where we apply several optimisations to a small program

Solving generic nonarchimedean semidefinite programs using stochastic game algorithms

A general issue in computational optimization is to develop combinatorial algorithms for semidefinite programming. We address this issue when the base field is nonarchimedean. We provide a solution for a class of semidefinite feasibility problems given by generic matrices. Our approach is based on tropical geometry. It relies on tropical spectrahedra, which are defined as the images by the valuation of nonarchimedean spectrahedra. We establish a correspondence between generic tropical spectrahedra and zero-sum stochastic games with perfect information. The latter have been well studied in algorithmic game theory. This allows us to solve nonarchimedean semidefinite feasibility problems using algorithms for stochastic games. These algorithms are of a combinatorial nature and work for large instances.Comment: v1: 25 pages, 4 figures; v2: 27 pages, 4 figures, minor revisions + benchmarks added; v3: 30 pages, 6 figures, generalization to non-Metzler sign patterns + some results have been replaced by references to the companion work arXiv:1610.0674