Research Tools: code, datasets, & models

FORMULA (Formal Modeling Using Logic Programming and Analysis) is a modern formal specification language targeting model-based development (MBD). It is based on algebraic data types (ADTs) and strongly-typed constraint logic programming (CLP), which support concise…

This data set consists of the term vectors extracted from 60,730 Wikipedia English articles and their comparable Spanish articles, sampled in 2009. We used this data set to test various models for creating translingual document…

A parallel BLAST engine that runs on the Windows Azure cloud fabric, NCBI BLAST on Windows Azure can scale up to hundreds of compute nodes. This cloud-based implementation of the National Center for Biotechnology Information…

The Colombo SDK is a software-development kit and simulator environment for experimenting with software-defined radio (SDR) protocol code. It enables development and testing of the distributed SDR code on a PC before testing on real…

The WorldWide Telescope (WWT) Add-in for Excel enables users to visualize location-based data, with latitude/longitude or right ascension/declination, in WWT. This is achieved by sending data from Excel to WWT with the use of loosely…