Verification and Validation of Agent-based and Equation-based Simulations and Bioinformatics Computing: Identifying Transposable Elements in the Aedes aegypti Genome

This work centers around two subjects: 1) verification and validation of simulation models and 2) identifying transposable elements through novel approaches.

Performing verification and validation on simulations has become increasingly important as they are used in more and more applications. Agent-based simulations are becoming very popular and the verification and validation work previously performed on them is minimal. Here, we perform verification and validation techniques, including docking and visualization, on an agent-based and an equation-based model and contrast the effectiveness of the techniques used.

Identifying transposable elements in a genome is important for many reasons, such as when performing evolutionary studies or when annotating genomes. Here, we identify transposable elements in the newly released Aedes aegypti genome using innovative approaches, while utilizing some standard bioinformatics tools.