ion and Compositional Techniques From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . 142 E.Allen Emerson, Richard J. Trefler Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

Phylogenetic methods can produce biased estimates of phylogeny when base composition varies along different lineages. Pettigrew (1994, Curr. Biol. 4:277-280) has suggested that base composition bias is responsible for the apparent support for the monophyly of bats (Chiroptera: megabats and microbats) from several different nuclear and mitochondrial genes. Pettigrew's "flying DNA" hypothesis mak...

Compositional modeling provides a number of advantages over conventional simulation software in explanation generation mainly because of its causal interpretation of data. However, little work was done with regard to a supporting algorithm that can generate cogent explanations from the simulation values and causal graphs of model parameters. Earlier attempts did not solve the problem of irrelev...

Previous work has introduced the setting of Logic LTS, to-gether with a variant of ready simulation as fully-abstract refinementpreorder, which allows one to compose operational specifications using aCSP-style parallel operator as well as the propositional connectives con-junction and disjunction. In this paper, we show how a temporal logicfor specifying safety properties ma...

Model formulation and model reuse are among the challenges in the field of qualitative reasoning research. In organic reactions, there are many task-level chemical processes. Identifying the generic ones can help promote model reuse in a qualitative simulation environment. This paper describes an approach to automate qualitative models and reuse them for the simulation of a group of organic rea...

since the pressure of hydrocarbon reservoirs drops due to production, in order to keep the production rate constant or increase enhanced recovery, few methods are used. one of which is gas injection to the reservoir. on the other hand, due to reduction in oil production potential of aghajari oil field, gas injection is highly required to pressurize and enhance oil recovery. there is a possibili...

Non-compositional phrases such as red herring and weakly compositional phrases such as spelling bee are an integral part of natural language (Sag et al., 2002). They are also the phrases that are difficult, or even impossible, for good compositional distributional models of semantics. Compositionality detection therefore provides a good testbed for compositional methods. We compare an integrate...

In this survey, we overview several compositional veriication approaches based on model checking, namely compositional minimization, classic assume guarantee reasoning and circular reasoning. We describe details of each of these approaches, and elaborate the general problems with some proposed solutions. We also summarize the advantages and disadvantages of each. In the last section, we give a ...