Verification of the time evolution of cosmological simulations via hypothesis-driven comparative and quantitative visualization.
Chung-Hsing HsuJames P. AhrensKatrin HeitmannPublished in: PacificVis (2010)
Keyphrases
- data driven
- qualitative and quantitative
- structural analysis
- quantitative and qualitative
- visual representation
- data sets
- self organizing maps
- information visualization
- comparative analysis
- person identification
- formal verification
- signature verification
- visualization tool
- formal methods
- simulation environment
- numerical simulations
- petri net
- evolutionary algorithm
- data analysis
- information systems