Recent Submissions

• "Discrete sensor placement problems in distributed networks." T Y Berger-Wolf, W E Hart and J Saia. 2003. (submitted).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/new/BerHarSai04-sub.pdf.gz
  
  
• "Convergence of a Discretized Self-Adaptive Evolutionary Strategy on Multi-Dimensional Problems." W E Hart and J M DeLaurentis. 2003. (submitted).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/new/HarDeL03-sub.pdf.gz
  
  
• "A comparison of computational methods for the maximum contact map overlap of protein pairs." N Krasnogor, G Lancia, A Zemla, W E Hart, R D Carr, J D Hirst and E K Burke. 2003. (submitted).
  
  

Journal Papers

• "A filter-based evolutionary algorithm for constrained optimization." L M Clevenger, L Ferguson and W E Hart. Evolutionary Computation. 2004. (to appear).
  
  
• "Opportunities for Combinatorial Optimization in Computational Biology." H J Greenberg, W E Hart and G Lancia. INFORMS Journal of Computing. 16 (3). 2004. pp. 211-231.
  
  
• "On the Convergence of an Implicitly Self-Adaptive Evolutionary Algorithm on One-Dimensional Unimodal Problems." W E Hart, J M DeLaurentis and L A Ferguson. IEEE Trans Evolutionary Computation. 2003. (to appear).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/new/DeLFerHar02-sub.pdf.gz
  
  
• "Rethinking the Design of Real-Coded Evolutionary Algorithms: Making Discrete Choices in Continuous Search Domains." W E Hart. Soft Computing Journal. 2003. (to appear).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/new/Har02-sub.ps.gz
  
  
• "Locally-adaptive and memetic evolutionary pattern search algorithms." W E Hart. Evolutionary Computation. 11 (1). 2003. pp. 29-52.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2003/Har03-ec.ps.gz
  
  
• "Carbon sequestration in Synechococcus Sp.: From molecular machines to hierarchical modeling." G S Heffelfinger, A Martino, A Gorin, Y Xu, M D Rintoul, A Geist, H M Al-Hashimi, G S Davidson, J L Faulon, L J Frink, D M Haaland, W E Hart, E Jakobsson, T Lane, M Li, P Locascio, F Olken, V Olman, B Palenik, S J Plimpton, D C Roe, N F Samatova, M Shah, A Shoshoni, C E Strauss, E V Thomas, J A Timlin and D Xu. OMICS. 6 (4). 2002. pp. 305-330.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2002/HefMarGorXu02-omics.doc
  
  
• "A convergence analysis of unconstrained and bound constrained evolutionary pattern search." W E Hart. Evolutionary Computation. 9 (1). 2001. pp. 1-23.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2001/Har01-ec.ps.gz
  
  
• "Evolutionary pattern search algorithms for unconstrained and linearly constrained optimization." W E Hart. IEEE Trans Evolutionary Computation. 5 (4). 2001. pp. 388-397.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2001/Har01-tec.ps.gz
  
  
• "Invariant patterns in crystal lattices: Implications for protein folding algorithms." W E Hart and S Istrail. Journal of Universal Computer Science. 6 (6). 2000. pp. 560-579.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2000/HarIst00-jucs.ps.gz
  
  
• "On the intractability of protein folding with a finite alphabet of amino acids." J Atkins and W E Hart. Algorithmica. vol. 25. 1999. pp. 279-294.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/AtkHar99-algor.ps.gz
  
  
• "Learning foraging thresholds for lizards." L A Goldberg, W E Hart and D Wilson. J Theor Bio. vol. 197. 1999. pp. 361-369.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/GolHarWil99-jtb.pdf.gz
  
  
• "Sequential stopping rules for random optimization methods with applications to multistart local search." W E Hart. SIAM J. Optimization. 9 (1). 1999. pp. 270-290. (SNL Tech Report 94-2666).
  
  
• "Measurement and classification of retinal vascular tortuosity." W E Hart, M Goldbaum, B Cote, P Kube and M R Nelson. Intl J Medical Informatics. 53 (2-3). 1999. pp. 239.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/HarGolCotKubNel99-sub.ps.gz
  
  
• "Automated docking using a Lamarckian genetic algorithm and an empirical binding free energy function.." G M Morris, D S Goodsell, R S Halliday, R Huey, W E Hart, R K Belew and A J Olson. J Comp Chem. 19 (14). 1998. pp. 1639-1662.
  
  
• "Robust proofs of NP-hardness for protein folding: General lattices and energy potentials." W E Hart and S Istrail. Journal of Computational Biology. 4 (1). 1997. pp. 1-20.
  
  
• "Lattice and off-lattice side chain models of protein folding: Linear time structure prediction better than 86% of optimal." W E Hart and S Istrail. Journal of Computational Biology. 4 (3). 1997. pp. 241-259.
  
  
• "Fast protein folding in the hydrophobic-hydrophilic model within three-eighths of optimal." W E Hart and S Istrail. Journal of Computational Biology. 3 (1). 1996. pp. 53-96.
  
  

