Fermilab Fermilab Core Computing Division

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

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD PARALLEL PROGRAMMING COMPUTER SCIENCE *END*INIT* use /tmp/qspiwww.webspi1/23978.75 QRY 131.225.70.96 . find keyword "parallel programming computer science" ( in books using www Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover
Image
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

Cover Image
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

Cover Image
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