Symbolic execution with interpolation has emerged as a powerful technique for software verification. Its performance heavily relies heavily on the quality of the computed “interpolants”, formulas which succinctly describe a generalization of the symbolic states proved so far. Symbolic execution by default is eager, that is, execution along a symbolic path stops the moment when infeasibility is ...

To evaluate the sensitivity and specificity of Community Health Survey (CHS), we analyzed data from 11,217 participants aged ≥ 19 yr, in 13 cities and counties in 2008. Three healthcare utilization indices (admission, outpatient visits, dental visits) as comparative variables and the insurance benefit claim data of the Health Insurance Review & Assessment Service as the gold-standard were used....

The Effect of Sanctions on the Job Finding Rate: Evidence from Denmark This paper investigates the effect of sanctions of unemployment insurance benefits on the exit rate from unemployment for a sample of Danish unemployed. According to the findings are that even moderate sanctions have rather large effects. For both males and females the exit rate increases by more than 50% following impositio...

Our paper provides an explanation why cost-of-living adjustment (COLA) provisions and their characteristics vary widely across U.S. industries. We develop models of optimal risk sharing between a firm and union to investigate the determinants of a number of contract characteristics. These include the presence and degree of wage indexing, the magnitude of deferred noncontingent wage increases, c...

Introduction. The primary (formal) notations for ontology modelling are symbolic, such as description logics or OWL [2]. The provision of symbolic notations, along with highly efficient reasoning support, facilitates ontology specification, but need not be accessible to the broad range of users. Using diagrammatic notations for reasoning, in addition to specification, can bring benefits. Standa...

I present a theory of the optimal capital structure and dividend policy for family business groups expanding in countries where the private control benefit is substantial and the market for corporate control is active. Here, issuing debt overcomes the limited dilution capacity of equity, but reduces the expected control benefit by increasing the probability of default. When family business grou...

BACKGROUND Complementary health insurance is increasingly used to remedy the limitations and shortcomings of the basic health insurance benefit packages. Hence, it is essential to gather reliable information about the amount of Willingness to Pay (WTP) for health insurance. We assessed the WTP for health insurance in Iran in order to suggest an affordable complementary health insurance. METHO...

The performance of symbolic inference tasks has long been a challenge to connectionists. In this paper, we present an extended survey of this area. Existing connectionist inference systems are reviewed, with particular reference to how they perform variable binding and rule-based reasoning and whether they involve distributed or localist representations. The benefits and disadvantages of differ...