Avaliação automatizada de estreitamento arteriolar em retinografias digitalizadas : desenvolvimento e validação do método

Resumo não disponível.

Indexação automatizada de artigos de periódicos científicos: análise da aplicação do software SISA com uso da terminologia DeCS na área de Odontologia

The indexing automation has been discussed by researches in the area of Information Science however the discussions have not been so clear on the use of indexing software. Thus, it is necessary to know the indexing software, as well as its application in the analysis of documentary contents. To do so, it is proposed, here, to investigate both the consistency of indexing and the exhaustiveness and precision of the information retrieval, by means of comparative analysis between SISA (Sistema de Indizacion Semi-Automatico) automatic index and BIREME ( Centro Latino-Americano e do Caribe de Informação em Ciencias da Saude) manual indexing. The aim of this paper is to contribute to the theoretical development of the indexing automation and the improvement of SISA. Thus, SISA application and evaluation was used based on the calculation of the consistency indexes between the two types of indexing, and the calculation of the exhaustiveness and precision indexes in information retrieval, by means of searching into BDSISA and BIREME databases, composed by descriptors taken from SISA and manual indexing respectively. The differences among the terms used in scientific papers comparing to the DeCS ones were the main difficult factor to achieve higher consistency indexes in the indexing. These differences influenced the exhaustiveness and precision indexes in the information retrieval, showing that it is necessary to improve the documentary language used by SISA software and to incorporate linguistic methods.

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Avaliação da eficiência da técnica de obturação pela compressão hidrùlica vertical após instrumentação automatizada

The purpose of this study was to evaluate through radiographic and microscopic analysis the efficiency of the filling techniques by vertical hidraulic compression after the root canal mechanical instrumentation in vitro as well to evaluate the marginal apical leakage through macroscopic and microscopic analysis. Thirty human mandibular molars were used , they were divided on three groups, these were subdivided on six subgroups with five specimens each, come down to 106 root canals filled. Initially, the teeth were instrumented with Profile system series 29 and filled with two ways: single accessory cone or single cone associated with gutta-percha secundary cone, with Fill Canal sealer or Sealer 26. Completed the filling, the teeth were coated with araldit and finger -nail polish except for the apical 2 mm and dried for 3 hours, thep radiographs were taken of the teeth in orto and disto-radiai directions. Next, the coronal seal was carried out with composite resin photopolymerized and with their process of making impermeable. Teeth of positive controls were used without araldit and finger-nail polish whereas the negative controls were used with total coat of araldit and finger-nail polish. The specimens were placed in 2% Methylene Blue dye for 24 hours and thermocycled for 7 days. Afterwards, sections were made of each tooth at mesial and distal roat, after this the teeth were radiographed at buccolíngual direction for a macroscopic analysis and at buccolingual and mesiodistal directions for assessment of the marginal apical leakage. Cross sections were made 3 mm to 3mm since the tooth apice. The sections obtained for each group were observed with a stereomicroscope to evaluate the quality of the root canal filling and the marginal apical leakage. The results showed that: In the four techniques the marginal dye leakage was present in the apical third; in all groups the quality of the root canal filling in the radiography was better at mesial root canal and the single cone technique showed inefficient when only a single distal root canal was present. In the radiographic evaluation the best quality of the root canal filling was observed in the 1A group (single accessory cone + FiIl Canal), as in the mesial root as in the distal root wich Shcwed twe root canals: when the distaI root had only one canal. the best result was showed by 28 group (single accessory cone associated with secundary cone + Fill Canal) In the macroscopic analysis of longitudinal !eaKage (outside surface). less leakage was showed as In the mesial root as in the distal root in the negative control group (3) followed 2A group (single accessory cone + Sealer 26). When the microscopic analysis of tranversal leakage of both roots (inside surface) was carried out. the groups that showed less dye leakage were the negative control (38) followed the 28 group (single acessory cone associated with secundary cone + Sealer 26). The homogeneity o filling was best noted in the 1 A group (.single accessoty cone + Fill Canal). The groups that showed less dye penetration in the tranversal leakage (total area) were negative control (3B) and 2B

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Um problema de programação da produção numa fundição automatizada

Este trabalho apresenta a modelagem de um problema particular de Programação da Produção numa Fundição Automatizada e sua resolução por um algoritmo de busca heurística, que explora a estrutura do problema.

Efeito cicloplégico na refração automatizada

Purpose: To show the importance of the cicloplegic method in the refraction evaluation comparing the automated refraction (subjective and objective) and the subjective static refraction. Method: One-hundred patients (200 eyes) between 5 and 40 years were prospectivelly evaluated according the static and dynamic automated refraction and the subjective static refraction, using an automated refractor Nidek ARK - 900. The data were submitted to statical evaluation. Results: The concordance indices were better after cycloplegia mainly in relation of the spheric degree and cílindric axes. Conclusion: Cycloplegia is very important to have accurace in the automated refraction in patients before 40 year-old.

ILPES, quinquaginta anni 1962-2012: documentación oficial existente en la Biblioteca Hernán Santa Cruz

Tomos 3 al 4 en proceso de preparación

Perfusão cerebral e análise individual automatizada utilizando SPECT em uma população com transtorno obsessivo-compulsivo

Objective: To make individual assessments using automated quantification methodology in order to screen for perfusion abnormalities in cerebral SPECT examinations among a sample of subjects with OCD. Methods: Statistical parametric mapping (SPM) was used to compare 26 brain SPECT images from patients with OCD individually with an image bank of 32 normal subjects, using the statistical threshold of p < 0.05 (corrected for multiple comparisons at the level of individual voxels or clusters). The maps were analyzed, and regions presenting voxels that remained above this threshold were sought. results: Six patients from a sample of 26 OCD images showed abnormalities at cluster or voxel level, considering the criteria described above, which represented 23.07%. However, seven images from the normal group of 32 were also indicated as cases of perfusional abnormality, representing 21.8% of the sample. Conclusion: The automated quantification method was not considered to be a useful tool for clinical practice, for analyses complementary to visual inspection.

Lineamientos básicos para la elaboración de un sistema integrado de información, documentación y comunicación para el Centro de Documentación e Información (CDI)

Incluye Bibliografía

Descripción del Sistema de Documentación sobre Población de América Latina

Incluye Bibliografía

DOCPAL. Manual No 4: Procedimiento para la indización de documentos y utilización del Tesauro multilingüe sobre población en un sistema manual de documentación""

El Manual recoge la experiencia de DOCPAL/CELADE en la indizacion de los documentos ingresados a la base de datos y se orienta a servir de guia a las unidades de informacion que han adoptado tecnicas manuales o semi-mecanizadas para el tratamiento de la misma en la region. Previa la presentacion de las definiciones basicas, se discute el marco de referencia y las caracteristicas del proceso de indizacion. La descripcion de los instrumentos y pautas pone enfasis en la utilizacion del Tesauro Multilingue sobre Poblacion para el analisis de la informacion y en las Tarjetas Unitermino, para el registro del proceso.

Documentación relativa a la población total: etapa pre-estadística de datos individualizados

Incluye Bibliografía