Research and Grants
Big 12 Faculty Fellowship
Efficient Processing of Continuous Queries
Institute for Physical Research and Technology, Iowa State University Read more about Efficient Processing of Continuous Queries
US Department of Agriculture Bioinformatics Training Grant
US Department of Agriculture Bioinformatics Training Grant . US Department of Agriculture (2007-2009) $252,000. (Training grant for bioinformatics students.) Read more about US Department of Agriculture Bioinformatics Training Grant
Product-Line Verification of Safety-Critical Software
Product-Line Verification of Safety-Critical Software (awarded to Jet Propulsion Laboratory) . NASA Read more about Product-Line Verification of Safety-Critical Software
Enhancement of a Quality Control System for Colonoscopy
Enhancement of a Quality Control System for Colonoscopy . ISU Research Foundation Read more about Enhancement of a Quality Control System for Colonoscopy
Modeling Paradigms for Security and Dependability in Policy-Based Systems
Modeling Paradigms for Security and Dependability in Policy-Based Systems . NSF I/U CRC Center for Information Protection Read more about Modeling Paradigms for Security and Dependability in Policy-Based Systems
A Gene Specific DNA Chip for Exploring Molecular Evolutionary Change
A Gene Specific DNA Chip for Exploring Molecular Evolutionary Change. Carver Foundation Read more about A Gene Specific DNA Chip for Exploring Molecular Evolutionary Change
Privacy-Preserving Reasoning
Privacy-Preserving Reasoning . ISU NSF-Industry-University Cooperative Research Center for Information Protection Read more about Privacy-Preserving Reasoning
Identifying porcine genes and gene networks involved in effective response to PRRS virus using functional genomics and systems biology
Identifying porcine genes and gene networks involved in effective response to PRRS virus using functional genomics and systems biology. US Department of Agriculture
CPS:Synergy: Safety-Aware Cyber-Molecular Systems
Future cyber-molecular systems such as biosensors and drug therapeutics must operate safely in a dynamic physical environment. A newly funded project by computer science faculty Robyn Lutz, Jack Lutz, and Jim Lathrop, and GDCB faculty Eric Henderson, will help design cyber-molecular systems that are reliably safe for use.
Read more about CPS:Synergy: Safety-Aware Cyber-Molecular Systems
AF:Small:Collaborative Research:Studies in nonuniformity, completeness, and reachability
Abstract:
Computational complexity theory classifies computational problems into various complexity classes based on the amount of resources needed to solve them. This classification is done by measuring various resources such as time, space, nonuniformity, nondeterminism, and randomness. A better understanding of the relationships among these various resources shed light on the computational difficulty of the problems that are encountered in practice. Read more about AF:Small:Collaborative Research:Studies in nonuniformity, completeness, and reachability
Big-12 faculty Fellowship
On Peer-to-Peer Video Services
University Research Grant, Iowa State University Read more about On Peer-to-Peer Video Services
Matching Funds for PYI Award
Matching Funds for PYI Award. Amoco Foundation Read more about Matching Funds for PYI Award
Modeling Secure Web Services with AADL
Modeling Secure Web Services with AADL . Center for Information Protection at Iowa State University, NSF Read more about Modeling Secure Web Services with AADL
Evaluation of a Quality Assessment System for Colonoscopy at Iowa Digestive Disease Center
Evaluation of a Quality Assessment System for Colonoscopy at Iowa Digestive Disease Center (IDDC) . Iowa State University Technology Commercialization Acceleration Program Read more about Evaluation of a Quality Assessment System for Colonoscopy at Iowa Digestive Disease Center
SFS Fellowships for Information Assurance Students
SFS Fellowships for Information Assurance Students. NSF
Read more about SFS Fellowships for Information Assurance Students
Development of Protein Structure Prediction Algorithms
Development of Protein Structure Prediction Algorithms. Carver Foundation Read more about Development of Protein Structure Prediction Algorithms
Exploratory Investigation of Modular Ontologies: Research Experiences for Undergraduates Supplement
Exploratory Investigation of Modular Ontologies: Research Experiences for Undergraduates Supplement . NSF Read more about Exploratory Investigation of Modular Ontologies: Research Experiences for Undergraduates Supplement
IGERT - Computational Biology Training Group
IGERT - Computational Biology Training Group. NSF
Read more about IGERT - Computational Biology Training Group
ITR: Collaborative Research: Natural Language in the Development of High-Confidence Software
Abstract:
Inadequate communication of domain knowledge in natural language (such as English textual descriptions) is a major source of requirements defects in high-confidence software. Such defects can threaten lives, property, and the dependability of critical infrastructures. This research develops innovative, multi-disciplinary techniques designed expressly to identify and cope with the properties of natural language that lead to these problems. It analyses the domain-knowledge communication problem from the perspective Read more about ITR: Collaborative Research: Natural Language in the Development of High-Confidence Software
Matching Funds for PYI Award
Microware Systems Corporation Read more about Matching Funds for PYI Award
Modelling of Individual Symbolic Sequences
Modeling of Individual Symbolic Sequences. Spanish Ministry of Education and Science Read more about Modelling of Individual Symbolic Sequences
Technology Transfer of Results in Contingency Software for Autonomous Systems
Technology Transfer of Results in Contingency Software for Autonomous Systems (awarded to Jet Propulsion Lab). NASA Read more about Technology Transfer of Results in Contingency Software for Autonomous Systems
Quality Assessment Tools for Colonoscopy
Quality Assessment Tools for Colonoscopy. Grow Iowa Values Fund
Information Assurance Educational Support Program
Information Assurance Educational Support Program NSF Read more about Information Assurance Educational Support Program
Genetic Algorithms for Protein Structure Prediction
Genetic Algorithms for Protein Structure Prediction. DOE Ames Laboratory Read more about Genetic Algorithms for Protein Structure Prediction
Center for Computational Inference, Learning, and Discovery
Center for Computational Inference, Learning, and Discovery . Vice Provost for Research, Iowa State University Read more about Center for Computational Inference, Learning, and Discovery
DDAS-TMRP Auto-Steered Information-Decision Processes for Electric Power Systems Asset Management
DDAS-TMRP Auto-Steered Information-Decision Processes for Electric Power Systems Asset Management. NSF
Matching Funds for PYI Award
Rockwell International Read more about Matching Funds for PYI Award
Modelling of Individual Symbolic Sequences. Spanish Ministry of Education and Science
Accommodating Individual Differences In Map-based Field Survey Software On Handheld Computers . Bureau of Census Read more about Modelling of Individual Symbolic Sequences. Spanish Ministry of Education and Science
Contingency Software in Autonomous Systems
Contingency Software in Autonomous Systems (awarded to Jet Propulsion Lab) . NASA Read more about Contingency Software in Autonomous Systems
Efficient Processing for Continuous Queries for Spatial Cue
Efficient Processing for Continuous Queries for Spatial Cue. Technology Commercialization Acceleration Program Read more about Efficient Processing for Continuous Queries for Spatial Cue
CISE Educational Innovation: Integrated Security Curricula Modules
CISE Educational Innovation: Integrated Security Curricula Modules NSF Read more about CISE Educational Innovation: Integrated Security Curricula Modules
Distributed Knowledge Networks
Distributed Knowledge Networks. John Deere Foundation Read more about Distributed Knowledge Networks
Postdoctoral fellowship support for CCILD
Postdoctoral fellowship support for CCILD . Vice Provost for Research, College of Liberal Arts and Sciences Read more about Postdoctoral fellowship support for CCILD
Development of bioinformatics resources to transfer biological information across species
Development of bioinformatics resources to transfer biological information across species. United States Department of Agriculture