• High Assurance Guard - developed algorithms and software in support of Rockwell Collins, Inc Turnstile High Assurance Guard project, including a prototype of the Guard Configuration Tool that parses human-readable configuration data and creates a Turnstile-specific Access Control List rule set.
• Embedded Real-Time OS - performed analysis and modeling of a commercially available embedded real-time operating system in support of Rockwell Collins, Inc MILS RTOS Verification project. Modeled OS functions in ACL2 to support formal methods verification and performed OS function analysis that resulted in improvements to the underlying OS. The commercial OS has since successfully obtained EAL6+ certification.
• Machine Optimization - developed algorithms and software to perform setup optimization and machine program sequence optimization for fine pitch pick & place printed circuit board assembly machines. Evolutionary algorithms emphasized feeder assignment and gang picking to maximize assembly throughput in support of Optimal Electronics Corp. product development.
• Fatigue Monitoring - developed algorithms and software to automatically extract facial feature and eye location from raw image data and optimized the resulting algorithms for real-time performance in support of Futh, LC's NASA Phase II SBIR project "Fatigue Evaluation And Countermeasures Using Real-Time Video Analysis."
• Gesture Recognition - developed algorithms and software to perform automatic real-time analysis (in support of Futh, LC's NSF Phase I SBIR project "Video-based Head and Face Gesture Recognition System for Hands-Free Control") and classification (in support of Futh, LC's Dept of Education Phase II SBIR contract "Gesture Recognition System for Personal Computing Applications") of facial and head gestures within the raw image data of a video sequence.

Jeffrey B. Bishop & Isaac K. Evans, "Fatigue Countermeasure Using Automatic Real-Time Video Processing of Eye Characteristics," in Proceedings of the First International Driving Symposium on Human Factors in Driver Assessment, Training and Vehicle Design (Driving Assessment 2001), University of Iowa Public Policy Center, 338, 2001.    Abstract
 
Jeffrey B. Bishop & Isaac K. Evans, "Automatic Head and Face Gesture Recognition," Technical Report FUTH TR001, Future of Technology and Health, LC, September 1, 2001.
 
Isaac K. Evans, "Embracing Premature Convergence: The Hypergamous Parallel Genetic Algorithm," in Proceedings of 1998 IEEE International Conference on Evolutionary Computation (ICEC '98), IEEE Press, 621-626, 1998.
 
Isaac K. Evans, "Evolutionary Algorithms for Vertex Cover," in Evolutionary Programming VII, Proceedings 7th International Conference (EP98), Springer, 377-386, 1998.   PDF | PS.GZ
 
Isaac K. Evans, Reemphasizing Recombination in Evolutionary Search: Heuristics for Vertex Cover, Ph.D. Thesis, Iowa City, IA: The University of Iowa, December, 1997.
 
Isaac K. Evans, "Enhancing Recombination with the Complementary Surrogate Genetic Algorithm," in Proceedings of 1997 IEEE International Conference on Evolutionary Computation (ICEC '97), IEEE Press, 97-102, 1997.
 
Isaac K. Evans, "Parallel Migration Issues in Genetic and Evolutionary Algorithms," manuscript, January 1996.
 
P. Garcia, J. P. Anthes, J. T. Pierce, P. V. Dressendorfer, I. K. Evans, B. D. Bradley, J. T. Sackos, M. M. LeCavalier, "Characterization of a Scannerless Ladar System," in G. W. Kamerman and W. E. Keicher, Eds., Proceedings on Applied Laser Radar Technology (SPIE 1936), 23-30, 1993.
 
Isaac K. Evans, Development of a Laboratory for an Introductory Course in Microcomputer Systems and Applications, M.S. Project, Lawrence, KS: The University of Kansas, Dept. of Electrical Engineering, May, 1987.

Isaac K. Evans, Microprocessor-based LORAN Electronic Navigation Computer, Honors Thesis, University Park, PA: The Pennsylvania State University, Dept. of Engineering Science and Mechanics, May, 1980.