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 SYSTEMS PROGRAMMING COMPUTER SCIENCE *END*INIT* use /tmp/qspiwww.webspi1/12281.159 QRY 131.225.70.96 . find keyword "systems programming computer science" ( in books using www Cover
Image
Call number:SPRINGER-2016-9783319411927:ONLINE Show nearby items on shelf
Title:Search and Optimization by Metaheuristics Techniques and Algorithms Inspired by Nature
Author(s): Ke-Lin Du
Date:2016
Size:1 online resource (40 p.)
Note:10.1007/978-3-319-41192-7
Contents:Preface -- Introduction -- Simulated Annealing -- Optimization by Recurrent Neural Networks -- Genetic Algorithms and Genetic Programming -- Evolutionary Strategies -- Differential Evolution -- Estimation of Distribution Algorithms -- Mimetic Algor ithms -- Topics in EAs -- Particle Swarm Optimization -- Artificial Immune Systems -- Ant Colony Optimization -- Tabu Search and Scatter Search -- Bee Metaheuristics -- Harmony Search -- Biomolecular Computing -- Quantum Computing -- Other Heuristics-Insp ired Optimization Methods -- Dynamic, Multimodal, and Constraint-Satisfaction Optimizations -- Multiobjective Optimization -- Appendix 1: Discrete Benchmark Functions -- Appendix 2: Test Functions -- Index
ISBN:9783319411927
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer simulation , Algorithms , Computer mathematics , Mathematical optimization , Computational intelligence , Mathematics , Computational Science and Engineering , Algorithms , Optimization , Simulation and Modeling , Computational Intelligence
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-9788847055223:ONLINE Show nearby items on shelf
Title:Numerical Models for Differential Problems [electronic resource]
Author(s): Alfio Quarteroni
Date:2014
Edition:Second Edition
Publisher:Milano : Springer Milan : Imprint: Springer
Size:1 online resource
Note:In this text, we introduce the basic concepts for the numerical modelling of partial differential equations. We consider the classical elliptic, parabolic and hyperbolic linear equations, but also the diffusion, transport, andNavier-Stokes equations, as well as equations representing conservation laws, saddle-point problems and optimal control problems. Furthermore, we provide numerous physical examples which underline such equations. We then analyzenumerical solution methods based on finite elements , finite differences, finite volumes, spectral methods and domain decomposition methods, and reduced basis methods. In particular, we discuss the algorithmic and computerimplementation aspects and provide a number of easy-to-use programs. The text does no t require any previous advanced mathematical knowledge of partial differential equations: the absolutely essential concepts are reported in apreliminary chapter. It is therefore suitable for students of bachelor and master courses in scientific discipline s, and recommendable to those researchers in the academic and extra-academic domain who want to approach this interestingbranch of applied mathematics
Contents:1 A brief survey of partial differential equations
2 Elements of functional analysis
3 Elliptic equations
4 The Galerkin finite element method for elliptic problems
5 Parabolic equations
6 Generation of 1D and 2D grids
7 Algorithms for the solution of linear systems
8 Elements of finite element programming
9 The finite volume method
10 Spectral methods
11 Discontinuous element methods (DG and mortar)
12 Diffusion
transport
reaction equations
13 Finite differences for hyperbolic equations
14 Finite elements and spectral methods for hyperbolic equations
ISBN:9788847055223
Series:eBooks
Series:SpringerLink
Series:MS&A - Modeling, Simulation and Applications, 2037-5255 : v8
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Global analysis (Mathematics) , Computer science Mathematics , Numerical analysis
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-9783319008943:ONLINE Show nearby items on shelf
Title:Introduction to Mathematica for Physicists [electronic resource]
Author(s): Andrey Grozin
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:Mathematica is the most widely used system for doing mathematical calculations by computer, including symbolic and numeric calculations and graphics. It is used in physics and other branches of science, in mathematics, educationand many other areas. Many important results in physics would never be obtained without a wide use of computer algebra. This book describes ideas of computer algebra and the language of the Mathematica system. It also contains a numberof examples, mainly from physics, also fro m mathematics and chemistry. After reading this book and solving problems in it, the reader will be able to use Mathematica efficiently for solving his/her own problems
Contents:Part I Lectures
Computer algebra systems
Overview of Mathematica
Expressions
Patterns and substitutions
Functions
Mathematica as a programming language
Grbner bases
Calculus
Risch algorithm
Linear algebra
Input
output and strings
Packages
Part II Computer classes
Plots
Trigonometric functions
Quantum oscillator
Spherical harmonics
Adding angular momenta in quantum mechanics
Classical nonlinear oscillator
Cyclohexane
Multi
functions
Quantum nonlinear oscillator
Riemann curvature tensor
Rainbow
Problems for students
ISBN:9783319008943
Series:eBooks
Series:SpringerLink
Series:Graduate Texts in Physics, 1868-4513
Series:Physics and Astronomy (Springer-11651)
Keywords: 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-2014-9781493904761:ONLINE Show nearby items on shelf
Title:Topical Directions of Informatics [electronic resource] : In Memory of V. M. Glushkov
Author(s): Ivan V Sergienko
Date:2014
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:This work is devoted to the late Ukrainian computer scientist V. M. Glushkov on the 90th anniversary of his birthday. Dr. Glushkov is known for his contribution to the world computer science and technology, and this volumeanalyzes the ideas and paths of development of informatics formulated by him, and demonstrates their important role in constructing computer technologies of basic research in the fields of applied mathematics, theories of computerprogramming, and computing systems. A significant po rtion of the monograph is devoted to the elucidation of new results obtained in the field of mathematical modeling of complicated processes, creation of new methods for solvingand investigating optimization problems in different statements, and developmen t of computer technologies for investigations in the field of economy, biology, medicine, and information security in systems. The monograph will be ofparticular interest to informatics specialists and experts using methods of informatics and computer te chnologies to investigate complicated processes of different natures and developing new information technologies. It may also beuseful for both graduate students and postgraduates specializing in Computer Science
Contents:Introduction
1. Theoretical and Applied Programming
2. Supercomputers and Intelligent Technologies of High
Performance Computing
3. Computer Technologies as Tools for Studying Complicated Processes
4. Mathematical Models and Computer Technologies in Investigating Economic Processes
5. Mathematical Modeling and Investigation of Complicated Processes
6. Optimization Methods for Solving Transcomputational Problems
7. Combinatorial Optimization Problems
8. Computer Technologies in Medical and Biological Research
ISBN:9781493904761
Series:eBooks
Series:SpringerLink
Series:Springer Optimization and Its Applications, 1931-6828 : v78
Series:Mathematics and Statistics (Springer-11649)
Keywords: 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-2013-9783642388965:ONLINE Show nearby items on shelf
Title:Condition [electronic resource] : The Geometry of Numerical Algorithms
Author(s): Peter Brgisser
Felipe Cucker
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:This book gathers threads that have evolved across different mathematical disciplines into seamless narrative. It deals with condition as a main aspect in the understanding of the performance ---regarding both stability andcomplexity--- of numerical algorithms. While the role of condition was shaped in the last half-century, so far there has not been a monograph treating this subject in a uniform and systematic way. The book puts special emphasis onthe probabilistic analysis of numerical algorithms via the analysis of the corresponding condition. The exposition's level increases along the book, starting in the context of linear algebra at an undergraduate level and reaching inits third part the recent developments and partial solutions for Smale's 17th problem which can be explained within a graduate course. Its middle part contains a condition-based course on linear programming that fills a gap between thecurrent elementary expositions of the subject based on the simplex method and those focusing on convex programming
Note:Springer eBooks
Contents:Preface
Overture: On the Condition of Numerical Problems and the Numbers that Measure It
I Condition in Linear Algebra (Adagio): 1 Normwise Condition of Linear Equation Solving
2 Probabilistic Analysis
3 Error Analysis of Triangular Linear Systems
4 Probabilistic Analysis of Rectangular Matrices
5 Condition Numbers and Iterative Algorithms
Intermezzo I: Condition of Structured Data
II Condition in Linear Optimization (Andante): 6 A Condition Number for Polyhedral Conic Systems
7 The Ellipsoid Method
8 Linear Programs and their Solution Sets
9 Interior
point Met
ISBN:9783642388965
Series:e-books
Series:SpringerLink (Online service)
Series:Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics, 0072-7830 : v349
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Computer science Mathematics , Algorithms , Mathematical optimization , Distribution (Probability 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-2013-9783642324604:ONLINE Show nearby items on shelf
Title:Traffic Flow Dynamics [electronic resource] : Data, Models and Simulation
Author(s): Martin Treiber
Arne Kesting
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:This textbook provides a comprehensive and instructive coverage of vehicular traffic flow dynamics and modeling. It makes this fascinating interdisciplinary topic, which to date was only documented in parts by specializedmonographs, accessible to a b road readership. Numerous figures and problems with solutions help the reader to quickly understand and practice the presented concepts. This book is targeted at students of physics and traffic engineeringand, more generally, also at students and professi onals in computer science, mathematics, and interdisciplinary topics. It also offers material for project work in programming and simulation at college and university level. The mainpart, after presenting different categories of traffic data, is devoted t o a mathematical description of the dynamics of traffic flow, covering macroscopic models which describe traffic in terms of density, as well as microscopicmany-particle models in which each particle corresponds to a vehicle and its driver.Focus chapters on traffic instabilities and model calibration/validation present these topics in a novel and systematic way.Finally, thetheoretical framework is shown at work in selected applications such as traffic-state and travel-time estimation, intelligent transpor tation systems, traffic operations management, and a detailed physics-based model for fuelconsumption and emissions
Note:Springer eBooks
Contents:Introduction
Part I Traffic Data: Trajectroy and Floating
Car Data
Cross
Sectional Data
Representations of Cross
Sectional Data
Spatiotemporal Reconstruction of the Traffic State
Part II Traffic Flow Modeling: General Aspects
Continuity Equation
The Lighthill
Whitham
Richards Model
Macroscopic Models with Dynamic Velocity
Elementary Car
Following Models
Car
Following Models based on Driving Strategies
Modeling Human Aspects of Driving Behavior
Cellular Automata
Lane
Changing and other Discrete
Choice Situations
Stability Analysis
Calibration and Val
ISBN:9783642324604
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Mathematical optimization , Engineering , 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-2013-9781461440574:ONLINE Show nearby items on shelf
Title:Informal Introduction to Stochastic Processes with Maple [electronic resource]
Author(s): Jan Vrbik
Paul Vrbik
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book presents an introduction to Stochastic Processes including Markov Chains, Birth and Death processes, Brownian motion andAutoregressive models. The emphasis is on simplifying both the underlying mathematics and theconceptual understanding of random processes. In particular, non-trivial computations are delegated to a computer-algebra system, specifically Maple (although other systems can be easily substituted). Moreover, great care istaken to properly introduce the required mathematical tools (such as difference equations and generating functions) so that even students with only a basic mathematical background will find the book self-contained. Manydetailed examples are given throughout the text to facilitate and reinforce learning. Jan Vrbik has been a Professor of Mathematics and Statistics at Brock University in St Catharines, Ontario, Canada, since 1982. Paul Vrbik iscurrently a PhD candidate in Computer Science at the University of Western Ontario in London, Ontario, Canada
Note:Springer eBooks
Contents:Contents
Preface
Finite Markov Chains
Finite Markov Chains II
Branching Processes
Renewal Theory
Poisson Process
Birth and Death Processes I
Birth and Death Processes II
Continuous
Time Markov Chains
Brownian Motion
Autoregressive Models
Basic Probability Review
Maple Programming
References
ISBN:9781461440574
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext, 0172-5939
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Distribution (Probability theory) , Mathematical statistics
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-9781447148173:ONLINE Show nearby items on shelf
Title:Polyhedral and Algebraic Methods in Computational Geometry [electronic resource]
Author(s): Michael Joswig
Thorsten Theobald
Date:2013
Publisher:London : Springer London : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Polyhedral and Algebraic Methods in Computational Geometry provides a thorough introduction into algorithmic geometry and its applications. It presents its primary topics from the viewpoints of discrete, convex and elementaryalgebraic geometry. The f irst part of the book studies classical problems and techniquesthat refer to polyhedral structures. The authors include a study on algorithms for computing convex hulls as well as the construction ofVoronoi diagrams and Delone triangulations. The second p art of the book develops the primary concepts of (non-linear) computational algebraic geometry. Here, the book looks at Grbner bases and solving systems of polynomialequations. The theory is illustrated by applications in computer graphics, curve reconstr uction and robotics. Throughout the book, interconnections between computational geometry and other disciplines (such as algebraic geometry,optimization and numerical mathematics) are established. Polyhedral and Algebraic Methods in Computational Geometry is directed towards advanced undergraduates in mathematics and computer science, as well as towards engineeringstudents who are interested in the applications of computational geometry
Note:Springer eBooks
Contents:Introduction and Overview
Geometric Fundamentals
Polytopes and Polyhedra
Linear Programming
Computation of Convex Hulls
Voronoi Diagrams
Delone Triangulations
Algebraic and Geometric Foundations
Grbner Bases and Buchbergers Algorithm
Solving Systems of Polynomial Equations Using Grbner Bases
Reconstruction of Curves
Plcker Coordinates and Lines in Space
Applications of Non
Linear Computational Geometry
Algebraic Structures
Separation Theorems
Algorithms and Complexity
Software
Notation
ISBN:9781447148173
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext, 0172-5939
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Algebra Data processing , Algorithms , Geometry , Discrete groups
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-9783034804363:ONLINE Show nearby items on shelf
Title:Mathematical Optimization of Water Networks [electronic resource]
Author(s): Alexander Martin
Kathrin Klamroth
Jens Lang
Gnter Leugering
Antonio Morsi
Martin Oberlack
Manfred Ostrowski
Roland Rosen
Date:2012
Publisher:Basel : Springer Basel : Imprint: Birkhuser
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Water supply- and drainage systems and mixed water channel systems are networks whose high dynamic is determined and/or affected by consumer habits on drinking water on the one hand and by climate conditions, in particularrainfall, on the other hand. According to their size, water networks consist of hundreds or thousands of system elements. Moreover, different types of decisions (continuous and discrete) have to be taken in the water management. Thenetworks have to be optimized in terms of topology and operation by targeting a variety of criteria. Criteria may for example be economic, social or ecological ones and may compete with each other. The development of complex modelsystems and their use for deriving optimal decisions in water management is taking place at a rapid pace. Simulation and optimization methods originating in Operations Research have been used for several decades usually with verylimited direct cooperation with applied mathematics. The research presented here aims at bridging this gap, thereby opening up space for synergies and innovation. It is directly applicable for relevant practical problems and has beencarried out in cooperation with utility and dumping companies, infrastructure providers and planning offices. A close and di rect connection to the practice of water management has been established by involving application-orientedknow-how from the field of civil engineering. On the mathematical side all necessary disciplines were involved, including mixed-integer optimization, multi-objective and facility location optimization, numerics for cross-linked dynamictransportation systems and optimization as well as control of hybrid systems. Most of the presented research has been supported by the joint project Discret-continuous o ptimization of dynamic water systems of the federalministry of education and research (BMBF)
Note:Springer eBooks
Contents:Part I Optimization of Water Supply Networks
Modelling and Numerical Simulation of Pipe Flow Problems in Water Supply Systems
Simulation and Continuous Optimization
Mixed Integer Optimizationof Water Supply Networks
Nonlinear and Mixed Integer Linear Programming
Part II Optimal Control of Sewer Networks
Optimal Control of Sewer Networks Problem Description
Modelling of Channel Flows with Transition Interface Separating Free Surface and Pressurized Channel Flows
Optimal Control of Sewer Networks Engineers View
Real
Time Control of Urban Drainage Systems
Performance
ISBN:9783034804363
Series:e-books
Series:SpringerLink (Online service)
Series:International Series of Numerical Mathematics : v162
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Mathematical 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-2010-9783642139901:ONLINE Show nearby items on shelf
Title:Computational Physics [electronic resource] : Simulation of Classical and Quantum Systems
Author(s): Philipp O. J Scherer
Date:2010
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book encapsulates the coverage for a two-semester course in computational physics. The first part introduces the basic numerical methods while omitting mathematical proofs but demonstrating the algorithms by way of numerouscomputer experiments. The second part specializes in simulation of classical and quantum systems with instructive examples spanning many fields in physics, from a classical rotor to a quantum bit. All program examples are realized asJava applets ready to run in your browser an d do not require any programming skills
Note:Springer eBooks
Contents:Part I: Numerical Methods
Error Analysis
Interpolation
Numerical Differentiation
Numerical Integration
Systems of Inhomogeneous Linear Equations
Roots and Minima
Fourier Transformation
Random Numbers and Monte
Carlo
Methods
Eigenvalue Problems
Data Fitting
Equations of Motion
Part II: Simulation of Classical and Quantum Systems
Rotational Motion
Simulation of Thermodynamic Systems
Random Walk and Brownian Motion
Electrostatics
Waves
Diffusion
Nonlinear Systems
Simple Quantum Systems
ISBN:9783642139901
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Chemistry, Physical organic , Chemistry , Computer science 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-2010-9783642124303:ONLINE Show nearby items on shelf
Title:Scientific Computing with MATLAB and Octave [electronic resource]
Author(s): Alfio Quarteroni
Fausto Saleri
Paola Gervasio
Date:2010
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer-based solution of certain classes of mathematical problems are illustrated. The authors show how to compute the zeros orthe integrals of con tinuous functions, solve linear systems, approximate functions using polynomials and construct accurate approximations for the solution of ordinary and partial differential equations. To make the format concrete andappealing, the programming environments Matlab and Octave are adopted as faithful companions. The book contains the solutions to several problems posed in exercises and examples, often originating from important applications. At theend of each chapter, a specific section is devoted to subjects which were not addressed in the book and contains bibliographical references for a more comprehensive treatment of the material
Note:Springer eBooks
Contents:1. What can' t be ignored
2. Nonlinear equations
3. Approximation of functions and data
4. Numerical differentiation and integration
5. Linear systems
6. Eigenvalues and eigenvectors
7. Ordinary differential equations
8. Numerical approximation of boundary
value problems
9. Solutions of the exercises
References
Index
ISBN:9783642124303
Series:e-books
Series:SpringerLink (Online service)
Series:Texts in Computational Science and Engineering, 1611-0994 : v2
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Chemistry , Computer science , Visualization , 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-2010-9783642112997:ONLINE Show nearby items on shelf
Title:Elements of Scientific Computing [electronic resource]
Author(s): Aslak Tveito
Hans Petter Langtangen
Bjrn Frederik Nielsen
Xing Cai
Date:2010
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Science used to be experiments and theory, now it is experiments, theory and computations. The computational approach to understanding nature and technology is currently flowering in many fields such as physics, geophysics,astrophysics, chemistry, bi ology, and most engineering disciplines. This book is a gentle introduction to such computational methods where the techniques are explained through examples. It is our goal to teach principles and ideas thatcarry over from field to field. You will learn basic methods and how to implement them. In order to gain the most from this text, you will need prior knowledge of calculus, basic linear algebra and elementary programming
Note:Springer eBooks
Contents:Computing Integrals
Differential Equations: The First Steps
Systems of Ordinary Differential Equations
Nonlinear Algebraic Equations
The Method of Least Squares
About Scientific Software
The Diffusion Equation
Analysis of the Diffusion Equation
Parameter Estimation and Inverse Problems
A Glimpse ofParallel Computing
Index
ISBN:9783642112997
Series:e-books
Series:SpringerLink (Online service)
Series:Texts in Computational Science and Engineering, 1611-0994 : v7
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Biology Data processing , Computer science Mathematics , Computer science , 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-2010-9780817648800:ONLINE Show nearby items on shelf
Title:Mathematics for Multimedia [electronic resource]
Author(s): Mladen Victor Wickerhauser
Date:2010
Edition:1
Publisher:Boston : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This concise textbook presents the mathematics that is foundational to multimedia applications. Featuring a rigorous survey of selected results from algebra and analysis, the work examines tools used to create applicationsoftware for multimedia signa l processing and communication. Key features include: * Over 100 exercises with complete solutions * Useful algorithms presented in pseudocode and Standard C to help readers with programming,experimentation, and the solution of exercises * Numerous illust rations based on data from real studies * Suggestions for further reading at the end of each chapter * A companion websitemaintained by the authorprovidingcomputer programs described in the book as well as additional references and data files, such as ima ges and sounds, to enhance the readers understanding of key topics * A supplementary manualcontaining several hundred exercises,solutions, and sample programs not included in the bookavailable to instructors upon request * Minimal prerequisitesonly an und ergraduate-level knowledge of mathematics, not including statistics, is required. Mathematics forMultimedia is an ideal textbook for upper undergraduate and beginning graduate students in pure and applied mathematics, engineering, and computer science see king an innovative approach to contemporary mathematics with practicalapplications. The work may also serve as a useful reference for multimedia applications developers and other researchers and practitioners interested in the mathematics underlying multi media software design and implementation
Note:Springer eBooks
Contents:ANHA Series Preface
Preface
Numbers and Arithmetic
Space and Linearity
Time and Frequency
Sampling and Estimation
Scale and Resolution
Redundancy and Information
Answers
Basics, Technicalities, and Digressions
Index
ISBN:9780817648800
Series:e-books
Series:SpringerLink (Online service)
Series:Applied and Numerical Harmonic Analysis
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Multimedia systems , Fourier analysis , Algorithms , Computer software
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-9788847010710:ONLINE Show nearby items on shelf
Title:Numerical Models for Differential Problems [electronic resource]
Author(s): Alfio Quarteroni
Date:2009
Publisher:Milano : Springer Milan
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:In this text, we introduce the basic concepts for the numerical modelling of partial differential equations. We consider the classical elliptic, parabolic and hyperbolic linear equations, but also the diffusion, transport, andNavier-Stokes equations, as well as equations representing conservation laws, saddle-point problems and optimal control problems. Furthermore, we provide numerous physical examples which underline such equations. We then analyzenumerical solution methods based on finite elements , finite differences, finite volumes, spectral methods and domain decomposition methods, and reduced basis methods. In particular, we discuss the algorithmic and computerimplementation aspects and provide a number of easy-to-use programs. The text does no t require any previous advanced mathematical knowledge of partial differential equations: the absolutely essential concepts are reported in apreliminary chapter. It is therefore suitable for students of bachelor and master courses in scientific discipline s, and recommendable to those researchers in the academic and extra-academic domain who want to approach this interestingbranch of applied mathematics
Note:Springer eBooks
Contents:A brief survey on partial differential equations
Elements of functional analysis
Elliptic equations
The Galerkin finite element method for elliptic problems
Parabolic equations
Generation of 1D and 2D grids
Algorithms for the solution of linear systems
Elements of finite element programming
The finite volume method
Spectral methods
Diffusion
transport
reaction equations
Finite differences for hyperbolic equations
Finite elements and spectral methods for hyperbolic equations
Nonlinear hyperbolic problems
Navier
Stokes equations
Optimal control of par
ISBN:9788847010710
Series:e-books
Series:SpringerLink (Online service)
Series:MS&A : v2
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Global analysis (Mathematics) , Computer science Mathematics , Numerical analysis
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-9780387886176:ONLINE Show nearby items on shelf
Title:Optimization and Logistics Challenges in the Enterprise [electronic resource]
Author(s): Wanpracha Chaovalitwongse
Kevin C Furman
Panos M Pardalos
Date:2009
Publisher:Boston, MA : Springer US
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Optimization and Logistics Challenges in the Enterprise begins to answer the question of how to bridge the gap from mathematical modeling and optimization techniques, to practical solutions of enterprise operations.Mathematically distinct from classi cal supply chain management, this burgeoning research area has proven to be useful and applicable to a wide variety of industries for example, pharmaceutical, chemical, transportation, and shipping,to name a few. This book consists of high quality researc h results and may serve as a one-stop shop to learn about several industrial problems and logistics challenges, and solution techniques using recent advances in computationaloptimization. This work is intended for practitioners from industry who use techn iques from a wide range of fields: mathematical programming, supply chain and logistics management, and process systems and operations engineering. Itwill also be of value to advanced graduate and PhD students and researchers in operations research, syste ms engineering, and management science
Note:Springer eBooks
Contents:I Process Industry
Challenges in Enterprise Wide Optimization for the Process Industries
Multi
Product Inventory Logistics Modeling in the Process Industries
Modeling and Managing Uncertainty in Process Planning and Scheduling
A Relative Robust Optimization Approach for Full Factorial Scenario Design of Data Uncertainty and Ambiguity
II Supply Chain and Logistics Design
An Enterprise Risk Management Model for Supply Chains
Notes On Using Optimization And DSS Techniques to Support Supply Chain And Logistics Operations
On the Quadratic Programming Approach for Hub Locatio
ISBN:9780387886176
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Optimization and Its Applications, 1931-6828 : v30
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Mathematical optimization , Industrial engineering , Economics , Business logistics
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-9780387878379:ONLINE Show nearby items on shelf
Title:Explorations in Monte Carlo Methods [electronic resource]
Author(s): Ronald W Shonkwiler
Franklin Mendivil
Date:2009
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Monte Carlo methods are among the most used and useful computational tools available today, providing efficient and practical algorithims to solve a wide range of scientific and engineering problems. Applications covered in thisbook include optimizat ion, finance, statistical mechanics, birth and death processes, and gambling systems. Explorations in Monte Carlo Methods provides a hands-on approach to learning this subject. Each new idea is carefully motivatedby a realistic problem, thus leading from questions to theory via examples and numerical simulations. Programming exercises are integrated throughout the text as the primary vehicle for learning the material. Each chapter ends with alarge collection of problems illustrating and directing the mate rial. This book is suitable as a textbook for students of engineering and the sciences, as well as mathematics. The problem-oriented approach makes it ideal for an appliedcourse in basic probability and for a more specialized course in Monte Carlo methods . Topics include probability distributions, counting combinatorial objects, simulated annealing, genetic algorithms, option pricing, gamblers ruin,statistical mechanics, sampling, and random number generation
Note:Springer eBooks
Contents:Introduction to Monte Carlo Methods
Some Probability Distributions and their Uses
Markov Chain Monte Carlo
Optimization by Monte Carlo Methods
Random Walks
Generating Uniform Random Numbers
Perron Frobenius Theorem
ISBN:9780387878379
Series:e-books
Series:SpringerLink (Online service)
Series:Undergraduate Texts in Mathematics, 0172-6056
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Computer simulation , Algorithms , Mathematical optimization , Distribution (Probability 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-2009-9780387757148:ONLINE Show nearby items on shelf
Title:Advances in Applied Mathematics and Global Optimization [electronic resource] : In Honor of Gilbert Strang
Author(s): David Y Gao
Hanif D Sherali
Date:2009
Publisher:Boston, MA : Springer US
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The articles that comprise this distinguished annual volume for the Advances in Mechanics and Mathematics series have been written in honor of Gilbert Strang, a world renowned mathematician and exceptional person. Written byleading experts in complem entarity, duality, global optimization, and quantum computations, this collection reveals the beauty of these mathematical disciplines and investigates recent developments in global optimization, nonconvex andnonsmooth analysis, nonlinear programming, the oretical and engineering mechanics, large scale computation, quantum algorithms and computation, and information theory. Much of the material, including the various methodologies, iswritten for nonexperts and is intended to stimulate graduate students and young faculty to venture into this rich domain of research it will also benefit researchers and practitioners in several areas of applied mathematics,mechanics, and engineering
Note:Springer eBooks
Contents:Constrained Optimism
Biographical Summary of Professor Gilbert Strang
List of Publications of Professor Gilbert Strang
1 Maximum Flows and Minimum Cuts in the Plane
2 Variational Principles and Residual Bounds for Non
Potential Equations
3 Adaptive Finite Element Solution of Variational Inequalities with Applications in Contact Problems
4 Time
Frquency Analysis of Brain Neuro
Dynamics
5 Nonconvex Optimization in Communication Systems
6 Multilevel (Hierarchical) Optimization: Complexity Issues, Optimality Conditions, Algorithms
7 Central Path Curvature and Iteration
C
ISBN:9780387757148
Series:e-books
Series:SpringerLink (Online service)
Series:Advances in Mechanics and Mathematics, 1571-8689 : v17
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Computer software , Mathematical optimization , Mechanical 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-2008-9780387727431:ONLINE Show nearby items on shelf
Title:Convergence and Applications of Newton-type Iterations [electronic resource]
Author(s): Ioannis K Argyros
Date:2008
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Recent results in local convergence and semi-local convergence analysis constitute a natural framework for the theoretical study of iterative methods. This monograph provides a comprehensive study of both basic theory and newresults in the area. Each chapter contains new theoretical results and important applications in engineering, modeling dynamic economic systems, input-output systems, optimization problems, and nonlinear and linear differentialequations. Several classes of operators are considere d, including operators without Lipschitz continuous derivatives, operators with high order derivatives, and analytic operators. Each section is self-contained. Examples are used toillustrate the theory and exercises are included at the end of each chapter . The book assumes a basic background in linear algebra and numerical functional analysis. Graduate students and researchers will find this book useful. It maybe used as a self-study reference or as a supplementary text for an advanced course in numerical functional analysis
Note:Springer eBooks
Contents:Preface
Table of Contents
Operators and Equations
The Newton
Kantorovich (NK) Method
Applications of the Weaker Version of the (NK) Theorem
Special Methods
Newton
Like Methods
Analytic Computational Complexity: We are Concerned with the Choice of Initial Approximations
Variational Inequalities
Convergence Involving Operators with Outer or Generalized Inverses
Convergence on Generalized Banach Spaces
Point
to
Set Mappings
The Newton
Kantorovich Theorem and Mathematical Programming
Glossary of Symbols
Bibliography
ISBN:9780387727431
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Functional analysis , Computer science Mathematics , Numerical analysis
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-2007-9780387495149:ONLINE Show nearby items on shelf
Title:Essentials of Mathematica [electronic resource] : With Applications to Mathematics and Physics
Author(s): Nino Boccara
Date:2007
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Essentials of Mathematica: With Applications to Mathematics and Physics, based on the lecture notes of a course taught at the University of Illinois at Chicago to advanced undergraduate and graduate students, teaches how to useMathematica to solve a wide variety problems in mathematics and physics. The text assumes no previous exposure to Mathematica. It is illustrated with many detailed examples that require the student to construct meticulous,step-by-step, easy-to-read Mathematica programs. It incl udes many detailed graphics, with instructions to students on how to achieve similar results. The aim of Essentials of Mathematica is to provide the reader with Mathematicaproficiency quickly and efficiently. The first part, in which the reader learns how to use a variety of Mathematica commands, avoids long discussions and overly sophisticated techniques. The second part covers a broad range ofapplications in physics and applied mathematics, including negative and complex bases, the double pendulum, frac tals, the logistic map, the quantum harmonic oscillator, the quantum square potential, the Van der Pol oscillator, theDuffing oscillator, multilane bidirectional pedestrian traffic, public-key encryption, tautochrone curves, Iterated function systems, mot ion of a bead on a rotating circle, Mersenne and perfect numbers, Lindenmayer systems, skydiving,Lorenz equations, the Foucault's pendulum, and Julia and Mandelbrot sets
Note:Springer eBooks
Contents:Essential Commands
A Panorama of Mathematica
Numbers
Algebra
Analysis
Lists
Graphics
Statistics
Basic Programming
Applications
Axially Symmetric Electrostatic Potential
Motion of a Bead on a Rotating Circle
The Brachistochrone
Negative and Complex Bases
Convolution and Laplace Transform
Double Pendulum
Duffing Oscillator
Egyptian Fractions
Electrostatics
Foucault Pendulum
Fractals
Iterated Function Systems
Julia and Mandelbrot Sets
Keplers Laws
Lindenmayer Systems
Logistic Map
Lorenz Equations
The Morse Potenti
ISBN:9780387495149
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Computer science , Computer software , Mathematical physics
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-2007-9780387377353:ONLINE Show nearby items on shelf
Title:Principles of Mathematics in Operations Research [electronic resource]
Author(s): Levent Kandiller
Date:2007
Publisher:Boston, MA : Springer US
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Principles of Mathematics in Operations Research is a comprehensive survey of the mathematical concepts and principles of industrial mathematics. Its purpose is to provide students and professionals with an understanding of thefundamental mathematica l principles used in Industrial Mathematics/OR in modeling problems and application solutions. All the concepts presented in each chapter have undergone the learning scrutiny of the author and his students. Theconceptual relationships within the chapter m aterial have been developed in the classroom experience working with the students' level of understanding. The illustrative material throughout the book (i.e., worked-out problems andexamples of the mathematical principles) was refined for student compreh ension as the manuscript developed through its iterations, and the chapter exercises are refined from the previous year's exercises. In sum, the author hascarefully developed a pedagogically strong survey textbook of OR and Industrial Mathematics
Note:Springer eBooks
Contents:Preliminary Linear Algebra
Orthogonality
Eigen Values and Vectors
Positive Definiteness
Computational Aspects
Convex Sets
Linear Programming
Number Systems
Basic Topology
Continuity
Differentiation
Power Series and Special Functions
Special Transformations
ISBN:9780387377353
Series:e-books
Series:SpringerLink (Online service)
Series:International Series in Operations Research & Management Science, 0884-8289 : v97
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Mathematical optimization , Economics
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-9783540326137:ONLINE Show nearby items on shelf
Title:Scientific Computing with MATLAB and Octave [electronic resource] : Second Edition
Author(s): Alfio Quarteroni
Fausto Saleri
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 textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of certain classes of mathematical problems are illustrated. The authors show how to compute the zeros or theintegrals of continuou s functions, solve linear systems, approximate functions by polynomials and construct accurate approximations for the solution of ordinary and partial differential equations. To make the presentation concrete andappealing, the programming environments Mat lab and Octave, which is freely distributed, are adopted as faithful companions. The book contains the solutions to several problems posed in exercises and examples, often originating fromspecific applications. A specific section is devoted to subjects wh ich were not addressed in the book and contains the bibliographical references for a more comprehensive treatment of the material. The second edition features many newproblems and examples, as well as more numerical methods for linear and nonlinear system s and ordinary and partial differential equations
Note:Springer eBooks
ISBN:9783540326137
Series:e-books
Series:SpringerLink (Online service)
Series:Texts in Computational Science and Engineering, 1611-0994 : v2
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Chemistry , Computer science , Visualization
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-9780817644536:ONLINE Show nearby items on shelf
Title:Max-Plus Methods for Nonlinear Control and Estimation [electronic resource]
Author(s): William M McEneaney
Date:2006
Publisher:Boston, MA : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The central focus of this book is the control of continuous-time/continuous-space nonlinear systems. Using new techniques that employ the max-plus algebra, the author addresses several classes of nonlinear control problems,including nonlinear optimal control problems and nonlinear robust/H-infinity control and estimation problems. Several numerical techniques are employed, including a max-plus eigenvector approach and an approach that avoids thecurse-of-dimensionality. Well-known dynamic programming arguments show there is a direct relationship between the solution of a control problem and the solution of a corresponding HamiltonJacobiBellman (HJB) partial differentialequation (PDE). The max-plus-based methods examined in this monograph belong to an entirely new class of numerical methods for the solution of nonlinear control problems and their associated HJB PDEs they are not equivalent to eitherof the more commonly used finite element or characteristic approaches. The potential advantages of the ma x-plus-based approaches lie in the fact that solution operators for nonlinear HJB problems are linear over the max-plus algebra,and this linearity is exploited in the construction of algorithms. The book will be of interest to applied mathematicians, engi neers, and graduate students interested in the control of nonlinear systems through the implementation ofrecently developed numerical methods. Researchers and practitioners tangentially interested in this area will also find a readable, concise discussion of the subject through a careful selection of specific chapters and sections. Basicknowledge of control theory for systems with dynamics governed by differential equations is required
Note:Springer eBooks
Contents:Preface
Introduction
Max
Plus Analysis
Dynamic Programming and Viscosity Solutions
Max
Plus Eigenvector Method for the Infinite Horizon Problem
Max
Plus Eigenvector Method Error Analysis
A Semigroup Construction Method
Curse
of
Dimensionality
Free Method
Finite Time
Horizon Application: Nonlinear Filtering
Mixed L
infinity/L2 Criteria
Miscellaneous Proofs
References
Index
ISBN:9780817644536
Series:e-books
Series:SpringerLink (Online service)
Series:Systems & Control: Foundations & Applications
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Differential equations, partial , Systems theory , Computer science Mathematics , 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-2006-9780387334776:ONLINE Show nearby items on shelf
Title:Production Planning by Mixed Integer Programming [electronic resource]
Author(s): Yves Pochet
Laurence A Wolsey
Date:2006
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This textbook provides a comprehensive modeling, reformulation and optimization approach for solving production planning and related supply chain planning problems, covering topics from a basic introduction to planning systems,mixed integer programmi ng (MIP) models and algorithms through the advanced description of mathematical results in polyhedral combinatorics required to solve these problems. This book addresses the solution of real life or industrialproduction planning problems (involving comple x production structures with multiple production stages) using a MIP modeling and reformulation approach. It is based on close to twenty years of research in which the authors have played asignificant role. One of the goals of this book is to allow non-ex pert readers, students in business, engineering, applied mathematics and computer science to solve such problems using standard modeling tools and MIP software. Toachieve this the book provides a unique collection of reformulation results, integrating the m into a comprehensive modeling and reformulation approach, as well as an easy to use problem-solving library. Moreover this approach isdemonstrated through a series of real life case studies, exercises and detailed illustrations. Graduate students and re searchers in operations research, management, science and applied mathematics wishing to gain a deeper understandingof the formulations and mathematics underlying this approach will find this book useful because of its detailed treatment of the polyhedral structure of the basic lot-sizing problems and simple mixed integer sets that arise in thedecomposition of more complicated problems. This book will allow the reader to improve formulations of non-standard MIP models and produce state-of-the-art models a nd algorithms
Note:Springer eBooks
Contents:Production Planning and MIP
The Modeling and Optimization Approach
Production Planning Models and Systems
Mixed Integer Programming Algorithms
Classification and Reformulation
Reformulations in Practice
Basic Polyhedral Combinatorics for Production Planning and MIP
Mixed Integer Programming Algorithms and Decomposition Approaches
Single
Item Uncapacitated Lot
Sizing
Basic MIP and Fixed Cost Flow Models
Single
Item Lot
Sizing
Lot
Sizing with Capacities
Backlogging and Start
Ups
Single
Item Variants
Multi
Item Lot
Sizing
Multi
Item Single Level Proble
ISBN:9780387334776
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Series in Operations Research and Financial Engineering, 1431-8598
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Mathematical optimization , Operations research , Industrial engineering , Business logistics , Management information 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-2006-9780387288154:ONLINE Show nearby items on shelf
Title:The Mathematica GuideBook for Symbolics [electronic resource]
Author(s): Michael Trott
Date:2006
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Mathematica is today's most advanced technical computing system. It features a rich programming environment, two-and three-dimensional graphics capabilities and hundreds of sophisticated, powerful programming and mathematicalfunctions using state-of- the-art algorithms. Combined with a user-friendly interface, and a complete mathematical typesetting system, Mathematica offers an intuitive easy-to-handle environment of great power and utility. TheMathematica GuideBook for Symbolics (code and text fully tailored for Mathematica 5.1) deals with Mathematica's symbolic mathematical capabilities. Structural and mathematical operations on single and systems of polynomials arefundamental to many symbolic calculations and they are covered in considerable detai l. The solution of equations and differential equations, as well as the classical calculus operations (differentiation, integration, summation, seriesexpansion, limits) are exhaustively treated. Generalized functions and their uses are discussed. In addit ion, this volume discusses and employs the classical orthogonal polynomials and special functions of mathematical physics. Todemonstrate the symbolic mathematics power, a large variety of problems from mathematics and phyics are discussed
Note:Springer eBooks
Contents:Introduction and Orientation
I. Symbolic computations: Remarks
Manipulation of polynomials
Manipulations of rational functions of polynomials
Manipulations of trigonometric expressions
Systems of linear and nonlinear equations
Classical analysis
Differential equations
Integral transforms and generalized functions
Three applications
Overview
II Classical orthogonal polynomials: Remarks
General properties of orthogonal polynomials
Hermite polynomials
Jacobi polynomials
Gegenbauer polynomials
Laguerre polynomials
Legendre polynomials
Chebyshev
ISBN:9780387288154
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra Data processing , Algorithms , Computer science , Computer software
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-9783540277200:ONLINE Show nearby items on shelf
Title:Computational Granular Dynamics [electronic resource] : Models and Algorithms
Author(s): Thorsten Pschel
Thomas Schwager
Date:2005
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Computer simulations not only belong to the most important methods for the theoretical investigation of granular materials, but also provide the tools that have enabled much of the expanding research by physicists and engineers.The present book is in tended to serve as an introduction to the application of numerical methods to systems of granular particles. Accordingly, emphasis is placed on a general understanding of the subject rather than on thepresentation of the latest advances in numerical algor ithms. Although a basic knowledge of C++ is needed for the understanding of the numerical methods and algorithms in the book, it avoids usage of elegant but complicated algorithmsto remain accessible for those who prefer to use a different programming lan guage. While the book focuses more on models than on the physics of granular material, many applications to real systems are presented
Note:Springer eBooks
Contents:Molecular Dynamics
Event
Driven Molecular Dynamics
Direct Simulation Monte Carlo
Rigid
Body Dynamics
Cellular Automata
Bottom
to
Top Reconstruction
Brownian Dynamics for the Simulation of Granular Flows
ISBN:9783540277200
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Computer science , Thermodynamics , Mechanics, applied
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-9781402023354:ONLINE Show nearby items on shelf
Title:A Modern Perspective on Type Theory [electronic resource] From its Origins until Today
Author(s): Fairouz Kamareddine
Twan Laan
Rob Nederpelt
Date:2005
Publisher:Dordrecht : Springer Netherlands
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce typetheory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on theuse of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have themselves been leadingthe way by providing various extensions of type theory which have b een shown to bring many advantages. This book gathers much of their influential work and is highly recommended for anyone interested in type theory. The main emphasisis on: - Types: from Russell to Ramsey, to Church, to the modern Pure Type Systems and so me of their extensions. - Functions: from Frege, to Russell to Church, to Automath and the use of functions in mathematics, programming languagesand theorem provers. - The role of types in logic: Kripke's notion of truth, the evolution and role of the pro positions as types concept and its use in logical frameworks. - The role of types in computation: extensions of type theorieswhich can better model proof checkers and programming languages are given. The first part of the book is historical, yet at the sa me time, places historical systems (like Russell's RTT) in the modern setting. The second part deals withmodern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places anot her historical system (the proof checker Automath) in the modern setting. The thirdpart uses this bridging in the first two parts between historical and modern systems to propose new systems that bring
Note:Springer eBooks
Contents:The Evolution of Type Theory until the 1940s
Prehistory
Type theory in Principia Mathematica
Deramification
Propositions as Types, Pure Type Systems, AUTOMATH
Propositions as Types and Pure Type Systems
The pre
PAT RTT and STT in PAT
style
A Correspondence between RTT and the system Nuprl
Automath
Extensions of Pure Type Systems
Pure Type Systems with definitions
The Barendregt cube with parameters
Pure Type Systems with parameters and definitions
ISBN:9781402023354
Series:e-books
Series:SpringerLink (Online service)
Series:Applied Logic Series, 1386-2790 : v29
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Computer science , Logic, Symbolic and mathematical
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-9780387283562:ONLINE Show nearby items on shelf
Title:Search Methodologies [electronic resource] : Introductory Tutorials in Optimization and Decision Support Techniques
Author(s): Edmund K Burke
Graham Kendall
Date:2005
Publisher:Boston, MA : Springer US
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Search Methodologies is a tutorial survey of the methodologies that are at the confluence of several fields: Computer Science, Mathematics and Operations Research. It is a carefully structured and integrated treatment of themajor technologies in opti mization and search methodology. The book is made up of 19 chapters. The chapter authors are drawn from across Computer Science and Operations Research and include some of the worlds leading authorities intheir field. The result is a major state-of-the-ar t tutorial text of the main optimization and search methodologies available to researchers, students and practitioners across discipline domains in applied science. It can be used as atextbook or a reference book to learn and apply these methodologies to a wide range of todays problems. It has been written by some of the worlds most well known authors in the field
Note:Springer eBooks
Contents:Classical Techniques
Integer Programming
Genetic Algorithms
Genetic Programming
Tabu Search
Simulated Annealing
Variable Neighborhood Search
Constraint Programming
Multi
Objective Optimization
Complexity Theory and the No Free Lunch Theorem
Machine Learning
Artificial Immune Systems
Swarm Intelligence
Fuzzy Reasoning
Rough Set Based Decision Support
Hyper
Heuristics
Approximation Algorithms
Fitness Landscapes
ISBN:9780387283562
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Electronic data processing , Mathematical optimization , Operations research , 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-9780387235813:ONLINE Show nearby items on shelf
Title:Supply Chain Optimisation [electronic resource] : Product/Process Design, Facility Location and Flow Control
Author(s): Alexandre Dolgui
Jerzy Soldek
Oleg Zaikin
Date:2005
Publisher:Boston, MA : Springer US
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This volume is a collection of recent key results in supply chain optimisation. It presents new approaches and methods based on operations research, artificial intelligence and computer sciences techniques for design of productionsystems, supply and inventory management, production planning and scheduling, facility location, transportation and logistics, supply flow optimisation via simulation, etc. The content focuses on a wide spectrum of optimisationproblems taking into account supply chain paradi gms, which create a pivotal idea to increase the productivity of modern production systems. The first part of the book presents a set of modelling techniques taking into account theenterprise integration problem, the knowledge management in the SME networ ks, and the human resources in business process engineering. The second part is dedicated to advanced optimisation methods for supply chain design and managementwhich are based on mathematical programming and metaheuristics. The third part of this book de als with some examples of advanced applied decision aid tools directly linked to real industrial problems. Audience This volume is suitablefor industrial engineers, faculty staff and graduate students in industrial engineering, management science, operati ons research, artificial intelligence and computer sciences. This book can be used as a reference for graduate coursesand also for researchers and industrial engineers to capture current trends in this field
Note:Springer eBooks
Contents:Contributing Authors
Preface
An Initiative for International Consensus on Enterprise
Towards Knowledge Logistics in Agile SME Networks
A Modelling Framework for Human Resource
Based Business Processes
Managing Service
Sensitive Demand Through Simulation
Robust Modeling of Consumer Behaviour
Sizing, Cycle Time and Plant Control Using Dioid Algebra
Concurrent Processes Flow Prototyping
Modelling of the Supply Chain
Hybrid Methods for Line Balancing Problems
Stability of Optimal Line Balance
Simple Plant Location Problem
Concave Cost Supply Management
Pro
ISBN:9780387235813
Series:e-books
Series:SpringerLink (Online service)
Series:Applied Optimization, 1384-6485 : v94
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Combinatorics , Mathematical optimization , 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-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-2004-9783662054505:ONLINE Show nearby items on shelf
Title:Python Scripting for Computational Science
Author(s): Hans Petter Langtangen
Date:2004
Size:1 online resource (732 p.)
Note:10.1007/978-3-662-05450-5
Contents:1 Introduction -- 2 Getting Started with Python Scripting -- 3 Basic Python -- 4 Numerical Computing in Python -- 5 Combining Python with Fortran, C, and C++ -- 6 Introduction to GUI Programming -- 7 Web Interfaces and CGI Programming
-- 8 Advanced Python -- 9 Fortran Programming with NumPy Arrays -- 10 C and C++ Programming with NumPy Arrays -- 11 More Advanced GUI Programming -- 12 Tools and Examples -- A Setting up the Required Software Environment -- A.1
Installation on Unix Systems -- A.1.1 A Suggested Directory Structure -- A.1.2 Setting Some Environment Variables -- A.1.3 Installing Tcl/Tk and Additional Modules -- A.1.4 Installing Python -- A.1.5 Installing Python Modules -- A.1.6
Installing Gnuplot -- A.1.7 Installing SWIG -- A.1.8 Summary of Environment Variables -- A.1.9 Testing the Installation of Scripting Utilities -- A.2 Installation on Windows Systems -- B Elements of Software Engineering -- B.1 Building
and Using Modules -- B.1.1 Single-File Modules -- B.1.2 Multi-File Modules -- B.1.3 Debugging and Troubleshooting -- B.2 Tools for Documenting Python Software -- B.2.1 Doc Strings -- B.2.2 Tools for Automatic Documentation -- B.3
Coding Standards -- B.3.1 Style Guide -- B.3.2 Pythonic Programming -- B.4 Verification of Scripts -- B.4.1 Automating Regression Tests -- B.4.2 Implementing a Tool for Regression Tests -- B.4.3 Writing a Test Script -- B.4.4 Verifying
Output from Numerical Computations -- B.4.5 Automatic Doc String Testing -- B.4.6 Unit Testing -- B.5 Version Control Management -- B.5.1 Getting Started with CVS -- B.5.2 Building Scripts to Simplify the Use of CVS -- B.6 Exercises
ISBN:9783662054505
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Texts in Computational Science and Engineering: 3
Keywords: Mathematics , Software engineering , Computer mathematics , Physics , Computational intelligence , Mathematics , Computational Science and Engineering , Numerical and Computational Physics , Software Engineering/Programming and Operating Systems , Computational Intelligence
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781475741377:ONLINE Show nearby items on shelf
Title:Metaheuristics: Computer Decision-Making
Author(s): Mauricio G. C Resende
Date:2004
Size:1 online resource (719 p.)
Note:10.1007/978-1-4757-4137-7
Contents:1 A path relinking algorithm for the generalized assignment problem -- 2 The PROBE metaheuristic for the multiconstraint knapsack problem -- 3 Lagrangian heuristics for the linear ordering problem -- 4 Enhancing MA performance by
using matching-based recombination -- 5 Multi-cast ant colony system for the bus routing problem -- 6 Study of genetic algorithms with crossover based on confidence intervals as an alternative to classical least squares estimation
methods for nonlinear models -- 7 Variable neighborhood search for nurse rostering problems -- 8 A Potts neural network heuristic for the class/teacher timetabling problem -- 9 Genetic algorithms for the single source capacitated
location problem -- 10 An elitist genetic algorithm for multiobjective optimization -- 11 HSF: The iOpt’s framework to sasily design metaheuristic methods -- 12 A distance-based selection of parents in genetic algorithms -- 13
Experimental pool design: Input, output and combination strategies for scatter search -- 14 Evolutionary proxy tuning for expensive evaluation functions: A real-case application to petroleum reservoir optimization -- 15 An analysis of
solution properties of the graph coloring problem -- 16 Developing classification techniques from biological databases using simulated annealing -- 17 A new look at solving minimax problems with coevolutionary genetic algorithms -- 18
A performance analysis of tabu search for discrete-continuous scheduling problems -- 19 Elements for the description of fitness landscapes associated with local operators for layered drawings of directed graphs -- 20 Training multi
layer perceptron network using a genetic algorithm as a global optimizer -- 21 Metaheuristics applied to power systems -- 22 On the behavior of ACO algorithms: Studies on simple problems -- 23 Variable neighborhood search for the
k-cardinality tree -- 24 Heuristics for large strip packing problems with guillotine patterns: An empirical study -- 25 Choosing search heuristics by non-stationary reinforcement learning -- 26 GRASP for linear integer programming --
27 Random start local search and tabu search for a discrete lot-sizing and scheduling problem -- 28 New benchmark instances for the Steiner problem in graphs -- 29 A memetic algorithm for communication network design taking into
consideration an existing network -- 30 A GRASP heuristic for the capacitated minimum spanning tree problem using a memory-based local search strategy -- 31 A GRASP-tabu search algorithm for school timetabling problems -- 32 A local
search approach for the pattern restricted one dimensional cutting stock problem -- 33 An ant system algorithm for the mixed vehicle routing problem with backhauls
ISBN:9781475741377
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 86
Keywords: Computer science , Computer science , Artificial intelligence , Mathematical models , Mathematical optimization , Computer Science , Artificial Intelligence (incl. Robotics) , Optimization , Discrete Mathematics in Computer Science , 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-2004-9781461302155:ONLINE Show nearby items on shelf
Title:Modeling Languages in Mathematical Optimization
Author(s):
Date:2004
Size:1 online resource (408 p.)
Note:10.1007/978-1-4613-0215-5
Contents:I Theoretical and Practical Concepts of Modeling Languages -- 1 Mathematical Optimization and the Role of Modeling Languages -- 2 Models and the History of Modeling -- 3 Mathematical Model Building -- 4 Theoretical Concepts and Design
of Modeling Languages -- 5 The Importance of Modeling Languages for Solving Real-World Problems -- II The Modeling Languages in Detail -- 6 The Modeling Language AIMMS -- 7 Design Principles and New Developments in the AMPL Modeling
Language -- 8 General Algebraic Modeling System (GAMS) -- 9 The LINGO Algebraic Modeling Language -- 10 The LPL Modeling Language -- 11 The MINOPT Modeling Language -- 12 Mosel: A Modular Environment for Modeling and Solving
Optimization Problems -- 13 The MPL Modeling System -- 14 The Optimization Systems MPSX and OSL -- 15 The NOP-2 Modeling Language -- 16 The OMNI Modeling System -- 17 The OPL Studio Modeling System -- 18 PCOMP: A Modeling Language for
Nonlinear Programs with Automatic Differentiation -- 19 The Tomlab Optimization Environment -- III The Future of Modeling Systems -- 20 The Future of Modeling Languages and Modeling Systems -- References
ISBN:9781461302155
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 88
Keywords: Mathematics , Programming languages (Electronic computers) , Numerical analysis , Computer science , Mathematical models , Mathematical optimization , Mathematics , Mathematical Modeling and Industrial Mathematics , Optimization , Symbolic and Algebraic Manipulation , Numeric Computing , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-2004-9780306486364:ONLINE Show nearby items on shelf
Title:Computing System Reliability Models and Analysis
Author(s): Min Xie
Date:2004
Size:1 online resource (293 p.)
Note:10.1007/b100619
Contents:Basic Reliability Concepts and Analysis -- Models for Hardware System Reliability -- Models for Software Reliability -- Models for Integrated Systems -- Availability and Reliability of Distributed Computing Systems -- Reliability of
Grid Computing Systems -- Multi-state System Reliability -- Optimal System Design and Resource Allocation
ISBN:9780306486364
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Microprocessors , Software engineering , Mathematical models , Mathematical logic , Mathematics , Mathematical Modeling and Industrial Mathematics , Computer Science, general , Processor Architectures , Mathematical Logic and Foundations , 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-2003-9783662051481:ONLINE Show nearby items on shelf
Title:Algebra, Geometry and Software Systems
Author(s):
Date:2003
Size:1 online resource (332 p.)
Note:10.1007/978-3-662-05148-1
Contents:Beneath-and-Beyond Revisited -- Some Algorithmic Problems in Polytope Theory -- Computing Triangulations Using Oriented Matroids -- Discrete Geometry for Algebraic Elimination -- Sparse Resultant Perturbations -- Numerical Irreducible
Decomposition Using PHCpack -- Generating Kummer Type Formulas for Hypergeometric Functions -- A Computer Algebra System: Risa / Asir -- Singular in a Framework for Polynomial Computations -- Computing Simplicial Homology Based on
Efficient Smith Normal Form Algorithms -- The Geometry of ?n is Important for the Algebra of Elementary Functions -- A Visual Introduction to Cubic Surfaces Using the Computer Software Spicy -- A Client-Server System for the
Visualisation of Algebraic Surfaces on the Web -- Visualizing Maple Plots with JavaViewLib -- Automated Generation of Diagrams with Maple and Java -- Interactive Mathematical Documents on the Web -- Distributed Computing for
Conglomerate Mathematical Systems -- Software Systems
ISBN:9783662051481
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Software engineering , Computer science , Algebra , Computer software , Geometry , Mathematics , Algebra , Mathematical Software , Geometry , Symbolic and Algebraic Manipulation , 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-2003-9783642557699:ONLINE Show nearby items on shelf
Title:Computational Partial Differential Equations Numerical Methods and Diffpack Programming
Author(s): Hans Petter Langtangen
Date:2003
Edition:Second Edition
Size:1 online resource (862 p.)
Note:10.1007/978-3-642-55769-9
Contents:1 Getting Started -- 1.1 The First Diffpack Encounter -- 1.2 Overview of Application Examples -- 1.3 Steady One-Dimensional Heat Conduction -- 1.5 Projects -- 1.6 About Programming with Objects -- 1.7 Coding the PDE Simulator as a
Class -- 1.8 Projects -- 2 Introduction to Finite Element Discretization -- 2.1 Weighted Residual Methods -- 2.2 Time Dependent Problems -- 2.3 Finite Elements in One Space Dimension -- 2.4 Example: A ID Wave Equation -- 2.5 Naive
Implementation -- 2.6 Projects -- 2.7 Higher-Dimensional Finite Elements -- 2.8 Calculation of Derivatives -- 2.9 Convection-Diffusion Equations -- 2.10 Analysis of the Finite Element Method -- 3 Programming of Finite Element Solvers
-- 3.1 A Simple Program for the Poisson Equation -- 3.2 Increasing the Flexibility -- 3.3 Some Visualization Tools -- 3.4 Some Useful Diffpack Features -- 3.5 Introducing More Flexibility -- 3.6 Step-by-Step Development of a Diffpack
Solver -- 3.7 Adaptive Grids -- 3.8 Projects -- 3.9 A Convection-Diffusion Solver -- 3.10 A Heat Equation Solver -- 3.11 A More Flexible Heat Equation Solver -- 3.12 Visualization of Time-Dependent Fields -- 3.13 A Transient Heat
Transfer Application -- 3.14 Projects -- 3.15 Efficient Solution of the Wave Equation -- 4 Nonlinear Problems -- 4.1 Discretization and Solution of Nonlinear PDEs -- 4.2 Software Tools for Nonlinear Finite Element Problems -- 4.3
Projects -- 5 Solid Mechanics Applications -- 5.1 Linear Thermo-Elasticity -- 5.2 Elasto-Viscoplasticity -- 6 Fluid Mechanics Applications -- 6.1 Convection-Diffusion Equations -- 6.2 Shallow Water Equations -- 6.3 An Implicit Finite
Element Navier-Stokes Solver -- 6.4 A Classical Finite Difference Navier-Stokes Solver -- 6.5 A Fast Finite Element Navier-Stokes Solver -- 6.6 Projects -- 7 Coupled Problems -- 7.1 Fluid-Structure Interaction Squeeze-Film Damping --
7.2 Fluid Flow and Heat Conduction in Pipes -- 7.3 Projects -- B.7 Optimizing Diffpack Codes -- A Mathematical Topics -- A.1 Scaling and Dimensionless Variables -- A.2 Indicial Notation -- A.3 Compact Notation for Difference Equations
-- A.4 Stability and Accuracy of Difference Approximations -- A.4.1 Typical Solutions of Simple Prototype PDEs -- A.4.2 Physical Significance of Parameters in the Solution -- A.4.3 Analytical Dispersion Relations -- A.4.4 Solution of
Discrete Equations -- A.4.5 Numerical Dispersion Relations -- A.4.6 Convergence -- A.4.7 Stability -- A.4.8 Accuracy -- A.4.9 Truncation Error -- A.4.10 Traditional von Neumann Stability Analysis -- A.4.11 Examples: Analysis of the
Heat Equation -- A.5 Exploring the Nature of Some PDEs -- A.5.1 A Hyperbolic Equation -- A.5.2 An Elliptic Equation -- A.5.3 A Parabolic Equation -- A.5.4 The Laplace Equation Solved by a Wave Simulator -- A.5.5 Well-Posed Problems --
B Diffpack Topics -- B.1 Brief Overview of Important Diffpack Classes -- B.2 Diffpack-Related Operating System Interaction -- B.2.1 Unix -- B.2.2 Windows -- B.3 Combining Diffpack with Other Types of Software -- B.3.1 Calling Other
Software Packages from Diffpack -- B.3.2 Calling Diffpack from Other Types of Software -- B.4. Basic Diffpack Features -- B.4.1 Diffpack Man Pages -- B.4.2 Standard Command-Line Options -- B.4.3 Generalized Input and Output -- B.4.4
Automatic Verification of a Code -- B.5 Visualization Support -- B.5.1 Curves -- B.5.2 Scalar and Vector Fields -- B.6 Details on Finite Element Programming -- B.6.1 Basic Functions for Finite Element Assembly -- B.6.2 Using Functors
for the Integrands -- B.6.3 Integrating Quantities over the Grid or the Boundary -- B.6.4 Class Relations in the Finite Element Engine -- C Iterative Methods for Sparse Linear Systems -- C.1 Classical Iterative Methods -- C.1.1 A
General Framework -- C.1.2 Jacobi, Gauss-Seidel, SOR, and SSOR Iteration -- C.2 Conjugate Gradient-Like Iterative Methods -- C.2.1 Galerkin and Least-Squares Methods -- C.2.2 Summary of the Algorithms -- C.2.3 A Framework Based on the
Error -- C.3 Preconditioning -- C.3.1 Motivation and Basic Principles -- C.3.2 Classical Iterative Methods as Preconditioners -- C.3.3 Incomplete Factorization Preconditioners -- C.4 Multigrid and Domain Decomposition Methods -- C.4.1
Domain Decomposit ion -- C.4.2 Multigrid Methods -- D Software Tools for Solving Linear Systems -- D.1 Storing and Initializing Linear Systems -- D.1.1 Vector and Matrix Formats -- D.1.2 Detailed Matrix Examples -- D.1.3 Representation
of Linear Systems -- D.2 Programming with Linear Solvers -- D.2.1 Gaussian Elimination -- D.2.2 A Simple Demo Program -- D.2.3 A 3D Poisson Equation Solver -- D.3 Classical Iterative Methods -- D.4 Conjugate Gradient-like Methods --
D.4.1 Symmetric Systems -- D.4.2 Nonsymmetric Systems -- D.5 Preconditioning Strategies -- D.6 Convergence History and Stopping Criteria -- D.7 Example: Implicit Methods for Transient Diffusion -- D.8 High-Level Stencil Programming of
Finite Difference Schemes -- D.8.1 Finite Difference Stencils -- D.8.2 Basic Structure of a Stencil-Based Simulator -- D.8.3 Defining the Stencils
ISBN:9783642557699
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Texts in Computational Science and Engineering: 1
Keywords: Computer science , Software engineering , Computers , Mathematical analysis , Analysis (Mathematics) , Computer mathematics , Physics , Computational intelligence , Computer Science , Theory of Computation , Analysis , Software Engineering/Programming and Operating Systems , Computational Mathematics and Numerical Analysis , Computational Intelligence , Theoretical, Mathematical and Computational Physics
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-9783642557538:ONLINE Show nearby items on shelf
Title:Mathematics — Key Technology for the Future Joint Projects between Universities and Industry
Author(s):
Date:2003
Size:1 online resource (732 p.)
Note:10.1007/978-3-642-55753-8
Contents:I. Motors, Vehicles -- Synthesis of Automotive Cams Using Multiple Shooting-SQP Methods for Constrained Optimization -- Numerical Optimization of Scavenging in Two-Stroke Engines with Transfer Ducts, an Exhaust Port and a Moving
Piston -- A Numerical Tool for Flow Simulation in a Wankel Motor -- An Efficient Navier-Stokes Solver for Automotive Aerodynamics -- Numerical Simulation of Exhaust Systems in Car Industry — Efficient Calculation of Radiation Heat
Transfer -- Combinatorial Optimization Techniques for Three-Dimensional Arrangement Problems -- Simulation of Test-drives of Automobiles at Driving Limit -- An Optimal Control Approach To Real-Time Vehicle Guidance -- Theoretical and
Experimental Studies of an S-Catamaran -- II. Environmental Technology -- Robust Error Estimators for Interface Problems Occuring in Transport Processes in Porous Media -- Modelling and Simulation of a Planned Bio-Chemical in situ
Remediation -- Influence of Surfactants on Spreading of Contaminants and Soil Remediation -- Improvement of Environment Observing Remote Sensing Devices by Regularization Techniques -- III. Flow, Transport and Reactions in
Technological Processes -- Stability Analysis for Reactors from Chemical Industry -- Heterogeneous Dynamic Process Flowsheet Simulation of Chemical Plants -- Numerical Simulation of Annular Chromatography -- Numerical Methods for
Parameter Estimation in Bingham-Fluids -- A Viscoelastic Turbulence Model Based on Renormalization Group Theory -- Modelling and Simulation of Capacitor Impulse Welding -- Analysis of Transport Processes for Layered Porous Materials
Used in Industrial Applications -- Modelling and Numerical Simulation of District Heating Networks with Time-Saving Solution Methods -- Sensitivity and Robustness Analysis for Construction and Monitoring of Tubine-Generator Shafts --
IV. Optics and Sensors -- Adaptive Multigrid Methods for the Vectorial Maxwell Eigenvalue Problem for Optical Waveguide Design -- Direct and Inverse Problems for Diffractive Structures — Optimization of Binary Gratings -- Computation
of Electromagnetic Fields for a Humidity Sensor -- V. Crystal Growth, Semiconductors -- Simulation of Industrial Crystal Growth by the Vertical Bridgman Method -- Numerical Simulation and Control of Industrial Crystal Growth Processes
-- Optimal Control of Sublimation Growth of SiC Crystals -- Mathematical Modelling and Numerical Simulation of Semiconductor Detectors -- Optimal Design of High Power Electronic Devices by Topology Optimization -- Modelling and
Simulation of Strained Quantum Wells in Semiconductor Lasers -- VI. Electronic Circuits -- Efficient Analysis of Oscillatory Circuits -- Modelling and Simulation of Power Devices for High-Voltage Integrated Circuits -- Finding
Beneficial DAE Structures in Circuit Simulation -- CHORAL — a Charge-Oriented Algorithm for the Numerical Integration of Electrical Circuits -- VII. Tomography, Image Analysis and Visualisation -- Reconstructing Crystalline Structures
from Few Images Under High Resolution Transmission Electron Microscopy -- Measurement of Paint Layer Thickness with Photothermal Infrared Radiometry -- Spatio-Temporal Current Density Reconstruction from EEG-/MEG-Data -- Signal
Correction in NMR Spectroscopy -- On Scattering of Ultrasonic Waves -- Smoothing of Tomographic Data and Hybrid Volume-Surface Visualisation -- Video Coding with Adaptive Vector Quantization and Rate Distortion Optimization -- VIII.
Statistical Methods in Medical Applications -- The Application of Statistical Methods of Meta-Analysis for Heterogeneity Modelling in Medicine and Pharmacy, Psychology, Quality Control and Assurance -- An Application for the Analysis
of Human Tremor Time-Series -- IX. Optimization in Design and Production -- Free Material Optimization -- Automatic Layout and Labelling of State Diagrams -- Optimization Problems in a Semi-Automatic Device for Cutting Leather --
Stochastic Programming for Power Production and Trading Under Uncertainty -- Scheduling Scarce Resources in Chemical Engineering -- X. Optimization in Traffic and Communication -- Duty Scheduling in Public Transit -- Rotation Planning
for the Continental Service of a European Airline -- Computer Aided Scheduling of Switching Engines -- Train Schedule Optimization in Public Rail Transport -- An Integrated Planning Approach for Cellular Radio Networks -- Author Index
ISBN:9783642557538
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemometrics , Computer graphics , Computer mathematics , Visualization , Statistics , Applied mathematics , Engineering mathematics , Mathematics , Computational Science and Engineering , Visualization , Appl.Mathematics/Computational Methods of Engineering , Math. Applications in Chemistry , Computer Imaging, Vision, Pattern Recognition and Graphics , Statistics for Life Sciences, Medicine, Health 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-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-2003-9781475737523:ONLINE Show nearby items on shelf
Title:Operations Research in Space and Air
Author(s):
Date:2003
Size:1 online resource (446 p.)
Note:10.1007/978-1-4757-3752-3
Contents:I Space -- 1 OR Applications in Space Systems Development and Operations -- 2 A Cargo Accommodation Problem for a Space Vehicle -- 3 A Heuristic Procedure for the RC Problem -- 4 3-Dimensional Packing Problems Arising in Space
Engineering -- 5 Spacecraft Design as a Multi-Criteria Decision-Making -- 6 Combining Evolution Programs and Gradient Methods -- 7 MP for Earth Observation Satellite Mission Planning -- 8 On-Orbit Satellite Servicing: a Space-based
Vehicle Routing Problem -- 9 Data Mining in Astronomy -- 10 Launch Capacity Analysis for Commercial Communications Satellites -- 11 Value of Information Based Design of Control Software -- 12 Trajectory Design Combining Low-Thrust and
Gravity Assist Manoeuvres -- II Air -- 13 Solving Multi-Criteria Through-Fleet Assignment Models -- 14 Analysis of Market-Based Demand Management Strategies -- 15 Overhaul-Tasks Scheduling Model -- 16 Airline Recovery Model -- 17
Routing Considerations in Airline Yield Management -- 18 Models and Algorithms for the Airport Capacity Allocation Problem -- 19 A New Yield Management Approach in Multi-variable Environments -- 20 Materialisation Forecasting: A Data
Mining Perspective -- 21 Optimization-Based Integrated Manpower Management for Airlines
ISBN:9781475737523
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 79
Keywords: Computer science , Software engineering , System theory , Mathematical models , Mathematical optimization , Astronomy , Astrophysics , Cosmology , Automotive engineering , Computer Science , Software Engineering/Programming and Operating Systems , Astronomy, Astrophysics and Cosmology , Optimization , Systems Theory, Control , Automotive 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-2002-9783662048511:ONLINE Show nearby items on shelf
Title:Computations in Algebraic Geometry with Macaulay 2
Author(s):
Date:2002
Size:1 online resource (329 p.)
Note:10.1007/978-3-662-04851-1
Contents:I Introducing Macaulay 2 -- Ideals, Varieties and Macaulay 2 -- Projective Geometry and Homological Algebra -- Data Types, Functions, and Programming -- Teaching the Geometry of Schemes -- II Mathematical Computations -- Monomial
Ideals -- From Enumerative Geometry to Solving Systems of Polynomial Equations -- Resolutions and Cohomology over Complete Intersections -- Algorithms for the Toric Hilbert Scheme -- Sheaf Algorithms Using the Exterior Algebra --
Needles in a Haystack: Special Varieties via Small Fields -- D-modules and Cohomology of Varieties
ISBN:9783662048511
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Computation in Mathematics: 8
Keywords: Mathematics , Computer science , Algebraic geometry , Computer software , Combinatorics , Mathematics , Algebraic Geometry , Mathematical Software , 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-9783642562402:ONLINE Show nearby items on shelf
Title:Multimedia Tools for Communicating Mathematics
Author(s):
Date:2002
Size:1 online resource (314 p.)
Note:10.1007/978-3-642-56240-2
Contents:1 Computer Animated Mathematics Videotapes -- 2 A Virtual Reconstruction of a Virtual Exhibit -- 3 An Intuitive Approach to Elementary Mathematics on the Web -- 4 OpenMath Technology for Interactive Mathematical Documents -- 5 The
StageTools Package for Creating Geometry for the Web -- 6 Communicating and Learning Mathematics with Hypervideo -- 7 Collaboration in a Multimedia Laboratory -- 8 jDvi — A Way to Put Interactive TeX on the Web -- 9 Visual Calculus —
Development and Tools -- Color Plates -- 10 EG-Models — A New Journal for Digital Geometry Models -- 11 The Future of Mathematical Software -- 12 A Dynamic Setup for Elementary Geometry -- 13 Dynamic Geometry on WWW -- 14 Minimalistic
Tools for Mathematical Multimedia -- 15 Publication of Interactive Visualizations with JavaView -- 16 The Solver Learning Environment for Solving Mathematical Word Problems: Pupils’ Discussions -- 17 Interactive Knot Theory with Knot
Plot -- 18 Developing Gato and CATBox with Python: Teaching Graph Algorithms through Visualization Experimentation -- 19 Rescalable Real-Time Interactive Computer Animations
ISBN:9783642562402
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Software engineering , Multimedia information systems , Application software , Mathematics , Visualization , Computer Science , Computer Applications , Mathematics, general , Software Engineering/Programming and Operating Systems , Visualization , Multimedia Information 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-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-2002-9780306469671:ONLINE Show nearby items on shelf
Title:Intelligent Robotic Systems Design, Planning, and Control
Author(s): Witold Jacak
Date:2002
Size:1 online resource (310 p.)
Note:10.1007/b115982
Contents:Off-Line Planning, Programming, and Simulation of Intelligent Robotic Systems -- Virtual Robotic Cells -- Planning of Robotic Cell Actions -- Off-Line Planning of Robot Motion -- CAP/CAM Systems for Robotic Cell Design -- Intelligent
Robotic Systems -- Event-Based Real-Time Control of Intelligent Robotic Systems Using Neural Networks and Fuzzy Logic -- The Execution Level of Robotic Agent Action -- The Coordination Level of a Multiagent Robotic System -- The
Organization Level of a Robotic System -- Real-Time Monitoring -- Object-Oriented Discrete-Event Simulator of Intelligent Robotic Cells
ISBN:9780306469671
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:IFSR International Series on Systems Science and Engineering: 14
Keywords: Computer science , Computers , Artificial intelligence , Mechanical engineering , Computer Science , Theory of Computation , Artificial Intelligence (incl. Robotics) , Mechanical 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-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-9781475760996:ONLINE Show nearby items on shelf
Title:Optimization and Related Topics
Author(s):
Date:2001
Size:1 online resource (462 p.)
Note:10.1007/978-1-4757-6099-6
Contents:I Numerical Methods and Applications -- 1 An Approach to Constructing Generalized Penalty Functions -- 2 An Exact Method for Solving the Subproblem of the Cutting Angle Method of Global Optimization -- 3 On Modeling Risk in Markov
Decision Processes -- 4 Multiplicative Programming and Beyond Via C-Programming -- 5 Computing Optimal Control on Matlab — The Scom Package and Economic Growth Models -- 6 Stochastic Optimal Control of a Solar Car -- 7 On Optimal
Algorithms in Emergent Computation -- 8 Optimal Estimation of Signal Parameters Using Bilinear Observations -- 9 On an Extremal Problem Arising in Queueing Theory and Telecommunications -- 10 Level Functions of Some Optimal Value
Functions -- 11 Regularized Gap Functions and D-Gap Functions for Nons Mooth Variational Inequalities -- II Theory of Optimization and Related Topics -- 12 Convex Spectral Functions of Compact Operators, Part II: Lower Semicontinuity
and Rearrangement Invariance -- 13 Some Inequalities for Riemann-Stieltjes Integral and Applications -- 14 Prox—Regularity and Subjets -- 15 Concerning Differentiability Properties of Locally Lipschitz Functions -- 16 Laurent Series
for the Inversion of Perturbed Linear Operators on Hilbert Space -- 17 The Extremal Principle and Its Applications to Optimization and Economics -- 18 Generic Convergence of Infinite Products of Nonexpansive Mappings In Banach and
Hyperbolic Spaces -- 19 Recession Cones of Star-Shaped and Co-Star-Shaped Sets -- 20 Does Continuity of Convex-Valued Maps Survive Under Intersection? -- 21 Existence and Structure of Solutions of Optimal Control Problems
ISBN:9781475760996
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 47
Keywords: Computer science , Software engineering , Operator theory , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematical optimization , Calculus of variations , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Calculus of Variations and Optimal Control Optimization , Operator Theory , Computational Mathematics and Numerical Analysis
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-9781475752847:ONLINE Show nearby items on shelf
Title:From Local to Global Optimization
Author(s):
Date:2001
Size:1 online resource (340 p.)
Note:10.1007/978-1-4757-5284-7
Contents:1 Convex Global Underestimation for Molecular Structure Prediction -- 2 Bayesian Heuristic Approach (BHA) and Applications to Discrete Optimization -- 3 A Finite Branch-and-Bound Method for Bilinear Hydro Power Scheduling -- 4 Two
Examples of Global Optimization by Means of Local Techniques -- 5 Modelling techniques for nonlinear pooling problems -- 6 Optimization and Hierarchies for Lumped Distributed Networks -- 7 n Tuy’s 1964 Cone Splitting Algorithm for
Concave Minimization -- 8 The ?BB Global Optimization Algorithm for Nonconvex Problems: An Overview -- 9 Infimum of Polynomials and Singularity at Infinity -- 10 Solving Global Optimization Problems with BARON -- 11 D.C. Programming
Approach to the Multidimensional Scaling Problem -- 12 On Minimization of Sums of Heterogeneous Quadratic Functions on Stiefel Manifolds -- 13 A Nonlinear Lagrangian Function for Discrete Optimization Problems -- 14 Local and Global
Behavior of Moving Polytope Algorithms -- 15 Relational Complementarity Problem
ISBN:9781475752847
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 53
Keywords: Computer science , Software engineering , Numerical analysis , Computer science , Applied mathematics , Engineering mathematics , Mathematical models , Mathematical optimization , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Numeric Computing , Mathematical Modeling and Industrial Mathematics , Discrete Mathematics in 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-2001-9781475734096:ONLINE Show nearby items on shelf
Title:Filter Design With Time Domain Mask Constraints: Theory and Applications
Author(s): Ba-Ngu Vo
Date:2001
Size:1 online resource (330 p.)
Note:10.1007/978-1-4757-3409-6
Contents:1 Introduction -- 2 Filtering with Convex Response Constraints -- 3 Analysis and Problem Characterization -- 4 Discrete-Time EC Filtering Algorithms -- 5 Numerical Methods for Continuous-Time EC Filtering -- 6 Robust Envelope
Constrained Filtering -- Appendix A Mathematical Background -- A.1 Topological Space -- A.2 Metric Spaces -- A.3 Vector Spaces -- A.4 Normed Spaces -- A.5 Inner Product Spaces -- A.6 Linear Operators -- A.7 Linear Functionals and Dual
Spaces -- A.8 Measures and Integration -- Appendix B Optimization Theory -- B.1 Projection Theorem -- B.2 Hahn-Banach Theorem -- B.3 Positive Cones and Convex Mappings -- B.4 Gateaux and Fréchet Differentials -- B.5 Lagrange
Multipliers -- References
ISBN:9781475734096
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 56
Keywords: Computer science , Software engineering , Applied mathematics , Engineering mathematics , Mathematical optimization , Electrical engineering , Electronic circuits , Computer Science , Software Engineering/Programming and Operating Systems , Circuits and Systems , Applications of Mathematics , Optimization , Signal, Image and Speech Processing , Electrical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781475734034:ONLINE Show nearby items on shelf
Title:Semi-Infinite Programming Recent Advances
Author(s):
Date:2001
Size:1 online resource (386 p.)
Note:10.1007/978-1-4757-3403-4
Contents:I History -- 1 On The 1962–1972 Decade of Semi-Infinite Programming: A Subjective View -- II Theory -- 2 About Disjunctive Optimization -- 3 On Regularity and Optimality in Nonlinear Semi-Infinite Programming -- 4 Asymptotic
Constraint Qualifications and Error Bounds for Semi-Infinite Systems of Convex Inequalities -- 5 Stability of the Feasible Set Mapping in Convex Semi-Infinite Programming -- 6 On Convex Lower Level Problems In Generalized Semi-Infinite
Optimization -- 7 On Duality Theory of Conic Linear Problems -- III Numerical Methods -- 8 Two Logarithmic Barrier Methods for Convex Semi-Infinite Problems -- 9 First-Order Algorithms for Optimization Problems with a Maximum
Eigenvalue/ Singular Value Cost and or Constraints -- 10 Analytic Center Based Cutting Plane Method for Linear Semi-Infinite Programming -- IV Modeling and Applications -- 11 On Some Applications Of Lsip to Probability and Statistics
-- 12 Separation by Hyperplanes: A Linear Semi-Infinite Programming Approach -- 13 A Semi-Infinte Optimization Approach to Optimal Spline Trajectory Planning of Mechanical Manipulators -- 14 On Stability of Guaranteed Estimation
Problems: Error Bounds for Information Domains and Experimental Design -- 15 Optimization under Uncertainty and Linear Semi-Infinite Programming: A Survey -- 16 Semi-Infinite Assignment and Transportation Games -- 17 The Owen Set and
the Core of Semi-Infinite Linear Production Situations
ISBN:9781475734034
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 57
Keywords: Computer science , Software engineering , Computer science , Applied mathematics , Engineering mathematics , Mathematical models , Mathematical optimization , Probabilities , Computer Science , Software Engineering/Programming and Operating Systems , Probability Theory and Stochastic Processes , Applications of Mathematics , Optimization , Mathematical Modeling and Industrial Mathematics , Mathematics of Computing
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

Return to the Fermilab Library catalog