Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

We derive closed formulas for the prices of European options andtheir sensitivities when the underlying asset follows a double-exponentialjump diffusion model, as considered by S. Kou in 2002. This author hasderived the option price by making use of double series where each termrequires the computation of a sequence of special functions, such thatthe implementation remains difficult for a large...

The hybrid fuzzy differential equations have a wide range of applications in science and engineering. We consider the problem of nding their numerical solutions by using a novel hybrid method based on fuzzy neural network. Here neural network is considered as a part of large eld called neural computing or soft computing. The proposed algorithm is illustrated by numerical examples and the result...

Introduction: Teaching renal physiology for undergraduatemedical students in an understandable way using methods whichimprove their deep learning has always been a problem. In thisstudy, Early Clinical Exposure (ECE) was used in teaching renalphysiology for the second year medical students in Shiraz MedicalSchool. This article aims to introduce and develop this programand also measure the attit...

This paper presents the kinematic analysis and the development of a 4-degree-of-freedom serial-parallel mechanism for large commercial vehicle driving simulators. The degrees of freedom are selected according to the target maneuvers and the structure of human motion perception organs. Several kinematic properties of parallel part of the mechanism under study are investigated, including the inve...