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.     

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.     

Open Innovation in an Enterprise 3.0 framework: Three case studies

Nowadays, especially after the recent financial downturn, companies are looking for much more efficient and creative business processes. They need to place better solutions in the market in a less time with less cost. There is a general intuition that communication and collaboration, especially mixed with Web 2.0 approach within companies and ecosystems, can boost the innovation process with positive impacts on business indicators. Open Innovation within an Enterprise 2.0 context is a one of the most chosen paradigm for improving the innovation processes of enterprises, based on the collaborative creation and development of ideas and products. The key feature of this new paradigm is that the knowledge is exploited in a collaborative way flowing not only among internal sources, i.e. R&D departments, but also among external ones as other employees, customers, partners, etc. In this paper we show how an ontology-based analysis of plain text can provide a semantic contextualization of content support tasks, such as finding semantic distance between contents, and can help in creating relations between people with shared knowledge and interests. Along this paper we will present the results obtained by the adoption of this technology in a large corporate environment like Bankinter, a financial institution, Telefonica I+D, an international telecommunication firm and Repsol, a major oil company in Spain.     

Snake Mating Systems, Behavior, and Evolution: The Revisionary Implications of Recent Findings.

Sexual selection and mating systems profoundly influence the behavior and psychology of animals. Using their own studies of green anacondas (Eunectes murinus) and reviewing other recent studies, the authors conclude that incomplete data derived from a few well-studied snake species have led to general acceptance of polygyny as the dominant mating system in snakes. New data on behavior, paternity, and life history in a diverse taxonomic array of snakes support the view that polyandry is not only common in snakes but may have been the ancestral mating system. This interpretation helps to explain many seemingly paradoxical behavioral differences between lizards and snakes, such as the lack of territorial systems in most snakes and their frequent female-biased sexual size dimorphism. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Packet Video Broadcasting with General-Purpose Operating Systems in an Ethernet

Video transmission with general-purpose PCs poses a number of requirements that radically differ from those of high-end dedicated video servers. We analyze the scenario of an Ethernet local area network in which a number of PCs are transmitting video streams, while other TCP/IP applications are also running concurrently. Our findings show that since the operating system clock resolution cannot cope with the transmission timing requirements the following holds: if the video transmission is performed with exact timing accuracy to maintain a constant rate then CPU load grows to 100%, thus blocking the PC for other user applications; on the other hand, if transmission is performed in a bursty manner, i.e. with sleep system calls, then CPU load decreases dramatically but the increased burstiness of the video stream has a negative impact on network performance (for example, capture effect in the Ethernet). Furthermore, the impact of video transmission over the rest of TCP/IP applications running on the same network depends heavily on the packet size. We provide an integrated analysis of operating system and network parameters to achieve video broadcasting while preserving timing requirements and minimizing the impact on other applications.     

Phage types, virulence genes and PFGE profiles of Shiga toxin-producing Escherichia coli O157:H7 isolated from raw beef, soft cheese and vegetables in Lima (Peru)

The present study was conducted in Lima Metropolitana to evaluate the prevalence of Shiga toxin-producing Escherichia coli (STEC) O157:H7 in raw beef, raw ground beef, soft cheese and fresh vegetables, sampled at different markets in the city. Between October 2000 and February 2001, 407 food samples were collected from different markets in the 42 districts of Lima Metropolitana. Samples were assayed for E. coli O157 by selective enrichment in modified Tryptic Soy Broth containing novobiocin, followed by immunomagnetic separation (IMS) and plating onto sorbitol MacConkey agar supplemented with cefixime and potassium tellurite. Fifty (12.3%) of 407 food samples resulted positive for E. coli O157 isolation (23 of 102 ground beef; 15 of 102 beef meat; eight of 102 soft cheese and four of 101 fresh vegetables). Thirty-five E. coli O157 isolates were further analysed for the presence of virulence genes. All 35 were positive by PCR for O157 rfbE, fliCh7, eae-gamma1 and ehxA genes. In addition, genes encoding Shiga toxins were detected in 33 of 35 isolates, five isolates (14%) encoded stx(1), stx(2), and 28 (80%) stx2 only. The isolates were of seven different phage types (PT4, PT8, PT14, PT21, PT34, PT54, and PT87) with three phage types accounting for 80% of isolates: PT4 (15 isolates), PT14 (8 isolates), and PT21 (5 isolates). Interestingly, the majority (31 of 35; 89%) of E. coli O157:H7 isolates characterized in this study belonged mainly to the phage types previously found in STEC O157:H7 strains associated with severe human disease in Europe and Canada. Pulsed-field gel electrophoresis (PFGE) of 32 isolates revealed 14 XbaI-PFGE groups (I to XIV) of similarity >85%, with 23 (72%) isolates grouped in five clusters. Some isolates from different districts presented a high clonal relatedness. Thus, PFGE group VIII clustered eleven strains from nine different districts. The broad range of PFGE subtypes found in this study demonstrates the natural occurrence of many genetic variants among STEC O157:H7 spread in Lima.     

Mechanochemical synthesis of ternary chalcogenide chalcostibite CuSbS2 and its characterization

Journal of Materials Science: Materials in Electronics - In this work, the very rapid one-step mechanochemical synthesis of nanocrystalline ternary chalcogenide chalcostibite CuSbS2 prepared from...     

The moderating effect of user experience on satisfaction with electronic banking: empirical evidence from the Spanish case

The aim of this paper is to contribute to the field of satisfaction research from the perspective of electronic banking users—a topic of great interest to financial institutions as they formulate business strategies. In this context, we analyze the possible moderating effect of user experience with the products of a specific institution. A comprehensive review of the scientific literature justified the development of a behavioral model that explains satisfaction using a set of constructs or endogenous variables and the moderating effect of experience. Data was collected from a self-administered Web survey in the authenticated section of the electronic banking service of a prestigious Spanish National financial institution. The analysis tests the relationship between the proposed variables (ease of access, trust, ease of use and usefulness) and demonstrates the moderating effect of electronic banking experience on them. The study was limited to the data of a single financial institution. Caution should therefore be exercised in generalizing the results. The research results provide a number of valuable conclusions for financial institutions. This paper is a pioneer study of satisfaction with electronic banking, especially with regard to the causal relationships between satisfaction and its main determinants.