Load balancing for constraint solving with GPUs

Solving a complex Constraint Satisfaction Problem (CSP) is a computationally hard task which may require a considerable amount of time. Parallelism has been applied successfully to the job and there are already many applications capable of harnessing the parallel power of modern CPUs to speed up the solving process. Current Graphics Processing Units (GPUs), containing from a few hundred to a few thousand cores, possess a level of parallelism that surpasses that of CPUs and there are much less applications capable of solving CSPs on GPUs, leaving space for further improvement. This paper describes work in progress in the solving of CSPs on GPUs, CPUs and other devices, such as Intel Many Integrated Cores (MICs), in parallel. It presents the gains obtained when applying more devices to solve some problems and the main challenges that must be faced when using devices with as different architectures as CPUs and GPUs, with a greater focus on how to effectively achieve good load balancing between such heterogeneous devices.

Remembering the Vietnam War in Graphic Narratives

This project discusses the relation between memory and graphic novels, mainly focusing on the ongoing narration of the Vietnam War. It adopts a diachronic and philological approach to reconstruct the history of the medium and its entanglement with war, be it as instrument of propaganda or as a memory project. It follows the development of the medium in Hearst and Pulitzer newspapers, analyzing how mass culture helped consolidating a persuasive ‘war mentality’. It reflects on the role that comics played in the creation of the myth of the ‘good war’. It also shows how the ‘god war’ pattern became increasingly contested during the Vietnam War, following the questioning of the traditional “American values” promoted by the counterculture of the time. Finally, it explores how the narration (and memory) of the Vietnam War has changed after September 11, 2001, and it describes the emergence of graphic narratives written by diasporic Vietnamese graphic artists.

Safe and Collaborative Navigation & Interaction With Mobile Manipulators in Domestic Appliance Test Labs

Safe collaboration between a robot and human operator forms a critical requirement for deploying a robotic system into a manufacturing and testing environment. In this dissertation, the safety requirement for is developed and implemented for the navigation system of the mobile manipulators. A methodology for human-robot co-existence through a 3d scene analysis is also investigated. The proposed approach exploits the advance in computing capability by relying on graphic processing units (GPU’s) for volumetric predictive human-robot contact checking. Apart from guaranteeing safety of operators, human-robot collaboration is also fundamental when cooperative activities are required, as in appliance test automation floor. To achieve this, a generalized hierarchical task controller scheme for collision avoidance is developed. This allows the robotic arm to safely approach and inspect the interior of the appliance without collision during the testing procedure. The unpredictable presence of the operators also forms dynamic obstacle that changes very fast, thereby requiring a quick reaction from the robot side. In this aspect, a GPU-accelarated distance field is computed to speed up reaction time to avoid collision between human operator and the robot. An automated appliance testing also involves robotized laundry loading and unloading during life cycle testing. This task involves Laundry detection, grasp pose estimation and manipulation in a container, inside the drum and during recovery grasping. A wrinkle and blob detection algorithms for grasp pose estimation are developed and grasp poses are calculated along the wrinkle and blobs to efficiently perform grasping task. By ranking the estimated laundry grasp poses according to a predefined cost function, the robotic arm attempt to grasp poses that are more comfortable from the robot kinematic side as well as collision free on the appliance side. This is achieved through appliance detection and full-model registration and collision free trajectory execution using online collision avoidance.

SUV: proposta di traduzione e analisi di una Graphic Novel russa

Il fumetto, spesso definito come “arte sequenziale” o “letteratura disegnata”, ha appassionato e appassiona tuttora i lettori di tutto il mondo, a partire dai comics statunitensi fino ad arrivare ai manga giapponesi. Ma quali sono invece le principali tendenze russe nella fumettistica? Il presente elaborato, suddiviso in tre capitoli, parte da un excursus sul fumetto e i suoi albori negli Stati Uniti e in Italia. Proseguendo si propone un approfondimento del panorama fumettistico russo, con un particolare riguardo per “ŠUV” dell’artista Olga Lavrenteva, una Graphic Novel investigativa ambientata negli anni ’90 e pubblicata nel 2016 dalla casa editrice Bumkniga. L’obiettivo principale dell’elaborato è quello di definire a livello teorico i principali aspetti della traduzione dei fumetti, sia da un punto di vista grafico sia linguistico. Inoltre ambisce a identificare a livello pratico attraverso un’analisi metodologica le difficoltà testuali e grafiche e le strategie adottate nella stesura della traduzione di “ŠUV”. In particolar modo dall’analisi viene confermata una peculiarità imprescindibile del fumetto, che non può essere trascurata nel corso della traduzione: l’indissolubilità della componente verbale e della componente visiva. Nell’appendice si può trovare la traduzione integrale della Graphic Novel e l’estratto dello scambio di messaggi con la fumettista Olga Lavrenteva, contenente domande e risposte relative a “ŠUV”.

