Fermilab Core Computing Division

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

Fermilab Library |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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