Immunoelectrophoresis. Theory, Methods, Identifications, Interpretation

Theory Interpretation in Simple Type Theory

Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself. This paper presents a method for theory interpretation in a version of simple type theory, called lutins, which admits partial functions and subtypes. The method is patterned on the standard approach to theory inter...

Comparison of gravity interpretation methods

Applicability of the weighting function method to gravity problems is discussed as compared with the exact method. The merits of the weighting function method are its simplicity and rapidity of computation, particularly in three-dimensional problems. For local geological problems, the weighting function method can be used for the gravity calculation with sufficient accuracy when the structure i...

Dynamic Interpretation and Dialogue Theory

New Interpretation of Skyrme Theory

Based on the proposal that the Skyrme theory is a theory of monopole we provide a new interpretation of Skyrme theory, that the theory can also be viewed as an effective theory of strong interaction which is dual to QCD, where the monopoles (not the quarks) are confined through the Meissner effect. This dual picture leads us to predict the existence of a topological glueball in QCD, a chromoele...

Ontology Correspondence via Theory Interpretation

We report on ongoing work to apply techniques of automated theory morphism search in first-order logic to ontology matching and alignment problems. Such techniques are able to discover ‘structural similarities’ across different ontologies by providing theory interpretations of one ontology into another. We sketch the techniques currently available for automating the task of finding theory inter...