This paper presents general criteria for generating test inputs from state based speci cations Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned Formal speci cations of complex systems represent a signi cant opportunity for testing because they precisely de scribe what functions the software is supposed to pro vide in a form that can easi...

In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we propose a set of functions which describe the test generation process in a generic way. Each coverage criterion is mapped to a set of test goals. Based on this set of functions, we propose a generic framework enabling fle...

Supplier selection (SS), which is a critical stage of supply chain management (SCM), no longer evaluated solely from the perspective traditional criteria, due to increasing environmental problems and ethical concerns. In this study, multidimensional approach including environmental, economic, social, competency concepts was proposed evaluate SS, an integrated based on Best Worst Method (BWM) fu...

This paper presents a scaleable approach to redundancy resolution problems involving multiple criteria. The proposed scheme relies on the disintegration of the inverse kinematics solution from multicriteria decision making. The scheme is composed of systematic generation of a set of inverse kinematics solutions and evaluating these solutions using multiple criteria. The proposed approach is esp...

We propose new methods to evaluate variable subset relevance with a view to variable selection. Relevance criteria are derived from Support Vector Machines and are based on weight vector ‖w‖2 or generalization error bounds sensitivity with respect to a variable. Experiments on linear and non-linear toy problems and real-world datasets have been carried out to assess the effectiveness of these c...

This paper presents general criteria for generating test inputs from state-based speciications. Software testing can only be formalized and quantiied when a solid basis for test generation can be deened. Formal speciications of complex systems represent a signii-cant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can eas...

Nowadays, increasing amount of human knowledge is placed in computerized repositories such as the World Wide Web. This gives rise to the problem of how to locate specific pieces of information in these often quite unstructured repositories. Search engines is the best solved. Some studied show that, almost half of the traffic to the blog server comes from search engines. The more outgoing and in...

The complexity of a signal defines the compressibility of its coefficients under appropriate basis. This relation complexity-compressibility suggests a connection between the functions used to measure both of the signal’s properties. A measure of entropy quantifies the degree of complexity of a signal. In a analogous way, a measure of (non-strict) sparsity quantifies the degree of compressibili...

Inseparability criteria for continuous and discrete bipartite quantum states based on moments of annihilation and creation operators are studied by developing the idea of Shchukin-Vogel criterion [Phys. Rev. Lett. 95, 230502 (2005)]. If a state is separable, then the corresponding matrix of moments is separable too. Generalized criteria, based on the separability properties of the matrix of mom...

the purpose of resent research is to analysis and compares performance evaluation models of selected investment companies in tehran stock exchange market in the field of their portfolio management. the duration of research was between years 2009-2014. statistical society the research is consisting of all active investment companies in in tehran stock exchange market which were 30 companies. vol...