College of Engineering
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2007 conference paper
Proofchecker: an accessible environment for automata theory correctness proofs
ACM SIGCSE Bulletin, 39(3), 48–52.
Event: ACM
2007 conference paper
High-contrast algorithm behavior: observation, hypothesis, and experimental design
Proceedings of the 2007 workshop on Experimental computer science, 12.
Event: ACM
2007 journal article
A case for smaller class size with integrated lab for introductory computer science
ACM SIGCSE Bulletin, 39(1), 341–345.
2007 article
Convergence Analysis of the {DIRECT} Algorithm
2007 article
A Case Study in Using Local {I/O} and {GPFS} to Improve Simulation Scalability
8th LCI International Conference on High-Performance Clustered Computing.
2007 journal article
Analysis of A Scalable Preconditioner for the Wigner-Poisson Equation
International Journal of Pure and Applied Mathematics, 37, 247–270.
2007 journal article
Pagerank computation, with special attention to dangling nodes
SIAM Journal on Matrix Analysis and Applications, 29(4), 1281–1296.
2007 journal article
Problems and techniques: Introduction
SIAM Review, 49(4).
2007 journal article
Problems and techniques
SIAM Review, 49(3), 419–420.
2007 journal article
Model-Based Failure Detection on Nonlinear Systems: Theory and Transition
Naval Engineers Journal, 119(2), 93–107.
2007 journal article
The Hill–Robertson effect is a consequence of interplay between linkage, selection and drift: a commentary on ‘The effect of linkage on limits to artificial selection’ by W. G. Hill and A. Robertson
Genetics Research, 89(5-6), 309–310.
2007 journal article
Strategic analysis of speed and flexibility in sourcing textile products
2007 conference paper
AC 2007-3009: COMPUTER-BASED MODELING FOR ENGINEERS USING EXCEL AND VBA
2007 ASEE, 12, 1.
2007 conference paper
Computer-Based Modeling for Engineers using Excel and VBA
Proceedings of the ASEE International Conference. Retrieved from http://www.asee.org/acPapers/code/getPaper.cfm?paperID=13338
2007 conference paper
A Comparison Meta-Heuristics for Large Scale Facility Location Problems with Economies of Scale
Proceedings of the Industrial Engineering Research Conference. Nashville, Tennessee.
2007 chapter
An Experimental Study on Security Protocols in WLANs
In X. S. Yang Xiao & D.-Z. Du (Eds.), Wireless network security.
Ed(s): X. Yang Xiao & D. Du
2007 conference paper
Formalizing communication protocols for multiagent systems
IJCAI International Joint Conference on Artificial Intelligence, 1519–1524.
2007 conference paper
Formal trust model for multiagent systems
IJCAI International Joint Conference on Artificial Intelligence, 1551–1556.
2007 journal article
Reduced-order optimal control based on approximate inertial manifolds for nonlinear dynamical systems
SIAM Journal on Numerical Analysis, 46(6), 2867–2891.
2007 journal article
Projected pseudotransient continuation
SIAM Journal on Numerical Analysis, 46(6), 3071–3083.