according to imam khomeini, based on the verses of the holy quran, salvation is equally bound to the two important principles of, knowledge and behavior, in the meantime salvation is influenced by his concept of monotheism. self-purification, virtuosity and submition only to god symbolize mere servitude which in imam’s opinion is the route to salvation dismissing whatever alien to god and alleg...

Directions and paths, as commonly provided by navigation systems, are usually derived considering absolute metrics, e.g., finding the shortest or the fastest path within an underlying road network. With the aid of Volunteered Geographic Information (VGI), i.e., geo-spatial information contained in user generated content, we aim at obtaining paths that do not only minimize distance but also lead...

Autonomous mobile robot navigation systems are based on three principal kinds of techniques: map-based navigation, map-building-based navigation and mapless navigation. We propose a method for symbolic trajectory description in unknown indoor environments. The chosen form uses a panoramic description called fresco. The method uses distance measurements from a 2D laser range finder, digitises th...

Overexpression of key genes is a basic strategy for overproducing target products via metabolic engineering. Traditionally, identifying those key genes/pathways largely relies on the knowledge of biochemistry and bioinformatics. In this study, a modeling tool named UP Finder was developed to facilitate the rapid identification of gene overexpression strategies. It was based on the COBRA toolbox...

People-Finder Systems are knowledge repositories that attempt to manage knowledge by holding pointers to experts who possess specific knowledge within an organization. This paper presents insights from the development of Expert Seeker, an organizational People-Finder KMS that will be used to locate experts at the National Aeronautics and Space Administration (NASA). This paper discusses insight...

D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detection, D-Finder applies proof strategies to eliminate potential deadlocks by computing increasingly stronger invariants.