Grant Title Award Amount Duration Principal Investigator(s)
SHF: Small: Collaborative Research: Balancing Expressiveness and Modular Reasoning for Aspect-oriented Programming $273,729 2010-08-15 to 2013-07-31 Hridesh Rajan
EAGER: Decision Support System for Reasoning with Preferences $111,393 2011-08-01 to 2013-07-31 Samik Basu, Robyn Lutz (Co-PI)
RI: Small: Robot Grasping of Deformable Objects $369,795 2009-07-15 to 2013-06-30 Yan-Bin Jia
Real-time Analysis and Feedback during Colonoscopy to improve Quality $16,000 2011-01-01 to 2012-12-31 Wallapak Tavanapong
SecCloud: Towards a Secure Cloud We Trust $25,000 2010-01-01 to 2012-12-31 Wensheng Zhang
Machine Learning Algorithms and Software for Collaborative Medical Decision Support $238,586 2010-01-01 to 2012-12-31 Vasant Honavar
Development and Integration of a Generic Mobile Computing Platform into Graduate and Undergraduate Curricula in Computer Science and Software Engineering $32,900 2011-01-01 to 2012-12-31 Ying Cai
Integration of quantitative genetics, statistics, and computational biology for animal genetic improvement $258,000 2009-01-01 to 2012-12-31 Leslie Miller (Co-PI)
Accommodating Individual Differences in Software Designed for Location-Based Survey Tasks $230,000 2008-01-01 to 2012-12-31 Leslie Miller (Co-PI)
Developing Predictive Models for Identifying Pigs with Superior Immune Response and Improved Food Safety $1,000,000 2009-01-01 to 2012-12-31 Vasant Honavar (Co-PI)
A Semi-Automated Framework for Mission Assurance and Performance Impact Analysis $53,556 2012-01-01 to 2012-12-31 Johnny Wong
Collaborative Research: NeTS-NECO: Energy Replenishment for Wireless Sensor Networks $344,510 2008-09-01 to 2012-08-31 Wensheng Zhang, Daji Qiao (Co-PI)
CPATH-1: Experimenting with an Open Platform for the New Interdisciplinary Study on Gerontechnology $300,000 2009-09-01 to 2012-08-31 Carl Chang, Johnny Wong (Co-PI), Simanta Mitra (Co-PI), Peter Martin (Co-PI), Mack Shelley (Co-PI)
STTR Phase II: Real-time Analysis and Feedback during Colonoscopy to improve Quality $565,735 2010-08-15 to 2012-07-31 Wallapak Tavanapong, JungHwan Oh (Co-PI)
Interactive and Verifiable Composition of Web Services To Satisfy End-User Goals $387,375 2007-06-22 to 2012-07-11 Samik Basu, Robyn Lutz (Co-PI)
FRG: Collaborative Research: Algorithmic Randomness $30,000 2007-07-01 to 2012-06-30 Jack Lutz
Real-time Analysis and Feedback during Colonoscopy to improve Quality $499,735 2010-01-01 to 2011-12-31 Wallapak Tavanapong
Privacy and Secrecy Preservation in Un-trusted Clouds $20,000 2011-01-01 to 2011-12-31 Wensheng Zhang (Co-PI)
Improving Colonoscopy Quality through Automated Monitoring $899,354 2008-01-01 to 2011-12-31 Wallapak Tavanapong (Co-PI), Johnny Wong (Co-PI)
Algorithms and Software for Collaborative Medical Decision Support $20,000 2010-01-01 to 2011-12-31 Vasant Honavar
Automatic Identification of Least-Stringent, Appropriate Confidentiality Level for Information Systems Data $25,000 2011-01-01 to 2011-12-31 Robyn Lutz
Improving Colonoscopy Quality through Automated Monitoring $238,105 2009-01-01 to 2011-12-31 Wallapak Tavanapong (Co-PI), Johnny Wong (Co-PI)
Intergovernmental Personnel Act Assignment $201,920 2010-01-01 to 2011-12-31 Vasant Honavar
Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures $637,000 2008-01-01 to 2011-12-31 Robyn Lutz
Safety Analysis of Evolving Product Lines $318,400 2006-01-01 to 2011-12-31 Robyn Lutz
IGERT - Computational Biology Training Group $2,968,976 2005-01-01 to 2011-12-31 Vasant Honavar (Co-PI)
An Integrated Solution to Provide Privacy, Confidentiality, Integrity and Reliability Protection for Sensor Data Management $256,000 2007-09-01 to 2011-08-31 Wensheng Zhang, Johnny Wong (Co-PI), Daji Qiao (Co-PI)
Big 12 Faculty Fellowship $1,200 2011-01-01 Pavan Aduri
Control System for Colonoscopy $25,000 2009-01-01 to 2010-12-31 Johnny Wong
Development of an Assembly Program for Illumina Reads $101,272 2010-01-01 to 2010-12-31 Xiaoqui Huang
Making Improvements to the PCAP Genome Assembly Program $428,716 2006-01-01 to 2010-12-31 Xiaoqui Huang
REU Supplement to CT-ISG: Specification and Verification Challenges for Security Protocols in Sensor Networks $16,000 2006-01-01 to 2010-12-31 Hridesh Rajan
Sequencing the Fusarium Virguliformae Genome $107,780 2009-01-01 to 2010-12-31 Xiaoqiu Huang (Co-PI)
GPU-based Implementation of Terminal Ileum Detection for Colonoscopy Quality $25,000 2009-01-01 to 2010-12-31 Wallapak Tavanapong (Co-PI)
Identifying porcine genes and gene networks involved in effective response to PRRS virus using functional genomics and systems biology $749,975 2009-01-01 to 2010-12-31 Vasant Honavar (Co-PI)
Product-Line Verification of Safety-Critical Software $450,000 2007-01-01 to 2010-12-31 Robyn Lutz
DDAS-TMRP Auto-Steered Information-Decision Processes for Electric Power Systems Asset Management $700,000 2006-01-01 to 2010-12-31 Vasant Honavar (Co-PI)
Development of bioinformatics resources to transfer biological information across species $1,000,000 2008-01-01 to 2010-12-31 Vasant Honavar (Co-PI)
High-Accuracy Protein Models Derived from Lower Resolution Data $744,725 2007-01-01 to 2010-12-31 Vasant Honavar (Co-PI)
Effective Dimensions in the Theory of Computing $125,000 2007-09-15 to 2010-08-31 Jack Lutz
Collaborative Research: CSR-DMSS: On-road Real-time Information Systems for driving safety atop VANET-WSM symbiosis $110,000 2008-09-01 to 2010-08-31 Wensheng Zhang
Collaborative Research: Research in Complexity Theory $103,209 2008-08-01 to 2010-07-31 Pavan Aduri
CAREER: Reasoning with Cause and Effect: Model Testing, Axiomatization, and Identification $455,452 2004-03-01 to 2010-02-28 Jin Tian
Tools for leveraging large Scale "omics" to guide hypothesis -driven experimentation and computational modeling $25,000 2007-01-01 to 2009-12-31 Vasant Honavar (Co-PI)
Response to Collaborative Attacks Against Network Vulnerability $25,000 2009-01-01 to 2009-12-31 Johnny Wong
Video Analysis Techniques for Computer-Aided Quality Control for Colonoscopy $50,000 2009-01-01 to 2009-12-31 Wallapak Tavanapong
Tamper-proof and Privacy-preserving Schemes for Smart Cards $20,000 2009-01-01 to 2009-12-31 Wensheng Zhang
Computational support staff for expanding animal functional genomics $50,000 2007-01-01 to 2009-12-31 Vasant Honavar
Evaluation of Quality Assessment Tools for Colonoscopy $100,397 2007-01-01 to 2009-12-31 Wallapak Tavanapong (Co-PI)
US Department of Agriculture Bioinformatics Training Grant $252,000 2007-01-01 to 2009-12-31 Leslie Miller (Co-PI)