Hard-and-software integrated systems such as command and control (C4ISR systems) are typical that comprised of both software hardware, the failures devices result from complicated common cause (or shared) signals make classical reliability analysis methods will be not applicable. To this end, paper applies Goal-Oriented (GO) methodology to detailed analyze a C4ISR system. The well failure proba...

Data-Driven (DD) computing is an emerging field of Computational Mechanics, motivated by recent technological advances in experimental measurements, the development highly predictive computational models, data storage and processing, which enable transition from a material data-scarce to data-rich era. The capability DD simulations contingent on quality set, i.e. its ability closely sample all ...

the major purpose of the present this study is to reviews the classifications of approaches to religious education, and introducing an alternative classification of religious educator theory. to this end, approaches to islamic education which have been categorized typologically and are associated with the cognitive context of iranian intellectuals have been studied. in line with this goal, the ...

A key application area of semantic technologies is the fast-developing field of bioinformatics. However, a gap exists between the computer literacy of biologists using bioinformatics tools and the computer scientists developing them. Tools such as Taverna provide a graphical user interface for creating biological workflows using web services and semantic technologies. However, these tools are a...

We have proposed an extension to the Q-learning algorithm that incorporates the existing clinical expertise into the trial-and-error process of acquiring an appropriate administration strategy of rHuEPO to patients with anemia due to ESRD. The specific modification lies in multiple updates of the Q-values for several dose/response combinations during a single learning event. This in turn decrea...

In this paper, a paramodulation calculus for equational reasoning is presented that combines the advantages of both Knuth-Bendix completion and goal directed strategies like the set of support strategy. Its soundness and completeness is proved, and finally the practical aspects of this method are discussed.