Practically speaking, how small can a test suite be and still be of value? In the context of temporal graph-theoretic abductive validation, the answer to this question is very language-dependent. Seemingly trivial variations in a language can have a signiicant impact on how large a test suite must be. This paper is hence a cautionary note to those who invent languages and ontologies without exp...

We study an irrationally indifferent cycle of points or circles of a rational function, which is either Siegel or Cremer by definition. We invent a new argument from the viewpoint of the Nevanlinna theory. Using this argument, we give a clear interpretation of some Diophantine quantity associated with an irrationally indifferent cycle. This quantity turns out to be Nevanlinnatheoretical. As a c...

-------------------------------------------------------------------ABSTRACT--------------------------------------------------------------With invent of new technologies and devices, Intrusion has become an area of concern because of security issues, in the ever growing area of cyber-attack. An intrusion detection system (IDS) is defined as a device or software application which monitors system ...

Let be the Laplace-d'Alembert operator on a pseudo-Riemannian manifold (M; g). We derive a series expansion for the fundamental solution G(x; y) of + H , H 2 C 1 (M), which behaves well under various symmetric space dualities. The qualitative properties of this expansion were used in our paper in Invent. Math. 129 (1997) 63{74, to show that the property of vanishing logarithmic term for G(x; y)...

This paper presents the connection between Kierkegaard as a philosopher and Langer as a psychologist in opening up the possibility of dialogical interactions between philosophy and psychology. The paper demonstrates how both Kierkegaard and Langer transcend the pre-established parlance of the disciplinary paradigmatic analysis and invent new and interdependent multidisciplinary perspectives. Th...

This paper argues that many new production techniques have been developed by a process called 'collective invention'. When firms collectively invent, they make available to their competitors the results of new plant designs so that their competitors can incorporate extensions of tliose designs into new facilities they build. The paper analyses the implications of this behavior for the rate and ...

In this paper we give a necessary and sufficient condition in which a sequence of Kleinian punctured torus groups converges. This result tells us that every exotically convergent sequence of Kleinian punctured torus groups is obtained by the method due to Anderson and Canary (Invent. Math. 1996). Thus we obtain a complete description of the set of points at which the space of Kleinian punctured...

More often than not, users appear to use groupware in another way than the groupware designers intended or IT departments expected. Users tend to 're-invent' the technology by developing novel uses, giving rise to what we call ‘the evolving use of technology’. This innovative use of groupware in time leads to changed and changing work processes and individual working practices change (Hettinga ...

The present paper discusses the relations between regularity, Dirichlet, and Neumann problems. Among other results, we prove that the solvability of the regularity problem does not imply the solvability of the dual Dirichlet problem for general elliptic operators with complex bounded measurable coefficients. This is strikingly different from the case of real operators, for which such an implica...

" Quo vadis? " The Life of Apostle Peter " The best way to predict the future is to invent it " Unknown Engineer " My interest is in the future, because I am going to spend the rest of my life there " Charles F. Kettering, American Inventor "It's tough to make predictions, especially about the future" Yogi Berra, American Baseball Player "Computers in the future may weigh no more than 1.5 tons."