%%% -*-BibTeX-*- %%% ==================================================================== %%% This is a collection of a few BiBTeX document types that contain %%% DOI data for testing new support in companion *.bst files for %%% formatting such data for output in *.bbl files. %%% %%% WARNING: Some of the original DOIs have been modified to exercise %%% all of the DOI reductions supported by the x-*.bst files. %%% [05-Apr-2017] %%% ==================================================================== %%% ==================================================================== %%% Institution abbreviations: @String{inst-AEC = "US Atomic Energy Commission"} @String{inst-AEC:adr = "Washington, DC, USA"} %%% ==================================================================== %%% Journal abbreviations: @String{j-COMPUTER = "Computer"} @String{j-IEEE-MICRO = "IEEE Micro"} @String{j-IEEE-SPECTRUM = "IEEE Spectrum"} @String{j-IJQC = "International Journal of Quantum Chemistry"} @String{j-NY-TIMES = "New York Times"} @String{j-PHILOS-TRANS-R-SOC-LOND = "Philosophical transactions of the Royal Society of London"} @String{j-PHYS-REV-A = "Physical Review A (Atomic, Molecular, and Optical Physics)"} @String{j-PHYS-REV-X = "Physical Review X"} @String{j-PROC-NATL-ACAD-SCI-USA = "Proceedings of the National Academy of Sciences of the United States of America"} @String{j-SIGPLAN = "ACM SIG{\-}PLAN Notices"} @String{j-TECHNOMETRICS = "Technometrics"} @String{j-THEOR-CHEM-ACCOUNTS = "Theoretical Chemistry Accounts"} %%% ==================================================================== %%% Publishers and their addresses: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY, USA"} @String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"} @String{pub-AW:adr = "Reading, MA, USA"} @String{pub-BIRKHAUSER = "Birkh{\"a}user"} @String{pub-BIRKHAUSER:adr = "Cambridge, MA, USA; Berlin, Germany; Basel, Switzerland"} @String{pub-CAMBRIDGE = "Cambridge University Press"} @String{pub-CAMBRIDGE:adr = "Cambridge, UK"} @String{pub-IEEE = "IEEE Computer Society Press"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-IEEE:adr = "Silver Spring, MD, USA"} @String{pub-ISO = "International Organization for Standardization"} @String{pub-ISO:adr = "Geneva, Switzerland"} @String{pub-OXFORD = "Oxford University Press"} @String{pub-OXFORD:adr = "Walton Street, Oxford OX2 6DP, UK"} @String{pub-OXFORD:adr = "Oxford, UK"} @String{pub-REIDEL = "D. Reidel"} @String{pub-REIDEL:adr = "Dordrecht, The Netherlands; Boston, MA, USA; Lancaster, UK; Tokyo, Japan"} @String{pub-SV = "Spring{\-}er-Ver{\-}lag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} @String{pub-U-CHICAGO = "University of Chicago Press"} @String{pub-U-CHICAGO:adr = "Chicago, IL, USA and London, UK"} @String{pub-USGPO = "United States Government Printing Office"} @String{pub-USGPO:adr = "Washington, DC, USA"} @String{pub-WILEY = "John Wiley and Sons, Inc."} @String{pub-WILEY:adr = "New York, NY, USA"} %%% ==================================================================== %%% Series abbreviations: @String{ser-LNCS = "Lecture Notes in Computer Science"} %%% ==================================================================== %%% Bibliography entries, sorted by year, and then by date: @Article{Colson:1726:SAN, author = "John {Colson, F.R.S.}", title = "A Short Account of Negativo-Affirmative Arithmetick", journal = j-PHILOS-TRANS-R-SOC-LOND, volume = "34", number = "392--398", pages = "161--173", month = "????", year = "1726", CODEN = "PTRSAV", DOI = "http://dx.doi.org/10.1098/rstl.1726.0032", ISSN = "0370-2316", bibdate = "Tue Jul 28 14:21:05 2015", bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib", URL = "http://arith22.gforge.inria.fr/slides/s2-ercegovac.pdf", acknowledgement = ack-nhfb, fjournal = "Philosophical transactions of the Royal Society of London", remark = "Early work on signed-digit arithmetic, reported by Milo{\v{s}} Ercegovac in a talk at the ARITH'22 conference, Lyon, France, June 2015.", } @Unpublished{Bohr:1916:AQT, author = "Niels Bohr", title = "On the application of the quantum theory to periodic systems", year = "1916", DOI = "http://dx.doi.org/10.1016/S1876-0503(08)70072-0", bibdate = "Tue May 03 23:30:42 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/b/bohr-niels.bib", note = "Intended for publication in Philosophical Magazine, April 1916, but not published there. Printed in volume 2 of Bohr's Collected Works, pp. 431--461.", URL = "http://www.sciencedirect.com/science/article/pii/S1876050308700720", acknowledgement = ack-nhfb, } @InCollection{Einstein:1928:IN, author = "Albert Einstein", editor = "C. G. Abbot", booktitle = "{Annual Report of the Board of Regents of The Smithsonian Institution, Showing the Operations, Expenditures, and Condition of the Institution for the Year Ending June 30, 1927}", title = "{Isaac Newton}", publisher = pub-USGPO, address = pub-USGPO:adr, bookpages = "580", pages = "201--208", year = "1928", bibdate = "Wed Oct 22 15:24:18 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/einstein.bib", URL = "https://archive.org/stream/annualreportofbo1927smit/annualreportofbo1927smit_djvu.txt", acknowledgement = ack-nhfb, } @MastersThesis{Majorana:1928:TQN, author = "Ettore Majorana", title = "La teoria quantistica dei nuclei radioattivi. ({Italian}) [{The} quantum theory of radioactive nuclei]", type = "Master's thesis", school = "Universit{\`a} di Roma ``La Sapienza''", address = "Roma, Italia", day = "6", month = jul, year = "1928", bibdate = "Mon Jul 08 06:02:22 2013", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/f/fermi-enrico.bib; http://www.math.utah.edu/pub/bibnet/authors/m/majorana-ettore.bib", acknowledgement = ack-nhfb, language = "Italian", remark = "This thesis was never published, but Esposito \cite{Esposito:2008:EMH} reports about it: ``It is the first time that the subject of nuclear physics appears among the activity of the Rome group [of Enrico Fermi].'' Fermi's first papers on the nucleus and its magnetic moment appeared in January 1930 in German and English.", } @Article{Anonymous:1939:AEF, author = "Anonymous", title = "Atom Explosion Frees 200,000,000 Volts; New Physics Phenomenon Credited to {Hahn}", journal = j-NY-TIMES, pages = "2--2", day = "29", month = jan, year = "1939", CODEN = "NYTIAO", ISSN = "0362-4331 (print), 1542-667X, 1553-8095", ISSN-L = "0362-4331", bibdate = "Thu Jul 25 06:02:29 2013", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/b/bohr-niels.bib; http://www.math.utah.edu/pub/bibnet/authors/f/fermi-enrico.bib; http://www.math.utah.edu/pub/tex/bib/einstein.bib", note = "From the article: ``American scientists heard today of a new phenomenon in physics --- explosion of atoms with a discharge of 200,000,000 volts of energy. \ldots{} Dr. Enrico Fermi of the University of Rome told yesterday that this had been accomplished by Dr. G. [sic] Hahn of Berlin. \ldots{} Scientists at the meeting said the discovery was comparable in significance to the original discovery of radioactivity thirty years ago.''", URL = "http://search.proquest.com/hnpnewyorktimes/docview/102763891", acknowledgement = ack-nhfb, fjournal = "New York Times", remark = "This appears to be the first mention of nuclear fission in the New York Times. See also \cite{Anonymous:1939:VEF}.", xxnumber = "??", xxvolume = "??", } @TechReport{Anderson:1940:PAS, author = "Herbert L. Anderson and Enrico Fermi", title = "Production and Absorption of Slow Neutrons by Carbon", type = "Report", number = "A-21", institution = inst-AEC, address = inst-AEC:adr, day = "25", month = sep, year = "1940", bibdate = "Fri Jun 22 08:24:30 2012", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/f/fermi-enrico.bib", acknowledgement = ack-nhfb, CP-number = "136", } @InCollection{Einstein:1944:RBR, author = "Albert Einstein", editor = "Paul A. Schilpp", booktitle = "The Philosophy of {Bertrand Russell}", title = "Remarks on {Bertrand Russell}'s Theory of Knowledge", volume = "5", publisher = "Open Court", address = "LaSalle, IL, USA", bookpages = "xv + 815", pages = "277--291", year = "1944", ISSN = "0075-9139", ISSN-L = "0075-9139", LCCN = "B1649.R94", bibdate = "Sat Jul 17 12:10:36 2010", bibsource = "http://www.math.utah.edu/pub/tex/bib/einstein.bib", series = "Library of Living Philosophers", acknowledgement = ack-nhfb, Calaprice-number = "235", Whittaker-number = "181", } @Manual{Turing:1951:PHM, author = "A. M. Turing", title = "Programmers' handbook for {Manchester} electronic computer. {Mark II}", organization = "University of Manchester", address = "Manchester, UK", year = "1951", bibdate = "Mon Nov 21 07:49:08 2005", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/t/turing-alan-mathison.bib", URL = "http://turing.ecs.soton.ac.uk/browse.php/B/32", acknowledgement = ack-nhfb, } @Booklet{Oppenheimer:1962:RRP, author = "J. R. Oppenheimer", title = "Reflections on the resonances of physics history: talk presented at the dedication ceremony of the {Niels Bohr Library of the American Institute of Physics}, 1962", howpublished = "American Institute of Physics collection", pages = "6", year = "1962", bibdate = "Wed Apr 01 19:11:23 2015", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/o/oppenheimer-j-robert.bib", acknowledgement = ack-nhfb, } @Article{Aiken:1964:PAC, author = "H. H. Aiken", title = "Proposed automatic calculating machine", journal = j-IEEE-SPECTRUM, volume = "1", pages = "62--69", month = aug, year = "1964", CODEN = "IEESAM", DOI = "http://dx.doi.org/10.1109/MSPEC.1964.5531929", ISSN = "0018-9235 (print), 1939-9340 (electronic)", ISSN-L = "0018-9235", bibdate = "Wed Oct 13 11:16:56 2010", bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib; http://www.math.utah.edu/pub/tex/bib/master.bib", note = "Previously unpublished memorandum. Reprinted in \cite[\S 5.1]{Randell:1982:ODC}.", acknowledgement = ack-nhfb, remark = "This article does not appear in the IEEE Xplore database, and that source lists only volume 1, number 1, for 1964. I found multiple references to this paper as the August 1964 issue, so perhaps IEEE Xplore is missing early journal issues??", xxnumber = "??", xxpages = "62--68", } @Article{Pollack:1982:SAMb, author = "Fred J. Pollack and George W. Cox and Dan W. Hammerstrom and Kevin C. Kahn and Konrad K. Lai and Justin R. Rattner", title = "Supporting {Ada} memory management in the {iAPX-432}", journal = j-SIGPLAN, volume = "17", number = "4", pages = "117--131", month = apr, year = "1982", CODEN = "SINODQ", DOI = "http://doi.acm.org/10.1145/964750.801835", ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)", ISSN-L = "0362-1340", bibdate = "Wed Jun 18 16:15:07 MDT 2008", bibsource = "http://portal.acm.org/; http://www.math.utah.edu/pub/tex/bib/adabooks.bib;a http://www.math.utah.edu/pub/tex/bib/sigplan1980.bib", abstract = "In this paper, we describe how the memory management mechanisms of the Intel iAPX-432 are used to implement the visibility rules of Ada. At any point in the execution of an Ada{\reg} program on the 432, the program has a protected address space that corresponds exactly to the program's accessibility at the corresponding point in the program's source. This close match of architecture and language did not occur because the 432 was designed to execute Ada --- it was not. Rather, both Ada and the 432 are the result of very similar design goals. To illustrate this point, we compare, in their support for Ada, the memory management mechanisms of the 432 to those of traditional computers. The most notable differences occur in heap-space management and multitasking. With respect to the former, we describe a degree of hardware/software cooperation that is not typical of other systems. In the latter area, we show how Ada's view of sharing is the same as the 432, but differs totally from the sharing permitted by traditional systems. A description of these differences provide some insight into the problems of implementing an Ada compiler for a traditional architecture.", acknowledgement = ack-nhfb, fjournal = "ACM SIGPLAN Notices", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J706", } @Book{Randell:1982:ODC, editor = "Brian Randell", title = "The Origins of Digital Computers: Selected Papers", publisher = pub-SV, address = pub-SV:adr, edition = "Third", pages = "xvi + 580", year = "1982", ISBN = "0-387-11319-3, 3-540-11319-3", ISBN-13 = "978-0-387-11319-7, 978-3-540-11319-5", LCCN = "TK7885.A5 O741 1982", bibdate = "Sun Nov 03 08:28:47 2002", bibsource = "http://www.math.utah.edu/pub/tex/bib/adabooks.bib; http://www.math.utah.edu/pub/tex/bib/master.bib", series = "Texts and monographs in computer science", acknowledgement = ack-nhfb, remark = "See also other editions \cite{Randell:1973:ODC,Randell:1975:ODC}.", tableofcontents = "Chapter I: Introduction 1 \par Chapter II: Analytical Engines 9 \\ 2.1. On the Mathematical Powers of the Calculating Engine \\ C. Babbage (1837) 19 \\ 2.2. Report of the Committee \ldots{} appointed to consider the advisability and to estimate the expense of constructing Mr. Babbage's Analytical Machine, and of printing tables by its means \\ C. W. Merrifield (1879) 55 \\ 2.3. Babbage's Analytical Engine \\ H. P. Babbage (1910) 67 \\ 2.4. On a Proposed Analytical Machine \\ P. E. Ludgate (1909) 73 \\ 2.5. Essays on Automatics -- Its Definition -- Theoretical Extent of its Applications \\ L. Torres Y Quevedo 1914 89 \\ 2.6. Electromechanical Calculating Machine \\ L. Torres y Quevedo (1920) 109 \\ 2.7. Scheme of Assembly of a Machine Suitable for the Calculations of Celestial Mechanics \\ L. Couffignal (1938) 121 \par Chapter III: Tabulating Machines 127 \\ 3.1. An Electric Tabulating System \\ H. Hollerith (1889) 133 \\ 3.2. Calculating Machines: Their Principles and Evolution \\ L. Couffignal (1933) 145 \\ 3.3. The Automatic Calculator IPM \\ H.-J. Dreyer and A. Walther (1946) 155 \par Chapter IV: Zuse and Schreyer 159 \\ 4.1. Method for Automatic Execution of Calculations with the aid of Computers \\ K. Zuse 1936 163 \\ 4.2. Technical Computing Machines \\ H. Schreyer (1939) 171 \\ 4.3. The Outline of a Computer Development from Mechanics to Electronics \\ K. Zuse 1962 175 \par Chapter V: Aiken and IBM 191 \\ 5.1. Proposed Automatic Calculating Machine \\ H. H. Aiken (1937) 195 \\ 5.2. The Automatic Sequence Controlled Calculator \\ H. H. Aiken and G. M. Hopper (1946) 203 \\ 5.3. Electrons and Computation \\ W. J. Eckert (1948) 223 \\ 5.4. The IBM Card-Programmed Electronic Calculator \\ J. W. Sheldon and L. Tatum (1951) 233 \par Chapter VI: Bell Telephone Laboratories 241 \\ 6.1. Computer \\ G. R. Stibitz (1940) 247 \\ 6.2. The Relay Interpolator \\ O. Cesareo (1946) 253 \\ 6.3. The Ballistic Computer \\ J. Juley (1947) 257 \\ 6.4. A Bell Telephone Laboratories' Computing Machine. \\ F. L. Alt (1948) 263 \par Chapter VII: The Advent of Electronic Computers 293 \\ 7.1. Binary Calculation \\ E. W. Phillips (1936) 303 \\ 7.2. Computing Machine for the Solution of Large Systems of Linear Algebraic Equations \\ J. V. Atanasoff (1940) 315 \\ 7.3. Arithmetical Machine \\ V. Bush (1940) 337 \\ 7.4. Report on Electronic Predictors for Anti-Aircraft Fire Control \\ J. A. Rajchman et al. (1942) \\ 7.5. Colossus: Godfather of the Computer \\ B. Randell (1977) \\ 7.6. The Use of High Speed Vacuum Tube Devices for Calculating \\ J. W. Mauchly (1942) 355 \\ 7.7. The Electronic Numerical Integrator and Computer. (ENIAC) \\ H. H. Goldstine and A. Goldstine (1946) 359 \par Chapter VIII: Stored Program Electronic Computers 375 \\ 8.1. First Draft of a Report on the EDVAC \\ J. von Neumann (1945) 383 \\ 8.2. Preparation of Problems for EDVAC-type Machines. \\ J. W. Mauchly (1947) 393 \\ 8.3. Preliminary Discussion of the Logical Design of an Electronic Computing Instrument \\ A. W. Burks et al. (1946) 399 \\ 8.4. Electronic Digital Computers \\ F. C. Williams and T. Kilburn (1948) 415 \\ 8.5. The EDSAC \\ M. V. Wilkes and W. Renwick (1949) 417 \\ 8.6. The EDSAC Demonstration \\ B. H. Worsley (1949) 423 \par Bibliography 431 \\ Index to Bibliography 545 \\ Subject Index 563", } @Manual{IntelCorporation:1985:FAL, author = "{Intel}", title = "The 8096 floating-point arithmetic library user's guide for {DOS} systems", organization = "Intel Corporation", address = "Santa Clara, CA.", pages = "various", year = "1985", ISBN = "0-917017-75-7", ISBN-13 = "978-0-917017-75-9", LCCN = "????", bibdate = "Sat Feb 24 15:01:45 MST 1996", bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib", acknowledgement = ack-nhfb, keywords = "Computer programs.; Floating-point arithmetic.; Operating systems (Computers)", remark = "``Order number: 122366-001.'' On cover: Software development tools. Cover title: 8096 floating point library for DOS systems.", } @Book{Aho:1988:APL, author = "Alfred V. Aho and Brian W. Kernighan and Peter J. Weinberger", key = "AWK87", title = "The {AWK} Programming Language", publisher = pub-AW, address = pub-AW:adr, pages = "x + 210", year = "1988", ISBN = "0-201-07981-X", ISBN-13 = "978-0-201-07981-4", LCCN = "QA76.73.A95 A35 1988", bibdate = "Sun May 02 07:44:41 1999", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib", acknowledgement = ack-nhfb, remark = "The author order is AKW, but the key looks better as AWK.", xxnote = "See also \cite{FSF:gawk,MKS:awk,Polytron:polyawk}.", } @Book{Batten:1988:RUC, author = "Alan H. (Alan Henry) Batten", title = "Resolute and Undertaking Characters: The Lives of {Wilhelm and Otto Struve}", volume = "139", publisher = pub-REIDEL, address = pub-REIDEL:adr, pages = "xxv + 259", year = "1988", DOI = "http://dx.doi.org/10.1007/978-94-009-2883-1", ISBN = "90-277-2652-3", ISBN-13 = "978-90-277-2652-0", LCCN = "QB36.S75 B38 1988", bibdate = "Tue Mar 28 08:28:15 MDT 2017", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib; z3950.loc.gov:7090/Voyager", series = "Astrophysics and space science library", acknowledgement = ack-nhfb, author-dates = "1933--", libnote = "Not in my library.", subject = "Struve, F. G. W. (Friedrich Georg Wilhelm); Struve, Otto; Astronomy; Russia; History; 19th century; Soviet Union; 20th century; Astronomers; Biography; Germany", subject-dates = "Friedrich Georg Wilhelm Struve (1793--1864); Otto Struve (1819--1905)", tableofcontents = "Preface / xi \\ General Note / xv \\ Bibliographical Note / xix \\ Acknowledgements / xxi \\ Chronological Summary of the lives of Wilhelm and Otto Struve / xxiii \\ 1: Family Origins and Wilhelm's Childhood / 1 \\ 2: Student Days at Dorpat University / 12 \\ 3: Astronomy at the Beginning of the Nineteenth Century / 22 \\ 4: Measuring the Earth / 30 \\ 5: The Great Refractor / 44 \\ 6: The Founding of Pulkovo / 66 \\ 7: The Astronomical Capital of the World / 88 \\ 8: Measuring the Sky / 113 \\ 9: The Early Pulkovo Years / 130 \\ 10: `{\'E}tudes d'astronomie stellaire' / 144 \\ 11: Wilhelm's Illness and Last Years / 156 \\ 12: The Transition / 168 \\ 13: The Companion of Procyon and the Transits of Venus / 181 \\ 14: The 30-inch Refractor / 196 \\ 15: Mapping the Sky / 209 \\ 16: Otto's Retirement and Last Years / 219 \\ Epilogue: The Family Tradition / 235 \\ Name Index / 245 \\ Subject Index / 258", xxURL = "http://www.loc.gov/catdir/enhancements/fy0902/87030386-d.html; http://www.loc.gov/catdir/enhancements/fy0902/87030386-t.html", } @Article{Rowen:1988:MRF, author = "Chris Rowen and Mark Johnson and Paul Ries", title = "The {MIPS R3010} Floating-Point Coprocessor", journal = j-IEEE-MICRO, volume = "8", number = "3", pages = "53--62", month = jun, year = "1988", DOI = "http://dx.doi.org/10.1109/40.540", bibdate = "Wed Sep 14 21:51:25 1994", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib", acknowledgement = ack-nhfb, } @Article{Gazquez:1996:CGC, author = "Jos{\'e} L. G{\'a}zquez and Juvencio Robles", title = "On the Conjoint Gradient Correction to the {Hartree--Fock} Kinetic and Exchange Energy Density Functionals", journal = j-IJQC, volume = "57", number = "1", pages = "3--6", day = "5", month = jan, year = "1996", CODEN = "IJQCB2", DOI = "http://doi.org/b8sr3k", ISSN = "0020-7608 (print), 1097-461X (electronic)", ISSN-L = "0020-7608", bibdate = "Tue Oct 4 06:58:58 MDT 2011", bibsource = "http://www.math.utah.edu/pub/tex/bib/ijqc1990.bib; http://www3.interscience.wiley.com/journalfinder.html", note = "The original 56-character DOI has been shortened by the \url|shortdoi.org| service.", URL = "http://www3.interscience.wiley.com/cgi-bin/abstract?ID=60346", acknowledgement = ack-nhfb, ajournal = "Int. J. Quantum Chem.", fjournal = "International Journal of Quantum Chemistry", fulldoi = "http://dx.doi.org/10.1002/(SICI)1097-461X(1996)57:1<3::AID-QUA1>3.0.CO;2-1", journal-URL = "http://www.interscience.wiley.com/jpages/0020-7608/", onlinedate = "6 Dec 1998", } @Article{Bergstrom:2004:CBL, author = "Carl T. Bergstrom and Theodore C. Bergstrom", title = "The costs and benefits of library site licenses to academic journals", journal = j-PROC-NATL-ACAD-SCI-USA, volume = "101", number = "3", pages = "897--902", day = "20", month = jan, year = "2004", CODEN = "PNASA6", DOI = "http://www.pnas.org/cgi/doi/10.1073/pnas.0305628101", ISSN = "0027-8424 (print), 1091-6490 (electronic)", ISSN-L = "0027-8424", bibdate = "Wed Nov 16 05:35:58 2005", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib", xxURL = "http://www.pnas.org/cgi/content/abstract/0305628101v1", acknowledgement = ack-nhfb, } @MastersThesis{Carruthers:2004:BED, author = "Rebecca Carruthers", title = "The {Bohr--Einstein} dialogue: a rhetorical and genre analysis", type = "{M.A.} dissertation", school = "Simon Fraser University", address = "Burnaby, BC, Canada", pages = "233", year = "2004", bibdate = "Thu May 05 17:37:13 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/b/bohr-niels.bib", acknowledgement = ack-nhfb, } @Book{Singer:2005:LSP, author = "Stephanie Frank Singer", title = "Linearity, Symmetry, and Prediction in the Hydrogen Atom", publisher = pub-SV, address = pub-SV:adr, pages = "xiv + 396", year = "2005", DOI = "http://dx.doi.org/10.1007/b136359", ISBN = "0-387-24637-1", ISBN-13 = "978-0-387-24637-6", LCCN = "QC20.7.G76 S56 2005", bibdate = "Sat Sep 3 18:36:12 MDT 2016", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib; z3950.loc.gov:7090/Voyager", series = "Undergraduate texts in mathematics", xxURL = "http://www.loc.gov/catdir/enhancements/fy0662/2005042679-d.html; http://www.loc.gov/catdir/enhancements/fy0818/2005042679-b.html; http://www.loc.gov/catdir/enhancements/fy0818/2005042679-t.html", acknowledgement = ack-nhfb, author-dates = "1964--", libnote = "Not in my library.", subject = "Group theory; Hydrogen; Atoms; Linear algebraic groups; Symmetry (Physics); Representations of groups; Quantum theory", tableofcontents = "Setting the Stage / 1--40 \\ Linear Algebra over the Complex Numbers / 41--75 \\ Complex Scalar Product Spaces (a.k.a. Hilbert Spaces) / 77--110 \\ Lie Groups and Lie Group Representations / 111--152 \\ New Representations from Old / 153--177 \\ Irreducible Representations and Invariant Integration / 179--208 \\ Representations and the Hydrogen Atom / 209--228 \\ The Algebra so(4) Symmetry of the Hydrogen Atom / 229--281 \\ The Group SO(4) Symmetry of the Hydrogen Atom / 283--297 \\ Projective Representations and Spin / 299--338 \\ Independent Events and Tensor Products / 339--358 \\ A. Spherical Harmonics / \\ B. Proof of the Correspondence / \\ C. Suggested Paper Topics / \\ Bibliography / \\ Index / \\ References", } @Book{ISO:2007:IID, author = "{ISO}", title = "{ISO 3297: Information and documentation --- International standard serial number (ISSN): Information et documentation --- Num{\'e}ro international normalis{\'e} des publications en s{\'e}rie (ISSN)}", publisher = pub-ISO, address = pub-ISO:adr, edition = "Fourth", pages = "v + 20", day = "1", month = sep, year = "2007", ISBN = "0-580-54132-0", ISBN-13 = "978-0-580-54132-2", bibdate = "Sat Apr 08 08:29:02 2017", bibsource = "http://www.math.utah.edu/pub/tex/bib/isostd.bib", URL = "https://www.iso.org/standard/39601.html", acknowledgement = ack-nhfb, remark = "From the Foreword: ``This edition clarifies and confirms that different media versions of a continuing resource are assigned different ISSN. In recognition of the increasing need in the digital environment to collocate as well as differentiate media versions, this edition of this International Standard introduces a functionality, the ``linking ISSN'' (ISSN-L), for the purpose of supporting services that offer search and delivery functionality across all media versions.''", tableofcontents = "Foreword / iv \\ Introduction / v \\ 1 Scope / 1 \\ 2 Terms and definitions / 1 \\ 3 Construction of ISSN / 3 \\ 4 Assignment of ISSN / 3 \\ 5 Establishment of the key title / 3 \\ 6 Linking ISSN (ISSN-L) / 4 \\ 7 Printing and display of ISSN / 4 \\ 7.1 General / 4 \\ 7.2 Display of ISSN on printed continuing resources / 4 \\ 7.3 Display of ISSN on electronic continuing resources and on other non-print media / 5 \\ 8 Metadata / 5 \\ 8.1 ISSN metadata / 5 \\ 8.2 Metadata required for ISSN assignment / 5 \\ 9 Copyright / 5 \\ 10 Fees / 5 \\ 11 Administration of the ISSN system / 5 \\ Annex A (normative) Check digit for ISSN / 6 \\ Annex B (normative) Metadata / 7 \\ Annex C (normative) Linking ISSN (ISSN-L) / 9 \\ Annex D (normative) Roles and responsibilities of the ISSN centres / 10 \\ Annex E (informative) Use of ISSN and linking ISSN (ISSN-L) with other identification and linking systems / 12 \\ Bibliography / 19", xxLCCN = "????", } @InBook{Lowdin:2007:CPM, author = "Per-Olov L{\"o}wdin", booktitle = "Advances in Chemical Physics", title = "Correlation Problem in Many-Electron Quantum Mechanics {I}. Review of Different Approaches and Discussion of Some Current Ideas", publisher = pub-WILEY, address = pub-WILEY:adr, bookpages = "ix + 412", pages = "207--322", year = "2007", DOI = "http://dx.doi.org/10.1002/9780470143483.ch7", ISBN = "0-470-14348-7", ISBN-13 = "978-0-470-14348-3", bibdate = "Sat Jun 11 12:07:10 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/l/lowdin-per-olov.bib", acknowledgement = ack-nhfb, keywords = "Schr{\"o}dinger equation, coulomb correlation, correlation energy, Hartree-Fock scheme, electronic correlation", tableofcontents = "Introduction \\ Formulation of the Correlation Problem \\ Methods for Treating Electronic Correlation \\ Recent Developments; Concluding Remarks", } @InCollection{Daintith:2009:EAN, editor = "John Daintith and Edmund Wright", key = "EAN", booktitle = "A Dictionary of Computing", title = "{European Article Numbering} code", publisher = pub-OXFORD, address = pub-OXFORD:adr, edition = "Sixth", bookpages = "viii + 583", pages = "37--37", year = "2009", ISBN = "0-19-923400-0 (paperback), 0-19-923401-9 (hardcover)", ISBN-13 = "978-0-19-923400-4 (paperback), 978-0-19-923401-1 (hardcover)", LCCN = "QA76.15 .D526 2008", bibdate = "Fri Sep 11 18:20:34 2009", bibsource = "z3950.loc.gov:7090/Voyager", URL = "http://www.encyclopedia.com/doc/1O11-EuropeanArticleNumberngcd.html", acknowledgement = ack-nhfb, subject = "electronic data processing; dictionaries; computers", tableofcontents = "A Dictionary of Computing \\ Computer Graphics (Feature) \\ The Anatomy of an Internet Address (Feature) \\ Object-oriented Programming (Feature) \\ Quantum Computing (Feature) \\ SQL (Feature) \\ XML (Feature) \\ App: Generic Domain Names \\ App: Country-Code Domain Names \\ App: File Extensions \\ App: Character Set \\ App: Greek Alphabet \\ App: Chronology \\ App: Useful Web Sites", xxseries = "Oxford paperback reference", xxURL = "http://www.loc.gov/catdir/toc/ecip0822/2008030048.html", } @Book{Anonymous:2010:CMS, author = "Anonymous", title = "The {Chicago} Manual of Style", publisher = pub-U-CHICAGO, address = pub-U-CHICAGO:adr, edition = "16th", pages = "xvi + 1026", year = "2010", ISBN = "0-226-10420-6 (hardcover)", ISBN-13 = "978-0-226-10420-1 (hardcover)", LCCN = "Z253 .U69 2010", bibdate = "Tue Jan 5 16:03:16 MST 2010", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib; http://www.math.utah.edu/pub/tex/bib/texbook3.bib; z3950.loc.gov:7090/Voyager", acknowledgement = ack-nhfb, subject = "printing; style manuals; authorship", tableofcontents = "The publishing process \\ Books and journals \\ Overview \\ The parts of a book \\ The parts of a journal \\ Considerations for web-based publications \\ Manuscript preparation, manuscript editing, and proofreading \\ Overview and process outline \\ Manuscript preparation guidelines for authors \\ Manuscript editing \\ Proofreading \\ Illustrations and tables \\ Overview \\ Illustrations \\ Tables \\ Rights, permissions, and copyright administration / by William S. Strong \\ Overview \\ Copyright law and the licensing of rights \\ The publishing agreement \\ Subsidiary rights and permissions \\ The author's responsibilities \\ Style and usage \\ Grammar and usage / by Bryan A. Garner \\ Grammar \\ Word usage \\ Punctuation \\ Overview \\ Punctuation in relation to surrounding text \\ Periods \\ Commas \\ Semicolons \\ Colons \\ Question marks \\ Exclamation points \\ Hyphens and dashes \\ Parentheses \\ Brackets and braces \\ Slashes \\ Quotation marks \\ Apostrophes \\ Multiple punctuation marks \\ Lists and outline style \\ Spelling, distinctive treatment of words, and compounds \\ Overview \\ Plurals \\ Possessives \\ Contractions and interjections \\ Word division \\ A and an, o and oh \\ Ligatures \\ Italics, capitals, and quotation marks \\ Compounds and hyphenation \\ Names and terms \\ Overview \\ Personal names \\ Titles and offices \\ Epithets, kinship names, and personifications \\ Ethnic, socioeconomic, and other groups \\ Names of places \\ Words derived from proper names \\ Names of organizations \\ Historical and cultural terms \\ Calendar and time designations \\ Religious names and terms \\ Military terms \\ Names of ships and other vehicles \\ Scientific terminology \\ Brand names and trademarks \\ Titles of works \\ Signs and mottoes \\ Numbers \\ Overview \\ Numerals versus words \\ Plurals and punctuation of numbers \\ Inclusive numbers \\ Roman numerals \\ Abbreviations \\ Overview \\ Names and titles \\ Geographical terms \\ Designations of time \\ Scholarly abbreviations \\ Biblical abbreviations \\ Technology and science \\ Business and commerce \\ Foreign languages \\ Overview \\ Titles and other proper names \\ Languages using the Latin alphabet \\ Languages usually transliterated (or romanized) \\ Classical Greek \\ Old English and middle English \\ American sign language \\ Mathematics in type \\ Overview \\ Style of mathematical expressions \\ Preparation and editing of paper manuscripts \\ Quotations and dialogue \\ Overview \\ Permissible changes to quotations \\ Quotations in relation to text \\ Quotation marks \\ Ellipses \\ Interpolations and clarifications \\ Citing sources in text \\ Foreign-language quotations \\ Documentation \\ Documentation I: notes and bibliography \\ Source citations: an overview \\ Notes and bibliography: basic format, with examples and variations \\ Notes \\ Bibliographies \\ Books \\ Periodicals \\ Interviews and personal communications \\ Unpublished and informally published material \\ Special types of references \\ Audiovisual materials \\ Legal and public documents \\ Documentation II: author-date references \\ Overview \\ Author-date references: basic format, with examples and variations \\ Reference lists and text citations \\ Author-date references: special cases \\ Indexes \\ Overview \\ Components of an index \\ General principles of indexing \\ Indexing proper names and variants \\ Indexing titles of publications and other works \\ Alphabetizing \\ Punctuating indexes: a summary \\ The mechanics of indexing \\ Editing an index compiled by someone else \\ Typographical considerations for indexes \\ Examples of indexes \\ Appendix A: production and digital technology \\ Overview \\ Markup \\ Design \\ The electronic workflow \\ Options for presenting content \\ Print technologies \\ Appendix B: glossary", } @PhdThesis{Khazaei:2010:NBS, author = "Shahram Khazaei", title = "Neutrality-Based Symmetric Cryptanalysis", type = "Th{\`e}se", school = "{\'E}cole polytechnique f{\'e}d{\'e}rale de Lausanne (EPFL)", address = "Lausanne, Switzerland", pages = "138", year = "2010", DOI = "http://dx.doi.org/10.5075/epfl-thesis-4755", bibdate = "Fri May 13 06:33:43 2011", bibsource = "http://www.math.utah.edu/pub/tex/bib/cryptography2010.bib", acknowledgement = ack-nhfb, advisor = "Arjen K. Lenstra and Willi Meier", } @InProceedings{Fagin:2011:IPE, author = "Barry S. Fagin and Dale J. Skrien", editor = "Thomas J. Cortina", booktitle = "{Proceedings of the 42nd ACM Technical Symposium on Computer Science Education (SIGCSE 11)}", title = "{IASSim}: a Programmable Emulator for the {Princeton IAS\slash von Neumann Machine}", publisher = pub-ACM, address = pub-ACM:adr, bookpages = "xxix + 723", pages = "359--364", year = "2011", DOI = "http://dx.doi.org/10.1145/1953163.1953271", ISBN = "1-4503-0500-8 (print)", ISBN-13 = "978-1-4503-0500-6 (print)", bibdate = "Fri Nov 16 16:38:13 2012", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/v/von-neumann-john.bib; http://www.math.utah.edu/pub/tex/bib/virtual-machines.bib", note = "See \cite{Fagin:2012:DSG} for an analysis and debugging of von Neumann's computer programs.", URL = "http://dl.acm.org/citation.cfm?id=1953163; http://www.cs.colby.edu/djskrien/IASSim/", acknowledgement = ack-nhfb, lastaccessed = "17 November 2012", } @Article{Fagin:2012:DSG, author = "Barry Fagin and Dale Skrien", title = "Debugging on the Shoulders of Giants: {von Neumann}'s Programs 65 Years Later", journal = j-COMPUTER, volume = "45", number = "11", pages = "59--68", month = nov, year = "2012", CODEN = "CPTRB4", DOI = "http://dx.doi.org/10.1109/MC.2012.69", ISSN = "0018-9162 (print), 1558-0814 (electronic)", ISSN-L = "0018-9162", bibdate = "Wed Nov 14 18:24:24 2012", bibsource = "http://computer.org/computer/; http://www.math.utah.edu/pub/bibnet/authors/v/von-neumann-john.bib; http://www.math.utah.edu/pub/tex/bib/computer2010.bib; http://www.math.utah.edu/pub/tex/bib/virtual-machines.bib", note = "See \cite{Fagin:2011:IPE} for a description of the emulator on which von Neumann's programs were run and debugged.", URL = "http://www.cs.colby.edu/djskrien/IASSim/", acknowledgement = ack-nhfb, fjournal = "Computer", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=2", lastaccessed = "17 November 2012", remark = "From page 59: ``The evidence suggests that at least a few of the programs, which appeared in both IAS technical reports and later in \booktitle{John von Neumann: Collected Works}, were never directly executed on the machine as written. Allowing for typographical errors, at least a few of them contain nontrivial bugs. Our emulator validated corrected versions of all the programs in the original IAS reports, producing the expected results.''", } @Article{Fripiat:2012:ETF, author = "Joseph G. Fripiat and Frank E. Harris", title = "{Ewald}-type formulas for {Gaussian}-basis studies of one-dimensionally periodic systems", journal = j-THEOR-CHEM-ACCOUNTS, volume = "131", number = "8", month = aug, year = "2012", CODEN = "TCACFW", DOI = "http://dx.doi.org/10.1007/s00214-012-1257-0", ISSN = "1432-881X (print), 1432-2234 (electronic)", ISSN-L = "1432-2234", bibdate = "Wed Dec 4 13:38:22 MST 2013", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/h/harris-frank-e.bib", acknowledgement = ack-nhfb, articleno = "1257", fjournal = "Theoretical Chemistry Accounts", journal-URL = "http://www.springerlink.com/content/1432-2234", journal-url-2 = "http://www.springerlink.com/link.asp?id=100493", journal-url-3 = "http://link.springer.com/journal/214", onlinedate = "AUG-2012", } @Article{Nagy:2012:SEE, author = "I. Nagy and I. Aldazabal", title = "Series expansions for an exact two-electron wave function in terms of {L{\"o}wdin}'s renormalized natural orbitals", journal = j-PHYS-REV-A, volume = "85", number = "3", day = "5", month = mar, year = "2012", CODEN = "PLRAAN", DOI = "http://dx.doi.org/10.1103/PhysRevA.85.034501", ISSN = "1050-2947 (print), 1094-1622, 1538-4446, 1538-4519", ISSN-L = "1050-2947", bibdate = "Mon Jun 10 15:22:38 MDT 2013", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/l/lowdin-per-olov.bib", acknowledgement = ack-nhfb, articleno = "034501", fjournal = "Physical Review A (Atomic, Molecular, and Optical Physics)", journal-URL = "http://pra.aps.org/browse", pagecount = "4", } @Article{Linkletter:2012:CTR, author = "Crystal D. Linkletter and Pritam Ranjan and C. Devon Lin and Derek R. Bingham and William A. Brenneman and Richard A. Lockhart and Thomas M. Loughin", title = "Compliance Testing for Random Effects Models With Joint Acceptance Criteria", journal = j-TECHNOMETRICS, volume = "54", number = "3", pages = "243--255", month = aug, year = "2012", CODEN = "TCMTA2", DOI = "http://dx.doi.org/10.1080/00401706.2012.680394; http://dx.doi.org/10.2307/41714893", ISSN = "0040-1706 (print), 1537-2723 (electronic)", ISSN-L = "0040-1706", MRnumber = "2967975", bibdate = "Sat Jun 21 15:54:52 MDT 2014", bibsource = "http://www.jstor.org/journals/00401706.html; http://www.jstor.org/stable/i40080563; http://www.math.utah.edu/pub/tex/bib/technometrics2010.bib; http://www.tandf.co.uk/journals/titles/00401706.html", note = "See erratum \cite{Linkletter:2012:ECT}.", URL = "http://www.jstor.org/stable/41714893", acknowledgement = ack-nhfb, fjournal = "Technometrics", journal-URL = "http://www.jstor.org/journals/00401706.html; http://www.tandfonline.com/loi/utch20", onlinedate = "03 Apr 2012", } @Article{Linkletter:2012:ECT, author = "C. D. Linkletter and P. Ranjan and C. D. Lin and D. R. Bingham and W. A. Brenneman and R. A. Lockhart and T. M. Loughin", title = "Erratum: {``Compliance Testing for Random Effects Models with Joint Acceptance Criteria'' [MR2967975]}", journal = j-TECHNOMETRICS, volume = "54", number = "4", pages = "450--450", month = nov, year = "2012", CODEN = "TCMTA2", DOI = "http://dx.doi.org/10.1080/00401706.2012.738570; http://dx.doi.org/10.2307/41714944", ISSN = "0040-1706 (print), 1537-2723 (electronic)", ISSN-L = "0040-1706", MRnumber = "3006393", bibdate = "Sat Jun 21 13:46:03 MDT 2014", bibsource = "http://www.jstor.org/journals/00401706.html; http://www.jstor.org/stable/i40080564; http://www.math.utah.edu/pub/tex/bib/technometrics2010.bib", note = "See \cite{Linkletter:2012:CTR}.", URL = "http://www.jstor.org/stable/41714944", acknowledgement = ack-nhfb, fjournal = "Technometrics", journal-URL = "http://www.jstor.org/journals/00401706.html", } @Book{OLeary:2012:ICS, author = "Don O'Leary", title = "{Irish Catholicism} and Science: From `{Godless Colleges}' to the `{Celtic Tiger}'", publisher = "Cork University Press", address = "Cork, Ireland", pages = "343", year = "2012", ISBN-13 = "979-1-85918-497-4", bibdate = "Fri Aug 16 08:43:02 2013", bibsource = "http://www.math.utah.edu/pub/tex/bib/bjhs2010.bib", acknowledgement = ack-nhfb, note = "This is the first ISBN-13 value in the {\em \TeX{} User Group} bibliography archives with a {\tt 979-} prefix, for which there is no ISBN-10 counterpart. It was found on 17 August 2013.", } @Article{Anonymous:2014:CEF, author = "Anonymous", title = "Coming Down the Editorial Fence --- Not Random", journal = j-PHYS-REV-X, volume = "4", number = "3", pages = "??--??", month = sep, year = "2014", CODEN = "PRXHAE", ISSN = "2160-3308", bibdate = "Fri Nov 28 15:40:13 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/prng.bib", URL = "http://journals.aps.org/prx/edannounce/PhysRevX.4.031056", abstract = "The paper by Sanguinetti et al. (Phys. Rev. X, 4 031056 (2014)) \cite{Sanguinetti:2014:QRN} reporting generation of quantum random numbers on a commercial mobile phone has just ``come off the press.'' Having it reviewed and reaching the final decision to publish it has been a challenging, but also very interesting, process for the editors. We think there is value in sharing with our readers our thinking behind the decision.", acknowledgement = ack-nhfb, fjournal = "Physical Review X", journal-URL = "http://prx.aps.org/browse", } @Book{Borwein:2014:NFI, author = "Jonathan M. Borwein and Alfred Jacobus van der Poorten and Jeffrey Outlaw Shallit and Wadim Zudilin", title = "Neverending Fractions: an Introduction to Continued Fractions", volume = "23", publisher = pub-CAMBRIDGE, address = pub-CAMBRIDGE:adr, pages = "x + 212", year = "2014", DOI = "http://dx.doi.org/10.1017/CBO9780511902659", ISBN = "0-521-18649-8", ISBN-13 = "978-0-521-18649-0", LCCN = "QA295 .B667 2014", MRclass = "11A55 (11J70 40-01 40A15)", MRnumber = "3468515", bibdate = "Thu Jun 12 08:53:05 MDT 2014", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/b/borwein-jonathan-m.bib; http://www.math.utah.edu/pub/tex/bib/master.bib; z3950.loc.gov:7090/Voyager", series = "Australian Mathematical Society lecture series", URL = "http://docserver.carma.newcastle.edu.au/1722/; http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511902659", acknowledgement = ack-nhfb, subject = "Continued fractions; Processes, Infinite; Fractions", tableofcontents = "Preface \\ 1. Some preliminaries from number theory \\ 2. Continued fractions, as they are \\ 3. Metric theory of continued fractions \\ 4. Quadratic irrationals through a magnifier \\ 5. Hyperelliptic curves and Somos sequences \\ 6. From folding to Fibonacci \\ 7. The integer part of $q \alpha + \beta$ \\ 8. The Erd{\H{o}}s--Moser equation \\ 9. Irregular continued fractions \\ Appendix. Selected continued fractions \\ Bibliography \\ Index", } @Article{Sanguinetti:2014:QRN, author = "Bruno Sanguinetti and Anthony Martin and Hugo Zbinden and Nicolas Gisin", title = "Quantum Random Number Generation on a Mobile Phone", journal = j-PHYS-REV-X, volume = "4", number = "3", month = sep, year = "2014", CODEN = "PRXHAE", DOI = "http://dx.doi.org/10.1103/PhysRevX.4.031056", ISSN = "2160-3308", bibdate = "Fri Nov 28 15:43:47 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/prng.bib", URL = "http://link.aps.org/doi/10.1103/PhysRevX.4.031056,", acknowledgement = ack-nhfb, articleno = "031056", fjournal = "Physical Review X", journal-URL = "http://prx.aps.org/browse", pagecount = "6", remark-1 = "From page 4: ``From Eq. (5), we calculate that, using the camera in the Nokia cell phone and an extractor with a compression factor of 4, for example, with $k = 500$ and $l = 2000$, it would take an impossible $2 \times 10^{96}$ trials to notice a deviation from a perfectly random bit string. If everybody on earth used such a device constantly at 1 Gbps, it would take $10^{60}$ times the age of the Universe for one to notice a deviation from a perfectly random bit string.''", remark-2 = "From page 5: ``Consumer-grade devices acquire data at rates between 100 Megapixels per second and 1 Gigapixel per second. After the necessary processing, each pixel will typically provide three random bits so that rates between 300 Mbps and 3 Gbps can be obtained. To sustain such high data rates, processing can either be done on a field programmable gate array (FPGA) or it could be embedded directly on a CMOS sensor chip. Implementing the extractor fully in the software of a consumer device can sustain random bit rates greater than 1 Mbps, largely sufficient for most consumer applications. ''", remark-3 = "From page 5: ``We believe that the simplicity and performance of this device will make the widespread use of quantum random numbers a reality, with an important impact on information security. We find it exciting that, with a few tricks, quantum experiments can now be done with consumer-grade hardware and that this may lead to the widespread use of a quantum technology.", xxpages = "031056", } @Book{Planck:2015:MDA, author = "Max Planck", title = "Modern Doga Anlayisi ve Kuantum Teorisine Giris ({Turkish}) [{Introduction} to Modern Perceptions of Nature and Quantum Theory]", publisher = "Belge Yay{\i}nlar{\i}", address = "Istanbul, Turkey", year = "2015", ISBN-13 = "979-975-344-369-1", bibdate = "Thu Aug 27 09:07:02 2015", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/p/planck-max.bib", acknowledgement = ack-nhfb, language = "Turkish", xxLCCN = "????", xxpages = "????", } @InProceedings{Denis:2016:VCF, author = "Christophe Denis and Pablo de Oliveira Castro and Eric Petit", title = "{Verificarlo}: Checking Floating Point Accuracy through {Monte Carlo} Arithmetic", crossref = "Montuschi:2016:ISC", pages = "55--62", year = "2016", DOI = "http://dx.doi.org/10.1109/ARITH.2016.31", bibdate = "Fri Dec 16 15:17:20 MST 2016", bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib", acknowledgement = ack-nhfb, keywords = "ARITH-23", } @InProceedings{Gueron:2016:ABI, author = "Shay Gueron and Vlad Krasnov", title = "Accelerating Big Integer Arithmetic Using {Intel} {IFMA} Extensions", crossref = "Montuschi:2016:ISC", pages = "32--38", year = "2016", DOI = "http://dx.doi.org/10.1109/ARITH.2016.22", bibdate = "Fri Dec 16 15:17:20 MST 2016", bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib", acknowledgement = ack-nhfb, keywords = "ARITH-23; integer fused multiply-add (IFMA)", } @Book{Milton:2016:ETC, editor = "Graeme W. Milton", booktitle = "Extending the Theory of Composites to Other Areas of Science", title = "Extending the Theory of Composites to Other Areas of Science", ISBN = "1-4835-6919-5 (print), 1-4835-6920-9 (e-book)", ISBN-13 = "978-1-4835-6919-2 (print), 978-1-4835-6920-8 (e-book)", publisher = "Milton--Patton Publishers", pages = "xx + 422", address = "P.O. Box 581077, Salt Lake City, UT 85148, USA", year = "2016", bibdate = "Wed Jul 06 09:36:32 2016", acknowledgement = ack-gwm, bibsource = "http://www.math.utah.edu/pub/bibnet/authors/m/milton-graeme-w.bib", } @InProceedings{Ugurdag:2016:ECC, author = "H. Fatih Ugurdag and Anil Bayram and Vecdi Emre Levent and Sezer G{\"o}ren", title = "Efficient Combinational Circuits for Division by Small Integer Constants", crossref = "Montuschi:2016:ISC", pages = "1--7", year = "2016", DOI = "http://dx.doi.org/10.1109/ARITH.2016.23", bibdate = "Fri Dec 16 15:17:20 MST 2016", bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib", acknowledgement = ack-nhfb, keywords = "ARITH-23", } @Book{Anonymous:2017:CMS, author = "Anonymous", title = "The {Chicago} Manual of Style", publisher = pub-U-CHICAGO, address = pub-U-CHICAGO:adr, edition = "17th", pages = "????", year = "2017", ISBN = "0-226-28705-X (hardcover)", ISBN-13 = "978-0-226-28705-8 (hardcover)", LCCN = "Z253 .U69 2017", bibdate = "Thu Apr 06 12:16:30 2017", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib; http://www.math.utah.edu/pub/tex/bib/texbook3.bib; z3950.loc.gov:7090/Voyager", acknowledgement = ack-nhfb, libnote = "Not yet in my library.", subject = "printing; style manuals; authorship", } @Article{DeBenedictis:2017:TRM, author = "Erik P. DeBenedictis", title = "It's Time to Redefine {Moore's Law} Again", journal = j-COMPUTER, volume = "50", number = "2", pages = "72--75", month = feb, year = "2017", CODEN = "CPTRB4", DOI = "http://doi.ieeecomputersociety.org/10.1109/MC.2017.34", ISSN = "0018-9162 (print), 1558-0814 (electronic)", ISSN-L = "0018-9162", bibdate = "Thu Feb 9 08:24:53 MST 2017", bibsource = "http://computer.org/computer/co1998/; http://www.math.utah.edu/pub/tex/bib/computer2010.bib", xxURL = "https://www.computer.org/csdl/mags/co/2017/02/mco2017020072-abs.html", acknowledgement = ack-nhfb, journal-URL = "http://www.computer.org/portal/web/csdl/magazines/computer", } @Misc{Ormond:2017:IWW, author = "Jim Ormond", title = "Inventor of {World Wide Web} Receives {ACM A. M. Turing Award}: {Sir Tim Berners-Lee} Designed Integrated Architecture and Technologies that Underpin the {Web}", howpublished = "ACM press release.", day = "4", month = apr, year = "2017", bibdate = "Tue Apr 04 09:46:44 2017", bibsource = "http://www.math.utah.edu/pub/tex/bib/acm-turing-awards.bib", URL = "http://www.acm.org/media-center/2017/april/turing-award-2016", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTA, author = "Asparago Zucchina", title = "Fake title with all fields set", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTC, author = "Asparago Zucchina", title = "Fake title with {CODEN} unknown", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", day = "??", month = dec, year = "2050", CODEN = "????", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTDa, author = "Asparago Zucchina", title = "Fake title with day unknown", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", day = "??", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTDb, author = "Asparago Zucchina", title = "Fake title with {DOI} unknown", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", day = "??", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "????", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTIa, author = "Asparago Zucchina", title = "Fake title with {ISSN} unknown", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "????", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTIb, author = "Asparago Zucchina", title = "Fake title with {ISSN-L} unknown", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "????", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTJ, author = "Asparago Zucchina", title = "Fake title with journal unknown", journal = "????", volume = "1", number = "2", pages = "3--4", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTM, author = "Asparago Zucchina", title = "Fake title with month unknown [but day set, so day and month output are suppressed]", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", day = "31", month = "????", year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTNa, author = "Asparago Zucchina", title = "Fake title with note unknown", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "????", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTNb, author = "Asparago Zucchina", title = "Fake title with number unknown", journal = "Bogus Journal", volume = "1", number = "??", pages = "3--4", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTP, author = "Asparago Zucchina", title = "Fake title with pages unknown", journal = "Bogus Journal", volume = "1", number = "2", pages = "??--??", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTU, author = "Asparago Zucchina", title = "Fake title with {URL} unknown", journal = "Bogus Journal", volume = "2", number = "3", pages = "3--4", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "????", acknowledgement = ack-nhfb, } @Article{Zucchina:2050:FTV, author = "Asparago Zucchina", title = "Fake title with volume unknown", journal = "Bogus Journal", volume = "??", number = "3", pages = "3--4", day = "31", month = dec, year = "2050", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } @Article{Such:2099:FTa, author = "None Such", title = "Fake title with nonstandard {DOI}", journal = "Bogus Journal", volume = "1", number = "2", pages = "3--4", year = "2099", CODEN = "YYYYY", DOI = "http://none.such.org/10.1109/XX.2099.34", ISSN = "8888-8889 (print), 8888-8888 (electronic)", ISSN-L = "8888-8889", bibdate = "Thu Apr 06 11:58:55 2017", price = "US\$31.00", URL = "http://users.example.com/~such/XX.2099.34", acknowledgement = ack-nhfb, } @Article{Such:2099:FTb, author = "None Such", title = "Fake title with standard {DOI}", journal = "Bogus Journal", volume = "2", number = "3", pages = "4--5", year = "2099", CODEN = "YYYYY", DOI = "http://doi.org/10.1109/XX.2099.45", ISSN = "8888-8889 (print), 8888-8888 (electronic)", ISSN-L = "8888-8889", bibdate = "Thu Apr 06 11:58:55 2017", price = "US\$32.00", URL = "http://users.example.com/~such/XX.2099.45", acknowledgement = ack-nhfb, } @Article{Such:2099:FTc, author = "None Such", title = "Fake title with multiple standard {DOIs}", journal = "Bogus Journal", volume = "3", number = "4", pages = "5--6", year = "2099", CODEN = "YYYYY", DOI = "http://doi.org/10.1109/XX.2099.56a; http://doi.org/10.1109/XX.2099.56b", ISSN = "8888-8889 (print), 8888-8888 (electronic)", ISSN-L = "8888-8889", bibdate = "Thu Apr 06 11:58:55 2017", price = "US\$33.00", URL = "http://users.example.com/~such/XX.2099.56", acknowledgement = ack-nhfb, } @Article{Such:2099:FTd, author = "None Such", title = "Fake title with multiple nonstandard {DOIs}", journal = "Bogus Journal", volume = "4", number = "5", pages = "7--8", year = "2099", CODEN = "YYYYY", DOI = "http://none.such.org/10.1109/XX.2099.67a; http://none.such.org/10.1109/XX.2099.67b", ISSN = "8888-8889 (print), 8888-8888 (electronic)", ISSN-L = "8888-8889", bibdate = "Thu Apr 06 11:58:55 2017", price = "US\$34.00", URL = "http://users.example.com/~such/XX.2099.67", acknowledgement = ack-nhfb, } @Periodical{MAPLETECH, editor = "Tony Scott", key = "MAPLETECH", title = "The Maple Technical Newsletter", organization = "Mathematical Institute, University of Oxford", publisher = pub-BIRKHAUSER, address = pub-BIRKHAUSER:adr, ISSN = "1061-5733", ISSN-L = "1061-5733", bibdate = "Thu Jul 07 18:10:56 1994", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib", note = "Published twice annually.", acknowledgement = ack-nhfb, } @Article{XXXX:XXXX:FTE, key = "Zucchina-xx", author = "????", title = "Fake title with everything else unknown", journal = "????", volume = "??", number = "??", pages = "??--??", day = "??", month = "????", year = "????", CODEN = "????", DOI = "????", ISSN = "????", ISSN-L = "????", bibdate = "Thu Apr 06 11:58:55 2017", note = "????note", acknowledgement = ack-nhfb, } @Article{Zucchina:XXXX:FTY, author = "Asparago Zucchina", title = "Fake title with year unknown", journal = "Bogus Journal", volume = "??", number = "3", pages = "3--4", day = "31", month = dec, year = "????", CODEN = "ZZZZZ", DOI = "http://dx.doi.org/10.9999/bogusj.1.2.3.4", ISSN = "9999-9998 (print), 9999-9999 (electronic)", ISSN-L = "9999-9998", bibdate = "Thu Apr 06 11:58:55 2017", note = "This is a note about this sample article.", URL = "http://docs.example.com/zanetti/bogusj.1.2.3.4", acknowledgement = ack-nhfb, } %%% ==================================================================== %%% Cross-referenced entries must come last: @Proceedings{Syropoulos:2004:TXD, editor = "Apostolos Syropoulos and Karl Berry and Yannis Haralambous and Baden Hughes and Steven Peter and John Plaice", booktitle = "{{\TeX}, XML, and Digital Typography: International Conference on \TeX, XML, and Digital Typography, held jointly with the 25th Annual Meeting of the \TeX{} Users Group, TUG 2004, Xanthi, Greece, August 30--September 3, 2004: Proceedings}", title = "{{\TeX}, XML, and Digital Typography: International Conference on \TeX, XML, and Digital Typography, held jointly with the 25th Annual Meeting of the \TeX{} Users Group, TUG 2004, Xanthi, Greece, August 30--September 3, 2004: Proceedings}", volume = "3130", publisher = pub-SV, address = pub-SV:adr, pages = "viii + 263", year = "2004", CODEN = "LNCSD9", DOI = "http://doi.org/10.1007/b99374", ISBN = "3-540-22801-2", ISBN-13 = "978-3-540-22801-1", ISSN = "0302-9743 (print), 1611-3349 (electronic)", ISSN-L = "0302-9743", LCCN = "Z253.3 I58 2004", bibdate = "Tue Nov 16 08:40:30 2004", bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib", series = ser-LNCS, xxURL = "http://link.springer-ny.com/link/service/series/0558/tocs/t3130.htm; http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3130; http://www.springerlink.com/openurl.asp?genre=volume&id=doi:10.1007/b99374", acknowledgement = ack-nhfb, } @Proceedings{Montuschi:2016:ISC, editor = "Paolo Montuschi and Michael Schulte and Javier Hormigo and Stuart Oberman and Nathalie Revol", booktitle = "{2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016}", title = "{2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016}", publisher = pub-IEEE, address = pub-IEEE:adr, bookpages = "xxi + 182", pages = "xxi + 182", year = "2016", ISBN = "1-5090-1615-5", ISBN-13 = "978-1-5090-1615-0", ISSN = "1063-6889", ISSN-L = "1063-6889", LCCN = "QA76.9.C62 S95 2016", bibdate = "Fri Dec 16 15:16:45 2016", bibsource = "http://www.math.utah.edu/pub/tex/bib/elefunt.bib; http://www.math.utah.edu/pub/tex/bib/fparith.bib; http://www.math.utah.edu/pub/tex/bib/mathcw.bib", URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=7562813", acknowledgement = ack-nhfb, keywords = "computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification", }