in the present study, the nonlinear model of non-newtonian blood flow in cosine-shape stenosed elastic artery is numerically examined. the model is carried out for axisymmetric, two-dimensional and fully developed blood flow. the vessel wall is assumed to be have time-dependent radius that is important factor for study of blood flow. the cosine-shape stenosis convert to rigid artery by using a ...

We investigate all possible combinations of re-ordering of read and write instructions and their e ects on the correctness of programs that are designed for sequential consistency. With certain combinations of re-orderings, any program that accesses shared memory through only reads and writes and that is correct assuming sequential consistency, can be transformed to a new program that does not ...

In this paper general mechanisms and syntactic restrictions are explored in order to specify and merge rule bases in the Semantic Web. Rule bases are expressed by extended logic programs having two forms of negation, namely strong (or explicit) and weak (also known as default negation or “negation as failure”). The proposed mechanisms are defined by very simple modular program transformations, ...

In this paper general mechanisms and syntactic restrictions are explored in order to specify and merge rule bases in the Semantic Web. Rule bases are expressed by extended logic programs having two forms of negation, namely strong (or explicit) and weak (also known as default negation or negation-as-failure). The proposed mechanisms are defined by very simple modular program transformations, an...

High Performance Fortran is a dataparallel language that allows the user to specify the parallelism in his program. It is not always easy to extract the parallelism in a given program. To help the user, an automatic loop parallelizer has been developed : Bouclettes. Bouclettes has been written to validate some scheduling and mapping techniques that are mentioned in this paper. A Fortran 77 loop...

We focus on a class of models used for representing the dynamics between a discrete set of probabilistic events in a continuous-time setting. The proposed framework offers tractable learning and inference procedures and provides compact state representations for processes which exhibit variable delays between events. The approach is applied to a heart sound labeling task that exhibits long-rang...

Artifact flow represents an important aspect of teaching/learning processes, especially in CSCL situations in which complex relationships may be found. However, explicit modeling of CSCL processes with artifact flow may increase the cognitive load and associated effort of the teachers-designers and therefore decrease the efficiency of the design process. The empirical study, reported in this pa...

Research on the effect of implicit and explicit instruction on developing learners’ explicit knowledge by the use of measures of explicit knowledge abounds in the literature. However, measuring learners’ implicit knowledge employing fine-grained measures has rarely been the concern of researchers in the field. Therefore, the present study is an attempt to scrutinize the effectiveness of implici...

In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily (the default) or strictly (must be specified explicitly). It is widely known that this choice affects program behavior, resource consumption and semantics in several ways. However, not much experience is available abo...

in this paper, an enhanced computational code was developed using finite-volume method for solving the incompressible natural convection flow within the cylindrical cavities. grids were generated by an easy method with a view to computer program providing. an explicit integration algorithm was applied to find the steady state condition. also instead of the conventional algorithms of simple, sim...