William E. Hart

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 6

Top Topics

Branch And Bound

Digital X Ray Images

Scientific Computing

Top Venues

Concurr. Comput. Pract. Exp.

Comput. Sci. Eng.

Publications

She'ifa Z. Punla-Green, John E. Mitchell, Jared L. Gearhart, William E. Hart, Cynthia A. Phillips
Shortest path network interdiction with asymmetric uncertainty. Networks 83 (3) (2024)
Felix Wittwer, Nicholas K. Sauter, Derek Mendez, Billy K. Poon, Aaron S. Brewster, James M. Holton, Michael E. Wall, William E. Hart, Deborah Bard, Johannes P. Blaschke
Accelerating x-ray tracing for exascale systems using Kokkos. Concurr. Comput. Pract. Exp. 36 (5) (2024)
Bashar L. Ammari, Emma S. Johnson, Georgia Stinchfield, Taehun Kim, Michael Bynum, William E. Hart, Joshua Pulsipher, Carl D. Laird
Linear model decision trees as surrogates in optimization of engineering applications. Comput. Chem. Eng. 178 (2023)
Felix Wittwer, Nicholas K. Sauter, Derek Mendez, Billy K. Poon, Aaron S. Brewster, James M. Holton, Michael E. Wall, William E. Hart, Deborah Bard, Johannes P. Blaschke
Accelerating X-Ray Tracing for Exascale Systems using Kokkos. CoRR (2022)
Thomas M. Evans, Andrew R. Siegel, Erik W. Draeger, Jack Deslippe, Marianne M. Francois, Timothy C. Germann, William E. Hart, Daniel F. Martin
A survey of software implementations used by application codes in the Exascale Computing Project. Int. J. High Perform. Comput. Appl. 36 (1) (2022)
Anshu Dubey, Lois Curfman McInnes, Rajeev Thakur, Erik W. Draeger, Thomas M. Evans, Timothy C. Germann, William E. Hart
Performance Portability in the Exascale Computing Project: Exploration Through a Panel Series. Comput. Sci. Eng. 23 (5) (2021)
Jonathan Eckstein, William E. Hart, Cynthia A. Phillips
PEBBL: an object-oriented framework for scalable parallel branch and bound. Math. Program. Comput. 7 (4) (2015)
Angelica V. Mann, Sean A. McKenna, William E. Hart, Carl D. Laird
Real-time inversion in large-scale water networks using discrete measurements. Comput. Chem. Eng. 37 (2012)
Jean-Paul Watson, David L. Woodruff, William E. Hart
PySP: modeling and solving stochastic programs in Python. Math. Program. Comput. 4 (2) (2012)
William E. Hart, Jean-Paul Watson, David L. Woodruff
Pyomo: modeling and solving mathematical programs in Python. Math. Program. Comput. 3 (3) (2011)
Regan Murray, William E. Hart, Cynthia A. Phillips, Jonathan W. Berry, Erik G. Boman, Robert D. Carr, Lee Ann Riesen, Jean-Paul Watson, Terra Haxton, Jonathan G. Herrmann, Robert Janke, George Gray, Thomas Taxon, James G. Uber, Kevin M. Morley
US Environmental Protection Agency Uses Operations Research to Reduce Contamination Risks in Drinking Water. Interfaces 39 (1) (2009)
William E. Hart, Jonathan W. Berry, Robert T. Heaphy, Cynthia A. Phillips
EXACT: the experimental algorithmics computational toolkit. Experimental Computer Science (2007)
William E. Hart, Jonathan W. Berry, Erik G. Boman, Cynthia A. Phillips, Lee Ann Riesen, Jean-Paul Watson
Limited-Memory Techniques for Sensor Placement in Water Distribution Networks. LION (2007)
Robert D. Carr, Harvey J. Greenberg, William E. Hart, Goran Konjevod, Erik Lauer, Henry Lin, Tod Morrison, Cynthia A. Phillips
Robust optimization of contaminant sensor placement for community water systems. Math. Program. 107 (1-2) (2006)
Lauren M. Clevenger, Lauren Ferguson, William E. Hart
A Filter-Based Evolutionary Algorithm for Constrained Optimization. Evol. Comput. 13 (3) (2005)
Tanya Y. Berger-Wolf, William E. Hart, Jared Saia
Discrete sensor placement problems in distribution networks. Math. Comput. Model. 42 (13) (2005)
William E. Hart
Rethinking the design of real-coded evolutionary algorithms: Making discrete choices in continuous search domains. Soft Comput. 9 (4) (2005)
Lauren M. Clevenger, William E. Hart
Convergence Examples of a Filter-Based Evolutionary Algorithm. GECCO (1) (2004)
William E. Hart, N. Ktaliorasnogor, Jim E. Smith
Editorial Introduction Special Issue on Memetic Algorithms. Evol. Comput. 12 (3) (2004)
Jean-Paul Watson, Michael J. Collins, William E. Hart, Hai Le, Laura Painton Swiler, Bruce Thompson
Spares Optimization for the Lockheed Martin Joint Strike Fighter. WSC (2004)
Harvey J. Greenberg, William E. Hart, Giuseppe Lancia
Opportunities for Combinatorial Optimization in Computational Biology. INFORMS J. Comput. 16 (3) (2004)
William E. Hart
Locally-Adaptive and Memetic Evolutionary Pattern Search Algorithms. Evol. Comput. 11 (1) (2003)
Robert D. Carr, William E. Hart, Natalio Krasnogor, Jonathan D. Hirst, Edmund K. Burke, James Smith
Alignment Of Protein Structures With A Memetic Evolutionary Algorithm. GECCO (2002)
John DeLaurentis, Lauren Ferguson, William E. Hart
On The Convergence Properties Of A Simple Self-adaptive Evolutionary Algorithm. GECCO (2002)
William E. Hart
A Convergence Analysis of Unconstrained and Bound Constrained Evolutionary Pattern Search. Evol. Comput. 9 (1) (2001)
William E. Hart
Evolutionary pattern search algorithms for unconstrained and linearly constrained optimization. IEEE Trans. Evol. Comput. 5 (4) (2001)
William E. Hart, Sorin Istrail
Invariant Patterns in Crystal Lattices: Implications for Protein Folding Algorithms. J. Univers. Comput. Sci. 6 (6) (2000)
William E. Hart, Michael H. Goldbaum, Brad Côté, Paul Kube, Mark R. Nelson
Measurement and classification of retinal vascular tortuosity. Int. J. Medical Informatics 53 (2-3) (1999)
John Atkins, William E. Hart
On the Intractability of Protein Folding with a Finite Alphabet of Amino Acids. Algorithmica 25 (2-3) (1999)
William E. Hart
Comparing Evolutionary Programs and Evolutionary Pattern Search Algorithms: A Drug Docking Application. GECCO (1999)
William E. Hart, Keith O. Hunter
A performance analysis of evolutionary pattern search with generalized mutation steps. CEC (1999)
Garrett M. Morris, David S. Goodsell, Robert S. Halliday, Ruth Huey, William E. Hart, Richard K. Belew, Arthur J. Olson
Automated docking using a Lamarckian genetic algorithm and an empirical binding free energy function. J. Comput. Chem. 19 (14) (1998)
William E. Hart
On the Application of Evolutionary Pattern Search Algorithms. Evolutionary Programming (1998)
William E. Hart
Sequential Stopping Rules for Random Optimization Methods with Applications to Multistart Local Search. SIAM J. Optim. 9 (1) (1998)
William E. Hart, Michael H. Goldbaum, Brad Côté, Paul Kube, Mark R. Nelson
Automated measurement of retinal vascular tortuosity. AMIA (1997)
William E. Hart, Sorin Istrail
Lattice and off-lattice side chain models of protein folding (extended abstract): linear time structure prediction better than 86% of optimal. RECOMB (1997)
William E. Hart
A Generalized Stationary Point Convergence Theory for Evolutionary Algorithms. ICGA (1997)
Christopher D. Rosin, R. Scott Halliday, William E. Hart, Richard K. Belew
A Comparison of Global and Local Search Methods in Drug Docking. ICGA (1997)
William E. Hart, Sorin Istrail
Robust Proofs of NP-Hardness for Protein Folding: General Lattices and Energy Potentials. J. Comput. Biol. 4 (1) (1997)
William E. Hart, Sorin Istrail
Lattice and Off-Lattice Side Chain Models of Protein Folding: Linear Time Structure Prediction Better than 86% of Optimal. J. Comput. Biol. 4 (3) (1997)
William E. Hart
On the computational complexity of sequence design problems. RECOMB (1997)
William E. Hart, Sorin Istrail
Invariant Patterns in Crystal Lattices: Implications for Protein Folding Algorithms (Extended Abstract). CPM (1996)
William E. Hart
A Stationary Point Convergence Theory for Evolutionary Algorithms. FOGA (1996)
William E. Hart, Sorin Istrail
Fast Protein Folding in the Hydrophobic-Hydrophillic Model within Three-Eights of Optimal. J. Comput. Biol. 3 (1) (1996)
William E. Hart, Scott B. Baden, Richard K. Belew, Scott R. Kohn
Analysis of the Numerical Effects of Parallelism on a Parallel Genetic Algorithm. IPPS (1996)
William E. Hart
A Theoretical Comparison of Evolutionary Algorithms and Simulated Annealing. Evolutionary Programming (1996)
William E. Hart, Sorin Istrail
Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract). STOC (1995)
William E. Hart, Thomas E. Kammeyer, Richard K. Belew
The Role of Development in Genetic Algorithms. FOGA (1994)
William E. Hart, Michael H. Goldbaum
Registering Retinal Images Using Automatically Selected Control Point Pairs. ICIP (3) (1994)
William E. Hart, Richard K. Belew
Optimising an Arbitrary Function is Hard for the Genetic Algorithm. ICGA (1991)