Certification of an optimal TSP tour through 85,900 cities (2009)
Robert E. Bixby, William Cook, Daniel G. Espinoza, Marcos Goycoolea, Keld Helsgaun, Fschool Of Business
We describe a computer code and data that together certify the optimality of a solution to the 85,900-city traveling salesman problem pla85900, the largest instance in the TSPLIB collection of...
Structured Interacting Computations (A position paper) ⋆ (2009)
Abstract. Today, concurrency is ubiquitous, in desktop applications, client-server systems, workflow systems, transaction processing and web services. Design of concurrent systems, particularly in...
Instructors Jim Browne, William Cook, Csp Fall
• What is a software system? • How will we represent a software system? • How will we analyze our system to be sure it is does what it is supposed to do? • How will we maintain and extend our...
Add�ÙandÐ�Ø ���� � �ÜÔÖ as two possible (2009)
¯Define an asynchronous semantics, using labeled transitions. An expression transits to another expression, causing an event. Labels are events. ¯Refine asynchronous semantics to a synchronous...
Abstract Certification of an optimal TSP tour through 85,900 cities (2009)
Robert E. Bixby, William Cook, Daniel G. Espinoza, Marcos Goycoolea, Keld Helsgaun, Fschool Of Business
We describe a computer code and data that together certify the optimality of a solution to the 85,900-city traveling salesman problem pla85900, the largest instance in the TSPLIB collection of...
A Study of Domino-Parity and k-Parity Constraints for the TSP (2008)
William Cook, Daniel Espinoza, Marcos Goycoolea
Abstract. Letchford (2000) introduced the domino-parity inequalities for the symmetric traveling salesman problem and showed that if the support graph of an LP solution is planar, then the separation...
Genome Analysis, Ro A. Schäffer, Edward Stallknecht Rice, William Cook, Richa Agarwala
rh tsp map 3.0: end-to-end radiation hybrid mapping with improved speed and quality control
Specializing and Optimizing Declarative Domain Models (2008)
Srinivas Nedunuri, William Cook
Abstract In this position paper we propose specifying platform independent models using a functional language with a view to specializing and optimizing them using equational or algebraic reasoning....
Abstract F-Bounded Polymorphism for Object-Oriented Programming (2008)
Peter Canning, William Cook, Walter Hill, Walter Olthoff
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “object ” model and...
Priatrd in V.S^, ON THE MATRIX-CUT RANK OF POLYHEDRA (2008)
Lov^sz and Schrijver (1991) described a semidcfinile operator for generating strong valid inequalities for the 0-! vectors in a prescribed polyhedron. Among their resuli.s. they showed ihai ii...
William Cook, Daniel G. Espinoza, Marcos Goycoolea
doi 10.1287/ijoc.1060.0204
Sahil Thaker, Don Batory, David Kitchin, William Cook
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of features, there are also...
Event Structure Semantics of Orc (2008)
Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Claude Jard
Abstract. One challenge in developing wide-area distributed applications is analyzing the system’s non-functional properties, including timing constraints and internal dependencies that can affect...
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive definitions. The...
Large Traveling Salesman Received: date / Revised version: date (2007)
Robert Bixby, Vaek Chvtal, William Cook, Algorithm For
Abstract. Dantzig, Fulkerson, and Johnson (1954) introduced the cutting-plane method as a means of attacking the traveling salesman problem; this method has been applied to broad classes of problems...
William Cook, Jennifer L. Rich
parallel cutting-plane algorithm for the vehicle routing
We use a branch-and-cut search to solve the Whizzkids'96 vehicle routing problem, demonstrating that the winning solution in the 1996 competition is in fact optimal. Our algorithmic framework...
We discuss several issues that arise in the implementation of Martin, Otto, and Felten's Chained Lin-Kernighan heuristic for large-scale traveling salesman problems. Computational results are...
Abstract. The first computer implementation of the Dantzig-FulkersonJohnson cutting-plane method for solving the traveling salesman problem, written by Martin, used subtour inequalities as well as...
Safe Query Objects: Statically-Typed Objects as Remotely-Executable Queries (2007)
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet the impedance...
Doc. Math. J. DMV 645 On the Solution of Traveling Salesman Problems (2007)
Robert Bixby, William Cook, M. Grotschel, S. Hong, M. Junger, ...
Abstract. Following the theoretical studies of J.B. Robinson and H.W. Kuhn in the late 1940s and the early 1950s, G.B. Dantzig, R. Fulkerson, and S.M. Johnson demonstrated in 1954 that large...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
rh_tsp_map 3.0: end-to-end radiation hybrid mapping with improved speed and quality control (2007)
Schäffer, Alejandro A., Rice, Edward Stallknecht, Cook, William, Agarwala, Richa
Summary: rh_tsp_map is a software package for computing radiation hybrid (RH) maps and for integrating physical and genetic maps. It solves the central mapping instances by reducing them to the...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
Event Structure Semantics of Orc (2007)
Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...
Exact solutions to linear programming problems (2007)
William Cook, Sanjeeb Dash, Daniel G. Espinoza
The use of floating-point calculations limits the accuracy of solutions obtained by standard LP software. We present a simplex-based algorithm that returns exact rational solutions, taking advantage...
rh_tsp_map 3.0: End-to-end radiation hybrid mapping with improved speed and quality control (2007)
Schäffer, Alejandro A., Rice, Edward Stallknecht, Cook, William, Agarwala, Richa
Summary: rh_tsp_map is a software package for computing radiation hybrid (RH) maps and for integrating physical and genetic maps. It solves the central mapping instances by reducing them to the...
rh_tsp_map 3.0: End-to-end radiation hybrid mapping with improved speed and quality control (2007)
Schäffer, Alejandro A., Rice, Edward Stallknecht, Cook, William, Agarwala, Richa
Summary: rh_tsp_map is a software package for computing radiation hybrid (RH) maps and for integrating physical and genetic maps. It solves the central mapping instances by reducing them to the...
Understanding Feature Modularity (2006)
Roberto Erick, Lopez Herrejon, Don Batory Supervisor, William Cook, James C. Browne, Dewayne Perry, ...
To my family
Evaluating Support for Features in Advanced Modularization Technologies (2005)
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functionality. Modularizing...
Evaluating Support for Features in Advanced Modularization Technologies (2005)
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functionality. Modularizing...
Implementing Domino-Parity Inequalities for the Traveling Salesman Problem (2005)
William Cook, Daniel Espinoza, Marcos Goycoolea
We describe an implementation of Letchford’s domino-parity inequalities for the (symmetric) traveling salesman problem. The implementation includes pruning methods to restrict the search for...
Scaling Behaviour in the Number of Criminal Acts Committed by Individuals (2004)
Cook, William, Ormerod, Paul, Cooper, Ellie
We find subtle deviations from power law behaviour in the number of crimes committed by individuals, analysing the two main criminology databases which track this behaviour, the Pittsburgh Young...
Power Law Distribution of the Frequency of Demises of U.S Firms (2002)
Both theoretical and applied economics have a great deal to say about many aspects of the firm, but the literature on the extinctions, or demises, of firms is very sparse. We use a publicly available...
Cook,William, Brown,Frank, Zussman,Fred
AMSEC (Analytical Methodology for System Evaluation and Control). AMSEC is comprised of three basic components: A RMAC model which develops estimates of system or subsystem reliability, availability,...
Abstract. Dantzig, Fulkerson, and Johnson (1954) introduced the cutting-plane method as a means of attacking the traveling salesman problem; this method has been applied to broad classes of problems...
Solution of a min-max vehicle routing problem (2002)
William Cook, Sanjeeb Dash, André Rohe
We use a branch-and-cut search to solve the Whizzkids’96 vehicle routing problem, demonstrating that the winning solution in the 1996 competition is in fact optimal. Our algorithmic framework...
TSP cuts which do not conform to the template paradigm (2001)
Abstract. The first computer implementation of the Dantzig-Fulkerson-Johnson cutting-plane method for solving the traveling salesman problem, written by Martin, used subtour inequalities as well as...
On the matrix-cut rank of polyhedra (2001)
Lov'asz and Schrijver (1991) described a semi-definite operator for generating strong valid inequalities for the 0-1 vectors in a prescribed polyhedron. Among their results, they showed that n...
On the Matrix-Cut Rank of Polyhedra (2001)
William Cook And, William Cook, Sanjeeb Dash
Lov'asz and Schrijver (1991) described a semi-definite operator for generating strong valid inequalities for the 0-1 vectors in a prescribed polyhedron. Among their results, they showed that n...
TSP cuts which do not conform to the template paradigm (2001)
David Applegate, Robert Bixby, Vasek Chvatal, William Cook
The first computer implementation of the Dantzig-Fulkerson-Johnson cutting-plane method for solving the traveling salesman problem, written by Martin, used subtour inequalities as well as cutting...
TSP cuts outside the template paradigm (2000)
David Applegate, Robert Bixby, Vasek Chvátal, William Cook
The early computer implementation of the cutting-plane method for solving the traveling salesman problem, written by Martin, used subtour inequalities as well as cutting planes of Gomory's type....
Computational experience with parallel mixed integer programming in a distributed environment (1999)
Robert E. Bixby, William Cook, Alan Cox, Eva K. Lee
Numerical experiments for a parallel implementation of a branch-and-bound mixed 0/1 integer programming code are presented. Among its features, the code includes cutting-plane generation at the root...
Finding Tours in the TSP (1999)
David Applegate, Robert Bixby, Vasek Chvátal, William Cook
The traveling salesman problem, or TSP for short, is easy to state: given a finite number of "cities" along with the cost of travel between each pair of them, find the cheapest way of...
On the Matrix-Cut Rank of Polyhedra (1999)
Lov'asz and Schrijver (1991) described a semi-definite operator for generating strong valid inequalities for the 0-1 vectors in a prescribed polyhedron. Among their results, they showed that n...
Chained Lin-Kernighan for large traveling salesman problems (1999)
David Applegate, William Cook, André Rohe
We discuss several issues that arise in the implementation of Martin, Otto, and Felten's Chained Lin-Kernighan heuristic for large-scale traveling salesman problems. Computational results are...
Joint Materiel Apportionment and Allocation. (1998)
Day, Robert, White, George, Cook, William, Bryant, M., Miller, Robert
During FY 87, the Studies, Concepts, and Analysis Division, Logistics Directorate, OJCS, contracted with the Systems Research and Applications (SRA) Corporation to examine the ability of the Services...
Computing Minimum-Weight Perfect Matchings (1998)
We make several observations on the implementation of Edmonds' blossom algorithm for solving minimum-weight perfect-matching problems and we present computational results for geometric problem...
On the Solution of Traveling Salesman Problems (1998)
David Applegate, Robert Bixby, Robert Bixby, William Cook
Following the theoretical studies of J.B. Robinson and H.W. Kuhn in the late 1940s and the early 1950s, G.B. Dantzig, R. Fulkerson, and S.M. Johnson demonstrated in 1954 that large instances of the...
Parallel Mixed Integer Programming (1995)
Robert E. Bixby, William Cook, Alan Cox, Eva K. Lee
Numerical experiments for a parallel implementation of a branch-and-bound mixed 0/1 integer programming code are presented. Among its features, the code includes cutting-plane generation at the root...
A Denotational Semantics of Inheritance and its Correctness (1995)
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive definitions. The...
FINDING CUTS IN THE TSP (A preliminary report) (1995)
David Applegate, Robert Bixby, William Cook
this report); our LP solver was CPLEX, which we modified in significant ways. In January 1992, we began our first run on pcb3038. As we monitored the growth of the branch-and-cut tree during a few...
Parallel Mixed Integer Programming (1995)
Robert Bixby, Eva Lee, Robert E. Bixby, William Cook, William Cook, Alan Cox, ...
Numerical experiments for a parallel implementation of a branch-and-bound mixed 0/1 integer programming code are presented. Among its features, the code includes cutting-plane generation at the root...
Finding Cuts In The TSP (A preliminary report) (1995)
David Applegate, Robert Bixby, Vasek Chvatal, William Cook
TSPLIB is Gerhard Reinelt's library of some hundred instances of the traveling salesman problem. Some of these instances arise from drilling holes in printed circuit boards; others arise from...
A Denotational Semantics of Inheritance and its Correctness (1994)
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive definitions. The...
Mixin-based Inheritance (1990)
The diverse inheritance mechanisms provided by Smalltalk, Beta, and CLOS are interpreted as different uses of a single underlying construct. Smalltalk and Beta differ primarily in the direction of...
Cutting-plane proofs in polynomial space (1990)
Following Chvfital, cutting planes may be viewed as a proof system for establishing that a given system of linear inequalities has no integral solution. We show that such proofs may be carried out in...
A proposal for making Eiffel type-safe (1989)
Statically type-correct Eiffel programs may produce run-time errors because (1) attributes may be redeclared during inheritance, invalidating assignments in the superclass, (2) a formal method...
A Denotational Semantics of Inheritance and its Correctness (1989)
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive definitions. The...
On box totally dual integral polyhedra (1986)
Edmonds and Giles introduced the class of box totally dual integral polyhedra as a generalization of submodular flow polyhedra. In this paper a geometric characterization of these polyhedra is given....
On some aspects of totally dual integral systems [microform] / (1985)
Thesis (Ph. D.)--University of Waterloo, 1983.
Vita.
Thesis (Ph. D.)--American University, 1968.
Vita.
A study of determine the subjects needed in a band student handbook. (1951)
Thesis (M.A. Ed.)--Arizona State University, 1951--Music.
The bulletin board as an instructional device. (1950)
Thesis (M.E.)--Wayne University, Dept. of Education.
On Cover: University of Pennsylvania.
Auction.; On versoL 1.50 9.
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Record level- William Cook corresponds with Lois Jotter Cutter about his forthcoming book on the Nevills Expedition of 1938. In these letters, he makes his introduction, discusses other members of...
Insig-1 “brakes” lipogenesis in adipocytes and inhibits differentiation of preadipocytes
Li, Jinping, Takaishi, Kiyosumi, Cook, William, McCorkle, Sara Kay, Unger, Roger H.
We have examined gene expression in the fat tissue of normal mice at the onset of diet-induced obesity. Insulin-induced gene 1 (insig-1) mRNA rose progressively with a high-fat diet and declined on a...
Insig-1 “brakes” lipogenesis in adipocytes and inhibits differentiation of preadipocytes
Li, Jinping, Takaishi, Kiyosumi, Cook, William, McCorkle, Sara Kay, Unger, Roger H.
We have examined gene expression in the fat tissue of normal mice at the onset of diet-induced obesity. Insulin-induced gene 1 (insig-1) mRNA rose progressively with a high-fat diet and declined on a...
An Implementation of the Generalized Basis Reduction Algorithm for Integer Programming
William Cook, Thomas Rutherford, Herbert E. Scarf, David F. Shallcross
In recent years many advances have been made in solution techniques for specially structured 0-1 integer programming problems. In contrast, very little progress has been made on solving general...
Power Law Distribution of the Frequency of Demises of U.S Firms
Both theoretical and applied economics have a great deal to say about many aspects of the firm, but the literature on the extinctions, or demises, of firms is very sparse. We use a publicly available...