Research and Grants
Privacy and Secrecy Preservation in Un-trusted Clouds
ISU NSF-Industry-University Cooperative Research Center for Information Protection Read more about Privacy and Secrecy Preservation in Un-trusted Clouds
Quality Measurement Software for Colonoscopy
Quality Measurement Software for Colonoscopy. Mayo Clinic Rochester (2005-2006) $25,000. (The grant is part of a subgrant of the grant entitled "Objective Quality Control for Colonoscopy" led by Piet de Groen, the collaborator at Mayo Clinic.) Read more about Quality Measurement Software for Colonoscopy
Sequencing the Fusarium Virguliformae Genome
Sequencing the Fusarium Virguliformae Genome. Soybean Research and Development Council Read more about Sequencing the Fusarium Virguliformae Genome
Preparing Information Technology Undergraduates for Cross-cultural Work Environments
Preparing Information Technology Undergraduates for Cross-cultural Work Environments. ISU's Council on International Programs Read more about Preparing Information Technology Undergraduates for Cross-cultural Work Environments
Database-generating and X-ray Displaying World Wide Web Applications
Database-generating and X-ray Displaying World Wide Web Applications. Mayo Foundation Read more about Database-generating and X-ray Displaying World Wide Web Applications
Intergovernmental Personnel Act (IPA) Assignment
Intergovernmental Personnel Act (IPA) Assignment, Program Director, Computer and Information Science and Engineering Directorate, Information and Intelligent Systems Division, Information Integration and Informatics Program . NSF Read more about Intergovernmental Personnel Act (IPA) Assignment
Learning Classifiers from Autonomous, Semantically Heterogeneous, Distributed Data
Learning Classifiers from Autonomous, Semantically Heterogeneous, Distributed Data. NSF
Read more about Learning Classifiers from Autonomous, Semantically Heterogeneous, Distributed Data
Exploring a Novel Proline Switch for Regulation of Protein Recognition
Exploring a Novel Proline Switch for Regulation of Protein Recognition. Center for Integrated Animal Genomics, Iowa State University Read more about Exploring a Novel Proline Switch for Regulation of Protein Recognition
CI-EN: Boa: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale
In today's software-centric world, ultra-large-scale software repositories, e.g., SourceForge, GitHub, and Google Code, with hundreds of thousands of projects each, are the new library of Alexandria. They contain an enormous corpus of software and information about software and software projects. Scientists and engineers alike are interested in analyzing this wealth of information to test important research hypotheses. Read more about CI-EN: Boa: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale
CAREER: Strategies for Caching Information on Distributed Systems
Abstract:
Digital information has become an inseparable part of our daily life due to significant advances in affordable high-speed internetworking technologies, high performance computer and peripherals, and the World-Wide Web. The explosive growth of the Web has imposed a heavy demand on networking resources and Web servers, resulting in long delays when requesting remote Web services. Read more about CAREER: Strategies for Caching Information on Distributed Systems
Knowledge Management: Using Topic Maps in Organizational Memory
Knowledge Management: Using Topic Maps in Organizational Memory . Information Infrastructure Institute, Iowa State University (2007-2007) $8,000. (Seed grant for work on knowledge research.) Read more about Knowledge Management: Using Topic Maps in Organizational Memory
Development of the PCAP Program
Development of the PCAP Program. NIH, a subcontract through Washington University Genome Sequencing Center Read more about Development of the PCAP Program
Improving Colonoscopy Quality through Automated Monitoring
Improving Colonoscopy Quality through Automated Monitoring. Agency for Healthcare for Research and Quality. Read more about Improving Colonoscopy Quality through Automated Monitoring
Intelligent Multi-Agent Systems for Intrusion Detection
Intelligent Multi-Agent Systems for Intrusion Detection . Department of Defense University Research Program (MDA904-98-R-S221) Read more about Intelligent Multi-Agent Systems for Intrusion Detection
Integrated Intelligent Diagnosis and Advisory Systems - Analysis
Integrated Intelligent Diagnosis and Advisory Systems - Analysis. John Deere Foundation Read more about Integrated Intelligent Diagnosis and Advisory Systems - Analysis
Machine Learning Algorithms and Software for Collaborative Medical Decision Support
Machine Learning Algorithms and Software for Collaborative Medical Decision Support. Grow Iowa Values Fund, and Collaborative Health Solutions, LLC Read more about Machine Learning Algorithms and Software for Collaborative Medical Decision Support
The developmental proteome of retinal progenitor
The developmental proteome of retinal progenitor. National Institutes of Health Read more about The developmental proteome of retinal progenitor
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research
Abstract:
Title: CRD: Collab Rsch: JML Community Infr-Revitalizing Tools and Documentation to Aid Formal Methods Rsch
Project Proposed:
This collaborative project, revitalizing tools and documentations to aid formal methods research, aims to
- Enhance JML's infrastructure including its type checker, runtime assertion checking compiler, and IDE support;
- Make JML's software infrastructure more extensible;
On Implementation of GeoGramming
ISU Research Foundation Read more about On Implementation of GeoGramming
Map Use in the 2010 Census
Map Use in the 2010 Census. Bureau of Census Read more about Map Use in the 2010 Census
Automatic Identification of Least-Stringent, Appropriate Confidentiality Level for Information Systems Data
Automatic Identification of Least-Stringent, Appropriate Confidentiality Level for Information Systems Data. NSF I/U CRC Security and Software Engineering Research Center/ISU Center for Information Protection Read more about Automatic Identification of Least-Stringent, Appropriate Confidentiality Level for Information Systems Data
Improving Colonoscopy Quality through Automated Monitoring
Improving Colonoscopy Quality through Automated Monitoring. National Institutes of Health/NIDDK
Read more about Improving Colonoscopy Quality through Automated Monitoring
Enhancing the Learning Experience in Undergraduate Education
Enhancing the Learning Experience in Undergraduate Education. Cargill, Inc. Read more about Enhancing the Learning Experience in Undergraduate Education
Integrated Intelligent Diagnosis Systems
Integrated Intelligent Diagnosis Systems. John Deere Foundation Read more about Integrated Intelligent Diagnosis Systems
Algorithms and Software for Collaborative Medical Decision Support
Algorithms and Software for Collaborative Medical Decision Support. Collaborative Health Solutions, LLC Read more about Algorithms and Software for Collaborative Medical Decision Support
Symposium on Integration of Structural and Functional Genomics
Symposium on Integration of Structural and Functional Genomics. NSF
Read more about Symposium on Integration of Structural and Functional Genomics
A Model Checking based Framework for Analyzing Information-Propagation over Networks
In the age of globalization and informatization, the study of information propagation in the network of connected entities plays an important role in understanding and analyzing security and safety concerns. Entities in the network can be people, groups or computing devices, while the network is the relationship describing how one entity can influence or can be influenced by others. In epidemiology, the network of entities may correspond to the population groups and their spatial/proximity relationships. Read more about A Model Checking based Framework for Analyzing Information-Propagation over Networks
CPATH-1: Experimenting with an Open Platform for the New Interdisciplinary Study on Gerontechnology
Addressing Resource Allocation Problem in IMA Software Design
Rockwell Collins, a company known for its leadership in design and development of aviation electronics, has provided funding for nine months to the Department of Computer Science at Iowa State University to address resource allocation problems in IMA (Integrated Modular Avionics) software. Read more about Addressing Resource Allocation Problem in IMA Software Design
Location Privacy Protection for Location-based Services
Institute for Physical Research and Technology, Iowa State University Read more about Location Privacy Protection for Location-based Services
Integration of quantitative genetics, statistics, and computational biology for animal genetic improvement
Integration of quantitative genetics, statistics, and computational biology for animal genetic improvement . USDA (Training grant)
Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures
Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures (awarded to Jet Propulsion Laboratory) . NASA
GPU-based Implementation of Terminal Ileum Detection for Colonoscopy Quality
GPU-based Implementation of Terminal Ileum Detection for Colonoscopy Quality. Iowa State University Research Foundation Read more about GPU-based Implementation of Terminal Ileum Detection for Colonoscopy Quality