16 resultados para Reliable Computations
em CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal
Resumo:
In this work, we consider the numerical solution of a large eigenvalue problem resulting from a finite rank discretization of an integral operator. We are interested in computing a few eigenpairs, with an iterative method, so a matrix representation that allows for fast matrix-vector products is required. Hierarchical matrices are appropriate for this setting, and also provide cheap LU decompositions required in the spectral transformation technique. We illustrate the use of freely available software tools to address the problem, in particular SLEPc for the eigensolvers and HLib for the construction of H-matrices. The numerical tests are performed using an astrophysics application. Results show the benefits of the data-sparse representation compared to standard storage schemes, in terms of computational cost as well as memory requirements.
Resumo:
Protein aggregation became a widely accepted marker of many polyQ disorders, including Machado-Joseph disease (MJD), and is often used as readout for disease progression and development of therapeutic strategies. The lack of good platforms to rapidly quantify protein aggregates in a wide range of disease animal models prompted us to generate a novel image processing application that automatically identifies and quantifies the aggregates in a standardized and operator-independent manner. We propose here a novel image processing tool to quantify the protein aggregates in a Caenorhabditis elegans (C. elegans) model of MJD. Confocal mi-croscopy images were obtained from animals of different genetic conditions. The image processing application was developed using MeVisLab as a platform to pro-cess, analyse and visualize the images obtained from those animals. All segmenta-tion algorithms were based on intensity pixel levels.The quantification of area or numbers of aggregates per total body area, as well as the number of aggregates per animal were shown to be reliable and reproducible measures of protein aggrega-tion in C. elegans. The results obtained were consistent with the levels of aggrega-tion observed in the images. In conclusion, this novel imaging processing applica-tion allows the non-biased, reliable and high throughput quantification of protein aggregates in a C. elegans model of MJD, which may contribute to a significant improvement on the prognosis of treatment effectiveness for this group of disor-ders
Resumo:
Recently, regulating mechanisms of branching morphogenesis of fetal lung rat explants have been an essential tool for molecular research. The development of accurate and reliable segmentation techniques may be essential to improve research outcomes. This work presents an image processing method to measure the perimeter and area of lung branches on fetal rat explants. The algorithm starts by reducing the noise corrupting the image with a pre-processing stage. The outcome is input to a watershed operation that automatically segments the image into primitive regions. Then, an image pixel is selected within the lung explant epithelial, allowing a region growing between neighbouring watershed regions. This growing process is controlled by a statistical distribution of each region. When compared with manual segmentation, the results show the same tendency for lung development. High similarities were harder to obtain in the last two days of culture, due to the increased number of peripheral airway buds and complexity of lung architecture. However, using semiautomatic measurements, the standard deviation was lower and the results between independent researchers were more coherent
Resumo:
Pectus excavatum is the most common congenital deformity of the anterior chest wall, in which an abnormal formation of the rib cage gives the chest a caved-in or sunken appearance. Today, the surgical correction of this deformity is carried out in children and adults through Nuss technic, which consists in the placement of a prosthetic bar under the sternum and over the ribs. Although this technique has been shown to be safe and reliable, not all patients have achieved adequate cosmetic outcome. This often leads to psychological problems and social stress, before and after the surgical correction. This paper targets this particular problem by presenting a method to predict the patient surgical outcome based on pre-surgical imagiologic information and chest skin dynamic modulation. The proposed approach uses the patient pre-surgical thoracic CT scan and anatomical-surgical references to perform a 3D segmentation of the left ribs, right ribs, sternum and skin. The technique encompasses three steps: a) approximation of the cartilages, between the ribs and the sternum, trough b-spline interpolation; b) a volumetric mass spring model that connects two layers - inner skin layer based on the outer pleura contour and the outer surface skin; and c) displacement of the sternum according to the prosthetic bar position. A dynamic model of the skin around the chest wall region was generated, capable of simulating the effect of the movement of the prosthetic bar along the sternum. The results were compared and validated with patient postsurgical skin surface acquired with Polhemus FastSCAN system
Resumo:
In the last years, it has become increasingly clear that neurodegenerative diseases involve protein aggregation, a process often used as disease progression readout and to develop therapeutic strategies. This work presents an image processing tool to automatic segment, classify and quantify these aggregates and the whole 3D body of the nematode Caenorhabditis Elegans. A total of 150 data set images, containing different slices, were captured with a confocal microscope from animals of distinct genetic conditions. Because of the animals’ transparency, most of the slices pixels appeared dark, hampering their body volume direct reconstruction. Therefore, for each data set, all slices were stacked in one single 2D image in order to determine a volume approximation. The gradient of this image was input to an anisotropic diffusion algorithm that uses the Tukey’s biweight as edge-stopping function. The image histogram median of this outcome was used to dynamically determine a thresholding level, which allows the determination of a smoothed exterior contour of the worm and the medial axis of the worm body from thinning its skeleton. Based on this exterior contour diameter and the medial animal axis, random 3D points were then calculated to produce a volume mesh approximation. The protein aggregations were subsequently segmented based on an iso-value and blended with the resulting volume mesh. The results obtained were consistent with qualitative observations in literature, allowing non-biased, reliable and high throughput protein aggregates quantification. This may lead to a significant improvement on neurodegenerative diseases treatment planning and interventions prevention
Resumo:
A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations
Resumo:
This paper proposes a wireless EEG acquisition platform based on Open Multimedia Architecture Platform (OMAP) embedded system. A high-impedance active dry electrode was tested for improving the scalp- electrode interface. It was used the sigma-delta ADS1298 analog-to-digital converter, and developed a “kernelspace” character driver to manage the communications between the converter unit and the OMAP’s ARM core. The acquired EEG signal data is processed by a “userspace” application, which accesses the driver’s memory, saves the data to a SD-card and transmits them through a wireless TCP/IP-socket to a PC. The electrodes were tested through the alpha wave replacement phenomenon. The experimental results presented the expected alpha rhythm (8-13 Hz) reactiveness to the eyes opening task. The driver spends about 725 μs to acquire and store the data samples. The application takes about 244 μs to get the data from the driver and 1.4 ms to save it in the SD-card. A WiFi throughput of 12.8Mbps was measured which results in a transmission time of 5 ms for 512 kb of data. The embedded system consumes about 200 mAh when wireless off and 400 mAh when it is on. The system exhibits a reliable performance to record EEG signals and transmit them wirelessly. Besides the microcontroller-based architectures, the proposed platform demonstrates that powerful ARM processors running embedded operating systems can be programmed with real-time constrains at the kernel level in order to control hardware, while maintaining their parallel processing abilities in high level software applications.
Resumo:
Resumo: O direito constitucional português ao trabalho: introdução § Algumas ideias sobre o assédio moral ou psicológico: as principais vítimas, as diferenças do bullying (e/ou intimidação ou tiranizar), os fundamentos, o seu estudo § O contexto do ordenamento jurídico português: algumas consequências do assédio moral § O direito geral à personalidade § A distinção entre o assédio moral e outras figuras § O assédio sexual faz parte do assédio moral em sentido amplo § Dentro do problema do “assédio moral”, da “liberdade moral” e, nomeadamente, dos crimes contra a liberdade sexual e autodeterminação sexual, algumas notas, de Direito penal, sobre a “coação sexual”: responsabilidade penal § O assédio moral no ordenamento jurídico português e, designadamente, no contexto do Direito do trabalho § O assédio moral como doença profissional, a hipótese de ocorrer suicídio e a eventual responsabilidade civil § Conclusão § “Ideia final” § Abstract: The Portuguese constitucional law to the work (labour): introduction § Some ideas on the moral or psychological siege (general mobbing): the main victims, the differences of bullying (and/or intimidation or “the labour tyrant”), the beddings, its study § The context of the Portuguese legal system § The context of the Portuguese legal system: some effects of the moral siege (general mobbing) § The general right to the personality § The distinction between the moral siege (general mobbing) and other figures § The sexual siege (sexual harassement or sexual mobbing) is part of the moral siege(general mobbing) in ample direction § Inside of the problem of the “moral siege” (general mobbing), “moral freedom” e, nominated, of the crimes against the sexual freedom and sexual self-determination, some notes, of Criminal law, on the “sexual coercion”: criminal liability § The moral siege (general mobbing) in Portuguese legal system and, appointedly, in the context of the Law of the work (labour law) § The moral siege (general mobbing) as ocupational disease, the hypothesis to occur suicide and the eventual civil liability § Conclusion § “Final Idea”
Resumo:
Abstract: § 1 «Do we need a “new” international convention that helps to avoid trafficking in organs? Some criminal (and civil) law aspects”» - «Convention on Human Rights and Biomedicine – updated or outdated?». § 2 Some important connections: on the one hand, between the 1997 Council of Europe Convention on Human Rights and Biomedicine; the 2002 Additional Protocol to the Convention on Human Rights and Biomedicine concerning Transplantation of Organs and Tissues of Human Origin; and, on the other hand, the problem of trafficking in organs, tissues and cells and trafficking in human beings for the purpose of the removal organs. Some connections. § 3 The «international undisputed principle». § 4 Trafficking in organs, tissues and cells; and trafficking in human beings for the purpose of the removal organs. Criminal Law and Civil Law. § 5 Promote organ donation. § 6 The necessity to collect reliable data on both trafficking cases. § 7 The necessity for an internationally agreed definition of trafficking in OTC: Convention on Human Rights and Biomedicine – updated or outdated? § 8 The (inter)national and (il)legal organ («tissue and cell») trade: some cases and some conclusions. § 9 Do we need a new international convention to prevent trafficking in organs, tissues and cells (OTC)? § 10 Of course we need a «new» international convention to prevent trafficking in organs, tissues and cells (OTC). § 11 At the present moment, we do not need a «new» international convention to prevent trafficking in human beings for the purpose of the removal organs. § 12 The Portuguese case. § 13 «Final conclusions.» § Resumo: § 1 «Precisamos de uma "nova" convenção internacional que ajude a evitar o tráfico de órgãos? Alguns aspectos de lei criminal (e civil)» - «Convenção sobre Direitos Humanos e Biomedicina - Actualizada ou desactualizada?». § 2 Algumas conexões importantes: por um lado, entre a Convenção do Conselho da Europa de 1997 sobre Direitos Humanos e Biomedicina; o Protocolo Adicional de 2002 à Convenção sobre os Direitos do Homem e da Biomedicina relativo ao transplante de órgãos e tecidos de origem humana, e, por outro lado, o problema do tráfico de órgãos, tecidos e células e tráfico de seres humanos para fins de remoção dos órgãos. § 3 O «indiscutível princípio internacional». § 4 O Tráfico de órgãos, tecidos e células; e o tráfico de seres humanos para fins de remoção dos órgãos. Direito Penal e Direito Civil. § 5 Promover a doação de órgãos. § 6 A necessidade de colectar dados fidedignos sobre os dois casos de tráfico. § 7 A necessidade de uma definição internacionalmente acordada de tráfico de OTC: Convenção sobre Direitos Humanos e Biomedicina - actualizada ou desactualizada? § 8 A (inter)nacional e (il)legal comercialização de órgãos («de tecidos e de células»): alguns casos e algumas conclusões. § 9 Será que precisamos de uma nova convenção internacional para prevenir o tráfico de órgãos, tecidos e células (OTC)? § 10 É claro que precisamos de uma «nova» convenção internacional para prevenir o tráfico de órgãos, tecidos e células (OTC). § 11 No presente momento, não precisamos de uma «nova» convenção internacional para impedir o tráfico de seres humanos para fins de remoção dos órgãos. § 12 O caso Português. § 13 «As conclusões finais.»
Resumo:
Guimarães is a world heritage site (UNESCO) since December 2001, and is hosting the European Capital of Culture (ECOC) in 2012. This paper examines the profile, destination image and motivations of tourists’ visiting Guimarães before the cultural event. Based on survey responses from 276 tourists, this study found that tourists arrived to Guimarães came from the two most important cities in the northern part of Portugal (Porto and Braga). They are relatively young and well educated compared with the average tourists that visited Portugal. The results suggest that many tourists are aware of the city status as a world heritage site encompassing a historic centre, monuments, and architectural buildings. Further, these perceptions shape the image of Guimarães, as the factor analysis indicates that “historical background and functionality” is the most reliable and valid factor behind the choice of visiting the city. Finally, the main tourists’ motivation to choose Guimarães as theirs destination is educational, rather than recreational as they want to live a learning experience.
Resumo:
A hierarchical matrix is an efficient data-sparse representation of a matrix, especially useful for large dimensional problems. It consists of low-rank subblocks leading to low memory requirements as well as inexpensive computational costs. In this work, we discuss the use of the hierarchical matrix technique in the numerical solution of a large scale eigenvalue problem arising from a finite rank discretization of an integral operator. The operator is of convolution type, it is defined through the first exponential-integral function and, hence, it is weakly singular. We develop analytical expressions for the approximate degenerate kernels and deduce error upper bounds for these approximations. Some computational results illustrating the efficiency and robustness of the approach are presented.
Resumo:
Background: Regulating mechanisms of branching morphogenesis of fetal lung rat explants have been an essential tool for molecular research. This work presents a new methodology to accurately quantify the epithelial, outer contour and peripheral airway buds of lung explants during cellular development from microscopic images. Methods: The outer contour was defined using an adaptive and multi-scale threshold algorithm whose level was automatically calculated based on an entropy maximization criterion. The inner lung epithelial was defined by a clustering procedure that groups small image regions according to the minimum description length principle and local statistical properties. Finally, the number of peripheral buds were counted as the skeleton branched ends from a skeletonized image of the lung inner epithelial. Results: The time for lung branching morphometric analysis was reduced in 98% in contrast to the manual method. Best results were obtained in the first two days of cellular development, with lesser standard deviations. Non-significant differences were found between the automatic and manual results in all culture days. Conclusions: The proposed method introduces a series of advantages related to its intuitive use and accuracy, making the technique suitable to images with different lightning characteristics and allowing a reliable comparison between different researchers.
Resumo:
Guimara˜es is a UNESCO world heritage site, deemed as such in 2001 and hosted the 2012 European Capital of Culture. This paper examines the profile, destination image, and motivations of tourists’ visiting behaviors in Guimara˜es before the cultural event. Based on survey responses from 276 tourists, we found that tourists arriving in Guimara˜es had previously visited the two most important cities in the northern part of Portugal. These respondents were relatively young and well educated compared to the average tourists that visited Portugal. The results suggest that many tourists were aware of the city status as a world heritage site that encompasses a historic center, monuments, and architectural buildings. Furthermore, these perceptions shape the image of Guimara˜es, as the factor analysis indicates that ‘‘historical background and functionality’’ was the most reliable and valid factor behind the choice of visiting the city.
Resumo:
In medical emergency situations, when a patient needs a blood transfusion, the universal blood type O− is administered. This procedure may lead to the depletion of stock reserves of O− blood. Nowadays, there is no commercial equipment capable of determining the patient's blood type in situ, in a fast and reliable process. Human blood typing is usually performed through the manual test, which involves a macroscopic observation and interpretation of the results by an analyst. This test, despite of having a fast response time, may lead to human errors, which sometimes can be fatal to the patient. This paper presents the development of an automatic mechatronic prototype for determining human blood typing (ABO and Rh systems) through image processing techniques. The prototype design takes into account the characteristics of reliability of analysis, portability, and response time allowing the system to be used in emergency situations. The developed prototype performs blood and reagents mixture acquires the resultant image and processes the data (based on image processing techniques) to determine the sample blood type. It was tested in a laboratory, using cataloged samples of blood types, provided by the Portuguese Institute of Blood and Transplantation. Hereafter, it is expected to test and validate the prototype in clinical environments.
Resumo:
Regulating mechanisms of branchingmorphogenesis of fetal lung rat explants have been an essential tool formolecular research.This work presents a new methodology to accurately quantify the epithelial, outer contour, and peripheral airway buds of lung explants during cellular development frommicroscopic images. Methods.Theouter contour was defined using an adaptive and multiscale threshold algorithm whose level was automatically calculated based on an entropy maximization criterion. The inner lung epithelium was defined by a clustering procedure that groups small image regions according to the minimum description length principle and local statistical properties. Finally, the number of peripheral buds was counted as the skeleton branched ends from a skeletonized image of the lung inner epithelia. Results. The time for lung branching morphometric analysis was reduced in 98% in contrast to themanualmethod. Best results were obtained in the first two days of cellular development, with lesser standard deviations. Nonsignificant differences were found between the automatic and manual results in all culture days. Conclusions. The proposed method introduces a series of advantages related to its intuitive use and accuracy, making the technique suitable to images with different lighting characteristics and allowing a reliable comparison between different researchers.