Stereo-Based Head Pose Tracking Using Iterative Closest Point and Normal Flow Constraint

In this text, we present two stereo-based head tracking techniques along with a fast 3D model acquisition system. The first tracking technique is a robust implementation of stereo-based head tracking designed for interactive environments with uncontrolled lighting. We integrate fast face detection and drift reduction algorithms with a gradient-based stereo rigid motion tracking technique. Our system can automatically segment and track a user's head under large rotation and illumination variations. Precision and usability of this approach are compared with previous tracking methods for cursor control and target selection in both desktop and interactive room environments. The second tracking technique is designed to improve the robustness of head pose tracking for fast movements. Our iterative hybrid tracker combines constraints from the ICP (Iterative Closest Point) algorithm and normal flow constraint. This new technique is more precise for small movements and noisy depth than ICP alone, and more robust for large movements than the normal flow constraint alone. We present experiments which test the accuracy of our approach on sequences of real and synthetic stereo images. The 3D model acquisition system we present quickly aligns intensity and depth images, and reconstructs a textured 3D mesh. 3D views are registered with shape alignment based on our iterative hybrid tracker. We reconstruct the 3D model using a new Cubic Ray Projection merging algorithm which takes advantage of a novel data structure: the linked voxel space. We present experiments to test the accuracy of our approach on 3D face modelling using real-time stereo images.

Incremental Verification of Timing Constraints for Real-Time Systems

Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how “far away” is a given specification from satisfying its safety assertion. Furthermore, specifications and safety assertions are often modified in an incremental fashion, where problematic bugs are fixed one at a time. To support this development, we propose an incremental algorithm for counting satisfiability. Our proposed incremental algorithm is optimal as no unnecessary nodes are created during each counting. This works for the class of path RTL. To illustrate this application, we show how incremental satisfiability counting can be applied to a well-known rail-road crossing example, particularly when its specification is still being refined.

Differential epipolar constraint in mobile robot egomotion estimation

The estimation of camera egomotion is a well established problem in computer vision. Many approaches have been proposed based on both the discrete and the differential epipolar constraint. The discrete case is mainly used in self-calibrated stereoscopic systems, whereas the differential case deals with a unique moving camera. The article surveys several methods for mobile robot egomotion estimation covering more than 0.5 million samples using synthetic data. Results from real data are also given

The tenant as a customer: can good service improve real estate performance?

Customer Relationship Management (CRM) theory suggests that good customer service results in satisfied customers, who in turn are more likely to remain loyal and recommend the service provider to others. Proponents of good customer service for tenants claim that landlords should see a return on any investment in their customer service, in the form of enhanced real estate performance. This paper begins by reviewing research on customer service returns in other industries. Through consideration of the characteristics of real estate markets, the paper explains how factors such as (inter alia) lease terms, property market cycles, and property type, might determine the relationship between customer service and real estate performance. The paper concludes that further research is needed to isolate specific aspects of customer service that are most appreciated by customers. It suggests that the financial returns which accrue to landlords adopting a customer-focused approach might indeed be quantified, and suggests an appropriate method for such future research.

Simple telemedicine for developing regions: Camera phones and paper-based microfluidic devices for real-time, off-site diagnosis

This article describes a prototype system for quantifying bioassays and for exchanging the results of the assays digitally with physicians located off-site. The system uses paper-based microfluidic devices for running multiple assays simultaneously, camera phones or portable scanners for digitizing the intensity of color associated with each colorimetric assay, and established communications infrastructure for transferring the digital information from the assay site to an off-site laboratory for analysis by a trained medical professional; the diagnosis then can be returned directly to the healthcare provider in the field. The microfluidic devices were fabricated in paper using photolithography and were functionalized with reagents for colorimetric assays. The results of the assays were quantified by comparing the intensities of the color developed in each assay with those of calibration curves. An example of this system quantified clinically relevant concentrations of glucose and protein in artificial urine. The combination of patterned paper, a portable method for obtaining digital images, and a method for exchanging results of the assays with off-site diagnosticians offers new opportunities for inexpensive monitoring of health, especially in situations that require physicians to travel to patients (e.g., in the developing world, in emergency management, and during field operations by the military) to obtain diagnostic information that might be obtained more effectively by less valuable personnel.

Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Periodontal status in smokers and never-smokers: Clinical findings and real-time polymerase chain reaction quantification of putative periodontal pathogens

