Tetra-trees properties in graphic interaction

The localization of the components of an object near to a device before obtaining the real interaction is usually determined by means of a proximity measurement to the device of the object’s features. In order to do this efficiently, hierarchical decompositions are used, so that the features of the objects are classified into several types of cells, usually rectangular.In this paper we propose a solution based on the classification of a set of points situated on the device in a little-known spatial decomposition named tetra-tree. Using this type of spatial decomposition gives us several quantitative and qualitative properties that allow us a more realistic and intuitive visual interaction, as well as the possibility of selecting inaccessible components. These features could be used in virtual sculpting or accessibility tasks.In order to show these properties we have compared an interaction system based on tetra-trees to one based on octrees.     

Proof Pearl: a Formal Proof of Higman��s Lemma in ACL2

Higman??s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. In this paper we present a formalization and proof of Higman??s Lemma in the ACL2 theorem prover. Our formalization is based on a proof by Murthy and Russell, where the key termination argument is justified by the multiset relation induced by a well-founded relation. To our knowledge, this is the first mechanization of this proof.     

A Mechanized Proof of the Basic Perturbation Lemma

We present a complete mechanized proof of the result in homological algebra known as basic perturbation lemma. The proof has been carried out in the proof assistant Isabelle, more concretely, in the implementation of higher-order logic (HOL) available in the system. We report on the difficulties found when dealing with abstract algebra in HOL, and also on the ongoing stages of our project to give a certified version of some of the algorithms present in the Kenzo symbolic computation system. J. Aransay was partially supported by Ministerio de Educación y Ciencia, MTM2006/06513, and by Gobierno de La Rioja ANGI2005/19 and J. Rubio was partially supported by Ministerio de Educación y Ciencia, MTM2006/06513, and by Gobierno de La Rioja ANGI2005/19.     

3D face computational photography using PCA spaces

In this paper, we present a 3D face photography system based on a facial expression training dataset, composed of both facial range images (3D geometry) and facial texture (2D photography). The proposed system allows one to obtain a 3D geometry representation of a given face provided as a 2D photography, which undergoes a series of transformations through the texture and geometry spaces estimated. In the training phase of the system, the facial landmarks are obtained by an active shape model (ASM) extracted from the 2D gray-level photography. Principal components analysis (PCA) is then used to represent the face dataset, thus defining an orthonormal basis of texture and another of geometry. In the reconstruction phase, an input is given by a face image to which the ASM is matched. The extracted facial landmarks and the face image are fed to the PCA basis transform, and a 3D version of the 2D input image is built. Experimental tests using a new dataset of 70 facial expressions belonging to ten subjects as training set show rapid reconstructed 3D faces which maintain spatial coherence similar to the human perception, thus corroborating the efficiency and the applicability of the proposed system.     

Applying model-driven engineering to the development of Rich Internet Applications for Business Intelligence

Business Intelligence (BI) applications have been gradually ported to the Web in search of a global platform for the consumption and publication of data and services. On the Internet, apart from techniques for data/knowledge management, BI Web applications need interfaces with a high level of interoperability (similar to the traditional desktop interfaces) for the visualisation of data/knowledge. In some cases, this has been provided by Rich Internet Applications (RIA). The development of these BI RIAs is a process traditionally performed manually and, given the complexity of the final application, it is a process which might be prone to errors. The application of model-driven engineering techniques can reduce the cost of development and maintenance (in terms of time and resources) of these applications, as they demonstrated by other types of Web applications. In the light of these issues, the paper introduces the S^m4RIA-B methodology, i.e., a model-driven methodology for the development of RIA as BI Web applications. In order to overcome the limitations of RIA regarding knowledge management from the Web, this paper also presents a new RIA platform for BI, called RI@BI, which extends the functionalities of traditional RIAs by means of Semantic Web technologies and B2B techniques. Finally, we evaluate the whole approach on a case study—the development of a social network site for an enterprise project manager.     

A model-based survey of alert correlation techniques

As telecommunication networks evolve rapidly in terms of scalability, complexity, and heterogeneity, the efficiency of fault localization procedures and the accuracy in the detection of anomalous behaviors are becoming important factors that largely influence the decision making process in large management companies. For this reason, telecommunication companies are doing a big effort investing in new technologies and projects aimed at finding efficient management solutions. One of the challenging issues for network and system management operators is that of dealing with the huge amount of alerts generated by the managed systems and networks. In order to discover anomalous behaviors and speed up fault localization processes, alert correlation is one of the most popular resources. Although many different alert correlation techniques have been investigated, it is still an active research field. In this paper, a survey of the state of the art in alert correlation techniques is presented. Unlike other authors, we consider that the correlation process is a common problem for different fields in the industry. Thus, we focus on showing the broad influence of this problem. Additionally, we suggest an alert correlation architecture capable of modeling current and prospective proposals. Finally, we also review some of the most important commercial products currently available.     

Comparison of color gamuts among several types of paper with the same printing technology

In this work, we have studied the relationship among the colorimetric properties of different types of paper, having different finishing and grammage. Their color reproduction capability has also been analyzed by using the same printing technology (inkjet printing). On the one hand, we have plotted CIELAB data under the illuminant D50 into constant lightness and hue‐angle planes to be compared with MacAdam limits and with Pointer's real‐world surface color. On the other hand, we have calculated the volume gamut of the color solid associated to each color paper gamut. Analyzing the results, we have checked that there is not any clear relationship among the colorimetric properties of paper (for instance, CIE whiteness index, etc.) and the color gamut volume associated. However, the colorimetric parameters associated to the printed sample showed a quite good linear correlation between the minimum lightness (or the maximum blackness value) of the printed color chart and the color gamut volume. In particular, the greatest color gamut volume corresponds to the glossy papers taking into account this correlation for inkjet printing. © 2009 Wiley Periodicals, Inc. Col Res Appl, 34, 330–336, 2009     

Acidic Activated Carbons: An Efficient Catalyst for the Epoxide Ring-Opening Reaction with Ethanol

The epoxides (styrene oxide and 1,2-epoxyhexane) reaction with ethanol was carried out, catalysed with acidic activated carbons. The reactions were carried out under microwave irradiation. In the 1,2-epoxyhexane reaction, high yields were attained in some of the reaction conditions tested, although the regioselectivity was not high. For the styrene oxide reaction, the conversion was higher and the regioselectivity was high in most cases. For comparison, the reactions have been also performed in a batch reactor system under thermal activation.     

Timing error estimation for baseband multicarrier modulation

In this paper, the topic of timing error estimation for baseband discrete multitone modulation is addressed in the context of high‐speed digital subscriber line applications. To the authors' best knowledge, this problem is sparsely and not in depth treated in the literature. In this study the modified Cramer–Rao lower bound is derived, two conventional estimators are considered and a new one is proposed. Behavior of these estimators is evaluated in terms of bias, variance and computational complexity in a wide variety of scenarios, concluding that the proposed estimator appears to be superior in all instances. Copyright © 2008 John Wiley & Sons, Ltd.     

Optimal allocation of bioassays in the case of parametrized covariance functions: an application to Lung’s retention of radioactive particles

In this paper, we investigate the effect of employing a parametrized covariance function in a regression experiment on corresponding optimum designs. We demonstrate these effects in the framework of a real example for measuring the lung’s retention of radioactive particles. Also, two different covariance functions are considered, and it is shown that this choice can play a crucial role.