Fermilab Fermilab Core Computing Division

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

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD MATH APPLICATIONS IN COMPUTER SCIENCE *END*INIT* use /tmp/qspiwww.webspi1/10010.15 QRY 131.225.70.96 . find keyword math applications in computer science ( in books using www Cover
Image
Call number:9783319510347:ONLINE Show nearby items on shelf
Title:Network Games, Control, and Optimization Proceedings of NETGCOOP 2016, Avignon, France
Author(s):
Date:2017
Size:1 online resource (XIV, 234 p. 49 illus., 38 illus. in color p.)
Contents:Altman, E., Jain, A., Hayel, Y., Finite Improvement Property in a Stochastic Game Arising in Competition over Popularity in Social Networks -- Altman, E., Jain, A., Shimkin, N., Touati, C., Overview on Dynamic Games for Analyzing
Competition in the Internet and in Online Social Networks -- Altman, E., Touati, C., Load Balancing Congestion Games and their Asymptotic Behavior -- Bachmann, I., Morales, F., Silva, A., Bustos-Jimenez, J., Go-Index: Applying Supply
Networks Principles as Internet Robustness Metrics -- Belhadj Amor, S., Perlaza, S., Decentralized K-User Gaussian Multiple Access Channels -- Berri, S., Varma, V., Lasaulce, S., Radjef, M., Correlated Equilibria in Wireless Power
Control Games -- Chorppath, A., Zappone, A., Jorswieck, E., Alpcan, T., An Energy-Efficiency Game in Relay-Assisted D2D Networks with Malicious Devices -- Courcoubetis, C., Dimakis, A., Kanakakis, M., Minimally Intrusive Server
Policies for Background Data Transfers -- De Pellegrini, F., Massaro, A., Goratti, L., Rachid, E., Bounded Generalized Kelly Mechanism for Multi-Tenant Caching in Mobile Edge Clouds -- Douros, V., Toumpis, S., Polyzos, G., Power
Control and Bargaining for Cellular Operator Revenue Increase under Licensed Spectrum Sharing -- Grammatico, S., An Incentive Mechanism for Agents Playing Competitive Aggregative Games -- Hamidouche, K., Saad, W., Debbah, M.,
Multi-Games for LTE and WiFi Coexistence over Unlicensed Channels -- Hasan, C., Marina, M., Energy-Efficient User Association in Broadcast Transmission -- Ju, M., Zhou, F., Xiao, S., Torres-Moreno, J., Spectrum Shared p-Cycle Design in
Elastic Optical Networks with/without Spectrum Conversion Capabilities -- Chaitanya, A., Mukherji, U., Sharma, V., Learning Equilibria of a Stochastic Game on Gaussian Interference Channels with Incomplete Information -- Legenvre, F.,
Altman, E., Hayal, Y., Potential Game Approach to Virus Attack in Network General Topology -- Marcastel, A., Belmega, E., Mertikopoulos, P., Fijalkow, I., Interfernce Mitigation via Pricing in Time-Varying Cognitive Radio Systems --
Silva, A., Opinion Manipulation in Social Networks -- Taynitskiy, V., Gubar, E., Zhu, Q., Optimal Security Policy for Protection against Heterogeneous Malware -- Wu, H., Zhou, F., Zhu, Z., Chen, Y., An Experimental Comparison of
Routing and Spectrum Assignment Algorithms in Elastic Optical Networks -- Zhang, C., Varma, V., Lasaulce, S., Robust Power Modulation for Channel State Information Exchange
ISBN:9783319510347
Series:eBooks
Series:Springer eBooks
Series:Springer 2017 package
Keywords: Mathematics , Computer science , Game theory , System theory , Computer mathematics , Applied mathematics , Engineering mathematics , Mathematics , Game Theory, Economics, Social and Behav. Sciences , Systems Theory, Control , Mathematical Applications in Computer Science , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:9783319460031:ONLINE Show nearby items on shelf
Title:Lectures on Matrix Field Theory
Author(s): Badis Ydri
Date:2017
Size:1 online resource (XII, 352 p. 8 illus., 6 illus. in color p.)
Contents:Preface -- Introductory Remarks -- The Non-Commutative Moyal-Weyl Spaces Rd -- The Fuzzy Sphere -- Quantum Non-Commutative Phi-Four -- The Multitrace Approach -- Non-Commutative Gauge Theory -- Appendix A - The Landau States --
Appendix B - The Traces TrtAtB and TrtAtBtCtD -- Index
ISBN:9783319460031
Series:eBooks
Series:Springer eBooks
Series:Springer 2017 package
Keywords: Physics , Computer science , Algebraic geometry , Mathematical physics , Quantum field theory , String theory , Quantum physics , Physics , Quantum Field Theories, String Theory , Mathematical Physics , Math Applications in Computer Science , Algebraic Geometry , Quantum Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9781461457466:ONLINE Show nearby items on shelf
Title:A Course on Mathematical Logic [electronic resource]
Author(s): Shashi Mohan Srivastava
Date:2013
Edition:2nd ed. 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:This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted withlogic and would like to learn Gdels incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related tofoundations and computability, such as logic, axiomati c set theory, model theory, recursion theory, and computability. In this new edition, many small and large changes have been made throughout the text. The main purpose of this newedition is toprovide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types tomodel theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new editionalso introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, hom ogeneous structures, definability, and many more. Review from the first edition: All results includedin the book are very carefully selected and proved. The authors manner of writing is excellent, which will surely make this book useful to many categories of readers. --Marius Tarnauceanu, Zentralblatt MATH
Note:Springer eBooks
Contents:Preface
1 Syntax of First
Order Logic
2 Semantics of First
Order Languages
3 Propositional Logic
4 Completeness Theorem for First
Order Logic
5 Model Theory
6 Recursive Functions and Arithmetization of Theories
7 Incompleteness Theorems and Recursion Theory
References
Index
ISBN:9781461457466
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext, 0172-5939
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Algebra , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9781441979100:ONLINE Show nearby items on shelf
Title:A Course in Topological Combinatorics [electronic resource]
Author(s): Mark Longueville
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:A Course in Topological Combinatorics is the first undergraduate textbook on the field of topological combinatorics, a subject that has become an active and innovative research area in mathematics over the last thirty years withgrowing applications i n math, computer science, and other applied areas. Topological combinatorics is concerned with solutions to combinatorial problems by applying topological tools. In most cases these solutions are very elegant andthe connection between combinatorics and to pology often arises as an unexpected surprise. The textbook covers topics such as fair division, graph coloring problems, evasiveness of graph properties, and embedding problems from discretegeometry. The text contains a large number of figures that suppo rt the understanding of concepts and proofs. In many cases several alternative proofs for the same result are given, and each chapter ends with a series of exercises. Theextensive appendix makes the book completely self-contained. The textbook is well sui ted for advanced undergraduate or beginning graduate mathematics students. Previous knowledge in topology or graph theory is helpful but notnecessary. The text may be used as a basis for a one- or two-semester course as well as a supplementary text for a topology or combinatorics class
Note:Springer eBooks
Contents:Preface
List of Symbols and Typical Notation
1 Fair
Division Problems
2 Graph
Coloring Problems
3 Evasiveness of Graph Properties
4 Embedding and Mapping Problems
A Basic Concepts from Graph Theory
B Crash Course in Topology
C Partially Ordered Sets, Order Complexes, and Their Topology
D Groups and Group Actions
E Some Results and Applications from Smith Theory
References
Index
ISBN:9781441979100
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext, 0172-5939
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Combinatorics , Discrete groups
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642251009:ONLINE Show nearby items on shelf
Title:Progress in Industrial Mathematics at ECMI 2010 [electronic resource]
Author(s): Michael Gnther
Andreas Bartel
Markus Brunk
Sebastian Schps
Michael Striebel
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:ECMI, the European Consortium for Mathematics in Industry, is the European brand associated with applied mathematics for industry and organizes highly successful biannual conferences. In this series, the ECMI 2010, the 16thEuropean Conference on Math ematics for Industry, was held in the historic city hall of Wuppertal in Germany. It covered the mathematics of a wide range of applications and methods, from circuit and electromagnetic device simulation tomodel order reduction for chip design, uncertain ties and stochastics, production, fluids, life and environmental sciences, and dedicated and versatile methods. These proceedings of ECMI 2010 emphasize mathematics as an innovationenabler for industry and business, and as an absolutely essential pre-requ iste for Europe on its way to becoming the leading knowledge-based economy in the world
Note:Springer eBooks
Contents:Part I Circuit and Electromagnetic Device Simulation
Part II Model Order Reduction for Chip Design
Part III Uncertainties and Stochastics
Part IV Production
Part VI Life and Environmental Sciences
Part VII Dedicated and Versatile Methods
Index
ISBN:9783642251009
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics in Industry, 1612-3956 : v17
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Differential Equations , Differential equations, partial , Finance , Computer science Mathematics , Mathematical optimization
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9780817682866:ONLINE Show nearby items on shelf
Title:A Beginner's Guide to Discrete Mathematics [electronic resource]
Author(s): W.D Wallis
Date:2012
Edition:Second Edition
Publisher:Boston : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain specific topics but also tointroduce students to imp ortant modes of thought specific to each discipline . . . Lower-division undergraduates through graduate students. Choice (Review of the First Edition) Very appropriately entitled as a 'beginner's guide',this textbook presents itself as the first exposure to discrete mathematics and rigorous proof for the mathematics or computer science student. Zentralblatt MATH (Review of the First Edition) This second edition of A BeginnersGuide to Discrete Mathematicspresents a detailedguide to discrete mathematicsand its relationship to other mathematical subjects includingset theory, probability, cryptography, graph theory, and number theory.Thistextbookhas a distinctly applied orientation and explores a variety of applications. Key features of the second edition: * Includesa new chapter on the theory of voting as well asnumerous new examples and exercises throughout thebook * Introduces functions, vectors, matrices, number systems, scientific notations, and the representation of numbers in computers * Provides exam ples, which then lead into easy practice problems throughout the text, and fullexercises at the end of each chapter *Full solutions for practice problems are provided at the end of the book This text is intended for undergraduates in mathematics and compu ter science, however, featured special topics andapplications may also interest graduate students
Note:Springer eBooks
Contents:Properties of Numbers
Sets and Data Structures
Boolean Algebras and Circuits
Relations and Functions
The Theory of Counting
Probability
Graph Theory
Matrices
Number Theory and Cryptography
The Theory of Voting
Solutions to Practic Exercises
Answers to Selected Exercises
Index
ISBN:9780817682866
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computational complexity , Combinatorics , Logic, Symbolic and mathematical , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9781441911636:ONLINE Show nearby items on shelf
Title:Differential Equations: Theory and Applications [electronic resource]
Author(s): David Betounes
Date:2010
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book provides a comprehensive introduction to the theory of ordinary differential equations at the graduate level and includes applications to Newtonian and Hamiltonian mechanics. It not only has a large number of examplesand computer graphics, b ut also has a complete collection of proofs for the major theorems, ranging from the usual existence and uniqueness results to the Hartman-Grobman linearization theorem and the Jordan canonical form theorem. Thebook can be used almost exclusively in the t raditional way for graduate math courses, or it can be used in an applied way for interdisciplinary courses involving physics, engineering, and other science majors. For this reason anextensive computer component using Maple is provided on Springers websi te. This new edition has been extensively revised throughout, particularly the chapters on linear systems, stability theory and Hamiltonian systems. The computercomponent is an in-depth supplement and complement to the material in the text and contains an introduction to discrete dynamical systems and iterated maps, special-purpose Maple code for animating phase portraits, stair diagrams,N-body motions, and rigid-body motions, and numerous tutorial Maple worksheets pertaining to all aspects of using Maple to study the topics in the text. Review from first edition: This book is intended for first- and second- yeargraduate students in mathematics and also organized to be used for interdisciplinary courses in applied mathematics, physics, and engineering. .. . The book is well written and provides many interesting examples. The author gives acomprehensive introduction to the theory on ordinary differential equations with a focus on mechanics and dynamical systems. The exposition is clear and easily understood .... (Yuan Rong, Zentralblatt MATH, Vol. 993 (18), 2002)
Note:Springer eBooks
Contents:Introduction
Techniques, Concepts and Examples
Existence and Uniqueness: The Flow Map
Linear Systems
Linearization and Transformation
Stability Theory
Integrable Systems
Newtonian Mechanics
Hamiltonian Systems
Appendix A: Elementary Analysis
Appendix B: Lipschitz Maps and Linearization
Appendix C: Linear Algebra
Appendix D: Electronic Contents
ISBN:9781441911636
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Differentiable dynamical systems , Differential Equations , Numerical analysis , Mathematical physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9780387754772:ONLINE Show nearby items on shelf
Title:Mathematica in Action [electronic resource] : Problem Solving Through Visualization and Computation
Author(s): Stan Wagon
Date:2010
Edition:3
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:In this third edition of Mathematica in Action, award-winning author Stan Wagon guides beginner and veteran users alike through Mathematica's powerful tools for mathematical exploration. The transition to Mathematica 7 is madesmooth with plenty of ex amples and case studies that utilize Mathematica's newest tools, such as dynamic manipulations and adaptive three-dimensional plotting. Mathematica in Action also emphasizes the breadth of Mathematica and theimpressive results of combining techniques from different areas. This material enables the reader to use Mathematica to solve a variety of complex problems. Case studies ranging from elementary to sophisticated are provided throughout.Whenever possible, the book shows how Mathematica can be used to di scover new things. Striking examples include the design of a road on which a square wheel bike can ride, the design of a drill that can drill square holes, anillustration of the BanachTarski Paradox via hyperbolic geometry, new and surprising formulas for p, the discovery of shadow orbits for chaotic systems, and the use of powerful new capabilities for three-dimensional graphics.Visualization is emphasized throughout, with finely crafted graphics in each chapter. Wagon is the author of eleven books on ma thematics, including A Course in Computational Number Theory, named one of the ten best math books of 2000by the American Library Association. He has written extensively on the educational applications of Mathematica, including the books VisualDSolve: Vis ualizing Differential Equations with Mathematica, and Animating Calculus: MathematicaNotebooks for the Laboratory. From reviews of the second edition: In a dazzling range of examples Stan Wagon shows how such features as animation, 3-dimensional graphics and high-precision integer arithmetic can contribute to ourunderstanding and enjoyment of mathematics. Richard Walker, The Mathematical Gazette The bottom line is that Mathematica in Action i
Note:Springer eBooks
Contents:Preface
A Brief Introduction
Plotting
Prime Numbers
Rolling Wheels
Surfaces
Dynamic Manipulation
The Cantor Set, Real and Complex
The Quadratic Map
The Recursive Turtle
Parametric Plotting of Surfaces
Penrose Tiles
Complex Dynamics (by Mark McClure)
Solving Equations
Optimization
Differential Equations
Computational Geometry
Check Digits and the Pentagon
Coloring Planar Maps
New Directions for pi. The Banach
Tarski Paradox
The Riemman Zeta Function
Miscellany
References
Index
ISBN:9780387754772
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Visualization , Computer software
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9780817646127:ONLINE Show nearby items on shelf
Title:Mathematical Analysis [electronic resource] : An Introduction to Functions of Several Variables
Author(s): Mariano Giaquinta
Giuseppe Modica
Date:2009
Publisher:Boston, MA : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This text introduces basic ideas, structures, and results of differential and integral calculus for functions of several variables. The presentation is engaging and motivates the reader with numerous examples, remarks,illustrations, and exercises. Ma thematical Analysis: An Introduction to Functions of Several Variables may be used in the classroom setting for advanced undergraduate and graduate students or as a self-study. It is also a valuablereference for researchers in most mathematical discipline s. An appendix highlights mathematicians and scientists who have made important contributions in the development of theories in the subject. Other books recently published by theauthors include: Mathematical Analysis: Functions of One Variable, Mathematic al Analysis: Approximation and Discrete Processes, and Mathematical Analysis: Linear and Metric Structures and Continuity, all of which provide the readerwith a strong foundation in modern-day analysis. Reviews of previous volumes in Mathematical Analysis : The presentation of the theory is clearly arranged, all theorems have rigorous proofs, and every chapter closes with a summing up ofthe results and exercises with different requirements. . . . This book is excellently suitable for students in mathematic s, physics, engineering, computer science and all students of technological and scientific faculties. Journalof Analysis and its Applications The exposition requires only a sound knowledge of calculus and the functions of one variable. A key feature this lively yet rigorous and systematic treatment is the historical accounts of ideas andmethods of the subject. Ideas in mathematics develop in cultural, historical and economical contexts, thus the authors made brief accounts of those aspects and used a larg e number of beautiful illustrations. Zentralblatt MATH
Note:Springer eBooks
ISBN:9780817646127
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Global analysis (Mathematics) , Differential Equations , Differential equations, partial
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9780817647636:ONLINE Show nearby items on shelf
Title:Logic for Computer Scientists [electronic resource]
Author(s): Uwe Schning
Date:2008
Publisher:Boston, MA : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computerscience research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advancedundergraduate course in logic for compute r scientists. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists. Schning decides to concentrate on computationalissues, and gives us a short book (less than 170 pages) with a tig ht storyline. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow. This book seemssuitable for a short course, a seminar series, or part of a larger course on Prolog and logic p rogramming, probably at the advanced undergraduate level. SIGACT News Contains examples and 126 interesting exercises which put thestudent in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming. Mathematical Reviews This book concentrates on those aspects ofmathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises andillustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introduct ory course in artificial intelligence. Zentralblatt MATH
Note:Springer eBooks
Contents:Introduction
Propositional Logic
Predicate Logic
Logic Programming
Bibliography
Table of Notations
Index
ISBN:9780817647636
Series:e-books
Series:SpringerLink (Online service)
Series:Progress in Computer Science and Applied Logic (PCS) : v8
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9780387489476:ONLINE Show nearby items on shelf
Title:Applied Linear Algebra and Matrix Analysis [electronic resource]
Author(s): Thomas S Shores
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:This new book offers a fresh approach to matrix and linear algebra by providing a balanced blend of applications, theory, and computation, while highlighting their interdependence. Intended for a one-semester course, AppliedLinear Algebra and Matrix Analysis places special emphasis on linear algebra as an experimental science, with numerous examples, computer exercises, and projects. While the flavor is heavily computational and experimental, the text isindependent of specific hardware or software pl atforms. Throughout the book, significant motivating examples are woven into the text, and each section ends with a set of exercises. The student will develop a solid foundation in thefollowing topics *Gaussian elimination and other operations with matric es *basic properties of matrix and determinant algebra *standard Euclidean spaces, both real and complex *geometrical aspects of vectors, such as norm, dot product,and angle *eigenvalues, eigenvectors, and discrete dynamical systems *general norm and inne r-product concepts for abstract vector spaces For many students, the tools of matrix and linear algebra will be as fundamental in theirprofessional work as the tools of calculus thus it is important to ensure that students appreciate the utility and beaut y of these subjects as well as the mechanics. By including applied mathematics and mathematical modeling, this newtextbook will teach students how concepts of matrix and linear algebra make concrete problems workable. Thomas S. Shores is Professor of Math ematics at the University of Nebraska, Lincoln, where he has received awards for his teaching.His research touches on group theory, commutative algebra, mathematical modeling, numerical analysis, and inverse theory
Note:Springer eBooks
Contents:Preface
Linear Systems of Equations
Matrix Algebra
Vector Spaces
Geometrical Aspects of Standard Spaces
The Eigenvalue Problem
Geometrical Aspects of Abstract Spaces
Table of Symbols
Answers to Selected Exercises
References
Index
ISBN:9780387489476
Series:e-books
Series:SpringerLink (Online service)
Series:Undergraduate Texts in Mathematics, 0172-6056
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Matrix theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9780387319094:ONLINE Show nearby items on shelf
Title:Evolutionary Computation for Modeling and Optimization [electronic resource]
Author(s): Daniel Ashlock
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:Evolutionary Computation for Optimization and Modeling is an introduction to evolutionary computation, a field which includes genetic algorithms, evolutionary programming, evolution strategies, and genetic programming. The text isa survey of some app lication of evolutionary algorithms. It introduces mutation, crossover, design issues of selection and replacement methods, the issue of populations size, and the question of design of the fitness function. It alsoincludes a methodological material on eff icient implementation. Some of the other topics in this book include the design of simple evolutionary algorithms, applications to several types of optimization, evolutionary robotics, simpleevolutionary neural computation, and several types of automatic programming including genetic programming. The book gives applications to biology and bioinformatics and introduces a number of tools that can be used in biologicalmodeling, including evolutionary game theory. Advanced techniques such as cellular encoding , grammar based encoding, and graph based evolutionary algorithms are also covered. This book presents a large number of homework problems,projects, and experiments, with a goal of illustrating single aspects of evolutionary computation and comparing diff erent methods. Its readership is intended for an undergraduate or first-year graduate course in evolutionarycomputation for computer science, engineering, or other computational science students. Engineering, computer science, and applied math students wi ll find this book a useful guide to using evolutionary algorithms as a problem solvingtool
Note:Springer eBooks
Contents:An Overview of Evolutionary Computation
Designing Simple Evolutionary Algorithms
Optimizing Real
Valued Functions
Sunburn: Coevolving Strings
Small Neural Nets : Symbots
Evolving Finite State Automata
Ordered Structures
Plus
One
Recall
Store
Fitting to Data
Tartarus: Discrete Robotics
Evolving Logic Functions
ISAc List: Alternative Genetic Programming
Graph
Based Evolutionary Algorithms
Cellular Encoding
Application to Bioinformatics
ISBN:9780387319094
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Artificial intelligence , Bioinformatics , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2005-9780387281452:ONLINE Show nearby items on shelf
Title:Quantum Dynamics with Trajectories [electronic resource] : Introduction to Quantum Hydrodynamics
Author(s): Robert E Wyatt
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:Remarkable progress has recently been made in the application of quantumtrajectories as the computational tool for solving quantum mechanical problems. This is the first book to present these developments in the broader contextof the hydrodynamical f ormulation of quantum dynamics. In addition to a thorough discussion of the quantum trajectory equations of motion, there is considerable material that deals with phase space dynamics, adaptive moving grids,electronic energy transfer, and trajectories for stationary states. On the pedagogical side, a number of sections of this book will be accessible to students who have had an introductory quantum mechanics course. There is alsoconsiderable material for advanced researchers, and chapters in the book cove r both methodology and applications. The book will be useful to students and researchers in physics, chemistry, applied math, and computational dynamics.This excellent book covers a wide range of topics associated with Quantum Hydrodynamics. It's an excel lent survey of the history, current state-of-the-field, and future research directions. Brian Kendrick,Theoretical Division, LosAlamos National Laboratory, Los Alamos,NM, USA The book is unique in that it addresses with equal expertise, computational meth odology and theoretical connections at the interface between de Broglie-Bohm theory and phase space momentmethods.A highly didactic text, to be recommended to graduate students and researchers in physics and chemistry. Irene Burghardt,Departement de chimi e, Ecole Normale Superieure, Paris, France Wyatt shows how one can use the ideas drawnfrom Bohm's interpretation to develop new and efficient computational methods for both time dependent and time independent quantum mechanics.This is THE definitive text on practical Bohmian mechanics. Eric Bittner,Department ofChemistry, University of Houston, Tx, USA
Note:Springer eBooks
Contents:Trajectory approaches to quantum mechanics
The Bohm hydrodynamic equations
The phase space route to the hydrodynamic equations
Quantum trajectories
Fitting methods for computation of spatial derivatives
Applications to wavepacket tunneling and decoherence
Application to electronic transitions
The initial value representation and correlation functions
Mixed quantum
classical dynamics
Moving adaptive grids
Trajectory approach to the density matrix
Derivative propagation along quantum trajectories
Quantum dynamics in phase space
Non
Bohmain trajectory approach
ISBN:9780387281452
Series:e-books
Series:SpringerLink (Online service)
Series:Interdisciplinary Applied Mathematics, 0939-6047 : v28
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Chemistry, Physical organic , Computer science Mathematics , Quantum theory , Fluids , Plasma (Ionized gases) , Hydraulic engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783709105870:ONLINE Show nearby items on shelf
Title:Geometric Modelling Dagstuhl 2002
Author(s):
Date:2004
Size:1 online resource (248 p.)
Note:10.1007/978-3-7091-0587-0
Contents:An Algorithm for Parametric Quadric Patch Construction -- Planar Development of Free-Form Surfaces: Quality Evaluation and Visual Inspection -- Biorthogonal Loop-Subdivision Wavelets -- Fairness Criteria for Algebraic Curves -- Spline
Curve Approximation and Design by Optimal Control Over the Knots -- A Parametric Quartic Spline Interpolant to Position, Tangent and Curvature -- Surface Compression Using a Space of C1 Cubic Splines with a Hierarchical Basis --
Evolutions of Polygons in the Study of Subdivision Surfaces -- The Bézier Tangential Surface System: a Robust Dual Representation of Tangent Space -- Bounding the Distance between 2D Parametric Bézier Curves and their Control Polygon
-- Wavelet-Based Multiresolution with % MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfKttLearuavP1wzZbItLDhis9wBH5garm % Wu51MyVXgaruWqVvNCPvMCaebbnrfifHhDYfgasaacH8srps0lbbf9 % q8WrFfeuY-Hhbbf9v8qqaqFr0xc9pk0xbba9q8WqFfea0-yr0RYxir %
-Jbba9q8aq0-yq-He9q8qqQ8frFve9Fve9Ff0dmeaabaqaciGacaGa % aeqabaWaaeaaeaaakeaadaGcbaqaaiabikdaYaWcbaGaemOBa4gaaa % aa!31E1! $$ \sqrt[n]{2} $$ Subdivision -- Quasi-Interpolants with Tension Properties from and in CAGD -- Length
Preserving Multiresolution Editing of Curves -- The Convex Hull of Freeform Surfaces -- Robust Spherical Parameterization of Triangular Meshes -- Spine Based Shape Parameterisation for PDE Surfaces -- Direct Segmentation of Algebraic
Models for Reverse Engineering -- Two Triangulation Methods Based on Edge Refinement -- Efficient Collision Detection for Moving Ellipsoids Using Separating Planes
ISBN:9783709105870
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Numerical analysis , Computer science , Computer graphics , Computer-aided engineering , Algorithms , Geometry , Mathematics , Geometry , Math Applications in Computer Science , Numeric Computing , Computer Graphics , Computer-Aided Engineering (CAD, CAE) and Design , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783642187568:ONLINE Show nearby items on shelf
Title:Multiscale Modelling and Simulation
Author(s):
Date:2004
Size:1 online resource (141 p.)
Note:10.1007/978-3-642-18756-8
Contents:I Mathematical Methods -- Some Recent Progress in Multiscale Modeling -- Homogenization Method for Transport of DNA Particles in Heterogeneous Arrays -- Metastability, conformation dynamics, and transition pathways in complex systems
-- Nonlinear Dynamics Analysis through Molecular Dynamics Simulations -- Exploration of coarse free energy surfaces templated on continuum numerical methods -- Damping factors for the gap-tooth scheme -- II Materials Science --
Multiscale Aspects of Polymer Simulations -- Polymers near a Surface: An ab initio Density Functional based Multiscale Modeling Approach -- Dual Resolution Molecular Simulation of Bisphenol-A Polycarbonate Adsorption onto Nickel (111):
Chain Length Effects -- Stress and energy flow field near a rapidly propagating mode I crack -- A Peierls Criterion for Deformation Twinning at a Mode II Crack -- III Physics/Chemistry/Fluid Dynamics/Biology -- Simulation of Transport
in Partially Miscible Binary Fluids: Combination of Semigrandcanonical Monte Carlo and Molecular Dynamics Methods -- Computer simulations of SiO2 and GeO2 -- Large Scale Density Functional Calculations -- Dispersion corrected density
functionals applied to the water naphthalene cluster -- Flow of Aqueous Solutions in Carbon Nanotubes -- Continuum-particle hybrid methods for dense fluids -- Dissipative Particle Dynamics for Modeling Complex Fluidics -- Population
balance modeling of synthesis of nanoparticles in aerosol flame reactors -- Modelling gene expression using stochastic simulation -- Color Plates
ISBN:9783642187568
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 39
Keywords: Mathematics , Chemometrics , Computer mathematics , Mathematical models , Applied mathematics , Engineering mathematics , Mathematics , Mathematical Modeling and Industrial Mathematics , Computational Mathematics and Numerical Analysis , Appl.Mathematics/Computational Methods of Engineering , Math. Applications in Chemistry
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781475743555:ONLINE Show nearby items on shelf
Title:Theory and Practice of Finite Elements
Author(s): Alexandre Ern
Date:2004
Size:1 online resource (526 p.)
Note:10.1007/978-1-4757-4355-5
Contents:I Theoretical Foundations -- 1 Finite Element Interpolation -- 2 Approximation in Banach Spaces by Galerkin Methods -- II Approximation of PDEs -- 3 Coercive Problems -- 4 Mixed Problems -- 5 First-Order PDEs -- 6 Time-Dependent
Problems -- III Implementation -- 7 Data Structuring and Mesh Generation -- 8 Quadratures, Assembling, and Storage -- 9 Linear Algebra -- 10 A Posteriori Error Estimates and Adaptive Meshes -- IV Appendices -- A Banach and Hilbert
Spaces -- A.1 Basic Definitions and Results -- A.2 Bijective Banach Operators -- B Functional Analysis -- B.1 Lebesgue and Lipschitz Spaces -- B.2 Distributions -- B.3 Sobolev Spaces -- Nomenclature -- References -- Author Index
ISBN:9781475743555
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Mathematical Sciences: 159
Keywords: Mathematics , Computer science , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematics , Analysis , Applications of Mathematics , Math Applications in Computer Science , Partial Differential Equations , Computational Mathematics and Numerical Analysis , Appl.Mathematics/Computational Methods of Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781402027765:ONLINE Show nearby items on shelf
Title:Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference “Foundations of the Formal Sciences III”
Author(s):
Date:2004
Size:1 online resource (260 p.)
Note:10.1007/978-1-4020-2776-5
Contents:Complexity hierarchies derived from reduction functions -- Quantum query algorithms and lower bounds -- Algebras of minimal rank: overview and recent developments -- Recent developments in iterated forcing theory -- Classification
problems in algebra and topology -- Using easy optimization problems to solve hard ones -- On Sacks forcing and the Sacks property -- Supertask computation -- A refinement of Jensen's constructible hierarchy -- Effective Hausdorff
dimension -- Axiomatizability of algebras of binary relations -- Forcing axioms and projective sets of reals -- Post's and other problems of supertasks of higher type
ISBN:9781402027765
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic : 23
Keywords: Computer science , Computers , Computer science , Algorithms , Mathematical logic , Computer Science , Computer Science, general , Theory of Computation , Mathematical Logic and Foundations , Math Applications in Computer Science , Mathematics of Computing , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9780817681944:ONLINE Show nearby items on shelf
Title:Linear Algebra
Author(s): Jin Ho Kwak
Date:2004
Edition:Second Edition
Size:1 online resource (390 p.)
Note:10.1007/978-0-8176-8194-4
Contents:1 Linear Equations and Matrices -- 1.1 Systems of linear equations -- 1.2 Gaussian elimination -- 1.3 Sums and scalar multiplications of matrices -- 1.4 Products of matrices -- 1.5 Block matrices -- 1.6 Inverse matrices -- 1.7
Elementary matrices and finding A?1 -- 1.8 LDU factorization -- 1.9 Applications -- 1.10 Exercises -- 2 Determinants -- 2.1 Basic properties of the determinant -- 2.2 Existence and uniqueness of the determinant -- 2.3 Cofactor
expansion -- 2.4 Cramer’s rule -- 2.5 Applications -- 2.6 Exercises -- 3 Vector Spaces -- 3.1 The n-space ?n and vector spaces -- 3.2 Subspaces -- 3.3 Bases -- 3.4 Dimensions -- 3.5 Row and column spaces -- 3.6 Rank and nullity -- 3.7
Bases for subspaces -- 3.8 Invertibility -- 3.9 Applications -- 3.10 Exercises> -- 4 Linear Transformations -- 4.1 Basic propertiesof linear transformations -- 4.2 Invertiblelinear transformations -- 4.3 Matrices of linear
transformations -- 4.4 Vector spaces of linear transformations -- 4.5 Change of bases -- 4.6 Similarity -- 4.7. Applications -- 4.8 Exercises -- 5 Inner Product Spaces -- 5.1 Dot products and inner products -- 5.2 The lengths and
angles of vectors -- 5.3 Matrix representations of inner products -- 5.4 Gram-Schmidt orthogonalization -- 5.5 Projections -- 5.6 Orthogonal projections -- 5.7 Relations of fundamental subspaces -- 5.8 Orthogonal matrices and
isometries -- 5.9 Applications -- 5.10 Exercises -- 6 Diagonalization -- 6.1 Eigenvalues and eigenvectors -- 6.2 Diagonalization of matrices -- 6.3 Applications -- 6.4 Exponential matrices -- 6.5 Applications continued -- 6.6
Diagonalization of linear transformations -- 6.7 Exercises -- 7 Complex Vector Spaces -- 7.1 The n-space ?n and complex vector spaces -- 7.2 Hermitian and unitary matrices -- 7.3 Unitarily diagonalizable matrices -- 7.4 Normal matrices
-- 7.5 Application -- 7.6 Exercises -- 8 Jordan Canonical Forms -- 8.1 Basic properties of Jordan canonical forms -- 8.2 Generalized eigenvectors -- 8.3 The power Ak and the exponential eA -- 8.4 Cayley-Hamilton theorem -- 8.5 The
minimal polynomial of a matrix> -- 8.6 Applications -- 8.7 Exercises -- 9 Quadratic Forms -- 9.1 Basic properties of quadratic forms -- 9.2 Diagonalization of quadratic forms -- 9.3 A classification of level surfaces -- 9.4
Characterizations of definite forms -- 9.5 Congruence relation -- 9.6 Bilinear and Hermitian forms -- 9.7 Diagonalization of bilinear or Hermitian forms -- 9.8 Applications -- 9.9 Exercises -- Selected Answers and Hints
ISBN:9780817681944
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algebra , Matrix theory , Applied mathematics , Engineering mathematics , Economic theory , Mathematics , Algebra , Linear and Multilinear Algebras, Matrix Theory , Mathematics of Computing , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering , Economic Theory/Quantitative Economics/Mathematical Methods
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783642557538:ONLINE Show nearby items on shelf
Title:Mathematics — Key Technology for the Future Joint Projects between Universities and Industry
Author(s):
Date:2003
Size:1 online resource (732 p.)
Note:10.1007/978-3-642-55753-8
Contents:I. Motors, Vehicles -- Synthesis of Automotive Cams Using Multiple Shooting-SQP Methods for Constrained Optimization -- Numerical Optimization of Scavenging in Two-Stroke Engines with Transfer Ducts, an Exhaust Port and a Moving
Piston -- A Numerical Tool for Flow Simulation in a Wankel Motor -- An Efficient Navier-Stokes Solver for Automotive Aerodynamics -- Numerical Simulation of Exhaust Systems in Car Industry — Efficient Calculation of Radiation Heat
Transfer -- Combinatorial Optimization Techniques for Three-Dimensional Arrangement Problems -- Simulation of Test-drives of Automobiles at Driving Limit -- An Optimal Control Approach To Real-Time Vehicle Guidance -- Theoretical and
Experimental Studies of an S-Catamaran -- II. Environmental Technology -- Robust Error Estimators for Interface Problems Occuring in Transport Processes in Porous Media -- Modelling and Simulation of a Planned Bio-Chemical in situ
Remediation -- Influence of Surfactants on Spreading of Contaminants and Soil Remediation -- Improvement of Environment Observing Remote Sensing Devices by Regularization Techniques -- III. Flow, Transport and Reactions in
Technological Processes -- Stability Analysis for Reactors from Chemical Industry -- Heterogeneous Dynamic Process Flowsheet Simulation of Chemical Plants -- Numerical Simulation of Annular Chromatography -- Numerical Methods for
Parameter Estimation in Bingham-Fluids -- A Viscoelastic Turbulence Model Based on Renormalization Group Theory -- Modelling and Simulation of Capacitor Impulse Welding -- Analysis of Transport Processes for Layered Porous Materials
Used in Industrial Applications -- Modelling and Numerical Simulation of District Heating Networks with Time-Saving Solution Methods -- Sensitivity and Robustness Analysis for Construction and Monitoring of Tubine-Generator Shafts --
IV. Optics and Sensors -- Adaptive Multigrid Methods for the Vectorial Maxwell Eigenvalue Problem for Optical Waveguide Design -- Direct and Inverse Problems for Diffractive Structures — Optimization of Binary Gratings -- Computation
of Electromagnetic Fields for a Humidity Sensor -- V. Crystal Growth, Semiconductors -- Simulation of Industrial Crystal Growth by the Vertical Bridgman Method -- Numerical Simulation and Control of Industrial Crystal Growth Processes
-- Optimal Control of Sublimation Growth of SiC Crystals -- Mathematical Modelling and Numerical Simulation of Semiconductor Detectors -- Optimal Design of High Power Electronic Devices by Topology Optimization -- Modelling and
Simulation of Strained Quantum Wells in Semiconductor Lasers -- VI. Electronic Circuits -- Efficient Analysis of Oscillatory Circuits -- Modelling and Simulation of Power Devices for High-Voltage Integrated Circuits -- Finding
Beneficial DAE Structures in Circuit Simulation -- CHORAL — a Charge-Oriented Algorithm for the Numerical Integration of Electrical Circuits -- VII. Tomography, Image Analysis and Visualisation -- Reconstructing Crystalline Structures
from Few Images Under High Resolution Transmission Electron Microscopy -- Measurement of Paint Layer Thickness with Photothermal Infrared Radiometry -- Spatio-Temporal Current Density Reconstruction from EEG-/MEG-Data -- Signal
Correction in NMR Spectroscopy -- On Scattering of Ultrasonic Waves -- Smoothing of Tomographic Data and Hybrid Volume-Surface Visualisation -- Video Coding with Adaptive Vector Quantization and Rate Distortion Optimization -- VIII.
Statistical Methods in Medical Applications -- The Application of Statistical Methods of Meta-Analysis for Heterogeneity Modelling in Medicine and Pharmacy, Psychology, Quality Control and Assurance -- An Application for the Analysis
of Human Tremor Time-Series -- IX. Optimization in Design and Production -- Free Material Optimization -- Automatic Layout and Labelling of State Diagrams -- Optimization Problems in a Semi-Automatic Device for Cutting Leather --
Stochastic Programming for Power Production and Trading Under Uncertainty -- Scheduling Scarce Resources in Chemical Engineering -- X. Optimization in Traffic and Communication -- Duty Scheduling in Public Transit -- Rotation Planning
for the Continental Service of a European Airline -- Computer Aided Scheduling of Switching Engines -- Train Schedule Optimization in Public Rail Transport -- An Integrated Planning Approach for Cellular Radio Networks -- Author Index
ISBN:9783642557538
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemometrics , Computer graphics , Computer mathematics , Visualization , Statistics , Applied mathematics , Engineering mathematics , Mathematics , Computational Science and Engineering , Visualization , Appl.Mathematics/Computational Methods of Engineering , Math. Applications in Chemistry , Computer Imaging, Vision, Pattern Recognition and Graphics , Statistics for Life Sciences, Medicine, Health Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9783662047200:ONLINE Show nearby items on shelf
Title:Geometry Our Cultural Heritage
Author(s): Audun Holme
Date:2002
Size:1 online resource (378 p.)
Note:10.1007/978-3-662-04720-0
Contents:I A Cultural Heritage -- 1 Early Beginnings -- 2 The Great River Civilizations -- 3 Greek and Hellenic Geometry -- 4 Geometry in the Hellenistic Era -- 5 The Geometry of Yesterday and Today -- 6 Geometry and the Real World -- II
Introduction to Geometry -- 7 Axiomatic Geometry -- 8 Axiomatic Projective Geometry -- 9 Models for Non-Euclidian Geometry -- 10 Making Things Precise -- 11 Projective Space -- 12 Geometry in the Affine and the Projective Plane -- 13
Algebraic Curves of Higher Degrees in the Affine Plane ?2 -- 14 Higher Geometry in the Projective Plane -- 15 Sharpening the Sword of Algebra -- 16 Constructions with Straightedge and Compass -- 17 Fractal Geometry -- 18 Catastrophe
Theory -- References
ISBN:9783662047200
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Geometry , Physics , Mathematics , Geometry , Mathematics, general , Theoretical, Mathematical and Computational Physics , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9783642040160:ONLINE Show nearby items on shelf
Title:Graph Colouring and the Probabilistic Method
Author(s): Michael Molloy
Date:2002
Size:1 online resource (326 p.)
Note:10.1007/978-3-642-04016-0
Contents:1. Colouring Preliminaries -- 2. Probabilistic Preliminaries -- 3. The First Moment Method -- 4. The Lovász Local Lemma -- 5. The Chernoff Bound -- 6. Hadwiger’s Conjecture -- 7. A First Glimpse of Total Colouring -- 8. The Strong
Chromatic Number -- 9. Total Colouring Revisited -- 10. Talagrand’s Inequality and Colouring Sparse Graphs -- 11. Azuma’s Inequality and a Strengthening of Brooks’ Theorem -- 12. Graphs with Girth at Least Five -- 13. Triangle-Free
Graphs -- 14. The List Colouring Conjecture -- 15. The Structural Decomposition -- 16. ?, ? and ? -- 17. Near Optimal Total Colouring I: Sparse Graphs -- 18. Near Optimal Total Colouring II: General Graphs -- 19. Generalizations of the
Local Lemma -- 20. A Closer Look at Talagrand’s Inequality -- 21. Finding Fractional Colourings and Large Stable Sets -- 22. Hard-Core Distributions on Matchings -- 23. The Asymptotics of Edge Colouring Multigraphs -- 24. The Method of
Conditional Expectations -- 25. Algorithmic Aspects of the Local Lemma -- References
ISBN:9783642040160
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Combinatorics: 23
Keywords: Mathematics , Computers , Algorithms , Computer science , Probabilities , Combinatorics , Mathematics , Probability Theory and Stochastic Processes , Combinatorics , Theory of Computation , Math Applications in Computer Science , Algorithm Analysis and Problem Complexity
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9781468492446:ONLINE Show nearby items on shelf
Title:Fractals in Multimedia
Author(s):
Date:2002
Size:1 online resource (270 p.)
Note:10.1007/978-1-4684-9244-6
Contents:to IMA fractal proceedings -- Uniqueness of invariant measures for place-dependent random iterations of functions -- Iterated function systems for lossless data compression -- From fractal image compression to fractal-based methods in
mathematics -- Fractal image compression with fast local search -- Wavelets are piecewise fractal interpolation functions -- Self-affine vector measures and vector calculus on fractals -- Using the Picard contraction mapping to solve
inverse problems in ordinary differential equations -- Fractal modulation and other applications from a theory of the statistics of dimension -- Signal enhancement based on Hölder regularity analysis -- Iterated data mining techniques
on embedded vector modeling -- A web-based fractal geometry course for non-science students -- List of minisymposium participants
ISBN:9781468492446
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:The IMA Volumes in Mathematics and its Application: 132
Keywords: Computer science , Computer science , Image processing , Application software , Dynamics , Ergodic theory , Probabilities , Topology , Computer Science , Image Processing and Computer Vision , Topology , Computer Applications , Probability Theory and Stochastic Processes , Dynamical Systems and Ergodic Theory , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9781447106579:ONLINE Show nearby items on shelf
Title:Quantitative Methods for Current Environmental Issues
Author(s):
Date:2002
Size:1 online resource (270 p.)
Note:10.1007/978-1-4471-0657-9
Contents:I. Spatial and Temporal Models and Methods -- 1 Modeling Spatio-Temporally Misaligned Areal and Point Process Environmental Data -- 2 Space and Space-Time Modeling using Process Convolutions -- 3 Multivariate Kriging for Interpolating
with Data from Different Sources -- II. Environmental Sampling and Standards -- 4 Distance Sampling: Recent Advances and Future Directions -- 5 Setting Environmental Standards: A Statistical Approach -- III. Atmosphere and Ocean -- 6
The Interpretation and Validation of Measurements of the Ocean Wave Directional Spectrum -- 7 Thermal Energy Emission and Propagation from Accidents -- 8 Development and Application of an Extended Methodology to Validate Short-Range
Atmospheric Dispersion Models -- 9 Uncertainty and Sensitivity of Dispersion Model Results to Meteorological Inputs: Two Case Studies -- IV. Risk and Uncertainty -- 10 Statistics and the Environmental Sciences: Approaches to Model
Combination -- 11 Bayesian Analysis of Computer Code Outputs -- 12 The Realities of Decision Making on Risks
ISBN:9781447106579
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Statistics , Applied mathematics , Engineering mathematics , Environmental sciences , Statistics , Statistical Theory and Methods , Math. Appl. in Environmental Science , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Applications of Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783662043318:ONLINE Show nearby items on shelf
Title:Online Optimization of Large Scale Systems
Author(s):
Date:2001
Size:1 online resource (804 p.)
Note:10.1007/978-3-662-04331-8
Contents:I Optimal Control for Ordinary Differential Equations -- Sensitivity Analysis and Real-Time Optimization of Parametric Nonlinear Programming Problems -- Sensitivity Analysis and Real-Time Control of Parametric Optimal Control Problems
Using Boundary Value Methods -- Sensitivity Analysis and Real-Time Control of Parametric Optimal Control Problems Using Nonlinear Programming Methods -- Sensitivity Analysis and Real-Time Control of a Container Crane under State
Constraints -- Real-Time Control of an Industrial Robot under Control and State Constraints -- Real-Time Optimal Control of Shape Memory Alloy Actuators in Smart Structures -- Real-Time Solutions for Perturbed Optimal Control Problems
by a Mixed Open- and Closed-Loop Strategy -- Real-Time Optimization of DAE Systems -- Real-Time Solutions of Bang-Bang and Singular Optimal Control Problems -- Conflict Avoidance During Landing Approach Using Parallel Feedback Control
-- II Optimal Control for Partial Differential Equations -- Optimal Control Problems with a First Order PDE System — Necessary and Sufficient Optimality Conditions -- Optimal Control Problems for the Nonlinear Heat Equation -- Fast
Optimization Methods in the Selective Cooling of Steel -- Real-Time Optimization and Stabilization of Distributed Parameter Systems with Piezoelectric Elements -- Instantaneous Control of Vibrating String Networks -- Modelling,
Stabilization, and Control of Flow in Networks of Open Channels -- Optimal Control of Distributed Systems with Break Points -- to Model Based Optimization of Chemical Processes on Moving Horizons -- Multiscale Concepts for Moving
Horizon Optimization -- Real-Time Optimization for Large Scale Processes: Nonlinear Model Predictive Control of a High Purity Distillation Column -- Towards Nonlinear Model-Based Predictive Optimal Control of Large-Scale Process Models
with Application to Air Separation Plants -- IV Delay Differential Equations in Medical Decision Support Systems -- Differential Equations with State-Dependent Delays -- Biomathematical Models with State-Dependent Delays for
Granulocytopoiesis -- Stochastic Optimization for Operating Chemical Processes under Uncertainty -- A Multistage Stochastic Programming Approach in Real-Time Process Control -- Optimal Control of a Continuous Distillation Process under
Probabilistic Constraints -- Adaptive Optimal Stochastic Trajectory Planning -- Stochastic Optimization Methods in Robust Adaptive Control of Robots -- Multistage Stochastic Integer Programs: An Introduction -- Decomposition Methods
for Two-Stage Stochastic Integer Programs -- Modeling of Uncertainty for the Real-Time Management of Power Systems -- Online Scheduling of Multiproduct Batch Plants under Uncertainty -- VIII Combinatorial Online Planning in
Transportation -- Combinatorial Online Optimization in Real Time -- Online Optimization of Complex Transportation Systems -- Stowage and Transport Optimization in Ship Planning -- IX Real-Time Annealing in Image Segmentation -- Basic
Principles of Annealing for Large Scale Non-Linear Optimization -- Multiscale Annealing and Robustness: Fast Heuristics for Large Scale Non-linear Optimization -- Author Index
ISBN:9783662043318
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Operations research , Decision making , Computer science , Calculus of variations , Applied mathematics , Engineering mathematics , Mathematics , Calculus of Variations and Optimal Control Optimization , Math Applications in Computer Science , Appl.Mathematics/Computational Methods of Engineering , Operation Research/Decision Theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783642567674:ONLINE Show nearby items on shelf
Title:Discretization Methods and Iterative Solvers Based on Domain Decomposition
Author(s): Barbara I Wohlmuth
Date:2001
Size:1 online resource (199 p.)
Note:10.1007/978-3-642-56767-4
Contents:Discretization Techniques Based on Domain Decomposition -- 1.1 Introduction to Mortar Finite Element Methods -- 1.2 Mortar Methods with Alternative Lagrange Multiplier Spaces -- 1.3 Discretization Techniques Based on the Product Space
-- 1.4 Examples for Special Mortar Finite Element Discretizations -- 1.5 Numerical Results -- Iterative Solvers Based on Domain Decomposition -- 2.1 Abstract Schwarz Theory -- 2.2 Vector Field Discretizations -- 2.3 A Multigrid Method
for the Mortar Product Space Formulation -- 2.4 A Dirichlet-Neumann Type Method -- 2.5 A Multigrid Method for the Mortar Saddle Point Formulation -- List of Figures -- List of Tables -- Notations
ISBN:9783642567674
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 17
Keywords: Mathematics , Computer science , Mathematical analysis , Analysis (Mathematics) , Computer mathematics , Numerical analysis , Computational intelligence , Mathematics , Numerical Analysis , Analysis , Computational Science and Engineering , Math Applications in Computer Science , Computational Intelligence
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9783642597213:ONLINE Show nearby items on shelf
Title:Discontinuous Galerkin Methods Theory, Computation and Applications
Author(s):
Date:2000
Size:1 online resource (470 p.)
Note:10.1007/978-3-642-59721-3
Contents:I Overview -- The Development of Discontinuous Galerkin Methods -- II Invited Papers -- Steps Toward a Robust High-Order Simulation Tool for Aerospace Applications -- Simplified Discontinuous Galerkin Methods for Systems of
Conservation Laws with Convex Extension -- A High Order Discontinuous Galerkin Method for Compressible Turbulent Flows -- Discontinuous Galerkin Methods for Elliptic Problems -- Analysis of Finite Element Methods for Linear Hyperbolic
Problems -- Software for the Parallel Adaptive Solution of Conservation Laws by Discontinuous Galerkin Methods -- Simulation of Gravity Flow of Granular Materials in Silos -- A Comparison of Discontinuous and Continuous Galerkin
Methods Based on Error Estimates, Conservation, Robustness and Efficiency -- The Utility of Modeling and Simulation in Determining Transport Performance Properties of Semiconductors -- A Discontinuous Galerkin Method for the
Incompressible Navier-Stokes Equations -- Full Convergence for Hyperbolic Finite Elements -- A Conservative DGM for Convection-Diffusion and Navier-Stokes Problems -- GMRES Discontinuous Galerkin Solution of the Compressible
Navier-Stokes Equations -- Explicit Finite Element Methods for Linear Hyperbolic Systems -- hp-DGFEM for Partial Differential Equations with Nonnegative Characteristic Form -- A Discontinuous Galerkin Method Applied to Nonlinear
Parabolic Equations -- III Contributed Papers -- Parallel Iterative Discontinuous Galerkin Finite-Element Methods -- A Discontinuous Projection Algorithm for Hamilton Jacobi Equations -- Successes and Failures of Discontinuous Galerkin
Methods in Viscoelastic Fluid Analysis -- High Order Current Basis Functions for Electromagnetic Scattering of Curved Surfaces -- An Adaptive Discontinuous Galerkin Model for Coupled Viscoplastic Crack Growth and Chemical Transport --
An Optimal Estimate for the Local Discontinuous Galerkin Method -- Post-Processing of Galerkin Methods for Hyperbolic Problems -- to Discontinuous Wavelets -- The Local Discontinuous Galerkin Method for Contaminant Transport Problems
-- Discontinuous Galerkin Method for the Numerical Solution of Euler Equations in Axisymmetric Geometry -- Ten Years Using Discontinuous Galerkin Methods for Polymer Processing Problems -- Using Krylov-Subspace Iterations in
Discontinuous Galerkin Methods for Nonlinear Reaction-Diffusion Systems -- An Abridged History of Cell Discretization -- The Effect of the Least Square Procedure for Discontinuous Galerkin Methods for Hamilton-Jacobi Equations -- A
Posteriori Error Estimate in the Case of Insufficient Regularity of the Discrete Space -- Discontinuous Spectral Element Approximation of Maxwell's Equations -- A Posteriori Error Estimation for Adaptive Discontinuous Galerkin
Approximations of Hyperbolic Systems -- A Numerical Example on the Performance of High Order Discontinuous Galerkin Method for 2D Incompressible Flows -- A Discontinuous Galerkin Method in Moving Domains -- Discontinuous Galerkin for
Hyperbolic Systems with Stiff Relaxation -- Finite Element Output Bounds for Parabolic Equations: Application to Heat Conduction Problems -- 3D Unstructured Mesh ALE Hydrodynamics with the Upwind Discontinuous Galerkin Method -- Some
Remarks on the Accuracy of a Discontinuous Galerkin Method -- Coupling Continuous and Discontinuous Techniques: An Adaptive Approach -- A Discontinuous Galerkin Method for the Shallow Water Equations with Source Terms -- Dispersion
Analysis of the Continuous and Discontinuous Galerkin Formulations -- The Cell Discretization Algorithm An Overview -- Accuracy, Resolution, and Computational Complexity of a Discontinuous Galerkin Finite Element Method -- An ELLAM
Scheme for Porous Medium Flows -- Application of the Discontinuous Galerkin Method to Maxwell's Equations Using Unstructured Polymorphic hp-Finite Elements -- A Space-Time Discontinuous Galerkin Method for Elastodynamic Analysis --
Nonconforming, Enhanced Strain, and Mixed Finite Element Methods — A Unified Approach
ISBN:9783642597213
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 11
Keywords: Mathematics , Computer science , Computer mathematics , Physics , Computational intelligence , Mathematics , Computational Mathematics and Numerical Analysis , Computational Intelligence , Mathematical Methods in Physics , Numerical and Computational Physics , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9783540465195:ONLINE Show nearby items on shelf
Title:Computer Algebra Methods for Equivariant Dynamical Systems
Author(s):
Date:2000
Size:1 online resource (162 p.)
Note:10.1007/BFb0104059
Contents:Gröbner bases: Buchberger's algorithm -- The consequence of grading -- Definitions and the relation to Gröbner bases -- Computation of a Hilbert series -- The Hilbert series driven Buchberger algorithm -- The computation with
algebraic extensions -- Detection of Gröbner bases -- Dynamic Buchberger algorithm -- Elimination -- Algorithms of the computation of invariants and equivariants: Using the Hilbert series -- Invariants -- Equivariants -- Using the
nullcone -- Using a homogeneous system of parameters -- Computing uniqueness -- Symmetric bifurcation theory -- Local bifurcation analysis -- An example of secondary Hopf bifurcation -- Orbit space reduction -- Exact computation of
steady states -- Differential equations on the orbit space -- Using Noether normalization -- Further reading -- References -- Index
ISBN:9783540465195
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 1728
Keywords: Mathematics , Computer science , Algebra , Mathematical analysis , Analysis (Mathematics) , Global analysis (Mathematics) , Manifolds (Mathematics) , Computer mathematics , Mathematics , Algebra , Mathematics of Computing , Computational Science and Engineering , Math Applications in Computer Science , Analysis , Global Analysis and Analysis on Manifolds
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9781461213901:ONLINE Show nearby items on shelf
Title:An Introduction to Quantum Computing Algorithms
Author(s): Arthur O Pittenger
Date:2000
Size:1 online resource (140 p.)
Note:10.1007/978-1-4612-1390-1
Contents:1 Quantum -- 2 Basics of Quantum Computation -- 3 Quantum Algorithms -- 4 Quantum Error-Correcting Codes -- Afterword -- References
ISBN:9781461213901
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic : 19
Keywords: Computer science , Computers , Algorithms , Computer science , Applied mathematics , Engineering mathematics , Quantum physics , Quantum computers , Spintronics , Computer Science , Theory of Computation , Applications of Mathematics , Math Applications in Computer Science , Quantum Physics , Quantum Information Technology, Spintronics , Algorithm Analysis and Problem Complexity
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9781461213208:ONLINE Show nearby items on shelf
Title:Interpolating Cubic Splines
Author(s): Gary D Knott
Date:2000
Size:1 online resource (244 p.)
Note:10.1007/978-1-4612-1320-8
Contents:1 Mathematical Preliminaries -- 1.1 The Pythagorean Theorem -- 1.2 Vectors -- 1.3 Subspaces and Linear Independence -- 1.4 Vector Space Bases -- 1.5 Euclidean Length -- 1.6 The Euclidean Inner Product -- 1.7 Projection onto a Line --
1.8 Planes in-Space -- 1.9 Coordinate System Orientation -- 1.10 The Cross Product -- 2 Curves -- 2.1 The Tangent Curve -- 2.2 Curve Parameterization -- 2.3 The Normal Curve -- 2.4 Envelope Curves -- 2.5 Arc Length Parameterization --
2.6 Curvature -- 2.7 The Frenet Equations -- 2.8 Involutes and Evolutes -- 2.9 Helices -- 2.10 Signed Curvature -- 2.11 Inflection Points -- 3 Surfaces -- 3.1 The Gradient of a Function -- 3.2 The Tangent Space and Normal Vector -- 3.3
Derivatives -- 4 Function and Space Curve Interpolation -- 5 2D-Function Interpolation -- 5.1 Lagrange Interpolating Polynomials -- 5.2 Whittaker’s Interpolation Formula -- 5.3 Cubic Splines for 2D-Function Interpolation -- 5.4
Estimating Slopes -- 5.5 Monotone 2D Cubic Spline Functions -- 5.6 Error in 2D Cubic Spline Interpolation Functions -- 6 ?-Spline Curves With Range Dimension d -- 7 Cubic Polynomial Space Curve Splines -- 7.1 Choosing the Segment
Parameter Limits -- 7.2 Estimating Tangent Vectors -- 7.3 Bézier Polynomials -- 8 Double Tangent Cubic Splines -- 8.1 Kochanek-Bartels Tangents -- 8.2 Fletcher-McAllister Tangent Magnitudes -- 9 Global Cubic Space Curve Splines -- 9.1
Second Derivatives of Global Cubic Splines -- 9.2 Third Derivatives of Global Cubic Splines -- 9.3 A Variational Characterization of Natural Splines -- 9.4 Weighted v-Splines -- 10 Smoothing Splines -- 10.1 Computing an Optimal
Smoothing Spline -- 10.2 Computing the Smoothing Parameter -- 10.3 Best Fit Smoothing Cubic Splines -- 10.4 Monotone Smoothing Splines -- 11 Geometrically Continuous Cubic Splines -- 11.1 Beta Splines -- 12 Quadratic Space Curve Based
Cubic Splines -- 13 Cubic Spline Vector Space Basis Functions -- 13.1 Bases for C1 and C2 Space Curve Cubic Splines -- 13.2 Cardinal Bases for Cubic Spline Vector Spaces -- 13.3 The B-Spline Basis for Global Cubic Splines -- 14
Rational Cubic Splines -- 15 Two Spline Programs -- 15.1 Interpolating Cubic Splines Program -- 15.2 Optimal Smoothing Spline Program -- 16 Tensor Product Surface Splines -- 16.1 Bicubic Tensor Product Surface Patch Splines -- 16.2 A
Generalized Tensor Product Patch Spline -- 16.3 Regular Grid Multi-Patch Surface Interpolation -- 16.4 Estimating Tangent and Twist Vectors -- 16.5 Tensor Product Cardinal Basis Representation -- 16.6 Bicubic Splines with Variable
Parameter Limits -- 16.7 Triangular Patches -- 16.8 Parametric Grids -- 16.9 3D-Function Interpolation -- 17 Boundary Curve Based Surface Splines -- 17.1 Boundary Curve Based Bilinear Interpolation -- 17.2 Boundary Curve Based Bicubic
Interpolation -- 17.3 General Boundary Curve Based Spline Interpolation -- 18 Physical Splines -- 18.1 Computing a Space Curve Physical Spline Segment -- 18.2 Computing a 2D Physical Spline Segment -- References
ISBN:9781461213208
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic : 18
Keywords: Computer science , Computer science , Application software , Computer-aided engineering , Applied mathematics , Engineering mathematics , Computer mathematics , Computer Science , Math Applications in Computer Science , Computational Mathematics and Numerical Analysis , Applications of Mathematics , Computer-Aided Engineering (CAD, CAE) and Design , Computer Applications
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9783642602368:ONLINE Show nearby items on shelf
Title:Traffic and Mobility Simulation — Economics — Environment
Author(s):
Date:1999
Size:1 online resource (270 p.)
Note:10.1007/978-3-642-60236-8
Contents:I. Economic Factors of Traffic Generation -- Multicriteria Demand Reaction Analysis in Passenger Transport -- II. Traffic Generation -- Dynamic Estimation of Transport Demand: Solutions — Requirements — Problems -- The Development of
a Unified Modeling Framework for the Household Activity-Travel Scheduling Process -- The Development of ALBATROSS: Some Key Issues -- Analysis of Traffic Flow of Goods on Motorways by Means of Video Data — Chances and Limits --
Estimating Path Flows from Traffic Counts -- III. Traffic Flow Theory, Networks -- Remarks on Traffic Flow Modeling and Its Applications -- Online Traffic Simulation with Cellular Automata -- Census-Based Travel Demand Generation for
Transportation Simulations -- Some New Approaches to the Microscopic Modelling of Traffic Flow and the Dynamic Route Assignment Problem -- Evaluation of Cellular Automata for Traffic Flow Simulation on Freeway and Urban Streets --
Effects of New Vehicle and Traffic Technologies — Analysis of Traffic Flow, Fuel Consumption and Emissions with PELOPS -- Traffic Simulation for the Development of Traffic Management Systems -- Modelling Advanced Transport Telematic
Applications with Microscopic Simulators: The Case of AIMSUN2 -- IV. Environmental Effects -- Modelling of Regional and Local Air Pollution Based on Dynamical Simulation of Traffic -- Interaction of Traffic and Other Anthropogenic
Emissions in Polluted Regions and Their Environment -- Time Soluted Assessment of Traffic Impacts in Urban Areas Based on Dynamic Traffic Simulation
ISBN:9783642602368
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Applied mathematics , Engineering mathematics , Computer mathematics , Environmental sciences , Economic theory , Mathematics , Applications of Mathematics , Computational Mathematics and Numerical Analysis , Math. Appl. in Environmental Science , Economic Theory/Quantitative Economics/Mathematical Methods
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9783642599958:ONLINE Show nearby items on shelf
Title:Dynamic Modules User’s Manual and Programming Guide for MuPAD 1.4
Author(s): Andreas Sorgatz
Date:1999
Size:1 online resource (235 p.)
Note:10.1007/978-3-642-59995-8
Contents:1 Introduction and Quick Start -- 1.1 How to Read this Manual -- 1.2 The Concept in Brief -- 1.3 Where to Find Further Information -- 1.4 Challenges and Contributions -- 2 Modules User Interface -- 2.1 Basic Functions to Access
Modules -- 2.2 Extended Module Management -- 2.3 Module Domain Representation -- 2.4 Module Online Documentation -- 3 Introduction to Module Programming -- 3.1 Module Source Code -- 3.2 Creating Binary Code -- 3.3 Predefined Methods
and Reserved Names -- 3.4 Online Documentation File Format -- 4 Inside MuPAD -- 4.1 System Components -- 4.2 The Kernel -- 4.3 The Interpreter -- 4.4 Memory Management System -- 4.5 Data Types -- 4.6 Displaying MuPAD Objects -- 4.7
Module Management System -- 5 Module Generator -- 5.1 Analysis and Code Extension -- 5.2 Creating Executable Modules -- 5.3 Module Debugging -- 5.4 Module Generator Options -- 5.5 Warning and Error Messages -- 6 Application Programming
Interface (MAPI) -- 6.1 Introduction and Conventions -- 6.2 Defining Module Functions -- 6.3 Type Checking -- 6.4 Comparing Objects -- 6.5 Data Conversion -- 6.6 Basic Object Manipulation -- 6.7 Constructing MuPAD Objects -- 6.8 MuPAD
Interpreter Interface -- 6.9 Arbitrary Precision Arithmetic -- 6.10 Miscellaneous -- 7 Special features -- 7.1 Module Initialization Function -- 7.2 Including MuPAD Code -- 7.3 Storing a Global State -- 7.4 User-defined Data Types --
7.5 MuPAD Preferences -- 8 Technical Information -- 8.1 Supported Operating Systems -- 8.2 Integrating Software Packages -- 8.3 Position Independent Code -- 8.4 Including Non C++ Code -- 8.5 Shared Libraries -- 8.6 Analyzing Module
Object Code -- 8.7 Debugging Dynamic Modules -- 9 Trouble Shooting -- 9.1 Naming Conflicts -- 9.2 Exceptions and Threads -- 9.3 Streams and Templates -- 9.4 Signals -- 9.5 Questions and Answers -- 10 Demos and Applications -- 10.1 Some
Introducing Examples -- 10.2 User-defined Data Types -- 10.3 Numerics -- 10.4 Arbitrary Precision Arithmetic -- 10.5 Polynomial Computations -- 10.6 Interprocess Communication Protocols -- 10.7 Miscellaneous -- A The Accompanying
CD-ROM -- A.1 Contents of the CD-ROM -- A.1.1 MuPAD -- A.1.2 ASAP -- A.1.3 GB and RealSolving -- A.1.4 GMP -- A.1.5 MAGNUM -- A.1.6 MP -- A.1.7 NTL -- A.1.8 PVM -- A.1.9 Singular -- A.2 System Requirements -- A.3 Installation -- A.3.1
Using the CD-ROM Live System -- A.3.2 Installation on Hard Disk -- A.4 MuPAD License Agreements -- A.4.1 General License -- A.4.2 Educational License -- A.4.3 How to Register MuPAD -- B Changes -- B.1 With Respect to Release 1.2.2 --
B.2 With Respect to Release 1.3.0 -- B.3 Latest News and Changes -- C mmg Short Reference -- D MAPI Short Reference -- E Glossary
ISBN:9783642599958
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algorithms , Mathematics , Algorithms , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9783642583605:ONLINE Show nearby items on shelf
Title:Computational Molecular Dynamics: Challenges, Methods, Ideas Proceedings of the 2nd International Symposium on Algorithms for Macromolecular Modelling, Berlin, May 21–24, 1997
Author(s):
Date:1999
Size:1 online resource (494 p.)
Note:10.1007/978-3-642-58360-5
Contents:Introductory Survey -- Molecular Dynamics Simulations: The Limits and Beyond -- I Conformational Dynamics -- Steered Molecular Dynamics -- Conformational Transitions of Proteins from Atomistic Simulations -- Conformational Dynamics
Simulations of Proteins -- Computation of Essential Molecular Dynamics by Subdivision Techniques -- Mathematical Model of the Nucleic Acids Conformational Transitions with Hysteresis over Hydration-Dehydration Cycle -- II Thermodynamic
Modelling -- Simulation Studies of Protein-Ligand Interactions -- Estimating Relative Free Energies from a Single Simulation of the Initial State -- Exploration of Peptide Free Energy Surfaces -- Prediction of pKas of Titratable
Residues in Proteins Using a Poisson-Boltzmann Model of the Solute-Solvent System -- Exploiting Tsallis Statistics -- New Techniques for the Construction of Residue Potentials for Protein Folding -- III Enhanced Time-Stepping
Algorithms -- Some Failures and Successes of Long-Timestep Approaches to Biomolecular Simulations -- Application of a Stochastic Path Integral Approach to the Computations of an Optimal Path and Ensembles of Trajectories -- On Some
Difficulties in Integrating Highly Oscillatory Hamiltonian Systems -- Molecular Dynamics in Systems with Multiple Time Scales: Reference System Propagator Algorithms -- The Five Femtosecond Time Step Barrier -- Long Time Step MD
Simulations Using Split Integration Symplectic Method -- Comparison of Geometric Integrators for Rigid Body Simulation -- IV Quantum-Classical Simulations -- New Methods in Quantum Molecular Dynamics of Large Polyatomic Systems --
Approximation Properties and Limits of the Quantum-Classical Molecular Dynamics Model -- Numerical Integrators for Quantum-Classical Molecular Dynamics -- Symplectic Multiple-Time-Stepping Integrators for Quantum-Classical Molecular
Dynamics -- A Bunch of Time Integrators for Quantum/Classical Molecular Dynamics -- Applications of Ab-Initio Molecular Dynamics Simulations in Chemistry and Polymer Science -- Polarons of Molecular Crystal Model by Nonlocal Dynamical
Coherent Potential Method -- V Parallel Force Field Evaluation -- Ewald and Multipole Methods for PeriodicN-Body Problems -- Avoiding Algorithmic Obfuscation in a Message-Driven Parallel MD Code -- Parallel Molecular Dynamics Using
Force Decomposition
ISBN:9783642583605
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 4
Keywords: Mathematics , Chemometrics , Computer mathematics , Biomathematics , Physics , Mathematics , Computational Mathematics and Numerical Analysis , Math. Applications in Chemistry , Mathematical and Computational Biology , Theoretical, Mathematical and Computational Physics , Physiological, Cellular and Medical Topics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9781461215684:ONLINE Show nearby items on shelf
Title:Discrete Tomography Foundations, Algorithms, and Applications
Author(s):
Date:1999
Size:1 online resource (479 p.)
Note:10.1007/978-1-4612-1568-4
Contents:Foundations -- Discrete Tomography: A Historical Overview -- Sets of Uniqueness and Additivity in Integer Lattices -- Tomographic Equivalence and Switching Operations -- Uniqueness and Complexity in Discrete Tomography --
Reconstruction of Plane Figures from Two Projections -- Reconstruction of Two-Valued Functions and Matrices -- Reconstruction of Connected Sets from Two Projections -- Algorithms -- Binary Tomography Using Gibbs Priors -- Probabilistic
Modeling of Discrete Images -- Multiscale Bayesian Methods for Discrete Tomography -- An Algebraic Solution for Discrete Tomography -- Binary Steering of Nonbinary Iterative Algorithms -- Reconstruction of Binary Images via the EM
Algorithm -- Compact Object Reconstruction -- Applications -- CT-Assisted Engineering and Manufacturing -- 3D Reconstruction from Sparse Radiographic Data -- Heart Chamber Reconstruction from Biplane Angiography -- Discrete Tomography
in Electron Microscopy -- Tomography on the 3D-Torus and Crystals -- A Recursive Algorithm for Diffuse Planar Tomography -- From Orthogonal Projections to Symbolic Projections
ISBN:9781461215684
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Medicine , Radiology , Computer science , Computer graphics , Image processing , Medicine & Public Health , Imaging / Radiology , Image Processing and Computer Vision , Signal, Image and Speech Processing , Math Applications in Computer Science , Discrete Mathematics in Computer Science , Computer Imaging, Vision, Pattern Recognition and Graphics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9781461215301:ONLINE Show nearby items on shelf
Title:Exploring Abstract Algebra With Mathematica®
Author(s): Allen C Hibbard
Date:1999
Size:1 online resource (467 p.)
Note:10.1007/978-1-4612-1530-1
Contents:I Group Labs -- 1 Using Symmetry to Uncover a Group -- 2 Determining the Symmetry Group of a Given Figure -- 3 Is This a Group? -- 4 Let’s Get These Orders Straight -- 5 Subversively Grouping Our Elements -- 6 Cycling Through the
Groups -- 7 Permutations -- 8 Isomorphisms -- 9 Automorphisms -- 10 Direct Products -- 11 Cosets -- 12 Normality and Factor Groups -- 13 Group Homomorphisms -- 14 Rotational Groups of Regular Polyhedra -- II Ring Labs -- 1 Introduction
to Rings and Ringoids -- 2 Introduction to Rings, Part 2 -- 3 An Ideal Part of Rings -- 4 What Does ?[i](a + b i) Look Like? -- 5 Ring Homomorphisms -- 6 Polynomial Rings -- 7 Factoring and Irreducibility -- 8 Roots of Unity -- 9
Cyclotomic Polynomials -- 10 Quotient Rings of Polynomials -- 11 Quadratic Field Extensions -- 12 Factoring in ?[?d] -- 13 Finite Fields -- III User’s Guide -- 1 Introduction to Abstract Algebra -- 2 Groupolds -- 3 Ringoids -- 4
Morphoids -- 5 Additional Functionality
ISBN:9781461215301
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algebra , Mathematical analysis , Analysis (Mathematics) , Algorithms , Computer software , Physics , Mathematics , Algebra , Mathematical Software , Analysis , Algorithms , Math Applications in Computer Science , Mathematical Methods in Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9781461206354:ONLINE Show nearby items on shelf
Title:Bounded Queries in Recursion Theory
Author(s): William I Gasarch
Date:1999
Size:1 online resource (353 p.)
Note:10.1007/978-1-4612-0635-4
Contents:A: Getting Your Feet Wet -- 1 Basic Concepts -- 2 Bounded Queries and the Halting Set -- 3 Definitions and Questions -- B: The Complexity of Functions -- 4 The Complexity of CnA -- 5 #nA and Other Functions -- C: The Complexity of
Sets -- 6 The Complexity of ODDnA and MODmnA -- 7 Q Versus QC -- 8 Separating and Collapsing Classes -- D: Miscellaneous -- 9 Nondeterministic Complexity -- 10 The Literature on Bounded Queries -- References
ISBN:9781461206354
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic : 16
Keywords: Computer science , Computers , Computer science , Operator theory , Applied mathematics , Engineering mathematics , Computer mathematics , Computer Science , Math Applications in Computer Science , Operator Theory , Theory of Computation , Discrete Mathematics in Computer Science , Computational Mathematics and Numerical Analysis , Applications of Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9789401153027:ONLINE Show nearby items on shelf
Title:Elimination Methods in Polynomial Computer Algebra
Author(s): Valery Bykov
Date:1998
Size:1 online resource (244 p.)
Note:10.1007/978-94-011-5302-7
Contents:1. Basic Mathematical Facts -- 1. The logarithmic residue -- 2. The Newton recursion formulas -- 3. Localization theorems for the real zeros of a polynomial -- 4. The local residue (of Grothendieck) -- 5. The multidimensional
logarithmic residue -- 6. The classical scheme for elimination of unknowns -- 2. A Modified Elimination Method -- 7. A generalized transformation formula for local residues -- 8. A modified elimination method -- 9. A formula for the
logarithmic derivative of the resultant -- 10. Multidimensional analogues of the Newton formulas -- 11. Elimination of unknowns in different variables. Real roots -- 3. Applications in Mathematical Kinetics -- 12. Short schemes -- 13.
The search for all stationary solutions -- 14. The kinetic polynomial. Single-route mechanisms -- 15. Construction of the kinetic polynomial in the general case -- 4. Computer Realizations -- 16. Analytic manipulations on the computer
-- 17. Basic problems in computer algebra of polynomials -- 18. Realization of the elimination method -- 19. The construction of the resultant -- List of applications
ISBN:9789401153027
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 448
Keywords: Mathematics , Chemometrics , Numerical analysis , Computer science , Functions of complex variables , Mathematics , Several Complex Variables and Analytic Spaces , Math. Applications in Chemistry , Symbolic and Algebraic Manipulation , Numeric 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

Cover
Image
Call number:SPRINGER-1998-9783662011317:ONLINE Show nearby items on shelf
Title:COMPSTAT Proceedings in Computational Statistics 13th Symposium held in Bristol, Great Britain, 1998
Author(s):
Date:1998
Size:1 online resource (501 p.)
Note:10.1007/978-3-662-01131-7
Contents:Keynote Papers -- Analysis of Clustered Multivariate Data from Developmental Toxicity Studies -- Wavelets in Statistics: Some Recent Developments -- Invited Papers -- Mortality Pattern Prediction in Worker Cohorts -- Design Algorithms
for Correlated Data -- (Co)Variance Structures for Linear Models in the Analysis of Plant Improvement Data -- Optimal Scaling Methods for Graphical Display of Multivariate Data -- Computer-Assisted Statistics Teaching in Network
Environments -- Modelling Bacterial Genomes Using Hidden Markov Models -- MCMC Specifics for Latent Variable Models -- Exploratory Versus Decision Trees -- Exploring Time Series Using Semi- and Nonparametric Methods -- Time Series
Forecasting by Principal Component Methods -- Contributed Papers -- A Simulation Study of Indirect Prognostic Classification -- Model Search: An Overview -- Speeding up the Computation of the Least Quartile Difference Estimator --
Piece-wise Detection of Spinal Scoliosis -- A Comparison of Recent EM Accelerators within Item Response Theory -- Gröbner Basis Methods in Polynomial Modelling -- Analysis of High Dimensional Data from Intensive Care Medicine --
Fitting Non-Gaussian Time Series Models -- Using Singular Value Decomposition in Non-Linear Regression -- A Modelling Approach for Bandwidth Selection in Kernel Density Estimation -- A New Method for Cross-Classification Analysis of
Contingency Data Tables -- Bayesian Analysis of Overdispersed Count Data with Application to Teletraffic Monitoring -- An Alternative Pruning Method Based on the Impurity-Complexity Measure -- Bayesian Inference for Mixture: The Label
Switching Problem -- Simulation of Multifractional Brownian Motion -- Simulating Categorical Data from Spatial Models -- Robust Factorization of a Data Matrix -- Spatial Clustering Techniques: An Experimental Comparison -- A Visual
Environment for Designing Experiments -- Essay of a Dynamic Regression by Principal Components Model for Correlated Time Series -- Traffic Models for Telecommunication -- Construction of Non-Standard Row-Column Designs -- Computational
Statistics for Pharmacokinetic Data Analysis -- Frailty Factors and Time-dependent Hazards in Modelling Ear Infections in Children Using BASSIST -- Algorithms for Robustified Error-in-Variables Problems -- Idaresa — a Tool for
Construction, Description and Use of Harmonised Datasets from National Surveys -- LLAMA: an Object-Oriented System for Log Multiplicative Models -- Using Threshold Accepting to Improve the Computation of Censored Quantile Regression --
On the Convergence of Iterated Random Maps with Applications to the MCEM Algorithm -- Parameter Estimators for Gaussian Models with Censored Time Series and Spatio-Temporal Data -- Assessing the Multimodality of a Multivariate
Distribution Using Nonparametric Techniques -- Bayesian Signal Restoration and Model Determination for Ion Channels -- ARGUS, Software Packages for Statistical Disclosure Control -- Building End-User Statistical Applications: An
Example Using STABLE -- On Multiple Window Local Polynomial Approximation with Varying Adaptive Bandwidths -- Minimization of Computational Cost in Tree-Based Methods by a Proper Ordering of Splits -- Stable Multivariate Procedures —
Strategies and Software Tools -- An Alternating Method to Optimally Transform Variables in Projection Pursuit Regression -- Predicting from Unbalanced Linear or Generalized Linear Models -- MCMC Solution to Circle Fitting in Analysis
of RICH Detector Data -- A Visual Future for Statistical Computing -- Development of Statistical Software SAMMIF for Sensitivity Analysis in Multivariate Methods -- Data Imputation and Nowcasting in the Environmental Sciences Using
Clustering and Connectionist Modelling -- Graphical User Interface for Statistical Software Using Internet -- A Wavelet Approach to Functional Principal Component Analysis -- Quasi-Monte Carlo EM Algorithm for MLEs in Generalized
Linear Mixed Models -- Applications of Smoothed Monotone Regression Splines and Smoothed Bootstrapping in Survival Analysis -- Comparing the Fits of Non-Nested Non-Linear Models -- The Deepest Fit -- Partially Linear Models: A New
Algorithm and some Simulation Results -- Induction of Graphical Models from Incomplete Samples -- Locally and Bayesian Optimal Designs for Binary Dose-Response Models with Various Link Functions -- Statistics Training and the Internet
-- Jointly Modelling Longitudinal and Survival Data -- Representing Solar Active Regions with Triangulations -- A General Form for Specification of Correlated Error Models, with Allowance for Heterogeneity -- Exploratory Data Analysis
with Linked Dotplots and Histograms -- An Object-Oriented Approach to Local Computation in Bayes Linear Belief Networks -- Index of Authors -- Index of Keywords
ISBN:9783662011317
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Statistics , Information technology , Business , Computer science , Statistics , Statistics and Computing/Statistics Programs , Math Applications in Computer Science , IT in Business
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9783540687115:ONLINE Show nearby items on shelf
Title:Markov Set-Chains
Author(s): Darald J Hartfiel
Date:1998
Size:1 online resource (132 p.)
Note:10.1007/BFb0094586
Contents:Stochastic matrices and their variants -- to Markov set-chains -- Convergence of Markov set-chains -- Behavior in Markov set-chains
ISBN:9783540687115
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 1695
Keywords: Mathematics , Computer science , Matrix theory , Algebra , Convex geometry , Discrete geometry , Probabilities , Biomathematics , Mathematics , Probability Theory and Stochastic Processes , Linear and Multilinear Algebras, Matrix Theory , Convex and Discrete Geometry , Mathematical and Computational Biology , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9781461222149:ONLINE Show nearby items on shelf
Title:Maple V Programming Guide
Author(s): M. B Monagan
Date:1998
Size:1 online resource (379 p.)
Note:10.1007/978-1-4612-2214-9
Contents:1. Introduction -- 1.1 Getting Started -- 1.2 Basic Programming Constructs -- 1.3 Basic Data Structures -- 1.4 Computing with Formulae -- 2. Fundamentals -- 2.1 Evaluation Rules -- 2.2 Nested Procedures -- 2.3 Types -- 2.4 Choosing a
Data Structure: Connected Graphs -- 2.5 Remember Tables -- 2.6 Conclusion -- 3. Advanced Programming -- 3.1 Procedures Which Return Procedures -- 3.2 When Local Variables Leave Home -- 3.3 Interactive Input -- 3.4 Extending Maple --
3.5 Writing Your Own Packages -- 3.6 Conclusion -- 4. The Maple Language -- 4.1 Language Elements -- 4.2 Escape Characters -- 4.3 Statements -- 4.4 Expressions -- 4.5 Useful Looping Constructs -- 4.6 Substitution -- 4.7 Conclusion --
5. Procedures -- 5.1 Procedure Definitions -- 5.2 Parameter Passing -- 5.3 Local and Global Variables -- 5.4 Procedure Options and the Description Field -- 5.5 The Value Returned by a Procedure -- 5.6 The Procedure Object -- 5.7
Explorations -- 5.8 Conclusion -- 6. Debugging Maple Programs -- 6.1 A Tutorial Example -- 6.2 Invoking the Debugger -- 6.3 Examining and Changing the State of the System -- 6.4 Controlling Execution -- 6.5 Restrictions -- 7. Numerical
Programming in Maple -- 7.1 The Basics of evalf -- 7.2 Hardware Floating-Point Numbers -- 7.3 Floating-Point Models in Maple -- 7.4 Extending the evalf Command -- 7.5 Using the Matlab Package -- 7.6 Conclusion -- 8. Programming with
Maple Graphics -- 8.1 Basic Plot Functions -- 8.2 Programming with Plotting Library Functions -- 8.3 Maple’s Plotting Data Structures -- 8.4 Programming with Plot Data Structures -- 8.5 Programming with the plottools Package -- 8.6
Example: Vector Field Plots -- 8.7 Generating Grids of Points -- 8.8 Animation -- 8.9 Programming with Color -- 8.10 Conclusion -- 9. Input and Output -- 9.1 A Tutorial Example -- 9.2 File Types and Modes -- 9.3 File Descriptors versus
File Names -- 9.4 File Manipulation Commands -- 9.5 Input Commands -- 9.6 Output Commands -- 9.7 Conversion Commands -- 9.8 A Detailed Example -- 9.9 Notes to C Programmers -- 9.10 Conclusion
ISBN:9781461222149
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemometrics , Computer science , Algorithms , Physics , Computational intelligence , Mathematics , Algorithms , Symbolic and Algebraic Manipulation , Theoretical, Mathematical and Computational Physics , Math. Applications in Chemistry , Computational Intelligence
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9781461222125:ONLINE Show nearby items on shelf
Title:Maple V Learning Guide
Author(s): K. M Heal
Date:1998
Size:1 online resource (8 p.)
Note:10.1007/978-1-4612-2212-5
Contents:1. Interactive Use of Maple -- 1.1 The Worksheet Interface -- 1.2 Tutorial 1: Solving Problems -- 1.4 Tutorial 3: Documenting Your Work -- 1.5 Tutorial 4: Multiple Worksheets -- 1.6 Tutorial 5: Getting Help -- 1.7 Conclusion -- 2.
Mathematics with Maple: the Basics -- 2.1 Introduction -- 2.2 Numerical Computations -- 2.3 Basic Symbolic Computations -- 2.4 Assigning Names to Expressions -- 2.5 More Basic Types of Maple Objects -- 2.6 Expression Manipulation --
2.7 Conclusion -- 3. Finding Solutions -- 3.1 Simple solve -- 3.2 Solving Numerically: fsolve -- 3.3 Other Solvers -- 3.4 Polynomials -- 3.5 Calculus -- 3.6 Differential Equations: dsolve -- 3.7 The Organization of Maple -- 3.8 The
Maple Packages -- 3.9 Conclusion -- 4. Graphics -- 4.1 Graphing in Two Dimensions -- 4.2 Graphing in Three Dimensions -- 4.3 Animation -- 4.4 Annotating Plots -- 4.5 Composite Plots -- 4.6 Special Types of Plots -- 4.7 Manipulating
Graphical Objects -- 4.8 Conclusion -- 5. Evaluation and Simplification -- 5.1 Mathematical Manipulations -- 5.2 The Assume Facility -- 5.3 Structural Manipulations -- 5.4 Evaluation Rules -- 5.5 Conclusion -- 6. Examples from Calculus
-- 6.1 Introductory Calculus -- 6.2 Ordinary Differential Equations -- 6.3 Partial Differential Equations -- 6.4 Conclusion -- 7. Input and Output -- 7.1 Reading Files -- 7.2 Writing Data to a File -- 7.3 Exporting Whole Worksheets --
7.4 Printing Graphics -- 7.5 Conclusion
ISBN:9781461222125
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemometrics , Computer science , Algorithms , Physics , Computational intelligence , Mathematics , Algorithms , Symbolic and Algebraic Manipulation , Theoretical, Mathematical and Computational Physics , Math. Applications in Chemistry , Computational Intelligence
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9781461241287:ONLINE Show nearby items on shelf
Title:An Introduction to Functional Analysis in Computational Mathematics
Author(s): V. I Lebedev
Date:1997
Size:1 online resource (256 p.)
Note:10.1007/978-1-4612-4128-7
Contents:1. Functional Spaces and Problems in the Theory of Approximation -- 1. Metric Spaces -- 2. Compact Sets in Metric Spaces -- 3. Statement of the Main Extremal Problems in the Theory of Approximation. Main Characteristics of the Best
Approximations -- 4. The Contraction Mapping Principle -- 5. Linear Spaces -- 6. Normed and Banach Spaces -- 7. Spaces with an Inner Product. Hilbert Spaces -- 8. Problems on the Best Approximation. Orthogonal Expansions and Fourier
Series in a Hilbert Space -- 9. Some Extremal Problems in Normed and Hilbert Spaces -- 10. Polynomials the Least Deviating from Zero. Chebyshev Polynomials and Their Properties -- 11. Some Extremal Polynomials -- 2. Linear Operators
and Functionals -- 1. Linear Operators in Banach Spaces -- 2. Spaces of Linear Operators -- 3. Inverse Operators. Linear Operator Equations. Condition Measure of Operator -- 4. Spectrum and Spectral Radius of Operator. Convergence
Conditions for the Neumann Series. Perturbations Theorem -- 5. Uniform Boundedness Principle -- 6. Linear Functionals and Adjoint Space -- 7. The Riesz Theorem. The Hahn-Banach Theorem. Optimization Problem for Quadrature Formulas. The
Duality Principle -- 8. Adjoint, Selfadjoint, Symmetric Operators -- 9. Eigenvalues and Eigenelements of Selfadjoint and Symmetric Operators -- 10. Quadrature Functionals with Positive Definite Symmetric or Symmetrizable Operator and
Generalized Solutions of Operator Equations -- 11. Variational Methods for the Minimization of Quadrature Functionals -- 12. Variational Equations. The Vishik-Lax-Milgram Theorem -- 13. Compact (Completely Continuous) Operators in
Hilbert Space -- 14. The Sobolev Spaces. Embedding Theorems -- 15. Generalized Solution of the Dirichlet Problem for Elliptic Equations of the Second Order -- 3. Iteration Methods for the Solution of Operator Equations -- 1. General
Theory of Iteration Methods -- 2. On the Existence of Convergent Iteration Methods and Their Optimization -- 3. The Chebyshev One-Step (Binomial) Iteration Methods -- 4. The Chebyshev Two-Step (Trinomial) Iteration Method -- 5. The
Chebyshev Iteration Methods for Equations with Symmetrized Operators -- 6. Block Chebyshev Method -- 7. The Descent Methods -- 8. Differentiation and Integration of Nonlinear Operators. The Newton Method -- 9. Partial Eigenvalue
Problem -- 10. Successive Approximation Method for Inverse Operator -- 11. Stability and Optimization of Explicit Difference Schemes for Stiff Differential Equations
ISBN:9781461241287
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Functional analysis , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematics , Functional Analysis , Computational Mathematics and Numerical Analysis , Math Applications in Computer Science , Applications of Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9783642997891:ONLINE Show nearby items on shelf
Title:Applied Mathematics and Parallel Computing Festschrift for Klaus Ritter
Author(s):
Date:1996
Size:1 online resource (376 p.)
Note:10.1007/978-3-642-99789-1
Contents:Informatics and the Internal Necessity for the Mathematization of the Sciences -- A New Semi-infinite Programming Method for Nonlinear Approximation -- Exhibition Organized by Klaus Ritter on the Occasion of the 125th Anniversary of
the Technical University of Munich -- Concavity of the Vector-Valued Functions Occuring in Fuzzy Multiobjective Decision-Making -- An Algorithm for the Solution of the Parametric Quadratic Programming Problem -- Optimal and
Asymptotically Optimal Equi-partition of Rectangular Domains via Stripe Decomposition -- Trust-Region Interior-Point Algorithms for Minimization Problems with Simple Bounds -- Adaptive Kernel Estimation of a Cusp-shaped Mode --
Automatic Differentiation: The Key Idea and an Illustrative Example -- An Approach to Parallelizing Isotonic Regression -- Mathematical Programming at Oberwolfach -- A SQP-Method for Linearly Constrained Maximum Likelihood Problems --
Machine Learning via Polyhedral Concave Minimization -- Optimization Concepts in Autonomous Mobile Platform Design -- A Fuzzy Set Approach for Optimal Positioning of a Mobile Robot Using Sonar Data -- Gradient Computation by Matrix
Multiplication -- Simulating Ultrasonic Range Sensors on a Transputer Workstation -- A Modular Architecture for Optimization Tutorials -- Differential Stability Conditions for Saddle Problems on Products of Convex Polyhedra --
Large-Scale Global Optimization on Transputer Networks -- The Statistical Art of Maximizing the Likelihood -- Remote Access to a Transputer Workstation -- An Extension of Multivariate Reliability Systems -- Automatic Differentiation: A
Structure-Exploiting Forward Mode with Almost Optimal Complexity for Kantorovi? Trees -- Approximate Structured Optimization by Cyclic Block-Coordinate Descent -- Author Index
ISBN:9783642997891
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Operations research , Decision making , Microprocessors , Computer science , Probabilities , Mathematics , Probability Theory and Stochastic Processes , Math Applications in Computer Science , Processor Architectures , Operation Research/Decision Theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781475754261:ONLINE Show nearby items on shelf
Title:How Nature Works the science of self-organized criticality
Author(s): Per Bak
Date:1996
Size:1 online resource (9 p.)
Note:10.1007/978-1-4757-5426-1
Contents:1 Complexity and Criticality -- 2 The Discovery of Self-Organized Criticality -- 3 The Sandpile Paradigm -- 4 Real Sandpiles and Landscape Formation -- 5 Earthquakes, Starquakes, and Solar Flares -- 6 The “Game of Life”: Complexity Is
Criticality -- 7 Is Life a Self-Organized Critical Phenomenon? -- 8 Mass Extinctions and Punctuated Equilibria in a Simple Model of Evolution -- 9 Theory of the Punctuated Equilibrium Model -- 10 The Brain -- 11 On Economics and
Traffic Jams
ISBN:9781475754261
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemometrics , Earth sciences , Computer simulation , Mathematical analysis , Analysis (Mathematics) , Biomathematics , Statistical physics , Dynamical systems , Mathematics , Analysis , Statistical Physics, Dynamical Systems and Complexity , Simulation and Modeling , Math. Applications in Chemistry , Earth Sciences, general , Mathematical and Computational Biology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781461240884:ONLINE Show nearby items on shelf
Title:Learning and Geometry: Computational Approaches
Author(s):
Date:1996
Size:1 online resource (212 p.)
Note:10.1007/978-1-4612-4088-4
Contents:Learning -- MDL Learning -- PAC Learning, Noise and Geometry -- A Review of Some Extensions to the PAC Learning Model -- Geometry -- Finite Point Sets and Oriented Matroids: Combinatorics in Geometry -- A Survey of Geometric Reasoning
Using Algebraic Methods -- Synthetic versus Analytic Geometry for Computers -- Representing Geometric Configurations -- Geometry Theorem Proving in Euclidean, Decartesian, Hilbertian and Computerwise Fashion
ISBN:9781461240884
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic : 14
Keywords: Computer science , Computer science , Education , Computer mathematics , Geometry , Mathematics , Computer Science , Math Applications in Computer Science , Geometry , Computers and Education , Mathematics Education , Computational Mathematics and Numerical Analysis , Computer Science, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1995-9780817644468:ONLINE Show nearby items on shelf
Title:Linear Algebra
Author(s): Harold M Edwards
Date:1995
Size:1 online resource (184 p.)
Note:10.1007/978-0-8176-4446-8
Contents:Matrix Multiplication -- Equivalence of Matrices. Reduction to Diagonal Form -- Matrix Division -- Determinants -- Testing for Equivalence -- Matrices with Rational Number Entries -- The Method of Least Squares -- Matrices with
Polynomial Entries -- Similarity of Matrices -- The Spectral Theorem
ISBN:9780817644468
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Matrix theory , Algebra , Applied mathematics , Engineering mathematics , Economic theory , Mathematics , Linear and Multilinear Algebras, Matrix Theory , Math Applications in Computer Science , Mathematics of Computing , Appl.Mathematics/Computational Methods of Engineering , Economic Theory/Quantitative Economics/Mathematical Methods
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1993-9781461383789:ONLINE Show nearby items on shelf
Title:MacMath 9.2 A Dynamical Systems Software Package for the Macintosh™
Author(s): John H Hubbard
Date:1993
Size:1 online resource (162 p.)
Note:10.1007/978-1-4613-8378-9
ISBN:9781461383789
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computer science , Statistical physics , Dynamical systems , Physics , Statistical Physics, Dynamical Systems and Complexity , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1993-9781461209034:ONLINE Show nearby items on shelf
Title:The Joy of Sets Fundamentals of Contemporary Set Theory
Author(s): Keith Devlin
Date:1993
Edition:Second Edition
Size:1 online resource (194 p.)
Note:10.1007/978-1-4612-0903-4
Contents:1 Naive Set Theory -- 1.1 What is a Set? -- 1.2 Operations on Sets -- 1.3 Notation for Sets -- 1.4 Sets of Sets -- 1.5 Relations -- 1.6 Functions -- 1.7 Well-Or der ings and Ordinals -- 1.8 Problems -- 2 The Zermelo—Fraenkel Axioms --
2.1 The Language of Set Theory -- 2.2 The Cumulative Hierarchy of Sets -- 2.3 The Zermelo—Fraenkel Axioms -- 2.4 Classes -- 2.5 Set Theory as an Axiomatic Theory -- 2.6 The Recursion Principle -- 2.7 The Axiom of Choice -- 2.8 Problems
-- 3 Ordinal and Cardinal Numbers -- 3.1 Ordinal Numbers -- 3.2 Addition of Ordinals -- 3.3 Multiplication of Ordinals -- 3.4 Sequences of Ordinals -- 3.5 Ordinal Exponentiation -- 3.6 Cardinality, Cardinal Numbers -- 3.7 Arithmetic of
Cardinal Numbers -- 3.8 Regular and Singular Cardinals -- 3.9 Cardinal Exponentiation -- 3.10 Inaccessible Cardinals -- 3.11 Problems -- 4 Topics in Pure Set Theory -- 4.1 The Borel Hierarchy -- 4.2 Closed Unbounded Sets -- 4.3
Stationary Sets and Regressive Functions -- 4.4 Trees -- 4.5 Extensions of Lebesgue Measure -- 4.6 A Result About the GCH -- 5 The Axiom of Constructibility -- 5.1 Constructible Sets -- 5.2 The Constructible Hierarchy -- 5.3 The Axiom
of Constructibility -- 5.4 The Consistency of V = L -- 5.5 Use of the Axiom of Constructibility -- 6 Independence Proofs in Set Theory -- 6.1 Some Undecidable Statements -- 6.2 The Idea of a Boolean-Valued Universe -- 6.3 The
Boolean-Valued Universe -- 6.4 VB and V -- 6.5 Boolean-Valued Sets and Independence Proofs -- 6.6 The Nonprovability of the CH -- 7 Non-Well-Founded Set Theory -- 7.1 Set-Membership Diagrams -- 7.2 The Anti-Foundation Axiom -- 7.3 The
Solution Lemma -- 7.4 Inductive Definitions Under AFA -- 7.5 Graphs and Systems -- 7.6 Proof of the Solution Lemma -- 7.7 Co-Inductive Definitions -- 7.8 A Model of ZF- +AFA -- Glossary of Symbols
ISBN:9781461209034
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1993-9781461203254:ONLINE Show nearby items on shelf
Title:Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday
Author(s):
Date:1993
Size:1 online resource (816 p.)
Note:10.1007/978-1-4612-0325-4
Contents:The Work of Anil Nerode: A Retrospective -- Embedding Distributive Lattices Preserving 1 Below A Nonzero Recursively Enumerable Turing Degree -- Prime Isols and the Theorems of Fermat and Wilson -- Problem Solving Strategies for the
Derivation of Programs -- Effective Real Dynamics -- An Integer Lattice Arising in the Model Theory of Wreath Products -- Undecidability and Definability for Parametrized Polynomial Time m-Reducibilities -- Extracting Programs from
Proofs by an Extension of the Curry-Howard Process -- A Bird’s-Eye View of Twilight Combinatorics -- Effectively and Noneffectively Nowhere Simple Subspaces -- Index Sets in Recursive Combinatorics -- Computability in Unitary
Representations of Compact Groups -- Recursive Properties of Intervals of Recursive Linear Orders -- Algorithmic Stability of Models -- The Combinatorics of the Friedberg-Muchnick Theorem -- Partial Automata and Finitely Generated
Congruences: An Extension of Nerode’s Theorem -- Minimal Pair Constructions and Iterated Trees of Strategies -- Intuitionistic L -- n-Recursive Linear Orders Without (n + 1)-Recursive Copies -- Multiple Agent Autonomous Control — A
Hybrid Systems Architecture -- Distributed Concurrent Programs as Strategies in Games -- Dempster-Shafer Logic Programs and Stable Semantics -- Who Put the “Back” in Back-and-Forth? -- Polynomial Time Categoricity and Linear Orderings
-- The Disjunction and Numerical Existence Properties for Intuitionistic Analysis -- On the Strength of Fraïssé’s Conjecture
ISBN:9781461203254
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic : 12
Keywords: Computer science , Computer logic , Mathematical logic , Computer science , Applied mathematics , Engineering mathematics , Computer Science , Math Applications in Computer Science , Applications of Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages , Logics and Meanings of Programs
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9783540475002:ONLINE Show nearby items on shelf
Title:Design of Survivable Networks
Author(s): Mechthild Stoer
Date:1992
Size:1 online resource (204 p.)
Note:10.1007/BFb0088963
Contents:Motivation -- Network survivability models using node types -- Survivable network design under connectivity constraints — a survey -- Decomposition -- Basic inequalities -- Lifting theorems -- Partition inequalities -- Node partition
inequalities -- Lifted r-cover inequalities -- Comb inequalities -- How to find valid inequalities -- Implementation of the cutting plane algorithm -- Computational results
ISBN:9783540475002
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 1531
Keywords: Engineering , Chemometrics , Computer science , System theory , Calculus of variations , Probabilities , Applied mathematics , Engineering mathematics , Engineering , Appl.Mathematics/Computational Methods of Engineering , Mathematics of Computing , Probability Theory and Stochastic Processes , Systems Theory, Control , Calculus of Variations and Optimal Control Optimization , Math. Applications in Chemistry
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9780817648442:ONLINE Show nearby items on shelf
Title:Linear Programming
Author(s): Howard Karloff
Date:1991
Edition:1
Size:1 online resource (144 p.)
Note:10.1007/978-0-8176-4844-2
Contents:The Basics -- The Simplex Algorithm -- Duality -- The Ellipsoid Algorithm -- Karmarkar’s Algorithm
ISBN:9780817648442
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Computer programming , Programming languages (Electronic computers) , Algorithms , Computer science , Applied mathematics , Engineering mathematics , Computer mathematics , Computer Science , Programming Techniques , Applications of Mathematics , Programming Languages, Compilers, Interpreters , Math Applications in Computer Science , Computational Mathematics and Numerical Analysis , Algorithm Analysis and Problem Complexity
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1985-9783540393658:ONLINE Show nearby items on shelf
Title:Recent Mathematical Methods in Dynamic Programming Proceedings of the Conference held in Rome, Italy, March 26–28, 1984
Author(s):
Date:1985
Size:1 online resource (204 p.)
Note:10.1007/BFb0074776
Contents:The time optimal control of variational inequalities. dynamic programming and the maximum principle -- Some singular perturbation problems arising in stochastic control -- Some results on stationary Bellman equation in Hilbert spaces
-- A stochastic control approach to some large deviations problems -- Towards an expert system in stochastic control: Optimization in the class of local feedbacks -- Optimal control and viscosity solutions -- Some control problems of
degenerate diffusions with unbounded cost -- On some stochastic optimal impulse control problems -- Approximation of Hamilton-Jacobi-Bellman equation in deterministic control theory. An application to energy production systems --
Dynamic programming for optimal control problems with terminal constraints
ISBN:9783540393658
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 1119
Keywords: Computer science , Computer science , Computer Science , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1983-9783642688744:ONLINE Show nearby items on shelf
Title:Mathematical Programming The State of the Art Bonn 1982
Author(s):
Date:1983
Size:1 online resource (658 p.)
Note:10.1007/978-3-642-68874-4
Contents:I. About the XIth International Symposium on Mathematical Programming -- Program and Organizing Committee -- Welcoming Addresses -- List of Sponsors -- The Fulkerson Prize and the Dantzig Prize 1982 -- II. Mathematical Programming:
The State of the Art — Bonn 1982 -- Predictor-Corrector and Simplicial Methods for Approximating Fixed Points and Zero Points of Nonlinear Mappings -- Polyhedral Theory and Commutative Algebra -- Reminiscences About the Origins of
Linear Programming -- Penalty Functions -- Applications of the FKG Inequality and its Relatives -- Semi-Infinite Programming and Applications -- Applications of Matroid Theory -- Recent Results in the Theory of Machine Scheduling --
Submodular Functions and Convexity -- Recent developments in Algorithms and Software for Trust Region Methods -- Variable Metric Methods for Constrained Optimization -- Polyhedral Combinatorics -- Generalized Equations -- Generalized
Subgradients in Mathematical Programming -- Nondegeneracy Problems in Cooperative Game Theory -- Conic Methods for Unconstrained Minimization and Tensor Methods for Nonlinear Equations -- Min-Max Results in Combinatorial Optimization
-- Generalized Gradient Methods of Non-Differentiable Optimization Employing Space Dilatation Operations -- The Problem of the Average Speed of the Simplex Method -- Solution of Large Linear Systems of Equations by Conjugate Gradient
Type Methods -- Stochastic Programming: Solution Techniques and Approximation Schemes -- III. Scientific Program -- IV. List of Authors
ISBN:9783642688744
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computers , Computer science , Convex geometry , Discrete geometry , Calculus of variations , Combinatorics , Economic theory , Mathematics , Combinatorics , Convex and Discrete Geometry , Calculus of Variations and Optimal Control Optimization , Theory of Computation , Math Applications in Computer Science , Economic Theory/Quantitative Economics/Mathematical Methods
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1969-9783662380253:ONLINE Show nearby items on shelf
Title:Integral Operators in the Theory of Linear Partial Differential Equations
Author(s): Stefan Bergman
Date:1969
Edition:Second Revised Printing
Size:1 online resource (145 p.)
Note:10.1007/978-3-662-38025-3
ISBN:9783662380253
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Ergebnisse der Mathematik und ihrer Grenzgebiete : N. F., 23
Keywords: Mathematics , Computer science , Difference equations , Functional equations , Physics , Mathematics , Difference and Functional Equations , Math Applications in Computer Science , 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

Return to the Fermilab Library catalog