Background: Smoking is a well-known risk factor for destructive periodontal disease, but its relationship with periodontal status and subgingival microbiota remains unclear. Inherent limitations of microbiological methods previously used may partly explain these mixed results, and real-time polymerase chain reaction (PCR) has been presented as a valid alternative. The aim of the present study was to investigate the clinical condition and microbiological profile of patients with chronic periodontitis as related to the habit of smoking.Methods: Fifty patients (33 to 59 years old), 25 smokers and 25 never-smokers, constituted the sample. The visible plaque index (VPI), gingival bleeding index (GBI), bleeding on probing (BOP), periodontal probing depth (PD), clinical attachment loss (CAL), and gingival crevicular fluid (GCF) volume were recorded. Real-time PCR quantified Porphyromonas gingivalis, Micromonas micros, Dialister pneumosintes, Actinobacillus actinomycetemcomitans and total bacteria in subgingival samples.Results: Smokers and never-smokers showed similar values for VPI, GBI, and BOP. Smokers had deeper PD in buccal/lingual sites and higher CAL independently of the tooth surface. The GCF volume was smaller in smokers, independent of the PD. Similar amounts of total bacteria and P. gingivalis were observed for both groups. Significantly higher numbers of D. pneumosintes and M. micros were present in smokers and associated with moderate and deep pockets. When heavy smokers were considered, higher counts of total bacteria, M. micros, and D. pneumosintes were observed.Conclusions: Smoking seems to have a detrimental impact on the periodontal status and microbiological profile of patients with periodontitis. Compared to never-smokers, smokers had deeper pockets, greater periodontal destruction, and higher counts of some putative periodontal pathogens.

Bothropstoxin-I reduces evoked acetylcholine release from rat motor nerve terminals: Radiochemical and real-time video-microscopy studies

Understanding the biological activity profile of the snake venom components is fundamental for improving the treatment of snakebite envenomings and may also contribute for the development of new potential therapeutic agents. In this work, we tested the effects of BthTX-I, a Lys49 PLA2 homologue from the Bothrops jararacussu snake venom. While this toxin induces conspicuous myonecrosis by a catalytically independent mechanism, a series of in vitro studies support the hypothesis that BthTX-I might also exert a neuromuscular blocking activity due to its ability to alter the integrity of muscle cell membranes. To gain insight into the mechanisms of this inhibitory neuromuscular effect, for the first time, the influence of BthTX-I on nerve-evoked ACh release was directly quantified by radiochemical and real-time video-microscopy methods. Our results show that the neuromuscular blockade produced by in vitro exposure to BthTX-I (1 μM) results from the summation of both pre- and postsynaptic effects. Modifications affecting the presynaptic apparatus were revealed by the significant reduction of nerve-evoked [3H]-ACh release; real-time measurements of transmitter exocytosis using the FM4-64 fluorescent dye fully supported radiochemical data. The postsynaptic effect of BthTX-I was characterized by typical histological alterations in the architecture of skeletal muscle fibers, increase in the outflow of the intracellular lactate dehydrogenase enzyme and progressive depolarization of the muscle resting membrane potential. In conclusion, these findings suggest that the neuromuscular blockade produced by BthTX-I results from transient depolarization of skeletal muscle fibers, consequent to its general membrane-destabilizing effect, and subsequent decrease of evoked ACh release from motor nerve terminals. © 2012 Elsevier Ltd.

Avaliação da eficácia de remoção do material obturador do canal radicular: guta-percha versus real seal, usando duas diferentes técnicas de retratamento endodôntico

Pós-graduação em Odontologia Restauradora - ICT

Carga proviral do HTLV-1 e HTLV-2: um método simples através da PCR quantitativa em tempo real