Diagramas de Ellingham e de Van't Hoff: algumas considerações

The main subject of this article is to show the parallelism betwen the Ellingham and Van't Hoff diagrams. The first one is a graphic representation of the changes in the standard Gibbs free energy (deltarGtheta) as a function of T and was introduced by Ellingham in 1944, in order to study metallurgic processes involving oxides and sulphides. On the other hand, the Van't Hoff diagram is a representation of the function ln K versus (1/T). The equivalence between both diagrams is easily demonstrated, making simple mathematical manipulations. In order to show the parallelism between both diagrams, they are presented briefly and two examples are discussed. The comparison of the both diagrams surely will be helpful to students and teachers in their learning and teaching activities, and will certainly enrich important aspects of chemical thermodynamics.

Proposta metodológica utilizando ferramentas de qualidade na avaliação do processo de pulverização

The present work aimed to create a methodology to evaluate the pulverization process with the use of quality tools. It was listed the primary factors, secondary factors, tertiary factors and, with the check list tool support, the list was elaborated. It was evaluated the factors labor, agriculture machine, material and method of 32 pulverization process before pesticide application, in that each factor received a punctuation, having as total sum of 750 points. The medium punctuation to the factors labor, agriculture machine, material and method was 78; 211; 49; 20 and 94 points, respectively. The sum of the factors points for the 32 processes, the minimum value found was 230 and maximum was 620 points. With the proposed methodology, can be identify which common causes of the processes can affect its result.

Aspectos motores da Paralisia Cerebral Espástica diparética : o Nintendo WII 'MARCA REGISTRADA' como atividade motora complementar = Motor aspects of Spastic Cerebral Palsy : the Nintendo WII 'TRADEMARK' as a supplementary motor activity

Universidade Estadual de Campinas . Faculdade de Educação Física

Da preparação preliminar ao nivel olimpico : um estudo de caso no remo brasileiro feminino

Universidade Estadual de Campinas . Faculdade de Educação Física

Desenvolvimento de uma metodologia para reconstrução tridimensional e analise de superficies do corpo humano

Universidade Estadual de Campinas . Faculdade de Educação Física

Feature selection environment for genomic applications

Background: Feature selection is a pattern recognition approach to choose important variables according to some criteria in order to distinguish or explain certain phenomena (i.e., for dimensionality reduction). There are many genomic and proteomic applications that rely on feature selection to answer questions such as selecting signature genes which are informative about some biological state, e. g., normal tissues and several types of cancer; or inferring a prediction network among elements such as genes, proteins and external stimuli. In these applications, a recurrent problem is the lack of samples to perform an adequate estimate of the joint probabilities between element states. A myriad of feature selection algorithms and criterion functions have been proposed, although it is difficult to point the best solution for each application. Results: The intent of this work is to provide an open-source multiplataform graphical environment for bioinformatics problems, which supports many feature selection algorithms, criterion functions and graphic visualization tools such as scatterplots, parallel coordinates and graphs. A feature selection approach for growing genetic networks from seed genes ( targets or predictors) is also implemented in the system. Conclusion: The proposed feature selection environment allows data analysis using several algorithms, criterion functions and graphic visualization tools. Our experiments have shown the software effectiveness in two distinct types of biological problems. Besides, the environment can be used in different pattern recognition applications, although the main concern regards bioinformatics tasks.

Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

This paper proposes a mixed validation approach based on coloured Petri nets and 3D graphic simulation for the design of supervisory systems in manufacturing cells with multiple robots. The coloured Petri net is used to model the cell behaviour at a high level of abstraction. It models the activities of each cell component and its coordination by a supervisory system. The graphical simulation is used to analyse and validate the cell behaviour in a 3D environment, allowing the detection of collisions and the calculation of process times. The motivation for this work comes from the aeronautic industry. The automation of a fuselage assembly process requires the integration of robots with other cell components such as metrological or vision systems. In this cell, the robot trajectories are defined by the supervisory system and results from the coordination of the cell components. The paper presents the application of the approach for an aircraft assembly cell under integration in Brazil. This case study shows the feasibility of the approach and supports the discussion of its main advantages and limits. (C) 2011 Elsevier Ltd. All rights reserved.

Optimization of preservative system in ophthalmic suspension with dexamethasone and polymyxin B

