Sandia National Laboratories
William Hart
Projects & Highlights
Publications & Presentations
Software
Contact Info
Miscellaneous
Internal Reports



Related Links
Discrete Algorithms and Mathematics Dept
CCIM
CSRI


Contact Info
William Hart
Distinguished Member of Technical Staff
(wehart@sandia.gov)
(505) 844-2217

Publications and Presentations

Recent Submissions

    Journal Papers

    • "Sensor placement in municiple water networks with temporal integer programming models." J Berry, W E Hart, C E Phillips, J G Uber and J Watson. J. Water Resources Planning and Management. 132 (4). 2006. pp. 218-224. [SAND 2005-5815 J]
      2006/BerHarPhiUbeWat06-jwrpm.pdf.gz

    • "Robust Optimization of Contaminant Sensor Placement for Community Water Systems." R D Carr, H J Greenberg, W E Hart, G Konjevod, E Lauer, H Lin, T Morrison and C A Phillips. Mathematical Programming Series B. vol. 107. 2006. pp. 337-356. [SAND 2004-4530 J]
      2006/CarGreHarKonLauLinMorPhi06-mathprog.pdf.gz

    • "Sensor placement in municipal water networks." J W Berry, L Fleischer, W E Hart, C A Phillips and J Watson. Journal of Water Resources Planning and Management. 131 (3). May 2005. pp. 237-243. [SAND 2004-5225 J]
      2005/BerFleHarPhiWat05-jwrpm.pdf.gz

    • "Discrete sensor placement problems in distributed networks." T Y Berger-Wolf, W E Hart and J Saia. Mathematical and Computer Modeling. 42 (13). 2005. pp. 1385-1396. [SAND 2004-0021 J]
      2005/BerHarSai05-mathmodeling.pdf.gz

    • "A filter-based evolutionary algorithm for constrained optimization." L M Clevenger, L Ferguson and W E Hart. Evolutionary Computation. 13 (3). 2005. pp. 329-352.
      2005/CleFerHar05-ec.pdf.gz

    • "Rethinking the Design of Real-Coded Evolutionary Algorithms: Making Discrete Choices in Continuous Search Domains." W E Hart. Soft Computing Journal. vol. 9. 2005. pp. 225-235.
      2005/Har05-softcomputing.pdf.gz

    • "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.
      2004/GreHarLan04-informs.pdf.gz

    • "Locally-adaptive and memetic evolutionary pattern search algorithms." W E Hart. Evolutionary Computation. 11 (1). 2003. pp. 29-52.
      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.
      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.
      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.
      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.
      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.
      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.
      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.
      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

    Refereed Conference Papers

    Unrefereed Conference Papers and Technical Reports

    Presentations

    • A birds eye view of global optimization and evolutionary computation.
      Parallel Problem Solving from Nature. Granada, Spain. Sept 10, 2002.
      PowerPoint

    Top of page