Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD ELECTRONIC DIGITAL COMPUTERS PROGRAMMING *END*INIT* use /tmp/qspiwww.webspi1/25737.10 QRY 131.225.70.96 . find keyword electronic digital computers programming ( in books using www Cover
Image
Call number:SPRINGER-2009-9780387981444:ONLINE Show nearby items on shelf
Title:Computational Statistics [electronic resource]
Author(s): James E Gentle
Date:2009
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Computational inference has taken its place alongside asymptotic inference and exact techniques in the standard collection of statistical methods. Computational inference is based on an approach to statistical methods that usesmodern computational po wer to simulate distributional properties of estimators and test statistics. This book describes computationally-intensive statistical methods in a unified presentation, emphasizing techniques, such as the PDFdecomposition, that arise in a wide range of m ethods. The book assumes an intermediate background in mathematics, computing, and applied and theoretical statistics. The first part of the book, consisting of a single long chapter,reviews this background material while introducing computationally-inten sive exploratory data analysis and computational inference. The six chapters in the second part of the book are on statistical computing. This part describesarithmetic in digital computers and how the nature of digital computations affects algorithms used in statistical methods. Building on the first chapters on numerical computations and algorithm design, the following chapters cover themain areas of statistical numerical analysis, that is, approximation of functions, numerical quadrature, numerical line ar algebra, solution of nonlinear equations, optimization, and random number generation. The third and fourth partsof the book cover methods of computational statistics, including Monte Carlo methods, randomization and cross validation, the bootstrap, pro bability density estimation, and statistical learning. The book includes a large number ofexercises with some solutions provided in an appendix. James E. Gentle is University Professor of Computational Statistics at George Mason University. He is a Fellow of the American Statistical Association (ASA) and of the AmericanAssociation for the Advancement of Science. He has held several national offices in the ASA and has served as associate editor of journa
Note:Springer eBooks
Contents:Preliminaries
Mathematical and Statistical Preliminaries
Statistical Computing
Computer Storage and Arithmetic
Algorithms and Programming
Approximation of Functions and Numerical Quadrature
Numerical Linear Algebra
Solution of Nonlinear Equations and Optimization
Generation of Random Numbers
Methods of Computational Statistics
Graphical Methods in Computational Statistics
Tools for Identification of Structure in Data
Estimation of Functions
Monte Carlo Methods for Statistical Inference
Data Randomization, Partitioning, and Augmentation
Bootstrap Met
ISBN:9780387981444
Series:e-books
Series:SpringerLink (Online service)
Series:Statistics and Computing, 1431-8784
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Electronic data processing , Data mining , Computer simulation , Numerical analysis , Mathematical statistics , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781402018985:ONLINE Show nearby items on shelf
Title:Galois Connections and Applications
Author(s):
Date:2004
Size:1 online resource (502 p.)
Note:10.1007/978-1-4020-1898-5
Contents:Adjunctions and Galois Connections: Origins, History and Development -- Categorical Galois Theory: Revision and Some Recent Developments -- The Polarity between Approximation and Distribution -- Galois Connections and Complete
Sublattices -- Galois Connections for Operations and Relations -- Galois Connections and Polynomial Completeness -- Q-Independence and Weak Automorphisms -- A Survey of Clones Closed Under Conjugation -- Galois Connections for Partial
Algebras -- Complexity of Terms and the Galois Connection Id-Mod -- Iterated Galois Connections in Arithmetic and Linguistics -- Deductive Systems and Galois Connections -- A Galois Correspondence for Digital Topology -- Galois
Connections in Category Theory, Topology and Logic -- Dyadic Mathematics — Abstractions from Logical Thought
ISBN:9781402018985
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 565
Keywords: Mathematics , Programming languages (Electronic computers) , Data structures (Computer science) , Artificial intelligence , Algebra , Mathematics , Algebra , Mathematics, general , Programming Languages, Compilers, Interpreters , Artificial Intelligence (incl. Robotics) , Data Structures
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783709162828:ONLINE Show nearby items on shelf
Title:Perspectives on Enclosure Methods
Author(s):
Date:2001
Size:1 online resource (345 p.)
Note:10.1007/978-3-7091-6282-8
Contents:Proving Conjectures by Use of Interval Arithmetic -- 1 Computer Assisted Proofs in Analysis -- 2 The Kepler Conjecture -- 3 The Double Bubble Conjecture -- 4 The Dirac-Schwinger Conjecture -- 5 ‘Chaos conjectures’ -- References --
Advanced Arithmetic for the Digital Computer Interval Arithmetic Revisited -- 1 Introduction and Historical Remarks -- 2 Interval Arithmetic, a Powerful Calculus to Deal with Inequalities -- 3 Interval Arithmetic as Executable Set
Operations -- 4 Enclosing the Range of Function Values -- 5 The Interval Newton Method -- 6 Extended Interval Arithmetic -- 7 The Extended Interval Newton Method -- 8 Differentiation Arithmetic, Enclosures of Derivatives -- 9 Interval
Arithmetic on the Computer -- 10 Hardware Support for Interval Arithmetic -- References -- Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers -- 1 Introduction -- 2 Iterative Solvers and Finite Precision -- 3
Krylov Subspace Methods -- 4 Improved Arithmetic -- 5 Verified Error Bounds -- 6 Computational Results -- References -- Elements of Scientific Computing -- 1 Hardware Requirements -- 2 Software Requirements -- 3 Modelling Requirements
-- 4 Conclusion -- References -- Biography -- The Mainstreaming of Interval Arithmetic -- 1 Introduction -- 2 Moore’s Law and Precision -- 3 Interval Physics -- 4 Summary -- References -- Bounds for Eigenvalues with the Use of Finite
Elements -- 1 Introduction -- 2 Setting for the Problem -- 3 Calculation of Bounds -- 4 Verified Computation -- 5 Application: the Membrane Problem -- 6 Numerical Examples -- References -- Algorithmic Differencing -- 1 Algorithmic
Representation of Functions -- 2 Transformation of Algorithms -- 3 Finite Precision Calculations -- 4 First Order Difference Operators -- 5 Differences of Inverse Functions -- 6 Higher Order Divided Differences -- References -- A
Comparison of Techniques for Evaluating Centered Forms -- 1 Introduction -- 2 Methods for Computing Slope Vectors -- 3 A Numerical Example -- 4 Summary and Recommendations -- References -- On the Limit of the Total Step Method in
Interval Analysis -- 1 Introduction -- 2 Notations -- 3 Results -- References -- How Fast can Moore’ Interval Integration Method Really be? -- 1 Introduction -- 2 Moore’s Algorithm -- 3 Estimation of the Integration Error -- 4
Conclusions -- References -- Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments -- 1 Introduction -- 2 Error Propagation Control and Reliable Numerical Algorithms in
MOBILE -- 3 Verified Calculation of the Solution of Discrete-Time Algebraic Riccati Equation -- 4 Accurate Distance Calculation Algorithms -- 5 Accurate Robot Reliability Estimation -- 6 Further Work -- 7 Acknowledgement -- References
-- On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds -- 1 Introduction or What is the Wrapping Effect? -- 2 Where does the Wrapping Effect appear? -- 3 How can we Reduce the Wrapping Effect? -- 4 Conclusion --
References -- A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations -- 1 Introduction -- 2 Preliminaries -- 3 How the Wrapping Effect Arises in Interval Methods for
IVPs for ODEs: A Traditional Explanation -- 4 The Wrapping Effect as a Source of Instability in Interval Methods for IVPs for ODEs -- 5 The Parallelepiped and Lohner’s QR-Factorization Methods -- 6 Why the Parallelepiped Method Often
Fails -- 7 When Does the Parallelepiped Method Work Well -- 8 How the QR Method Improves Stability -- 9 Conclusions -- A Lemmas -- References -- A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular
Elements -- 1 Introduction -- 2 Strategy -- 3 The Method to Calculate a Rigorous Solution -- 4 Checking the Condition -- 5 Some Computational Techniques for Efficient Enclosure Methods -- 6 Numerical Results -- References -- Nonsmooth
Global Optimization -- 1 Introduction -- 2 Preliminaries -- 3 A Pruning Technique for Global Optimizationx -- 4 Multidimensional Pruning Techniques for Global Optimization -- References
ISBN:9783709162828
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer simulation , Mathematical analysis , Analysis (Mathematics) , Algorithms , Numerical analysis , Calculus of variations , Mathematics , Numerical Analysis , Simulation and Modeling , Analysis , Programming Languages, Compilers, Interpreters , Calculus of Variations and Optimal Control Optimization , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1994-9781461527763:ONLINE Show nearby items on shelf
Title:VLSI Signal Processing Technology
Author(s):
Date:1994
Size:1 online resource (234 p.)
Note:10.1007/978-1-4615-2776-3
Contents:1. VLSI DSP Technology: Current Developments -- 2. Recent Developments in the Design of Image and Video Processing ICs -- 3. High Performance Arithmetic for DSP Systems -- 4. Pipelining and Clocking of High Performance Synchronous
Digital Systems -- 5. High-Speed Transform Coding Architectures for Video Communications -- 6. Design and Programming of Systolic Array Cells for Signal Processing -- 7. Analog VLSI Signal Processors: Design and Test Methodologies --
8. Switched-Capacitor Parallel Distributed Processing Network for Speech Recognition
ISBN:9781461527763
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computers , Acoustics , Electrical engineering , Electronic circuits , Physics , Acoustics , Theory of Computation , Circuits and Systems , Signal, Image and Speech Processing , Electrical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Call number:QA76.6.T88::1980 Show nearby items on shelf
Title:Tutorial on software design techniques
Author(s): Peter Freeman
Date:1980
Edition:3d ed.
Publisher:IEEE Computer Society, Long Beach, Calif
Size:455
Keywords: Electronic digital computers Programming.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
Location: MAIN

Cover Image This book is only available through interlibrary loan. (email library@fnal.gov if you would like this title added to the Library collection.)
Call number:QA76.6.S684::1992 Show nearby items on shelf
Title:Problem solving and programming concepts
Author(s): Maureen Sprankle
Date:1992
Edition:2nd ed.
Publisher:Macmillan Pub. Co, New York
Size:395
ISBN:0024153400
Keywords: Electronic digital computers Programming.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: ILL

Cover Image This book is only available through interlibrary loan. (email library@fnal.gov if you would like this title added to the Library collection.)
Call number:QA76.6.K695::1992 Show nearby items on shelf
Title:Genetic programming : on the programming of computers by means of natural selection
Author(s): John R. Koza
Date:1992
Publisher:MIT Press, Cambridge, Mass
Size:819
ISBN:0262111705
Series:Complex adaptive systems no. 131
Keywords: Electronic digital computers Programming.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: ILL

Cover Image
Call number:QA76.6.B25::1988 Show nearby items on shelf
Title:Computer algorithms : introduction to design and analysis
Author(s): Sara Baase
Date:1988
Edition:2nd ed.
Publisher:Addison-Wesley Pub. Co, Reading, Mass
Size:415
ISBN:0201060353
Series:Addison-Wesley series in computer science CN 5088
Keywords: Electronic digital computers Programming.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image
Call number:QA76.6.A255::1985 Show nearby items on shelf
Title:Structure and interpretation of computer programs
Author(s): Harold Abelson
Gerald Jay Sussman
Date:1985
Publisher:MIT Press, Cambridge, Mass
Size:542
ISBN:0262010771
Series:The MIT electrical engineering and computer science series 87-09
Keywords: Electronic digital computers Programming.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Call number:QA76.5.M137 Show nearby items on shelf
Title:Digital computer programming.
Author(s): Daniel D. McCracken
Date:1957
Publisher:Wiley, New York
Size:253
Series:General Electric series 281
Keywords: Electronic digital computers Programming.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
Location: MAIN

Return to the Fermilab Library catalog