26 research outputs found

    Kochen-Specker Vectors

    Full text link
    We give a constructive and exhaustive definition of Kochen-Specker (KS) vectors in a Hilbert space of any dimension as well as of all the remaining vectors of the space. KS vectors are elements of any set of orthonormal states, i.e., vectors in n-dim Hilbert space, H^n, n>3 to which it is impossible to assign 1s and 0s in such a way that no two mutually orthogonal vectors from the set are both assigned 1 and that not all mutually orthogonal vectors are assigned 0. Our constructive definition of such KS vectors is based on algorithms that generate MMP diagrams corresponding to blocks of orthogonal vectors in R^n, on algorithms that single out those diagrams on which algebraic 0-1 states cannot be defined, and on algorithms that solve nonlinear equations describing the orthogonalities of the vectors by means of statistically polynomially complex interval analysis and self-teaching programs. The algorithms are limited neither by the number of dimensions nor by the number of vectors. To demonstrate the power of the algorithms, all 4-dim KS vector systems containing up to 24 vectors were generated and described, all 3-dim vector systems containing up to 30 vectors were scanned, and several general properties of KS vectors were found.Comment: 19 pages, 6 figures, title changed, introduction thoroughly rewritten, n-dim rotation of KS vectors defined, original Kochen-Specker 192 (117) vector system translated into MMP diagram notation with a new graphical representation, results on Tkadlec's dual diagrams added, several other new results added, journal version: to be published in J. Phys. A, 38 (2005). Web page: http://m3k.grad.hr/pavici

    Web services package reuse and dynamic composition

    No full text

    Requirements Index for Information Processing in Hospitals

    No full text
    ABSTRACT Reference models describing typical information processing requirements in hospitals do not exist to date. This causes high expenses in the management of hospital information systems as well as in tender processes for obtaining software application programs. Therefore, it would be helpful to have a description of the most important requirements for information processing in hospitals. We established such an index of requirements for information processing in university hospitals with the aim to support the systematic management of hospital information systems. It contains functional and function-independent requirements, ordered according to the typical primary care process and additional supporting information processing functions of a hospital. In this paper, we will present some background as well as the structure and content of the first German version of the requirements index for information processing in hospitals

    Laboratory experiment with the 3RolesPlaying method

    No full text
    corecore