Zobrazeno 1 - 10
of 47
pro vyhledávání: '"Carr, Robert D."'
We introduce Prove-It, a Python-based general-purpose interactive theorem-proving assistant designed with the goal of making formal theorem proving as easy and natural as informal theorem proving (with moderate training). Prove-It uses a highly-flexi
Externí odkaz:
http://arxiv.org/abs/2012.10987
Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs
We present a new algorithm, Fractional Decomposition Tree (FDT) for finding a feasible solution for an integer program (IP) where all variables are binary. FDT runs in polynomial time and is guaranteed to find a feasible integer solution provided the
Externí odkaz:
http://arxiv.org/abs/2006.06957
Autor:
Carr, Robert D., Simonetti, Neil
In the Traveling Salesman Problem (TSP), a salesman wants to visit a set of cities and return home. There is a cost $c_{ij}$ of traveling from city $i$ to city $j$, which is the same in either direction for the Symmetric TSP. The objective is to visi
Externí odkaz:
http://arxiv.org/abs/2006.04933
We introduce multiple symmetric LP relaxations for minimum cut problems. The relaxations give optimal and approximate solutions when the input is a Hamiltonian cycle. We show that this leads to one of two interesting results. In one case, these LPs a
Externí odkaz:
http://arxiv.org/abs/2005.11912
Autor:
Levy, James E., Carroll, Malcolm S., Ganti, Anand, Phillips, Cynthia A., Landahl, Andrew J., Gurrieri, Thomas M., Carr, Robert D., Stalford, Harold L., Nielsen, Erik
Publikováno v:
New Journal of Physics, Vol 13, 083021, 2011
In this paper we present the impact of classical electronics constraints on a solid-state quantum dot logical qubit architecture. Constraints due to routing density, bandwidth allocation, signal timing, and thermally aware placement of classical supp
Externí odkaz:
http://arxiv.org/abs/1105.0682
Autor:
Levy, James E., Ganti, Anand, Phillips, Cynthia A., Hamlet, Benjamin R., Landahl, Andrew J., Gurrieri, Thomas M., Carr, Robert D., Carroll, Malcolm S.
We describe a fault-tolerant memory for an error-corrected logical qubit based on silicon double quantum dot physical qubits. Our design accounts for constraints imposed by supporting classical electronics. A significant consequence of the constraint
Externí odkaz:
http://arxiv.org/abs/0904.0003
Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs
Publikováno v:
Discrete Optimization. 47:100746
We present a new algorithm, Fractional Decomposition Tree (FDT) for finding a feasible solution for an integer program (IP) where all variables are binary. FDT runs in polynomial time and is guaranteed to find a feasible integer solution provided the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::819e0495adec888fd29dbaf95fc72c3b
https://doi.org/10.1016/j.disopt.2022.100746
https://doi.org/10.1016/j.disopt.2022.100746
Autor:
Murray, Regan, Hart, William E., Phillips, Cynthia A., Berry, Jonathan, Boman, Erik G., Carr, Robert D., Riesen, Lee Ann, Watson, Jean-Paul, Haxton, Terra, Herrmann, Jonathan G., Janke, Robert, Gray, George, Taxon, Thomas, Uber, James G., Morley, Kevin M.
Publikováno v:
Interfaces, 2009 Jan 01. 39(1), 57-68.
Externí odkaz:
https://www.jstor.org/stable/25622774
Autor:
Gassowsk, Dr Hab Jerzy Hab Jerzy, Carr, Robert D, Wade-Martins, Peter, Okulicz-Kozarryn, Dr Hab Jerzy Hab Jerzy, Hills, Catherine
Norfolk Archaeology, 35 (4), 494-498
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f06f6c975efeaf06f4bf72001394b5b
Autor:
Berry, Jonathan1 jberry@sandia.gov, Carr, Robert D.2 rdcarr@sandia.gov, Hart, William E.3 wehart@sandia.gov, Leung, Vitus J.2 vjleung@sandia.gov, Phillips, Cynthia A.3 caphill@sandia.gov, Watson, Jean-Paul1 jwatson@sandia.gov
Publikováno v:
Journal of Water Resources Planning & Management. Jul/Aug2009, Vol. 135 Issue 4, p253-263. 11p. 3 Charts, 4 Graphs.