Research and Grants
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
Wireless IDS - Intrusion Detection in Wireless Ad Hoc Networks
Wireless IDS - Intrusion Detection in Wireless Ad Hoc Networks. NSF I/U CRC Center for Information Protection Read more about Wireless IDS - Intrusion Detection in Wireless Ad Hoc Networks
Cooperative Graduate Research Fellowship in Data Mining and Knowledge Discovery
Cooperative Graduate Research Fellowship in Data Mining and Knowledge Discovery. IBM Corporation Read more about Cooperative Graduate Research Fellowship in Data Mining and Knowledge Discovery
Intergovernmental Personnel Act Assignment
Intergovernmental Personnel Act Assignment, Vasant Honavar, Information Integration and Informatics Program, Computer and Information Sciences and Engineering Directorate. NSF Read more about Intergovernmental Personnel Act Assignment
Secrecy-Preserving Query Answering
Secrecy-Preserving Query Answering. NSF (Co-PI Honavar not officially listed because of Conflict of interest associated with IPA appointment at NSF.). Read more about Secrecy-Preserving Query Answering
Virtual Reality Applications Center
Affiliated Computer Science Faculty: Carl K. Chang, Les Miller, Alexander Stoytchev, Wallapak Tavanapong, Johnny Wong Read more about Virtual Reality Applications Center
CSR: Small: Collaborative Research: Tuning Extreme-Scale Storage System Through Deep Learning
NSF Travel Grant Support for IEEE Computer Software and Applications Conference (COMPSAC) 2009
Abstract:
The IEEE COMPSAC2009 will be held in Seattle, Washington from July 20 to July 24, 2009. Read more about NSF Travel Grant Support for IEEE Computer Software and Applications Conference (COMPSAC) 2009
ePost-it: A Spatial Messaging System for Cellular Networks
Institute for Physical Research and Technology, Iowa State University Read more about ePost-it: A Spatial Messaging System for Cellular Networks
Accommodating Individual Differences in Software Designed for Location-Based Survey Tasks
Accommodating Individual Differences in Software Designed for Location-Based Survey Tasks . NSF
Safety Analysis of Evolving Product Lines
Safety Analysis of Evolving Product Lines . NSF
Evaluation of Quality Assessment Tools for Colonoscopy
Evaluation of Quality Assessment Tools for Colonoscopy. Grow Iowa Values Fund (GIVF) Read more about Evaluation of Quality Assessment Tools for Colonoscopy
Specification-Guided Misuse & Anomaly Intrusion Detection
Specification-Guided Misuse & Anomaly Intrusion Detection . NSF I/U CRC Center for Information Protection Read more about Specification-Guided Misuse & Anomaly Intrusion Detection
Constructive Neural Network Learning Algorithms for Pattern Classification
Constructive Neural Network Learning Algorithms for Pattern Classification. NSF
Read more about Constructive Neural Network Learning Algorithms for Pattern Classification
Computational support staff for expanding animal functional genomics
Computational support staff for expanding animal functional genomics . Center for Integrative Animal Genomics, Iowa State University Read more about Computational support staff for expanding animal functional genomics
Developing Predictive Models for Identifying Pigs with Superior Immune Response and Improved Food Safety
Developing Predictive Models for Identifying Pigs with Superior Immune Response and Improved Food Safety. US Department of Agriculture Read more about Developing Predictive Models for Identifying Pigs with Superior Immune Response and Improved Food Safety
Developmental Robotics Laboratory
Affiliated Faculty: Alexander Stoytchev Read more about Developmental Robotics Laboratory
PYI: The Internal Quantitative Structure of Complexity Classes
Abstract:
New extensions of Lebesgue measure theory are used to investigate the internal, quantitative structure of complexity classes. The relationships among intrinsically pseudorandom objects, pseudorandom number generators, probabilistic and interactive complexity classes, and completeness phenomena are studied. Another focus is the measure structure of exponential time complexity classes.
Read more about PYI: The Internal Quantitative Structure of Complexity Classes
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