960 resultados para 0803 Computer Software
Resumo:
A preocupação com o estudo das formas e dimensões das arcadas dentárias sempre esteve presente na ciência ortodôntica. Para a Ortodontia Lingual, que surgiu no final da década de 70, o primeiro artigo publicado foi o Fujita, onde relatou sobre a forma do arco a ser utilizado nesta técnica, a forma de cogumelo. Apesar de estar sendo divulgada de uma maneira mais intensa nestes últimos anos como uma solução estética definitiva e eficaz, o enfoque dos estudos sobre esta técnica tem sido a fabricação de novos materiais, técnicas de montagem do aparelho lingual e soluções clínicas, com poucas menções sobre a morfologia das arcadas dentárias. O presente trabalho tem a finalidade de estudar as formas e dimensões linguais das arcadas dentárias de indivíduos leucodermas com oclusão normal. Foram utilizados 47 pares de modelos de gesso de oclusão normal digitalizados pela face olcusal, previamente desgastadas até o terço médio da coroa para proporcionar melhor visualização. Por meio do programa CorelDraw 12 foram determinados pontos de referências e criados alguns pontos virtuais necessários para a realização das medidas. Os resultados determinaram três formas das arcadas dentárias linguais: cogumelo, árvore de Natal e mista. A maior prevalência foi a forma árvore de Natal, mas quando analisadas separadamente as arcadas dentárias linguais, encontrados no superior, maior prevalência da forma de cogumelo e no inferior da forma árvore de Natal. Conseqüentemente, esta foi a combinação mais prevalente entre as arcadas dentárias linguais superiores e inferiores. Propusemos diagramas para conformação de arcos ortodônticos linguais com base nos valores obtidos da amostra, determinando-se o quartil 1, mediana e quartil 3, como definidores dos tamanhos pequeno, médio e grande.
Resumo:
Publisher PDF
Resumo:
Postprint
Resumo:
Peer reviewed
Resumo:
Detection of loss of heterozygosity (LOH) by comparison of normal and tumor genotypes using PCR-based microsatellite loci provides considerable advantages over traditional Southern blotting-based approaches. However, current methodologies are limited by several factors, including the numbers of loci that can be evaluated for LOH in a single experiment, the discrimination of true alleles versus "stutter bands," and the use of radionucleotides in detecting PCR products. Here we describe methods for high throughput simultaneous assessment of LOH at multiple loci in human tumors; these methods rely on the detection of amplified microsatellite loci by fluorescence-based DNA sequencing technology. Data generated by this approach are processed by several computer software programs that enable the automated linear quantitation and calculation of allelic ratios, allowing rapid ascertainment of LOH. As a test of this approach, genotypes at a series of loci on chromosome 4 were determined for 58 carcinomas of the uterine cervix. The results underscore the efficacy, sensitivity, and remarkable reproducibility of this approach to LOH detection and provide subchromosomal localization of two regions of chromosome 4 commonly altered in cervical tumors.
Resumo:
Bibliography: p. 48.
Resumo:
Mode of access: Internet.
Resumo:
Cover title.
Resumo:
"15 January 1986."
Resumo:
"15 January 1986."
Resumo:
"15 January 1986."
Resumo:
Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.
Resumo:
The development of new experimental techniques for the determination of phase equilibria in complex slag systems, chemical thermodynamic, and viscosity models is reported. The new experimental data, and new thermodynamic and viscosity models, have been combined in a custom-designed computer software package to produce limiting operability diagrams for slag systems. These diagrams are used to describe phase equilibria and physicochemical properties in complex slag systems. The approach is illustrated with calculations on the system FeO-Fe2O3-CaO-SiO-Al2O3 at metallic iron saturation, slags produced in coal slagging gasifiers, and in the reprocessing of nonferrous smelting slags. This article was presented at the Mills Symposium Molten Metals, Slags and Glasses-Characterisation of Properties and Phenomena held in London in August 2000.
Resumo:
The data structure of an information system can significantly impact the ability of end users to efficiently and effectively retrieve the information they need. This research develops a methodology for evaluating, ex ante, the relative desirability of alternative data structures for end user queries. This research theorizes that the data structure that yields the lowest weighted average complexity for a representative sample of information requests is the most desirable data structure for end user queries. The theory was tested in an experiment that compared queries from two different relational database schemas. As theorized, end users querying the data structure associated with the less complex queries performed better Complexity was measured using three different Halstead metrics. Each of the three metrics provided excellent predictions of end user performance. This research supplies strong evidence that organizations can use complexity metrics to evaluate, ex ante, the desirability of alternate data structures. Organizations can use these evaluations to enhance the efficient and effective retrieval of information by creating data structures that minimize end user query complexity.