William R. Cook
YOU?
Author Swipe
View article: Numerical relativity simulations of compact binaries: Comparison of cell- and vertex-centered adaptive meshes
Numerical relativity simulations of compact binaries: Comparison of cell- and vertex-centered adaptive meshes Open
Given the compact binary evolution problem of numerical relativity, in the finite-difference, block-based, adaptive mesh refinement context, choices must be made on how evolved fields are to be discretized. In -thena++, the space-time solv…
View article: Time-Variant Vector Field Visualization for Magnetic Fields of Neutron Star Simulations
Time-Variant Vector Field Visualization for Magnetic Fields of Neutron Star Simulations Open
We present a novel visualization application designed to explore the time-dependent development of magnetic fields of neutron stars. The strongest magnetic fields in the universe can be found within neutron stars, potentially playing a rol…
View article: Time-Variant Vector Field Visualization for Magnetic Fields of Neutron Star Simulation
Time-Variant Vector Field Visualization for Magnetic Fields of Neutron Star Simulation Open
View article: Adaptive mesh refinement in binary black holes simulations
Adaptive mesh refinement in binary black holes simulations Open
We discuss refinement criteria for the Berger-Rigoutsos (block-based) refinement algorithm in our numerical relativity code GR-Athena++ in the context of binary black hole merger simulations. We compare three different strategies: the "box…
View article: Design of UO<sub>2</sub>-BeO Critical Experiment at Sandia [Poster]
Design of UO<sub>2</sub>-BeO Critical Experiment at Sandia [Poster] Open
The purpose of this proposal is to design a new integral critical experiment to investigate the effects of beryllium oxide and high assay low-enriched uranium fuels. this proposal considers using several existing resources at Sandia: (1) t…
View article: Integral Experiment Request 523 CED – 1 Report
Integral Experiment Request 523 CED – 1 Report Open
This report documents the preliminary design phase of the Critical Experiment Design (CED-1) conducted as part of integral experiment request (IER) 523. The purpose of IER-523 is to determine critical configurations of 35 weight percent (w…
View article: Local elimination in the traveling salesman problem
Local elimination in the traveling salesman problem Open
Hougardy and Schroeder (WG 2014) proposed a combinatorial technique for pruning the search space in the traveling salesman problem, establishing that, for a given instance, certain edges cannot be present in any optimal tour. We describe a…
View article: Acinar cystic transformation of the pancreas
Acinar cystic transformation of the pancreas Open
View article: State machine analysis of sensor data from dynamic processes
State machine analysis of sensor data from dynamic processes Open
A state machine model analyzes sensor data from dynamic processes at a facility to identify the actual processes that were performed at the facility during a period of interest for the purpose of remote facility inspection. An inspector ca…
View article: Second release of the CoRe database of binary neutron star merger waveforms
Second release of the CoRe database of binary neutron star merger waveforms Open
We present python notebooks and data release associated to the "Second release of the CoRe database of binary neutron star merger waveforms" [1]. More information on the CoRe DB and collaboration can be found in our website and in the firs…
View article: Second release of the CoRe database of binary neutron star merger waveforms
Second release of the CoRe database of binary neutron star merger waveforms Open
We present the second data release of gravitational waveforms from binary neutron star merger simulations performed by the Computational Relativity (CoRe) collaboration. The current database consists of 254 different binary neutron star co…
View article: A Generalized Method of Undetermined Coefficients
A Generalized Method of Undetermined Coefficients Open
The method of undetermined coefficients is used to solve constant coefficient nonhomogeneous differential equations whose forcing function is itself the solution of a homogeneous constant coefficient differential equation. In this paper, w…
View article: Constrained Local Search for Last-Mile Routing
Constrained Local Search for Last-Mile Routing Open
Last-mile routing refers to the final step in a supply chain, delivering packages from a depot station to the homes of customers. At the level of a single van driver, the task is a traveling salesman problem. But the choice of route may be…
View article: Integral Experiment Request 523 Feasibility Study (Summary Report)
Integral Experiment Request 523 Feasibility Study (Summary Report) Open
This report documents the feasibility phase of the Critical Experiment Design (CED) conducted as part of integral experiment request (IER) 523. The purpose of IER-523 is to explore the effects of using 35 weight percent enriched uranium di…
View article: Separation Logic-Based Verification atop a Binary-Compatible Filesystem Model
Separation Logic-Based Verification atop a Binary-Compatible Filesystem Model Open
View article: Parametric Analysis of Handbook Metal-Water Critical Mass Curves with MCNP.
Parametric Analysis of Handbook Metal-Water Critical Mass Curves with MCNP. Open
View article: Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model Open
View article: Binary-Compatible Verification of Filesystems with ACL2
Binary-Compatible Verification of Filesystems with ACL2 Open
Filesystems are an essential component of most computer systems. Work on the verification of filesystem functionality has been focused on constructing new filesystems in a manner which simplifies the process of verifying them against speci…
View article: Verifying equivalence of database-driven applications
Verifying equivalence of database-driven applications Open
This paper addresses the problem of verifying equivalence between a pair of programs that operate over databases with different schemas. This problem is particularly important in the context of web applications, which typically undergo dat…
View article: Index
Index Open
View article: Evaluating and comparing language workbenches
Evaluating and comparing language workbenches Open