Research Tools: code, datasets, & models

An interactive authoring system that builds on thin-plate splines to enable a richer class of vector graphics. The user sketches a variety of curves and points to intuitively control color interpolation within the resulting image.

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…