This paper presents a new approach to structural testing, called dependence testing. First we propose dependence oriented coverage criteria that extend conventional data flow oriented coverage criteria with control dependence. This allows one to capture the full dependence information of a program or specification systematically. We then describe a model checking-based approach to test generati...

Object-oriented load flow modeling is presented for both radial and weakly meshed distribution systems. An OO algorithm based on the Newton–Raphson technique is proposed. In the object oriented formulation, some approximations to the full Jacobian matrix are introduced. Consequently, a detailed study of the convergence characteristics of the proposed object oriented algorithm is presented and s...

Oriented collagen scaffolds were developed in the form of sheet, mesh and tube by arraying flow-oriented collagen string gels and dehydrating the arrayed gels. The developed collagen scaffolds can be any practical size with any direction of orientation for tissue engineering applications. The birefringence of the collagen scaffolds was quantitatively analyzed by parallel Nicols method. Since na...

Many representations in early vision can be constructed by performing orientation analysis along several sampling dimensions. Texture is often oriented in space, motion is oriented in space-time, and stereo is oriented in space-disparity. In these modalities, we can construct distributed representations with oriented energy measures used in models of biological vision. Surface models of orienta...

objectives: the aim of this study was to examine the prevalence of anger rumination and its relationship with coping strategies and assertiveness in students of mohaghegh ardebili university. methods: the present research was a descriptive correlational study. the study population consisted of all students enrolled in the academic year 1390-91 (n = 8344). in the first step, to determine the pre...

‎an  oriented perfect path double cover (oppdc) of a‎ ‎graph $g$ is a collection of directed paths in the symmetric‎ ‎orientation $g_s$ of‎ ‎$g$ such that‎ ‎each arc‎ ‎of $g_s$ lies in exactly one of the paths and each‎ ‎vertex of $g$ appears just once as a beginning and just once as an‎ ‎end of a path‎. ‎maxov{'a} and ne{v{s}}et{v{r}}il (discrete‎ ‎math‎. ‎276 (2004) 287-294) conjectured that ...

In this paper, we derive an object-oriented parallel algorithm for three-dimensional isopycnal flow simulations. The matrix formulation is central to the algorithm. It enables us to apply an efficient preconditioned conjugate gradient linear solver for the global system of equations, and leads naturally to an object-oriented data structure design and parallel implementation. We discuss as well,...

Abstract We classify global surfaces of section for the Reeb flow standard contact form on 3-sphere (defining Hopf fibration), with boundaries oriented positively by flow. As an application, we prove degree-genus formula complex projective curves, using elementary degeneration process inspired language holomorphic buildings in symplectic field theory.

This artifact is a web interpreter for the ObSec language defined in the companion paper. ObSec is a simple object-oriented language that supports type-based declassification. Type-base declassification exploits the familiar notion of type abstraction to support expressive declassification policies in a simple and expressive manner. 1998 ACM Subject Classification D.4.6 Security and Protection:...