Book Chapters

• "Parallel algorithm design for branch and bound." D A Bader, W E Hart and C A Phillips. 2004. (to appear).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/new/BadHarPhi04-temaor.pdf.gz
  
  
• "Memetic Evolutionary Algorithms." W E Hart, N Krasnogor and J E Smith. 2004. (to appear).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/new/HarKraSmi04-ramarst.pdf.gz
  
  
• "The computational complexity of protein structure prediction in simple lattice models." W E Hart and A Newman. CRC Press. 2003. (to appear).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/new/HarNew03-cmb.pdf.gz
  
  

Refereed Conference Papers

• "Convergence examples of a filter-based evolutionary algorithm." L M Clevenger and W E Hart. Proc Genetic and Evolutionary Computation Conference (GECCO). 2004. pp. 666-677.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2004/CleHar04-gecco.pdf.gz
  
  
• "A filter-based evolutionary algorithm for constrained optimization (extended abstract)." L Ferguson and W E Hart. Proc Workshop on Frontiers in Evolutionary Algorithms. 2003. pp. 287-290.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2003/FerHar03-fea.pdf.gz
  
  
• "Alignment of protein structures with a memetic evolutionary algorithm." R Carr, W E Hart, N Krasnogor, J Hirst, E Burke and J Smith. Proc Genetic and Evolutionary Computation Conf. 2002. pp. 1027-1034.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2002/CarHarKraHirBurSmi02-gecco.ps.gz
  
  
• "DIRECT algorithm with box penetration for improved local convergence." S E Cox, W E Hart, R Haftka and L Watson. Proc 9th AIAA/ISSMO Symposium on Multidisciplinary Analysis and Optimization. 2002. (to appear).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2002/CoxHarHafWat02-aiaa.ps.gz
  
  
• "On the convergence properties of a simple self-adaptive evolutionary algorithm." J M DeLaurentis, L A Ferguson and W E Hart. Proc Genetic and Evolutionary Computation Conf. 2002. pp. 229-237.
  
  
• "PICO: An object-oriented framework for parallel branch-and-bound." J Eckstein, C A Phillips and W E Hart. Proc Inherently Parallel Algorithms in Feasibility and Optimization and Their Applications. 2001. pp. 219-265.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2001/EckPhiHar01-wkshp.ps.gz
  
  
• "Multilevel parallelism for optimization on MP computers: Theory and experiment." M S Eldred, W E Hart, B D Schimel and B G Waanders. Proc 8th AIAA/USAF/NASA/ISSMO Symposium on Multidisciplinary Analysis and Optimization. Sept 2000. Paper AIAA-2000-4818.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2000/EldHarSchvBW00-aiaa.pdf.gz
  
  
• "Improved evolutionary hybrids for flexible ligand docking in AutoDock." W E Hart, C R Rosin, R K Belew and G M Morris. Optimization in Computational Chemistry and Molecular Biology. 2000. pp. 209-230.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/HarRosBelMor99-occmb.ps.gz
  
  
• "Architecting department-scale simulation." D S Greenberg, W E Hart and C A Phillips. Algorithms for Parallel Processing. 1999. pp. 321-344.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/GreHarPhi99-ima.ps.gz
  
  
• "Comparing evolutionary programs and evolutionary pattern search algorithms: A drug docking application." W E Hart. Proc. Genetic and Evolutionary Computation Conf. 1999. pp. 855-862.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/Har99-gecco.ps.gz
  
  
• "A performance analysis of evolutionary pattern search with generalized mutation steps." W E Hart and K Hunter. Proc Cong Evolutionary Computation. 1999. pp. 672-679.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/HarHun99-cec.ps.gz
  
  
• "Protein structure prediction with evolutionary algorithms." N Krasnogor, W E Hart, J Smith and D A Pelta. Proc Genetic and Evolutionary Computation Conf. 1999. pp. 1596-1601.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/KraHarSmiPel99-gecco.ps.gz
  
  
• "Design and implementation of multilevel parallel optimization on the Intel teraflops." M Eldred and W E Hart. Proc 7th AIAA/USAF/NASA/ISSMO Symposium on Multidisciplinary Analysis and Optimization. 1998. pp. 44-54.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1998/EldHar98-aiaa.pdf.gz
  
  
• "On the application of evolutionary pattern search algorithms." W E Hart. Proc Evolutionary Programming VII. New York. 1998. pp. 303-312.
  
  
• "Resource management in a parallel mixed integer programming package." J Eckstein, W E Hart and C A Phillips. Proc Intel Supercomputer Users Group. 1997. http://www.cs.sandia.gov/ISUG97/program.html.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1997/EckHarPhi97-isug.ps.gz
  
  
• "A stationary point convergence theory for evolutionary algorithms." W E Hart. Foundations of Genetic Algorithms 4. San Fransico, CA. 1997. pp. 325-342.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1997/Har97-foga.ps.gz
  
  
• "A generalized stationary point convergence theory for evolutionary algorithms." W E Hart. Proc 7th Intl Conf on Genetic Algorithms. San Francisco, CA. 1997. pp. 127-134.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1997/Har97-icga.ps.gz
  
  
• "On the computational complexity of sequence design problems." W E Hart. RECOMB 97. 1997. pp. 128-136.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1997/Har97-recomb.ps.gz
  
  
• "Automated measurement of retinal vascular tortuosity." W E Hart, M Goldbaum, B Cote, P Kube and M R Nelson. Proc AMIA Fall Conference. 1997. pp. 459-463.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1997/HarGolCotKubNel97-amia.ps.gz
  
  
• "Lattice and off-lattice side chain models of protein folding: Linear time structure prediction better than 86% of optimal (Extended Abstract)." W E Hart and S Istrail. RECOMB 97. 1997. pp. 137-146.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1997/HarIst97-recomb.ps.gz
  
  
• "A comparison of global and local search methods in drug docking." C D Rosin, S Halliday, W E Hart and R K Belew. Proc 7th Intl Conf on Genetic Algorithms. San Francisco, CA. 1997. pp. 221-228.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1997/RosHalHarBel97-icga.ps.gz
  
  
• "Utilizing object-oriented design to build advanced optimization strategies with generic implementation." M S Eldred, W E Hart, W J Bohnhoff, V J Romero, S A Hutchinson and A G Salinger. Proc Sixth AIAA/USAF/NASA/ISSMO Symp on Multidisciplinary Analysis and Optimization. 1996. pp. 1568-1582.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1996/EldHarBohRomHutSal96-aiaa.pdf.gz
  
  
• "Learning foraging thresholds for lizards." L A Goldberg, W E Hart and D Wilson. The Ninth Annual Conf on Computational Learning Theory. 1996. pp. 2-9.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1996/GolHarWil96.ps.gz
  
  
• "A theoretical comparison of evolutionary algorithms and simulated annealing." W E Hart. Proc Fifth Annual Conf on Evolutionary Programming. 1996. pp. 147-154. (Tech Report 95--2079, Sandia National Labs, 1995).
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1996/Har96-ep.ps.gz
  
  
• "Analysis of the numerical effects of parallelism on a parallel genetic algorithm." W E Hart, S Baden, R K Belew and S Kohn. Proc. of 10th Intl Parallel Processing Symp. Los Alamitos, California. 1996. pp. 606-612.
  
  
• "Optimization with genetic algorithm hybrids that use local search." W E Hart and R K Belew. Adaptive Individuals in Evolving Populations: Models and Algorithms. 1996. pp. 483-496. (SFI Studies in the Sciences of Complexity Vol. 26).
  
  
• "Invariant patterns in crystal lattices: Implications for protein folding algorithms." W E Hart and S Istrail. Combinatorial Pattern Matching. New York. 1996. pp. 288-303.
  
  
• "Appendix to S. Shafir and J. Roughgarden's `The effect of memory on individual fitness in a lizard'." F Menczer, W E Hart and M L Littman. Adaptive Individuals in Evolving Populations: Models and Algorithms. 1996. pp. 183-186. (SFI Studies in the Sciences of Complexity Vol. 26).
  
  
• "Fast protein folding in the hydrophobic-hydrophilic model within three-eighths of optimal (Extended Abstract)." W E Hart and S Istrail. Proc. of 27th Annual ACM Symposium on Theory of Computation. 1995. pp. 157-168.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/pre1996/HarIst95a-stoc.ps.gz
  
  
• "The role of development in genetic algorithms." W E Hart, T E Kammeyer and R K Belew. Foundations of Genetic Algorithms 3. San Fransico, CA. 1995. pp. 315-332.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/pre1996/HarKamBel95-foga.ps.gz
  
  
• "Registering retinal images using automatically selected control point pairs." W E Hart and M H Goldbaum. IEEE Intl Conf on Image Processing. 1994. pp. 576-580. Vol. III.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/pre1996/HarGol94-icip.ps.gz
  
  
• "Optimizing an arbitrary function is hard for the genetic algorithm." W E Hart and R K Belew. Proc 4th Intl Conf on Genetic Algorithms. June 1991. pp. 190-195.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/pre1996/HarBel91-icga.ps.gz
  
  

