The Experts below are selected from a list of 15 Experts worldwide ranked by ideXlab platform

M Smith - One of the best experts on this subject based on the ideXlab platform.

  • linking a medical vocabulary to a clinical Data model using abstract syntax notation 1
    Methods of Information in Medicine, 1998
    Co-Authors: Stanley M Huff, Roberto A Rocha, H R Solbrig, M W Barnes, S P Schrank, M Smith
    Abstract:

    We have created a clinical Data model using Abstract Syntax Notation 1 (ASN. 1). The clinical model is constructed from a small number of simple Data Types that are built into Data structures of progressively greater complexity. Important intermediate Types include Attributes, Observations, and Events. The highest level elements in the model are messages that are used for inter-process communication within a clinical information system. Vocabulary is incorporated into the model using BaseCoded, a Primitive Data Type that allows vocabulary concepts and semantic relationships to be referenced using standard ASN. 1 notation. ASN. 1 subtyping language was useful in preventing unbounded proliferation of object classes in the model, and in general, ASN.1 was found to be a flexible and robust notation for representing a model of clinical information.

Ian Childs - One of the best experts on this subject based on the ideXlab platform.

  • on the semantics of reflect as a basis for a reflective theorem prover
    arXiv: Logic in Computer Science, 2013
    Co-Authors: Tom Melham, Raphael Cohn, Ian Childs
    Abstract:

    This paper explores the semantics of a combinatory fragment of reFLect, the lambda-calculus underlying a functional language used by Intel Corporation for hardware design and verification. ReFLect is similar to ML, but has a Primitive Data Type whose elements are the abstract syntax trees of reFLect expressions themselves. Following the LCF paradigm, this is intended to serve as the object language of a higher-order logic theorem prover for specification and reasoning - but one in which object- and meta-languages are unified. The aim is to intermix program evaluation and logical deduction through reflection mechanisms. We identify some difficulties with the semantics of reFLect as currently defined, and propose a minimal modification of the Type system that avoids these problems.

Stanley M Huff - One of the best experts on this subject based on the ideXlab platform.

  • linking a medical vocabulary to a clinical Data model using abstract syntax notation 1
    Methods of Information in Medicine, 1998
    Co-Authors: Stanley M Huff, Roberto A Rocha, H R Solbrig, M W Barnes, S P Schrank, M Smith
    Abstract:

    We have created a clinical Data model using Abstract Syntax Notation 1 (ASN. 1). The clinical model is constructed from a small number of simple Data Types that are built into Data structures of progressively greater complexity. Important intermediate Types include Attributes, Observations, and Events. The highest level elements in the model are messages that are used for inter-process communication within a clinical information system. Vocabulary is incorporated into the model using BaseCoded, a Primitive Data Type that allows vocabulary concepts and semantic relationships to be referenced using standard ASN. 1 notation. ASN. 1 subtyping language was useful in preventing unbounded proliferation of object classes in the model, and in general, ASN.1 was found to be a flexible and robust notation for representing a model of clinical information.

Tom Melham - One of the best experts on this subject based on the ideXlab platform.

  • on the semantics of reflect as a basis for a reflective theorem prover
    arXiv: Logic in Computer Science, 2013
    Co-Authors: Tom Melham, Raphael Cohn, Ian Childs
    Abstract:

    This paper explores the semantics of a combinatory fragment of reFLect, the lambda-calculus underlying a functional language used by Intel Corporation for hardware design and verification. ReFLect is similar to ML, but has a Primitive Data Type whose elements are the abstract syntax trees of reFLect expressions themselves. Following the LCF paradigm, this is intended to serve as the object language of a higher-order logic theorem prover for specification and reasoning - but one in which object- and meta-languages are unified. The aim is to intermix program evaluation and logical deduction through reflection mechanisms. We identify some difficulties with the semantics of reFLect as currently defined, and propose a minimal modification of the Type system that avoids these problems.

Roberto A Rocha - One of the best experts on this subject based on the ideXlab platform.

  • linking a medical vocabulary to a clinical Data model using abstract syntax notation 1
    Methods of Information in Medicine, 1998
    Co-Authors: Stanley M Huff, Roberto A Rocha, H R Solbrig, M W Barnes, S P Schrank, M Smith
    Abstract:

    We have created a clinical Data model using Abstract Syntax Notation 1 (ASN. 1). The clinical model is constructed from a small number of simple Data Types that are built into Data structures of progressively greater complexity. Important intermediate Types include Attributes, Observations, and Events. The highest level elements in the model are messages that are used for inter-process communication within a clinical information system. Vocabulary is incorporated into the model using BaseCoded, a Primitive Data Type that allows vocabulary concepts and semantic relationships to be referenced using standard ASN. 1 notation. ASN. 1 subtyping language was useful in preventing unbounded proliferation of object classes in the model, and in general, ASN.1 was found to be a flexible and robust notation for representing a model of clinical information.