A simplex-lattice statistical project was employed to study an optimization method for a preservative system in an ophthalmic suspension of dexametasone and polymyxin B. The assay matrix generated 17 formulas which were differentiated by the preservatives and EDTA (disodium ethylene diamine-tetraacetate), being the independent variable: X-1 = chlorhexidine digluconate (0.010 % w/v); X-2 = phenylethanol (0.500 % w/v); X-3 = EDTA (0.100 % w/v). The dependent variable was the Dvalue obtained from the microbial challenge of the formulas and calculated when the microbial killing process was modeled by an exponential function. The analysis of the dependent variable, performed using the software Design Expert/W, originated cubic equations with terms derived from stepwise adjustment method for the challenging microorganisms: Pseudomonas aeruginosa, Burkholderia cepacia, Staphylococcus aureus, Candida albicans and Aspergillus niger. Besides the mathematical expressions, the response surfaces and the contour graphics were obtained for each assay. The contour graphs obtained were overlaid in order to permit the identification of a region containing the most adequate formulas (graphic strategy), having as representatives: X-1 = 0.10 ( 0.001 % w/v); X-2 = 0.80 (0.400 % w/v); X-3 = 0.10 (0.010 % w/v). Additionally, in order to minimize responses (Dvalue), a numerical strategy corresponding to the use of the desirability function was used, which resulted in the following independent variables combinations: X-1 = 0.25 (0.0025 % w/v); X-2 = 0.75 (0.375 % w/v); X-3 = 0. These formulas, derived from the two strategies (graphic and numerical), were submitted to microbial challenge, and the experimental Dvalue obtained was compared to the theoretical Dvalue calculated from the cubic equation. Both Dvalues were similar to all the assays except that related to Staphylococcus aureus. This microorganism, as well as Pseudomonas aeruginosa, presented intense susceptibility to the formulas independently from the preservative and EDTA concentrations. Both formulas derived from graphic and numerical strategies attained the recommended criteria adopted by the official method. It was concluded that the model proposed allowed the optimization of the formulas in their preservation aspect.

Evaluation of the Contraction of Cutaneous Wounds in Wistar Rats Treated with Brazilian Green Propolis Gel

In this work the effects of topic use of Brazilian green propolis gel in the contraction of wounds performed in rat`s skin was evaluated. In ten female Wistar rats were done four wounds in dorsal region. Two wounds in each rat were treated daily with Brazilian green propolis gel during 10 days. The wounds were photographed daily, and the images were analyzed with ImageJ software, in order to measure wound areas and evaluate wound contraction. In the graphic analysis, treated group and control group had similar behavior, and both evolved for complete closure in 10th experimentation day. The wound clots fell down before in treated wounds. Green propolis in the gel formulation at 5% in topical use had not effect in the process of wound contraction. The macroscopic visualization of the contraction of wounds, by itself, does not seem to be a good indicator of the process of tissue repair.

New body fat prediction equations for severely obese patients

Background & aims: Severe obesity imposes physical limitations to body composition assessment. Our aim was to compare body fat (BF) estimations of severely obese patients obtained by bioelectrical impedance (BIA) and air displacement plethysmography (ADP) for development of new equations for BF prediction. Methods: Severely obese subjects (83 female/36 mate, mean age = 41.6 +/- 11.6 years) had BF estimated by BIA and ADP. The agreement of the data was evaluated using Bland-Altman`s graphic and concordance correlation coefficient (CCC). A multivariate regression analysis was performed to develop and validate new predictive equations. Results: BF estimations from BIA (64.8 +/- 15 kg) and ADP (65.6 +/- 16.4 kg) did not differ (p > 0.05, with good accuracy, precision, and CCC), but the Bland- Altman graphic showed a wide Limit of agreement (- 10.4; 8.8). The standard BIA equation overestimated BF in women (-1.3 kg) and underestimated BF in men (5.6 kg; p < 0.05). Two BF new predictive equations were generated after BIA measurement, which predicted BF with higher accuracy, precision, CCC, and limits of agreement than the standard BIA equation. Conclusions: Standard BIA equations were inadequate for estimating BF in severely obese patients. Equations developed especially for this population provide more accurate BF assessment. (C) 2008 Elsevier Ltd and European Society for Clinical Nutrition and Metabolism. All rights reserved.

Cancellation task in very low educated people

Cancellation tasks have been largely used to evaluate visuospatial function and attention. Cognitive evaluation of low literacy subjects remains a challenge in developing countries, when it becomes necessary to distinguish between what is pathological and what is biased by low education. Performance of river bank dwellers of the Amazon region was studied, in a structured nonverbal cancellation task, verifying their searching strategies (randomized/organized), time of completion, number of correct cancelled targets and number of false-positive targets. A difference was observed in performance and searching strategies between illiterates and literates with only a few years of schooling (mean= 0.8, S.D.=1.6 years of education) across all measures. There was a significant difference between literate groups in the searching strategy, as well as between illiterates who had never attended school and those who had, showing that a minimal contact with graphic presentations and organization of writing was able to modify this cognitive function. (C) 2007 National Academy of Neuropsychology. Published by Elsevier Ltd. All rights reserved.