The coefficient of determination (R) is used for judging the goodness of fit in a linear regression model. It gives valid results only when the observations are correctly observed without any measurement error. The R provides invalid results in the presence of measurement errors in the data in the sense that sample R becomes an inconsistent estimator of population multiple correlation coefficie...

A Prolog implementation of a new theorem-prover for rst-order classical logic is described. The prover is based on the calculus KE and the rules used for analysing quantiiers in free variable semantic tableaux. A formal speciication of the rules used in the implementation is described, for which soundness and completeness is straightforwardly veriied. The prover has been tested on the rst 47 pr...

Propagation based nite domain solvers provide a general mechanism for solving combinatorial problems. Diierent propagation methods can be used in conjunction by communicating through the domains of shared variables. The exibility that this entails has been an important factor in the success of propagation based solving for solving hard combinatorial problems. In this paper we investigate how li...

In this paper, we determine the critical time, when a weak discontinuity in the shallow water equations culminates into a bore. Invariance group properties of the governing system of partial differential equations (PDEs), admitting Lie group of point transformations with commuting infinitesimal operators, are presented. Some appropriate canonical variables are characterized that transform equat...

The complexity of any logical modeling reeects both the intrinsic structure of a topic described and the weight of the formal tools. Some of this weight seems inherent in even the most basic logical systems. Notably, standard predicate logic is undecidable. In this paper, we investigatèlighter' versions of this general purpose tool, by modally`deconstructing' the usual semantics, and locating i...

The development of the Cyprus Stock Exchange together with the increasing trend of investors’ presence in financing activities has led to the importance of this market. In such circumstances, the first step towards a sustainable development of the Exchange is to support the investors. Risk of bankruptcy for the investee is a major challenge that an inexperienced stock investor encounters. In th...

This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared variables. However, some universal properties do not appear directly in components specifications and they must be constructed to prove the composed system. Coming up with such universal properties often requires creativity. Th...

Using a strongly covariant formalism given by Carter for the deformations dynamics of p-branes in a curved background and a covariant and gauge invariant geometric structure constructed on the corresponding Witten’s phase space, we identify the canonical variables for Dirac-Nambu-Goto [DNG] and Gauss-Bonnet [GB] system in string theory. Future extensions of the present results are outlined.