This paper introduces an encoding of Model Based Diagnosis (MBD) to Boolean Satisfaction (SAT) focusing on minimal cardinality diagnosis. The is based a combination sophisticated MBD preprocessing algorithms and SAT compilation techniques which together provide concise CNF formula. Experimental evidence indicates that our approach superior all published for MBD. In particular, we can determine,...

A path model was developed to test hypothesized associations among financial satisfaction, harsh start-up, shared goals and values, and relationship satisfaction. It was noted that a partner’s perceived financial satisfaction was directly associated with engaging less in harsh start-up discussions and sharing goals and values with the other partner. Harsh start-up discussions were directly asso...

the meaning of the yard as residential open space has changed in the contemporary iranian architecture, where its dignity has transformed to the public space in the sub-neighborhood. in the new urbanism according to the land limitation and economic problem, home’s space has decrease and share building has increased. this article has been conducted to investigate the possible landscape architect...

In the Multi-platform access Two-sided Networks,most customers use several platforms to shop. Customer satisfaction with different platform services lead to different dependence of customer to platform. In order to study the factors influencing the m-customer satisfaction, the study builds the evaluation model of m-customer satisfaction based on the HMM method. Customer satisfaction of mobile t...

In this paper, we examined Web-based information systems (WIS) success and focused on User Satisfaction in the context of a consumer purchasing decision. The results indicate strong support for the research model consisting of three fundamental User Satisfaction components: Task Support Satisfaction (TSS), Decision Support Satisfaction (DSS), and Interface Satisfaction. The model explains appro...

Because of improving mobile platforms and faster 4G speed, the annual growth devices has exceeded 50%, many catering enterprises have integrated services to make ordering delivery more convenient for smartphone users. Thus, user satisfaction with new online food-delivery needs be explored evaluated. Using an Importance–Satisfaction Model (I–S Model), this study applied 12 service elements obtai...