We investigate the problem whether two ALC knowledge bases are indistinguishable by queries over a given vocabulary. We give model-theoretic criteria and prove that this problem is undecidable for conjunctive queries (CQs) but decidable in 2EXPTIME for unions of rooted CQs. We also consider the problem whether two ALC TBoxes give the same answers to any query in a given vocabulary over all ABox...

We present an experimental demonstration of both quadrature and polarization entanglement generated via the interaction between a coherent linearly polarized field and cold atoms in a high finesse optical cavity. The nonlinear atom-field interaction produces two squeezed modes with orthogonal polarizations which are used to generate a pair of nonseparable beams, the entanglement of which is dem...

The inseparability of the biotechnology industry and the state is a central theme in the analysis of the location and performance of biotechnology industry in the US and elsewhere. This paper reports on the results of a survey of US biotechnology companies looking particularly at their assessment of needs, barriers, strategies, and government programs. The paper shows that although there is an ...

Using the integer programming approach introduced by Sethuraman, Teo, and Vohra (2003), we extend the analysis of the preference domains containing an inseparable ordered pair, initiated by Kalai and Ritz (1978). We show that these domains admit not only Arrovian social welfare functions “without ties,” but also Arrovian social welfare functions “with ties,” since they satisfy the strictly deco...

We analyze properties of the quantum conditional amplitude operator @Phys. Rev. Lett. 79, 5194 ~1997!#, which plays a role similar to that of the conditional probability in classical information theory. The spectrum of the conditional operator that characterizes a quantum bipartite system is shown to be invariant under local unitary transformations and reflects its inseparability. More specific...

Language is embedded in society and culture, and for that matter, learning a foreign language involves learning its culture. This paper is concerned with the inseparability of culture and language in foreign language teaching, arguing that culture introduction is an effective way to promote students’ cultural awareness and language proficiency. Foreign language textbooks are major channels for ...

Min-max systems are timed discrete event dynamic systems containing min, max and plus operations. A min-max system is balanced if it admits a global cycle time (generalized eigenvalue) for every possible assignment of parameters. This paper proves that the testing of the balance property for min-max systems is co-NP hard by showing that the test of inseparability is co-NP hard. The latter resul...

We show that higher order intergroup covariances involving even number of qubits are necessarily positive semidefinite for N-qubit separable states, which are completely symmetric under permutations of the qubits. This identification leads to a family of sufficient conditions of inseparability based on the negativity of 2kth order intergroup covariance matrices (2k</=N) of symmetric N-qubit sys...