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 COMPUTERS / COMPUTER ENGINEERING *END*INIT* use /tmp/qspiwww.webspi1/1939.15 QRY 131.225.70.96 . find keyword computers / computer engineering ( in books using www Cover Image This book is only available through interlibrary loan. (email library@fnal.gov if you would like this title added to the Library collection.)
Call number:TK7888.4.R66::1994 Show nearby items on shelf
Title:Transmission lines in computer engineering
Author(s): Sol Rosenstark
Date:1994
Publisher:McGraw-Hill, New York
Size:211
ISBN:0070539537
Series:Computer engineering series no. 8
Keywords: Electronic digital computers Circuits
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: ILL

Cover
Image
Call number:TK7885.7.R87::2011 Show nearby items on shelf
Title:VHDL for logic synthesis
Author(s): Andrew Rushton
Date:2011
Edition:3rd ed.
Publisher:Chichester, West Sussex, U.K. : Wiley
Size:466 p.
Contents:1.1. The VHDL Design Cycle -- 1.2. The Origins of VHDL -- 1.3. The Standardisation Process -- 1.4. Unification of VHDL Standards -- 1.5. Portability -- 2. Register-Transfer Level Design -- 2.1. The RTL Design Stages -- 2.2. Example Circuit -- 2.3. Identify the Data Operations -- 2.4. Determine the Data Precision -- 2.5. Choose Resources to Provide -- 2.6. Allocate Operations to Resources -- 2.7. Design the Controller -- 2.8. Design the Reset Mechanism -- 2.9. VHDL Description of the RTL Design -- 2.10. Synthesis
3.10.Worked Example -- 4. Basic Types -- 4.1. Synthesisable Types -- 4.2. Standard Types -- 4.3. Standard Operators -- 4.4. Type Bit -- 4.5. Type Boolean -- 4.6. Integer Types -- 4.7. Enumeration Types -- 4.8. Multi-Valued Logic Types -- 4.9. Records -- 4.10. Arrays -- 4.11. Aggregates, Strings and Bit-Strings -- 4.12. Attributes -- 4.13. More on Selected Signal Assignments -- 5. Operators -- 5.1. The Standard Operators -- 5.2. Operator
6.10. Top-Level Interface -- 7.Std_Logic_Arith -- 7.1. The Std_Logic_Arith Package -- 7.2. Contents of Std_Logic_Arith -- 7.3.Type Conversions -- 7.4. Constant Values -- 7.5. Mixing Types in Expressions -- 8. Sequential VHDL -- 8.1. Processes -- 8.2. Signal Assignments -- 8.3. Variables -- 8.4. If Statements -- 8.5. Case Statements -- 8.6. Latch Inference -- 8.7. Loops -- 8.8. Worked Example -- 9. Registers -- 9.1. Basic D-Type Register -- 9.2
ISBN:9780470688472
Keywords: VHDL (Computer hardware description language) , Logic design Data processing. , Computer-aided design. , Computers / Computer 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
Location: MAIN

Cover
Image
Call number:SPRINGER-2016-9783319283166:ONLINE Show nearby items on shelf
Title:An Introduction to Statistics with Python With Applications in the Life Sciences
Author(s): Thomas Haslwanter
Date:2016
Size:1 online resource (85 p.)
Note:10.1007/978-3-319-28316-6
Contents:Part I: Python and Statistics -- Why Statistics? -- Python -- Data Input -- Display of Statistical Data -- Part II: Distributions and Hypothesis Tests -- Background -- Distributions of One Variable -- Hypothesis Tests -- Tests of Means of Numerical Data -- Tests on Categorical Data -- Analysis of Survival Times -- Part III: Statistical Modelling -- Linear Regression Models -- Multivariate Data Analysis -- Tests on Discrete Data -- Bayesian Statistics -- Solutions -- Glossary -- Index
ISBN:9783319283166
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Statistics , Programming languages (Electronic computers) , Biostatistics , Computer mathematics , Statistics , Statistics and Computing/Statistics Programs , Statistics for Life Sciences, Medicine, Health Sciences , Biostatistics , Computational Science and Engineering , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9789401786225:ONLINE Show nearby items on shelf
Title:Computational Experiment Approach to Advanced Secondary Mathematics Curriculum [electronic resource]
Author(s): Sergei Abramovich
Date:2014
Publisher:Dordrecht : Springer Netherlands : Imprint: Springer
Size:1 online resource
Note:This book promotes the experimental mathematics approach in the context of secondary mathematics curriculum by exploring mathematical models depending on parameters that were typically considered advanced in the pre-digitaleducation era. This approac h, by drawing on the power of computers to perform numerical computations and graphical constructions, stimulates formal learning of mathematics through making sense of a computational experiment. It allowsone (in the spirit of Freudenthal) to bridge seri ous mathematical content and contemporary teaching practice. In other words, the notion of teaching experiment can be extended to include a true mathematical experiment. When usedappropriately, the approach creates conditions for collateral learning (in t he spirit of Dewey) to occur including the development of skills important for engineering applications of mathematics. In the context of a mathematics teachereducation program, this book addresses a call for the preparation of teachers capable of utilizi ng modern technology tools for the modeling-based teaching of mathematics with a focus on methods conducive to the improvement of the wholeSTEM education at the secondary level. By the same token, using the books pedagogy and its mathematical content in a pre-college classroom can assist teachers in introducing students to the ideas that develop the foundation ofengineering profession
Contents:Preface
1. Theoretical foundations of computational experiment approach to secondary mathematics
2. One
variable equations and inequalities: the unity of computational experiment and formal demonstration
3. Computationally supported study of quadratic functions depending on parameters
4. Computational experiment approach to equations with parameters
5. Inequalities with parameters as generators of new meanings
6. Computational experiments in trigonometry
7. Advancing stem education through temp: Geometric probabilities
8. Exploring topics in elementary number theory thr
ISBN:9789401786225
Series:eBooks
Series:SpringerLink
Series:Mathematics Education in the Digital Era, 2211-8136 : v3
Series:Mathematics and Statistics (Springer-11649)
Keywords: Education , Computer science Mathematics , Computer software , 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-2014-9783642549595:ONLINE Show nearby items on shelf
Title:A Primer on Scientific Programming with Python [electronic resource]
Author(s): Hans Petter Langtangen
Date:2014
Edition:4th ed. 2014
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics,numerical calculus, st atistics, physics, biology and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageousto study classical and numerical one-variable c alculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of scienceand engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science. From the reviews: Langtangen does an excellent job of introducing programming as a set of skills in problem solving. He guides the reader into thinking properly about producing program logic and data structures for modeling real-world problems using objectsand functions and embracing the object-oriented paradigm. Summing Up: Highly recommended. F. H. Wild III, Choice, Vol. 47 (8), April 2010 Those of us who have learned scientific programming in Python on the streets could be alittle jealous of students who have the opportunity to take a course out of Langtangens Primer. John D. Cook, The Mathematical Association of Am erica, September 2011 This book goes through Python in particular, and programmingin general, via tasks that scientists will likely perform. It contains valuable informationfor students new to scientific computing and would be the perfect bridge between a n introduction to programming and an advanced course onnumerical methods or computational science. Alex Small, IEEE, CiSE Vol. 14 (2), March/April 2012
Contents:Preface
Computing with Formulas
Loops and Lists
Functions and Branching
User Input and Error Handling
Array Computing and Curve Plotting
Dictionaries and Strings
Introduction to Classes
Random Numbers and Simple Games
Object
Oriented Programming
Sequences and Difference Equations
Introduction to Discrete Calculus
Introduction to Differential Equations
A Complete Differential Equation Project
Programming of Differential Equations
Debugging
Migrating Python to Compiled Code
Technical Topics
Bibliography
Index
ISBN:9783642549595
Series:eBooks
Series:SpringerLink
Series:Texts in Computational Science and Engineering, 1611-0994 : v6
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Software engineering , Computer science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9783319043258:ONLINE Show nearby items on shelf
Title:Scientific Computing - An Introduction using Maple and MATLAB [electronic resource]
Author(s): Walter Gander
Martin J Gander
Felix Kwok
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:Scientific computing is the study of how to use computers effectively to solve problems that arise from the mathematical modeling of phenomena in science and engineering. It is based on mathematics, numerical andsymbolic/algebraic computations and vi sualization. This book serves as an introduction to both the theory and practice of scientific computing, with each chapter presenting the basic algorithms that serve as the workhorses of manyscientific codes we explain both the theory behind these algori thms and how they must be implemented in order to work reliably in finite-precision arithmetic. The book includes many programs written in Matlab and Maple Maple isoften used to derive numerical algorithms, whereas Matlab is used to implement them. The t heory is developed in such a way that students can learn by themselves as they work through the text. Each chapter contains numerous examples andproblems to help readers understand the material hands-on
Contents:Why Study Scientific Computing?
Finite Precision Arithmetic
Linear Systems of Equations
Interpolation
Nonlinear Equations
Least Squares Problems
Eigenvalue Problems
Differentiation
Quadrature
Numerical Ordinary Differential Equations
Iterative Methods for Linear Systems
Optimization
Bibliography
Index
ISBN:9783319043258
Series:eBooks
Series:SpringerLink
Series:Texts in Computational Science and Engineering, 1611-0994 : v11
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Algorithms , Computer science , Computer software , Numerical analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9783319024356:ONLINE Show nearby items on shelf
Title:Basic Concepts in Computational Physics [electronic resource]
Author(s): Benjamin A. Stickler
Ewald Schachinger
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:With the development of ever more powerful computers a new branch of physics and engineering evolved over the last few decades: Computer Simulation or Computational Physics. It serves two main purposes: - Solution of complexmathematical problems such as, differential equations, minimization/optimization, or high-dimensional sums/integrals. - Direct simulation of physical processes, as for instance, molecular dynamics or Monte-Carlo simulation ofphysical/chemical/technical processes. Consequently, the book is divided into two main parts: Deterministic methods and stochastic methods. Based on concrete problems, the first part discusses numerical differentiation and integration,and the treatment of ordinary differential equations. This is augmented by n otes on the numerics of partial differential equations. The second part discusses the generation of random numbers, summarizes the basics of stochastics whichis then followed by the introduction of various Monte-Carlo (MC) methods. Specific emphasis is on MARKOV chain MC algorithms. All this is again augmented by numerous applications from physics. The final two chapters on Data Analysisand Stochastic Optimization share the two main topics as a common denominator. The book offers a number of appendices to provide the reader with more detailed information on various topics discussed in the main part. Nevertheless, thereader should be familiar with the most important concepts of statistics and probability theory albeit two appendices have been dedicated to provide a rudimentary discussion
Contents:Some Basic Remarks
Part I Deterministic Methods: Numerical Differentiation
Numerical Integration
The KEPLER Problem
Ordinary Differential Equations Initial Value Problems
The Double Pendulum
Molecular Dynamics
Numerics of Ordinary Differential Equations
Boundary Value Problems
The One
Dimensional Stationary Heat Equation
The One
Dimensional Stationary SCHRDINGER Equation
Numerics of Partial Differential Equations
Part II Stochastic Methods
Pseudo Random Number Generators
Random Sampling Methods
A Brief Introduction to Monte
Carlo Methods
The
ISBN:9783319024356
Series:eBooks
Series:SpringerLink
Series:Physics and Astronomy (Springer-11651)
Keywords: Chemistry , Computer science Mathematics , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9783642352751:ONLINE Show nearby items on shelf
Title:Domain Decomposition Methods in Science and Engineering XX [electronic resource]
Author(s): Randolph Bank
Michael Holst
Olof Widlund
Jinchao Xu
Date:2013
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:These are the proceedings of the 20th international conference on domain decomposition methods in science and engineering. Domain decomposition methods are iterative methods for solving the often very large linearor nonlinearsystems of algebraic equa tions that arise when various problems in continuum mechanics are discretized using finite elements. They are designed for massively parallel computers and take the memory hierarchy of such systems in mind.This is essential for approaching peak floating p oint performance. There is an increasingly well developed theory whichis having a direct impact on the development and improvements of these algorithms
Note:Springer eBooks
Contents:Preface
Part I: Plenary Presentations
Part II: Minisymposia
Part III: Contributed Presentations
ISBN:9783642352751
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Computational Science and Engineering, 1439-7358 : v91
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer aided design , Differential equations, partial , Computer science Mathematics , Computer science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642302930:ONLINE Show nearby items on shelf
Title:A Primer on Scientific Programming with Python [electronic resource]
Author(s): Hans Petter Langtangen
Date:2012
Edition:3rd ed. 2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example- and problem-oriented, where the applications are taken from mathematics,numerical calculus, s tatistics, physics, biology, and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background, and it isadvantageous to study classical and numerical one-variabl e calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in variousbranches of science and engineering, with the aid of numerical methods and programmi ng. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science.
Note:Springer eBooks
Contents:Preface
Computing with Formulas
Loops and Lists
Functions and Branching
Input Data and Error Handling
Array Computing and Curve Plotting
Files, Strings and Dictionaries
Introduction to Classes
Random Numbers and Simple Games
Object
Oriented Programming
Sequences and Difference Equations
Introduction to Discrete Calculus
Introduction to Differential Equations
A Complete Differential Equation Project
Programming of Differential Equations
Debugging
Migrating Python to Compiled Code
Technical Topics
Bibliography
Index
ISBN:9783642302930
Series:e-books
Series:SpringerLink (Online service)
Series:Texts in Computational Science and Engineering, 1611-0994 : v6
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Software engineering , Computer science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9783642194955:ONLINE Show nearby items on shelf
Title:Fundamentals of Scientific Computing [electronic resource]
Author(s): Bertil Gustafsson
Date:2011
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book of nature is written in the language of mathematics -- Galileo Galilei How is it possible to predict weather patterns for tomorrow, with access solely to todays weather data? And how is it possible to predict theaerodynamic behavior of an a ircraft that has yet to be built? The answer is computer simulations based on mathematical models sets of equations that describe the underlying physical properties. However, these equations areusually much too complicated to solve, either by the smarte st mathematician or the largest supercomputer. This problem is overcome by constructing an approximation: a numerical model with a simpler structure can be translated into aprogram that tells the computer how to carry out the simulation. This book conveys the fundamentals of mathematical models, numerical methods and algorithms. Opening with a tutorial on mathematical models and analysis, it proceeds tointroduce the most important classes of numerical methods, with finite element, finite difference and sp ectral methods as central tools. The concluding section describes applications in physics and engineering, including wavepropagation, heat conduction and fluid dynamics. Also covered are the principles of computers and programming, including MATLAB
Note:Springer eBooks
Contents:Part I Models and elementary mathematics
Part II Fundamentals in numerical analysis
Part III Numerical methods for differential equations
Part IV Numerical methods for algebraic equations
Part V Applications
References
Index
ISBN:9783642194955
Series:e-books
Series:SpringerLink (Online service)
Series:Texts in Computational Science and Engineering, 1611-0994 : v8
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer simulation , Biology Data processing , Computer science Mathematics , Computer science , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9783642183669:ONLINE Show nearby items on shelf
Title:A Primer on Scientific Programming with Python [electronic resource]
Author(s): Hans Petter Langtangen
Date:2011
Edition:2nd Edition
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example- and problem-oriented, where the applications are taken from mathematics,numerical calculus, s tatistics, physics, biology, and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background, and it isadvantageous to study classical and numerical one-variabl e calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in variousbranches of science and engineering, with the aid of numerical methods and programmi ng. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science
Note:Springer eBooks
Contents:Computing with Formulas
Loops and Lists
Functions and Branching
Input Data and Error Handling
Array Computing and Curve Plotting
Files, Strings and Dictionaries
Introduction to Classes
Random Numbers and Simple Games
Object
Oriented Programming
Sequences and Difference Equations
Introduction to Discrete Calculus
Introduction to Differential Equations
A Complete Differential Equation Project
Programming of Differential Equations
Debugging
TechnicalTopics
Bibliography
Index
ISBN:9783642183669
Series:e-books
Series:SpringerLink (Online service)
Series:Texts in Computational Science and Engineering, 1611-0994 : v6
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Software engineering , Computer science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9783642113048:ONLINE Show nearby items on shelf
Title:Domain Decomposition Methods in Science and Engineering XIX [electronic resource]
Author(s): Yunqing Huang
Ralf Kornhuber
Olof Widlund
Jinchao Xu
Date:2011
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:These are the proceedings of the 19th international conference on domain decomposition methods in science and engineering. Domain decomposition methods are iterative methods for solving the often very large linear or nonlinearsystems of algebraic equ ations that arise in various problems in mathematics, computational science, engineering and industry. They are designed for massively parallel computers and take the memory hierarchy of such systems intoaccount. This is essential for approaching peak flo ating point performance. There is an increasingly well-developed theory which is having a direct impact on the development and improvement of these algorithms
Note:Springer eBooks
ISBN:9783642113048
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Computational Science and Engineering, 1439-7358 : v78
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Computer science Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9783642138720:ONLINE Show nearby items on shelf
Title:High Performance Computing in Science and Engineering, Garching/Munich 2009 [electronic resource] : Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre,Garching/Munich, Germany / edited by Siegfried Wagner, Matthias Steinmetz, Arndt Bode, Markus Michael Mller
Author(s): Siegfried Wagner
Matthias Steinmetz
Arndt Bode
Markus Michael Mller
Date:2010
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book presents selected project results obtained at the current High-Performance Computer in Bavaria (HLRB II). The research areas covered include Computer Sciences, Computational Fluid Dynamics, Astrophysics, High-EnergyPhysics, Geo Sciences, Co ndensed Matter Physics, Chemistry, and Bio Sciences. Thus, the book provides an overview of the broad range of applications requiring high-performance computers to solve challenging numerical problems. Eachproject description includes information on the r espective scientific background, results achieved and methods used. The book also offers insights into the performance, scalability, and latest enhancements of the applicationsemployed
Note:Springer eBooks
ISBN:9783642138720
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Chemistry , Computer science , Computer science Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9783642026775:ONLINE Show nearby items on shelf
Title:Domain Decomposition Methods in Science and Engineering XVIII [electronic resource]
Author(s): Michel Bercovier
Martin J Gander
Ralf Kornhuber
Olof Widlund
Date:2009
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:These are the proceedings of the 18th international conference on domain decomposition methods in science and engineering, held in Jerusalem, January 12-17, 2008. Domain decomposition methods are iterative methods for solving theoften very large line ar or nonlinear systems of algebraic equations that arise when various problems in continuum mechanics are discretized using finite elements. They are designed for massively parallel computers and take the memoryhierarchy of such systems into account. Thi s is essential for approaching peak floating point performance. There is an increasingly well developed theory which is having a direct impact on the development and improvements of thesealgorithms
Note:Springer eBooks
ISBN:9783642026775
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Computational Science and Engineering, 1439-7358 : v70
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Computer science Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9783642024757:ONLINE Show nearby items on shelf
Title:A Primer on Scientific Programming with Python [electronic resource]
Author(s): Hans Petter Langtangen
Date:2009
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example- and problem-oriented, where the applications are taken from mathematics,numerical calculus, s tatistics, physics, biology, and finance. The book teaches Matlab-style and procedural programming as well as object-oriented programming. High school mathematics is a required background, and it isadvantageous to study classical and numerical one-variabl e calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in variousbranches of science and engineering, with the aid of numerical methods and programmi ng. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science
Note:Springer eBooks
ISBN:9783642024757
Series:e-books
Series:SpringerLink (Online service)
Series:Texts in Computational Science and Engineering, 1611-0994 : v6
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Software engineering , Computer science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9783540887027:ONLINE Show nearby items on shelf
Title:Post-Quantum Cryptography [electronic resource]
Author(s): Daniel J Bernstein
Johannes Buchmann
Erik Dahmen
Date:2009
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Quantum computers will break today's most popular public-key cryptographic systems, including RSA, DSA, and ECDSA. This book introduces the reader to the next generation of cryptographic algorithms, the systems that resistquantum-computer attacks: in particular, post-quantum public-key encryption systems and post-quantum public-key signature systems. Leading experts have joined forces for the first time to explain the state of the art in quantumcomputing, hash-based cryptography, code-based cryptogra phy, lattice-based cryptography, and multivariate cryptography. Mathematical foundations and implementation issues are included. This book is an essential resource for studentsand researchers who want to contribute to the field of post-quantum cryptograph y
Note:Springer eBooks
Contents:to post
quantum cryptography
Quantum computing
Hash
based Digital Signature Schemes
Code
based cryptography
Lattice
based Cryptography
Multivariate Public Key Cryptography
ISBN:9783540887027
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Data encryption (Computer science) , Information theory , Computer science , Number theory , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9780387981444:ONLINE Show nearby items on shelf
Title:Computational Statistics [electronic resource]
Author(s): James E Gentle
Date:2009
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Computational inference has taken its place alongside asymptotic inference and exact techniques in the standard collection of statistical methods. Computational inference is based on an approach to statistical methods that usesmodern computational po wer to simulate distributional properties of estimators and test statistics. This book describes computationally-intensive statistical methods in a unified presentation, emphasizing techniques, such as the PDFdecomposition, that arise in a wide range of m ethods. The book assumes an intermediate background in mathematics, computing, and applied and theoretical statistics. The first part of the book, consisting of a single long chapter,reviews this background material while introducing computationally-inten sive exploratory data analysis and computational inference. The six chapters in the second part of the book are on statistical computing. This part describesarithmetic in digital computers and how the nature of digital computations affects algorithms used in statistical methods. Building on the first chapters on numerical computations and algorithm design, the following chapters cover themain areas of statistical numerical analysis, that is, approximation of functions, numerical quadrature, numerical line ar algebra, solution of nonlinear equations, optimization, and random number generation. The third and fourth partsof the book cover methods of computational statistics, including Monte Carlo methods, randomization and cross validation, the bootstrap, pro bability density estimation, and statistical learning. The book includes a large number ofexercises with some solutions provided in an appendix. James E. Gentle is University Professor of Computational Statistics at George Mason University. He is a Fellow of the American Statistical Association (ASA) and of the AmericanAssociation for the Advancement of Science. He has held several national offices in the ASA and has served as associate editor of journa
Note:Springer eBooks
Contents:Preliminaries
Mathematical and Statistical Preliminaries
Statistical Computing
Computer Storage and Arithmetic
Algorithms and Programming
Approximation of Functions and Numerical Quadrature
Numerical Linear Algebra
Solution of Nonlinear Equations and Optimization
Generation of Random Numbers
Methods of Computational Statistics
Graphical Methods in Computational Statistics
Tools for Identification of Structure in Data
Estimation of Functions
Monte Carlo Methods for Statistical Inference
Data Randomization, Partitioning, and Augmentation
Bootstrap Met
ISBN:9780387981444
Series:e-books
Series:SpringerLink (Online service)
Series:Statistics and Computing, 1431-8784
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Electronic data processing , Data mining , Computer simulation , Numerical analysis , Mathematical statistics , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9783540757122:ONLINE Show nearby items on shelf
Title:Hyperbolic Problems: Theory, Numerics, Applications [electronic resource]
Author(s): Sylvie Benzoni-Gavage
Denis Serre
Date:2008
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This volume contains papers that were presented at HYP2006, the eleventh international Conference on Hyperbolic Problems: Theory, Numerics and Applications held at the Ecole Normale Suprieure de Lyon, France, July 17-21, 2006.This biennial series of conferences has become one of the most important international events in Applied Mathematics. As computers became more and more powerful, the interplay between theory, modelling, and numerical algorithms gainedconsiderable impact, and the scope of HYP con ferences expanded accordingly. The field is currently in interaction with a variety of scientific domains, including fluid dynamics, physics, electromagnetism, chemistry, biology, road andnetwork traffic, and engineering. Many of these papers present new effective numerical methods and their application in various contexts
Note:Springer eBooks
ISBN:9783540757122
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Differential equations, partial , Computer science Mathematics , Numerical analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9781848002739:ONLINE Show nearby items on shelf
Title:Codes: An Introduction to Information Communication and Cryptography [electronic resource]
Author(s): N.L Biggs
Date:2008
Publisher:London : Springer London
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Information is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle it, for example, mobile phones, digital cameras, and personal computers. This book is an integratedintroduction to the mathema tics of coding, that is, replacing information expressed in symbols, such as a natural language or a sequence of bits, by another message using (possibly) different symbols. There are three main reasons fordoing this: economy, reliability, and security, a nd each is covered in detail. Only a modest mathematical background is assumed, the mathematical theory being introduced at a level that enables the basic problems to be statedcarefully, but without unnecessary abstraction. Other features include: clear a nd careful exposition of fundamental concepts, including optimal coding, data compression, and public-key cryptography concise but complete proofs ofresults coverage of recent advances of practical interest, for example in encryption standards, authentica tion schemes, and elliptic curve cryptography numerous examples and exercises, and a full solutions manual available tolecturers from www.springer.com This modern introduction to all aspects of coding is suitable for advanced undergraduate or postgraduate courses in mathematics, computer science, electrical engineering, or informatics. It is alsouseful for researchers and practitioners in related areas of science, engineering and economics
Note:Springer eBooks
Contents:Coding and its uses
Prefix
free codes
Economical coding
Data compression
Noisy channels
The problem of reliable communication
The noisy coding theorems
Linear codes
Algebraic coding theory
Coding natural languages
The development of cryptography
Cryptography in theory and practice
The RSA cryptosystem
Cryptography and calculation
Elliptic curve cryptography
Answers to odd
numbered exercises
Index
ISBN:9781848002739
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Undergraduate Mathematics Series, 1615-2085
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Data structures (Computer science) , Coding theory , Combinatorics , Number theory , Telecommunication
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-9783540344698:ONLINE Show nearby items on shelf
Title:Domain Decomposition Methods in Science and Engineering XVI [electronic resource]
Author(s): Olof B Widlund
David E Keyes
Date:2007
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Domain decomposition is an active, interdisciplinary research area concerned with the development, analysis, and implementation of coupling and decoupling strategies in mathematical and computational models of natural andengineered systems. Since the advent of hierarchical distributed memory computers, it has been motivated by considerations of concurrency and locality in a wide variety of large-scale problems, continuous and discrete. Historically, itemerged from the analysis of partial differential equations, beginning with the work of Schwarz in 1870. The present volume sets forth new contributions in areas of numerical analysis, computer science, scientific and industrialapplications, and software development
Note:Springer eBooks
Contents:Plenary Presentations
Minisymposia
Contributed Presentations
ISBN:9783540344698
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Computational Science and Engineering, 1439-7358 : v55
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Computer science Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9781402056567:ONLINE Show nearby items on shelf
Title:Extreme Man-Made and Natural Hazards in Dynamics of Structures [electronic resource]
Author(s): Adnan Ibrahimbegovic
Ivica Kozar
Date:2007
Publisher:Dordrecht : Springer Netherlands
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book provides a critical assessment of the current knowledge and indicates new challenges which are brought about at present times by fighting man-made and natural hazards in transient analysis of structures. The latterconcerns both permanently f ixed structures, such as those built to protect people and/or sensitive storage material (e.g. military installations) or special structures found in transportation systems (e.g. bridges, tunnels), and movingstructures (such as trains, planes, ships or ca rs). The present threat of terrorist attacks or accidental explosions, the climate change which brings strong stormy winds or even the destructive earthquake motion that occurs inpreviously inactive regions or brings about tsunamis, are a few examples of the kind of applications addressed in this work. Problems of such diversity cannot be placed within a single traditional scientific discipline, but call forthe expertise in probability theory for quantifying the cause, interaction problems for better unde rstanding the physical nature of the problems, as well as modeling and computational techniques for improving the representation ofinelastic behavior mechanisms and providing the optimal design
Note:Springer eBooks
Contents:NUMERICAL MODELLING AND DYNAMICS OF COMPLEX STRUCTURES
COMPUTATIONAL ISSUES IN THE SIMULATION OF BLAST AND IMPACT PROBLEMS: AN INDUSTRIAL PERSPECTIVE
NONLINEAR TRANSIENT ANALYSIS AND DESIGN OF COMPLEX ENGINEERING STRUCTURES FOR WORST CASE ACCIDENTS : EXPERIENCE FROM INDUSTRIAL AND MILITARY APPLICATIONS
ON RELIABLE FINITE ELEMENT METHODS FOR EXTREME LOADING CONDITIONS
PROBABILITY ASPECTS, DESIGN AND UNCERTAINTY
QUANTIFYING UNCERTAINTY: MODERN COMPUTATIONAL REPRESENTATION OF PROBABILITY AND APPLICATIONS
OPTIMUM PERFORMANCE
BASED RELIABILITY DESIGN OF STRUCTURES
FIRE AND EXPL
ISBN:9781402056567
Series:e-books
Series:SpringerLink (Online service)
Series:NATO Security through Science Series, 1874-6578
Series:Physics and Astronomy (Springer-11651)
Keywords: Operating systems (Computers) , Computer science , Distribution (Probability theory) , Thermodynamics , Vibration
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-9780387688558:ONLINE Show nearby items on shelf
Title:Numerical Methods for Laplace Transform Inversion [electronic resource]
Author(s): Alan M Cohen
Date:2007
Publisher:Boston, MA : Springer US
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Operational methods have been used for over a century to solve many problemsfor example, ordinary and partial differential equations. In many problems it is fairly easy to obtain the Laplace transform, but it can be verydemanding to determine the inv erse Laplace transform that is the solution of the given problem. Sometimes, after some difficult contour integration, we find that a series solution results, but even this may be quite difficult toevaluate in order to get an answer at a particular time v alue. The advent of computers has given an impetus to developing numerical methods for the determination of the inverse Laplace transform. This book gives background material onthe theory of Laplace transforms together with a comprehensive list of methods that are available at the current time. Computer programs are included for those methods that perform consistently well on a wide range of Laplacetransforms. Audience This book is intended for engineers, scientists, mathematicians, statisticians and fina ncial planners
Note:Springer eBooks
Contents:Preface
Acknowledgments
Notation
Basic Results
Inversion Formulae and Practical Results
The Method of Series Expansion
Quadrature Methods
Rational Approximation Methods
The Method of Talbot
Methods Based on the Post
Widder Inversion Formula
The Method of Regularization
Survey Results
Applications
Appendix
Index
ISBN:9780387688558
Series:e-books
Series:SpringerLink (Online service)
Series:Numerical Methods and Algorithms, 1571-5698 : v5
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Integral Transforms , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9783540334378:ONLINE Show nearby items on shelf
Title:Computing the Electrical Activity in the Heart [electronic resource]
Author(s): Joakim Sundnes
Glenn Terje Lines
Xing Cai
Bjrn Fredrik Nielsen
Kent-Andre Mardal
Aslak Tveito
Date:2006
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. The book gives an introduction to the most important models of the field, followed by a detailed description ofnumerical techniques for the models. Particular focus is on efficient numerical methods for large scale simulations on both scalar and parallel computers. The results presented in the book will be of particular interest to researchersin bioengineering and computational biolog y, who face the challenge of solving these complex mathematical models efficiently. The book will also serve as a valuable introduction to a new and exciting field for computational scientistsand applied mathematicians
Note:Springer eBooks
ISBN:9783540334378
Series:e-books
Series:SpringerLink (Online service)
Series:Monographs in Computational Science and Engineering, 1863-0111 : v1
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Cardiology , Biology Data processing , Physiology Mathematics , Computer science , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9783540316190:ONLINE Show nearby items on shelf
Title:Numerical Solution of Partial Differential Equations on Parallel Computers [electronic resource]
Author(s): Are Magnus Bruaset
Aslak Tveito
Date:2006
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book surveys the major topics that are essential to high-performance simulation on parallel computers or computational clusters. These topics, including programming models, load balancing, mesh generation, efficient numericalsolvers, and scienti fic software, are vital ingredients in the research fields of computer science, numerical analysis, and scientific computing. In addition to presenting the technological basis, this volume addresses selectedapplications that combine different techniques i n order to meet demanding computational challenges. Through contributions from a wide range of internationally acknowledged experts, this book gives a to-the-point and self-containingoverview of efficient ways to deal with large-scale simulation problems
Note:Springer eBooks
ISBN:9783540316190
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Computational Science and Engineering, 1439-7358 : v51
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Differential equations, partial , Computer science Mathematics , Mathematical physics , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2005-9783540270669:ONLINE Show nearby items on shelf
Title:From Vectors to Tensors [electronic resource]
Author(s): Juan Ramn Ruz-Tolosa
Enrique Castillo
Date:2005
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This textbook, deals with tensors that are treated as vectors, and has a practical orientation. In addition to dealing with the classical topics of tensor books, new tensor concepts are introduced, such as the rotation of tensors,the transposer tenso r, the eigentensors, the permutation tensor structure, etc. The book covers an existing gap between the classic theory of tensors and the possibility of solving tensor problems with a computer. In fact, thecomputational algebra is formulated in matrix for m to facilitate its implementation on computers. For the first time tensor contraction is formulated in terms of matrix operations. A computer package , written in Mathematica, isavailable through Internet at: http://personales.unican.es/castie/tensors th at complements the book. In summary, the book is not a standard book on tensors because of its orientation, the many novel contributions included in it, thecareful notation and the stretching-condensing techniques used for most of the transformations used in the book
Note:Springer eBooks
Contents:Tensor Spaces
Introduction to Tensors
Homogeneous Tensors
Change of Basis in Tensor Spaces
Homogeneous Tensor Algebra: Tensor Homomorphisms
Symmetric Homogeneous Tensors
Anti
symmetric Homogeneous Tensors
Pseudotensors, Modular, Relative or Weighted Tensors
Exterior Algebras
Mixed Exterior Algebras
Euclidean Homogeneous Tensors
Modular Tensors Over Euclidean Spaces
Euclidean Exterior Algebra
Affine Tensors
ISBN:9783540270669
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Matrix theory , Mathematical physics , Engineering mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783642593048:ONLINE Show nearby items on shelf
Title:MuPAD Tutorial
Author(s): Christopher Creutzig
Date:2004
Edition:Second Edition
Size:1 online resource (415 p.)
Note:10.1007/978-3-642-59304-8
Contents:1. Introduction -- 1.1 Numerical Computations -- 1.2 Computer Algebra -- 1.3 Characteristics of Computer Algebra Systems -- 1.4 Existing Systems -- 1.5 MuPAD -- 2. First Steps in MuPAD -- 2.1 Explanations and Help -- 2.2 Computing
with Numbers -- 2.3 Symbolic Computation -- 3. The MuPAD Libraries -- 3.1 Information About a Particular Library -- 3.2 Exporting Libraries -- 3.3 The Standard Library -- 4. MuPAD Objects -- 4.1 Operands: the Functions op and fops --
4.2 Numbers -- 4.3 Identifiers -- 4.4 Symbolic Expressions -- 4.5 Sequences -- 4.6 Lists -- 4.7 Sets -- 4.8 Tables -- 4.9 Arrays -- 4.10 Boolean Expressions -- 4.11 Strings -- 4.12 Functions -- 4.13 Series Expansions -- 4.14 Algebraic
Structures: Fields, Rings, etc. -- 4.15 Vectors and Matrices -- 4.16 Polynomials -- 4.17 Interval Arithmetic -- 4.18 Null Objects: null (), NIL, FAIL, undefined -- 5. Evaluation and Simplification -- 5.1 Identifiers and Their Values --
5.2 Complete, Incomplete, and Enforced Evaluation -- 5.3 Automatic Simplification -- 6. Substitution: subs, subsex, and subsop -- 7. Differentiation and Integration -- 7.1 Differentiation -- 7.2 Integration -- 8. Solving Equations:
solve -- 8.1 Polynomial Equations -- 8.2 General Equations and Inequalities -- 8.3 Differential Equations -- 8.4 Recurrence Equations -- 9. Manipulating Expressions -- 9.1 Transforming Expressions -- 9.2 Simplifying Expressions -- 9.3
Assumptions About Symbolic Identifiers -- 10. Chance and Probability -- 11. Graphics -- 11.1 Introduction -- 11.2 Easy Plotting: Graphs of Functions -- 11.3 Advanced Plotting: Principles and First Examples -- 11.4 The Full Picture:
Graphical Trees -- 11.5 Viewer, Browser, and Inspector: Interactive Manipulation -- 11.6 Primitives -- 11.7 Attributes -- 11.8 Colors -- 11.9 Animations -- 11.10 Groups of Primitives -- 11.11 Transformations -- 11.12 Legends -- 11.13
Fonts -- 11.14 Saving and Exporting Pictures -- 11.15 Importing Pictures -- 11.16 Cameras in 3D -- 11.17 Strange Effects in 3D? Accelerated OpenGL? -- 12. The History Mechanism -- 13. Input and Output -- 13.1 Output of Expressions --
13.2 Reading and Writing Files -- 14. Utilities -- 14.1 User-Defined Preferences -- 14.2 Information on MuPAD Algorithms -- 14.3 Restarting a MuPAD Session -- 14.4 Executing Commands of the Operating System -- 15. Type Specifiers --
15.1 The Functions type and testtype -- 15.2 Comfortable Type Checking: the Type Library -- 16. Loops -- 17. Branching: if-then-else and case -- 18. MuPAD Procedures -- 18.1 Defining Procedures -- 18.2 The Return Value of a Procedure
-- 18.3 Returning Symbolic Function Calls -- 18.4 Local and Global Variables -- 18.5 Subprocedures -- 18.6 Scope of Variables -- 18.7 Type Declaration -- 18.8 Procedures with a Variable Number of Arguments -- 18.9 Options: the Remember
Table -- 18.10 Input Parameters -- 18.11 Evaluation Within Procedures -- 18.12 Function Environments -- 18.13 A Programming Example: Differentiation -- 18.14 Programming Exercises -- A. Solutions to Exercises -- B. Documentation and
References -- C. Graphics Gallery -- D. Comments on the Graphics Gallery
ISBN:9783642593048
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Information technology , Business , Computers , Visualization , Computer software , Physics , Applied mathematics , Engineering mathematics , Mathematics , Mathematical Software , Information Systems and Communication Service , Visualization , Theoretical, Mathematical and Computational Physics , Appl.Mathematics/Computational Methods of Engineering , 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-2004-9780817681845:ONLINE Show nearby items on shelf
Title:Integral Methods in Science and Engineering Analytic and Numerical Techniques
Author(s):
Date:2004
Size:1 online resource (280 p.)
Note:10.1007/978-0-8176-8184-5
Contents:1 A Finite Volume Scheme for a Nonlinear Reaction- Diffusion PDE Arising in Combustion -- 2 High Perfomance Algorithms for Computing Nonsingular Jacobian-Free Piecewise Linearization of Differential Algebraic Equations -- 3 Multiple
Scattering of Water Waves by N Floating Bodies Using Boundary Integral Equation Methods Lahcene Bencheikh -- 4 An Application of Semigroup Theory to a Fragmentation Equation -- 5 Solution of a Sommerfeld Diffraction Problem with a Real
Wave Number -- 6 A Mixed BEM Applied to Scattering of Thermal Waves in Composite Materials -- 7 Stellar Atmosphere Modeling -- 8 Time-Dependent Bending of a Plate with Mixed Boundary Conditions -- 9 Finite-Difference Schemes for a
Nonlinear Parabolic Problem with Nonlocal Boundary Conditions -- 10 Absolute Stability for Neutral Systems with Infinite Delay -- 11 Large Scale Acoustic Simulations on Clusters of SMPs -- 12 Models for the Simulation of Electrostatic
Precipitators -- 13 A Method for Modeling Nonharmonic Periodic Acoustic Radiation from a Loudspeaker -- 14 Implicit Function Theorems and Discontinuous Implicit Differential Equations -- 15 Numerical Method for Solving Differential
Algebraic Equations by Power Series -- 16 On Hemivariational Inequalities in Coupled Thermoelasticity -- 17 Asymptotic Stability in Functional Differential Equations with Delay -- 18 On Optimal Stabilization of Nonautonomous Systems --
19 A New Superconvergent Projection Method -- 20 Spectral Approximation for Compact Integral Operators -- 21 Fundamental Solutions and Functionally Graded Materials -- 22 Applications of Fixed Point Theorems to a Chemical Reactor
Problem -- 23 About Localized Boundary-Domain Integro-Differential Formulations for a Quasilinear Problem with Variable Coefficients -- 24 Uniqueness for Inverse Inhomogeneous Transmission Problems in Lipschitz Domains -- 25 Analytic
Solution for an Enhanced Theory of Bending of Plates -- 26 On Stabilization of Solutions of Elliptic Equations Containing Bessel Operators -- 27 New Zonal, Spectral Solutions for Compressible Navier-Stokes Partial Differential
Equations -- 28 Crack Problems and Boundary Variational Inequalities -- 29 Spline Approximations for Weakly Singular Volterra Integro-Differential Equations -- 30 Hybrid Laplace and Poisson Solvers. II: Robin BCs -- 31 Vibrating
Systems with Many Concentrated Masses: on the Low Frequencies and the Local Problem -- 32 Terminal-Edge Algorithms: an Integrated Approach for Mesh Generation -- 33 On the Identifiability of a Geometric Inverse Problem of Parabolic
Type -- 34 Multiple Scattering Theory and Integral Equations -- 35 A Resonance Problem for a Second-Order Vector Differential Equation -- 36 Numerical Calculations for a Mullins-Sekerka Problem in 2D -- 37 On Anisotropic Elliptic
Equations in Bounded Domains -- 38 Uniqueness and Symmetry for Some Singular Ground State Problems in Rn, n?3 -- 39 Reduction of Computation in the Numerical Resolution of a Second-Kind Weakly Singular Fredholm Equation -- 40 A
Parallel Code for Integral Equations on a Cluster of Computers -- 41 Analytic Solution of the SN Equations by Integral Transform Technique -- 42 Integral Equation Methods for Scattering by Periodic Lipschitz Surfaces
ISBN:9780817681845
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Integral equations , Differential equations , Partial differential equations , Computer mathematics , Physics , Mechanics , Mechanics, Applied , Mathematics , Integral Equations , Ordinary Differential Equations , Partial Differential Equations , Computational Mathematics and Numerical Analysis , Numerical and Computational Physics , Theoretical and Applied Mechanics
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-9780387217796:ONLINE Show nearby items on shelf
Title:An Invitation to 3-D Vision From Images to Geometric Models
Author(s): Yi Ma
Date:2004
Size:1 online resource (528 p.)
Note:10.1007/978-0-387-21779-6
Contents:1 Introduction -- 1.1 Visual perception from 2-D images to 3-D models -- 1.2 A mathematical approach -- 1.3 A historical perspective -- I Introductory Material -- 2 Representation of a Three-Dimensional Moving Scene -- 3 Image
Formation -- 4 Image Primitives and Correspondence -- II Geometry of Two Views -- 5 Reconstruction from Two Calibrated Views -- 6 Reconstruction from Two Uncalibrated Views -- 7 Estimation of Multiple Motions from Two Views -- III
Geometry of Multiple Views -- 8 Multiple-View Geometry of Points and Lines -- 9 Extension to General Incidence Relations -- 10 Geometry and Reconstruction from Symmetry -- IV Applications -- 11 Step-by-Step Building of a 3-D Model from
Images -- 12 Visual Feedback -- V Appendices -- A Basic Facts from Linear Algebra -- A.1 Basic notions associated with a linear space -- A.1.1 Linear independence and change of basis -- A.1.2 Inner product and orthogonality -- A.1.3
Kronecker product and stack of matrices -- A.2 Linear transformations and matrix groups -- A.3 Gram-Schmidt and the QR decomposition -- A.4 Range, null space (kernel), rank and eigenvectors of a matrix -- A.5 Symmetric matrices and
skew-symmetric matrices -- A.6 Lyapunov map and Lyapunov equation -- A.7 The singular value decomposition (SVD) -- A.7.1 Algebraic derivation -- A.7.2 Geometric interpretation -- A.7.3 Some properties of the SVD -- B Least-Variance
Estimation and Filtering -- B.1 Least-variance estimators of random vectors -- B.1.1 Projections onto the range of a random vector -- B.1.2 Solution for the linear (scalar) estimator -- B.1.3 Affine least-variance estimator -- B.1.4
Properties and interpretations of the least-variance estimator -- B.2 The Kalman-Bucy filter -- B.2.1 Linear Gaussian dynamical models -- B.2.2 A little intuition -- B.2.3 Observability -- B.2.4 Derivation of the Kalman filter -- B.3
The extended Kalman filter -- C Basic Facts from Nonlinear Optimization -- C.1 Unconstrained optimization: gradient-based methods -- C.1.1 Optimality conditions -- C.1.2 Algorithms -- C.2 Constrained optimization: Lagrange multiplier
method. -- C.2.1 Optimality conditions -- C.2.2 Algorithms -- References -- Glossary of Notation
ISBN:9780387217796
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Interdisciplinary Applied Mathematics: 26
Keywords: Computer science , Computers , Computer graphics , Applied mathematics , Engineering mathematics , Geometry , Calculus of variations , Control engineering , Robotics , Mechatronics , Computer Science , Theory of Computation , Calculus of Variations and Optimal Control Optimization , Geometry , Applications of Mathematics , Computer Imaging, Vision, Pattern Recognition and Graphics , Control, Robotics, Mechatronics
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-9783642557873:ONLINE Show nearby items on shelf
Title:Hierarchical and Geometrical Methods in Scientific Visualization
Author(s):
Date:2003
Size:1 online resource (367 p.)
Note:10.1007/978-3-642-55787-3
Contents:Dataflow and Remapping for Wavelet Compression and View-dependent Optimization of Biflion-triangle Isosurfaces -- Extraction of Crack-free Isosurfaces from Adaptive Mesh Refinement Data -- Edgebreaker on a Corner Table: A Simple
Technique for Representing and Compressing Triangulated Surfaces -- Efficient Error Calculation for Multiresolution Texture-based Volume Visualization -- Hierarchical Spline Approximations -- Terrain Modeling Using Voronoi Hierarchies
-- Multiresolution Representation of Datasets with Material Interfaces -- Approaches to Interactive Visualization of Large-scale Dynamic Astrophysical Environments -- Data Structures for Multiresolution Representation of Unstructured
Meshes -- Scaling the Topology of Symmetric, Second-Order Planar Tensor Fields -- Simplification of Nonconvex Tetrahedral Meshes -- A Framework for Visualizing Hierarchical Computations -- Virtual-Reality Based Interactive Exploration
of Multiresolution Data -- Hierarchical Indexing for Out-of-Core Access to Multi-Resolution Data -- Mesh Fairing Based on Harmonic Mean Curvature Surfaces -- Shape Feature Extraction -- Network-based Rendering Techniques for
Large-scale Volume Data Sets -- A Data Model for Distributed Multiresolution Multisource Scientific Data -- Adaptive Subdivision Schemes for Triangular Meshes -- Hierarchical Image-based and Polygon-based Rendering for Large-Scale
Visualizations -- Appendix: Color Plates
ISBN:9783642557873
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Engineering , Software engineering , Computer science , Computers , Applied mathematics , Engineering mathematics , Numerical analysis , Engineering , Appl.Mathematics/Computational Methods of Engineering , Applications of Mathematics , Numerical Analysis , Information Systems and Communication Service , Software Engineering , Mathematics of Computing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783642557699:ONLINE Show nearby items on shelf
Title:Computational Partial Differential Equations Numerical Methods and Diffpack Programming
Author(s): Hans Petter Langtangen
Date:2003
Edition:Second Edition
Size:1 online resource (862 p.)
Note:10.1007/978-3-642-55769-9
Contents:1 Getting Started -- 1.1 The First Diffpack Encounter -- 1.2 Overview of Application Examples -- 1.3 Steady One-Dimensional Heat Conduction -- 1.5 Projects -- 1.6 About Programming with Objects -- 1.7 Coding the PDE Simulator as a
Class -- 1.8 Projects -- 2 Introduction to Finite Element Discretization -- 2.1 Weighted Residual Methods -- 2.2 Time Dependent Problems -- 2.3 Finite Elements in One Space Dimension -- 2.4 Example: A ID Wave Equation -- 2.5 Naive
Implementation -- 2.6 Projects -- 2.7 Higher-Dimensional Finite Elements -- 2.8 Calculation of Derivatives -- 2.9 Convection-Diffusion Equations -- 2.10 Analysis of the Finite Element Method -- 3 Programming of Finite Element Solvers
-- 3.1 A Simple Program for the Poisson Equation -- 3.2 Increasing the Flexibility -- 3.3 Some Visualization Tools -- 3.4 Some Useful Diffpack Features -- 3.5 Introducing More Flexibility -- 3.6 Step-by-Step Development of a Diffpack
Solver -- 3.7 Adaptive Grids -- 3.8 Projects -- 3.9 A Convection-Diffusion Solver -- 3.10 A Heat Equation Solver -- 3.11 A More Flexible Heat Equation Solver -- 3.12 Visualization of Time-Dependent Fields -- 3.13 A Transient Heat
Transfer Application -- 3.14 Projects -- 3.15 Efficient Solution of the Wave Equation -- 4 Nonlinear Problems -- 4.1 Discretization and Solution of Nonlinear PDEs -- 4.2 Software Tools for Nonlinear Finite Element Problems -- 4.3
Projects -- 5 Solid Mechanics Applications -- 5.1 Linear Thermo-Elasticity -- 5.2 Elasto-Viscoplasticity -- 6 Fluid Mechanics Applications -- 6.1 Convection-Diffusion Equations -- 6.2 Shallow Water Equations -- 6.3 An Implicit Finite
Element Navier-Stokes Solver -- 6.4 A Classical Finite Difference Navier-Stokes Solver -- 6.5 A Fast Finite Element Navier-Stokes Solver -- 6.6 Projects -- 7 Coupled Problems -- 7.1 Fluid-Structure Interaction Squeeze-Film Damping --
7.2 Fluid Flow and Heat Conduction in Pipes -- 7.3 Projects -- B.7 Optimizing Diffpack Codes -- A Mathematical Topics -- A.1 Scaling and Dimensionless Variables -- A.2 Indicial Notation -- A.3 Compact Notation for Difference Equations
-- A.4 Stability and Accuracy of Difference Approximations -- A.4.1 Typical Solutions of Simple Prototype PDEs -- A.4.2 Physical Significance of Parameters in the Solution -- A.4.3 Analytical Dispersion Relations -- A.4.4 Solution of
Discrete Equations -- A.4.5 Numerical Dispersion Relations -- A.4.6 Convergence -- A.4.7 Stability -- A.4.8 Accuracy -- A.4.9 Truncation Error -- A.4.10 Traditional von Neumann Stability Analysis -- A.4.11 Examples: Analysis of the
Heat Equation -- A.5 Exploring the Nature of Some PDEs -- A.5.1 A Hyperbolic Equation -- A.5.2 An Elliptic Equation -- A.5.3 A Parabolic Equation -- A.5.4 The Laplace Equation Solved by a Wave Simulator -- A.5.5 Well-Posed Problems --
B Diffpack Topics -- B.1 Brief Overview of Important Diffpack Classes -- B.2 Diffpack-Related Operating System Interaction -- B.2.1 Unix -- B.2.2 Windows -- B.3 Combining Diffpack with Other Types of Software -- B.3.1 Calling Other
Software Packages from Diffpack -- B.3.2 Calling Diffpack from Other Types of Software -- B.4. Basic Diffpack Features -- B.4.1 Diffpack Man Pages -- B.4.2 Standard Command-Line Options -- B.4.3 Generalized Input and Output -- B.4.4
Automatic Verification of a Code -- B.5 Visualization Support -- B.5.1 Curves -- B.5.2 Scalar and Vector Fields -- B.6 Details on Finite Element Programming -- B.6.1 Basic Functions for Finite Element Assembly -- B.6.2 Using Functors
for the Integrands -- B.6.3 Integrating Quantities over the Grid or the Boundary -- B.6.4 Class Relations in the Finite Element Engine -- C Iterative Methods for Sparse Linear Systems -- C.1 Classical Iterative Methods -- C.1.1 A
General Framework -- C.1.2 Jacobi, Gauss-Seidel, SOR, and SSOR Iteration -- C.2 Conjugate Gradient-Like Iterative Methods -- C.2.1 Galerkin and Least-Squares Methods -- C.2.2 Summary of the Algorithms -- C.2.3 A Framework Based on the
Error -- C.3 Preconditioning -- C.3.1 Motivation and Basic Principles -- C.3.2 Classical Iterative Methods as Preconditioners -- C.3.3 Incomplete Factorization Preconditioners -- C.4 Multigrid and Domain Decomposition Methods -- C.4.1
Domain Decomposit ion -- C.4.2 Multigrid Methods -- D Software Tools for Solving Linear Systems -- D.1 Storing and Initializing Linear Systems -- D.1.1 Vector and Matrix Formats -- D.1.2 Detailed Matrix Examples -- D.1.3 Representation
of Linear Systems -- D.2 Programming with Linear Solvers -- D.2.1 Gaussian Elimination -- D.2.2 A Simple Demo Program -- D.2.3 A 3D Poisson Equation Solver -- D.3 Classical Iterative Methods -- D.4 Conjugate Gradient-like Methods --
D.4.1 Symmetric Systems -- D.4.2 Nonsymmetric Systems -- D.5 Preconditioning Strategies -- D.6 Convergence History and Stopping Criteria -- D.7 Example: Implicit Methods for Transient Diffusion -- D.8 High-Level Stencil Programming of
Finite Difference Schemes -- D.8.1 Finite Difference Stencils -- D.8.2 Basic Structure of a Stencil-Based Simulator -- D.8.3 Defining the Stencils
ISBN:9783642557699
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Texts in Computational Science and Engineering: 1
Keywords: Computer science , Software engineering , Computers , Mathematical analysis , Analysis (Mathematics) , Computer mathematics , Physics , Computational intelligence , Computer Science , Theory of Computation , Analysis , Software Engineering/Programming and Operating Systems , Computational Mathematics and Numerical Analysis , Computational Intelligence , Theoretical, Mathematical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783540365303:ONLINE Show nearby items on shelf
Title:Space Plasma Simulation
Author(s):
Date:2003
Size:1 online resource (49 p.)
Note:10.1007/3-540-36530-3
Contents:Particle-in-Cell Simulation of Plasmas— A Tutorial -- Parallel 3-D Electromagnetic Particle Code Using High Performance FORTRAN: Parallel TRISTAN -- Full Particle Electromagnetic Simulation of Collisionless Shocks -- Simulation of
Electron Beam Instabilities and Nonlinear Potential Structures -- Kinetic Simulation of Inhomogeneous Plasma with a Variable Sized Grid System -- Low Noise Electrostatic and Electromagnetic Delta-f Particle-in-Cell Simulation of
Plasmas -- Particle Simulation of Dusty Plasmas -- Hybrid Simulation Codes: Past, Present and Future—A Tutorial -- Hall Magnetohydrodynamics - A Tutorial -- Fluid Plasma Simulation of Coupled Systems: Ionosphere and Magnetosphere --
Global Magnetohydrodynamics — A Tutorial -- Adaptive Mesh Refinement for Global Magnetohydrodynamic Simulation -- Finite Volume TVD Schemes for Magnetohydrodynamics on Unstructered Grids -- Global Magnetohydrodynamic Simulation Using
High Performance FORTRAN on Parallel Computers -- Numerical Schemes for the Analysis of Turbulence — A Tutorial
ISBN:9783540365303
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Physics: 615
Keywords: Physics , Earth sciences , Geophysics , Computer mathematics , Space sciences , Physics , Extraterrestrial Physics, Space Sciences , Earth Sciences, general , Geophysics/Geodesy , Computational Science and Engineering , Numerical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783034880183:ONLINE Show nearby items on shelf
Title:Stochastic Analysis and Mathematical Physics II 4th International ANESTOC Workshop in Santiago, Chile
Author(s):
Date:2003
Size:1 online resource (162 p.)
Note:10.1007/978-3-0348-8018-3
Contents:1 Quantum Boltzmann Statistics in Interacting Systems -- 1 Introduction -- 2 Quantum Boltzmann statistics for entangled operators -- 3 References -- 2 Interaction Representation Method for Markov Master Equations in Quantum Optics --
1 Sufficient conditions for conservativity -- 2 A priori bounds -- 3 Structure of generators of MME in quantum optics -- 4 Examples -- 5 Discussion -- 6 References -- 3 A Stochastic Variational Principle for Burgers Equation and its
Symmetries -- 1 Introduction -- 2 Variational problem -- 3 Stochastic first integrals -- 4 An integration by parts formula -- 5 References -- 4 Noncommutative Versions of Prohorov and Varadhan Theorems -- 1 Vague and narrow convergence
of positive functionals -- 2 Noncommutative large deviations -- 3 References -- 5 Gaussian Domination and Bose-Einstein Condensation -- 1 Introduction -- 2 Some Historical Remarks -- 3 Model Systems -- 4 Gaussian Domination and its
Application to the Study of Bose Systems -- 5 References -- 6 Quantum Markov Semigroups and their Stationary States -- 1 Introduction -- 2 Ergodic theorems -- 3 The minimal quantum dynamical semigroup -- 4 The existence of Stationary
States -- 5 Faithful Stationary States and Irreducibility -- 6 The convergence towards the equilibrium -- 7 References -- 7 Exponential Decay for Perturbations of Pure Point Hamiltonians -- 1 Introduction -- 2 Absolutely continuous
perburbations of pure point operators -- 3 Sojourn time and Spectral Entropy -- 4 References -- 8 Propagation of Chaos in Classical and Quantum Kinetics -- 1 Overview -- 2 Classical and Quantum Molecular Chaos -- 3 Classical
Manifestations of the Propagation of Quantum Molecular Chaos -- 4 Acknowledgements -- 5 References -- 9 Imprimitivity Systems and Quantum Codes -- 1 Introduction -- 2 Imprimitivity systems and quantization of classical codes -- 3
Tensor products of imprimitivity system and quantum codes -- 4 References -- 10 Boson Fock Algebra on the Unit Ball of the d-Dimensional Complex Numbers -- 1 Introduction -- 2 Operators on the algebra A0 (Bd) -- 3 Introduction to Boson
Fock space -- 4 Boson Fock space on the unit ball -- 5 References
ISBN:9783034880183
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Probabilities , Physics , Quantum physics , Quantum computers , Spintronics , Statistics , Mathematics , Probability Theory and Stochastic Processes , Mathematical Methods in Physics , Quantum Physics , Quantum Information Technology, Spintronics , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9781461200130:ONLINE Show nearby items on shelf
Title:Computer Algebra Recipes for Classical Mechanics
Author(s): Richard H Enns
Date:2003
Size:1 online resource (265 p.)
Note:10.1007/978-1-4612-0013-0
Contents:A. Computer Algebra Systems -- B. The Spiral Approach to Learning Mechanics -- C. Maple Help -- D. Introductory Recipe -- E. How to Use this Text -- I The Appetizers -- 1 Vectors and Kinematics -- 2 Newtonian Mechanics -- II The
Entrees -- 3 Vector Calculus -- 4 Newtonian Dynamics I -- 5 Newtonian Dynamics II -- III The Desserts -- 6 Lagrangian & Hamiltonian Dynamics
ISBN:9781461200130
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computers , Numerical analysis , Algebra , Applied mathematics , Engineering mathematics , Computer software , Mechanics , Mathematics , Algebra , Theory of Computation , Numeric Computing , Applications of Mathematics , Mathematical Software , Mechanics
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-9783709105252:ONLINE Show nearby items on shelf
Title:Advanced Arithmetic for the Digital Computer Design of Arithmetic Units
Author(s): Ulrich W Kulisch
Date:2002
Size:1 online resource (1 p.)
Note:10.1007/978-3-7091-0525-2
Contents:1. Fast and Accurate Vector Operations -- 1.1 Introduction -- 1.2 Implementation Principles -- 1.3 High-Performance Scalar Product Units (SPU) -- 1.4 Comments on the Scalar Product Units -- 1.5.1 Scalar Product Units for
Top-Performance Computers -- 1.6 Hardware Accumulation Window -- 1.7 Theoretical Foundation of Advanced Computer Arithmetic -- Bibliography and Related Literature -- 2. Rounding Near Zero -- 2.1 The one dimensional case -- 2.2 Rounding
in product spaces -- Bibliography and Related Literature -- 3. Interval Arithmetic Revisited -- 3.1 Introduction and Historical Remarks -- 3.2 Interval Arithmetic, a Powerful Calculus to Deal with Inequalities -- 3.3 Interval
Arithmetic as Executable Set Operations -- 3.4 Enclosing the Range of Function Values -- 3.5 The Interval Newton Method -- 3.6 Extended Interval Arithmetic -- 3.7 The Extended Interval Newton Method -- 3.8 Differentiation Arithmetic,
Enclosures of Derivatives -- 3.9 Interval Arithmetic on the Computer -- 3.10 Hardware Support for Interval Arithmetic
ISBN:9783709105252
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Arithmetic and logic units, Computer , Microprocessors , Architecture, Computer , Algorithms , Computer mathematics , Numerical analysis , Mathematics , Computational Science and Engineering , Arithmetic and Logic Structures , Processor Architectures , Computer System Implementation , Algorithms , Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9783642562884:ONLINE Show nearby items on shelf
Title:Mathematical Modeling and Numerical Simulation in Continuum Mechanics Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 – October 3, 2000 Yamaguchi, Japan
Author(s):
Date:2002
Size:1 online resource (306 p.)
Note:10.1007/978-3-642-56288-4
Contents:Nonlinear Shell Models of Koiter’s Type -- A Survey of Stabilized Plate Elements -- Prediction of the Fatigue Crack Growth Life in Microelectronics Solder Joints -- Multi-phase Flow with Reaction -- Universal and Simultaneous Solution
of Solid, Liquid and Gas in Cartesian-Grid-Based CIP Method -- Subgrid Phenomena and Numerical Schemes -- Two Scale FEM for Homogenization Problems -- Numerical Analysis of Electromagnetic Problems -- A-priori Domain Decomposition of
PDE Systems and Applications -- A One Dimensional Model for Blood Flow: Application to Vascular Prosthesis -- Essential Spectrum and Mixed Type Finite Element Method -- Can We Trust the Computational Analysis of Engineering Problems?
-- Numerical Computations for Ill-conditioned Problems by Multiple-Precision Systems -- Numerical Verification Methods for Solutions of Free Boundary Problems -- Pattern Formation of Heat Convection Problems -- Mathematical Modeling
and Numerical Simulation of Earth’s Mantle Convection -- Theoretical and Numerical Analysis on 3-Dimensional Brittle Fracture -- Exploiting Partial or Complete Geometrical Symmetry in Boundary Integral Equation Formulations of
Elastodynamic Problems -- A New Fast Multipole Boundary Integral Equation Method in Elastostatic Crack Problems in 3D -- Computational Crack Path Prediction and the Singularities in Elastic-Plastic Stress Fields
ISBN:9783642562884
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 19
Keywords: Computer science , Computers , Mathematical analysis , Analysis (Mathematics) , Computer mathematics , Numerical analysis , Mechanics , Computational intelligence , Computer Science , Theory of Computation , Mechanics , Numerical Analysis , Computational Mathematics and Numerical Analysis , Analysis , 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-2002-9783642559198:ONLINE Show nearby items on shelf
Title:High Performance Scientific And Engineering Computing Proceedings of the 3rd International FORTWIHR Conference on HPSEC, Erlangen, March 12–14, 2001
Author(s):
Date:2002
Edition:1
Size:1 online resource (408 p.)
Note:10.1007/978-3-642-55919-8
Contents:I. Fluid Flow -- Large-Scale Fluid-Structure Interaction Simulations Using Parallel Computers -- MEGAFLOW - An Industrial Flow Simulation Tool for Aircraft Applications 21 -- Development of a Parallel FVM Based Groundwater -- Flow
Model -- Adaptive Hybrid Mixed Finite Element Discretization of Instationary Variably Saturated Flow in Porous Media 37 -- Simulation of High Pressure Liquid Chromatography (HPLC) Columns with CFD 45 -- CFD Calculations of Flow,
Dispersion and Chemical Reactions in Fixed Bed Tubular Reactors Using the Lattice Boltzmann Method 53 -- Computational Engineering for Wind-Exposed Thin-Walled Structures 63 -- Numerical Simulation of Wind Loads on Antenna Structures
71 -- Numerical Calculation of Turbulent Premixed Flames with an Efficient Turbulent Flame Speed Closure Model 81 -- Monte Carlo Simulations of Radiative Heat Transfer with -- Parallel Computer Architectures 89 -- Direct Numerical
Simulation of Bubble Swarms with -- a Parallel Front-Tracking Method -- Symmetry-Preserving Discretization of Turbulent Channel -- Flow 107 -- Parallelization Strategies and Efficency of CFD Computations in Complex Geometries Using
Lattice Boltzmann Methods on High-Performance Computers 115 -- Applications of the Lattice Boltzmann Method to Complex and Turbulent Flows 123 -- Computation of Flows Around Space Configurations -- Flow Visualization on Hierarchical
Cartesian Grids -- II. Mathematical Methods -- The Finite Mass Method — A New Approach to the Solution of Flow Problems 149 -- An Octree-Based Approach for Fast Elliptic Solvers -- A Variable Order Method of Lines: Accuracy,
Conservation and Applications 167 -- A Hybrid Direct/Iterative Algorithm for the Solution of Poisson’s Equation Based on the Schur Complement Method 175 -- III. Crystal Growth and Materials -- High-Performance Computing, Multi-Scale
Models for Crystal Growth Systems -- Semi-Direct Numerical Simulation of a Czochralski Melt Flow on High-Performance Computers -- High-Order Numerical Solutions for Rotating Flows with Walls -- Parallel Coupled Simulation of Casting
Processes on Cluster of PCs 221 -- Controlling Point Defects in Single Silicon Crystals Grown by the Czochralski Method 229 -- A Two—Scale Method for Liquid—Solid Phase Transitions with Dendritic Microstructure 237 -- Application of
Higher Order BDF Discretization of the Boussinesq Equation and the Heat Transport Equation -- Spectral and Finite Volume Numerical Approximations for Solutal Convection in Melted Alloys 253 -- Numerical Simulation of Physical Vapour
Transport Crystal Growth Processes by a Finite Volume Solution Algorithm 261 -- 3D Block-Structured Grid Algorithms for the Numerical Simulation of Chemical Vapor Deposition in Horizontal Reactors -- Control of Electron Beam
Evaporation: Numerical Simulation -- IV. Dynamic Systems and Optimal Control -- Solution of a Hard Flight Path Optimization Problem by Different Optimization Codes 289 -- Adaptive Data Structures and Algorithms for Efficient
Visualization and Data Management at Runtime of Terrain and Feature Data 297 -- Recent Improvements in the Trajectory Optimization Software ASTOS -- Optimal Design of the Power Train of Vehicles: Modelling, Simulation and Optimization
-- Unsteady Heat Load Simulation for Hypersonic Cruise Optimization 325 -- Modeling Techniques and Parameter Estimation for the Simulation of Complex Vehicle Structures -- V. Optimization of Electronic Circuits -- Numerical Techniques
for Different Time Scales in Electric Circuit Simulation 343 -- Transient Noise Analysis in Circuit Simulation -- Realistic Step Flow Model for Orientation-Dependent Wet Etching 369 -- Modeling of Ion-Induced Charge Generation in High
Voltage Diodes 377 -- Modelling and Simulation of the Transient Electromagnetic Behavior of High Power Bus Bars 385 -- Modeling and Simulation of Electrothermomechanical -- Coupling Phenomena in High Power Electronics -- Heat
Conduction as Eigenvalue Problem
ISBN:9783642559198
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 21
Keywords: Computer science , Science , Computer simulation , Computer mathematics , Physics , Computational intelligence , Computer Science , Simulation and Modeling , Science, general , Computational Mathematics and Numerical Analysis , Mathematical Methods in Physics , Numerical and Computational Physics , 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-2002-9783034882118:ONLINE Show nearby items on shelf
Title:Mathematics and Computer Science II Algorithms, Trees, Combinatorics and Probabilities
Author(s):
Date:2002
Size:1 online resource (543 p.)
Note:10.1007/978-3-0348-8211-8
Contents:n-Colored Maps and Multilabel n-Colored Trees -- Limit Laws for Basic Parameters of Lattice Paths with Unbounded Jumps -- Counting Walks in the Quarter Plane -- Bijective Construction of Equivalent Eco-systems -- Random Boundary of a
Planar Map -- Enumération des 2-arbres k-gonaux -- Breadth First Search, Triangle-Free Graphs and Brownian Motion -- Random Planar Lattices and Integrated SuperBrownian Excursion -- The Diameter of a Long-Range Percolation Graph --
Giant Components for Two Expanding Graph Processes -- Coloring Random Graphs — an Algorithmic Perspective -- A Sharp Threshold for a Non-monotone Digraph Property -- Approximability of Paths Coloring Problem in Mesh and Torus Networks
-- Minimal Spanning Trees for Graphs with Random Edge Lengths -- Generalized Pattern Matching Statistics -- A Note on Random Suffix Search Trees -- On the Profile of Random Forests -- On the Number of Heaps and the Cost of Heap
Construction -- A Combinatorial Problem Arising in Information Theory: Precise Minimax Redundancy for Markov Sources -- Analysis of Quickfind with Small Subfiles -- Distribution of the Size of Simplified or Reduced Trees -- Digits and
Beyond -- Growth Rate and Ergodicity Conditions for a Class of Random Trees -- Ideals in a Forest, One-Way Infinite Binary Trees and the Contraction Method -- On Random Walks in Random Environment on Trees and Their Relationship with
Multiplicative Chaos -- Note on Exact and Asymptotic Distributions of the Parameters of the Loop-Erased Random Walk on the Complete Graph -- Convergence Rate for Stable Weighted Branching Processes -- Reduced Branching Processes in
Random Environment -- A Cooperative Approach to Rényi’s Parking Problem on the Circle -- On the Noise Sensitivity of Monotone Functions -- Apprentissage de Séquences Non-Indépendantes d’Exemples -- Entropy Reduction Strategies on Tree
Structured Retrieval Spaces -- Zero-One Law Characterizations of ?0 -- Further Applications of Chebyshev Polynomials in the Derivation of Spanning Tree Formulas for Circulant Graphs -- Key words -- List of Authors
ISBN:9783034882118
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Data structures (Computer science) , Coding theory , Computers , Computer science , Mathematical statistics , Applied mathematics , Engineering mathematics , Mathematics , Applications of Mathematics , Theory of Computation , Data Structures, Cryptology and Information Theory , Coding and Information Theory , Discrete Mathematics in Computer Science , Probability and Statistics 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-9780387227337:ONLINE Show nearby items on shelf
Title:From Computer to Brain Foundations of Computational Neuroscience
Author(s): William W Lytton
Date:2002
Size:1 online resource (364 p.)
Note:10.1007/b98859
Contents:Perspectives -- Computational Neuroscience and You -- Basic Neuroscience -- Computers -- Computer Representations -- The Soul of an Old Machine -- Cybernetics -- Concept Neurons -- Neural Coding -- Our Friend the Limulus -- Supervised
Learning: Delta Rule and Back-Propagation -- Associative Memory Networks -- Brains -- From Soap to Volts -- Hodgkin-Huxley Model -- Compartment Modeling -- From Artificial Neural Network to Realistic Neural Network -- Neural Circuits
-- The Basics
ISBN:9780387227337
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Neurosciences , Computers , Artificial intelligence , Neurobiology , Applied mathematics , Engineering mathematics , Biomedical engineering , Mathematics , Applications of Mathematics , Neurosciences , Artificial Intelligence (incl. Robotics) , Neurobiology , Biomedical Engineering , Computing Methodologies
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-9780387217666:ONLINE Show nearby items on shelf
Title:Mathematical Problems in Image Processing Partial Differential Equations and the Calculus of Variations
Author(s): Gilles Aubert
Date:2002
Size:1 online resource (288 p.)
Note:10.1007/b97428
Contents:Guide to main mathematical concepts and their application -- Notations and symbols -- Mathematical preliminaries -- Image Restoration -- The Segmentation Problem -- Other Challenging Applications
ISBN:9780387217666
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Mathematical Sciences: 147
Keywords: Mathematics , Computers , Image processing , Mathematical analysis , Analysis (Mathematics) , Applied mathematics , Engineering mathematics , System theory , Calculus of variations , Mathematics , Analysis , Applications of Mathematics , Calculus of Variations and Optimal Control Optimization , Systems Theory, Control , Computing Methodologies , Image Processing and Computer Vision
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-9780306478192:ONLINE Show nearby items on shelf
Title:Aspects of Semidefinite Programming Interior Point Algorithms and Selected Applications
Author(s): Etienne de Klerk
Date:2002
Size:1 online resource (288 p.)
Note:10.1007/b105286
Contents:Theory and Algorithms -- Duality, Optimality, and Degeneracy -- The Central Path -- Self-Dual Embeddings -- The Primal Logarithmic Barrier Method -- Primal-Dual Affine-Scaling Methods -- Primal-Dual Path-Following Methods --
Primal-Dual Potential Reduction Methods -- Selected Applications -- Convex Quadratic Approximation -- The Lovász ?-Function -- Graph Coulouring and the Max-K-Cut Problem -- The Stability Number of a Graph and Standard Quadratic
Optimization -- The Satisfiability Problem
ISBN:9780306478192
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 65
Keywords: Computer science , Computer programming , Computers , Applied mathematics , Engineering mathematics , Computer mathematics , Algorithms , Mathematical optimization , Computer Science , Programming Techniques , Optimization , Applications of Mathematics , Algorithms , Theory of Computation , Computational Mathematics and Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9780306476488:ONLINE Show nearby items on shelf
Title:Stochastic and Global Optimization
Author(s):
Date:2002
Size:1 online resource (237 p.)
Note:10.1007/b130735
Contents:Topographical Differential Evolution Using Pre-calculated Differentials -- Optimal Tax Depreciation in Stochastic Investment Model -- Global Optimisation of Chemical Process Flowsheets -- One-dimensional Global Optimization Based on
Statistical Models -- Animated Visual Analysis of Extremal Problems -- Test Problems for Lipschitz Univariate Global Optimization with Multiextremal Constraints -- Numerical Techniques in Applied Multistage Stochastic Programming -- On
the Efficiency and Effectiveness of Controlled Random Search -- Discrete Backtracking Adaptive Search for Global Optimization -- Parallel Branch-and-bound Attraction Based Methods for Global Optimzation -- On Solution of Stochastic
Linear Programs by Discretization Methods -- The Structure of Multivariate Models and the Range of Definition -- Optimality Criteria for Investment Projects Under Uncertainty
ISBN:9780306476488
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 59
Keywords: Mathematics , Computers , System theory , Mathematical optimization , Statistics , Mathematics , Optimization , Statistics, general , Systems Theory, Control , Theory of Computation , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9780306471148:ONLINE Show nearby items on shelf
Title:Quantum Communication, Computing, and Measurement 3
Author(s):
Date:2002
Size:1 online resource (476 p.)
Note:10.1007/b114701
Contents:Quantum Information and Quantum Communication -- Additivity/Multiplicativity Communication Channels -- Universal Copying of Coherent States: A Gaussian Cloning Machine -- at]Quantum Random Coding Exponent of a Symmetric State Alphabet
-- Information and Distance in Hilbert Space -- Superadditivity With Mixed Letter States -- Quantum State Recognition -- Superadditivity in Capacity of Quantum Channel by Classical Pseudo-Cyclic Codes -- Property of Mutual Information
for M-ary Quantum-State Signals -- Performances of Binary Block Codes Used on Binary Classical-Quantum Channels -- Quantum Measurement, Decoherence, and Tomography -- Entropy and Information Gain in Quantum Continual Measurements --
Experimental Quantum State Discrimination -- Spontaneous Intrinsic Decoherence in Rabi Oscillations Experiments -- Quantum Tomography, Teleportation, and Cloning -- Decoherence Versus the Idealization of Microsystems as Correlation
Carriers Between Macrosystems -- Quantum Measurement, Information, and Completely Positive Maps -- ON the Number of Elements Needed in a POVM Attaining the Accessible Information -- Einselection and Decoherence from an Information
Theory Perspective -- Reconstructing the Discrete Wigner Function through Complementary Measurements -- Statistical Noise in Measuring Correlated Photon Beams -- Reconstruction Technique for a Trapped Electron -- Quantum Mechanics
without Statistical Postulates -- Quantum Retrodiction -- Quantum-Tomography Method in Information Processing -- Quantum Measurement Problem and State Dual Representations -- Homodyne Characterizations of Active Optical Media --
Quantum Cloning Optimal for Joint Measurements -- How Many Projections are Needed in Quantum Tomography of Spin States? -- Quantum Computing -- The Representation of Numbers by States in Quantum Mechanics -- Towards Quantum Computation
with Trapped Calcium Ions -- Physical Limits to Computation -- Realising Quantum Computing: Physical Systems and Robustness -- Information Analysis of Quantum Gates for Simulation of Quantum Algorithms on Classical Computers -- Quantum
Probabilistic Subroutines and Problems in Number Theory -- Theory of the Quantum Speed Up -- Quantum Gates Using Motional States in an Optical Lattice -- Quantum Error-Correcting Code for Burst Error -- Non-Dissipative Decoherence in
Ion-Trap Quantum Computers -- Optical Qubit Using Linear Elements -- Atom Chips -- Decoherence and Fidelity of Single Qubit Operations in a Solid State Quantum Computer -- Cryptography -- Long Distance Entangled State Quantum Key
Distribution -- Bunching and Antibunching from Single NV Color Centers in Diamond -- Violation of Locality and Self-Checking Source: A Brief Account -- The Unconditional Security of Quantum Key Distribution -- Anonymous-Key Quantum
Cryptography and Unconditionally Secure Quantum Bit Commitment -- Quantum Key Distribution Using Multilevel Encoding -- Authority-Based User Authentication And Quantum Key Distribution -- Improvement of Key Rate for Yuen-Kim
Cryptoscheme -- Stable Solid-State Source of Single Photons -- Entanglement and Teleportation -- Non-Locality and Quantum Theory: New Experimental Evidence -- On Entangled Quantum Capacity -- Control of Squeezed Light Pulse Spectrum in
the Kerr Medium with an Intertial Nonlinearity -- Macroscopic Quantum Superposition by Amplification of Entangled States -- Quantum Teleportation with Atomic Ensembles and Coherent Light -- Entangled State Based on Nonorthogonal State
-- Long-Distance High-Fidelity Teleportation Using Singlet States -- Quantum Teleportation with Complete Bell State Measurement -- Complete Quantum Teleportation with a Crossed-Kerr Nonlinearity -- Quantum Lithography -- Experimental
Test of Local Realism Using Non-Maximally Entangled States -- New Schemes for Manipulating Quantum States with a Kerr Cell -- Local and Nonlocal Properties of Werner States -- Maximally Entangled Mixed States in two Qubits --
Engineering Bell-Like States of Two High-Q Cavity Fields -- Nondissipative Decoherence and Entanglement in the Dynamics of a Trapped Ion -- Entanglement Manipulation and Concentration in Mixed States -- Ramsey Interferometry with a
Single Photon Field in Cavity QED -- Entanglement Transformation At Dielectric Four-Port Devices -- Quantum Noise in Polarization Measurement and Polarization Entanglement -- Bright EPR-Entangled Beams for Quantum Communication --
Polarization in Quantum Optics: A new Formalism and Two Experiments -- Spin Squeezing and Decoherence Limit in Ramsey Spectroscopy -- Teleportation of Entanglement for Continuous Variables -- Generation and Detection of Fock States of
the Radiation Field
ISBN:9780306471148
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Management information systems , Computer science , Applied mathematics , Engineering mathematics , Quantum physics , Atomic structure , Molecular structure , Spectra , Electrical engineering , Physics , Quantum Physics , Atomic/Molecular Structure and Spectra , Applications of Mathematics , Management of Computing and Information Systems , Electrical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9780306470974:ONLINE Show nearby items on shelf
Title:Quantum Communication, Computing, and Measurement 2
Author(s):
Date:2002
Size:1 online resource (534 p.)
Note:10.1007/b114679
Contents:Quantum Information and Quantum Communication -- Quantum Robots Plus Environments -- Just Two Nonorthogonal Quantum States -- On Maximum Mutual Information without Coding -- Aspects of Quantum Information Compression for Pure States
-- Group Covariant Signals in Quantum Information Theory -- Optimization of a Symmetric Quantum Channel and its Optical Realization Scheme -- Manipulation of Entangled States for Quantum Information Processing -- Decoherence Control in
Quantum Information Processing: Simple Models -- Entanglement of Formation -- Sending Quantum Information with Gaussian States -- Quantum Communication with Imperfect Means -- On Quantum Channel Capacity for Squeezed States --
Asymptotic Quantum Estimation Theory for the Thermal States Family -- The Asymptotic Efficiency of the Consistent Estimator, Berry-Uhlmann’s Curvature, and Quantum Information Geometry -- Optimal Signal-to-Quantum Noise Ratio in
Squeezed Displaced Number States -- Quantum Measurement and Tomography -- Dual Classical and Quantum Descriptions of a Measuring Apparatus -- Generalised Measurements, Retrodiction and State Manipulation -- Latest Developments in
Quantum Tomography -- Measuring the Quantum Polarization State of Light -- Measurement of Joint Photon-Number Distribution of a Twin-Beam State by Means of Optical Homodyne Tomography -- Homodyning Bell’s Inequality -- Hydrodynamical
Quantum State Reconstruction -- Quantum Tomography: Renormalization of Incompatible Observations -- Accuracy in Quantum Homodyne Tomography -- Probing Quantum States of Rydberg Electrons by Half-Cycle Pulses -- Non-Markovian Quantum
Trajectories for Open Systems -- Maximally Robust Unravelings of Quantum Master Equations with Applications to the Atom Laser -- Quantum Noise and Dynamic Chaos in Opto-Electronic Laser Light Transformer -- Quantized Phase-Difference
-- Relativistic Quantum Theory with a Physical State Vector and Hypothetical Laws of Reduction -- Quantum Computing -- Teleportation of General Quantum States, Squeezing and the Decoherence Problem in Quantum Computers -- Quantum
Turing Machines: Local Transition, Preparation, Measurement, and Halting -- A New Approach to Quantum Computation -- Hypersensitivity to Perturbation on an NMR Quantum Computer -- Quantum Networks for Distributed Quantum Information
Processing -- Quantum Phenomena of Trapped Ions -- Progress Towards Using a Calcium Ion Trap to Perform Quantum Logic Operations -- Quantum Computation with “Hot” Trapped Ions -- Novel Quantum Effects in Light Scattering from Cold
Trapped Atoms -- Preparation of Highly Excited Motional Energy Eigenstates with a Trapped Atom -- Optical Implementation of Grover’s Algorithm: It’s all Done with Mirrors -- Quantum State Protection in Optical Cavities -- Control of
Dynamical Localization by Additional Quantum Degrees -- Two-Photon Interactions for Use in Quantum Computing -- Decoherence and Quantum Error Correction in Frequency Standards -- Transition Phenomena in Networks of Quantum Systems --
Experimental Demonstration of Coherent Quantum Feedback -- Classical Behavior of a Macroscopic Schrödinger Cat -- Quantum Teleportation and Cryptography -- Free-Space Quantum Cryptography -- Parametric Schroedinger Cat with No
Decoherence -- Quantum Cryptography Via Parametric Downconversion -- Dim Coherent States as Signal States in the Bb84 Protocol: Is it Secure? -- Practical Aspects of Quantum Cryptography -- Quantum Versus Classical Noise Cryptography
-- Quantum Cryptography with Femtosecond Parametric Down Conversion -- Generation of Narrow-B and Two-Photon State with Doubly Resonant Cavity in Parametric Down-Conversion -- Quantum State Engineering -- From Entangled Photons to
Entangled Atoms -- Single Photon Quantum Control Via High-?(3) Media -- Experimental Realization of Popper’s Experiment: Violation of Uncertainty Principle? -- Soliton Photon Number Squeezing: An Overview -- Amplitude Soliton Squeezing
Using an Asymmetric Sagnac Fiber Loop -- Time Domain Correlations and Gated Detection of Quantum Solitons -- Observation of Squeezing in Free-Space Phase-Dependent Resonance Fluorescence -- Observation of Noiseless Image Amplification
by an Optical Parametric Amplifier -- Traveling-Wave Noiseless Amplification of Optical Images -- Quantum Noise Reduction in Singly Resonant Optical Devices -- Influence of Dissipation Effects on Polarization-Squeezed Light Formation
at Frequency Doubling -- Degenerate Optical Parametric Amplification with Focused Gaussian Beams -- Eigen State Transmission of Birefringent Optical Fibers Using Entangled Two Photons -- Four-Photon Partition at Beamsplitter in
Parametric Down-Conversion with Pulsed Pumping -- Energy Transfer in Parametric Down-Conversion -- A Realistic Interaction-Free Resonator
ISBN:9780306470974
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Data structures (Computer science) , Quantum physics , Electrical engineering , Physics , Quantum Physics , Electrical Engineering , Data Structures, Cryptology and Information 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-2002-9780306469671:ONLINE Show nearby items on shelf
Title:Intelligent Robotic Systems Design, Planning, and Control
Author(s): Witold Jacak
Date:2002
Size:1 online resource (310 p.)
Note:10.1007/b115982
Contents:Off-Line Planning, Programming, and Simulation of Intelligent Robotic Systems -- Virtual Robotic Cells -- Planning of Robotic Cell Actions -- Off-Line Planning of Robot Motion -- CAP/CAM Systems for Robotic Cell Design -- Intelligent
Robotic Systems -- Event-Based Real-Time Control of Intelligent Robotic Systems Using Neural Networks and Fuzzy Logic -- The Execution Level of Robotic Agent Action -- The Coordination Level of a Multiagent Robotic System -- The
Organization Level of a Robotic System -- Real-Time Monitoring -- Object-Oriented Discrete-Event Simulator of Intelligent Robotic Cells
ISBN:9780306469671
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:IFSR International Series on Systems Science and Engineering: 14
Keywords: Computer science , Computers , Artificial intelligence , Mechanical engineering , Computer Science , Theory of Computation , Artificial Intelligence (incl. Robotics) , Mechanical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783642568022:ONLINE Show nearby items on shelf
Title:Numerical Methods in Computational Electrodynamics Linear Systems in Practical Applications
Author(s): Ursula van Rienen
Date:2001
Size:1 online resource (91 p.)
Note:10.1007/978-3-642-56802-2
Contents:1.Classical Electrodynamics -- 2. Numerical Field Theory -- 3. Numerical Treatment of Linear Systems -- 4. Applications from Electrical Engineering -- 5. Applications from Accelerator Physics -- Summary -- References -- Symbols
ISBN:9783642568022
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 12
Keywords: Computer science , Computers , Numerical analysis , Optics , Electrodynamics , Particle acceleration , Engineering , Computational intelligence , Computer Science , Theory of Computation , Optics and Electrodynamics , Engineering, general , Numerical Analysis , Computational Intelligence , Particle Acceleration and Detection, Beam 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-2001-9783642564703:ONLINE Show nearby items on shelf
Title:Scientific Computing in Electrical Engineering Proceedings of the 3rd International Workshop, August 20–23, 2000, Warnemünde, Germany
Author(s):
Date:2001
Size:1 online resource (428 p.)
Note:10.1007/978-3-642-56470-3
Contents:Multi-Time PDEs for Dynamical System Analysis -- Edge Finite Elements of Variable Order for Maxwell’s Equations -- A Common-Mode Skeleton Model for EMC Simulations -- Computational Electromagnetism in Transformer and Switchgear
Design: Current Trends -- Numerical Algorithms for the Calculation of Magneto-Quasistatic Fields Using the Finite Integration Technique -- Parallel Maxwell Solvers -- Simulation of Electric Field Strength and Force Density on
Contaminated H-V Insulators -- Commercial EM Codes Suitable for Modeling of Microwave Heating — a Comparative Review -- On the Representation of Differential Forms by Potentials in Dimension 3 -- Hysteresis Models for Transient
Simulation -- Calculation of Frequency Domain Parameters in Lossfree and Lossy Structures Using the FI-Technique and a Modal Approach -- Statistical Simulation Approach to Inverse Geoelectric Problem -- A Scalar BEM for Time Harmonic
Eddy Current Problems with Impedance Boundary Conditions -- Appraisal of Asymptotics in Electromagnetic Field Calculations -- Shape Optimization of Homogeneous Electromagnets -- Field Calculations of High Accuracy by BEM Using
Extrapolation -- Calculation of Electromagnetic Eigenmodes in Complex Structures Using Coupled S-Parameter Calculation -- Multigrid Solvers for Poisson’s Equation in Computational Electromagnetics -- Model Design Criteria for
Integrated Circuits to Have a Unique Solution and Good Numerical Properties -- CHORAL — A One Step Method as Numerical Low Pass Filter in Electrical Network Analysis -- Periodic Steady-State Analysis of Free-running Oscillators --
Efficient Analysis of Oscillatory Circuits -- Robust Limit Cycle Calculations of Oscillators -- Multirate ROW Methods of Mixed Type for Circuit Simulation -- Neural Networks for Device and Circuit Modelling -- Sub-micrometer Bipolar
Transistor Modeling Using Neural Networks -- Numerical Simulation for Lossy Microwave Transmission Lines Including PML -- Electromagnetic Simulation of Real-Life Circuits: A Mobile Phone Power Amplifier Module and an FM Radio Tuner PCB
-- Error Indicator and Adaptive Meshing for Hierarchical FEM-Simulation of Waveguides -- A Parallelizable GMRES-type Method for p-cyclic Matrices, with Applications in Circuit Simulation -- Parallel Algorithms for Solving Linear
Equations in VLSI Circuit Simulation -- Investigation of Time Step Control for the Mixed-Level Device/Circuit Simulation of SiGe Bipolar Microwave Power Amplifiers -- Symmetrical Retarded Current Source Model for Transient Field
Coupling on Interconnects -- Iterative Solution of Systems of Linear Equations in Microwave Circuits Using a Block Quasi-Minimal Residual Algorithm -- A Survey on Parameter Extraction Techniques for Coupling Electromagnetic Devices to
Electric Circuits -- A Mathematical Framework for the Finite Element Modelling of Electromechanical Problems -- Dual Magnetodynamic Finite Element Formulations with Natural Definitions of Global Quantities for Electric Circuit Coupling
-- Induction Heating of Thin Slabs in Nonmagnetic Media -- Krylov Subspace Methods for Harmonic Balanced Finite Element Methods -- The “Modified Trapezoidal Rule” (?-Method) for the Integration of DAEs Modelling an Electro-Mechanical
Drive Including External Circuitry and Magnetic Field-Distribution -- Analysis of Coupled Electromagnetic and Thermal Fields in the Instationary Case -- On the Evaluation of Transients in Conducting Ferromagnetic Cores
ISBN:9783642564703
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 18
Keywords: Engineering , Computers , Computer engineering , Computer mathematics , Numerical analysis , Computational intelligence , Electrical engineering , Engineering , Electrical Engineering , Theory of Computation , Computer Engineering , Computational Mathematics and Numerical Analysis , Numerical Analysis , 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-2001-9781475757958:ONLINE Show nearby items on shelf
Title:Mathematical Theory of Optimization
Author(s):
Date:2001
Size:1 online resource (273 p.)
Note:10.1007/978-1-4757-5795-8
Contents:1 Optimization Problems -- 2 Linear Programming -- 3 Blind Man’s Method -- 4 Hitting Walls -- 5 Slope and Path Length -- 6 Average Slope -- 7 Inexact Active Constraints -- 8 Efficiency -- 9 Variable Metric Methods -- 10 Powell’s
Conjecture -- 11 Minimax -- 12 Relaxation -- 13 Semidefinite Programming -- 14 Interior Point Methods -- 15 From Local to Global -- Historical Notes
ISBN:9781475757958
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 56
Keywords: Mathematics , Software engineering , Computers , Applied mathematics , Engineering mathematics , Computer mathematics , Algorithms , Mathematical optimization , Mathematics , Optimization , Software Engineering/Programming and Operating Systems , Applications of Mathematics , Theory of Computation , Computational Mathematics and Numerical Analysis , 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-2001-9781475732795:ONLINE Show nearby items on shelf
Title:Complementarity: Applications, Algorithms and Extensions
Author(s):
Date:2001
Size:1 online resource (404 p.)
Note:10.1007/978-1-4757-3279-5
Contents:Approximating Maximum Stable Set and Minimum Graph Coloring Problems with the Positive Semidefinite Relaxation -- Nonmonotone Path Following Methods for Nonsmooth Equations and Complementarity Problems -- Scalable Probabilistic
Clustering -- A complementarity eigenproblem in the stability analysis of finite dimensional elastic systems with frictional contact -- Variational Inequality Models of Restructured Electricity Systems -- Optimization Approaches to
Semi-Supervised Learning -- Preprocessing Complementarity Problems -- On the Connectedness of Solution Sets of Parametrized Equations and of Solution Sets in Linear Complementarity Problems -- An Active Set-type Newton Method for
Constrained Nonlinear Systems -- Mathematical Programming in Engineering Mechanics: Some Current Problems -- Data Discrimination via Nonlinear Generalized Support Vector Machines -- On Constraint Qualifications for Mathematical
Programs with Mixed Complementarity Constraints -- A Generation Operation Planning Model in Deregulated Electricity Markets based on the Complementarity Problem -- A Class of Globally Convergent Algorithms for Pseudomonotone
Variational Inequalities -- Successive Convex Relaxation Approach to Bilevel Quadratic Optimization Problems -- On a Nonsmooth Newton Method for Nonlinear Complementarity Problems in Function Space with Applications to Optimal Control
-- The Proximal Point Algorithm for the P0 Complementarity Problem -- Free Boundary Problems in Asset Pricing with Transaction Costs
ISBN:9781475732795
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 50
Keywords: Computer science , Software engineering , Computers , Artificial intelligence , Applied mathematics , Engineering mathematics , Mathematical optimization , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Theory of Computation , Artificial Intelligence (incl. Robotics) , 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-2001-9781461302551:ONLINE Show nearby items on shelf
Title:Steiner Trees in Industry
Author(s):
Date:2001
Size:1 online resource (507 p.)
Note:10.1007/978-1-4613-0255-1
Contents:Steiner Minimum Trees in Uniform Orientation Metrics -- Genetic Algorithm Approaches to Solve Various Steiner Tree Problems -- Neural Network Approaches to Solve Various Steiner Tree Problems -- Steiner Tree Problems in VLSI Layout
Designs -- Polyhedral Approaches for the Steiner Tree Problem on Graphs -- The Perfect Phylogeny Problem -- Approximation Algorithms for the Steiner Tree Problem in Graphs -- A Proposed Experiment on Soap Film Solutions of Planar
Euclidean Steiner Trees -- SteinLib: An Updated Library on Steiner Tree Problems in Graphs -- Steiner Tree Based Distributed Multicast Routing in Networks -- On Cost Allocation in Steiner Tree Networks -- Steiner Trees and the Dynamic
Quadratic Assignment Problem -- Polynomial Time Algorithms for the Rectilinear Steiner Tree Problem -- Minimum Networks for Separating and Surrounding Objects -- A First Level Scatter Search Implementation for Solving the Steiner Ring
Problem in Telecommunications Network Design -- The Rectilinear Steiner Tree Problem: A Tutorial
ISBN:9781461302551
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Combinatorial Optimization: 11
Keywords: Computer science , Computer communication systems , Computers , Computer-aided engineering , Evolutionary biology , Electrical engineering , Computer Science , Computer Communication Networks , Computer-Aided Engineering (CAD, CAE) and Design , Electrical Engineering , Theory of Computation , Evolutionary 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-2001-9781461301653:ONLINE Show nearby items on shelf
Title:Codes, Systems, and Graphical Models
Author(s):
Date:2001
Size:1 online resource (513 p.)
Note:10.1007/978-1-4613-0165-3
Contents:1. Overviews -- An introduction to the analysis of iterative coding systems -- Connections between linear systems and convolutional codes -- Multi-dimensional symbolic dynamical systems -- 2. Codes on Graphs -- Linear-congruence
constructions of low-density parity-check codes -- On the effective weights of pseudocodewords for codes defined on graphs with cycles -- Evaluation of Gallager codes for short block length and high rate applications -- Two small
Gallager codes -- Mildly non-linear codes -- Capacity-achieving sequences -- Hypertrellis: A generalization of trellis and factor graph -- 3: Decoding Techniques -- BSC thresholds for code ensembles based on “typical pairs” decoding --
Properties of the tailbiting BCJR decoder -- Iterative decoding of tail-biting trellises and connections with symbolic dynamics -- Algorithms for decoding and interpolation -- An algebraic description of iterative decoding schemes --
Recursive construction of Gröbner bases for the solution of polynomial congruences -- On iterative decoding of cycle codes of graphs -- 4. Convolutional Codes and Codes Over Rings -- Convolutional codes over finite Abelian groups: Some
basic results -- Symbolic dynamics and convolutional codes -- Linear codes and their duals over artinian rings -- Unit memory convolutional codes with maximum distance -- Basic properties of multidimensional convolutional codes -- 5.
Symbolic Dynamics and Automata Theory -- Length distributions and regular sequences -- Handelman’s theorem on polynomials with positive multiples -- Topological dynamics of cellular automata -- A spanning tree invariant for Markov
shifts -- List of workshop participants
ISBN:9781461301653
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:The IMA Volumes in Mathematics and its Applications: 123
Keywords: Computer science , Coding theory , Computers , Mathematics , Mathematical analysis , Analysis (Mathematics) , Applied mathematics , Engineering mathematics , Electrical engineering , Computer Science , Theory of Computation , Mathematics, general , Analysis , Applications of Mathematics , Coding and Information Theory , Electrical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781447139058:ONLINE Show nearby items on shelf
Title:Iterative Methods for Queuing and Manufacturing Systems
Author(s): Wai Ki Ching
Date:2001
Size:1 online resource (160 p.)
Note:10.1007/978-1-4471-3905-8
Contents:1. Introduction and Overview -- 2. Toeplitz-Circulant Preconditioners for Queuing Systems with Batch Arrivals -- 3. Circulant-Based Preconditioners for Queuing Systems with Markov-Modulated Poisson Process Inputs -- 4. Application of
MMPP to Manufacturing Systems of Multiple Unreliable Machines -- 5. Manufacturing Systems with Batch Arrivals -- 6. Flexible Manufacturing Systems of Unreliable Machines -- 7. Manufacturing Systems of Two Machines in Tandem -- 8.
Manufacturing Systems with Delivery Time Guarantee -- 9. Multi-Location and Two-Echelon Inventory Systems -- References
ISBN:9781447139058
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computers , Applied mathematics , Engineering mathematics , Computer mathematics , Probabilities , Manufacturing industries , Machines , Tools , Mathematics , Applications of Mathematics , Probability Theory and Stochastic Processes , Theory of Computation , Computational Mathematics and Numerical Analysis , Manufacturing, Machines, Tools
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-9780306480812:ONLINE Show nearby items on shelf
Title:Intelligent Control Systems An Introduction with Examples
Author(s): Katalin M Hangos
Date:2001
Size:1 online resource (306 p.)
Note:10.1007/b101833
Contents:Getting Started -- Knowledge Representation -- Reasoning and Search in Rule-Based Expert Systems -- Verification and Validation of Rule-Based Knowledge Bases -- Tools for Knowledge Representation and Reasoning -- Real-Time Expert
Systems -- Qualitative Reasoning -- Petri Nets -- Fuzzy Control Systems -- G2: An Example of A Real-Time Expert System
ISBN:9780306480812
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 60
Keywords: Computer science , Special purpose computers , Software engineering , Artificial intelligence , System theory , Control engineering , Computer Science , Artificial Intelligence (incl. Robotics) , Control , Systems Theory, Control , Software Engineering/Programming and Operating Systems , Special Purpose and Application-Based Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9789401009485:ONLINE Show nearby items on shelf
Title:Computational Aerosciences in the 21st Century Proceedings of the ICASE/LaRC/NSF/ARO Workshop, conducted by the Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, The National Science Foundation and the Army Research Office, April 22–24, 1998
Author(s):
Date:2000
Size:1 online resource (292 p.)
Note:10.1007/978-94-010-0948-5
Contents:Isaac Inside: The Cultural Filters on Truly New Computing -- 3-D Geometric Model Acquisition System for a Tele-collaboration Testbed -- The Emerging Grid -- Distributed Systems on the Pragmatic Object Web Computing with Java and CORBA
-- From Gene Expression to Large Scale Evolutionary Optimization -- Trends in Algorithms for Nonuniform Applications on Hierarchical Distributed Architectures -- Quantum Computation -- Generation of Unstructured Grids Suitable for RANS
Calculations -- The Future of Lattice-gas and Lattice Boltzmann Methods -- Unstructured Grid Generation for Aerospace Applications -- Geometry Modeling and Grid Generation for Design and Optimization -- NASA’s Information Power Grid
Project -- Enabling Greater than 100 Teraflops through a Synthesis of Alternative Technologies -- From Molecular Dynamics t o Navier-Stokes and Beyond -- List of Attendees
ISBN:9789401009485
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:ICASE LaRC Interdisciplinary Series in Science and Engineering: 8
Keywords: Mathematics , Microprocessors , Computers , Numerical analysis , Mathematical models , Number theory , Aerospace engineering , Astronautics , Mathematics , Number Theory , Aerospace Technology and Astronautics , Numeric Computing , Theory of Computation , Processor Architectures , Mathematical Modeling and Industrial Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9783662042090:ONLINE Show nearby items on shelf
Title:The Physics of Quantum Information Quantum Cryptography, Quantum Teleportation, Quantum Computation
Author(s):
Date:2000
Size:1 online resource (4 p.)
Note:10.1007/978-3-662-04209-0
Contents:1. The Physics of Quantum Information: Basic Concepts -- 2. Quantum Cryptography -- 3. Quantum Dense Coding and Quantum Teleportation -- 4. Concepts of Quantum Computation -- 5. Experiments Leading Towards Quantum Computation -- 6.
Quantum Networks and Multi-Particle Entanglement -- 7. Decoherence and Quantum Error Correction -- 8. Entanglement Purification -- References
ISBN:9783662042090
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Data structures (Computer science) , Quantum physics , Quantum optics , Lasers , Photonics , Quantum computers , Spintronics , Electrical engineering , Physics , Quantum Physics , Laser Technology, Photonics , Quantum Optics , Communications Engineering, Networks , Data Structures, Cryptology and Information Theory , Quantum Information Technology, Spintronics
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-9783642596865:ONLINE Show nearby items on shelf
Title:High Performance Computing in Science and Engineering ’99 Transactions of the High Performance Computing Center Stuttgart (HLRS) 1999
Author(s):
Date:2000
Size:1 online resource (105 p.)
Note:10.1007/978-3-642-59686-5
Contents:Physics -- Finite difference modelling of elastic wave propagation in the Earth’s uppermost mantle -- Direct Simulation of Seismic Wave Propagation -- Summary of Project 11172 -- Development and Astrophysical Applications of a
Parallel Smoothed Particle Hydrodynamics Code with MPI -- Collisional dynamics around black hole binaries in galactic centres -- IMD — A Massively Parallel Molecular Dynamics Package for Classical Simulations in Condensed Matter
Physics -- Symmetrie diblock copolymers confined into thin films: A Monte Carlo investigation on the CRAY T3E -- Molecular Dynamics of Covalent Crystals -- Simulation of random copolymers at selective interfaces and of cross-linked
polymer blends -- Towards the Limits of present-day Supercomputers: Exact Diagonalization of Strongly Correlated Electron-Phonon Systems -- The Metal-Insulator Transition in the Hubbard Model -- Vibronic studies of adsorbate-covered
semiconductor surfaces with the help of HPC -- Computational Methods in Chemistry and Molecular Biology -- The multi-reference configuration interaction method on massively parallel architectures -- Quantum Chemical Studies on
Heterocyclic Rearrangements in Benzofuroxans: Reaction Paths, Vibrational Spectra, and Rate Constants -- High Level Quantum-Chemical Computations on the Cyclizations of Enyne Allenes -- MD Simulation of a Phospholipid Bilayer --
Three-Dimensional Organization of Chromosome Territories and the Human Cell Nucleus -- Computational Fluid Dynamics (CFD) -- Parallel Computation of Interface Dynamics in Incompressible Two-Phase Flows -- Numerical Simulation of Fluid
Flow and Heat Transfer in an Industrial Czochralski Melt Using a Parallel-Vector Supercomputer -- Numerical flow simulation in cylindrical geometries -- DNS of Laminar-Turbulent Transition in Separation Bubbles -- Numerical Simulation
of Supersonic Hydrogen-Air Combustion -- Computation of Turbulent Flows with Separation by Coherent Structure Capturing -- Large Eddy Simulation of the Flow around a Circular Cylinder -- Direct Numerical Simulations of an Adverse
Pressure Gradient Turbulent Boundary Layer on High Performance Computers -- Aeroelastic Analysis of a Helicopter Rotor in Forward Flight -- Flow with chemical reaction -- Investigation of Chemistry-Turbulence Interactions Using DNS on
the Cray T3E -- Multigrid Convergence Acceleration for Non-Reactive and Reactive Flows -- Quasi-Particles in a Three-Dimensional Three-Component Reaction-Diffusion System -- Upwind Relaxation Algorithm for Re-entry Nonequilibrium Flows
-- 3D Simulation of instationary turbulent flow and combustion in internal combustion engines -- Numerical prediction of load changes in a coal-fired utility boiler -- Structural Mechanics and Electrical Engineering -- Design and
Application of Object Oriented Parallel Data Structures in Particle and Continuous Systems -- Computation of Electromagnetic Fields by the Method of Moments on the CRAY T3E: Iterative Solution Techniques and Large Scale Applications --
Numerical Treatment of Time Varying Magnetic Fields in Power Transformers by Using the Boundary Element Method (BEM) -- Direct and Inverse Electromagnetic Scattering -- Computer Science -- Fine-Grained Multithreading on the Cray T3E --
ParGrad System: Dynamical Adaptation of the Parallelism Degree of Programs on Cray T3E -- Comparative Measurements of the Solution of PDE’s on the PARAGON and the SB-PRAM -- KaHPF: Compiler generated Data Prefetching for HPF -- A
Parallel Object Oriented Framework for Particle Methods -- Parallel solution of Partial Differential Equations with Adaptive Multigrid Methods on Unstructured Grids -- Coupling and Parallelization of Grid-based Numerical Simulation
Software
ISBN:9783642596865
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemoinformatics , Computer simulation , Computer mathematics , Physics , Complexity, Computational , Mathematics , Computational Mathematics and Numerical Analysis , Computer Applications in Chemistry , Mathematical Methods in Physics , Numerical and Computational Physics , Complexity , Simulation and Modeling
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-9783642571725:ONLINE Show nearby items on shelf
Title:Advances in Software Tools for Scientific Computing
Author(s):
Date:2000
Size:1 online resource (362 p.)
Note:10.1007/978-3-642-57172-5
Contents:A Modern Framework for Portable High-Performance Numerical Linear Algebra -- Blitz++: The Library that Thinks it is a Compiler -- The Design of Sparse Direct Solvers using Object-Oriented Techniques -- A Sparse Grid PDE Solver
Discretization, Adaptivity, Software Design and Parallelization -- Java as an Environment for Scientific Computing -- ODE Software that Computes Guaranteed Bounds on the Solution -- The Evolution and Testing of a Medium Sized Numerical
Package -- An Object-Oriented Approach to the Finite Element Modeling and Design of Material Processes -- Object-Oriented Field Recovery and Error Estimation in Finite Ele- ment Methods -- Designing an ODE Solving Environment --
Generalized Maps in Geological Modeling: Object-Oriented Design of Topological Kernels -- Author Index
ISBN:9783642571725
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 10
Keywords: Computer science , Software engineering , Computers , Algorithms , Numerical analysis , Computer Science , Theory of Computation , Software Engineering/Programming and Operating Systems , Numerical Analysis , 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-2000-9781475731453:ONLINE Show nearby items on shelf
Title:Approximation and Complexity in Numerical Optimization Continuous and Discrete Problems
Author(s):
Date:2000
Size:1 online resource (581 p.)
Note:10.1007/978-1-4757-3145-3
Contents:Navigating Graph Surfaces -- The Steiner Ratio of Lp-planes -- Hamiltonian Cycle Problem via Markov Chains and Min-type Approaches -- Solving Large Scale Uncapacitated Facility Location Problems -- A Branch — and — Bound Procedure for
the Largest Clique in a Graph -- A New “Annealed” Heuristic for the Maximum Clique Problem -- Inapproximability of some Geometric and Quadratic Optimization Problems -- Convergence Rate of the P-Algorithm for Optimization of Continious
Functions -- Application of Semidefinite Programming to Circuit Partitioning -- Combinatorial Problems Arising in Deregulated Electrical Power Industry: Survey and Future Directions -- On Approximating a Scheduling Problem -- Models
and Solution for On-Demand Data Delivery Problems -- Complexity and Experimental Evaluation of Primal-Dual Shortest Path Tree Algorithms -- Machine Partitioning and Scheduling under Fault-Tolerance Constraints -- Finding Optimal
Boolean Classifiers -- Tighter Bounds on the Performance of First Fit Bin Packing -- Block Exchange in Graph Partitioning -- On the Efficient Approximability of “HARD” Problems: A Survey -- Exceptional Family of Elements, Feasibility,
Solvability and Continuous Paths of ?- Solutions for Nonlinear Complementarity Problems -- Linear Time Approximation Schemes for Shop Scheduling Problems -- On Complexity and Optimization in Emergent Computation -- Beyond Interval
Systems: What Is Feasible and What Is Algorithmically Solvable? -- A Lagrangian Relaxation of the Capacitated Multi-Item Lot Sizing Problem Solved with an Interior Point Cutting Plane Algorithm -- An Approximate Algorithm For a Weapon
Target Assignment Stochastic Program -- Continuous-based Heuristics for Graph and Tree Isomorphisms, with Application to Computer Vision -- Geometric Optimization Problems for Steiner Minimal Trees in E3 -- Optimization of a Simplified
Fleet Assignment Problem with Metaheuristics: Simulated Annealing and GRASP -- Towards Implementations of Successive Convex Relaxation Methods for Nonconvex Quadratic Optimization Problems -- Piecewise Concavity and Discrete Approaches
to Continuous Minimax Problems -- The MCCNF Problem with a Fixed Number of Nonlinear Arc Costs: Complexity and Approximation -- A New Parametrization Algorithm for the Linear Complementarity Problem -- Obtaining an Approximate Solution
for Quadratic Maximization Problems
ISBN:9781475731453
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 42
Keywords: Engineering , Computers , Approximation theory , Calculus of variations , Industrial engineering , Production engineering , Engineering , Industrial and Production Engineering , Calculus of Variations and Optimal Control Optimization , Theory of Computation , Approximations and Expansions
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-9781461546771:ONLINE Show nearby items on shelf
Title:Global Optimization with Non-Convex Constraints Sequential and Parallel Algorithms
Author(s): Roman G Strongin
Date:2000
Size:1 online resource (704 p.)
Note:10.1007/978-1-4615-4677-1
ISBN:9781461546771
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 45
Keywords: Mathematics , Software engineering , Computers , Computer mathematics , Algorithms , Mathematical optimization , Engineering , Mathematics , Optimization , Software Engineering/Programming and Operating Systems , Computational Mathematics and Numerical Analysis , Theory of Computation , Algorithms , Engineering, 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-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-1999-9789401142670:ONLINE Show nearby items on shelf
Title:Software Prototyping in Data and Knowledge Engineering
Author(s): Giovanni Guida
Date:1999
Size:1 online resource (408 p.)
Note:10.1007/978-94-011-4267-0
Contents:1 The Prototyping Approach to Software Development -- 1.1 Linear Software Development -- 1.2 Software Prototyping -- 1.3 Iterative Software Development -- 1.4 The Evolutionary Perspective of Software Development -- 1.5 User-Centered
Software Design and Development -- 1.6 Software Prototyping Approaches -- 1.7 Classification of Software Prototypes -- 1.8 Software Prototyping and Prototypes. -- 1.9 Goals of Software Prototyping. -- 1.10 Prototyping and Software
Evaluation. -- 1.11 Involvement and Role of Users in Software Prototyping -- 1.12 Misconceptions about Software Prototyping -- 1.13 Rules of Software Prototyping -- 1.14 Requirements for Software Prototyping Environments -- 1.15
Object-Oriented Programming and Prototyping -- 1.16 Object-Oriented CASE Tools for Prototyping -- 2 Overview of Database Technology -- 2.1 Extended Relational Databases -- 2.2 Deductive Databases -- 2.3 Object Databases -- 2.4 Active
Databases -- 2.5 Temporal Databases -- 2.6 Spatial Databases -- 2.7 Multimedia Databases. -- 2.8 Data Warehousing. -- 2.9 Data Mining -- 3 Overview of Knowledge-Based Technology -- 3.1 Knowledge-Based Systems. -- 3.2 The Challenge of
Knowledge-Based Systems. -- 3.3 Knowledge-Based Technology: Techniques, Tools and Methodologies -- 3.4 KBS Techniques -- 3.5 KBS Tools -- 3.6 KBS Methodologies -- 3.7 Beyond Knowledge-Based Technology: A knowledge Management
Perspective -- 4 Data and Knowledge Intensive Systems -- 4.1 Computer Problem-Solving -- 5 The Prototyping Hierarchy -- 5.1 Approach and Architecture -- 5.1.1 Star Architecture -- 5.2 Reference Application. -- 6 The Relational Layer --
6.1 Relational Paradigm -- 6.2 Relational Prototyping Language -- 6.3 Prototyping by Relational Techniques -- 6.4 Prototyping the Relational Layer -- 7 The Extended Relational Layer -- 7.1 Extended Relational Paradigm -- 7.2 Extended
Relational Prototyping Language. -- 7.3 Prototyping by Extended Relational Techniques -- 7.4 Prototyping the Extended Relational Layer -- 8 The Deductive Layer -- 8.1 Deductive Paradigm -- 8.2 Deductive Prototyping Language -- 8.3
Prototyping by Deductive Techniques -- 8.4 Prototyping the Deductive Layer -- 9 The Object Layer -- 9.1 Object Paradigm -- 9.2 Object Prototyping Language. -- 9.3 Prototyping by Object Techniques -- 9.4 Prototyping the Object Layer. --
10 The Active Layer -- 10.1 Active Paradigm -- 10.2 Active Prototyping Language -- 10.3 Prototyping by Active Techniques -- 10.4 Prototyping the Active Layer -- 11 Prototyping Techniques Integration -- 11.1 Integrated Paradigm -- 11.2
Integrated Prototyping Language -- 12 Mapping Prototypes to Relational Databases -- 12.1 Transforming Passive Rules into Active Rules -- 12.2 Mapping Schemas. -- 12.3 Mapping Declarative Expressions -- 12.4 Mapping Procedural Code --
12.5 Mapping Nonrecursive Passive Rules -- 12.6 Mapping Active Rules -- References
ISBN:9789401142670
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 497
Keywords: Computer science , Software engineering , Programming languages (Electronic computers) , Data structures (Computer science) , Artificial intelligence , Computer Science , Data Structures, Cryptology and Information Theory , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9783642601552:ONLINE Show nearby items on shelf
Title:High Performance Scientific and Engineering Computing Proceedings of the International FORTWIHR Conference on HPSEC, Munich, March 16-18, 1998
Author(s):
Date:1999
Size:1 online resource (44 p.)
Note:10.1007/978-3-642-60155-2
Contents:I Fluid Flow -- On the Realistic Performance of Linear Algebra Components in Iterative Solvers -- Applying the Checkpointing Routine treeverse to Discretizations of Burgers’ Equation -- Adaptive Grids for Time Dependent Conservation
Laws: Theory and Applications in CFD -- Numerical Bifurcation Analysis of Premixed Combustion in Porous Inert Media -- Multigrid Solution of the Incompressible Navier-Stokes Equations and its Application to Parallel Computers --
Simulation of Internal and Free Turbulent Flows -- Application of Parallel Numerical Flow Solvers Invoking Advanced Turbulence-Transport Models to Aircraft Components -- Solution of Coupled Problems by Parallel Multigrid -- Coupled
Numerical Computations of the Fluid Damped Oscillations of a Lamina -- Efficient Treatment of Complicated Geometries and Moving Interfaces for CFD Problems -- II Dynamic Systems and Optimal Control -- Very Low Thrust Trajectory
Optimization -- Mechanical Multibody Systems with Deformable Components -- Real Time Simulation and Online Control for Virtual Test Drives of Cars -- Numerical Simulation of Vibrations for the Design of a Rear Axle -- Flight Tests with
Computer Generated Synthetic Vision -- Flight Path Optimization with a New Homotopy Method for Reducing Safety Hazards in Microbursts -- Integrated User Environment for the Numerical Solution of Optimal Control Problems -- Simulation
and Optimization of Logistic Processes Involving Sloshing Media -- Numerical Simulation and Optimal Control of Air Separation Plants -- Advanced Extrapolation Methods for Large Scale Differential Algebraic Problems -- III Melting,
Coating, and Crystal Growth -- On the Generation and Spreading of ’Finger’ Instabilities in Film Coating Processes -- CrysVUN++, a Powerful Computer Code for Global Thermal Modelling of Industrial Crystal Growth Processes -- 3D
Adaptive Unstructured Grid Solver: Application to Flow and GaAs Deposition in the Planetary Reactor™ -- Direct Navier-Stokes Simulations of Turbulent Czochralski Flows -- IV Semiconductors and Circuits -- Advanced Models, Applications,
and Software Systems for High Performance Computing - Application in Microelectronics -- Numerical Simulation of Microstructured Semiconductor Devices, Transducers, and Systems -- Parallel Multigrid Methods for the Continuity Equations
in Semiconductor Device Simulation -- Partitioning Strategies in Circuit Simulation -- A New Stochastic Integration Scheme for the Efficient Solution of Randomly Disturbed Circuits -- Eigenvalue Solvers for Electromagnetic Fields in
Cavities -- Remarks on the Convex Analysis of the Energy Model of Semiconductor Devices -- Analysis of Electromechanical Microdevices Using Coupled FEM-BEM Based on the TP2000 CAD Platform -- Numerical Analysis of Distributed Inductive
Parasitics in High Power Bus Bars -- Low Pressure Discharges in Plasma Reactors: Modelling and Computer-Aided Diagnostics -- V HPSC in Physics and Chemistry -- Numerical Fluid Dynamics in Astrophysics with Smoothed Particle
Hydrodynamics -- Parallel Computation of Multi-Dimensional Neutron and Photon Transport in Inhomogeneous Media -- Quantum Chemistry on Parallel Computers: Concepts and Results of a Density Functional Method -- Future Trends in HPSC --
Technological Trends and their Impact on the Future of Supercomputers
ISBN:9783642601552
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 8
Keywords: Mathematics , Science , Computers , Computer mathematics , Physics , Computational intelligence , Mathematics , Computational Mathematics and Numerical Analysis , Theory of Computation , Science, general , Computational Intelligence , Mathematical Methods in Physics , Numerical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9783642586002:ONLINE Show nearby items on shelf
Title:High Performance Computing in Science and Engineering ’98 Transactions of the High Performance Computing Center Stuttgart (HLRS) 1998
Author(s):
Date:1999
Size:1 online resource (455 p.)
Note:10.1007/978-3-642-58600-2
Contents:Physics -- Universal Fluctuations of Dirac Spectra -- Computations of Convection Driven Spherical Dynamos -- Dynamical Behaviour of Persistent Spins in the Triangular Potts Model A Large-Scale Monte Carlo Study -- Dynamical
Localization in the Paul Trap — the Influence of the Internal Strucutre of the Atom -- Interacting Particle-Liquid Systems -- Finite Difference Modeling of Earthquakes -- Parallel Seismic Data Processing -- Parallel computing on
Near-field Scanning Optical Microscopy (NSOM) -- Solid State Physics -- Quantum Monte Carlo Simulations of one Hole in the t-J Model -- SU (2)-spin Invariant Auxiliary Field Quantum Monte-Carlo Algorithm for Hubbard Models --
Temperature Dependent Band Structure of the Kondo insulator -- Numerical study of spin-charge separation in one dimension -- The interplay between d-wave superconductivity and antiferromagnetic fluctuations: a quantum Monte Carlo study
-- Towards a Time-Dependent Density-Functional Description of Multiple Multiphoton-Ionization of Helium in Strong Laser Fields -- Chemistry and High-Performance Computing -- Hydrogen Molecule in a Magnetic Field: The Global Ground
State of the Parallel Configuration -- Interfaces in immiscible polymer blends: A Monte Carlo simulation approach on the CRAY T3E -- Computer Simulations of the Dynamics of Amorphous Silica -- Computational Fluid Dynamics -- Direct
Numerical Simulations of Turbulent Boundary Layers on High Performance Computers -- DNS of Point-Source Induced Transition in an Airfoil Boundary-Layer Flow -- CFD-Applications on NEC SX-4 -- High Performance Computing of Turbulent
Flow in Complex Pipe Geometries -- Parallelization of the CFD Code KAPPA for Distributed Memory Computers -- Numerical simulation of the fluid flow and the separation behaviour in a disc stack centrifuge -- Unsteady Flow Simulation in
an Axial Flow Turbine Using a Parallel Implicit Navier-Stokes Method -- Navier-Stokes-Calculations of the Flow around a Helicopter Fuselage -- Parallel multilevel algorithms for solving the incompressible Navier-Stokes equations -- A
Parallel Software-Platform for Solving Problems of Partial Differential Equations Using Unstructured Grids and Adaptive Multigrid Methods -- Reacting Flows -- Detailed Simulations of Turbulent Flames Using Parallel Supercomputers --
Towards a reliable and efficient furnace simulation tool for coal fired utility boilers -- Engineering and Computer-Science -- Parallel Computation of Electromagnetic Fields Based on Integral Equations -- Numerical Simulation of
Mechanical Behaviour of Dynamically Stressed Fencing Mask -- Parallel SPH on CRAY T3E and NEC SX-4 Using DTS -- PISA — Parallel Image Segmentation Algorithms -- Interactive Parallel Visualization of Large Scale Computer Simulations in
Physics -- Construction of Large Permutation Representations for Matrix Groups
ISBN:9783642586002
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Chemoinformatics , Computer mathematics , Physics , Complexity, Computational , Mathematics , Computational Mathematics and Numerical Analysis , Computer Applications in Chemistry , Mathematical Methods in Physics , Numerical and Computational Physics , 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-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-9783322901934:ONLINE Show nearby items on shelf
Title:Optimum Aerodynamic Design & Parallel Navier-Stokes Computations ECARP — European Computational Aerodynamics Research Project
Author(s):
Date:1998
Size:1 online resource (467 p.)
Note:10.1007/978-3-322-90193-4
Contents:A: Numerical Optimization in Aerodynamic Design -- I. Introduction -- II. Definition of the Problems for the Analysis -- III. Contributions to the Resolution of the Data Workshop Test Cases -- IV. Synthesis of Test Cases -- V.
Conclusion and Perspectives -- B: Navier Stokes Solution on MPP Computers -- I. Introduction -- II. Definition of the Problems for the Analysis -- III. Contribution to the Resolution of the Data Workshop Test Cases -- IV. Synthesis of
Test Cases -- V. Conclusion and Perspectives -- Acknowledgements -- Annex: List of Partners and Addresses
ISBN:9783322901934
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Notes on Numerical Fluid Mechanics (NNFM): 61
Keywords: Engineering , Computer mathematics , Fluids , Applied mathematics , Engineering mathematics , Engineering , Appl.Mathematics/Computational Methods of Engineering , Fluid- and Aerodynamics , Computational Mathematics and Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9781475727937:ONLINE Show nearby items on shelf
Title:Computational Complexity and Feasibility of Data Processing and Interval Computations
Author(s): Vladik Kreinovich
Date:1998
Size:1 online resource (459 p.)
Note:10.1007/978-1-4757-2793-7
Contents:1 Informal Introduction: Data Processing, Interval Computations, and Computational Complexity -- 2 The Notions of Feasibility and NP-Hardness: Brief Introduction -- 3 In the General Case, the Basic Problem of Interval Computations is
Intractable -- 4 Basic Problem of Interval Computations for Polynomials of a Fixed Number of Variables -- 5 Basic Problem of Interval Computations for Polynomials of Fixed Order -- 6 Basic Problem of Interval Computations for
Polynomials with Bounded Coefficients -- 7 Fixed Data Processing Algorithms, Varying Data: Still NP-Hard -- 8 Fixed Data, Varying Data Processing Algorithms: Still Intractable -- 9 What if We only Allow some Arithmetic Operations in
Data Processing? -- 10 For Fractionally-Linear Functions, a Feasible Algorithm Solves the Basic Problem of Interval Computations -- 11 Solving Interval Linear Systems is NP-Hard -- 12 Interval Linear Systems: Search for Feasible
Classes -- 13 Physical Corollary: Prediction is not Always Possible, Even for Linear Systems with Known Dynamics -- 14 Engineering Corollary: Signal Processing is NP-Hard -- 15 Bright Sides of NP-Hardness of Interval Computations I:
NP-Hard Means That Good Interval Heuristics can Solve other Hard Problems -- 16 If Input Intervals are Narrow Enough, Then Interval Computations are Almost Always Easy -- 17 Optimization — a First Example of a Numerical Problem in
which Interval Methods are used: Computational Complexity and Feasibility -- 18 Solving Systems of Equations -- 19 Approximation of Interval Functions -- 20 Solving Differential Equations -- 21 Properties of Interval Matrices I: Main
Results -- 22 Properties of Interval Matrices II: Proofs and Auxiliary Results -- 23 Non-Interval Uncertainty I: Ellipsoid Uncertainty and its Generalizations -- 24 Non-Interval Uncertainty II: Multi-Intervals and Their Generalizations
-- 25 What if Quantities are Discrete? -- 26 Error Estimation for Indirect Measurements: Interval Computation Problem is (Slightly) Harder than a Similar Probabilistic Computational Problem -- A In Case of Interval (Or More General)
Uncertainty, no Algorithm can Choose the Simplest Representative -- B Error Estimation for Indirect Measurements: Case of Approximately Known Functions -- C From Interval Computations to Modal Mathematics -- D Beyond NP: Two Roots
Good, one Root Better -- E Does “NP-Hard”Really Mean “Intractable”? -- F Bright Sides of NP-Hardness of Interval Computations II: Freedom of Will? -- G The Worse, The Better: Paradoxical Computational Complexity of Interval
Computations and Data Processing -- References
ISBN:9781475727937
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 10
Keywords: Mathematics , Computers , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematical models , Mathematical optimization , Mathematics , Computational Mathematics and Numerical Analysis , Theory of Computation , Optimization , Mathematical Modeling and Industrial Mathematics , 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-1997-9789401157407:ONLINE Show nearby items on shelf
Title:VLSI Planarization Methods, Models, Implementation
Author(s): V Feinberg
Date:1997
Size:1 online resource (186 p.)
Note:10.1007/978-94-011-5740-7
Contents:1 Discrete Mathematics Fundamentals -- 1.1 Graphs And Hypergraphs -- 1.2 Algorithms And Their Complexity -- 1.3 Algorithms In Graphs -- 1.4 Intractable Problems -- 2 Graph Planarization -- 2.1 Planar Graphs. Graph Planarity Criteria
-- 2.2 Graph Planarity Testing Algorithms -- 2.3 Approximation Algorithm for Graph Planarization -- 3 Hypergraph Planarization -- 3.1 The Concept of Planar Hypergraph -- 3.2 Planarity of Different Hypergraph Classes -- 3.3 Hypergraph
Nonplanarity Measures. Statement of Hypergraph Planarization Problem -- 3.4 Decomposition Methods of Hypergraph Planarization -- 4 Mathematical Models for VLSI Planarization Problem -- 4.1 Graph versus Hypergraph VLSI Models -- 4.2
VLSI Models with Specified Element Models -- 4.3 Dynamic VLSI Models -- 5 Extracting a Maximum Planar VLSI Part -- 5.1 Extracting a Maximum Planar VLSI Part as a Hypergraph Planarization Problem -- 5.2 Iteration Algorithm for
Hypergraph Planarization -- 5.3 Hypergraph Planarization by Konig Representation -- 5.4 Operations of Local Embedding Optimization -- 6 Constructing Nonplanar Connections -- 6.1 Graph Model for Nonplanar Connections -- 6.2 Constructing
a Nonplanar Connection as a Steiner Problem in a Weighted Graph -- 6.3 Ordering Nonplanar Connections to be Constructed -- 7 Planarization System Structure -- 7.1 Purpose and Functions of the System -- 7.2 Planarization System
Structure. Logic Diagram -- 7.3 Data Organization in Planarization System -- 7.4 Some Aspects of the Practical Use of the Planarization System -- References
ISBN:9789401157407
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 399
Keywords: Engineering , Computers , Computer science , Algorithms , Electrical engineering , Engineering , Electrical Engineering , Computing Methodologies , Algorithms , Discrete Mathematics in Computer Science , Theory of Computation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9789401154123:ONLINE Show nearby items on shelf
Title:Parallel Numerical Algorithms
Author(s):
Date:1997
Size:1 online resource (395 p.)
Note:10.1007/978-94-011-5412-3
Contents:Parallel Numerical Algorithms: An Introduction -- On Parallel Numerical Software Libraries -- Parallel Direct Methods for Sparse Linear Equations -- Linear System Solvers: Sparse Iterative Methods -- Implicitly Restarted
Arnoldi/Lanczos Methods for Large Scale Eigenvalue Calculations -- Approximate and Incomplete Factorizations -- Parallel Multigrid Methods -- Domain Decomposition Methods for Partial Differential Equations -- Parallel FFTs -- Some
Empirical Results on Using Multipole-Accelerated Iterative Methods to Solve 3-D Potential Integral Equations -- Multiresolution Representation and Numerical Algorithms: A Brief Review -- Graph Partitioning Algorithms with Applications
to Scientific Computing -- An Introduction to Performance Debugging for Parallel Computers -- NAS Parallel Benchmark Results
ISBN:9789401154123
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:ICASE/LaRC Interdisciplinary Series in Science and Engineering: 4
Keywords: Mathematics , Microprocessors , Algebra , Partial differential equations , Computer mathematics , Algorithms , Engineering , Mathematics , Algebra , Engineering, general , Algorithms , Processor Architectures , Partial Differential Equations , Computational Mathematics and Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9783642979538:ONLINE Show nearby items on shelf
Title:Solving Problems in Scientific Computing Using Maple and MATLAB®
Author(s): Walter Gander
Date:1997
Edition:Third, Expanded and Revised Edition 1997
Size:1 online resource (412 p.)
Note:10.1007/978-3-642-97953-8
Contents:1. The Tractrix and Similar Curves -- 2. Trajectory of a Spinning Tennis Ball -- 3. The Illumination Problem -- 4. Orbits in the Planar Three-Body Problem -- 5. The Internal Field in Semiconductors -- 6. Some Least Squares Problems --
7. The Generalized Billiard Problem -- 8. Mirror Curves -- 9. Smoothing Filters -- 10. The Radar Problem -- 11. Conformal Mapping of a Circle -- 12. The Spinning Top -- 13. The Calibration Problem -- 14. Heat Flow Problems -- 15.
Modeling Penetration Phenomena -- 16. Heat Capacity of System of Bose Particles -- 17. Free Metal Compression -- 18. Gauss Quadrature -- 19. Symbolic Computation of Explicit Runge-Kutta Formulas -- 20. Transient Response of a Two-Phase
Half-Wave Rectifier -- 21. Circuits in Power Electronics -- 22. Newton's and Kepler's Laws -- 23. Least Squares Fit of Point Clouds -- 24. Modeling Social Processes -- 25. Contour Plots of Analytic Functions -- 26. Non-Linear Least
Squares: Finding the Most Accurate Location of an Aircraft -- 27. Computing Plane Sundials
ISBN:9783642979538
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer software , Numerical analysis , Calculus of variations , Physics , Applied mathematics , Engineering mathematics , Mathematics , Numerical Analysis , Mathematical Software , Appl.Mathematics/Computational Methods of Engineering , Theoretical, Mathematical and Computational Physics , Calculus of Variations and Optimal Control Optimization , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9789400708587:ONLINE Show nearby items on shelf
Title:Advanced Relational Programming
Author(s): Filippo Cacace
Date:1996
Size:1 online resource (394 p.)
Note:10.1007/978-94-007-0858-7
Contents:1. Introduction -- 1.1. Brief History of Database Technology -- 1.2. The Relational Approach -- 1.3. Data-Intensive Application Domains -- 1.4. Requirements of New Data-Intensive Applications -- 2. Overview Of Recent Evolution In
Database Technology -- 2.1. Semantic Data Models -- 2.2. Functional Data Models -- 2.3. Temporal Databases -- 2.4. Extended Relational Databases -- 2.5. Deductive Databases -- 2.6. Object-Oriented Databases -- 2.7. Active Databases --
3. Theory Of The Nested Relational Model -- 3.1. The Relational Data Model -- 3.2. Relational Algebra -- 3.3. Relational Calculus -- 3.4. Nested Relational Data Model -- 3.5. Extended Relational Algebra -- 3.6. Equivalence of Extended
Relational Algebra Expressions -- 3.7. Extended Relational Calculus -- 3.8. Expressive Power: Comparing Algebra and Calculus -- 3.9. Taxonomy of Nested Relations -- 3.10. Further Extensions to the Nested Relational Model -- 4. Algres,
An Extended Relational Database Programming Language -- 4.1. A Tour of Aigres -- 4.2. Rationale of Aigres Design -- 5. Programming In Algres -- 5.1. Constants, Identifiers, and Objects -- 5.2. Groups and Persistency -- 5.3. Operations
-- 5.4. The Quantification Mechanism -- 5.5. Input-Output -- 5.6. Control structures and blocks -- 5.7. Subprograms -- 5.8. Links -- 5.9. Built in functions -- 5.10. Program Structure -- 6. Alice, The Application Program Interface Of
Algres -- 6.1. A Tour of Alice -- 6.2. Guidelines for Writing Alice Programs -- 6.3. Programming in Alice -- 7. Algraph, The Graphical Interface Of Algres -- 7.1. Graphical Display -- 7.2. Graphical Read -- 7.3. Motif Interface for
Input-Output -- 7.4. Schema Editor -- Appendix A: Syntax Of Algres -- Appendix B: Syntax Of Alice Operators -- Appendix C: Algres And Alice Keywords -- Appendix D: Installing And Using The Algres System -- Getting a Free Copy of the
Aigres System -- Installing Aigres -- Using Aigres Commands -- Compiling and Executing Aigres Programs -- Compiling and Executing Alice Applications -- Editing Aigres Objects
ISBN:9789400708587
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 371
Keywords: Computer science , Software engineering , Programming languages (Electronic computers) , Data structures (Computer science) , Computer science , Text processing (Computer science) , Computer Science , Document Preparation and Text Processing , Programming Languages, Compilers, Interpreters , Data Structures, Cryptology and Information Theory , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9783322898494:ONLINE Show nearby items on shelf
Title:Flow Simulation with High-Performance Computers II DFG Priority Research Programme Results 1993–1995
Author(s):
Date:1996
Size:1 online resource (578 p.)
Note:10.1007/978-3-322-89849-4
Contents:I. Flow Simulation with Massively Parallel Systems -- to Part I -- On a Time and Space Parallel Multi-Grid Method Including Remarks on Filtering Techniques -- Parallel Finite Element Methods for the Incompressible Navier-Stokes
Equations -- Numerical Turbulence Simulation on a Parallel Computer Using the Combination Method -- CFD with Adaptive FEM on Massively Parallel Systems -- On the Performance Enhancements of a CFD Algorithm in High Performance Computing
-- Efficient Simulation of Incompressible Viscous Flows on Parallel Computers -- Parallelization of Solution Schemes for the Navier-Stokes Equations -- 3-D Navier-Stokes Solver for the Simulation of the Unsteady Turbomachinery Flow on
a Massively Parallel Hardware Architecture -- A Comparison of Smoothers and Numbering Strategies for Laminar Flow Around a Cylinder -- Simulation of Detailed Chemistry Stationary Diffusion Flames on Parallel Computers -- An Adaptive
Operator Technique for Hypersonic Flow Simulation on Parallel Computers -- Parallel Interactive and Integrated Visualisation -- Interactive Visualization: On the Way to a Virtual Wind Tunnel -- II. Direct and Large-Eddy Simulation of
Turbulence -- to Part II -- Direct Numerical Simulation of Turbulence Compresssed in a Cylinder -- Direct Numerical Simulation of Separated Turbulent Flow Over a Wavy Boundary -- Large-Eddy Simulation of Near-Wall Turbulence -- Large
Eddy Simulation for Complex Turbulent Flows of Practical Interest -- Large-Eddy Simulation and Eigenmode Decomposition of Turbulent Boundary Layer Flow Over a Hemisphere -- III. Mathematical Foundations, General Solution Techniques and
Applications -- to Part III -- Navier-Stokes Approximations in High Order Norms -- Parallelization Methods for a Characteristic’s Pressure Correction Scheme -- Weighted Particle Method Solving Kinetic Equations for Dilute Ionized Gases
-- Multiple Pressure Variable (MPV) Approach for Low Mach Number Flows Based on Asymptotic Analysis -- Numerical Simulation of Incompressible Flows with the Method of Artificial Compressibility -- Higher Order Upwind Schemes on
Unstructured Grids for the Nonstationary Compressible Navier-Stokes Equations in Complex Timedependent Geometries in 3-D -- Improvement and Application of a Two Stream-Function Formulation Navier-Stokes Procedure -- AMRFLEX3D-Flow
Simulation Using a Three-Dimensional Self-Adaptive, Structured Multi-Block Grid System -- Development and Application of a Finite Volume Method for the Prediction of Complex Flows -- Computational Aspects of Flow Simulation on 3-D,
Unstructured, Adaptive Grids -- Flow Simulations in Aerodynamically Highly Loaded Turbomachines Using Unstructured Adaptive Grids -- Flow Simulation in a High Loaded Radial Compressor -- Efficient FEM Row Simulation on Unstructured
Adaptive Meshes -- Numerical Methods for Simulating Supersonic Combustion -- Aeroelastic Computations of a Fokker-Type Wing in Transonic Flow -- Three-Dimensional Numerical Simulation of the Aerothermodynamic Reentry -- Investigations
of Hypersonic Flows Past Blunt Bodies at Angle of Attack -- IV. Results of Benchmark Computations -- Benchmark Computations of Laminar Flow Around a Cylinder -- LDA Measurements in the Wake of a Circular Cylinder
ISBN:9783322898494
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Notes on Numerical Fluid Mechanics (NNFM): 48
Keywords: Engineering , Fluids , Fluid mechanics , Engineering , Engineering Fluid Dynamics , Fluid- and Aerodynamics
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-9783642780837:ONLINE Show nearby items on shelf
Title:Computer Simulation Studies in Condensed-Matter Physics V Proceedings of the Fifth Workshop Athens, GA, USA, February 17–21, 1992
Author(s):
Date:1993
Size:1 online resource (197 p.)
Note:10.1007/978-3-642-78083-7
Contents:Computer Simulation Studies in Condensed-Matter Physics: An Introduction -- I Classical Systems -- Application of Finite-Size Scaling to Phase Transitions and Localization-Delocalization Transitions -- Generically Singular
Correlations in a Non-Equilibrium Steady-State System -- The Gauge Glass Transition -- Sandpile Models: Why We Study Them, What Have We Learned? -- II Quantum Systems -- Quantum Monte-Carlo Simulations for Disordered Bose Systems --
Dynamics of Two-Dimensional Quantum Spin Systems -- Pseudopotential Quantum Monte Carlo for Large-Z Atom Systems -- III New Environments for Scientific Computing -- On the Effectiveness of Cluster Environments for Scientific Computing
-- IV Contributed Papers -- Layer-by-Layer Film Growth in the Absence of Surface Diffusion -- From 2 to 3 Dimensions — Crossover in the XY Model -- Multimagnetical Simulations -- The 2d/3D Classical Heisenberg Ferromagnet --
Monte-Carlo Simulations in Adiabatic Ensembles -- Dynamics of Acoustic Phonon Decay: Experiment and Simulation -- Roll Pattern Evolution in Molecular Dynamics Studies of Convection -- Interface Growth with Quenched Randomness --
Mode-Coupling Theory and Simulations of a Running Sandpile Model -- Computer Simulations of Optical Dephasing of Paragmagnetic Ions -- Index of Contributors
ISBN:9783642780837
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Proceedings in Physics: 75
Keywords: Physics , Quantum physics , Condensed matter , Quantum computers , Spintronics , Engineering , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Quantum Information Technology, Spintronics , Quantum Physics , Condensed Matter Physics , Engineering, 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-1992-9789401125147:ONLINE Show nearby items on shelf
Title:Systolic Computations
Author(s): M. A Frumkin
Date:1992
Size:1 online resource (319 p.)
Note:10.1007/978-94-011-2514-7
Contents:Ch. 1. VLSI models -- 1. Short history of the parallel processing -- 2. Physical opportunities and limits of VLSI -- 3. Algorithms for VLSI -- Ch. 2. The complexity of VLSI computations -- 1. VLSI complexity and complexity of
algorithms -- 2. Grid model of VLSI design -- 3. Complexity of parallel computations -- Ch. 3. Systolic algorithms and systolic processors -- 1. Systolic processing -- 2. Mapping systolic algorithms on systolic processors -- 3. Graphs
of systolic processors -- 4. Iterations of systolic processors -- Ch. 4. The systolic programming 225 -- 1. Systolic processors and supercomputers -- 2. Parallel programming languages 245 -- 3. Systolic programming in UNIX environment
-- Appendix 1. Library of systolic algorithms -- Appendix 2. The grammar of the SPL -- References
ISBN:9789401125147
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications (Soviet Series): 83
Keywords: Mathematics , Microprocessors , Software engineering , Computers , Computer science , Algorithms , Mathematical models , Mathematics , Mathematical Modeling and Industrial Mathematics , Software Engineering/Programming and Operating Systems , Mathematics of Computing , Algorithms , Processor Architectures , Theory of Computation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9783662122112:ONLINE Show nearby items on shelf
Title:Lancelot A Fortran Package for Large-Scale Nonlinear Optimization (Release A)
Author(s): A. R Conn
Date:1992
Size:1 online resource (332 p.)
Note:10.1007/978-3-662-12211-2
Contents:1 Introduction -- 2 A SIF/LANCELOT Primer -- 3 A Description of the LANCELOT Algorithms -- 4 The LANCELOT Specification File -- 5 A Description of how LANCELOT Works -- 6 Installing LANCELOT on your System -- 7 The SIF Reference
Report -- 8 The Specification of LANCELOT Subroutines -- 9 Coda -- A Conditions of Use -- A.1 General Conditions for all Users -- A.2 Additional Conditions for “Academic” Use -- A.3 Authors’ Present Addresses -- B Trademarks
ISBN:9783662122112
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Computational Mathematics: 17
Keywords: Computer science , Programming languages (Electronic computers) , System theory , Numerical analysis , Calculus of variations , Applied mathematics , Engineering mathematics , Economic theory , Computer Science , Programming Languages, Compilers, Interpreters , Systems Theory, Control , Calculus of Variations and Optimal Control Optimization , Economic Theory/Quantitative Economics/Mathematical Methods , 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-1992-9780817647759:ONLINE Show nearby items on shelf
Title:Discrete Thoughts Essays on Mathematics, Science, and Philosophy
Author(s): Mark Kac
Date:1992
Size:1 online resource (266 p.)
Note:10.1007/978-0-8176-4775-9
Contents:Discrete Thoughts -- Discrete Thoughts -- I -- Mathematics: Tensions -- The Pernicious Influence of Mathematics on Science -- Statistics -- Statistics and Its History -- Combinatorics -- Computer Science -- Mathematics: Trends -- The
Future of Computer Science -- Economics, Mathematical and Empirical -- II -- Complicating Mathematics -- Mathematics and Its History -- Academic Responsibility -- Husserl and the Reform of Logic -- Husserl -- Artificial Intelligence --
Computing and Its History -- Will Computers Replace Humans? -- Computer-Aided Instruction -- Misreading the History of Mathematics -- The Wonderful World of Uncle Stan -- Ulam -- Kant -- Heidegger -- Doing Away with Science -- More
Discrete Thoughts
ISBN:9780817647759
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Applied mathematics , Engineering mathematics , Game theory , History , Mathematical logic , Mathematics , History of Mathematical Sciences , Mathematical Logic and Foundations , Applications of Mathematics , Game Theory, Economics, Social and Behav. Sciences , Mathematics, 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-1991-9781489923059:ONLINE Show nearby items on shelf
Title:Information Dynamics
Author(s):
Date:1991
Size:1 online resource (364 p.)
Note:10.1007/978-1-4899-2305-9
Contents:Measures and Principles of Uncertainty and Information: Recent Developments -- Information and Complexity Measures in Dynamical Systems -- Recursive Symbolic Encoding and Hierarchical Description of Complex Systems -- Reconstructing
Language Hierarchies -- A Theory of State Space Reconstruction in the Presence of Noise -- Applied Chaos: Quantifying Complex Systems -- Modelling Fractals and Turbulence -- Chaotic Data and Model Building -- Causality and Information
Flow -- Some Remarks on the Problem of Repeatability of Experiments Dealing with Complex Systems -- Non — Boolean Logic of the Theory of Evolutionary Science -- Chaos and Information Processing: Multifractal Attractors Mediating
Perception and Cognition -- Reconstructing Complexity: Information Dynamics in Acoustic Perception -- Measuring Correlations in Energy Landscapes and Why It Matters -- Aspects of Information Processing: Information Flow in Synergetic
Computers -- The Quantum Mechanical Computer -- Complementarity of Structure and Dynamics -- Information and Dynamical Systems -- On Boltzmann Entropy and Coarse — Graining for Classical Dynamical Systems -- Algorithmic Information
Content, Church — Turing Thesis, Physical Entropy, and Maxwell’s Demon -- The Entropy Creation Necessary to Perform a Measurement and to Reset It -- Information Theoretical Aspects of Quantum Mechanical Entropy -- Dynamical Entropy for
Infinite Quantum Systems -- Quantum Chaos in Open Systems -- A Dynamical System Approach to Quantum Mechanics with Imaginary Time -- Do Quantum Particles Travel in Real Space Time? Experimental Evidence and Theoretical Implications --
What Happens During a Quantum Transition? -- Epilogue: Dualities, Context, and Meaning -- Participants
ISBN:9781489923059
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO ASI Series, Series B: Physics: 256
Keywords: Engineering , Physics , Applied mathematics , Engineering mathematics , Engineering , Appl.Mathematics/Computational Methods of Engineering , Theoretical, Mathematical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9781468404210:ONLINE Show nearby items on shelf
Title:Physics for Computer Science Students With Emphasis on Atomic and Semiconductor Physics
Author(s): Narciso Garcia
Date:1991
Size:1 online resource (532 p.)
Note:10.1007/978-1-4684-0421-0
Contents:1 Physical Quantities -- 2 Vectors -- 3 Uniformly Accelerated Motion -- 4 Newton’s Laws -- 5 Work, Energy and Power -- 6 Momentum and Collisions -- 7 Rotational Motion -- 8 Rotational Dynamics -- 9 Kinetic Theory of Gases and the
Concept of Temperature -- 10 Oscillatory Motion -- 11 Wave Motion -- 12 Interference of Waves -- 13 Electrostatics -- 14 The Electric Field and the Electric Potential -- 15 Electric Current -- 16 Magnetic Fields and Electromagnetic
Waves -- 17 The Beginning of the Quantum Story -- 18 Atomic Models -- 19 Fundamental Principles of Quantum Mechanics -- 20 An Introduction to the Methods of Quantum Mechanics -- 21 Quantum Mechanics of Atoms -- 22 Crystal Structures
and Bonding in Solids -- 23 Free Electron Theories of Solids -- 24 Band Theory of Solids -- 25 Semiconductors -- 26 Semiconductor Devices -- 27 Some Basic Logic Circuits of Computers -- 28 The Technology of Manufacturing Integrated
Circuits -- Photo Credits
ISBN:9781468404210
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computer science , Engineering , Electronics , Microelectronics , Physics , Physics, general , Computer Science, general , Electronics and Microelectronics, Instrumentation , Engineering, 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-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-1990-9789400905290:ONLINE Show nearby items on shelf
Title:Neural and Automata Networks Dynamical Behavior and Applications
Author(s): Eric Goles
Date:1990
Size:1 online resource (264 p.)
Note:10.1007/978-94-009-0529-0
Contents:1. Automata Networks -- 1.1. Introduction -- 1.2. Definitions Regarding Automata Networks -- 1.3. Cellular Automata -- 1.4. Complexity Results for Automata Networks -- 1.5. Neural Networks -- 1.6. Examples of Automata Networks -- 2.
Algebraic Invariants on Neural Networks -- 2.1. Introduction -- 2.2. K-Chains in 0-1 Periodic Sequences -- 2.3. Covariance in Time -- 2.4. Algebraic Invariants of Synchronous Iteration on Neural Networks -- 2.5. Algebraic Invariants of
Sequential Iteration on Neural Networks -- 2.6. Block Sequential Iteration on Neural Networks -- 2.7. Iteration with Memory -- 2.8. Synchronous Iteration on Majority Networks -- 3. Lyapunov Functionals Associated to Neural Networks --
3.1. Introduction -- 3.2. Synchronous Iteration -- 3.3. Sequential Iteration -- 3.4. Tie Rules for Neural Networks -- 3.5. Antisymmetrical Neural Networks -- 3.6. A Class of Symmetric Networks with Exponential Transient Length for
Synchronous Iteration -- 3.7. Exponential Transient Classes for Sequential Iteration -- 4. Uniform One and Two Dimensional Neural Networks -- 4.1. Introduction -- 4.2. One-Dimensional Majority Automata -- 4.3. Two-Dimensional Majority
Cellular Automata -- 4.4. Non-Symmetric One-Dimensional Bounded Neural Networks -- 4.5. Two-Dimensional Bounded Neural Networks -- 5. Continuous and Cyclically Monotone Networks -- 5.1. Introduction -- 5.2. Positive Networks -- 5.3.
Multithreshold Networks -- 5.4. Approximation of Continuous Networks by Multithreshold Networks -- 5.5. Cyclically Monotone Networks -- 5.6. Positive Definite Interactions. The Maximization Problem -- 5.7. Sequential Iteration for
Decreasing Real Functions and Optimization Problems -- 5.8. A Generalized Dynamics -- 5.9. Chain-Symmetric Matrices -- 6. Applications on Thermodynamic Limits on the Bethe Lattice -- 6.1. Introduction -- 6.2. The Bethe Lattice -- 6.3.
The Hamiltonian -- 6.4. Thermodynamic Limits of Gibbs Ensembles -- 6.5. Evolution Equations -- 6.6. The One-Site Distribution of the Thermodynamic Limits -- 6.7. Distribution of the Thermodynamic Limits -- 6.8.Period ? 2 Limit Orbits
of Some Non Linear Dynamics on $$ \mathbb{R}_{ + }^{s} $$ -- 7. Potts Automata -- 7.1. The Potts Model -- 7.2. Generalized Potts Hamiltonians and Compatible Rules -- 7.3. The Complexity of Synchronous Iteration on Compatible Rules --
7.4. Solvable Classes for the Synchronous Update -- References -- Author and Subject Index
ISBN:9789400905290
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 58
Keywords: Computer science , Computers , Computer science , Statistical physics , Dynamical systems , Electrical engineering , Computer Science , Discrete Mathematics in Computer Science , Theory of Computation , Statistical Physics, Dynamical Systems and Complexity , Electrical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1990-9789400904873:ONLINE Show nearby items on shelf
Title:Self-Timed Control of Concurrent Processes The Design of Aperiodic Logical Circuits in Computers and Discrete Systems
Author(s):
Date:1990
Size:1 online resource (432 p.)
Note:10.1007/978-94-009-0487-3
Contents:1 Introduction -- 2 Asynchronous processes and their interpretation -- 2.1 Asynchronous processes -- 2.2 Petri nets -- 2.3 Signal graphs -- 2.4 The Muller model -- 2.5 Parallel asynchronous flow charts -- 2.6 Asynchronous state
machines -- 2.7 Reference notations -- 3 Self-synchronizing codes -- 3.1 Preliminary definitions -- 3.2 Direct-transition codes -- 3.3 Two-phase codes -- 3.4 Double-rail code -- 3.5 Code with identifier -- 3.6 Optimally balanced code
-- 3.7 On the code redundancy -- 3.8 Differential encoding -- 3.9 Reference notations -- 4 Aperiodic circuits -- 4.1 Two-phase implementation of finite state machine -- 4.2 Completion indicators and checkers -- 4.3 Synthesis of
combinatorial circuits -- 4.4 Aperiodic flip-flops -- 4.5 Canonical aperiodic implementations of finite state machines -- 4.6 Implementation with multiple phase signals -- 4.7 Implementation with direct transitions -- 4.8 On the
definition of an aperiodic state machine -- 4.9 Reference notations -- 5 Circuit modelling of control flow -- 5.1 The modelling of Petri nets -- 5.2 The modelling of parallel asynchronous flow charts -- 5.3 Functional completeness and
synthesis of semi-modular circuits -- 5.4 Synthesis of semi-modular circuits in limited bases -- 5.5 Modelling pipeline processes -- 5.6 Reference notations -- 6 Composition of asynchronous processes and circuits -- 6.1 Composition of
asynchronous processes -- 6.2 Composition of aperiodic circuits -- 6.3 Algebra of asynchronous circuits -- 6.4 Reference notations -- 7 The matching of asynchronous processes and interface organization -- 7.1 Matched asynchronous
processes -- 7.2 Protocol -- 7.3 The matching asynchronous process -- 7.4 The T2 interface -- 7.5 Asynchronous interface organization -- 7.6 Reference notations -- 8 Analysis of asynchronous circuits and processes -- 8.1 The
reachability analysis -- 8.2 The classification analysis -- 8.3 The set of operational states -- 8.4 The effect of non-zero wire delays -- 8.5 Circuit Petri nets -- 8.6 On the complexity of analysis algorithms -- 8.7 Reference
notations -- 9 Anomalous behaviour of logical circuits and the arbitration problem -- 9.1 Arbiters -- 9.2 Oscillatory anomaly -- 9.3 Meta-stability anomaly -- 9.4 Designing correctly-operating arbiters -- 9.5 “Bounded” arbiters and
safe inertial delays -- 9.6 Reference notations -- 10 Fault diagnosis and self-repair in aperiodic circuits -- 10.1 Totally self-checking combinational circuits -- 10.2 Totally self-checking sequential machines -- 10.3 Fault detection
in autonomous circuits -- 10.4 Self-repair organization for aperiodic circuits -- 10.5 Reference notations -- 11 Typical examples of aperiodic design modules -- 11.1 The JK-flip-flop -- 11.2 Registers -- 11.3 Pipeline registers -- 11.4
Converting single-rail signals into double-rail ones -- 11.5 Counters -- 11.6 Reference notations -- Editor’s Epilogue -- References
ISBN:9789400904873
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications (Soviet Series): 52
Keywords: Computer science , Microprocessors , Computers , Calculus of variations , Electrical engineering , Electronic circuits , Computer Science , Theory of Computation , Circuits and Systems , Electrical Engineering , Processor Architectures , Calculus of Variations and Optimal Control Optimization
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1989-9789400909854:ONLINE Show nearby items on shelf
Title:Applications of Computer Technology to Dynamical Astronomy Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27–29 July 1988
Author(s):
Date:1989
Size:1 online resource (341 p.)
Note:10.1007/978-94-009-0985-4
Contents:1/Applications of Computers to Solving Problems -- Early Applications of Computer Technology to Dynamical Astronomy -- Applications of Computers to Celestial Mechanics -- Applications to Stellar and Galactic Dynamics -- Application of
Computer in Qualitative Studies of Celestial Mechanics -- Leading Spiral Arms, Retrograde Galaxy Encounters and Massive Halos -- On Construction of Analytic Solutions to the Three Body Problem by Use of Computer Experiments -- The Use
of Computer Algorithms in the Construction of a Theory of the Long-Period Perturbations of Saturn’s Satellite Hyperion -- Some Numerical Aspects in a Search for I=1 Periodic Orbits for Hecuba Asteroids -- SHORDE I Program System and
Applications -- A Semi-numerical Expansion of the Averaged Disturbing Function for Some Very-high-eccentricity Orbits -- Symbolic Algebra Software for Planetary Theories -- Tests of the Extrapolation Method for the Numerical
Integration of the Keplerian Motion -- Application of a Massively Parallel Computer to the N-body Problem -- Hydrodynamical Models of Elliptical Galaxies -- A Multifluid Code for Problems of Elliptical Galaxy Formation and Evolution --
3D Hydrodynamics and Radiative Transfer -- First-order and Second-order 3-D Hydrodynamics: A Comparison -- Chaotic Dynamics and Monte Carlo Modelling -- Software Tools for Nonlinear Dynamics -- Computer Algebra, Lie Transforms and the
Nonlinear Stability of L4 -- Solution of an Infinite Number of Inequations Depending on a Continuous Parameter and Application to the Solution of Equations in Dynamical Astronomy -- 2/Matching Problems with Technology -- Planet
Crossing Asteroids and Parallel Computing: Project Spaceguard -- Implementation of an N-body Code in a HP1000 Computer -- Computer Applications to Lunar and Artificial Satellite Laser Ranging -- The Use of Image Processors for
Acquisition and Reduction of Astrometric Data in Real Time -- Modeling of Asymmetric Light Curves of Eclipsing Binaries on the Cyber 205 Supercomputer -- Galaxies in the Connection Machine -- 3/New Methods of Mathematical Programming
-- Specialized Celestial Mechanics Systems for Symbolic Manipulation -- On a Restricted (2n+3)-Body Problem -- The Simplex Method for Nonlinear Mass Determinations -- An Optimum Method for Calculating Restricted Three-Body Orbits --
The Constrained Normal Form Algorithm -- 4/Matching Computer Language to the Problem -- Simplify or Perish -- The Stability of the Lagrangian Point L4 -- Computer Implementation of a New Approach to the Ideal Resonance Problem -- A
Laboratory for Gravitational Scattering Experiments -- Problem Oriented Language for Ephemeris Astronomy and its Realisation in the System ERA -- 5/Use of Numerical Versus Algebraic Computation -- Numerical Integration Methods in
Dynamical Astronomy -- A Survey of Poisson Series Processors -- A FORTRAN-based Poisson Series Processor and its Applications in Celestial Mechanics -- PARSEC: An Interactive Poisson Series Processor for Personal Computing Systems --
The Problem of the Eulerian Oscillations: A Weakness of Numerical Versus Analytical Methods -- A Semi-Analytical Method to Study Perturbed Rotational Motion -- Computational Studies of Cloudy Gaseous Galactic Disks -- 6/Representation
and Transmission of Results -- Synthetic Secular Theories of the Planetary Orbits: Regular and Chaotic Behaviour -- Numerical Representation of Planetary Ephemerides -- Compressed Planetary and Lunar Ephemerides -- An Analytical
Representation of Ephemeris Data -- Numerical Simulations of Narrow Planetary Rings: An Animation -- Electronic Almanacs Mating the Message and the Medium -- List of Participants -- Errata
ISBN:9789400909854
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computer science , Observations, Astronomical , Astronomy , Astrophysics , Statistics , Physics , Astrophysics and Astroparticles , Astronomy, Observations and Techniques , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1989-9783642881633:ONLINE Show nearby items on shelf
Title:Self-Organization and Associative Memory
Author(s): Teuvo Kohonen
Date:1989
Edition:Third Edition
Size:1 online resource (312 p.)
Note:10.1007/978-3-642-88163-3
Contents:1. Various Aspects of Memory -- 1.1 On the Purpose and Nature of Biological Memory -- 1.2 Questions Concerning the Fundamental Mechanisms of Memory -- 1.3 Elementary Operations Implemented by Associative Memory -- 1.4 More Abstract
Aspects of Memory -- 2. Pattern Mathematics -- 2.1 Mathematical Notations and Methods -- 2.2 Distance Measures for Patterns -- 3. Classical Learning Systems -- 3.1 The Adaptive Linear Element (Adaline) -- 3.2 The Perceptron -- 3.3 The
Learning Matrix -- 3.4 Physical Realization of Adaptive Weights -- 4. A New Approach to Adaptive Filters -- 4.1 Survey of Some Necessary Functions -- 4.2 On the “Transfer Function” of the Neuron -- 4.3 Models for Basic Adaptive Units
-- 4.4 Adaptive Feedback Networks -- 5. Self-Organizing Feature Maps -- 5.1 On the Feature Maps of the Brain -- 5.2 Formation of Localized Responses by Lateral Feedback -- 5.3 Computational Simplification of the Process -- 5.4
Demonstrations of Simple Topology-Preserving Mappings -- 5.5 Tonotopic Map -- 5.6 Formation of Hierarchical Representations -- 5.7 Mathematical Treatment of Self-Organization -- 5.8 Automatic Selection of Feature Dimensions -- 6.
Optimal Associative Mappings -- 6.1 Transfer Function of an Associative Network -- 6.2 Autoassociative Recall as an Orthogonal Projection -- 6.3 The Novelty Filter -- 6.4 Autoassociative Encoding -- 6.5 Optimal Associative Mappings --
6.6 Relationship Between Associative Mapping, Linear Regression, and Linear Estimation -- 6.7 Recursive Computation of the Optimal Associative Mapping -- 6.8 Special Cases -- 7. Pattern Recognition -- 7.1 Discriminant Functions -- 7.2
Statistical Formulation of Pattern Classification -- 7.3 Comparison Methods -- 7.4 The Subspace Methods of Classification -- 7.5 Learning Vector Quantization -- 7.6 Feature Extraction -- 7.7 Clustering -- 7.8 Structural Pattern
Recognition Methods -- 8. More About Biological Memory -- 8.1 Physiological Foundations of Memory -- 8.2 The Unified Cortical Memory Model -- 8.3 Collateral Reading -- 9. Notes on Neural Computing -- 9.1 First Theoretical Views of
Neural Networks -- 9.2 Motives for the Neural Computing Research -- 9.3 What Could the Purpose of the Neural Networks be? -- 9.4 Definitions of Artificial “Neural Computing” and General Notes on Neural Modelling -- 9.5 Are the
Biological Neural Functions Localized or Distributed? -- 9.6 Is Nonlinearity Essential to Neural Computing? -- 9.7 Characteristic Differences Between Neural and Digital Computers -- 9.8 “Connectionist Models” -- 9.9 How can the Neural
Computers be Programmed? -- 10. Optical Associative Memories -- 10.1 Nonholographic Methods -- 10.2 General Aspects of Holographic Memories -- 10.3 A Simple Principle of Holographic Associative Memory -- 10.4 Addressing in Holographic
Memories -- 10.5 Recent Advances of Optical Associative Memories -- Bibliography on Pattern Recognition -- References
ISBN:9783642881633
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 8
Keywords: Medicine , Neurosciences , Computer hardware , Software engineering , Artificial intelligence , Biophysics , Biological physics , Applied mathematics , Engineering mathematics , Biomedicine , Neurosciences , Biophysics and Biological Physics , Appl.Mathematics/Computational Methods of Engineering , Computer Hardware , Software Engineering/Programming and Operating Systems , Artificial Intelligence (incl. Robotics)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1989-9783540461418:ONLINE Show nearby items on shelf
Title:11th International Conference on Numerical Methods in Fluid Dynamics
Author(s):
Date:1989
Size:1 online resource (624 p.)
Note:10.1007/3-540-51048-6
Contents:Computational fluid dynamics — A personal view -- Computational models in plasma dynamics -- Parallel computers and parallel computing in scientific simulations -- CFD for hypersonic airbreathing aircraft -- Multigrid for the
steady-state incompressible Navier-Stokes equations: A survey -- A survey of upwind differencing techniques -- Dynamical systems, turbulence and the numerical solution of the Navier-Stokes equations -- A comparative study of TV stable
schemes for shock interacting flows -- A flow-field solver using overlying and embedded meshes together with a novel compact Euler algorithm -- Multidimensional adaptive Euler solver -- Internal swirling flow predictions using a
multi-sweep scheme -- A pressure gradient field spectral collocation evaluation for 3-D numerical experiments in incompressible fluid dynamics -- Numerical study of the 3D separating flow about obstacles with sharp corners -- Finite
volume TVD Runge Kutta scheme for Navier Stokes computations -- Godunov methods and adaptive algorithms for unsteady fluid dynamics -- Application of a second-order projection method to the study of shear layers -- A GRP-scheme for
reactive duct flows in external fields -- Numerical solution of the navier-stokes equations using orthogonal boundary-fitted coordinates -- Solution of the incompressible Navier-Stokes equations using artificial compressibility methods
-- Adaptive finite element methods for three dimensional compressible viscous flow simulation in aerospace engineering -- Multigrid solvers for steady Navier-Stokes equations in a driven cavity -- Computation of hypersonic vortex flows
with an Euler model -- A high resolution finite volume scheme for steady external transonic flow -- Development of a highly efficient and accurate 3D Euler flow solver -- Computation of rarefied hypersonic flows -- Gasdynamical
simulation of meteor phenomena -- A coin variant of the Euler equations -- An implicit time-marching method for solving the 3-D compressible Navier-Stokes equations -- Low-storage implicit upwind-FEM schemes for the Euler equations --
An efficient nested iterative method for solving the aerodynamic equations -- A multigrid method for steady Euler equations based on polynomial flux-difference splitting -- Computation of viscous unsteady compressible flow about
airfoils -- Parallel multilevel adaptive methods -- Adaptive grid solution for shock-vortex interaction -- Computer simulation of some types of flows arising at interactions between a supersonic flow and a boundary layer -- An implicit
flux-vector splitting finite-element technique for an improved solution of compressible Euler equations on distorted grids -- Vortex methods for slightly viscous three dimensional flow -- Second order scheme in bidimensional space for
compressible gas with arbitrary mesh -- Accurate simulation of vortical flows -- Accuracy of node-based solutions on irregular meshes -- Solutions of the incompressible Navier-Stokes equations using an upwind -differenced TVD scheme --
Three-dimensional numerical simulation of compressible, spatially evolving shear flows -- A velocity/vorticity method for viscous incompressible flow calculations -- Pulsatile flows through curved pipes -- Spurious oscillation of
finite difference solutions near shock waves and a new formulation of “TVD” scheme -- Numerical study of steady flow past a rotating circular cylinder -- Numerical simulation of the flow about a wing with leading-edge vortex flow --
Multigrid calculations for cascades -- Unsteady and turbulent flow using adaptation methods -- RNS solutions for three-dimensional steady incompressible flows -- Numerical study of unsteady viscous hypersonic blunt body flows with an
impinging shock -- Upwind schemes, multigrid and defect correction for the steady Navier-Stokes equations -- A pseudospectral matrix element method for solution of three-dimensional incompressible flows and its implementation on a
parallel computer -- Numerical resolution of the three-dimensional Navier-Stokes equations in velocity-vorticity formulation -- Calculation of shocked flows by mathematical programming -- Universal limiter for high order explicit
conservative advection schemes -- A comparison of numerical schemes on triangular and quadrilateral meshes -- The finite volume-element method (FVE) for planar cavity flow -- Adaptive remeshing for transient problems with moving bodies
-- Axisymmetric vortex breakdown in an enclosed cylinder flow -- Numerical analysis of a multigrid method for spectral approximations -- Asymmetric separated flows about sharp cones in a supersonic stream -- A flux split algorithm for
unsteady incompressible flow -- Inverse method for the determination of transonic blade profiles of turbomachineries -- Large eddy simulation of the turbulent flow in a curved channel -- Interaction of an oblique shock wave with
supersonic turbulent blunt body flows -- Shock recovery and the cell vertex scheme for the steady Euler equations -- A new multigrid approach to convection problems -- A finite-element method on prismatic elements for the
three-dimensional Navier-Stokes equations -- Vortices around cylinder in confined flows -- Coupling physical processes in simulations of chemically reactive flows -- Explicit evaluation of discontinuities in 2-D unsteady flows solved
by the method of characteristics -- Direct method for solution of three-dimensional unsteady incompressible Navier-Stokes equations -- Hypercube algorithms for turbulence simulation -- Adaptive numerical solutions of the Euler
equations in 3D using finite elements -- Parallel heterogeneous mesh refinement for advection-diffusion equations -- Simulation of inviscid hypersonic real gas flows -- Efficient spectral algorithms for solving the incompressible
Navier-stokes equations in unbounded rectangularly decomposable domains -- Computation of the threedimensional wake of a shiplike body 1989 -- Simulation of unsteady flow past sharp shoulders on semi-infinite bodies -- Semi-implicit
finite-difference simulation of laminar hypersonic flow over blunt bodies -- Numerical simulation of unsteady incompressible viscous flows in generalized coordinate systems -- Accuracy of the marching method for parabolized
Navier-Stokes Equations -- Transonic analysis of arbitrary configurations using locally refined grids -- Group explicit methods for solving compressible flow equations on vector and parallel computers -- Interactions of a flexible
structure with a fluid governed by the Navier-Stokes equations -- Navier-Stokes simulation of transonic flow about wings using a block structured approach -- On time discretization of the incompressible flow -- A detailed analysis of
inviscid flux splitting algorithms for real gases with equilibrium or finite-rate chemistry -- Convergence of the spectral viscosity method for nonlinear conservation laws -- Inviscid and viscous flow simulations around the ONERA-M6
wing by TVD schemes -- Shock propagation over a circular cylinder -- Three-dimensional computation of unsteady flows around a square cylinder -- Transonic flow solutions on general 3D regions using composite-block grids -- Steady-state
solving via stokes preconditioning Recursion relations for elliptic operators -- Hybrid conservative characteristic method for flows with internal shocks -- Improving the accuracy of central difference schemes -- Computation of high
reynolds number flows around airfoils by numerical solution of the Navier-Stokes equations -- Diagonal implicit multigrid solution of the three-dimensional Euler equations -- Numerical simulation of taylor vortices in a spherical gap
-- Numerical calculation of hypersonic flow by the spectral method -- 1.D transient crystal growth in closed ampoules: an application of the P.I.S.O. algorithm to low mach number compressible flows -- Nonisentropic potential
calculation for 2-D and 3-D transonic flow
ISBN:9783540461418
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Physics: 323
Keywords: Physics , Fluids , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Fluid- and Aerodynamics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1987-9783662219089:ONLINE Show nearby items on shelf
Title:Mathematical and Computational Aspects
Author(s):
Date:1987
Size:1 online resource (607 p.)
Note:10.1007/978-3-662-21908-9
Contents:The Origin of the Boundary Element Method and its Variants (Opening address) -- Mathematical Aspects -- Green’s Functions for the Boundary Element Method (Invited contribution) -- Best Approximation of a Linear Operation Equation
(Invited contribution) -- On the Identification of Non-Linear Operators and its Application (Invited contribution) -- Boundary Integral Equation Methods for Canonical Problems in Diffraction Theory (Invited contribution) -- Methods of
Construction of Fundamental Solutions of Decomposable Linear Differential Operators (Invited contribution) -- A Generalized Approach to Transfer the Domain Integrals onto Boundary Ones for Potential Problems in BEM -- The Hybrid
Boundary Element Method -- New Integral Equation Formulations for Continuum Mechanics -- Analyses of Infinite Reservoir Using the Boundary Element Method with Particular Integrals -- Convergence and Error Estimates -- Experimental
Convergence of Boundary Element Methods for the Capacity of the Electrified Square Plate -- On the Stability of Boundary Element Methods for Integral Equations of the First Kind -- On Quadrature Methods and Spline Approximation of
Singular Integral Equations -- Significance of Kernel Singularities for the Numerical Solution of Fredholm Integral Equations -- Accuracy and Efficiency of a Panel Method for Free Surface Flow Problem in Three Dimensions --
A-Posteriori Error Estimates and Adaptive Approaches for some Boundary Element Methods -- Numerical Aspects -- Adaptive Boundary Element Methods (Invited contribution) -- A Comparison of the BEM and the T Matrix Methods (Invited
contribution) -- Construction of Equivalent Finite Element Functions Using BEM -- The Effect of Non-Convex Boundaries on Time Domain Boundary Element Solutions -- A New Numerical Algorithm for Solving Fundamental Solutions -- Adaptive
Refinements in BEM -- Self-Adaptive P-Hierarchical Boundary Elements in Elastostatics -- A New Coordinate Transformation Method for Singular and Nearly Singular Integrals over General Curved Boundary Elements -- Development of
Overhauser Splines as Boundary Elements -- Coupling Be/Fe Methods and Other Coupling Methods -- Symmetric Methods for the Coupling of Finite Elements and Boundary Elements (Invited contribution) -- On Some Coupled Problems in Mechanics
by the Coupling Technique of Boundary Element and Finite Element (Invited contribution) -- On Coupling of the Boundary Element and R-Function Methods -- On Simplified Hybrid Methods for Coupling of Finite Elements and Boundary Elements
-- Computational Aspects -- The Panel Clustering Technique for the Boundary Element Method (Invited contribution) -- Multigrid Methods in Boundary Element Calculations (Invited contribution) -- Linear Equations Solver for Large Block
Matrices Arising in BEM -- Nonlinear Equations Solver for Large Equations Sets Arising When Using BEM in Inhomogenous Regions of Nonlinear Material -- Resolving Difficulties in the BIEM Caused by Geometric Corners and Discontinuous
Boundary Conditions -- Software -- Industrial Application of the Boundary Element System BETSY -- Integrated Design and Analysis using the Boundary Element Method -- Boundary Elements on Personal Computers -- Murphy’s Law in Boundary
Element Implementations -- Computer Programme KYOKAI.F for Viscous and Thermal Fluid Flow Problems -- DBETSY — Industrial Application of the BEM
ISBN:9783662219089
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Boundary Elements IX : 9/1
Keywords: Engineering , Mechanics , Applied mathematics , Engineering mathematics , Engineering , Appl.Mathematics/Computational Methods of Engineering , Mechanics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1987-9781468467543:ONLINE Show nearby items on shelf
Title:Large Scale Scientific Computing
Author(s):
Date:1987
Size:1 online resource (388 p.)
Note:10.1007/978-1-4684-6754-3
Contents:I: Initial Value Problems for Ode’s and Parabolic Pde’s -- 1. Algorithms for Semiconductor Device Simulation -- 2. Hierarchical Bases in the Numerical Solution of Parabolic Problems -- 3. Extrapolation Integrators for Quasilinear
Implicit ODE’s -- 4. Numerical Problems Arising from the Simulation of Combustion Phenomena -- 5. Numerical Computation of Stiff Systems for Nonequilibrium -- 6. Finite Element Simulation of Saturated-Unsaturated Flow Through Porous
Media -- II: Boundary Value Problems for ODE’s and Elliptic PDE’s -- 7. Numerical Pathfollowing Beyond Critical Points in ODE Models -- 8. Computing Bifurcation Diagrams for Large Nonlinear Variational Problems -- 9. Extinction Limits
for Premixed Laminar Flames in a Stagnation Point Flow -- 10. A Numerical Method for Calculating Complete Theoretical Seismograms in Vertically Varying Media -- 11. On a New Boundary Element Spectral Method -- III: Hyperbolic PDE’s --
12. A High Order Non-Oscillatory Shock Capturing Method -- 13. Vortex Dynamics Studied by Large-Scale Solutions to the Euler Equations -- IV: Inverse Problems -- 14. Numerical Backprojection in the Inverse 3D Radon Transform -- 15. A
Direct Algebraic Algorithm in Computerized Tomography -- 16. A Two-Grid Approach to Identification and Control Problems for Partial Differential Equations -- V: Optimization and Optimal Control Problems -- 17. Solving Large-Scale
Integer Optimization Problems -- 18. Numerical Treatment of State & Control Constraints in the Computation of Feedback Laws for Nonlinear Control Problems -- 19. Optimal Production Scheme for the Gosau Hydro Power Plant System -- VI:
Algorithm Adaptation on Supercomputers -- 20. The Use of Vector and Parallel Computers in the Solution of Large Sparse Linear Equations -- 21. Local Uniform Mesh Refinement on Vector and Parallel Processors -- 22. Using Supercomputer
to Model Heat Transfer in Biomedical Applications -- Speakers
ISBN:9781468467543
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Scientific Computing : 7
Keywords: Mathematics , Computer mathematics , Numerical analysis , Mathematics , Computational Mathematics and Numerical Analysis , Computational Science and Engineering , Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1986-9781461322498:ONLINE Show nearby items on shelf
Title:Data Analysis in Astronomy II
Author(s):
Date:1986
Size:1 online resource (399 p.)
Note:10.1007/978-1-4613-2249-8
Contents:Data Analysis Methodologies -- A Statistician’s View of Data Analysis -- Cluster Photometry: Present State of the Art and Future Developments -- Clustering Techniques and their Applications -- Problems and Solutions in Surface
Photometry -- Classification of Low-Resolution Stellar Spectra via Template Matching — A Simulation Study -- An Approach to the Astronomical Optical Data Compression -- Coded Aperture Imaging -- Study of Pulsar Ligth Curves by Cluster
Analysis -- Multivariate Cluster Analysis of Radio Pulsar Data -- Automatic Processing of Very Low-Dispersion Spectra -- Data Handling Systems Dedicated to Large Experiments -- VLA: Methodological and Computational Requirements --
Perspective on Data Analysis for the Space Telescope -- Present and Planned Large Groundbased Telescopes: an Overview of some Computer and Data Analysis Applications Associated with their Use -- Data Analysis for the ROSAT Mission --
Preparing Analysis of Hubble Space Telescope Data in Europe -- COMPASS: the COMPTEL Processing and Analysis Software System -- The Strasbourg Astronomical Data Centre (CDS) and the Setting Up of a European Astronomical Data Network --
An Indexing Algorithm for Large Multidimensional Arrays -- The European Scientific Data Archive for the Hubble Space Telescope -- Parallel Processing -- Cellular Machines: Theory and Practice -- The PAPIA Project -- Languages for
Parallel Processors -- The Massively Parallel Processor: a Highly Parallel Scientific Computer -- Parallel Processing: from Low- to High-Level Vision -- Low Level Languages for the PAPIA Machine -- New Developments -- Expert Systems
for Data Analysis -- An Unified View of Artificial Intelligence and Computer Vision -- Data Storage and Retrieval in Astronomy -- Vector Computers in Astronomical Data Analysis -- Panel Discussions -- Data Analysis Trend in Optical and
Radio Astronomy -- Data Analysis Trends in X-Ray and Gamma-Ray Astronomy -- Problems in Large Scale Experiments -- Trends in Parallel Processing Applications
ISBN:9781461322498
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Ettore Majorana International Science Series: 21
Keywords: Physics , Astronomy , Astrophysics , Cosmology , Statistics , Physics , Astronomy, Astrophysics and Cosmology , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1985-9781461321637:ONLINE Show nearby items on shelf
Title:Teaching Thermodynamics
Author(s):
Date:1985
Size:1 online resource (517 p.)
Note:10.1007/978-1-4613-2163-7
Contents:Session One: Teaching Objectives -- Thermodynamics and Fluid Mechanics for the 1980s -- Why Has Thermodynamics become a “Difficult” Subject? -- Teaching Thermodynamics to First Year Engineers -- Short papers:- -- Better Thermodynamics
Teaching Needs more Thermodynamics Research -- Thermodynamics — A Direct Approach -- Teaching the Second Law: Experience from the Open University Technology Faculty -- Teaching Engineering Applications -- Discussion -- Session Two:
Innovative Methods of Teaching -- Materials Thermodynamics for Engineers -- Thermodynamics in a Broad Based Course -- Maximizing the Teaching of Experimental Thermodynamics -- Engineering Laboratory Teaching — A Case for Co-Ordination
-- Developments in a First Course in Thermodynamics Using Tape/Slides -- Videodisc: A New Development in Visual Aids -- Thermodynamics for Those Who Think with their Fingers -- Short papers:- -- The Use of Small Computers for Teaching
-- Resource-Based Learning in Thermodynamics -- A Laboratory Approach to Teaching Thermodynamics -- Discussion -- Session Three: Computer Oriented and Laboratory Oriented Demonstrations -- Real Gas Effect and Gas Liquefaction -- The
Use of TV and Audio-Cassettes in Teaching Thermofluid Mechanics -- Computer Oriented Demonstrations -- Laboratory Oriented Demonstrations -- Session Four: Principles of Thermodynamics -- Teaching Thermodynamics to First-Year Students
by the Single-Axiom Approach -- The Thermodynamics Laws from the Law of Stable Equilibrium -- Entropy and Temperature as Macroscopic Properties of Simple Thermodynamic Systems Independent of, but Measured by, Heat -- Thermodynamic
Temperature — Dimensional Analysis -- Constructing Temperature and Entropy Scales -- Thermodynamics, A God with Feet of Clay? -- Thermodynamics as Engineering Science -- Short papers:- -- Introducing Basic Concepts of Thermodynamics --
On the Rational Definition of an ‘Ideal Gas’ -- Some Thoughts on Born-Carathedory -- Discussion -- Session Five: Applications of Thermodynamics to Design Assessment -- New Concepts in Thermodynamics for Better Chemical Process Design
-- Relevance of 2nd Law Analysis in Mechanical Engineering Thermodynamic Syllabus -- Putting the Second Law to Work -- Process Feasibility and Thermodynamic Teaching -- Teaching the Exergy Method to Engineers -- Short papers:- --
Thermodynamics Applied to Energy Engineering -- Discussion -- Session Six: Syllabus Development -- Thermodynamics and Irreversibility -- Can Thermodynamics be Made more Simple? -- Thermodynamics: A New Teaching Approach --
Thermodynamic Nomenclature -- Thermodynamic Sign Convention and Nomenclature -- One World — One Thermodynamics -- Short papers:- -- Teaching Thermo-Fluid Mechanics at the Open University -- Chemical Thermodynamics for Chemical
Engineers -- Discussion -- Closing Discussion -- Bibliographay -- Steering Committee -- Attendees
ISBN:9781461321637
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Thermodynamics , Materials science , Physics , Thermodynamics , Characterization and Evaluation of Materials
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-9783642455537:ONLINE Show nearby items on shelf
Title:Advanced Synergetics Instability Hierarchies of Self-Organizing Systems and Devices
Author(s): Hermann Haken
Date:1983
Size:1 online resource (105 p.)
Note:10.1007/978-3-642-45553-7
Contents:1. Introduction -- 1.1 What is Synergetics About? -- 1.2 Physics -- 1.2.1 Fluids: Formation of Dynamic Patterns -- 1.2.2 Lasers: Coherent Oscillations -- 1.2.3 Plasmas: A Wealth of Instabilities -- 1.2.4 Solid-State Physics:
Multistability, Pulses, Chaos -- 1.3 Engineering -- 1.3.1 Civil, Mechanical, and Aero-Space Engineering: Post-Buckling Patterns, Flutter, etc -- 1.3.2 Electrical Engineering and Electronics: Nonlinear Oscillations -- 1.4 Chemistry:
Macroscopic Patterns -- 1.5 Biology -- 1.5.1 Some General Remarks -- 1.5.2 Morphogenesis -- 1.5.3 Population Dynamics -- 1.5.4 Evolution -- 1.5.5 Immune System -- 1.6 Computer Sciences -- 1.6.1 Self-Organization of Computers, in
Particular Parallel Computing -- 1.6.2 Pattern Recognition by Machines -- 1.6.3 Reliable Systems from Unreliable Elements -- 1.7 Economy -- 1.8 Ecology -- 1.9 Sociology -- 1.10 What are the Common Features of the Above Examples? --
1.11 The Kind of Equations We Want to Study -- 1.11.1 Differential Equations -- 1.11.2 First-Order Differential Equations -- 1.11.3 Nonlinearity -- 1.11.4 Control Parameters -- 1.11.5 Stochasticity -- 1.11.6 Many Components and the
Mezoscopic Approach -- 1.12 How to Visualize the Solutions -- 1.13 Qualitative Changes: General Approach -- 1.14 Qualitative Changes: Typical Phenomena -- 1.14.1 Bifurcation from One Node (or Focus) into Two Nodes (or Foci) -- 1.14.2
Bifurcation from a Focus into a Limit Cycle (Hopf Bifurcation) -- 1.14.3 Bifurcations from a Limit Cycle -- 1.14.4 Bifurcations from a Torus to Other Tori -- 1.14.5 Chaotic Attractors -- 1.14.6 Lyapunov Exponents * -- 1.15 The Impact
of Fluctuations (Noise). Nonequilibrium Phase Transitions -- 1.16 Evolution of Spatial Patterns -- 1.17 Discrete Maps. The Poincaré Map -- 1.18 Discrete Noisy Maps -- 1.19 Pathways to Self-Organization -- 1.19.1 Self-Organization
Through Change of Control Parameters -- 1.19.2 Self-Organization Through Change of Number of Components -- 1.19.3 Self-Organization Through Transients -- 1.20 How We Shall Proceed -- 2. Linear Ordinary Differential Equations -- 2.1
Examples of Linear Differential Equations: The Case of a Single Variable -- 2.1.1 Linear Differential Equation with Constant Coefficient -- 2.1.2 Linear Differential Equation with Periodic Coefficient -- 2.1.3 Linear Differential
Equation with Quasiperiodic Coefficient -- 2.1.4 Linear Differential Equation with Real Bounded Coefficient -- 2.2 Groups and Invariance -- 2.3 Driven Systems -- 2.4 General Theorems on Algebraic and Differential Equations -- 2.4.1 The
Form of the Equations -- 2.4.2 Jordan’s Normal Form -- 2.4.3 Some General Theorems on Linear Differential Equations -- 2.4.4 Generalized Characteristic Exponents and Lyapunov Exponents -- 2.5 Forward and Backward Equations: Dual
Solution Spaces -- 2.6 Linear Differential Equations with Constant Coefficients -- 2.7 Linear Differential Equations with Periodic Coefficients -- 2.8 Group Theoretical Interpretation -- 2.9 Perturbation Approach* -- 3. Linear Ordinary
Differential Equations with Quasiperiodic Coefficients* -- 3.1 Formulation of the Problem and of Theorem 3 -- 3.2 Auxiliary Theorems (Lemmas) -- 3.3 Proof of Assertion (a) of Theorem 3.1.1: Construction of a Triangular Matrix: Example
of a 2 × 2 Matrix -- 3.4 Proof that the Elements of the Triangular Matrix C are Quasiperiodic in ? (and Periodic in ?j and Ck with Respect to ?: Exampleof a 2 × 2 Matrix -- 3.5 Construction of the Triangular Matrix C and Proof that Its
Elements are Quasiperiodic in ? (and Periodic in ?j and Ck with Respect to ?): The Case of an m × m Matrix, all A’s Different -- 3.6 Approximation Methods. Smoothing -- 3.6.1 A Variational Method -- 3.6.2 Smoothing -- 3.7 The
Triangular Matrix C and Its Reduction -- 3.8 The General Case: Some of the Generalized Characteristic Exponents Coincide -- 3.9 Explicit Solution of (3.1.1) by an Iteration Procedure -- 4. Stochastic Nonlinear Differential Equations --
4.1 An Example -- 4.2 The Îto Differential Equation and the Îto-Fokker-Planck Equation -- 4.3 The Stratonovich Calculus -- 4.4 Langevin Equations and Fokker-Planck Equation -- 5. The World of Coupled Nonlinear Oscillators -- 5.1 Linear
Oscillators Coupled Together -- 5.1.1 Linear Oscillators with Linear Coupling -- 5.1.2 Linear Oscillators with Nonlinear Coupling. An Example. Frequency Shifts -- 5.2 Perturbations of Quasiperiodic Motion for Time-Independent
Amplitudes (Quasiperiodic Motion Shall Persist) -- 5.3 Some Considerations on the Convergence of the Procedure* -- 6. Nonlinear Coupling of Oscillators: The Case of Persistence of Quasiperiodic Motion -- 6.1 The Problem -- 6.2 Moser’s
Theorem (Theorem 6.2.1) -- 6.3 The Iteration Procedure* -- 7. Nonlinear Equations. The Slaving Principle -- 7.1 An Example -- 7.1.1 The Adiabatic Approximation -- 7.1.2 Exact Elimination Procedure -- 7.2 The General Form of the Slaving
Principle. Basic Equations -- 7.3 Formal Relations -- 7.4 The Iteration Procedure -- 7.5 An Estimate of the Rest Term. The Question of Differentiability -- 7.6 Slaving Principle for Discrete Noisy Maps* -- 7.7 Formal Relations* -- 7.8
The Iteration Procedure for the Discrete Case* -- 7.9 Slaving Principle for Stochastic Differential Equations* -- 8. Nonlinear Equations. Qualitative Macroscopic Changes -- 8.1 Bifurcations from a Node or Focus. Basic Transformations
-- 8.2 A Simple Real Eigenvalue Becomes Positive -- 8.3 Multiple Real Eigenvalues Become Positive -- 8.4 A Simple Complex Eigenvalue Crosses the Imaginary Axis. Hopf Bifurcation -- 8.5 Hopf Bifurcation, Continued -- 8.6 Frequency
Locking Between Two Oscillators -- 8.7 Bifurcation from a Limit Cycle -- 8.8 Bifurcation from a Limit Cycle: Special Cases -- 8.8.1 Bifurcation into Two Limit Cycles -- 8.8.2 Period Doubling -- 8.8.3 Subharmonics -- 8.8.4 Bifurcation
to a Torus -- 8.9 Bifurcation from a Torus (Quasiperiodic Motion) -- 8.10 Bifurcation from a Torus: Special Cases -- 8.10.1 A Simple Real Eigenvalue Becomes Positive -- 8.10.2 A Complex Nondegenerate Eigenvalue Crosses the Imaginary
Axis -- 8.11 Instability Hierarchies, Scenarios, and Routes to Turbulence -- 8.11.1 The Landau-Hopf Picture -- 8.11.2 The Ruelle and Takens Picture -- 8.11.3 Bifurcations of Tori. Quasiperiodic Motions -- 8.11.4 The Period-Doubling
Route to Chaos. Feigenbaum Sequence -- 8.11.5 The Route via Intermittency -- 9. Spatial Patterns -- 9.1 The Basic Differential Equations -- 9.2 The General Method of Solution -- 9.3 Bifurcation Analysis for Finite Geometries -- 9.4
Generalized Ginzburg-Landau Equations -- 9.5 A Simplification of Generalized Ginzburg-Landau Equations. Pattern Formation in Bénard Convection -- 10. The Inclusion of Noise -- 10.1 The General Approach -- 10.2 A Simple Example -- 10.3
Computer Solution of a Fokker-Planck Equation for a Complex Order Parameter -- 10.4 Some Useful General Theorems on the Solutions of Fokker-Planck Equations -- 10.4.1 Time-Dependent and Time-Independent Solutions of the Fokker-Planck
Equation, if the Drift Coefficients are Linear in the Coordinates and the Diffusion Coefficients Constant -- 10.4.2 Exact Stationary Solution of the Fokker-Planck Equation for Systems in Detailed Balance -- 10.4.3 AnExample -- 10.4.4
Useful Special Cases -- 10.5 Nonlinear Stochastic Systems Close to Critical Points: A Summary -- 11. Discrete Noisy Maps -- 11.1 Chapman-Kolmogorov Equation -- 11.2 The Effect of Boundaries. One-Dimensional Example -- 11.3 Joint
Probability and Transition Probability. Forward and Backward Equation 305 -- 11.4 Connection with Fredholm Integral Equation 306 -- 11.5 Path Integral Solution 307 -- 11.6 The Mean First Passage Time 308 -- 11.7 Linear Dynamics and
Gaussian Noise. Exact Time-Dependent Solution of the Chapman-Kolmogorov Equation 310 -- 12. Example of an Unsolvable Problem in Dynamics -- 13. Some Comments on the Relation Between Synergetics and Other Sciences -- Appendix A: Moser’s
Proof of His Theorem -- A.1 Convergence of the Fourier Series -- A.2 The Most General Solution to the Problem of Theorem -- A.3 Convergent Construction -- A.4 Proof of Theorem -- References
ISBN:9783642455537
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Synergetics: 20
Keywords: Physics , Physics , Theoretical, Mathematical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1982-9783642878671:ONLINE Show nearby items on shelf
Title:Picture Engineering
Author(s):
Date:1982
Size:1 online resource (10 p.)
Note:10.1007/978-3-642-87867-1
Contents:I Pictorial Database Management -- PICCOLO: A Data Model for Picture Database Computers -- Computer System Organization for Pictorial Data -- A Methodology for Picture Indexing and Encoding -- II Picture Representation -- A General
(Syntactic-Semantic) Approach to Picture Analysis -- Shape Design, Representation and Restoration with Splines -- Computer-Aided Design of 3-D Objects Using Polar Spline Representations -- Application of Structure Lines to Surface
Construction and 3-Dimensional Analysis -- III Picture Computer Arcinitecture -- A Configurable Micro Array Computer for Signal and Image Processing -- A Multiprocessor System for Dynamic Scene Analysis -- VLSI Array Architecture for
Picture Processing -- IV Office Automation -- High-Level Programming Support for Color/Graphics Reports -- An Approach to Image Editing and Filing -- A Multiple Microprocessor System for Office Image Processing -- V Computer-Aided
Design -- Logic Diagram Editing for Interactive Logic Design -- Extended Graphic Functions of the A-IDAS System for Visual Design -- VI Computer Art -- Towards an Intelligent Computer Art System -- Index of Contributors
ISBN:9783642878671
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 6
Keywords: Computer science , Software engineering , Computer Science , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1980-9783540382591:ONLINE Show nearby items on shelf
Title:The Computer in Optical Research Methods and Applications
Author(s):
Date:1980
Size:1 online resource (371 p.)
Note:10.1007/BFb0040181
Contents:The calculation of integrals encountered in optical diffraction theory -- Computational methods of probability and statistics -- Optimization methods in optics -- Computers and optical astronomy -- Computer-generated holograms W. J.
Dallas
ISBN:9783540382591
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Topics in Applied Physics: 41
Keywords: Engineering , Complexity, Computational , Engineering , 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:QC761.3.ST11 Show nearby items on shelf
Title:Stabilization of superconducting magnetic systems
Author(s): V.A. (Valerii Aleksandrovich) Al'tov
V.B. Zenkevich
M.G. Kremlev
V.V. Sychev
Date:1977
Publisher:Plenum Press: New York
Size:338 pgs.
Note:Translated from Russian by G.D. Archard, Translation Editor K.D. Timmerhaus
Contents:Part I: Superconductivity and Its Applications - 1. The Future of Superconductivity in Modern Technology, 2. The Nature of Superconductivity, 3. Protection of Superconducting Magnetic Systems, 4. Equilibrium of the Normal Zone in Combined Conductors Under Isothermal Conditions
Part II: Method of Thermal Stabilization - 5. Equilibrium of the Normal Zone in Combined Conductors in the Presence of a Longitudinal Temperature Gradient, 6. Propagation of the Normal Zone in a Superconducting Coil, 7. Combined Conductors with Forced Cooling, 8. Equilibrium and Propagation of the Normal Zone in a Close-Packed Superconducting Coil
Part III: Combined Conductors with Internal Stabilization - 9. Stability of Superconductors of the Second Kind with Respect to Flux Jumps, 10. Multiple-Core Straight Conductors, 11. Twisted and Coiled Combined Conductors
ISBN:0306309432
Series:The International cryogenics monograph series
Keywords: Computers - Computer Engineering , Science - General , Science - Magnetism , Technology & Engineering - Superconductors & Superconductivity , Superconducting magnets.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover
Image
Call number:QA76.88.C68::2013 Show nearby items on shelf
Title:Contemporary high performance computing: From petascale toward exascale
Author(s): Jeffrey S. Vetter
Date:2013
Publisher:Boca Raton : Taylor & Francis
Size:702 p
Contents:Trends in HPC, Contemporary HPC, Clouds and Grids in HPC
ISBN:9781466568341
Keywords: High performance computing. , COMPUTERS / Systems Architecture / General , COMPUTERS / Computer Engineering , MATHEMATICS / 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
Location: MAIN

Return to the Fermilab Library catalog