Topology Verification for Isosurface Extraction

The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topological properties. Specifically, we use stratified Morse theory and digital topology to design algorithms which verify topological invariants. Our extended framework reveals unexpected behavior and coding mistakes in popular publicly available isosurface codes.

Tomotherapy dose distribution verification using MAGIC-f polymer gel dosimetry

Purpose: This paper presents the application of MAGIC-f gel in a three-dimensional dose distribution measurement and its ability to accurately measure the dose distribution from a tomotherapy unit. Methods: A prostate intensity-modulated radiation therapy (IMRT) irradiation was simulated in the gel phantom and the treatment was delivered by a TomoTherapy equipment. Dose distribution was evaluated by the R2 distribution measured in magnetic resonance imaging. Results: A high similarity was found by overlapping of isodoses of the dose distribution measured with the gel and expected by the treatment planning system (TPS). Another analysis was done by comparing the relative absorbed dose profiles in the measured and in the expected dose distributions extracted along indicated lines of the volume and the results were also in agreement. The gamma index analysis was also applied to the data and a high pass rate was achieved (88.4% for analysis using 3%/3 mm and of 96.5% using 4%/4 mm). The real three-dimensional analysis compared the dose-volume histograms measured for the planning volumes and expected by the treatment planning, being the results also in good agreement by the overlapping of the curves. Conclusions: These results show that MAGIC-f gel is a promise for tridimensional dose distribution measurements. (C) 2012 American Association of Physicists in Medicine. [http://dx.doi.org/10.1118/1.4704496]

Vectorial capacity, basic reproduction number, force of infection and all that: formal notation to complete and adjust their classical concepts and equations

A dimensional analysis of the classical equations related to the dynamics of vector-borne infections is presented. It is provided a formal notation to complete the expressions for the Ross' threshold theorem, the Macdonald's basic reproduction "rate" and sporozoite "rate", Garret-Jones' vectorial capacity and Dietz-Molineaux-Thomas' force of infection. The analysis was intended to provide a formal notation that complete the classical equations proposed by these authors.

URANS calculations for smooth circular cylinder flow in a wide range of Reynolds Numbers: solution verification and validation

The flow around circular smooth fixed cylinder in a large range of Reynolds numbers is considered in this paper. In order to investigate this canonical case, we perform CFD calculations and apply verification & validation (V&V) procedures to draw conclusions regarding numerical error and, afterwards, assess the modeling errors and capabilities of this (U)RANS method to solve the problem. Eight Reynolds numbers between Re = 10 and Re 5 x 10(5) will be presented with, at least, four geometrically similar grids and five discretization in time for each case (when unsteady), together with strict control of iterative and round-off errors, allowing a consistent verification analysis with uncertainty estimation. Two-dimensional RANS, steady or unsteady, laminar or turbulent calculations are performed. The original 1994 k - omega SST turbulence model by Menter is used to model turbulence. The validation procedure is performed by comparing the numerical results with an extensive set of experimental results compiled from the literature. [DOI: 10.1115/1.4007571]

alpha,beta-Unsaturated Diazoketones as Platforms in the Asymmetric Synthesis of Hydroxylated Alkaloids. Total Synthesis of 1-Deoxy-8,8a-diepicastanospermine and 1,6-Dideoxyepicastanospermine and Formal Synthesis of Pumiliotoxin 251D

A versatile and concise approach for the stereoselective synthesis of mono-, di-, and trihydroxylated indolizidines is presented in four to six steps from Cbz-prolinal and a diazophosphonate. The key steps involved a Wolff rearrangement, followed by a stereoselective dihydroxylation/epoxidation reaction, from an alpha,beta-unsaturated diazoketone. The strategy also permits extension to the synthesis of many natural hydroxylated indolizidine alkaloids as demonstrated in the formal synthesis of pumiliotoxin 251D.

Tigela, café e xícara: diversidade formal e dinâmicas de consumo na produção das louças brancas da cidade de São Paulo no começo do século XX

Este artigo apresenta algumas reflexões em torno das formas e volumes das louças em faiança fina produzidas, e consumidas, na cidade de São Paulo, durante o período de 1913 e 1937, relacionando-as a alguns hábitos levados a cabo na Paulicéia, como o crescente costume do "cafezinho". Para tal, parte-se das análises do acervo gerado pelo resgate do sítio arqueológico Petybon, localizado na zona metropolitana da cidade, no bairro da Lapa, região da Água Branca/Vila Romana. Aponta-se que a diversidade de formas das louças dialoga com os projetos de modernidade pensados para São Paulo e as demandas dos consumidores cujas diversas práticas culturais influenciaram na produção das faianças finas pela Fábrica de Louças Santa Catharina e Indústrias Reunidas Fábricas Matarazzo.

Elementos estruturais de um modelo formal dos esportes coletivos de invasão

O desenvolvimento de um modelo formal da estratégia e da dinâmica do jogo constitui uma contribuição científica original no contexto dos esportes coletivos de invasão. O procedimento construtivo de uma estratégia definido no modelo é composto de cinco conjuntos de elementos ordenados em níveis hierárquicos, que suportam o desenho de estratégias capazes de orientar adequadamente uma equipe em um jogo. Uma vez definido o modelo da estratégia, a formalização da dinâmica do jogo permite sua contextualização no momento de sua aplicação para orientar os jogadores no confronto. O jogo teve sua estrutura decomposta e suas propriedades dinâmicas fundamentais foram definidas. Dessa forma, a modelagem da dinâmica da oposição e da estratégia se complementam, pois definem os momentos nos quais a informação estratégica é utilizada pelos jogadores. A estrutura formal apresentada inaugura uma linha de pesquisa que poderá contribuir para limitar a subjetividade na definição dos critérios de análise de futuros desenhos experimentais, levando à interpretações e comparações mais acuradas dos resultados dos estudos.