In the discussion of the polar coordinate system leading to Eq. (1), the azimuthal angle f is ambiguously defined as " measured around the z axis. " A more conventional precise definition is " measured around the z axis starting from the x axis. " With this standard definition, the expression for S in Eq. (1) should contain the factor sin 2 f instead of cos 2 f. (The factor cos 2 f is correct o...

A fundamental task for reasoning with preferences is the following: given input preference information from a user, and outcomes α and β, should we infer that the user will prefer α to β? For CP-nets and related comparative preference formalisms, inferring a preference of α over β using the standard definition of derived preference appears to be extremely hard, and has been proved to be PSPACEc...

The concept of aggregation is considered as one of the basic principles in object-oriented analysis. There is however no standard definition of this concept and each object-oriented analysis method has its own definition of aggregation. The aim of this paper is not to discuss the different types of aggregation that exist. However, having assessed the complexity of the concept, we will illustrat...

University Course Timetabling-Problems (UCTPs) involve the allocation of resources (such as rooms and timeslots) to all the events of a university, satisfying a set of hard-constraints and, as much as possible, some soft constraints. Here we work with a well-known version of the problem where there seems a strong case for considering these two goals as separate sub-problems. In particular we no...

The eta invariant of the Dirac operator over a noncompact cofinite quotient of PSL(2,R) is defined through a regularized trace following Melrose. It reduces to the standard definition in terms of eigenvalues in the case of a totally nontrivial spin structure. When the S1-fibers are rescaled, the metric becomes of nonexact fibred-cusp type near the ends. We completely describe the continuous spe...

We explore marker-less tracking methods for the purpose of evaluating the efficacy of facial re-constructive surgery on patients with facial palsies. After experimenting with several optical flow methods, we choose an approach that results in less than 2 pixels in tracking error for 15 markers tracked on the face. A novel method is presented that utilizes the non-rigid deformation observed on f...

In this paper we focus on non-cooperative two-player linear-state differential games. In the standard definition this family is introduced assuming that there is no multiplicative interaction among state and control variables. In this paper we show that a multiplicative interaction between the state and the control of one player does not destroy the analytical features of the linear-state diffe...

Continuous improvements in semiconductor and computing technologies encourage the wireless industry and consumers to automatically anticipate what’s next. While service providers are just beginning to offer 3G-enabled services, the concept of fourth generation (4G) wireless networks is already under discussion. But, without a standard definition of 4G, there are many confusing claims about the ...

The LSS (Lightweight Specification System) toolkit assists in the development of logic programs, using a variety of high level specification methods. Many other high level specification systems impose a single, uniform view of how specification should proceed. In practice, there is normally no single understanding of how to describe specifications there are instead a variety of different forms ...

You may use this document for any personal or educational purpose. For-profit use requires my permission. Provided "as is" without expressed or implied warranty. Summary Searching for the Holy Grail is the difficult quest for a successful business model of ITV or the content (almost used as a mythical concept) of successful ITV (trigger applications etc) without clearly knowing what one is look...