7,516 research outputs found

    Consumer Preferences for Mass Customization

    Get PDF
    Increasingly, firms allow consumers to mass customize their products. In this study, the authors investigate consumers’ evaluations of different mass customization configurations when asked to mass customize a product. For instance, mass customization configurations may differ in the number of modules that may be mass customized. The authors find – in the context of mass customization of personal computers – that mass customization configuration affects the product utility consumers can achieve in mass customization as well as their perception of mass customization complexity. In turn, product utility and complexity affect the utility consumers derive from using a certain mass customization configuration. More specifically, product utility has a positive, and complexity has a negative effect on mass customization configuration utility. The effect of complexity is direct as well as indirect, because complexity also lowers product utility. The authors also find that consumers with high product expertise find mass customization configurations less complex than consumers with low product expertise and that for more expert consumers complexity has a less negative impact on product utility. The study has important managerial implications for how companies can design their mass customization configuration to increase utility and decrease complexity.marketing ;

    Extending ACL2 with SMT Solvers

    Full text link
    We present our extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers using ACL2's trusted clause processor mechanism. We are particularly interested in the verification of physical systems including Analog and Mixed-Signal (AMS) designs. ACL2 offers strong induction abilities for reasoning about sequences and SMT complements deduction methods like ACL2 with fast nonlinear arithmetic solving procedures. While SAT solvers have been integrated into ACL2 in previous work, SMT methods raise new issues because of their support for a broader range of domains including real numbers and uninterpreted functions. This paper presents Smtlink, our clause processor for integrating SMT solvers into ACL2. We describe key design and implementation issues and describe our experience with its use.Comment: In Proceedings ACL2 2015, arXiv:1509.0552
    • …
    corecore