Add to ORKGAbstract—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. Index Terms—verifiable visualization, isosurface, topology. F
A lot of visualization of scalar fields can come down to the extraction and rendering of isosurface....
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a...
The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a...
Journal ArticleThe broad goals of verifiable visualization rely on correct algorithmic implementatio...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
There is contemporary interest to preserve appropriate topological characteristics during geometric ...
Summary. The selection of appropriate level sets for the quantitative visualization of three dimensi...
A popular technique for rendition of isosurfaces in sampled data is to consider cells with sample po...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
A lot of visualization of scalar fields can come down to the extraction and rendering of isosurface....
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a...
The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a...
Journal ArticleThe broad goals of verifiable visualization rely on correct algorithmic implementatio...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Visual representations of isosurfaces are ubiquitous in the scientific and engineering literature. I...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
There is contemporary interest to preserve appropriate topological characteristics during geometric ...
Summary. The selection of appropriate level sets for the quantitative visualization of three dimensi...
A popular technique for rendition of isosurfaces in sampled data is to consider cells with sample po...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...
A lot of visualization of scalar fields can come down to the extraction and rendering of isosurface....
Many high-resolution surfaces are created through isosurface extraction from volumetric representati...
Many high-resolution surfaces are created through isosurface extraction from volumetric repre-sentat...