Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Call number: | SPRINGER-2003-9783642557699:ONLINE Show nearby items on shelf |
Title: | Computational Partial Differential Equations Numerical Methods and Diffpack Programming |
Author(s): |
Hans Petter Langtangen |
Date: | 2003 |
Edition: | Second Edition |
Size: | 1 online resource (862 p.) |
Note: | 10.1007/978-3-642-55769-9 |
Contents: | 1 Getting Started -- 1.1 The First Diffpack Encounter -- 1.2 Overview of Application Examples -- 1.3 Steady One-Dimensional Heat Conduction -- 1.5 Projects -- 1.6 About Programming with Objects -- 1.7 Coding the PDE Simulator as a |
Class -- 1.8 Projects -- 2 Introduction to Finite Element Discretization -- 2.1 Weighted Residual Methods -- 2.2 Time Dependent Problems -- 2.3 Finite Elements in One Space Dimension -- 2.4 Example: A ID Wave Equation -- 2.5 Naive | |
Implementation -- 2.6 Projects -- 2.7 Higher-Dimensional Finite Elements -- 2.8 Calculation of Derivatives -- 2.9 Convection-Diffusion Equations -- 2.10 Analysis of the Finite Element Method -- 3 Programming of Finite Element Solvers | |
-- 3.1 A Simple Program for the Poisson Equation -- 3.2 Increasing the Flexibility -- 3.3 Some Visualization Tools -- 3.4 Some Useful Diffpack Features -- 3.5 Introducing More Flexibility -- 3.6 Step-by-Step Development of a Diffpack | |
Solver -- 3.7 Adaptive Grids -- 3.8 Projects -- 3.9 A Convection-Diffusion Solver -- 3.10 A Heat Equation Solver -- 3.11 A More Flexible Heat Equation Solver -- 3.12 Visualization of Time-Dependent Fields -- 3.13 A Transient Heat | |
Transfer Application -- 3.14 Projects -- 3.15 Efficient Solution of the Wave Equation -- 4 Nonlinear Problems -- 4.1 Discretization and Solution of Nonlinear PDEs -- 4.2 Software Tools for Nonlinear Finite Element Problems -- 4.3 | |
Projects -- 5 Solid Mechanics Applications -- 5.1 Linear Thermo-Elasticity -- 5.2 Elasto-Viscoplasticity -- 6 Fluid Mechanics Applications -- 6.1 Convection-Diffusion Equations -- 6.2 Shallow Water Equations -- 6.3 An Implicit Finite | |
Element Navier-Stokes Solver -- 6.4 A Classical Finite Difference Navier-Stokes Solver -- 6.5 A Fast Finite Element Navier-Stokes Solver -- 6.6 Projects -- 7 Coupled Problems -- 7.1 Fluid-Structure Interaction Squeeze-Film Damping -- | |
7.2 Fluid Flow and Heat Conduction in Pipes -- 7.3 Projects -- B.7 Optimizing Diffpack Codes -- A Mathematical Topics -- A.1 Scaling and Dimensionless Variables -- A.2 Indicial Notation -- A.3 Compact Notation for Difference Equations | |
-- A.4 Stability and Accuracy of Difference Approximations -- A.4.1 Typical Solutions of Simple Prototype PDEs -- A.4.2 Physical Significance of Parameters in the Solution -- A.4.3 Analytical Dispersion Relations -- A.4.4 Solution of | |
Discrete Equations -- A.4.5 Numerical Dispersion Relations -- A.4.6 Convergence -- A.4.7 Stability -- A.4.8 Accuracy -- A.4.9 Truncation Error -- A.4.10 Traditional von Neumann Stability Analysis -- A.4.11 Examples: Analysis of the | |
Heat Equation -- A.5 Exploring the Nature of Some PDEs -- A.5.1 A Hyperbolic Equation -- A.5.2 An Elliptic Equation -- A.5.3 A Parabolic Equation -- A.5.4 The Laplace Equation Solved by a Wave Simulator -- A.5.5 Well-Posed Problems -- | |
B Diffpack Topics -- B.1 Brief Overview of Important Diffpack Classes -- B.2 Diffpack-Related Operating System Interaction -- B.2.1 Unix -- B.2.2 Windows -- B.3 Combining Diffpack with Other Types of Software -- B.3.1 Calling Other | |
Software Packages from Diffpack -- B.3.2 Calling Diffpack from Other Types of Software -- B.4. Basic Diffpack Features -- B.4.1 Diffpack Man Pages -- B.4.2 Standard Command-Line Options -- B.4.3 Generalized Input and Output -- B.4.4 | |
Automatic Verification of a Code -- B.5 Visualization Support -- B.5.1 Curves -- B.5.2 Scalar and Vector Fields -- B.6 Details on Finite Element Programming -- B.6.1 Basic Functions for Finite Element Assembly -- B.6.2 Using Functors | |
for the Integrands -- B.6.3 Integrating Quantities over the Grid or the Boundary -- B.6.4 Class Relations in the Finite Element Engine -- C Iterative Methods for Sparse Linear Systems -- C.1 Classical Iterative Methods -- C.1.1 A | |
General Framework -- C.1.2 Jacobi, Gauss-Seidel, SOR, and SSOR Iteration -- C.2 Conjugate Gradient-Like Iterative Methods -- C.2.1 Galerkin and Least-Squares Methods -- C.2.2 Summary of the Algorithms -- C.2.3 A Framework Based on the | |
Error -- C.3 Preconditioning -- C.3.1 Motivation and Basic Principles -- C.3.2 Classical Iterative Methods as Preconditioners -- C.3.3 Incomplete Factorization Preconditioners -- C.4 Multigrid and Domain Decomposition Methods -- C.4.1 | |
Domain Decomposit ion -- C.4.2 Multigrid Methods -- D Software Tools for Solving Linear Systems -- D.1 Storing and Initializing Linear Systems -- D.1.1 Vector and Matrix Formats -- D.1.2 Detailed Matrix Examples -- D.1.3 Representation | |
of Linear Systems -- D.2 Programming with Linear Solvers -- D.2.1 Gaussian Elimination -- D.2.2 A Simple Demo Program -- D.2.3 A 3D Poisson Equation Solver -- D.3 Classical Iterative Methods -- D.4 Conjugate Gradient-like Methods -- | |
D.4.1 Symmetric Systems -- D.4.2 Nonsymmetric Systems -- D.5 Preconditioning Strategies -- D.6 Convergence History and Stopping Criteria -- D.7 Example: Implicit Methods for Transient Diffusion -- D.8 High-Level Stencil Programming of | |
Finite Difference Schemes -- D.8.1 Finite Difference Stencils -- D.8.2 Basic Structure of a Stencil-Based Simulator -- D.8.3 Defining the Stencils | |
ISBN: | 9783642557699 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Texts in Computational Science and Engineering: 1 |
Keywords: | Computer science , Software engineering , Computers , Mathematical analysis , Analysis (Mathematics) , Computer mathematics , Physics , Computational intelligence , Computer Science , Theory of Computation , Analysis , Software Engineering/Programming and Operating Systems , Computational Mathematics and Numerical Analysis , Computational Intelligence , Theoretical, Mathematical and Computational Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Call number: | SPRINGER-2002-9780306476488:ONLINE Show nearby items on shelf |
Title: | Stochastic and Global Optimization |
Author(s): | |
Date: | 2002 |
Size: | 1 online resource (237 p.) |
Note: | 10.1007/b130735 |
Contents: | Topographical Differential Evolution Using Pre-calculated Differentials -- Optimal Tax Depreciation in Stochastic Investment Model -- Global Optimisation of Chemical Process Flowsheets -- One-dimensional Global Optimization Based on |
Statistical Models -- Animated Visual Analysis of Extremal Problems -- Test Problems for Lipschitz Univariate Global Optimization with Multiextremal Constraints -- Numerical Techniques in Applied Multistage Stochastic Programming -- On | |
the Efficiency and Effectiveness of Controlled Random Search -- Discrete Backtracking Adaptive Search for Global Optimization -- Parallel Branch-and-bound Attraction Based Methods for Global Optimzation -- On Solution of Stochastic | |
Linear Programs by Discretization Methods -- The Structure of Multivariate Models and the Range of Definition -- Optimality Criteria for Investment Projects Under Uncertainty | |
ISBN: | 9780306476488 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Nonconvex Optimization and Its Applications: 59 |
Keywords: | Mathematics , Computers , System theory , Mathematical optimization , Statistics , Mathematics , Optimization , Statistics, general , Systems Theory, Control , Theory of Computation , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-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 |
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 |
Call number: | SPRINGER-2002-9780306469671:ONLINE Show nearby items on shelf |
Title: | Intelligent Robotic Systems Design, Planning, and Control |
Author(s): |
Witold Jacak |
Date: | 2002 |
Size: | 1 online resource (310 p.) |
Note: | 10.1007/b115982 |
Contents: | Off-Line Planning, Programming, and Simulation of Intelligent Robotic Systems -- Virtual Robotic Cells -- Planning of Robotic Cell Actions -- Off-Line Planning of Robot Motion -- CAP/CAM Systems for Robotic Cell Design -- Intelligent |
Robotic Systems -- Event-Based Real-Time Control of Intelligent Robotic Systems Using Neural Networks and Fuzzy Logic -- The Execution Level of Robotic Agent Action -- The Coordination Level of a Multiagent Robotic System -- The | |
Organization Level of a Robotic System -- Real-Time Monitoring -- Object-Oriented Discrete-Event Simulator of Intelligent Robotic Cells | |
ISBN: | 9780306469671 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | IFSR International Series on Systems Science and Engineering: 14 |
Keywords: | Computer science , Computers , Artificial intelligence , Mechanical engineering , Computer Science , Theory of Computation , Artificial Intelligence (incl. Robotics) , Mechanical Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2001-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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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