Purpose: This case history reports on the process of developing a method to identify, extract, and clean string citation data from a corpus of articles to assist future studies on research methods, ...

For updated course listing of all undergraduate informatics courses at UAB, check out the Undergraduate Course Catalog. Introduction to bioinformatics and methodologies, with emphasis on concepts and ...

Mathworks's Simulink Design Verifier 2.0 (Fig. 1) incorporates static code analysis technology that is obtained when it acquired Polyspace Technologies. The Polyspace code verifiers detect and prove ...