Topology verification for isosurface extraction

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

Research output: Contribution to journalArticle

26 Citations (Scopus)

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 languageEnglish (US)
Article number5928335
Pages (from-to)952-965
Number of pages14
JournalIEEE Transactions on Visualization and Computer Graphics
Volume18
Issue number6
DOIs
StatePublished - 2012
Externally publishedYes

Fingerprint

Visualization
Topology

Keywords

  • isosurface
  • topology
  • Verifiable visualization

ASJC Scopus subject areas

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

Cite this

Etiene, T., Nonato, L. G., Scheidegger, C. E., Tienry, J., Peters, T. J., Pascucci, V., ... Silva, C. T. (2012). Topology verification for isosurface extraction. IEEE Transactions on Visualization and Computer Graphics, 18(6), 952-965. [5928335]. https://doi.org/10.1109/TVCG.2011.109

Topology verification for isosurface extraction. / Etiene, Tiago; Nonato, Luis Gustavo; Scheidegger, Carlos Eduardo; Tienry, Julien; Peters, Thomas J.; Pascucci, Valerio; Kirby, Robert M.; Silva, Cláudio T.

In: IEEE Transactions on Visualization and Computer Graphics, Vol. 18, No. 6, 5928335, 2012, p. 952-965.

Research output: Contribution to journalArticle

Etiene, T, Nonato, LG, Scheidegger, CE, Tienry, J, Peters, TJ, Pascucci, V, Kirby, RM & Silva, CT 2012, 'Topology verification for isosurface extraction', IEEE Transactions on Visualization and Computer Graphics, vol. 18, no. 6, 5928335, pp. 952-965. https://doi.org/10.1109/TVCG.2011.109
Etiene, Tiago ; Nonato, Luis Gustavo ; Scheidegger, Carlos Eduardo ; Tienry, Julien ; Peters, Thomas J. ; Pascucci, Valerio ; Kirby, Robert M. ; Silva, Cláudio T. / Topology verification for isosurface extraction. In: IEEE Transactions on Visualization and Computer Graphics. 2012 ; Vol. 18, No. 6. pp. 952-965.
@article{d1be705bc28347b08482bf1be11f20ef,
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 = "isosurface, topology, Verifiable visualization",
author = "Tiago Etiene and Nonato, {Luis Gustavo} and Scheidegger, {Carlos Eduardo} and Julien Tienry and Peters, {Thomas J.} and Valerio Pascucci and Kirby, {Robert M.} and Silva, {Cl{\'a}udio T.}",
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 Eduardo

AU - Tienry, Julien

AU - Peters, Thomas J.

AU - Pascucci, Valerio

AU - Kirby, Robert M.

AU - Silva, Cláudio T.

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 - isosurface

KW - topology

KW - Verifiable visualization

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

VL - 18

SP - 952

EP - 965

JO - IEEE Transactions on Visualization and Computer Graphics

JF - IEEE Transactions on Visualization and Computer Graphics

SN - 1077-2626

IS - 6

M1 - 5928335

ER -