One of the most frequently used techniques to solve polynomial eigenvalue problems is linearization, in which the polynomial eigenvalue problem is turned into an equivalent linear eigenvalue problem with the same eigenvalues, and with easily recoverable eigenvectors. The eigenvalues and eigenvectors of the linearization are usually computed using a backward stable solver such as the QZ algorith...

In this paper, an adaptive attitude control algorithm is developed based on neural network for a satellite using four reaction wheels in a tetrahedron configuration. Then, an attitude control based on feedback linearization control is designed and uncertainties in the moment of inertia matrix and disturbances torque have been considered. In order to eliminate the effect of these uncertainties, ...

The objective of this study was to evaluate body composition in small breeds of dogs as compared with larger breeds. Body composition by Dual Energy X-ray Absorptiometry (DEXA) was performed in 34 adult small and toy breed dogs. Results were compared with data obtained from 41 Beagles and 6 Labrador retrievers. Body weight, bone density, total calcium, fat grams, lean grams and bone mineral con...

In this paper a combination of the feedback linearizing control technique and GloverMcFarlane control method is applied for the control of a synchronous motor. The use of feedback linearization requires the complete knowledge of the nonlinear system. In practice, there are many processes whose dynamics is very complex, highly nonlinear and usually incompletely known. To improve robustness, it m...

Unlike most existing work on traversable interfaces, we focus on the use of synthetic characters to accompany the user in Mixed Reality (MR) applications. We examine virtual companions as a promising means to design smooth transitions between different worlds and to avoid orientation problems. We propose a taxonomy to describe the spatial relationship between character and user which has an imp...

Frail older people can normally not be given round-the-clock care-giving assistance. During the time there is no other person around they must be independent. Electronic assistive technology (EAT) can increase an older person's independence in everyday life, but to do so it must be dependable. This paper examines issues of dependability for a special class of EAT software, virtual companions fo...

This open-access article is distributed under the terms of the Creative Commons Attribution Non-Commercial License (CC BY-NC) (http:// creativecommons.org/licenses/by-nc/4.0/), which permits reuse, distribution and reproduction of the article, provided that the original work is properly cited and the reuse is restricted to noncommercial purposes. For commercial reuse, contact [email protected]...

We study the model checking problem for logics whose semantics are defined using transitive Kripke models. We show that the model checking problem is P-complete for the intuitionistic logic KC. Interestingly, for its modal companion S4.2 we also obtain P-completeness even if we consider formulas with one variable only. This result is optimal since model checking for S4 without variables is NC-c...

We propose a new method for classification of photometric factors, such as diffuse reflection, specular reflection, attached shadow, and cast shadow. For analyzing real images, we utilize the photometric linearization method which was originally proposed for image synthesis. First, we show that each pixel can be photometrically classified by the simple comparison of the pixel intensity. Our cla...