Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | SPRINGER-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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Call number: | SPRINGER-2005-9780387228273:ONLINE Show nearby items on shelf |
Title: | Tutorials on Emerging Methodologies and Applications in Operations Research [electronic resource] : Presented at Informs 2004, Denver, CO |
Author(s): |
H J G |
Date: | 2005 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Operations Research emerged as a quantitative approach to problem-solving in World War II. Its founders, who were physicists, mathematicians, and engineers, quickly found peace-time uses for this new field. Moreover, we can saythat Operations Researc h (OR) was born in the same incubator as computer science, and through the years, it has spawned many new disciplines, including systems engineering, health care management, and transportation science.Fundamentally, Operations Research crosses discipline domains to seek solutions on a range of problems and benefits diverse disciplines from finance to bioengineering. Many disciplines routinely use OR methods. Many scientificresearchers, engineers, and others will find the methodological presentations in th is book useful and helpful in their problem-solving efforts. ORs strengths are modeling, analysis, and algorithm design. It provides a quantitativefoundation for a broad spectrum of problems, from economics to medicine, from environmental control to sport s, from e-commerce to computational geometry. The primary purpose of TUTORIALS ON EMERGING METHODOLOGIES AND APPLICATIONS INOPERATIONS RESEARCH is to provide a reference for practitioners and academics who seek a clear, concise presentation of developing methodologies, hence providing themselves with the capability to apply these methods to new problems.The field of Operations Research is always changing. Its changes are driven by the technology it uses and that it extends, and the applications that it af fects. Relevant changes in the field have a permanent effect on the conduct of ORand are vital to anyone who wants to be current in the field. Each chapter presents a new developing methodology in Operations Research. Each chapter examines each topic with clarity and depth, and organizes the examination around thefollowing questions: (1) What the developing methodology basically is about? (2) Why is it important? and (3) Where can I learn more? |
Note: | Springer eBooks |
Contents: | Heuristic Search for Network Design |
Polyhedral Combinatorics | |
Radiation Oncology and Optimization | |
Parallel Algorithm Design for Branch and Bound | |
Computer | |
Aided Design for Electrical and Computer Engineering | |
Nonlinear Programming and Engineering Applications | |
Connecting MRP, MRP II and ERP | |
Supply Chain Production Planning via Optimization Models | |
ISBN: | 9780387228273 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | International Series in Operations Research & Management Science, 0884-8289 : v76 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Computer science , Computational complexity , Computer aided design , Computer science Mathematics , Operations research |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-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 |
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 |
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 |
Call number: | SPRINGER-2004-9781402018985:ONLINE Show nearby items on shelf |
Title: | Galois Connections and Applications |
Author(s): | |
Date: | 2004 |
Size: | 1 online resource (502 p.) |
Note: | 10.1007/978-1-4020-1898-5 |
Contents: | Adjunctions and Galois Connections: Origins, History and Development -- Categorical Galois Theory: Revision and Some Recent Developments -- The Polarity between Approximation and Distribution -- Galois Connections and Complete |
Sublattices -- Galois Connections for Operations and Relations -- Galois Connections and Polynomial Completeness -- Q-Independence and Weak Automorphisms -- A Survey of Clones Closed Under Conjugation -- Galois Connections for Partial | |
Algebras -- Complexity of Terms and the Galois Connection Id-Mod -- Iterated Galois Connections in Arithmetic and Linguistics -- Deductive Systems and Galois Connections -- A Galois Correspondence for Digital Topology -- Galois | |
Connections in Category Theory, Topology and Logic -- Dyadic Mathematics — Abstractions from Logical Thought | |
ISBN: | 9781402018985 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications : 565 |
Keywords: | Mathematics , Programming languages (Electronic computers) , Data structures (Computer science) , Artificial intelligence , Algebra , Mathematics , Algebra , Mathematics, general , Programming Languages, Compilers, Interpreters , Artificial Intelligence (incl. Robotics) , Data Structures |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-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 |
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 |
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 |
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 |
Call number: | SPRINGER-2003-9783642555084:ONLINE Show nearby items on shelf |
Title: | Large-Scale PDE-Constrained Optimization |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (12 p.) |
Note: | 10.1007/978-3-642-55508-4 |
Contents: | I Introduction -- Large-Scale PDE-Constrained Optimization: An Introduction -- II Large-Scale CFD Applications -- Nonlinear Elimination in Aerodynamic Analysis and Design Optimization -- Optimization of Large-Scale Reacting Flows |
using MPSalsa and Sequential Quadratic Programming -- III Multifidelity Models and Inexactness -- First-Order Approximation and Model Management in Optimization -- Multifidelity Global Optimization Using DIRECT -- Inexactness Issues in | |
the Lagrange-Newton-Krylov-Schur Method for PDE-constrained Optimization -- IV Sensitivities for PDE-based Optimization -- Solution Adapted Mesh Refinement and Sensitivity Analysis for Parabolic Partial Differential Equation Systems -- | |
Challenges and Opportunities in Using Automatic Differentiation with Object-Oriented Toolkits for Scientific Computing -- Piggyback Differentiation and Optimization -- V NLP Algorithms and Inequality Constraints -- Assessing the | |
Potential of Interior Methods for Nonlinear Optimization -- An Interior-Point Algorithm for Large Scale Optimization -- SQP SAND Strategies that Link to Existing Modeling Systems -- Interior Methods For a Class of Elliptic Variational | |
Inequalities -- Hierarchical Control of a Linear Diffusion Equation -- VI Time-Dependent Problems -- A Sequential Quadratic Programming Method for Nonlinear Model Predictive Control -- Reduced Order Modelling Approaches to | |
PDE-Constrained Optimization Based on Proper Orthogonal Decomposition -- Adaptive Simulation, the Adjoint State Method, and Optimization -- VII Frameworks for PDE-Constrained Optimization -- 18 The SIERRA Framework for Developing | |
Advanced Parallel Mechanics Applications -- rSQP++: An Object-Oriented Framework for Successive Quadratic Programming -- Sundance Rapid Prototyping Tool for Parallel PDE Optimization -- Color Plates | |
ISBN: | 9783642555084 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 30 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Computer mathematics , Mathematical optimization , Mathematics , Analysis , Computational Mathematics and Numerical Analysis , Optimization , Computational Science and Engineering , Partial Differential Equations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-9783642182372:ONLINE Show nearby items on shelf |
Title: | Advanced Topics in Computational Partial Differential Equations Numerical Methods and Diffpack Programming |
Author(s): | |
Date: | 2003 |
Size: | 1 online resource (663 p.) |
Note: | 10.1007/978-3-642-18237-2 |
Contents: | 1 Parallel Computing -- 1.1 Introduction to Parallel Computing -- 1.2 A Different Performance Model -- 1.3 The First MPI Encounter -- 1.4 Basic Parallel Programming with Diffpack -- 1.5 Parallelizing Explicit FD Schemes -- 1.6 |
Parallelizing FE Computations on Unstructured Grids -- References -- Overlapping Domain Decomposition Methods -- 2.1 Introduction -- 2.2 The Mathematical Formulations -- 2.3 A 1D Example -- 2.4 Some Important Issues -- 2.5 Components | |
of Overlapping DD Methods -- 2.6 A Generic Implementation Framework -- 2.7 Parallel Overlapping DD Methods -- 2.8 Two Application Examples -- References -- 3 Software Tools for Multigrid Methods -- 3.1 Introduction -- 3.2 Sketch of How | |
Multilevel Methods are Implemented in Diffpack -- 3.3 Implementing Multigrid Methods -- 3.4 Setting up an Input File -- 3.5 Playing Around with Multigrid -- 3.6 Equipping the Poisson2 Solver with Multigrid -- 3.7 Systems of Equations, | |
Linear Elasticity -- 3.8 Nonlinear Problems -- References -- 4 Mixed Finite Elements -- 4.1 Introduction -- 4.2 Model Problems -- 4.3 Mixed Formulation -- 4.4 Some Basic Concepts of a Finite Element -- 4.5 Some Code Examples -- 4.6 | |
Programming with Mixed Finite Elements in a Simulator -- References -- 5 Systems of PDEs and Block Preconditioning -- 5.1 Introduction -- 5.2 Block Preconditioners in General -- 5.3 The Bidomain Equations -- 5.4 Two Saddle Point | |
Problems -- References -- 6 Fully Implicit Methods for Systems of PDEs -- 6.1 Introduction -- 6.2 Implementation of Solvers for PDE Systems in Diffpack -- 6.3 Problem with the Gauss-Seidel Method, by Example -- 6.4 Fully Implicit | |
Implementation -- 6.5 Applications -- 6.6 Conclusion -- References -- 7 Stochastic Partial Differential Equations -- 7.1 Introduction -- 7.2 Some Simple Examples -- 7.3 Solution Methods -- 7.4 Quick Overview of Diffpack Tools -- 7.5 | |
Tools for Random Variables -- 7.6 Diffpack Tools for Random Fields -- 7.7 Summary -- 7.A Transformation of Random Variables -- 7.B Implementing a New Distribution -- References -- 8 Using Diffpack from Python Scripts -- 8.1 | |
Introduction -- 8.2 Developing Python Interfaces to C/C++ Functions -- 8.3 Compiling and Linking Wrapper Code with Diffpack -- 8.4 Converting Data between Diffpack and Python -- 8.5 Building an Interface to a More Advanced Simulator -- | |
8.6 Installing Python, SWIG etc -- 8.7 Concluding Remarks -- References -- 9 Performance Modeling of PDE Solvers -- 9.1 Introduction -- 9.2 Model Problems -- 9.3 Numerical Methods -- 9.4 Total CPU Time Consumption -- 9.5 Solution of | |
Linear Systems -- 9.6 Construction of Linear Systems -- 9.7 Concluding Remarks -- References -- 10 Electrical Activity in the Human Heart -- 10.1 The Basic Physiology -- 10.2 Outline of a Mathematical Model -- 10.3 The Bidomain Model | |
-- 10.4 A Complete Mathematical Model -- 10.5 Physiology of the Heart Muscle Tissue -- 10.6 The Numerical Method -- 10.7 Implementation -- 10.8 Optimization of the Simulator -- 10.9 Simulation Results -- 10.10 Concluding Remarks -- | |
References -- 11 Mathematical Models of Financial Derivatives -- 11.1 Introduction -- 11.2 Basic Assumptions -- 11.3 Forwards and Futures -- 11.4 The Black-Scholes Analysis -- 11.5 European Call and Put Options -- 11.6 American Options | |
-- 11.7 Exotic Options -- 11.8 Hedging -- 11.9 Remarks -- References -- 12 Numerical Methods for Financial Derivatives -- 12.1 Introduction -- 12.2 Model Summary -- 12.3 Monte-Carlo Methods -- 12.4 Lattice Methods -- 12.5 Finite | |
Difference Methods -- 12.6 Finite Element Methods -- References -- 13 Finite Element Modeling of Elastic Structures -- 13.1 Introduction -- 13.2 An Introductory Example Bar Elements -- 13.3 Another Example Beam Elements -- 13.4 General | |
Three-Dimensional Elasticity -- 13.5 Degrees of Freedom and Basis Functions -- 13.6 Material Types and Elasticity Matrices -- 13.7 Element Matrices in Local Coordinates -- 13.8 Element Load Vectors in Local Coordinates -- 13.9 Element | |
Matrices and Vectors in Global Coordinates -- 13.10 Element Forces, Stresses, and Strains -- 13.11 Implementation of Structural Elements -- 13.12 Some Example Programs -- 13.13 Test Problems -- 13.14 Summary -- References -- 14 | |
Simulation of Aluminum Extrusion -- 14.1 Introduction -- 14.2 Mathematical Formulation -- 14.3 Finite Element Implementation -- 14.4 Object-Oriented Implementation -- 14.5 Numerical Experiments -- 14.6 Concluding Remarks -- References | |
-- 15 Simulation of Sedimentary Basins -- 15.1 Introduction -- 15.2 The Geomechanical and Mathematical Problem -- 15.3 Numerical Methods -- 15.4 Implementing a Solver for a System of PDEs -- 15.5 Verification -- 15.6 A Magmatic Sill | |
Intrusion Case Study -- 15.7 Concluding Remarks -- References | |
ISBN: | 9783642182372 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Lecture Notes in Computational Science and Engineering: 33 |
Keywords: | Mathematics , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Computer mathematics , Mathematics , Analysis , Computational Science and Engineering , Partial Differential Equations |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-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 |
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 |
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 |
Call number: | SPRINGER-2002-9780306476488:ONLINE Show nearby items on shelf |
Title: | Stochastic and Global Optimization |
Author(s): | |
Date: | 2002 |
Size: | 1 online resource (237 p.) |
Note: | 10.1007/b130735 |
Contents: | Topographical Differential Evolution Using Pre-calculated Differentials -- Optimal Tax Depreciation in Stochastic Investment Model -- Global Optimisation of Chemical Process Flowsheets -- One-dimensional Global Optimization Based on |
Statistical Models -- Animated Visual Analysis of Extremal Problems -- Test Problems for Lipschitz Univariate Global Optimization with Multiextremal Constraints -- Numerical Techniques in Applied Multistage Stochastic Programming -- On | |
the Efficiency and Effectiveness of Controlled Random Search -- Discrete Backtracking Adaptive Search for Global Optimization -- Parallel Branch-and-bound Attraction Based Methods for Global Optimzation -- On Solution of Stochastic | |
Linear Programs by Discretization Methods -- The Structure of Multivariate Models and the Range of Definition -- Optimality Criteria for Investment Projects Under Uncertainty | |
ISBN: | 9780306476488 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Nonconvex Optimization and Its Applications: 59 |
Keywords: | Mathematics , Computers , System theory , Mathematical optimization , Statistics , Mathematics , Optimization , Statistics, general , Systems Theory, Control , Theory of Computation , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-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 |
Call number: | SPRINGER-2001-9783709162804:ONLINE Show nearby items on shelf |
Title: | Symbolic Algebraic Methods and Verification Methods |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (266 p.) |
Note: | 10.1007/978-3-7091-6280-4 |
Contents: | Topological Concepts for Hierarchies of Variables, Types and Controls -- Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem -- Symbolic-Numeric Algorithms for Polynomials: Some Recent Results -- |
Symbolic-Numeric QD-Algorithms with Applications in Function Theory and Linear Algebra -- On the Isoefficiency of the Parallel Descartes Method -- Matrix Methods for Solving Algebraic Systems -- A Feasibility Result for Interval | |
Gaussian Elimination Relying on Graph Structure -- Solution of Systems of Polynomial Equations by Using Bernstein Expansion -- Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming -- Translation of Taylor | |
Series into LFT Expansions -- Quasi Convex-Concave Extensions -- Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic -- Derivative-Based Sub division in Multi-dimensional Verified Gaussian Quadrature -- | |
On the Shape of the Fixed Points of [f]([x]) = [A][x] + [b] -- Exact Computation with leda_real - Theory and Geometrie Applications -- Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations -- Geometric Series | |
Bounds for the Local Errors of Taylor Methods for Linear n-th-Order ODEs -- Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems -- Fast Verification Algorithms in MATLAB -- The Linear Complementarity | |
Problem with Interval Data -- Some Numerical Methods for Nonlinear Least Squares Problems -- A New Insight of the Shortley-Weller Approximation for Diriehlet Problems -- How Orthogonality is Lost in Krylov Methods | |
ISBN: | 9783709162804 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Arithmetic and logic units, Computer , Computers , Computer science , Algebra , Algorithms , Numerical analysis , Mathematics , Numerical Analysis , Algebra , Theory of Computation , Algorithms , Symbolic and Algebraic Manipulation , Arithmetic and Logic Structures |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-9783662043318:ONLINE Show nearby items on shelf |
Title: | Online Optimization of Large Scale Systems |
Author(s): | |
Date: | 2001 |
Size: | 1 online resource (804 p.) |
Note: | 10.1007/978-3-662-04331-8 |
Contents: | I Optimal Control for Ordinary Differential Equations -- Sensitivity Analysis and Real-Time Optimization of Parametric Nonlinear Programming Problems -- Sensitivity Analysis and Real-Time Control of Parametric Optimal Control Problems |
Using Boundary Value Methods -- Sensitivity Analysis and Real-Time Control of Parametric Optimal Control Problems Using Nonlinear Programming Methods -- Sensitivity Analysis and Real-Time Control of a Container Crane under State | |
Constraints -- Real-Time Control of an Industrial Robot under Control and State Constraints -- Real-Time Optimal Control of Shape Memory Alloy Actuators in Smart Structures -- Real-Time Solutions for Perturbed Optimal Control Problems | |
by a Mixed Open- and Closed-Loop Strategy -- Real-Time Optimization of DAE Systems -- Real-Time Solutions of Bang-Bang and Singular Optimal Control Problems -- Conflict Avoidance During Landing Approach Using Parallel Feedback Control | |
-- II Optimal Control for Partial Differential Equations -- Optimal Control Problems with a First Order PDE System — Necessary and Sufficient Optimality Conditions -- Optimal Control Problems for the Nonlinear Heat Equation -- Fast | |
Optimization Methods in the Selective Cooling of Steel -- Real-Time Optimization and Stabilization of Distributed Parameter Systems with Piezoelectric Elements -- Instantaneous Control of Vibrating String Networks -- Modelling, | |
Stabilization, and Control of Flow in Networks of Open Channels -- Optimal Control of Distributed Systems with Break Points -- to Model Based Optimization of Chemical Processes on Moving Horizons -- Multiscale Concepts for Moving | |
Horizon Optimization -- Real-Time Optimization for Large Scale Processes: Nonlinear Model Predictive Control of a High Purity Distillation Column -- Towards Nonlinear Model-Based Predictive Optimal Control of Large-Scale Process Models | |
with Application to Air Separation Plants -- IV Delay Differential Equations in Medical Decision Support Systems -- Differential Equations with State-Dependent Delays -- Biomathematical Models with State-Dependent Delays for | |
Granulocytopoiesis -- Stochastic Optimization for Operating Chemical Processes under Uncertainty -- A Multistage Stochastic Programming Approach in Real-Time Process Control -- Optimal Control of a Continuous Distillation Process under | |
Probabilistic Constraints -- Adaptive Optimal Stochastic Trajectory Planning -- Stochastic Optimization Methods in Robust Adaptive Control of Robots -- Multistage Stochastic Integer Programs: An Introduction -- Decomposition Methods | |
for Two-Stage Stochastic Integer Programs -- Modeling of Uncertainty for the Real-Time Management of Power Systems -- Online Scheduling of Multiproduct Batch Plants under Uncertainty -- VIII Combinatorial Online Planning in | |
Transportation -- Combinatorial Online Optimization in Real Time -- Online Optimization of Complex Transportation Systems -- Stowage and Transport Optimization in Ship Planning -- IX Real-Time Annealing in Image Segmentation -- Basic | |
Principles of Annealing for Large Scale Non-Linear Optimization -- Multiscale Annealing and Robustness: Fast Heuristics for Large Scale Non-linear Optimization -- Author Index | |
ISBN: | 9783662043318 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Operations research , Decision making , Computer science , Calculus of variations , Applied mathematics , Engineering mathematics , Mathematics , Calculus of Variations and Optimal Control Optimization , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering , Operation Research/Decision Theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-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 |
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 |
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 |
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