Os vírus linfotrópicos de células T humanas, quando integrados ao genoma da célula hospedeira, provírus, têm como marcador de replicação seu DNA proviral. A carga proviral parece ser um importante fator no desenvolvimento de patologias associadas a estes retrovírus. Neste estudo foi desenvolvida uma metodologia para quantificação absoluta da carga proviral dos HTLV-1 e HTLV-2 através da PCR em tempo real. Cinqüenta e três amostras de doadores de sangue com teste de ELISA reagente foram submetidas à metodologia, que utilizou o sistema TaqMan® para três seqüências alvo: HTLV-1, HTLV-2 e albumina. A quantificação proviral absoluta foi determinada através da proporção relativa entre o genoma do HTLV e o genoma da célula hospedeira, levando em consideração o número de leucócitos. O método apresentado é sensível (215 cópias/mL), prático e simples para quantificação proviral, além de eficiente e adequado para confirmação e discriminação da infecção pelos tipos virais.

Analysis of the intestinal bacterial microbiota in maize- or sorghum-fed broiler chickens using real-time PCR

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Development of Dynamic Constraint Models for a Model Based Transient Calibration Process

Model based calibration has gained popularity in recent years as a method to optimize increasingly complex engine systems. However virtually all model based techniques are applied to steady state calibration. Transient calibration is by and large an emerging technology. An important piece of any transient calibration process is the ability to constrain the optimizer to treat the problem as a dynamic one and not as a quasi-static process. The optimized air-handling parameters corresponding to any instant of time must be achievable in a transient sense; this in turn depends on the trajectory of the same parameters over previous time instances. In this work dynamic constraint models have been proposed to translate commanded to actually achieved air-handling parameters. These models enable the optimization to be realistic in a transient sense. The air handling system has been treated as a linear second order system with PD control. Parameters for this second order system have been extracted from real transient data. The model has been shown to be the best choice relative to a list of appropriate candidates such as neural networks and first order models. The selected second order model was used in conjunction with transient emission models to predict emissions over the FTP cycle. It has been shown that emission predictions based on air-handing parameters predicted by the dynamic constraint model do not differ significantly from corresponding emissions based on measured air-handling parameters.

Improved ore processing assessed by digital image análisis of the ores: a key to the sustainable development of the Iberian Pyrite Belt

Mining in the Iberian Pyrite Belt (IPB), the biggest VMS metallogenetic province known in the world to date, has to face a deep crisis in spite of the huge reserves still known after ≈5 000 years of production. This is due to several factors, as the difficult processing of complex Cu-Pb-Zn-Ag- Au ores, the exhaustion of the oxidation zone orebodies (the richest for gold, in gossan), the scarce demand for sulphuric acid in the world market, and harder environmental regulations. Of these factors, only the first and the last mentioned can be addressed by local ore geologists. A reactivation of mining can therefore only be achieved by an improved and more efficient ore processing, under the constraint of strict environmental controls. Digital image analysis of the ores, coupled to reflected light microscopy, provides a quantified and reliable mineralogical and textural characterization of the ores. The automation of the procedure for the first time furnishes the process engineers with real-time information, to improve the process and to preclude or control pollution; it can be applied to metallurgical tailings as well. This is shown by some examples of the IPB.

Quantitative evaluation of artifact removal in real magnetoencephalogram signals with blind source separation

The magnetoencephalogram (MEG) is contaminated with undesired signals, which are called artifacts. Some of the most important ones are the cardiac and the ocular artifacts (CA and OA, respectively), and the power line noise (PLN). Blind source separation (BSS) has been used to reduce the influence of the artifacts in the data. There is a plethora of BSS-based artifact removal approaches, but few comparative analyses. In this study, MEG background activity from 26 subjects was processed with five widespread BSS (AMUSE, SOBI, JADE, extended Infomax, and FastICA) and one constrained BSS (cBSS) techniques. Then, the ability of several combinations of BSS algorithm, epoch length, and artifact detection metric to automatically reduce the CA, OA, and PLN were quantified with objective criteria. The results pinpointed to cBSS as a very suitable approach to remove the CA. Additionally, a combination of AMUSE or SOBI and artifact detection metrics based on entropy or power criteria decreased the OA. Finally, the PLN was reduced by means of a spectral metric. These findings confirm the utility of BSS to help in the artifact removal for MEG background activity.