In this article the notions of semi weak orthogonality and semi weak factorization structure in a category $mathcal X$ are introduced. Then the relationship between semi weak factorization structures and quasi right (left) and weak factorization structures is given. The main result is a characterization of semi weak orthogonality, factorization of morphisms, and semi weak factorization structur...

in this paper, we try to determine the status of the relation between dahr world and matrial world. the conclusion shows the subjective duality and objective unity of dahr and material entities. two interpretations of this duality can be suggested. in the first interpretation, this unity, and the duality supposed, are explained on the basis of different intellectual cognition of immaterial and ...

In this contribution we present a realtime activity monitoring system, called SCENIOR (SCEne Interpretation with Ontology-based Rules) with several innovative features. Activity concepts are defined in an ontology using OWL, extended by SWRL rules for the temporal structure, and are automatically transformed into a high-level scene interpretation system based on JESS rules. Interpretation goals...

The interaction between nucleotides and carbon nanotubes (CNTs) is a subjectof many investigations for treating diseases but there are many questions in this field thatremain unanswered. Because of experimental methods involve assumptions andinterpretation besides limitations, there are many problems that the best study for them isusing theoretical study. Consequently, t...

Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds’s relational parametricity, and it provides a formal connection between separation logic and data abstraction.

gravity and magnetic data are usually processed and interpreted separately, and fully integrated results basically are created in the mind of the interpreter. data interpretation in such a manner requires an interpreter experienced both on topics concerning potential field theory and the geology of the study area. to simplify the joint interpretation of data, the automatic production of auxilia...

In this paper, we investigate automatic model learning for the interpretation of complex scenes with structured objects. We present a learning, interpretation, and evaluation cycle for processing such scenes. By including learning and interpretation in one framework, an evaluation and feedback learning is enabled that takes interpretation challenges like context and combination of diverse types...

We describe a method for interpreting abstract fiat syntactic representations, LFG f-structures, as underspecified semantic representations , here Underspecified Discourse Representation Structures (UDRSs). The method establishes a one-to-one correspondence between subsets of the LFG and UDRS formalisms. It provides a model theoretic interpretation and an inferen-tial component which operates d...

bone scanning using the 99mtc-phosphate analogs is an established diagnostic modality and a commonly requested radioisotope examination for a variety of pathologies involving the skeleton, such as osteomyelitis, bony metastases, and occult fractures. the bone scan is one of the most commonly requested procedure in most nuclear medicine department. the images show areas of increased and decrease...

The early fossil record of insects is scarce, with only few finds in the Devonian. All these finds appear problematic and controversial, partly due to incomplete preservation and challenging interpretation of many structures. We provide details of one of these important forms, Rhyniognatha hirsti from the famous Rhynie Chert Lagerstätte with up-to-date 3D imaging techniques. The fossil has been...