Topology verification for isosurface extraction

Tiago Etiene; Luis Gustavo Nonato; Carlos Scheidegger; Julien Tienry; Thomas J. Peters; Valerio Pascucci; Robert M. Kirby; Cláudio T. Silva

doi:10.1109/TVCG.2011.109

Topology verification for isosurface extraction

Tiago Etiene, Luis Gustavo Nonato, Carlos Scheidegger, Julien Tienry, Thomas J. Peters, Valerio Pascucci, Robert M. Kirby, Cláudio T. Silva

Urban Initiative

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English (US)
Article number	5928335
Pages (from-to)	952-965
Number of pages	14
Journal	IEEE Transactions on Visualization and Computer Graphics
Volume	18
Issue number	6
DOIs	https://doi.org/10.1109/TVCG.2011.109
State	Published - 2012

Keywords

Verifiable visualization
isosurface
topology

ASJC Scopus subject areas

Software
Signal Processing
Computer Vision and Pattern Recognition
Computer Graphics and Computer-Aided Design

Access to Document

10.1109/TVCG.2011.109

Cite this

@article{7b47ddc0793c4320b355642af14ded5c,

title = "Topology verification for isosurface extraction",

abstract = "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.",

keywords = "Verifiable visualization, isosurface, topology",

author = "Tiago Etiene and Nonato, {Luis Gustavo} and Carlos Scheidegger and Julien Tienry and Peters, {Thomas J.} and Valerio Pascucci and Kirby, {Robert M.} and Silva, {Cl{\'a}udio T.}",

note = "Funding Information: The authors thank Thomas Lewiner and Joshua Levine for help with MC33 and DELISO codes, respectively. This work was supported in part by grants from NSF (grants IIS-0905385, IIS-0844546, ATM-0835821, CNS-0751152, OCE-0424602, CNS-0514485, IIS-0513692, CNS-0524096, CCF-0401498, OISE-0405402, CCF-0528201, CNS-0551724, CMMI 1053077, IIP 0810023, CCF 0429477), DOE, IBM Faculty Awards and PhD Fellowship, the US ARO under grant W911NF0810517, ExxonMobil, and Fapesp-Brazil (#2008/03349-6).",

year = "2012",

doi = "10.1109/TVCG.2011.109",

language = "English (US)",

volume = "18",

pages = "952--965",

journal = "IEEE Transactions on Visualization and Computer Graphics",

issn = "1077-2626",

publisher = "IEEE Computer Society",

number = "6",

}

TY - JOUR

T1 - Topology verification for isosurface extraction

AU - Etiene, Tiago

AU - Nonato, Luis Gustavo

AU - Scheidegger, Carlos

AU - Tienry, Julien

AU - Peters, Thomas J.

AU - Pascucci, Valerio

AU - Kirby, Robert M.

AU - Silva, Cláudio T.

N1 - Funding Information: The authors thank Thomas Lewiner and Joshua Levine for help with MC33 and DELISO codes, respectively. This work was supported in part by grants from NSF (grants IIS-0905385, IIS-0844546, ATM-0835821, CNS-0751152, OCE-0424602, CNS-0514485, IIS-0513692, CNS-0524096, CCF-0401498, OISE-0405402, CCF-0528201, CNS-0551724, CMMI 1053077, IIP 0810023, CCF 0429477), DOE, IBM Faculty Awards and PhD Fellowship, the US ARO under grant W911NF0810517, ExxonMobil, and Fapesp-Brazil (#2008/03349-6).

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Verifiable visualization

KW - isosurface

KW - topology

UR - http://www.scopus.com/inward/record.url?scp=84859902941&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84859902941&partnerID=8YFLogxK

U2 - 10.1109/TVCG.2011.109

DO - 10.1109/TVCG.2011.109

M3 - Article

C2 - 21690649

AN - SCOPUS:84859902941

SN - 1077-2626

VL - 18

SP - 952

EP - 965

JO - IEEE Transactions on Visualization and Computer Graphics

JF - IEEE Transactions on Visualization and Computer Graphics

IS - 6

M1 - 5928335

ER -

Topology verification for isosurface extraction

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this