Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 9781447127369:ONLINE Show nearby items on shelf |
Title: | Guide to Scientific Computing in C++ [electronic resource] |
Author(s): |
Joe Pitt-Francis Jonathan Whiteley |
Date: | 2012 |
Publisher: | London: Springer |
Size: | 1 online resource (256 p) |
Note: | eBook is available to one user at a time |
Note: | 5 electronic online copies |
Contents: | Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions and Reference Variables -- An Introduction to Classes -- Inheritance and Derived Classes -- Templates -- Errors and Exceptions -- Developing Classes for Lin ear Algebra Calculations -- An Introduction to Parallel Programming Using MPI -- Designing Object-Oriented Numerical Libraries -- Linear Algebra -- Other Programming Constructs You Might Meet -- Solutions to Exercises -- Further Reading. |
ISBN: | 9781447127352 |
Series: | eBooks |
Series: | Undergraduate Topics in Computer Science |
Series: | ProQuest ebrary |
Keywords: | Computer science. , Software 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: | SPRINGER-2014-9783642549595:ONLINE Show nearby items on shelf |
Title: | A Primer on Scientific Programming with Python [electronic resource] |
Author(s): |
Hans Petter Langtangen |
Date: | 2014 |
Edition: | 4th ed. 2014 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics,numerical calculus, st atistics, physics, biology and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageousto study classical and numerical one-variable c alculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of scienceand engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science. From the reviews: Langtangen does an excellent job of introducing programming as a set of skills in problem solving. He guides the reader into thinking properly about producing program logic and data structures for modeling real-world problems using objectsand functions and embracing the object-oriented paradigm. Summing Up: Highly recommended. F. H. Wild III, Choice, Vol. 47 (8), April 2010 Those of us who have learned scientific programming in Python on the streets could be alittle jealous of students who have the opportunity to take a course out of Langtangens Primer. John D. Cook, The Mathematical Association of Am erica, September 2011 This book goes through Python in particular, and programmingin general, via tasks that scientists will likely perform. It contains valuable informationfor students new to scientific computing and would be the perfect bridge between a n introduction to programming and an advanced course onnumerical methods or computational science. Alex Small, IEEE, CiSE Vol. 14 (2), March/April 2012 |
Contents: | Preface |
Computing with Formulas | |
Loops and Lists | |
Functions and Branching | |
User Input and Error Handling | |
Array Computing and Curve Plotting | |
Dictionaries and Strings | |
Introduction to Classes | |
Random Numbers and Simple Games | |
Object | |
Oriented Programming | |
Sequences and Difference Equations | |
Introduction to Discrete Calculus | |
Introduction to Differential Equations | |
A Complete Differential Equation Project | |
Programming of Differential Equations | |
Debugging | |
Migrating Python to Compiled Code | |
Technical Topics | |
Bibliography | |
Index | |
ISBN: | 9783642549595 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Texts in Computational Science and Engineering, 1611-0994 : v6 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Software engineering , Computer science |
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-2013-9783642317941:ONLINE Show nearby items on shelf |
Title: | Foundations of Geometric Algebra Computing [electronic resource] |
Author(s): |
Dietmar Hildenbrand |
Date: | 2013 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The author defines Geometric Algebra Computing as the geometrically intuitive development of algorithms using geometric algebra with a focus on their efficient implementation, and the goal of this book is to lay thefoundations for the widespread use of geometric algebra as a powerful, intuitive mathematical language for engineering applications in academia and industry. The related technology is driven by the invention of conformal geometricalgebra as a 5D extension of the 4D projective geometric alg ebra and by the recent progress in parallel processing, and with the specific conformal geometric algebra there is a growing community in recent years applying geometricalgebra to applications in computer vision, computer graphics, and robotics. This book is organized into three parts: in Part I the author focuses on the mathematical foundations in Part II he explains the interactive handling ofgeometric algebra and in Part III he deals with computing technology for high-performance implementations based on geometric algebra as a domain-specific language in standard programming languages such as C++ and OpenCL. The book iswritten in a tutorial style and readers should gain experience with the associated freely available software packages and applications. The book is suitable for students, engineers, and researchers in computer science, computationalengineering, and mathematics |
Note: | Springer eBooks |
Contents: | Chap. 1 Introduction |
Chap. 2 Mathematical Introduction | |
Chap. 3 The Conformal Geometric Algebra | |
Chap. 4 Maple and the Identification of Quaternions and Other Algebras | |
Chap. 5 Fitting of Planes or Spheres into Point Sets | |
Chap. 6 Geometric Algebra Tutorial Using CLUCalc | |
Chap. 7 Inverse Kinematics of a Simple Robot | |
Chap. 8 Robot Grasping an Object | |
Chap. 9 Efficient Computer Animation Application in CGA | |
Chap. 10 Using Gaalop for Performant Geometric Algebra Computing | |
Chap. 11 Collision Detection Using the Gaalop Precompiler | |
Chap. 12 Gaalop Precompiler for GPGPUs | |
ISBN: | 9783642317941 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Geometry and Computing, 1866-6795 : v8 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Computer science , Computer vision , Geometry , 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-2012-9783642302930:ONLINE Show nearby items on shelf |
Title: | A Primer on Scientific Programming with Python [electronic resource] |
Author(s): |
Hans Petter Langtangen |
Date: | 2012 |
Edition: | 3rd ed. 2012 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example- and problem-oriented, where the applications are taken from mathematics,numerical calculus, s tatistics, physics, biology, and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background, and it isadvantageous to study classical and numerical one-variabl e calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in variousbranches of science and engineering, with the aid of numerical methods and programmi ng. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science. |
Note: | Springer eBooks |
Contents: | Preface |
Computing with Formulas | |
Loops and Lists | |
Functions and Branching | |
Input Data and Error Handling | |
Array Computing and Curve Plotting | |
Files, Strings and Dictionaries | |
Introduction to Classes | |
Random Numbers and Simple Games | |
Object | |
Oriented Programming | |
Sequences and Difference Equations | |
Introduction to Discrete Calculus | |
Introduction to Differential Equations | |
A Complete Differential Equation Project | |
Programming of Differential Equations | |
Debugging | |
Migrating Python to Compiled Code | |
Technical Topics | |
Bibliography | |
Index | |
ISBN: | 9783642302930 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Texts in Computational Science and Engineering, 1611-0994 : v6 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Software engineering , Computer science |
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-2012-9783642231575:ONLINE Show nearby items on shelf |
Title: | From the Web to the Grid and Beyond [electronic resource] : Computing Paradigms Driven by High-Energy Physics |
Author(s): |
Ren Brun Federico Carminati Giuliana Galli Carminati |
Date: | 2012 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Born after World War II, large-scale experimental high-energy physics (HEP) has found itself limited ever since by available accelerator, detector and computing technologies. Accordingly, HEP has made significant contributions tothe development of th ese fields, more often than not driving their innovations. The invention of the World Wide Web at CERN is merely the best-known example out of many. This book is the first comprehensive account to trace the historyof this pioneering spirit in the field of computing technologies. It covers everything up to and including the present-day handling of the huge demands imposed upon grid and distributed computing by full-scale LHC operations -operations which have for years involved many thousands of collaborati ng members worldwide and accordingly provide the original and natural testbed for grid computing concepts. This book takes the reader on a guided tour encompassingall relevant topics, including programming languages, software engineering, large databases, the Web, and grid- and cloud computing. The important issue of intellectual property regulations for distributed software engineering andcomputing is also addressed. Aptly, the book closes with a visionary chapter of what may lie ahead. Approachable and requiring only basic understanding of physics and computer sciences, this book is intended for both education andresearch |
Note: | Springer eBooks |
Contents: | Technologies, Collaborations and Languages : 20 Years of HEP Computing |
Why HEP Invented Web? | |
Computing Services for LHC | |
From Clusters to Grids | |
The Realities of Grid Computing | |
Software Development in HEP | |
A Discussion on Virtualisation in GRID Computing | |
Evolution of Parallel Computing in High Energy Physics | |
Aspects of Intellectual Property Law for HEP Software Developers | |
Databases in High Energy Physics | |
A Critical Review | |
Towards a Globalised Data Access | |
The Planetary Brain | |
Index | |
Glossary | |
ISBN: | 9783642231575 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | The Frontiers Collection, 1612-3018 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Computer science , Computer Communication Networks , Software engineering , Quantum theory , Particle acceleration |
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-2011-9783642183669:ONLINE Show nearby items on shelf |
Title: | A Primer on Scientific Programming with Python [electronic resource] |
Author(s): |
Hans Petter Langtangen |
Date: | 2011 |
Edition: | 2nd Edition |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example- and problem-oriented, where the applications are taken from mathematics,numerical calculus, s tatistics, physics, biology, and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background, and it isadvantageous to study classical and numerical one-variabl e calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in variousbranches of science and engineering, with the aid of numerical methods and programmi ng. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science |
Note: | Springer eBooks |
Contents: | Computing with Formulas |
Loops and Lists | |
Functions and Branching | |
Input Data and Error Handling | |
Array Computing and Curve Plotting | |
Files, Strings and Dictionaries | |
Introduction to Classes | |
Random Numbers and Simple Games | |
Object | |
Oriented Programming | |
Sequences and Difference Equations | |
Introduction to Discrete Calculus | |
Introduction to Differential Equations | |
A Complete Differential Equation Project | |
Programming of Differential Equations | |
Debugging | |
TechnicalTopics | |
Bibliography | |
Index | |
ISBN: | 9783642183669 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Texts in Computational Science and Engineering, 1611-0994 : v6 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Software engineering , Computer science |
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-2009-9783642024757:ONLINE Show nearby items on shelf |
Title: | A Primer on Scientific Programming with Python [electronic resource] |
Author(s): |
Hans Petter Langtangen |
Date: | 2009 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example- and problem-oriented, where the applications are taken from mathematics,numerical calculus, s tatistics, physics, biology, and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background, and it isadvantageous to study classical and numerical one-variabl e calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in variousbranches of science and engineering, with the aid of numerical methods and programmi ng. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science |
Note: | Springer eBooks |
ISBN: | 9783642024757 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Texts in Computational Science and Engineering, 1611-0994 : v6 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Software engineering , Computer science |
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-2006-9783540316190:ONLINE Show nearby items on shelf |
Title: | Numerical Solution of Partial Differential Equations on Parallel Computers [electronic resource] |
Author(s): |
Are Magnus Bruaset Aslak Tveito |
Date: | 2006 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book surveys the major topics that are essential to high-performance simulation on parallel computers or computational clusters. These topics, including programming models, load balancing, mesh generation, efficient numericalsolvers, and scienti fic software, are vital ingredients in the research fields of computer science, numerical analysis, and scientific computing. In addition to presenting the technological basis, this volume addresses selectedapplications that combine different techniques i n order to meet demanding computational challenges. Through contributions from a wide range of internationally acknowledged experts, this book gives a to-the-point and self-containingoverview of efficient ways to deal with large-scale simulation problems |
Note: | Springer eBooks |
ISBN: | 9783540316190 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Lecture Notes in Computational Science and Engineering, 1439-7358 : v51 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Differential equations, partial , Computer science Mathematics , Mathematical physics , 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-2005-9780387228273:ONLINE Show nearby items on shelf |
Title: | Tutorials on Emerging Methodologies and Applications in Operations Research [electronic resource] : Presented at Informs 2004, Denver, CO |
Author(s): |
H J G |
Date: | 2005 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Operations Research emerged as a quantitative approach to problem-solving in World War II. Its founders, who were physicists, mathematicians, and engineers, quickly found peace-time uses for this new field. Moreover, we can saythat Operations Researc h (OR) was born in the same incubator as computer science, and through the years, it has spawned many new disciplines, including systems engineering, health care management, and transportation science.Fundamentally, Operations Research crosses discipline domains to seek solutions on a range of problems and benefits diverse disciplines from finance to bioengineering. Many disciplines routinely use OR methods. Many scientificresearchers, engineers, and others will find the methodological presentations in th is book useful and helpful in their problem-solving efforts. ORs strengths are modeling, analysis, and algorithm design. It provides a quantitativefoundation for a broad spectrum of problems, from economics to medicine, from environmental control to sport s, from e-commerce to computational geometry. The primary purpose of TUTORIALS ON EMERGING METHODOLOGIES AND APPLICATIONS INOPERATIONS RESEARCH is to provide a reference for practitioners and academics who seek a clear, concise presentation of developing methodologies, hence providing themselves with the capability to apply these methods to new problems.The field of Operations Research is always changing. Its changes are driven by the technology it uses and that it extends, and the applications that it af fects. Relevant changes in the field have a permanent effect on the conduct of ORand are vital to anyone who wants to be current in the field. Each chapter presents a new developing methodology in Operations Research. Each chapter examines each topic with clarity and depth, and organizes the examination around thefollowing questions: (1) What the developing methodology basically is about? (2) Why is it important? and (3) Where can I learn more? |
Note: | Springer eBooks |
Contents: | Heuristic Search for Network Design |
Polyhedral Combinatorics | |
Radiation Oncology and Optimization | |
Parallel Algorithm Design for Branch and Bound | |
Computer | |
Aided Design for Electrical and Computer Engineering | |
Nonlinear Programming and Engineering Applications | |
Connecting MRP, MRP II and ERP | |
Supply Chain Production Planning via Optimization Models | |
ISBN: | 9780387228273 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | International Series in Operations Research & Management Science, 0884-8289 : v76 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Computational complexity , Computer aided design , Computer science Mathematics , Operations research |
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-2003-9783642555084:ONLINE Show nearby items on shelf |
Title: | Large-Scale PDE-Constrained Optimization |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (12 p.) |
Note: | 10.1007/978-3-642-55508-4 |
Contents: | I Introduction -- Large-Scale PDE-Constrained Optimization: An Introduction -- II Large-Scale CFD Applications -- Nonlinear Elimination in Aerodynamic Analysis and Design Optimization -- Optimization of Large-Scale Reacting Flows |
using MPSalsa and Sequential Quadratic Programming -- III Multifidelity Models and Inexactness -- First-Order Approximation and Model Management in Optimization -- Multifidelity Global Optimization Using DIRECT -- Inexactness Issues in | |
the Lagrange-Newton-Krylov-Schur Method for PDE-constrained Optimization -- IV Sensitivities for PDE-based Optimization -- Solution Adapted Mesh Refinement and Sensitivity Analysis for Parabolic Partial Differential Equation Systems -- | |
Challenges and Opportunities in Using Automatic Differentiation with Object-Oriented Toolkits for Scientific Computing -- Piggyback Differentiation and Optimization -- V NLP Algorithms and Inequality Constraints -- Assessing the | |
Potential of Interior Methods for Nonlinear Optimization -- An Interior-Point Algorithm for Large Scale Optimization -- SQP SAND Strategies that Link to Existing Modeling Systems -- Interior Methods For a Class of Elliptic Variational | |
Inequalities -- Hierarchical Control of a Linear Diffusion Equation -- VI Time-Dependent Problems -- A Sequential Quadratic Programming Method for Nonlinear Model Predictive Control -- Reduced Order Modelling Approaches to | |
PDE-Constrained Optimization Based on Proper Orthogonal Decomposition -- Adaptive Simulation, the Adjoint State Method, and Optimization -- VII Frameworks for PDE-Constrained Optimization -- 18 The SIERRA Framework for Developing | |
Advanced Parallel Mechanics Applications -- rSQP++: An Object-Oriented Framework for Successive Quadratic Programming -- Sundance Rapid Prototyping Tool for Parallel PDE Optimization -- Color Plates | |
ISBN: | 9783642555084 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 30 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Computer mathematics , Mathematical optimization , Mathematics , Analysis , Computational Mathematics and Numerical Analysis , Optimization , Computational Science and Engineering , Partial Differential Equations |
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-2003-9783642182372:ONLINE Show nearby items on shelf |
Title: | Advanced Topics in Computational Partial Differential Equations Numerical Methods and Diffpack Programming |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (663 p.) |
Note: | 10.1007/978-3-642-18237-2 |
Contents: | 1 Parallel Computing -- 1.1 Introduction to Parallel Computing -- 1.2 A Different Performance Model -- 1.3 The First MPI Encounter -- 1.4 Basic Parallel Programming with Diffpack -- 1.5 Parallelizing Explicit FD Schemes -- 1.6 |
Parallelizing FE Computations on Unstructured Grids -- References -- Overlapping Domain Decomposition Methods -- 2.1 Introduction -- 2.2 The Mathematical Formulations -- 2.3 A 1D Example -- 2.4 Some Important Issues -- 2.5 Components | |
of Overlapping DD Methods -- 2.6 A Generic Implementation Framework -- 2.7 Parallel Overlapping DD Methods -- 2.8 Two Application Examples -- References -- 3 Software Tools for Multigrid Methods -- 3.1 Introduction -- 3.2 Sketch of How | |
Multilevel Methods are Implemented in Diffpack -- 3.3 Implementing Multigrid Methods -- 3.4 Setting up an Input File -- 3.5 Playing Around with Multigrid -- 3.6 Equipping the Poisson2 Solver with Multigrid -- 3.7 Systems of Equations, | |
Linear Elasticity -- 3.8 Nonlinear Problems -- References -- 4 Mixed Finite Elements -- 4.1 Introduction -- 4.2 Model Problems -- 4.3 Mixed Formulation -- 4.4 Some Basic Concepts of a Finite Element -- 4.5 Some Code Examples -- 4.6 | |
Programming with Mixed Finite Elements in a Simulator -- References -- 5 Systems of PDEs and Block Preconditioning -- 5.1 Introduction -- 5.2 Block Preconditioners in General -- 5.3 The Bidomain Equations -- 5.4 Two Saddle Point | |
Problems -- References -- 6 Fully Implicit Methods for Systems of PDEs -- 6.1 Introduction -- 6.2 Implementation of Solvers for PDE Systems in Diffpack -- 6.3 Problem with the Gauss-Seidel Method, by Example -- 6.4 Fully Implicit | |
Implementation -- 6.5 Applications -- 6.6 Conclusion -- References -- 7 Stochastic Partial Differential Equations -- 7.1 Introduction -- 7.2 Some Simple Examples -- 7.3 Solution Methods -- 7.4 Quick Overview of Diffpack Tools -- 7.5 | |
Tools for Random Variables -- 7.6 Diffpack Tools for Random Fields -- 7.7 Summary -- 7.A Transformation of Random Variables -- 7.B Implementing a New Distribution -- References -- 8 Using Diffpack from Python Scripts -- 8.1 | |
Introduction -- 8.2 Developing Python Interfaces to C/C++ Functions -- 8.3 Compiling and Linking Wrapper Code with Diffpack -- 8.4 Converting Data between Diffpack and Python -- 8.5 Building an Interface to a More Advanced Simulator -- | |
8.6 Installing Python, SWIG etc -- 8.7 Concluding Remarks -- References -- 9 Performance Modeling of PDE Solvers -- 9.1 Introduction -- 9.2 Model Problems -- 9.3 Numerical Methods -- 9.4 Total CPU Time Consumption -- 9.5 Solution of | |
Linear Systems -- 9.6 Construction of Linear Systems -- 9.7 Concluding Remarks -- References -- 10 Electrical Activity in the Human Heart -- 10.1 The Basic Physiology -- 10.2 Outline of a Mathematical Model -- 10.3 The Bidomain Model | |
-- 10.4 A Complete Mathematical Model -- 10.5 Physiology of the Heart Muscle Tissue -- 10.6 The Numerical Method -- 10.7 Implementation -- 10.8 Optimization of the Simulator -- 10.9 Simulation Results -- 10.10 Concluding Remarks -- | |
References -- 11 Mathematical Models of Financial Derivatives -- 11.1 Introduction -- 11.2 Basic Assumptions -- 11.3 Forwards and Futures -- 11.4 The Black-Scholes Analysis -- 11.5 European Call and Put Options -- 11.6 American Options | |
-- 11.7 Exotic Options -- 11.8 Hedging -- 11.9 Remarks -- References -- 12 Numerical Methods for Financial Derivatives -- 12.1 Introduction -- 12.2 Model Summary -- 12.3 Monte-Carlo Methods -- 12.4 Lattice Methods -- 12.5 Finite | |
Difference Methods -- 12.6 Finite Element Methods -- References -- 13 Finite Element Modeling of Elastic Structures -- 13.1 Introduction -- 13.2 An Introductory Example Bar Elements -- 13.3 Another Example Beam Elements -- 13.4 General | |
Three-Dimensional Elasticity -- 13.5 Degrees of Freedom and Basis Functions -- 13.6 Material Types and Elasticity Matrices -- 13.7 Element Matrices in Local Coordinates -- 13.8 Element Load Vectors in Local Coordinates -- 13.9 Element | |
Matrices and Vectors in Global Coordinates -- 13.10 Element Forces, Stresses, and Strains -- 13.11 Implementation of Structural Elements -- 13.12 Some Example Programs -- 13.13 Test Problems -- 13.14 Summary -- References -- 14 | |
Simulation of Aluminum Extrusion -- 14.1 Introduction -- 14.2 Mathematical Formulation -- 14.3 Finite Element Implementation -- 14.4 Object-Oriented Implementation -- 14.5 Numerical Experiments -- 14.6 Concluding Remarks -- References | |
-- 15 Simulation of Sedimentary Basins -- 15.1 Introduction -- 15.2 The Geomechanical and Mathematical Problem -- 15.3 Numerical Methods -- 15.4 Implementing a Solver for a System of PDEs -- 15.5 Verification -- 15.6 A Magmatic Sill | |
Intrusion Case Study -- 15.7 Concluding Remarks -- References | |
ISBN: | 9783642182372 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 33 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Computer mathematics , Mathematics , Analysis , Computational Science and Engineering , Partial Differential Equations |
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-2002-9781475736090:ONLINE Show nearby items on shelf |
Title: | Models for Parallel and Distributed Computation Theory, Algorithmic Techniques and Applications |
Author(s): | |
Date: | 2002 |
Size: | 1 online resource (323 p.) |
Note: | 10.1007/978-1-4757-3609-0 |
Contents: | 1 Introduction to the Complexity of Parallel Algorithms -- 2 The Combinatorics of Resource Sharing -- 3 On Solving the Static Task Scheduling Problem for Real Machines -- 4 Predictable Parallel Performance: The BSP Model -- 5 Discrete |
computing with CGM -- 6 Parallel Graph Algorithms for Coarse-Grained Multicomputers -- 7 Parallel metaheuristics for combinatorial optimization -- 8 Parallelism in Logic Programming and Scheduling Issues -- 9 Parallel Asynchronous Team | |
Algorithms -- 10 Parallel Numerical Methods for Differential Equations | |
ISBN: | 9781475736090 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Optimization: 67 |
Keywords: | Computer science , Architecture, Computer , Computers , Computer science , Combinatorics , Computer Science , Computer System Implementation , Theory of Computation , Discrete Mathematics in Computer Science , Combinatorics , Symbolic and Algebraic Manipulation |
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-2002-9780306476488:ONLINE Show nearby items on shelf |
Title: | Stochastic and Global Optimization |
Author(s): | |
Date: | 2002 |
Size: | 1 online resource (237 p.) |
Note: | 10.1007/b130735 |
Contents: | Topographical Differential Evolution Using Pre-calculated Differentials -- Optimal Tax Depreciation in Stochastic Investment Model -- Global Optimisation of Chemical Process Flowsheets -- One-dimensional Global Optimization Based on |
Statistical Models -- Animated Visual Analysis of Extremal Problems -- Test Problems for Lipschitz Univariate Global Optimization with Multiextremal Constraints -- Numerical Techniques in Applied Multistage Stochastic Programming -- On | |
the Efficiency and Effectiveness of Controlled Random Search -- Discrete Backtracking Adaptive Search for Global Optimization -- Parallel Branch-and-bound Attraction Based Methods for Global Optimzation -- On Solution of Stochastic | |
Linear Programs by Discretization Methods -- The Structure of Multivariate Models and the Range of Definition -- Optimality Criteria for Investment Projects Under Uncertainty | |
ISBN: | 9780306476488 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Nonconvex Optimization and Its Applications: 59 |
Keywords: | Mathematics , Computers , System theory , Mathematical optimization , Statistics , Mathematics , Optimization , Statistics, general , Systems Theory, Control , Theory of Computation , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien |
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-9783709162804:ONLINE Show nearby items on shelf |
Title: | Symbolic Algebraic Methods and Verification Methods |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (266 p.) |
Note: | 10.1007/978-3-7091-6280-4 |
Contents: | Topological Concepts for Hierarchies of Variables, Types and Controls -- Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem -- Symbolic-Numeric Algorithms for Polynomials: Some Recent Results -- |
Symbolic-Numeric QD-Algorithms with Applications in Function Theory and Linear Algebra -- On the Isoefficiency of the Parallel Descartes Method -- Matrix Methods for Solving Algebraic Systems -- A Feasibility Result for Interval | |
Gaussian Elimination Relying on Graph Structure -- Solution of Systems of Polynomial Equations by Using Bernstein Expansion -- Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming -- Translation of Taylor | |
Series into LFT Expansions -- Quasi Convex-Concave Extensions -- Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic -- Derivative-Based Sub division in Multi-dimensional Verified Gaussian Quadrature -- | |
On the Shape of the Fixed Points of [f]([x]) = [A][x] + [b] -- Exact Computation with leda_real - Theory and Geometrie Applications -- Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations -- Geometric Series | |
Bounds for the Local Errors of Taylor Methods for Linear n-th-Order ODEs -- Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems -- Fast Verification Algorithms in MATLAB -- The Linear Complementarity | |
Problem with Interval Data -- Some Numerical Methods for Nonlinear Least Squares Problems -- A New Insight of the Shortley-Weller Approximation for Diriehlet Problems -- How Orthogonality is Lost in Krylov Methods | |
ISBN: | 9783709162804 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Arithmetic and logic units, Computer , Computers , Computer science , Algebra , Algorithms , Numerical analysis , Mathematics , Numerical Analysis , Algebra , Theory of Computation , Algorithms , Symbolic and Algebraic Manipulation , Arithmetic and Logic 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-9783662043318:ONLINE Show nearby items on shelf |
Title: | Online Optimization of Large Scale Systems |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (804 p.) |
Note: | 10.1007/978-3-662-04331-8 |
Contents: | I Optimal Control for Ordinary Differential Equations -- Sensitivity Analysis and Real-Time Optimization of Parametric Nonlinear Programming Problems -- Sensitivity Analysis and Real-Time Control of Parametric Optimal Control Problems |
Using Boundary Value Methods -- Sensitivity Analysis and Real-Time Control of Parametric Optimal Control Problems Using Nonlinear Programming Methods -- Sensitivity Analysis and Real-Time Control of a Container Crane under State | |
Constraints -- Real-Time Control of an Industrial Robot under Control and State Constraints -- Real-Time Optimal Control of Shape Memory Alloy Actuators in Smart Structures -- Real-Time Solutions for Perturbed Optimal Control Problems | |
by a Mixed Open- and Closed-Loop Strategy -- Real-Time Optimization of DAE Systems -- Real-Time Solutions of Bang-Bang and Singular Optimal Control Problems -- Conflict Avoidance During Landing Approach Using Parallel Feedback Control | |
-- II Optimal Control for Partial Differential Equations -- Optimal Control Problems with a First Order PDE System — Necessary and Sufficient Optimality Conditions -- Optimal Control Problems for the Nonlinear Heat Equation -- Fast | |
Optimization Methods in the Selective Cooling of Steel -- Real-Time Optimization and Stabilization of Distributed Parameter Systems with Piezoelectric Elements -- Instantaneous Control of Vibrating String Networks -- Modelling, | |
Stabilization, and Control of Flow in Networks of Open Channels -- Optimal Control of Distributed Systems with Break Points -- to Model Based Optimization of Chemical Processes on Moving Horizons -- Multiscale Concepts for Moving | |
Horizon Optimization -- Real-Time Optimization for Large Scale Processes: Nonlinear Model Predictive Control of a High Purity Distillation Column -- Towards Nonlinear Model-Based Predictive Optimal Control of Large-Scale Process Models | |
with Application to Air Separation Plants -- IV Delay Differential Equations in Medical Decision Support Systems -- Differential Equations with State-Dependent Delays -- Biomathematical Models with State-Dependent Delays for | |
Granulocytopoiesis -- Stochastic Optimization for Operating Chemical Processes under Uncertainty -- A Multistage Stochastic Programming Approach in Real-Time Process Control -- Optimal Control of a Continuous Distillation Process under | |
Probabilistic Constraints -- Adaptive Optimal Stochastic Trajectory Planning -- Stochastic Optimization Methods in Robust Adaptive Control of Robots -- Multistage Stochastic Integer Programs: An Introduction -- Decomposition Methods | |
for Two-Stage Stochastic Integer Programs -- Modeling of Uncertainty for the Real-Time Management of Power Systems -- Online Scheduling of Multiproduct Batch Plants under Uncertainty -- VIII Combinatorial Online Planning in | |
Transportation -- Combinatorial Online Optimization in Real Time -- Online Optimization of Complex Transportation Systems -- Stowage and Transport Optimization in Ship Planning -- IX Real-Time Annealing in Image Segmentation -- Basic | |
Principles of Annealing for Large Scale Non-Linear Optimization -- Multiscale Annealing and Robustness: Fast Heuristics for Large Scale Non-linear Optimization -- Author Index | |
ISBN: | 9783662043318 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Operations research , Decision making , Computer science , Calculus of variations , Applied mathematics , Engineering mathematics , Mathematics , Calculus of Variations and Optimal Control Optimization , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering , Operation Research/Decision Theory |
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-9781475733334:ONLINE Show nearby items on shelf |
Title: | Optimization Methods and Applications |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (414 p.) |
Note: | 10.1007/978-1-4757-3333-4 |
Contents: | I Optimal Control -- 1 Practical Stability of Impulsive Delay Differential Equations and Applications to Control Problems -- 2 A Review of Ill-Conditioning and Regularization in Optimal Control Computation -- 3 Worst-Case Optimal |
Regulation of Linear Systems in the Presence of Structured Perturbations -- 4 True Proportional Navigation System with Acceleration Saturation Constraint -- 5 Evaluation of Penalty Functions for Optimal Control -- 6 On the Optimal | |
Control Systems with Multiple Controllers -- 7 Multilevel Optimization of Optimal Control Problems -- 8 Modified Direct Gradient Descent Control of Nonlinear Systems -- 9 Computation of Feedback Control for Infinite Time Optimal | |
Control Problems -- II Optimization Methods -- 10 A Homogenized Cutting Plane Method to Solve the Convex Feasibility Problem -- 11 Algorithms for Some Hard Knapsack Problems -- 12 Non-Static Network Optimization Problems: A Survey -- | |
13 Asymptotic Rates of Convergence of SQP-Type Methods of Feasible Directions -- 14 Nonlinear Lagrangian Methods in Constrained Nonlinear Optimization -- 15 Parallel Algorithms for Solving Large-Scale Nonlinear Optimization Problems -- | |
16 Second Order Strict Converse Duality in Nonlinear Fractional Programming -- III Optimization Applications -- 17 Chebyshev Optimization of Circular Arrays -- 18 Optimum Pole Position for Digital Laguerre Network with Least Square | |
Error Criterion -- 19 A Markov Model for the Stochastic Optimal Control of a Solar Powered Car -- 20 The Personnel Task Scheduling Problem -- 21 Envelope Constrained Filter Design: Robustness Issues -- 22 A Robust Numerical Algorithm | |
for the Optimal Control of Heat Transfer in the Continuous Casting of Steel | |
ISBN: | 9781475733334 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Optimization: 52 |
Keywords: | Computer science , Software engineering , Applied mathematics , Engineering mathematics , Mathematical models , Mathematical optimization , Calculus of variations , Electrical engineering , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Calculus of Variations and Optimal Control Optimization , Electrical Engineering , Mathematical Modeling and Industrial 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-2000-9781475731552:ONLINE Show nearby items on shelf |
Title: | Nonlinear Assignment Problems Algorithms and Applications |
Author(s): | |
Date: | 2000 |
Size: | 1 online resource (304 p.) |
Note: | 10.1007/978-1-4757-3155-2 |
Contents: | 1 Multi Index Assignment Problems: Complexity, Approximation, Applications -- 2 MD Assignment of Data Association -- 3 Target-Based Weapon Target Assignment Problems -- 4 The Nonlinear Assignment Problem in Experimental High Energy |
Physics -- 5 Three Index Assignment Problem -- 6 Polyhedral Methods for the QAP -- 7 Semidefinite Programming Approaches to the Quadratic Assignment Problem -- 8 Heuristics for Nonlinear Assignment Problems -- 9 Symbolic Scheduling of | |
Parameterized Task Graphs on Parallel Machines -- 10 Decomposition Algorithms for Communication Minimization in Parallel Computing | |
ISBN: | 9781475731552 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Combinatorial Optimization: 7 |
Keywords: | Computer science , Microprocessors , Architecture, Computer , Computers , Mathematical models , Mathematical optimization , Calculus of variations , Computer Science , Processor Architectures , Computer System Implementation , Optimization , Theory of Computation , Mathematical Modeling and Industrial Mathematics , Calculus of Variations and Optimal Control Optimization |
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-1999-9781475729917:ONLINE Show nearby items on shelf |
Title: | Nonlinear Programming and Variational Inequality Problems A Unified Approach |
Author(s): |
Michael Patriksson |
Date: | 1999 |
Size: | 1 online resource (336 p.) |
Note: | 10.1007/978-1-4757-2991-7 |
Contents: | 1 Introduction -- 2 Technical preliminaries -- 3 Instances of the cost approximation algorithm -- 4 Merit functions for variational inequality problems -- 5 Convergence of the CA algorithm for nonlinear programs -- 6 Convergence of |
the CA algorithm for variational inequality problems -- 7 Finite identification of active constraints and of solutions -- 8 Parallel and sequential decomposition CA algorithms -- 9 A column generation / simplicial decomposition | |
algorithm -- A Definitions -- References | |
ISBN: | 9781475729917 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Optimization: 23 |
Keywords: | Mathematics , Computers , Computer mathematics , Algorithms , Mathematical optimization , Operations research , Management science , Mathematics , Optimization , Algorithms , Computational Mathematics and Numerical Analysis , Theory of Computation , Operations Research, Management Science |
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-1999-9781461303039:ONLINE Show nearby items on shelf |
Title: | Handbook of Combinatorial Optimization Volume1–3 |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (2406 p.) |
Note: | 10.1007/978-1-4613-0303-9 |
Contents: | Mixed-Integer Nonlinear Optimization in Process Synthesis -- Approximate Algorithms and Heuristics for MAX-SAT -- Connections between Nonlinear Programming and Discrete Optimization -- Interior Point Methods for Combinatorial |
Optimization -- Knapsack Problems -- Fractional Combinatorial Optimization -- Reformulation-Linearization Techniques for Discrete Optimization Problems -- Gröbner Bases in Integer Programming -- Applications of Set Covering, Set | |
Packing and Set Partitioning Models: A Survey -- Efficient Algorithms for Geometric Shortest Path Query Problems -- Computing Distances between Evolutionary Trees -- Combinatorial Optimization and Coalition Games -- Steiner Minimal | |
Trees: An Introduction, Parallel Computation, and Future Work -- Resource Allocation Problems -- Combinatoral Optimization in Clustering -- The Graph Coloring Problem: A Bibliographic Survey -- Steiner Minimal Trees in E3: Theory, | |
Algorithms, and Applications -- Dynamical System Approaches to Combinatorial Optimization -- On-line Dominating Set Problems for Graphs -- Optimization Problems in Optical Networks -- Shortest Networks on Surfaces -- Minimum Weight | |
Triangulations -- Optimization Applications in the Airline Industry -- Semidefinite Relaxations, Multivariate Normal Distributions, and Order Statistics -- A Review of Machine Scheduling: Complexity, Algorithms and Approximability -- | |
Routing and Topology Embedding in Lightwave Networks -- The Quadratic Assignment Problem -- Algorithmic Aspects of Domination in Graphs -- Selected Algorithmic Techniques for Parallel Optimization -- Multispace Search for Combinatorial | |
Optimization -- The Equitable Coloring of Graphs -- Randomized Parallel Algorithms for Combinatorial Optimization -- Tabu Search -- Author Index -- Author Index -- Author Index -- Author Index of Volumes 1–3 -- Subject Index of Volumes | |
1–3 | |
ISBN: | 9781461303039 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Computers , Computer science , Information theory , Combinatorics , Mathematics , Combinatorics , Discrete Mathematics in Computer Science , Theory of Computation , Information and Communication, Circuits |
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-1999-9781461215424:ONLINE Show nearby items on shelf |
Title: | Evolutionary Algorithms |
Author(s): | |
Date: | 1999 |
Size: | 1 online resource (293 p.) |
Note: | 10.1007/978-1-4612-1542-4 |
Contents: | Genetic algorithms as multi-coordinators in large-scale optimization -- Telecommunication network optimization with genetic algorithms: A decade of practice -- Using evolutionary algorithms to search for control parameters in a |
nonlinear partial differential equation -- Applying genetic algorithms to real-world problems -- An overview of evolutionary programming -- A hierarchical genetic algorithm for system identification and curve fitting with a | |
supercomputer implementation -- Experiences with the PGAPack parallel genetic algorithm library -- The significance of the evaluation function in evolutionary algorithms -- Genetic algorithm optimization of atomic clusters -- Search, | |
binary representations and counting optima -- An investigation of GA performance results for different cardinality alphabets -- Genetic algorithms and the design of experiments -- Efficient parameter optimization based on combination | |
of direct global and local search methods -- What are genetic algorithms? A mathematical prespective -- Survey of projects involving evolutionary algorithms sponsored by the Electric Power Research Institute | |
ISBN: | 9781461215424 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | The IMA Volumes in Mathematics and its Applications: 111 |
Keywords: | Computer science , Artificial intelligence , Computer Science , Artificial Intelligence (incl. Robotics) |
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-1998-9789401704359:ONLINE Show nearby items on shelf |
Title: | Automated Deduction — A Basis for Applications Volume II: Systems and Implementation Techniques |
Author(s): | |
Date: | 1998 |
Size: | 1 online resource (434 p.) |
Note: | 10.1007/978-94-017-0435-9 |
Contents: | One Interactive Theorem Proving -- 1. Structured Specifications and Interactive Proofs with KIV -- 2. Proof Theory at Work: Program Development in the Minlog System -- 3. Interactive and automated proof construction in type theory -- |
4. Integrating Automated and Interactive Theorem Proving -- Two Representation and Optimization Techniques -- 5. Term Indexing -- 6. Developing Deduction Systems: The Toolbox Style -- 7. Specifications of Inference Rules: Extensions of | |
the PTTP Technique -- 8. Proof Analysis, Generalization and Reuse -- Three Parallel Inference Systems -- 9. Parallel Term Rewriting with PaReDuX -- 10. Parallel Theorem Provers Based on SETHEO -- 11. Massively Parallel Reasoning -- | |
Four Comparision and Cooperation of Theorem Provers -- 12. Extension Methods in Automated Deduction -- 13. A Comparison of Equality Reasoning Heuristics -- 14. Cooperating Theorem Provers | |
ISBN: | 9789401704359 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Logic Series: 9 |
Keywords: | Philosophy , Logic , Software engineering , Computer science , Artificial intelligence , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation |
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-1997-9781461334002:ONLINE Show nearby items on shelf |
Title: | Parallel Computing in Optimization |
Author(s): | |
Date: | 1997 |
Size: | 1 online resource (588 p.) |
Note: | 10.1007/978-1-4613-3400-2 |
Contents: | 1 Models for Parallel Algorithm Design: An Introduction -- 1 Introduction -- 2 Shared memory model: PRAM -- 3 Distributed memory models: DMM -- 4 The coarse grained multicomputer model: CGM -- 5 Summary -- 6 Exercises -- 2 Parallel |
Algorithms and Complexity -- 1 Introduction -- 2 Models of Parallel Computers -- 3 Limits of Parallelism -- 4 Classification of some Important Graph Problems -- 5 Basic Techniques -- 6 Parallel Algorithms Toolbox -- 7 Approximating the | |
Minimum Degree Spanning Tree Problem -- 8 Exercises -- 3 A Programmer’s View of Parallel Computers -- 1 Introduction -- 2 The Memory Hierarchy -- 3 Communication Network -- 4 Future trends -- 5 Exercises -- 4 Scalable Parallel | |
Algorithms for Sparse Linear Systems -- 1 Introduction -- 2 Parallel Direct Cholesky Factorization -- 3 Multilevel Graph Partitioning -- 4 Exercises -- 5 Object Oriented Mathematical Modelling and Compilation to Parallel Code -- 1 | |
Introduction -- 2 ObjectMath -- 3 Background to Parallel Code Generation -- 4 Definitions -- 5 Towards a Parallelising Compiler -- 6 Equation System Level -- 7 Equation Level -- 8 Clustered Task Level -- 9 Explicit Parallelism -- 10 | |
Summary -- 11 Exercises -- 6 Parallel Algorithms for Network Problems -- 1 Introduction -- 2 Parallel processing paradigms -- 3 The shortest path problem -- 4 Linear problems over bipartite graphs -- 5 Convex problems over | |
singlecommodity networks -- 6 Convex problems over multicommodity networks -- 7 Exercises -- 7 Parallel Branch and Bound — Principles and Personal Experiences -- 1 Introduction -- 2 Sequential B&B -- 3 Parallel B&B -- 4 Personal | |
Experiences with GPP and QAP -- 5 Ideas and Pitfalls for Parallel B&B users -- 6 Exercises -- 8 Parallelized Heuristics for Combinatorial Search -- 1 Heuristics for Combinatorial Search -- 2 Local Search -- 3 Simulated Annealing -- 4 | |
Tabu Search -- 5 Genetic Algorithms -- 6 Greedy Randomized Adaptive Search Procedures -- 7 Conclusions -- 8 Exercises -- 9 Parallel Cost Approximation Algorithms for Differentiable Optimization -- 1 Introduction -- 2 Sequential Cost | |
Approximation Algorithms -- 3 Synchronized Parallel Cost Approximation Algorithms -- 4 Partially Asynchronous Parallel Cost Approximation Algorithms -- 5 Concluding Remarks -- 6 Exercises -- 10 Parallel Computation of Variational | |
Inequalities and Projected Dynamical Systems with Applications -- 1 Introduction -- 2 The Variational Inequality Problem -- 3 Projected Dynamical Systems -- 4 Variational Inequality Applications -- 5 Projected Dynamical Systems | |
Applications -- 6 Summary and Conclusions -- 7 Exercises -- 11 Parallel Algorithms for Large-Scale Stochastic Programming -- 1 Introduction -- 2 Stochastic Programs with Recourse -- 3 Algorithmic Approaches -- 4 Algorithmic Comparisons | |
-- 5 Conclusions -- 6 Exercises -- 12 Parallel Continuous Non-Convex Optimization -- 1 Introduction -- 2 Local Search Heuristics -- 3 Deterministic and Stochastic Refinements of Local Search -- 4 Summary of General Principles for Local | |
Search Parallelization -- 5 Exact Methods: Deterministic Approaches -- 6 Exercises -- 13 Deterministic and Stochastic Logarithmic Barrier Function Methods for Neural Network Training -- 1 Introduction -- 2 Newton-type and Logarithmic | |
Barrier Methods -- 3 Application to Neural Network Training -- 4 Ill-Conditioning -- 5 Computational Results -- 6 Conclusions and Future Research -- 7 Exercises | |
ISBN: | 9781461334002 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applied Optimization: 7 |
Keywords: | Computer science , Microprocessors , Computers , Operations research , Management science , Economic theory , Computer Science , Theory of Computation , Processor Architectures , Operations Research, Management Science , Economic Theory/Quantitative Economics/Mathematical Methods |
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-1996-9783642997891:ONLINE Show nearby items on shelf |
Title: | Applied Mathematics and Parallel Computing Festschrift for Klaus Ritter |
Author(s): | |
Date: | 1996 |
Size: | 1 online resource (376 p.) |
Note: | 10.1007/978-3-642-99789-1 |
Contents: | Informatics and the Internal Necessity for the Mathematization of the Sciences -- A New Semi-infinite Programming Method for Nonlinear Approximation -- Exhibition Organized by Klaus Ritter on the Occasion of the 125th Anniversary of |
the Technical University of Munich -- Concavity of the Vector-Valued Functions Occuring in Fuzzy Multiobjective Decision-Making -- An Algorithm for the Solution of the Parametric Quadratic Programming Problem -- Optimal and | |
Asymptotically Optimal Equi-partition of Rectangular Domains via Stripe Decomposition -- Trust-Region Interior-Point Algorithms for Minimization Problems with Simple Bounds -- Adaptive Kernel Estimation of a Cusp-shaped Mode -- | |
Automatic Differentiation: The Key Idea and an Illustrative Example -- An Approach to Parallelizing Isotonic Regression -- Mathematical Programming at Oberwolfach -- A SQP-Method for Linearly Constrained Maximum Likelihood Problems -- | |
Machine Learning via Polyhedral Concave Minimization -- Optimization Concepts in Autonomous Mobile Platform Design -- A Fuzzy Set Approach for Optimal Positioning of a Mobile Robot Using Sonar Data -- Gradient Computation by Matrix | |
Multiplication -- Simulating Ultrasonic Range Sensors on a Transputer Workstation -- A Modular Architecture for Optimization Tutorials -- Differential Stability Conditions for Saddle Problems on Products of Convex Polyhedra -- | |
Large-Scale Global Optimization on Transputer Networks -- The Statistical Art of Maximizing the Likelihood -- Remote Access to a Transputer Workstation -- An Extension of Multivariate Reliability Systems -- Automatic Differentiation: A | |
Structure-Exploiting Forward Mode with Almost Optimal Complexity for Kantorovi? Trees -- Approximate Structured Optimization by Cyclic Block-Coordinate Descent -- Author Index | |
ISBN: | 9783642997891 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Operations research , Decision making , Microprocessors , Computer science , Probabilities , Mathematics , Probability Theory and Stochastic Processes , Math Applications in Computer Science , Processor Architectures , Operation Research/Decision Theory |
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-1995-9783642975226:ONLINE Show nearby items on shelf |
Title: | Image Analysis, Random Fields and Dynamic Monte Carlo Methods A Mathematical Introduction |
Author(s): |
Gerhard Winkler |
Date: | 1995 |
Size: | 1 online resource (324 p.) |
Note: | 10.1007/978-3-642-97522-6 |
Contents: | I. Bayesian Image Analysis: Introduction -- 1. The Bayesian Paradigm -- 2. Cleaning Dirty Pictures -- 3. Random Fields -- II. The Gibbs Sampler and Simulated Annealing -- 4. Markov Chains: Limit Theorems -- 5. Sampling and Annealing |
-- 6. Cooling Schedules -- 7. Sampling and Annealing Revisited -- III. More on Sampling and Annealing -- 8. Metropolis Algorithms -- 9. Alternative Approaches -- 10. Parallel Algorithms -- IV. Texture Analysis -- 11. Partitioning -- | |
12. Texture Models and Classification -- V. Parameter Estimation -- 13. Maximum Likelihood Estimators -- 14. Spacial ML Estimation -- VI. Supplement -- 15. A Glance at Neural Networks -- 16. Mixed Applications -- VII. Appendix -- A. | |
Simulation of Random Variables -- B. The Perron-Frobenius Theorem -- C. Concave Functions -- D. A Global Convergence Theorem for Descent Algorithms -- References | |
ISBN: | 9783642975226 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Applications of Mathematics, Stochastic Modelling and Applied Probability: 27 |
Keywords: | Mathematics , Radiology , Software engineering , Computer simulation , Pattern recognition , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Pattern Recognition , Simulation and Modeling , Imaging / Radiology , Software Engineering/Programming and Operating Systems , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien |
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-1993-9789401116794:ONLINE Show nearby items on shelf |
Title: | Computer Simulation in Chemical Physics |
Author(s): | |
Date: | 1993 |
Size: | 1 online resource (519 p.) |
Note: | 10.1007/978-94-011-1679-4 |
Contents: | 1 The Monte Carlo Method -- 1.1 The Metropolis algorithm -- 1.2 Other ensembles -- 1.3 A non-symmetrical underlying matrix -- 1.4 Molecular systems -- 1.5 Polymers -- 1.6 Conclusions -- 2 The Molecular Dynamics Method -- 2.1 |
Introduction -- 2.2 Constraint dynamics -- 2.3 Long-range forces -- 2.4 Conclusions -- 3 Back to basics -- 3.1 Introduction -- 3.2 Average values, fluctuations and errors -- 3.3 Ensembles and distributions -- 3.4 Distribution functions | |
-- 3.5 Finite-size scaling and phase transitions -- 3.6 Transport coefficients -- 3.7 Conclusions -- 4 Advanced Monte Carlo Techniques -- 4.1 Introduction -- 4.2 Other ensembles -- 4.3 Virtual moves -- 4.4 Beyond single-particle moves | |
-- 4.5 Thermodynamic integration -- 4.6 The grand canonical miracle -- 5 Thermodynamic Constraints -- 5.1 Introduction -- 5.2 Andersen’s demon -- 5.3 Time and ensemble averages -- 5.4 Nosé-Hoover thermostat -- 5.5 Molecular systems -- | |
5.6 Numerical considerations -- 6 Computer Simulations in the Gibbs Ensemble -- 6.1 Introduction -- 6.2 Theoretical aspects -- 6.3 Computational aspects -- 6.4 Finite-size effects -- 6.5 Analyzing the results -- 6.6 Applications -- 7 | |
Effective Pair Potentials and Beyond -- 7.1 Introduction -- 7.2 Where potentials come from -- 7.3 Simple atomic and ionic systems -- 7.4 Molecular liquids and solids -- 7.5 Introducing electronic polarization -- 7.6 Bonded interactions | |
-- 7.7 Conclusion -- 8 First-Principles Molecular Dynamics -- 8.1 Introduction -- 8.2 First-principles interatomic potential -- 8.3 Molecular dynamics based on density functional theory -- 8.4 Practical implementation of a DF-MD scheme | |
-- 8.5 Selected applications of first-principles molecular dynamics -- 9 Computer Simulation Methods for Nonadiabatic Dynamics in Condensed Systems -- 9.1 Introduction -- 9.2 Formal background and basic principles -- 9.3 | |
Surface-hopping trajectory methods -- 9.4 Self-consistent energy-conserving nonadiabatic dynamics -- 9.5 Test problems and applications -- 9.6 Conclusions -- 10 Long Length-Scale Aspects of Self Organization Phenomena -- 10.1 | |
Introduction: an apologia -- 10.2 Universality and near universality -- 10.3 The nearest-neighbour Ising model as a computational model of simple fluids -- 10.4 Wheeler-Widom-type models as lattice fluids -- 10.5 Some tricks of the | |
trade Ising-like models -- 10.6 Analysis of Monte-Carlo data: finite-size scaling in Monte-Carlo simulations -- 10.7 Equilibrium simulation of Ising lattice model of microemulsion and the systematic construction of the phase diagram of | |
microemulsion -- 10.8 Conclusions -- 11 Computer Simulation of Polymers -- 11.1 Introduction -- 11.2 Polymer simulations: general considerations -- 11.3 Algorithms for static properties -- 11.4 Simulations of polymer dynamics -- 11.5 | |
Reptation -- 11.6 Extensions: glasses and networks -- 11.7 Further reading -- 11.8 Conclusions -- 12 Computer Simulations of Surfactants -- 12.1 Introduction -- 12.2 Surfactant monolayers -- 12.3 Micelles -- 12.4 Concluding remarks -- | |
13 Parallel Computing and Molecular Dynamics Simulations -- 13.1 Introduction -- 13.2 Computer architectures -- 13.3 Parallel programming concepts -- 13.4 Parallel molecular dynamics -- 13.5 Nucleation simulations -- 13.6 Conclusion -- | |
14 Scientific Visualization, A User View -- 14.1 Introduction -- 14.2 Discussion -- List of Participants -- List of Posters | |
ISBN: | 9789401116794 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | NATO ASI Series, Series C: Mathematical and Physical Sciences: 397 |
Keywords: | Physics , Chemoinformatics , Statistical physics , Dynamical systems , Materials science , Physics , Physics, general , Theoretical, Mathematical and Computational Physics , Statistical Physics, Dynamical Systems and Complexity , Characterization and Evaluation of Materials , Computer Applications in Chemistry |
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-1992-9789401125147:ONLINE Show nearby items on shelf |
Title: | Systolic Computations |
Author(s): |
M. A Frumkin |
Date: | 1992 |
Size: | 1 online resource (319 p.) |
Note: | 10.1007/978-94-011-2514-7 |
Contents: | Ch. 1. VLSI models -- 1. Short history of the parallel processing -- 2. Physical opportunities and limits of VLSI -- 3. Algorithms for VLSI -- Ch. 2. The complexity of VLSI computations -- 1. VLSI complexity and complexity of |
algorithms -- 2. Grid model of VLSI design -- 3. Complexity of parallel computations -- Ch. 3. Systolic algorithms and systolic processors -- 1. Systolic processing -- 2. Mapping systolic algorithms on systolic processors -- 3. Graphs | |
of systolic processors -- 4. Iterations of systolic processors -- Ch. 4. The systolic programming 225 -- 1. Systolic processors and supercomputers -- 2. Parallel programming languages 245 -- 3. Systolic programming in UNIX environment | |
-- Appendix 1. Library of systolic algorithms -- Appendix 2. The grammar of the SPL -- References | |
ISBN: | 9789401125147 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications (Soviet Series): 83 |
Keywords: | Mathematics , Microprocessors , Software engineering , Computers , Computer science , Algorithms , Mathematical models , Mathematics , Mathematical Modeling and Industrial Mathematics , Software Engineering/Programming and Operating Systems , Mathematics of Computing , Algorithms , Processor Architectures , Theory of Computation |
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-1992-9783642775376:ONLINE Show nearby items on shelf |
Title: | New Directions for Operations Research in Manufacturing Proceedings of a Joint US/German Conference, Gaithersburg, Maryland, USA, July 30–31, 1991 |
Author(s): | |
Date: | 1992 |
Size: | 1 online resource (530 p.) |
Note: | 10.1007/978-3-642-77537-6 |
Contents: | I. Plenary Address -- Whither Manufacturing and Operations Research? -- II. Planning and Control -- An Hierarchical Planning, Loading, Routing and Control Scheme for Flexible Manufacturing Systems -- Analysis of Production Planning |
and Control (PPC) Systems as an Efficient Combination of Information Activities -- Hierarchical Production Planning in Group Technologies -- Design of an Information-Based Distributed Production Planning System -- LP-Models in | |
Production Planning and Control -- A Realization for a Generic Controller in Production Planning Hierarchies -- III. Genetic Algorithms -- Sequence Scheduling with Genetic Algorithms -- Local Search in Problem and Heuristic Space for | |
Job Shop Scheduling Genetic Algorithms -- The Application of a Parallel Genetic Algorithm to the n/m/P/Cmax Flowshop Problem -- IV. Scheduling -- Scheduling Semiconductor Test Operations: Optimization and Approximation -- Job and Tool | |
Scheduling for Flexible Machining Cells -- Scheduling and Control of Flexible Manufacturing Systems: Some Experiences and Observations -- Dispatching Issues in Job Shop Scheduling -- V. Real-Time Scheduling -- Dynamic Task Assignment | |
in Distributed Manufacturing Systems -- An Object-Oriented Knowledge Representation in Real-Time Scheduling -- An Expert System for Distributed Real-Time Scheduling of Factory Communications Resources -- A Rescheduling Procedure for | |
Manufacturing Systems Under Random Disruptions -- VI. Neural Networks -- A Hybrid Approach to Flexible Manufacturing Systems Scheduling Using Neural and Symbolic Processing -- Applying Artificial Neural Networks to Process Planning -- | |
A Hybrid Intelligent Architecture for Automated PCB Assembly -- Neural Networks for Detection of Process Change in Manufacturing Systems -- VII. Applications of Mathematical Programming -- Tabu Search Techniques for the Quadratic | |
Semi-Assignment Problem -- The Impact of Correlated Demands on Integrated Safety Stock Optimization in Multi-stage Manufacturing Systems -- VIII. Applications of Modelling -- An Integrated System Shell Concept for Computer Aided Design | |
and Planning -- Service Level in Multistage MRP and Base Stock Controlled Production Systems -- Rapid Modeling: Methods and Tools for Strategic and Operational Planning of Manufacturing Systems -- Enterprise Models for the Design and | |
Management of Manufacturing Systems -- Responsive Tool Management: Making Fixed Manufacturing Systems More Flexible -- Multicriteria Design of Manufacturing Systems -- List of Sponsors | |
ISBN: | 9783642775376 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Organization , Planning , Production management , Operations research , Decision making , Management science , Mathematics , Operations Research, Management Science , Operation Research/Decision Theory , Operations Management , Organization |
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-1991-9783642762659:ONLINE Show nearby items on shelf |
Title: | Parallel Algorithms in Computational Science |
Author(s): | |
Date: | 1991 |
Size: | 1 online resource (183 p.) |
Note: | 10.1007/978-3-642-76265-9 |
Contents: | 1. Introduction -- 2. Computer Simulation Methods -- 2.1 Essential Features of Simulation Methods -- 2.2 The Monte Carlo Algorithm -- 2.3 Molecular Dynamics -- 2.4 Hybrid Molecular Dynamics -- 2.5 Accuracy Considerations and |
Finite-Size Problems -- 2.6 Monte Carlo Algorithm for the Ising Model -- 3. Physics and Parallelism -- 4. Concepts of Parallelism -- 4.1 Some Basic Definitions -- 4.2 The Complexity of Computation -- 4.3 More on Models and Methods -- | |
4.4 Performance Measurements -- 5. Parallel Machines and Languages -- 5.1 General Purpose Parallel Computers -- 5.2 Parallel Machines for Special Physics Problems -- 5.3 Languages for Parallel Computers -- 5.4 The Matching Problem -- | |
6. Replication Algorithms -- 7. Geometrically Parallel Algorithms -- 7.1 Geometric Parallelization -- 7.2 Strips, Squares and Checker-Boards -- 7.3 Non-local and Cluster Algorithms -- 7.4 Parallel Molecular Dynamics Algorithms -- 7.5 | |
Hybrid Molecular Dynamics -- 7.6 Polymers on the Lattice -- 7.7 Off-Lattice Polymers -- 7.8 Hybrid Molecular Dynamics for Polymers -- 7.9 Limits of Geometric Parallelization -- 8. Data Parallel Algorithms -- 8.1 Data Parallel Algorithm | |
for Long-Range Interactions -- 8.2 Polymers -- 9. Introduction to a Parallel Language -- 9.1 Transputer-Based Parallel Machines -- 9.2 Parallel Programming in Occam -- Appendices -- A. A Parallel Ising Model Program -- B. Random Number | |
Generator -- C. A Parallel Molecular Dynamics Program -- References | |
ISBN: | 9783642762659 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Information Sciences: 24 |
Keywords: | Physics , Chemistry, Physical and theoretical , Bioinformatics , Computational biology , Thermodynamics , Statistical physics , Dynamical systems , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Thermodynamics , Statistical Physics, Dynamical Systems and Complexity , Theoretical and Computational Chemistry , Computer Appl. in Life Sciences |
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-1990-9781468458206:ONLINE Show nearby items on shelf |
Title: | Supercomputational Science |
Author(s): | |
Date: | 1990 |
Size: | 1 online resource (349 p.) |
Note: | 10.1007/978-1-4684-5820-6 |
Contents: | Supercomputers in the Computational Sciences -- Supercomputing on Conventional Architectures -- Supercomputing with Novel Architectures -- Good Programming Techniques I: Testing and the Life Cycle of a Software Product -- Good |
Programming Techniques II: Test Case Design Methodologies -- Good Programming Techniques III: Non-Computer Based Testing -- Parallel Processing on Shared Memory Multi-User Systems -- Running FORTRAN Programmes in an OCCAM Environment | |
-- Numerical Recipes for Supercomputers -- The NAG Library in a Supercomputing Environment -- Computer Simulation of Plasmas -- Computational Implementation of the R-Matrix Method in Atomic and Molecular Collision Problems -- | |
Multitasking the Householder Diagonalization Algorithm on the CRAY X-MP/48 -- Relativistic Atomic Structure Calculations I: Basic Theory and the Finite Basis Set Approximation -- Relativistic Atomic Structure Calculations II: | |
Computational Aspects of the Finite Basis Set Method -- Vector Processing and Parallel Processing in Many-Body Perturbation Theory Calculations for Electron Correlation Effects in Atoms and Molecules -- Electron Correlation in Small | |
Molecules and the Configuration Interaction Method -- Energy Minimization and Structure Factor Refinement Methods -- Molecular Dynamics Methods -- Molecular Dynamics of Protein Molecules -- Supercomputers in Drug Design -- Path | |
Integral Simulations of Excess Electrons in Condensed Matter -- Computational Methods in Electronic Structure Calculations of Complex Solids -- Implementation of a Numerical Sea Model on a CRAY X-MP Series Computer -- River Flood | |
Prediction: A Study in FORTRAN Optimization -- Supercomputing — A Forward Look -- Contributors | |
ISBN: | 9781468458206 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Microprocessors , Computer mathematics , Mathematics , Computational Science and Engineering , Processor Architectures , Biomedicine general |
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-1989-9789400909854:ONLINE Show nearby items on shelf |
Title: | Applications of Computer Technology to Dynamical Astronomy Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27–29 July 1988 |
Author(s): | |
Date: | 1989 |
Size: | 1 online resource (341 p.) |
Note: | 10.1007/978-94-009-0985-4 |
Contents: | 1/Applications of Computers to Solving Problems -- Early Applications of Computer Technology to Dynamical Astronomy -- Applications of Computers to Celestial Mechanics -- Applications to Stellar and Galactic Dynamics -- Application of |
Computer in Qualitative Studies of Celestial Mechanics -- Leading Spiral Arms, Retrograde Galaxy Encounters and Massive Halos -- On Construction of Analytic Solutions to the Three Body Problem by Use of Computer Experiments -- The Use | |
of Computer Algorithms in the Construction of a Theory of the Long-Period Perturbations of Saturn’s Satellite Hyperion -- Some Numerical Aspects in a Search for I=1 Periodic Orbits for Hecuba Asteroids -- SHORDE I Program System and | |
Applications -- A Semi-numerical Expansion of the Averaged Disturbing Function for Some Very-high-eccentricity Orbits -- Symbolic Algebra Software for Planetary Theories -- Tests of the Extrapolation Method for the Numerical | |
Integration of the Keplerian Motion -- Application of a Massively Parallel Computer to the N-body Problem -- Hydrodynamical Models of Elliptical Galaxies -- A Multifluid Code for Problems of Elliptical Galaxy Formation and Evolution -- | |
3D Hydrodynamics and Radiative Transfer -- First-order and Second-order 3-D Hydrodynamics: A Comparison -- Chaotic Dynamics and Monte Carlo Modelling -- Software Tools for Nonlinear Dynamics -- Computer Algebra, Lie Transforms and the | |
Nonlinear Stability of L4 -- Solution of an Infinite Number of Inequations Depending on a Continuous Parameter and Application to the Solution of Equations in Dynamical Astronomy -- 2/Matching Problems with Technology -- Planet | |
Crossing Asteroids and Parallel Computing: Project Spaceguard -- Implementation of an N-body Code in a HP1000 Computer -- Computer Applications to Lunar and Artificial Satellite Laser Ranging -- The Use of Image Processors for | |
Acquisition and Reduction of Astrometric Data in Real Time -- Modeling of Asymmetric Light Curves of Eclipsing Binaries on the Cyber 205 Supercomputer -- Galaxies in the Connection Machine -- 3/New Methods of Mathematical Programming | |
-- Specialized Celestial Mechanics Systems for Symbolic Manipulation -- On a Restricted (2n+3)-Body Problem -- The Simplex Method for Nonlinear Mass Determinations -- An Optimum Method for Calculating Restricted Three-Body Orbits -- | |
The Constrained Normal Form Algorithm -- 4/Matching Computer Language to the Problem -- Simplify or Perish -- The Stability of the Lagrangian Point L4 -- Computer Implementation of a New Approach to the Ideal Resonance Problem -- A | |
Laboratory for Gravitational Scattering Experiments -- Problem Oriented Language for Ephemeris Astronomy and its Realisation in the System ERA -- 5/Use of Numerical Versus Algebraic Computation -- Numerical Integration Methods in | |
Dynamical Astronomy -- A Survey of Poisson Series Processors -- A FORTRAN-based Poisson Series Processor and its Applications in Celestial Mechanics -- PARSEC: An Interactive Poisson Series Processor for Personal Computing Systems -- | |
The Problem of the Eulerian Oscillations: A Weakness of Numerical Versus Analytical Methods -- A Semi-Analytical Method to Study Perturbed Rotational Motion -- Computational Studies of Cloudy Gaseous Galactic Disks -- 6/Representation | |
and Transmission of Results -- Synthetic Secular Theories of the Planetary Orbits: Regular and Chaotic Behaviour -- Numerical Representation of Planetary Ephemerides -- Compressed Planetary and Lunar Ephemerides -- An Analytical | |
Representation of Ephemeris Data -- Numerical Simulations of Narrow Planetary Rings: An Animation -- Electronic Almanacs Mating the Message and the Medium -- List of Participants -- Errata | |
ISBN: | 9789400909854 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Computer science , Observations, Astronomical , Astronomy , Astrophysics , Statistics , Physics , Astrophysics and Astroparticles , Astronomy, Observations and Techniques , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Symbolic and Algebraic Manipulation |
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-1987-9783642830563:ONLINE Show nearby items on shelf |
Title: | Content-Addressable Memories |
Author(s): |
Teuvo Kohonen |
Date: | 1987 |
Edition: | Second Edition |
Size: | 1 online resource (388 p.) |
Note: | 10.1007/978-3-642-83056-3 |
Contents: | 1 Associative Memory, Content Addressing, and Associative Recall -- 1.1 Introduction -- 1.2 The Two Basic Implementations of Content Addressing -- 1.3 Associations -- 1.4 Associative Recall: Extensions of Concepts -- 2 Content |
Addressing by Software -- 2.1 Hash Coding and Formatted Data Structures -- 2.2 Hashing Functions -- 2.3 Handling of Collisions -- 2.4 Organizational Features and Formats of Hash Tables -- 2.5 Evaluation of Different Schemes in Hash | |
Coding -- 2.6 Multi-Key Search -- 2.7 Implementation of Proximity Search by Hash Coding -- 2.8 The TRIE Memory -- 2.9 Survey of Literature on Hash Coding and Related Topics -- 3 Logic Principles of Content-Addressable Memories -- 3.1 | |
Present-Day Needs for Hardware CAMs -- 3.2 The Logic of Comparison Operations -- 3.3 The All-Parallel CAM -- 3.4 The Word-Parallel, Bit-Serial CAM -- 3.5 The Word-Serial, Bit-Parallel CAM -- 3.6 Byte-Serial Content-Addressable Search | |
-- 3.7 Functional Memories -- 3.8 A Formalism for the Description of Micro-Operations in the CAM -- 3.9 Survey of Literature on CAMs -- 4 CAM Hardware -- 4.1 The State-of-the-Art of the Electronic CAM Devices -- 4.2 Circuits for | |
All-Parallel CAMs -- 4.3 Circuits for Bit-Serial and Word-Serial CAMs -- 4.4 Optical Content-Addressable Memories -- 5 The CAM as a System Part -- 5.1 The CAM in Virtual Memory Systems -- 5.2 Utilization of the CAM in Dynamic Memory | |
Allocation -- 5.3 Content-Addressable Buffer -- 5.4 Programmable Logic -- 6 Content-Addressable Processors -- 6.1. Some Trends in Content-Addressable Memory Functions -- 6.2 Distributed-Logic Memories (DLMs) -- 6.3 The Augmented | |
Content-Addressable Memory (ACAM) -- 6.4 The Association-Storing Processor (ASP) -- 6.5 Content-Addressable Processors with High-Level Processing Elements -- 6.6 Bit-Slice Content-Addressable Processors -- 6.7 An Overview of Parallel | |
Processors -- 7 Review of Research Since 1979 -- 7.1 Research on Hash Coding -- 7.2 CAM Hardware -- 7.3 CAM Applications -- 7.4 Content-Addressable Parallel Processors -- 7.5 Optical Associative Memories -- References | |
ISBN: | 9783642830563 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Springer Series in Information Sciences: 1 |
Keywords: | Computer science , Software engineering , Artificial intelligence , Electrical engineering , Computer Science , Artificial Intelligence (incl. Robotics) , Communications Engineering, Networks , Software Engineering/Programming and Operating Systems |
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-1982-9783642514616:ONLINE Show nearby items on shelf |
Title: | COMPSTAT 1982 5th Symposium held at Toulouse 1982 Part I: Proceedings in Computational Statistics |
Author(s): | |
Date: | 1982 |
Size: | 1 online resource (469 p.) |
Note: | 10.1007/978-3-642-51461-6 |
Contents: | 1. Invited Papers -- On Some Problems in Analysing Non-orthogonal Designs -- Analytical Computing: Its Nature and Needs -- Updating Formulae and a Pairwise Algorithm for Computing Sample Variances -- Convex Hull Peeling -- Statistical |
Computing at INSEE -- Artificial Intelligence and Data Analysis -- Classification of Multivariate Autoregressive Processes -- Exploratory Analysis of Large Sparse Matrices with Application to Textual Data -- Nonlinear Principal | |
Component Analysis -- A Programming Language for Multivariate Data Analysis -- Procedures for Optimal Collapsing of Two-way Contingency Table -- Computer Science as a Tool Improving Data Analysis Researches and Uses -- Applied Graph | |
Analysis in the Social Sciences: The Software Project GRADAP -- Microprocessors for Biomedical Research, Database Management and Analysis -- Parallel Processing in Statistics -- 2. Contributed Papers -- Software to Link Database | |
Interrogation and Statistical Analysis -- Development of a Statistical Language -- MICROSTAT: A Microcomputer Conversational System for Statistical Data Analysis -- An Algorithm for Nonnegative Least Squares and Projection onto Cones | |
-- Non Parametric Decision Trees by Bayesian Approach -- A Comparative Assessment of Data Management Software -- From Data Analysis to Non Parametric Statistics: Recent Developments and a Computer Realization for Exploratory Techniques | |
in Regression or Prediction -- Postgraduate Training for Statisticians — Database Methods -- Crossings, Orders and Ultrametrics: Application to Visualization of Consensus for Comparing Classifications -- Statistical Programs for | |
Microcomputers: The Implementation of a Directory for Data Structures -- Data Management and Tabulation in OPCS -- Archaeology, Data Analysis, Computer Science: How to Run Proper Treatment of Archaeological Data -- BLINWDR: Robust and | |
Bounded Influence Regression -- An Analysis of Developers’ and Users’ Ratings of Statistical Software Using Multiple Correspondence Analysis -- Real Time Graphical Techniques for Analyzing Multivariate Data -- About Fuzzy | |
Discrimination -- A Fortran Preprocessor for Statistical Data Analysis -- An Analysis of Continuous Proportions -- A Sampling Procedure for Historical Data -- Use of Systemic Networks for Text Analysis -- SPASP — A Statistical Program | |
for the Analysis of Stochastic Processes -- TOOLPACK: Improving the Programming Environment for Statistical Software -- A Programming Technique for Software in Statistical Analysis -- A Comparison of Types of Database System Used in | |
Statistical Work -- The Frontiers of Statistical Analysis -- Implementation of a Statistical Database System: HSDB -- A Synthetic Approach to Multivariate Normal Clustering -- Variable Selection in Generalized Linear Models -- | |
Approximation of Surfaces in (p+1)-Dimensional Spaces -- Standardized Comparison of Nonlinear Model Fitting Algorithms -- Numerical Approach to the Optimal Design Problem for Regression Models with Correlated Errors -- An Experimental | |
Design and Analysis Package for Microcomputers -- Propositions for Fuzzy Characteristic Functions in Data Analysis -- Integrated System for Modelling Multivariate Time Series -- Software for Time Series Analysis -- Choice of Methods | |
and Algorithms for Statistical Treatment of Large Arrays of Data -- New Computing Tools and New Statistical Packages -- Statistical Computing Based on Text Editing -- Cluster Analysis Based on the Maximization of the RV Coefficient -- | |
Statistical Approach to System Parameter Synthesis -- Statistical Match of Samples Using Additional Information -- An Exploratory Program Package for Non-Linear Data-Smoothers -- Applying Parallel Processing to Data Analysis: Computing | |
a Distance’s Matrix on a SIMD Machine -- The Balance between Teaching Computing and Statistics -- Canonical Analysis with B-splines -- Detecting Outliers in Simultaneous Linear Models -- Least Squares Optimisation of General | |
Log-likelihood Functions and Estimation of Separable Linear Parameters -- Computational Procedures for Bounded-Influence Regression -- MUDFOLD: Multiple Stochastic Unidimensional Unfolding -- The Estimation of Missing Values in Highly | |
Correlated Data -- Relational Design of Statistical Databases -- A Forward Multivariate Regression Procedure Based on the Maximization of the RV Coefficient -- Evaluation of Statistical Software Based on Empirical User Research -- | |
Sound and Exploratory Data Analysis -- Monotone Splines: A Family of Transformations Useful for Data Analysis -- Results of the Application of Multimodal Optimization Algorithms Based on Statistical Models -- Address list of authors | |
ISBN: | 9783642514616 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistics and Computing/Statistics Programs |
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.76.A65S255::2011 Show nearby items on shelf |
Title: | CUDA by example : an introduction to general - purpose GPU programming |
Author(s): |
Jason Sanders Edward Kandrot |
Date: | 2011 |
Publisher: | Upper saddle River, NJ : Addison-Wesley |
ISBN: | 9780131387683 |
Keywords: | Application software - Development , Computer architecture , Parallel programming (Computer science) |
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 |
Location: | MAIN |
Call number: | QA76.73.J38G588:2006 Show nearby items on shelf |
Title: | Java concurrency in practice |
Author(s): |
Brian Goetz Tim Peierls Joshua Block |
Date: | 2006 |
Publisher: | Addison-Wesley |
Contents: | Chapter 1 Introduction Part I Fundamentals Chapter 2 Thread safety Chapter 3 Sharing objects Chapter 4 Composing objects Chapter 5 Building blocks Part II Structuring concurrent applications Chapter 6 Task execution Chapter 7 Cancellation and shutdown Chapter 8 Applying thread pools Chapter 9 GUI applications Part III Liveness, performance, and testing Chapter 10 Avoiding liveness hazards Chapter 11 Performance and scalability Chapter 12 Testing concurrent programs Part IV Advanced topics Chapter 13 Explicit locks Chapter 14 Building custom synchronizers Chapter 15 Atomic variables and nonblocking synchronization Chapter 16 The Java Memory Model Appendix A Annotations for concurrency |
ISBN: | 0321349601 |
Keywords: | Java (Computer program language) , Parallel programming (Computer science) , Threads (Computer programs) |
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.642.P3::1997 Show nearby items on shelf |
Title: | Parallel programming with MPI |
Author(s): |
Peter S. Pacheco |
Date: | 1997 |
Publisher: | Morgan Kaufmann Publishers |
Contents: | Chapter 1 Introduction Chapter 2 An Overview of Parallel Computing Chapter 3 Greetings! Chapter 4 An Application: Numerical Integration Chapter 5 Collective Communication Chapter 6 Grouping Data for Communication Chapter 7 Communicators and Topologies Chapter 8 Dealing with I/O Chapter 9 Debugging Your Program Chapter 10 Design and Coding of Parallel Programs Chapter 11 Performance Chapter 12 More on Performance Chapter 13 Advanced Point-to-Point Communication Chapter 14 Parallel Algorithms Chapter 15 Parallel Libraries Chapter 16 Wrapping Up Appendix A Summary of MPI Commands Appendix B MPI on the Internet |
ISBN: | 1558603395 |
Keywords: | Parallel programming (Computer science) |
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 |
Return to the Fermilab Library catalog