Unrefereed Conference Papers and Technical Reports

• "ACRO User Manual." W E Hart. Sandia National Laboratories. SAND2004-3269. 2004.
  http://software.sandia.gov/Acro/acro/doc/uguide/html/index.html
  
  
• "A general integer-programming-based framework for sensor placement in municipal water networks." J Berry, W E Hart, C A Phillips and J Uber. Proc 6th Annual Symposium on Water Distribution Systems Analysis. 2004.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2004/BerHarPhiUbe04-ewri.pdf.gz
  
  
• "The Coliny Optimization Library." W E Hart. 2004. Available at \urlhttp://software.sandia.gov/Acro/Coliny.
  
  
• "Addressing modelling uncertainties in sensor placement for community water systems." R D Carr, H J Greenberg, W E Hart and C A Phillips. Proc 6th Annual Symposium on Water Distribution Systems Analysis. 2004.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2004/CarGreHarPhi04-ewri.pdf.gz
  
  
• "A multiple-objective analysis of sensor placement optimization in water networks." J Watson, H J Greenberg and W E Hart. Proc 6th Annual Symposium on Water Distribution Systems Analysis. 2004.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2004/WatGreHar04-ewri.pdf.gz
  
  
• "Sensor placement in municipal water networks." J Berry, L Fleischer, W Hart and C Phillips. Proc World Water and Environmental Resources Conference. 2003.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2003/BerFleHarPhi03-ewri.ps.gz
  
  
• "An Introduction to the COLIN Optimization Interface." W E Hart. 2003 Genetic and Evolutionary Computation Conference Workshop Progr am. 2003. pp. 216-221.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2003/Har03-woma.ps.gz
  
  
• "Detection and reconstruction of error control codes for engineered and biological regulatory systems." E E May, A M Johnston, W E Hart, J Watson, R J Pryor and M D Rintoul. Sandia National Laboratories. SAND2003-3963. 2003.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2003/MayJohHarWatPryRin03-sand.pdf
  
  
• "DAKOTA, a multilevel parallel object-oriented framework for design optimization, parameter estimation, uncertainty quantification, and sensitivity analysis: Version 3.0 users manual." M S Eldred, A A Giunta, B v Waanders, S F Wojtkiewicz, W E Hart and M P Alleva. Sandia National Laboratories. SAND2001-3796. 2001.
  http://infoserve.sandia.gov/sand_doc/2001/013796.pdf
  
  
• "DAKOTA, a multilevel parallel object-oriented framework for design optimization, parameter estimation, uncertainty quantification, and sensitivity analysis: Version 3.0 developers manual." M S Eldred, A A Giunta, B v Waanders, S F Wojtkiewicz, W E Hart and M P Alleva. Sandia National Laboratories. SAND2001-3514. 2001.
  http://infoserve.sandia.gov/sand_doc/2001/013514.pdf
  
  
• "DAKOTA, a multilevel parallel object-oriented framework for design optimization, parameter estimation, uncertainty quantification, and sensitivity analysis: Version 3.0 reference manual." M S Eldred, A A Giunta, B v Waanders, S F Wojtkiewicz, W E Hart and M P Alleva. Sandia National Laboratories. SAND2001-3515. 2001.
  http://infoserve.sandia.gov/sand_doc/2001/013515.pdf
  
  
• "SGOPT User Manual Version 2.0." W E Hart. Sandia National Laboratories. SAND2001-3789. 2001.
  
  
• "UTILIB User Manual Version 1.0." W E Hart. Sandia National Laboratories. SAND2001-3788. 2001.
  
  
• "PICO: An Object-Oriented Framework for Branch and Bound." J Eckstein, W E Hart and C A Phillips. Sandia National Laboratories. SAND2000-3000. 2000.
  
  
• "An algorithm for locating sensors in a large multi-room building." F Gelbard, J E Brockmann, K K Murata and W E Hart. Sandia National Laboratories. SAND2000-0851. 2000.
  
  
• "An Evaluation of Optimization Formulations for Production Planning at Pantex." W E Hart, C Lawton and C A Phillips. Sandia National Laboratories. SAND2000-1436. 2000.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/2000/HarLawPhi00-sand.doc
  
  
• "A Naturalistic Decision Making Model for Simulated Human Combatants." K O Hunter, W E Hart and J C Forsythe. Sandia National Laboratories. SAND2000-0974. 2000.
  
  
• "LDRD Final Report: Global Optimization for Engineering Science Problems." W E Hart. Sandia National Laboratories. SAND99-2958. 1999.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/1999/Har99-sand.ps.gz
  
  
• "A theoretical comparison of stochastic optimization algorithms: Simulated annealing, evolutionary algorithms and markovian search algori thms." W E Hart. (unpublish research).
  
  
• "Crystallographical universal approximability: A complexity theory of protein folding algorithms on crystal lattices." W E Hart and S Istrail. Sandia National Laboratories, Albuquerque, NM. SAND95-1294. 1995.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/pre1996/crystal-sand.ps.gz
  
  
• "Classification of blood vessels in images of the ocular fundus." B Cote, W E Hart, M Goldbaum, P Kube and M R Nelson. University of California, San Diego. CS94-350. 1994.
  
  
• "Adaptive Global Optimization with Local Search." W E Hart. University of California, San Diego. 1994.
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/pre1996/thesis-abs.ps.gz
  ftp://ftp.cs.sandia.gov/pub/papers/wehart/pre1996/thesis.ps.gz
  
  
• "Automated registration of digital ocular fundus images for comparison of lesions." M H Goldbaum, V Kouznetsova, B Cote, W E Hart and M Nelson. Proceedings of Ophthalmic Technologies III. SPIE. 1993. pp. 94-99.
  
  
• "Optimization using genetic algorithms with neural network learning rules." W E Hart and R K Belew. Proceedings of the INC Annual Research Symposium 3. Univ. of California, San Diego. 1993.
  
  
• "Automatic segmentation and classification of objects in retinal images." W E Hart, B Cote, P Kube, M H Goldbaum and M R Nelson.