Fermilab Fermilab Core Computing Division

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

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD SOFTWARE ENGINEERING/PROGRAMMING AND OPERATING SYSTEMS *END*INIT* use /tmp/qspiwww.webspi1/22223.2 QRY 131.225.70.96 . find keyword software engineering/programming and operating systems ( in books using www Cover
Image
Call number:SPRINGER-2016-9783319215938:ONLINE Show nearby items on shelf
Title:The Vixen Star Book User Guide How to Use the Star Book TEN and the Original Star Book
Author(s): James Chen
Date:2016
Size:1 online resource (271 p.)
Note:10.1007/978-3-319-21593-8
Contents:Brief History of Vixen Computerized Telescope Mounts for Amateurs -- Backyard Astronomy Basics -- Introduction to the Star Book-TEN -- Basic Operation of the Star Book-TEN -- Learned Lessons in Using the Star Book-TEN -- Introduction
to the Original Star Book -- Basic Operation of the Star Book -- Learned Lessons in Using the Star Book -- Notes on the Star Book-One and Star Book-S systems -- Accessories for Vixen Mounts -- Mounting Other Optical Tubes on the Vixen
Mounts -- Maintenance and Care of the Star Book mounts
ISBN:9783319215938
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Popular works , Software engineering , Observations, Astronomical , Astronomy , Astronomy , Popular Science , Popular Science in Astronomy , Astronomy, Observations and Techniques , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783662054505:ONLINE Show nearby items on shelf
Title:Python Scripting for Computational Science
Author(s): Hans Petter Langtangen
Date:2004
Size:1 online resource (732 p.)
Note:10.1007/978-3-662-05450-5
Contents:1 Introduction -- 2 Getting Started with Python Scripting -- 3 Basic Python -- 4 Numerical Computing in Python -- 5 Combining Python with Fortran, C, and C++ -- 6 Introduction to GUI Programming -- 7 Web Interfaces and CGI Programming
-- 8 Advanced Python -- 9 Fortran Programming with NumPy Arrays -- 10 C and C++ Programming with NumPy Arrays -- 11 More Advanced GUI Programming -- 12 Tools and Examples -- A Setting up the Required Software Environment -- A.1
Installation on Unix Systems -- A.1.1 A Suggested Directory Structure -- A.1.2 Setting Some Environment Variables -- A.1.3 Installing Tcl/Tk and Additional Modules -- A.1.4 Installing Python -- A.1.5 Installing Python Modules -- A.1.6
Installing Gnuplot -- A.1.7 Installing SWIG -- A.1.8 Summary of Environment Variables -- A.1.9 Testing the Installation of Scripting Utilities -- A.2 Installation on Windows Systems -- B Elements of Software Engineering -- B.1 Building
and Using Modules -- B.1.1 Single-File Modules -- B.1.2 Multi-File Modules -- B.1.3 Debugging and Troubleshooting -- B.2 Tools for Documenting Python Software -- B.2.1 Doc Strings -- B.2.2 Tools for Automatic Documentation -- B.3
Coding Standards -- B.3.1 Style Guide -- B.3.2 Pythonic Programming -- B.4 Verification of Scripts -- B.4.1 Automating Regression Tests -- B.4.2 Implementing a Tool for Regression Tests -- B.4.3 Writing a Test Script -- B.4.4 Verifying
Output from Numerical Computations -- B.4.5 Automatic Doc String Testing -- B.4.6 Unit Testing -- B.5 Version Control Management -- B.5.1 Getting Started with CVS -- B.5.2 Building Scripts to Simplify the Use of CVS -- B.6 Exercises
ISBN:9783662054505
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Texts in Computational Science and Engineering: 3
Keywords: Mathematics , Software engineering , Computer mathematics , Physics , Computational intelligence , Mathematics , Computational Science and Engineering , Numerical and Computational Physics , Software Engineering/Programming and Operating Systems , Computational Intelligence
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783642593048:ONLINE Show nearby items on shelf
Title:MuPAD Tutorial
Author(s): Christopher Creutzig
Date:2004
Edition:Second Edition
Size:1 online resource (415 p.)
Note:10.1007/978-3-642-59304-8
Contents:1. Introduction -- 1.1 Numerical Computations -- 1.2 Computer Algebra -- 1.3 Characteristics of Computer Algebra Systems -- 1.4 Existing Systems -- 1.5 MuPAD -- 2. First Steps in MuPAD -- 2.1 Explanations and Help -- 2.2 Computing
with Numbers -- 2.3 Symbolic Computation -- 3. The MuPAD Libraries -- 3.1 Information About a Particular Library -- 3.2 Exporting Libraries -- 3.3 The Standard Library -- 4. MuPAD Objects -- 4.1 Operands: the Functions op and fops --
4.2 Numbers -- 4.3 Identifiers -- 4.4 Symbolic Expressions -- 4.5 Sequences -- 4.6 Lists -- 4.7 Sets -- 4.8 Tables -- 4.9 Arrays -- 4.10 Boolean Expressions -- 4.11 Strings -- 4.12 Functions -- 4.13 Series Expansions -- 4.14 Algebraic
Structures: Fields, Rings, etc. -- 4.15 Vectors and Matrices -- 4.16 Polynomials -- 4.17 Interval Arithmetic -- 4.18 Null Objects: null (), NIL, FAIL, undefined -- 5. Evaluation and Simplification -- 5.1 Identifiers and Their Values --
5.2 Complete, Incomplete, and Enforced Evaluation -- 5.3 Automatic Simplification -- 6. Substitution: subs, subsex, and subsop -- 7. Differentiation and Integration -- 7.1 Differentiation -- 7.2 Integration -- 8. Solving Equations:
solve -- 8.1 Polynomial Equations -- 8.2 General Equations and Inequalities -- 8.3 Differential Equations -- 8.4 Recurrence Equations -- 9. Manipulating Expressions -- 9.1 Transforming Expressions -- 9.2 Simplifying Expressions -- 9.3
Assumptions About Symbolic Identifiers -- 10. Chance and Probability -- 11. Graphics -- 11.1 Introduction -- 11.2 Easy Plotting: Graphs of Functions -- 11.3 Advanced Plotting: Principles and First Examples -- 11.4 The Full Picture:
Graphical Trees -- 11.5 Viewer, Browser, and Inspector: Interactive Manipulation -- 11.6 Primitives -- 11.7 Attributes -- 11.8 Colors -- 11.9 Animations -- 11.10 Groups of Primitives -- 11.11 Transformations -- 11.12 Legends -- 11.13
Fonts -- 11.14 Saving and Exporting Pictures -- 11.15 Importing Pictures -- 11.16 Cameras in 3D -- 11.17 Strange Effects in 3D? Accelerated OpenGL? -- 12. The History Mechanism -- 13. Input and Output -- 13.1 Output of Expressions --
13.2 Reading and Writing Files -- 14. Utilities -- 14.1 User-Defined Preferences -- 14.2 Information on MuPAD Algorithms -- 14.3 Restarting a MuPAD Session -- 14.4 Executing Commands of the Operating System -- 15. Type Specifiers --
15.1 The Functions type and testtype -- 15.2 Comfortable Type Checking: the Type Library -- 16. Loops -- 17. Branching: if-then-else and case -- 18. MuPAD Procedures -- 18.1 Defining Procedures -- 18.2 The Return Value of a Procedure
-- 18.3 Returning Symbolic Function Calls -- 18.4 Local and Global Variables -- 18.5 Subprocedures -- 18.6 Scope of Variables -- 18.7 Type Declaration -- 18.8 Procedures with a Variable Number of Arguments -- 18.9 Options: the Remember
Table -- 18.10 Input Parameters -- 18.11 Evaluation Within Procedures -- 18.12 Function Environments -- 18.13 A Programming Example: Differentiation -- 18.14 Programming Exercises -- A. Solutions to Exercises -- B. Documentation and
References -- C. Graphics Gallery -- D. Comments on the Graphics Gallery
ISBN:9783642593048
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Information technology , Business , Computers , Visualization , Computer software , Physics , Applied mathematics , Engineering mathematics , Mathematics , Mathematical Software , Information Systems and Communication Service , Visualization , Theoretical, Mathematical and Computational Physics , Appl.Mathematics/Computational Methods of Engineering , IT in Business
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781402079627:ONLINE Show nearby items on shelf
Title:CMOS Imagers From Phototransduction to Image Processing
Author(s):
Date:2004
Size:1 online resource (242 p.)
Note:10.1007/b117398
Contents:Fundamentals of Silicon-Based Phototransduction -- CMOS APS MTF Modeling -- Photoresponse Analysis and Pixel Shape Optimization for CMOS APS -- Active Pixel Sensor Design: From Pixels to Systems -- Focal-Plane Analog Image Processing
-- CMOS Imager Non-Uniformity Correction Using Floating-Gate Adaptation
ISBN:9781402079627
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Software engineering , Image processing , Optics , Optoelectronics , Plasmons (Physics) , Electrical engineering , Electronic circuits , Physics , Optics, Optoelectronics, Plasmonics and Optical Devices , Circuits and Systems , Electrical Engineering , Software Engineering/Programming and Operating Systems , Image Processing and Computer Vision
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9780306486364:ONLINE Show nearby items on shelf
Title:Computing System Reliability Models and Analysis
Author(s): Min Xie
Date:2004
Size:1 online resource (293 p.)
Note:10.1007/b100619
Contents:Basic Reliability Concepts and Analysis -- Models for Hardware System Reliability -- Models for Software Reliability -- Models for Integrated Systems -- Availability and Reliability of Distributed Computing Systems -- Reliability of
Grid Computing Systems -- Multi-state System Reliability -- Optimal System Design and Resource Allocation
ISBN:9780306486364
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Microprocessors , Software engineering , Mathematical models , Mathematical logic , Mathematics , Mathematical Modeling and Industrial Mathematics , Computer Science, general , Processor Architectures , Mathematical Logic and Foundations , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783662051481:ONLINE Show nearby items on shelf
Title:Algebra, Geometry and Software Systems
Author(s):
Date:2003
Size:1 online resource (332 p.)
Note:10.1007/978-3-662-05148-1
Contents:Beneath-and-Beyond Revisited -- Some Algorithmic Problems in Polytope Theory -- Computing Triangulations Using Oriented Matroids -- Discrete Geometry for Algebraic Elimination -- Sparse Resultant Perturbations -- Numerical Irreducible
Decomposition Using PHCpack -- Generating Kummer Type Formulas for Hypergeometric Functions -- A Computer Algebra System: Risa / Asir -- Singular in a Framework for Polynomial Computations -- Computing Simplicial Homology Based on
Efficient Smith Normal Form Algorithms -- The Geometry of ?n is Important for the Algebra of Elementary Functions -- A Visual Introduction to Cubic Surfaces Using the Computer Software Spicy -- A Client-Server System for the
Visualisation of Algebraic Surfaces on the Web -- Visualizing Maple Plots with JavaViewLib -- Automated Generation of Diagrams with Maple and Java -- Interactive Mathematical Documents on the Web -- Distributed Computing for
Conglomerate Mathematical Systems -- Software Systems
ISBN:9783662051481
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Software engineering , Computer science , Algebra , Computer software , Geometry , Mathematics , Algebra , Mathematical Software , Geometry , Symbolic and Algebraic Manipulation , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-2003-9781475737523:ONLINE Show nearby items on shelf
Title:Operations Research in Space and Air
Author(s):
Date:2003
Size:1 online resource (446 p.)
Note:10.1007/978-1-4757-3752-3
Contents:I Space -- 1 OR Applications in Space Systems Development and Operations -- 2 A Cargo Accommodation Problem for a Space Vehicle -- 3 A Heuristic Procedure for the RC Problem -- 4 3-Dimensional Packing Problems Arising in Space
Engineering -- 5 Spacecraft Design as a Multi-Criteria Decision-Making -- 6 Combining Evolution Programs and Gradient Methods -- 7 MP for Earth Observation Satellite Mission Planning -- 8 On-Orbit Satellite Servicing: a Space-based
Vehicle Routing Problem -- 9 Data Mining in Astronomy -- 10 Launch Capacity Analysis for Commercial Communications Satellites -- 11 Value of Information Based Design of Control Software -- 12 Trajectory Design Combining Low-Thrust and
Gravity Assist Manoeuvres -- II Air -- 13 Solving Multi-Criteria Through-Fleet Assignment Models -- 14 Analysis of Market-Based Demand Management Strategies -- 15 Overhaul-Tasks Scheduling Model -- 16 Airline Recovery Model -- 17
Routing Considerations in Airline Yield Management -- 18 Models and Algorithms for the Airport Capacity Allocation Problem -- 19 A New Yield Management Approach in Multi-variable Environments -- 20 Materialisation Forecasting: A Data
Mining Perspective -- 21 Optimization-Based Integrated Manpower Management for Airlines
ISBN:9781475737523
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 79
Keywords: Computer science , Software engineering , System theory , Mathematical models , Mathematical optimization , Astronomy , Astrophysics , Cosmology , Automotive engineering , Computer Science , Software Engineering/Programming and Operating Systems , Astronomy, Astrophysics and Cosmology , Optimization , Systems Theory, Control , Automotive Engineering , Mathematical Modeling and Industrial Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9783642562402:ONLINE Show nearby items on shelf
Title:Multimedia Tools for Communicating Mathematics
Author(s):
Date:2002
Size:1 online resource (314 p.)
Note:10.1007/978-3-642-56240-2
Contents:1 Computer Animated Mathematics Videotapes -- 2 A Virtual Reconstruction of a Virtual Exhibit -- 3 An Intuitive Approach to Elementary Mathematics on the Web -- 4 OpenMath Technology for Interactive Mathematical Documents -- 5 The
StageTools Package for Creating Geometry for the Web -- 6 Communicating and Learning Mathematics with Hypervideo -- 7 Collaboration in a Multimedia Laboratory -- 8 jDvi — A Way to Put Interactive TeX on the Web -- 9 Visual Calculus —
Development and Tools -- Color Plates -- 10 EG-Models — A New Journal for Digital Geometry Models -- 11 The Future of Mathematical Software -- 12 A Dynamic Setup for Elementary Geometry -- 13 Dynamic Geometry on WWW -- 14 Minimalistic
Tools for Mathematical Multimedia -- 15 Publication of Interactive Visualizations with JavaView -- 16 The Solver Learning Environment for Solving Mathematical Word Problems: Pupils’ Discussions -- 17 Interactive Knot Theory with Knot
Plot -- 18 Developing Gato and CATBox with Python: Teaching Graph Algorithms through Visualization Experimentation -- 19 Rescalable Real-Time Interactive Computer Animations
ISBN:9783642562402
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Software engineering , Multimedia information systems , Application software , Mathematics , Visualization , Computer Science , Computer Applications , Mathematics, general , Software Engineering/Programming and Operating Systems , Visualization , Multimedia Information Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781475760996:ONLINE Show nearby items on shelf
Title:Optimization and Related Topics
Author(s):
Date:2001
Size:1 online resource (462 p.)
Note:10.1007/978-1-4757-6099-6
Contents:I Numerical Methods and Applications -- 1 An Approach to Constructing Generalized Penalty Functions -- 2 An Exact Method for Solving the Subproblem of the Cutting Angle Method of Global Optimization -- 3 On Modeling Risk in Markov
Decision Processes -- 4 Multiplicative Programming and Beyond Via C-Programming -- 5 Computing Optimal Control on Matlab — The Scom Package and Economic Growth Models -- 6 Stochastic Optimal Control of a Solar Car -- 7 On Optimal
Algorithms in Emergent Computation -- 8 Optimal Estimation of Signal Parameters Using Bilinear Observations -- 9 On an Extremal Problem Arising in Queueing Theory and Telecommunications -- 10 Level Functions of Some Optimal Value
Functions -- 11 Regularized Gap Functions and D-Gap Functions for Nons Mooth Variational Inequalities -- II Theory of Optimization and Related Topics -- 12 Convex Spectral Functions of Compact Operators, Part II: Lower Semicontinuity
and Rearrangement Invariance -- 13 Some Inequalities for Riemann-Stieltjes Integral and Applications -- 14 Prox—Regularity and Subjets -- 15 Concerning Differentiability Properties of Locally Lipschitz Functions -- 16 Laurent Series
for the Inversion of Perturbed Linear Operators on Hilbert Space -- 17 The Extremal Principle and Its Applications to Optimization and Economics -- 18 Generic Convergence of Infinite Products of Nonexpansive Mappings In Banach and
Hyperbolic Spaces -- 19 Recession Cones of Star-Shaped and Co-Star-Shaped Sets -- 20 Does Continuity of Convex-Valued Maps Survive Under Intersection? -- 21 Existence and Structure of Solutions of Optimal Control Problems
ISBN:9781475760996
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 47
Keywords: Computer science , Software engineering , Operator theory , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematical optimization , Calculus of variations , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Calculus of Variations and Optimal Control Optimization , Operator Theory , Computational Mathematics and Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781475757958:ONLINE Show nearby items on shelf
Title:Mathematical Theory of Optimization
Author(s):
Date:2001
Size:1 online resource (273 p.)
Note:10.1007/978-1-4757-5795-8
Contents:1 Optimization Problems -- 2 Linear Programming -- 3 Blind Man’s Method -- 4 Hitting Walls -- 5 Slope and Path Length -- 6 Average Slope -- 7 Inexact Active Constraints -- 8 Efficiency -- 9 Variable Metric Methods -- 10 Powell’s
Conjecture -- 11 Minimax -- 12 Relaxation -- 13 Semidefinite Programming -- 14 Interior Point Methods -- 15 From Local to Global -- Historical Notes
ISBN:9781475757958
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 56
Keywords: Mathematics , Software engineering , Computers , Applied mathematics , Engineering mathematics , Computer mathematics , Algorithms , Mathematical optimization , Mathematics , Optimization , Software Engineering/Programming and Operating Systems , Applications of Mathematics , Theory of Computation , Computational Mathematics and Numerical Analysis , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781475752847:ONLINE Show nearby items on shelf
Title:From Local to Global Optimization
Author(s):
Date:2001
Size:1 online resource (340 p.)
Note:10.1007/978-1-4757-5284-7
Contents:1 Convex Global Underestimation for Molecular Structure Prediction -- 2 Bayesian Heuristic Approach (BHA) and Applications to Discrete Optimization -- 3 A Finite Branch-and-Bound Method for Bilinear Hydro Power Scheduling -- 4 Two
Examples of Global Optimization by Means of Local Techniques -- 5 Modelling techniques for nonlinear pooling problems -- 6 Optimization and Hierarchies for Lumped Distributed Networks -- 7 n Tuy’s 1964 Cone Splitting Algorithm for
Concave Minimization -- 8 The ?BB Global Optimization Algorithm for Nonconvex Problems: An Overview -- 9 Infimum of Polynomials and Singularity at Infinity -- 10 Solving Global Optimization Problems with BARON -- 11 D.C. Programming
Approach to the Multidimensional Scaling Problem -- 12 On Minimization of Sums of Heterogeneous Quadratic Functions on Stiefel Manifolds -- 13 A Nonlinear Lagrangian Function for Discrete Optimization Problems -- 14 Local and Global
Behavior of Moving Polytope Algorithms -- 15 Relational Complementarity Problem
ISBN:9781475752847
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 53
Keywords: Computer science , Software engineering , Numerical analysis , Computer science , Applied mathematics , Engineering mathematics , Mathematical models , Mathematical optimization , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Numeric Computing , Mathematical Modeling and Industrial Mathematics , Discrete Mathematics in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781475734096:ONLINE Show nearby items on shelf
Title:Filter Design With Time Domain Mask Constraints: Theory and Applications
Author(s): Ba-Ngu Vo
Date:2001
Size:1 online resource (330 p.)
Note:10.1007/978-1-4757-3409-6
Contents:1 Introduction -- 2 Filtering with Convex Response Constraints -- 3 Analysis and Problem Characterization -- 4 Discrete-Time EC Filtering Algorithms -- 5 Numerical Methods for Continuous-Time EC Filtering -- 6 Robust Envelope
Constrained Filtering -- Appendix A Mathematical Background -- A.1 Topological Space -- A.2 Metric Spaces -- A.3 Vector Spaces -- A.4 Normed Spaces -- A.5 Inner Product Spaces -- A.6 Linear Operators -- A.7 Linear Functionals and Dual
Spaces -- A.8 Measures and Integration -- Appendix B Optimization Theory -- B.1 Projection Theorem -- B.2 Hahn-Banach Theorem -- B.3 Positive Cones and Convex Mappings -- B.4 Gateaux and Fréchet Differentials -- B.5 Lagrange
Multipliers -- References
ISBN:9781475734096
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 56
Keywords: Computer science , Software engineering , Applied mathematics , Engineering mathematics , Mathematical optimization , Electrical engineering , Electronic circuits , Computer Science , Software Engineering/Programming and Operating Systems , Circuits and Systems , Applications of Mathematics , Optimization , Signal, Image and Speech Processing , Electrical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-2001-9781475733334:ONLINE Show nearby items on shelf
Title:Optimization Methods and Applications
Author(s):
Date:2001
Size:1 online resource (414 p.)
Note:10.1007/978-1-4757-3333-4
Contents:I Optimal Control -- 1 Practical Stability of Impulsive Delay Differential Equations and Applications to Control Problems -- 2 A Review of Ill-Conditioning and Regularization in Optimal Control Computation -- 3 Worst-Case Optimal
Regulation of Linear Systems in the Presence of Structured Perturbations -- 4 True Proportional Navigation System with Acceleration Saturation Constraint -- 5 Evaluation of Penalty Functions for Optimal Control -- 6 On the Optimal
Control Systems with Multiple Controllers -- 7 Multilevel Optimization of Optimal Control Problems -- 8 Modified Direct Gradient Descent Control of Nonlinear Systems -- 9 Computation of Feedback Control for Infinite Time Optimal
Control Problems -- II Optimization Methods -- 10 A Homogenized Cutting Plane Method to Solve the Convex Feasibility Problem -- 11 Algorithms for Some Hard Knapsack Problems -- 12 Non-Static Network Optimization Problems: A Survey --
13 Asymptotic Rates of Convergence of SQP-Type Methods of Feasible Directions -- 14 Nonlinear Lagrangian Methods in Constrained Nonlinear Optimization -- 15 Parallel Algorithms for Solving Large-Scale Nonlinear Optimization Problems --
16 Second Order Strict Converse Duality in Nonlinear Fractional Programming -- III Optimization Applications -- 17 Chebyshev Optimization of Circular Arrays -- 18 Optimum Pole Position for Digital Laguerre Network with Least Square
Error Criterion -- 19 A Markov Model for the Stochastic Optimal Control of a Solar Powered Car -- 20 The Personnel Task Scheduling Problem -- 21 Envelope Constrained Filter Design: Robustness Issues -- 22 A Robust Numerical Algorithm
for the Optimal Control of Heat Transfer in the Continuous Casting of Steel
ISBN:9781475733334
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 52
Keywords: Computer science , Software engineering , Applied mathematics , Engineering mathematics , Mathematical models , Mathematical optimization , Calculus of variations , Electrical engineering , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Calculus of Variations and Optimal Control Optimization , Electrical Engineering , Mathematical Modeling and Industrial Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781475732795:ONLINE Show nearby items on shelf
Title:Complementarity: Applications, Algorithms and Extensions
Author(s):
Date:2001
Size:1 online resource (404 p.)
Note:10.1007/978-1-4757-3279-5
Contents:Approximating Maximum Stable Set and Minimum Graph Coloring Problems with the Positive Semidefinite Relaxation -- Nonmonotone Path Following Methods for Nonsmooth Equations and Complementarity Problems -- Scalable Probabilistic
Clustering -- A complementarity eigenproblem in the stability analysis of finite dimensional elastic systems with frictional contact -- Variational Inequality Models of Restructured Electricity Systems -- Optimization Approaches to
Semi-Supervised Learning -- Preprocessing Complementarity Problems -- On the Connectedness of Solution Sets of Parametrized Equations and of Solution Sets in Linear Complementarity Problems -- An Active Set-type Newton Method for
Constrained Nonlinear Systems -- Mathematical Programming in Engineering Mechanics: Some Current Problems -- Data Discrimination via Nonlinear Generalized Support Vector Machines -- On Constraint Qualifications for Mathematical
Programs with Mixed Complementarity Constraints -- A Generation Operation Planning Model in Deregulated Electricity Markets based on the Complementarity Problem -- A Class of Globally Convergent Algorithms for Pseudomonotone
Variational Inequalities -- Successive Convex Relaxation Approach to Bilevel Quadratic Optimization Problems -- On a Nonsmooth Newton Method for Nonlinear Complementarity Problems in Function Space with Applications to Optimal Control
-- The Proximal Point Algorithm for the P0 Complementarity Problem -- Free Boundary Problems in Asset Pricing with Transaction Costs
ISBN:9781475732795
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 50
Keywords: Computer science , Software engineering , Computers , Artificial intelligence , Applied mathematics , Engineering mathematics , Mathematical optimization , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Theory of Computation , Artificial Intelligence (incl. Robotics) , Appl.Mathematics/Computational Methods of Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781475732436:ONLINE Show nearby items on shelf
Title:Large-scale Optimization — Problems and Methods
Author(s): Vladimir Tsurkov
Date:2001
Size:1 online resource (312 p.)
Note:10.1007/978-1-4757-3243-6
Contents:1. Exact and Approximate Aggregation -- 2. Iterative Aggregation -- 3. Introduction to Block Integer Programming -- 4. Block Problems with a Special Condition for Coupling Variables
ISBN:9781475732436
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 51
Keywords: Computer science , Software engineering , Applied mathematics , Engineering mathematics , System theory , Mathematical models , Mathematical optimization , Calculus of variations , Computer Science , Software Engineering/Programming and Operating Systems , Systems Theory, Control , Applications of Mathematics , Optimization , Calculus of Variations and Optimal Control Optimization , Mathematical Modeling and Industrial Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9781461201717:ONLINE Show nearby items on shelf
Title:Automata Theory and its Applications
Author(s): Bakhadyr Khoussainov
Date:2001
Size:1 online resource (432 p.)
Note:10.1007/978-1-4612-0171-7
Contents:1. Basic Notions -- 1.1 Sets -- 1.2 Sequences and Tuples -- 1.3 Functions, Relations, Operations -- 1.4 Equivalence Relations -- 1.5 Linearly Ordered Sets -- 1.6 Partially Ordered Sets -- 1.7 Graphs -- 1.8 Induction -- 1.9 Trees and
König’s Lemma -- 1.10 Countable and Uncountable Sets -- 1.11 Algorithms -- 2 Finite Automata -- 2.1 Two Examples -- 2.2 Finite Automata -- 2.3 Closure Properties -- 2.4 The Myhill—Nerode Theorem -- 2.5 The Kleene Theorem -- 2.6
Generalized Finite Automata -- 2.7 The Pumping Lemma and Decidability -- 2.8 Relations and Finite Automata -- 2.9 Finite Automata with Equations -- 2.10 Monadic Second Order Logic of Strings -- 3 Büchi Automata -- 3.1 Two Examples --
3.2 Büchi Automata -- 3.3 The Büchi Theorem -- 3.4 Complementation for Büchi Automata -- 3.5 The Complementation Theorem -- 3.6 Determinism -- 3.7 Müller Automata -- 3.8 The McNaughton Theorem -- 3.9 Decidability -- 3.10 Büchi Automata
and the Successor Function -- 3.11 An Application of the McNaughton Theorem -- 4 Games Played on Finite Graphs -- 4.1 Introduction -- 4.2 Finite Games -- 4.3 Infinite Games -- 4.4 Update Games and Update Networks -- 4.5 Solving Games
-- 5 Rabin Automata -- 5.1 Rabin Automata -- 5.2 Special Automata -- 5.3 Game Automata -- 5.4 Equivalence of Rabin and Game Automata -- 5.5 Terminology: Arenas, Games, and Strategies -- 5.6 The Notion of Rank -- 5.7 Open Games -- 5.8
Congruence Relations -- 5.9 Sewing Theorem -- 5.10 Can Mr. (?) Visit C Infinitely Often? -- 5.11 The Determinacy Theorem -- 5.12 Complementation and Decidability -- 6 Applications of Rabin Automata -- 6.1 Structures and Types -- 6.2
The Monadic Second Order Language -- 6.3 Satisfiability and Theories -- 6.4 Isomorphisms -- 6.5 Definability in T and Decidability of S2S -- 6.6 The Structure with ? Successors -- 6.7 Applications to Linearly Ordered Sets -- 6.8
Application to Unary Algebras -- 6.9 Applications to Cantor’s Discontinuum -- 6.10 Application to Boolean Algebras
ISBN:9781461201717
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic : 21
Keywords: Mathematics , Software engineering , Computers , Mathematical logic , Artificial intelligence , Mathematics , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Theory of Computation , Computation by Abstract Devices , Mathematical Logic and Formal Languages
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9780306480812:ONLINE Show nearby items on shelf
Title:Intelligent Control Systems An Introduction with Examples
Author(s): Katalin M Hangos
Date:2001
Size:1 online resource (306 p.)
Note:10.1007/b101833
Contents:Getting Started -- Knowledge Representation -- Reasoning and Search in Rule-Based Expert Systems -- Verification and Validation of Rule-Based Knowledge Bases -- Tools for Knowledge Representation and Reasoning -- Real-Time Expert
Systems -- Qualitative Reasoning -- Petri Nets -- Fuzzy Control Systems -- G2: An Example of A Real-Time Expert System
ISBN:9780306480812
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 60
Keywords: Computer science , Special purpose computers , Software engineering , Artificial intelligence , System theory , Control engineering , Computer Science , Artificial Intelligence (incl. Robotics) , Control , Systems Theory, Control , Software Engineering/Programming and Operating Systems , Special Purpose and Application-Based Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9789401596084:ONLINE Show nearby items on shelf
Title:Communication-Based Systems Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000
Author(s):
Date:2000
Size:1 online resource (196 p.)
Note:10.1007/978-94-015-9608-4
Contents:Performance Evaluation of Communication Based Systems -- GSPN Models of Dual-Band GSM Networks -- Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets -- Safe System-Level Diagnosis for Selected Fault
Models -- Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective -- Foundations and Applications of Communication Based Systems -- Run Time Modification of Algebraic High Level Nets and Algebraic
Higher Order Nets using Folding and Unfolding Construction -- Compositional Specification of Distributed Systems by Distributed Graph Transformation -- Specifying, Analyzing and Programming Communication Systems in Maude -- Towards
Dynamic Shaping -- A Personal, Historical Perspective of Parallel Programming for High Performance -- Distributed Environments for Communication Based Systems -- Automatic Distribution in Pangaea -- Multiphase Consensus Finding in
Collaborative Problem Solving -- Efficient and Secure Information Sharing in Distributed, Collaborative Environments -- A Constraint Programming Framework for AI Planning -- Atomic Broadcast in a Byzantine Model
ISBN:9789401596084
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Microprocessors , Software engineering , Programming languages (Electronic computers) , Category theory (Mathematics) , Homological algebra , System theory , Mathematics , Category Theory, Homological Algebra , Systems Theory, Control , Processor Architectures , Programming Languages, Compilers, Interpreters , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9783642573132:ONLINE Show nearby items on shelf
Title:Simulation and Visualization on the Grid Parallelldatorcentrum Kungl Tekniska Högskolan Seventh Annual Conference Stockholm, Sweden December 1999 Proceedings
Author(s):
Date:2000
Size:1 online resource (33 p.)
Note:10.1007/978-3-642-57313-2
Contents:Underlined names denote speakers. Bold names denote invited speakers. -- Grid Technologies -- Efficient Distributed File I/O for Visualization in Grid Environments -- Performance Enhancements for HPVM in Multi-Network and
Heterogeneous Hardware -- JACO3: A CORBA Software Infrastructure for Distributed Numerical Simulation -- New Generalized Data Structures for Matrices Lead to a Variety of High-Performance Algorithms -- Technologies for High-Performance
Computing in the Next Millennium -- Grid Visualization and Virtual Reality -- Global Tele-Immersion: Working in Cyberspace -- ActiveSpaces on the Grid: The Construction of Advanced Visualization and Interaction Environments -- The
Global Technology Grid: Its Role in Virtual Reality -- Steering and Visualization of Electromagnetic Simulations Using Globus -- Immersive Displays for the Individual, the Group, and for Networked Collaboration -- Distributed
Visualization and the Grid -- Acceleration of a Formfactor Calculation through the Use of the 2D Tree -- Applications of Volume Rendering in the CAVE -- Scalable Visualization of Galaxies, Oceans, and Brains -- SIM-VR: Interactive
Crash Simulation -- Biology and Chemistry -- Visualization on the Grid of Virus-Host Interaction -- GISMOS: Graphics and Interactive Steering of MOlecular Simulations -- Monte Carlo Simulation of Solutions of Like-Charged Colloidal
Particles -- Physics -- Towards Large Eddy Simulation of Complex Flows -- Computation of Dendrites on Parallel Distributed Memory Architectures -- Astrophysical MHD Simulation and Visualization -- On Grid Partitioning for a
High-Performance Groundwater Simulation Software -- Visualization of Multi-Scale Data Sets in a Self-Organized Criticality Sandpile Model -- Simulation and Visualization of Climate Scenarios on a Distributed Memory Platform -- Panel
Discussion -- The Grid: What's Really Going On? -- Presenters -- Color Plates
ISBN:9783642573132
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 13
Keywords: Physics , Software engineering , Computer simulation , Mathematics , Visualization , Physics , Mathematical Methods in Physics , Simulation and Modeling , Software Engineering/Programming and Operating Systems , Numerical and Computational Physics , Visualization , Information Systems Applications (incl. Internet)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9783642571725:ONLINE Show nearby items on shelf
Title:Advances in Software Tools for Scientific Computing
Author(s):
Date:2000
Size:1 online resource (362 p.)
Note:10.1007/978-3-642-57172-5
Contents:A Modern Framework for Portable High-Performance Numerical Linear Algebra -- Blitz++: The Library that Thinks it is a Compiler -- The Design of Sparse Direct Solvers using Object-Oriented Techniques -- A Sparse Grid PDE Solver
Discretization, Adaptivity, Software Design and Parallelization -- Java as an Environment for Scientific Computing -- ODE Software that Computes Guaranteed Bounds on the Solution -- The Evolution and Testing of a Medium Sized Numerical
Package -- An Object-Oriented Approach to the Finite Element Modeling and Design of Material Processes -- Object-Oriented Field Recovery and Error Estimation in Finite Ele- ment Methods -- Designing an ODE Solving Environment --
Generalized Maps in Geological Modeling: Object-Oriented Design of Topological Kernels -- Author Index
ISBN:9783642571725
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 10
Keywords: Computer science , Software engineering , Computers , Algorithms , Numerical analysis , Computer Science , Theory of Computation , Software Engineering/Programming and Operating Systems , Numerical Analysis , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9783642571299:ONLINE Show nearby items on shelf
Title:Programming for Mathematicians
Author(s): Raymond Séroul
Date:2000
Size:1 online resource (432 p.)
Note:10.1007/978-3-642-57129-9
Contents:1. Programming Proverbs -- 1.1. Above all, no tricks! -- 1.2. Do not chewing gum while climbing stairs -- 1.3. Name that which you still don’t know -- 1.4. Tomorrow, things will be better the day after, better still -- 1.5. Never
execute an order before it is given -- 1.6. Document today to avoid tears tomorrow -- 1.7. Descartes’ Discourse on the Method -- 2. Review of Arithmetic -- 2.1. Euclidean Division -- 2.2. Numeration Systems -- 2.3. Prime Numbers --
2.3.1. The number of primes smaller than a given real number -- 2.4. The Greatest Common Divisor -- 2.5. Congruences -- 2.6. The Chinese Remainder Theorem -- 2.7. The Euler phi Function -- 2.8. The Theorems of Fermat and Euler -- 2.9.
Wilson’s Theorem -- 2.10. Quadratic Residues -- 2.11. Prime Number and Sum of Two Squares -- 2.12. The Moebius Function -- 2.13. The Fibonacci Numbers -- 2.14. Reasoning by Induction -- 2.15. Solutions of the Exercises -- 3. An
Algorithmic Description Language -- 3.1. Identifiers -- 3.2. Arithmetic Expressions -- 3.3. Boolean Expressions -- 3.4. Statements and their Syntax -- 3.5. The Semantics of Statements -- 3.6. Which Loop to Choose? -- 4. How to Create
an Algorithm -- 4.1. The Trace of an Algorithm -- 4.2. First Method: Recycling Known Code -- 4.3. Second Method: Using Sequences -- 4.4. Third Method: Defered Writing -- 4.5. How to Prove an Algorithm -- 4.6. Solutions of the Exercises
-- 5. Algorithms and Classical Constructions -- 5.1. Exchanging the Contents of Two Variables -- 5.2. Diverse Sums -- 5.3. Searching for a Maximum -- 5.4. Solving a Triangular Cramer System -- 5.5. Rapid Calculation of Powers -- 5.6.
Calculation of the Fibonacci Numbers -- 5.7. The Notion of a Stack -- 5.8. Linear Traversal of a Finite Set -- 5.9. The Lexicographic Order -- 5.10. Solutions to the Exercises -- 6. The Pascal Language -- 6.1. Storage of the Usual
Objects -- 6.2. Integer Arithmetic in Pascal -- 6.3. Arrays in Pascal -- 6.4. Declaration of an Array -- 6.5. Product Sets and Types -- 6.6. The Role of Constants -- 6.7. Litter -- 6.8. Procedures -- 6.9. Visibility of the Variables in
a Procedure -- 6.10. Context Effects -- 6.11. Procedures: What the Program Seems To Do -- 6.12. Solutions of the Exercises -- 7. How to Write a Program -- 7.1. Inverse of an Order 4 Matrix -- 7.2. Characteristic Polynomial of a Matrix
-- 7.3. How to Write a Program -- 7.4. A Poorly Written Procedure -- 8. The Integers -- 8.1. The Euclidean Algorithm -- 8.2. The Blankinship Algorithm -- 8.3. Perfect Numbers -- 8.4. The Lowest Divisor Function -- 8.5. The Moebius
Function -- 8.6. The Sieve of Eratosthenes -- 8.7. The Function pi(x) -- 8.8. Egyptian Fractions -- 8.9. Operations on Large Integers -- 8.10. Division in Base b -- 8.11. Sums of Fibonacci Numbers -- 8.12. Odd Primes as a Sum of Two
Squares -- 8.13. Sums of Four Squares -- 8.14. Highly Composite Numbers -- 8.15. Permutations: Johnson’s’ Algorithm -- 8.16. The Count is Good -- 9. The Complex Numbers -- 9.1. The Gaussian Integers -- 9.2. Bases of Numeration in the
Gaussian Integers -- 9.3. Machin Formulas -- 10. Polynomials -- 10.1. Definitions -- 10.2. Degree of a Polynomial -- 10.3. How to Store a Polynomial -- 10.4. The Conventions we Adopt -- 10.5. Euclidean Division -- 10.6. Evaluation of
Polynomials: Horner’s Method -- 10.7. Translation and Composition -- 10.8. Cyclotomic Polynomials -- 10.9. Lagrange Interpolation -- 10.10. Basis Change -- 10.11. Differentiation and Discrete Taylor Formulas -- 10.12. Newton-Girard
Formulas -- 10.13. Stable Polynomials -- 10.14. Factoring a Polynomial with Integral Coefficients -- 11. Matrices -- 11.1. Z-Linear Algebra -- 11.2. Linear Systems with Integral Coefficients -- 11.3. Exponential of a Matrix: Putzer’s
Algorithm -- 11.4. Jordan Reduction -- 12. Recursion -- 12.1. Presentation -- 12.2. The Ackermann function -- 12.3. The Towers of Hanoi -- 12.4. Baguenaudier -- 12.5. The Hofstadter Function -- 12.6. How to Write a Recursive Code --
13. Elements of compiler theory -- 13.1. Pseudocode -- 13.2. A Pseudocode Interpreter -- 13.3. How to Analyze an Arithmetic Expression -- 13.4. How to Evaluate an Arithmetic Expression -- 13.5. How to Compile an Arithmetic Expression
-- References
ISBN:9783642571299
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Software engineering , Computer programming , Applied mathematics , Engineering mathematics , Computer mathematics , Mathematics , Applications of Mathematics , Software Engineering/Programming and Operating Systems , Computational Mathematics and Numerical Analysis , Programming Techniques
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9781475749496:ONLINE Show nearby items on shelf
Title:Deterministic Global Optimization Theory, Methods and Applications
Author(s): Christodoulos A Floudas
Date:2000
Size:1 online resource (742 p.)
Note:10.1007/978-1-4757-4949-6
Contents:1. Introduction -- 2. Basic Concepts of Global Optimization -- I Biconvex and Bilinear Problems -- 3. The GOP Primal — Relaxed Dual Decomposition Approach: Theory -- 4. The GOP Approach: Implementation and Computational Studies -- 5.
The GOP Approach in Bilevel Linear and Quadratic Problems -- 6. The GOP Approach in Phase and Chemical Equilibrium Problems -- 7. The GOP Approach: Distributed Implementation -- II Signomial Problems -- 8. Generalized Geometric
Programming: Theory -- 9. Generalized Geometric Programming: Computational Studies -- III Towards General Twice Differentiable NLPs -- 10. From Biconvex to General Twice Differentiable NLPs -- 11. The ?BB for Box Constrained
Twice-Differentiable NLPs: Theory -- 12. The ?BB for Constrained Twice -Differentiable NLPs: Theory -- 13. Computational Studies of the ?BB Approach -- 14. Global Optimization in Microclusters -- 15. The ?BB Approach in Molecular
Structure Prediction -- 16. The ?BB Approach in Protein Folding -- 17. The ?BB Approach in Peptide Docking -- 18. The ?BB Approach in Batch Design under Uncertainty -- 19. The ?BB Approach in Parameter Estimation -- IV Nonlinear and
Mixed-Integer Optimization -- 20. Introduction to Nonlinear and Mixed-Integer Optimization -- 21. The SMIN-?BB Approach: Theory and Computations -- 22. The GMIN-?BB Approach: Theory and Computations -- V Nonlinear Constrained Systems
of Equations -- 23. All Solutions of Nonlinear Constrained Systems of Equations -- 24. Locating All Homogeneous Azeotropes -- References
ISBN:9781475749496
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 37
Keywords: Mathematics , Chemical engineering , Software engineering , Mathematical optimization , Probabilities , Mechanics , Automotive engineering , Mathematics , Optimization , Software Engineering/Programming and Operating Systems , Probability Theory and Stochastic Processes , Automotive Engineering , Mechanics , Industrial Chemistry/Chemical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9781475732184:ONLINE Show nearby items on shelf
Title:Optimization in Computational Chemistry and Molecular Biology Local and Global Approaches
Author(s):
Date:2000
Size:1 online resource (342 p.)
Note:10.1007/978-1-4757-3218-4
Contents:Predicting Protein Tertiary Structure using a Global Optimization Algorithm with Smoothing -- Methodology for Elucidating the Folding Dynamics of Peptides: Met-enkephalin Case Study -- Energy Landscape Projections of Molecular
Potential Functions -- Global Optimization and Sampling in the Context of Tertiary Structure Prediction: A Comparison of Two Algorithms -- Protein Folding Simulations by Monte Carlo Simulated Annealing and Multicanonical Algorithm --
Thermodynamics of Protein Folding — The Generalized-Ensemble Approach -- An approach to detect the dominant folds of proteinlike heteropolymers from the statistics of a homopolymeric chain -- Gene Sequences are Locally Optimized for
Global mRNA Folding -- Structure Calculations of Symmetric Dimers using Molecular Dynamics/Simulated Annealing and NMR Restraints: The Case of the RII? Subunit of Protein Kinase A -- Structure Prediction of Binding Sites of MHC Class
II Molecules based on the Crystal of HLA-DRB1 and Global Optimization -- A Coupled Scanning and Optimization Scheme for Analyzing Molecular Interactions -- Improved Evolutionary Hybrids for Flexible Ligand Docking in AutoDock --
Electrostatic Optimization in Ligand Complementarity and Design -- Exploring potential solvation sites of proteins by multistart local minimization -- On relative position of two biopolymer molecules minimizing the weighted sum of
interatomic distances squared -- Visualization of Chemical Databases Using the Singular Value Decomposition and Truncated-Newton Minimization -- Optimization of Carbon and Silicon Cluster Geometry for Tersoff Potential using
Differential Evolution -- D.C. Programming Approach for Large-Scale Molecular Optimization via the General Distance Geometry Problem
ISBN:9781475732184
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 40
Keywords: Computer science , Software engineering , Mathematics , Applied mathematics , Engineering mathematics , Algorithms , Mathematical models , Mathematical optimization , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Algorithms , Mathematical Modeling and Industrial Mathematics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9781461546771:ONLINE Show nearby items on shelf
Title:Global Optimization with Non-Convex Constraints Sequential and Parallel Algorithms
Author(s): Roman G Strongin
Date:2000
Size:1 online resource (704 p.)
Note:10.1007/978-1-4615-4677-1
ISBN:9781461546771
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 45
Keywords: Mathematics , Software engineering , Computers , Computer mathematics , Algorithms , Mathematical optimization , Engineering , Mathematics , Optimization , Software Engineering/Programming and Operating Systems , Computational Mathematics and Numerical Analysis , Theory of Computation , Algorithms , Engineering, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9781461544173:ONLINE Show nearby items on shelf
Title:Field-Programmable Custom Computing Technology: Architectures, Tools, and Applications
Author(s):
Date:2000
Size:1 online resource (136 p.)
Note:10.1007/978-1-4615-4417-3
Contents:Guest Editors’ Introduction -- Pipeline Reconfigurable FPGAs -- Design and Implementation of the MorphoSys Reconfigurable Computing Processor -- Co-Synthesis to a Hybrid RISC/FPGA Architecture -- Design-Space Exploration for
Block-Processing Based Temporal Partitioning of Runtime Reconfigurable Systems -- Application of Reconfigurable CORDIC Architectures -- A Configurable Logic Based Architecture for Real-Time Continuous Speech Recognition Using Hidden
Markov Models -- The CAM-Brain Machine (CBM): Real Time Evolution and Update of a 75 Million Neuron FPGA-Based Artificial Brain
ISBN:9781461544173
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Microprocessors , Software engineering , Acoustics , Electrical engineering , Physics , Acoustics , Software Engineering/Programming and Operating Systems , Signal, Image and Speech Processing , Processor Architectures , Electrical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401142670:ONLINE Show nearby items on shelf
Title:Software Prototyping in Data and Knowledge Engineering
Author(s): Giovanni Guida
Date:1999
Size:1 online resource (408 p.)
Note:10.1007/978-94-011-4267-0
Contents:1 The Prototyping Approach to Software Development -- 1.1 Linear Software Development -- 1.2 Software Prototyping -- 1.3 Iterative Software Development -- 1.4 The Evolutionary Perspective of Software Development -- 1.5 User-Centered
Software Design and Development -- 1.6 Software Prototyping Approaches -- 1.7 Classification of Software Prototypes -- 1.8 Software Prototyping and Prototypes. -- 1.9 Goals of Software Prototyping. -- 1.10 Prototyping and Software
Evaluation. -- 1.11 Involvement and Role of Users in Software Prototyping -- 1.12 Misconceptions about Software Prototyping -- 1.13 Rules of Software Prototyping -- 1.14 Requirements for Software Prototyping Environments -- 1.15
Object-Oriented Programming and Prototyping -- 1.16 Object-Oriented CASE Tools for Prototyping -- 2 Overview of Database Technology -- 2.1 Extended Relational Databases -- 2.2 Deductive Databases -- 2.3 Object Databases -- 2.4 Active
Databases -- 2.5 Temporal Databases -- 2.6 Spatial Databases -- 2.7 Multimedia Databases. -- 2.8 Data Warehousing. -- 2.9 Data Mining -- 3 Overview of Knowledge-Based Technology -- 3.1 Knowledge-Based Systems. -- 3.2 The Challenge of
Knowledge-Based Systems. -- 3.3 Knowledge-Based Technology: Techniques, Tools and Methodologies -- 3.4 KBS Techniques -- 3.5 KBS Tools -- 3.6 KBS Methodologies -- 3.7 Beyond Knowledge-Based Technology: A knowledge Management
Perspective -- 4 Data and Knowledge Intensive Systems -- 4.1 Computer Problem-Solving -- 5 The Prototyping Hierarchy -- 5.1 Approach and Architecture -- 5.1.1 Star Architecture -- 5.2 Reference Application. -- 6 The Relational Layer --
6.1 Relational Paradigm -- 6.2 Relational Prototyping Language -- 6.3 Prototyping by Relational Techniques -- 6.4 Prototyping the Relational Layer -- 7 The Extended Relational Layer -- 7.1 Extended Relational Paradigm -- 7.2 Extended
Relational Prototyping Language. -- 7.3 Prototyping by Extended Relational Techniques -- 7.4 Prototyping the Extended Relational Layer -- 8 The Deductive Layer -- 8.1 Deductive Paradigm -- 8.2 Deductive Prototyping Language -- 8.3
Prototyping by Deductive Techniques -- 8.4 Prototyping the Deductive Layer -- 9 The Object Layer -- 9.1 Object Paradigm -- 9.2 Object Prototyping Language. -- 9.3 Prototyping by Object Techniques -- 9.4 Prototyping the Object Layer. --
10 The Active Layer -- 10.1 Active Paradigm -- 10.2 Active Prototyping Language -- 10.3 Prototyping by Active Techniques -- 10.4 Prototyping the Active Layer -- 11 Prototyping Techniques Integration -- 11.1 Integrated Paradigm -- 11.2
Integrated Prototyping Language -- 12 Mapping Prototypes to Relational Databases -- 12.1 Transforming Passive Rules into Active Rules -- 12.2 Mapping Schemas. -- 12.3 Mapping Declarative Expressions -- 12.4 Mapping Procedural Code --
12.5 Mapping Nonrecursive Passive Rules -- 12.6 Mapping Active Rules -- References
ISBN:9789401142670
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 497
Keywords: Computer science , Software engineering , Programming languages (Electronic computers) , Data structures (Computer science) , Artificial intelligence , Computer Science , Data Structures, Cryptology and Information Theory , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9783642585159:ONLINE Show nearby items on shelf
Title:MultiBody System SIMulation Numerical Methods, Algorithms, and Software
Author(s): Reinhold von Schwerin
Date:1999
Size:1 online resource (342 p.)
Note:10.1007/978-3-642-58515-9
Contents:0 Introduction -- 1 Multibody Systems in Technical Mechanics -- 2 Software Engineering in Scientific Computing -- 3 Mathematical Methods for MBS in Descriptor Form -- 4 Applications -- 5 Summary: The MBSSIM Scientific Software Project
-- A Odds and Ends -- A.1 Coefficients for Adaptive Adams methods -- A.2 Proof of the Local Convergence Theorems -- B WWW Pointers -- B.1 MBSSIM User’s Guide -- B.2 Visualization of Results -- B.3 Vehicle System Dynamics -- List of
Figures -- List of Tables
ISBN:9783642585159
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 7
Keywords: Computer science , Software engineering , Computer simulation , Numerical analysis , Mathematical models , Computational intelligence , Computer Science , Simulation and Modeling , Mathematical Modeling and Industrial Mathematics , Software Engineering/Programming and Operating Systems , Numerical Analysis , Computational Intelligence , Software Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9781461205654:ONLINE Show nearby items on shelf
Title:Statistical Methods in Software Engineering Reliability and Risk
Author(s): Nozer D Singpurwalla
Date:1999
Size:1 online resource (297 p.)
Note:10.1007/978-1-4612-0565-4
Contents:1 Introduction and Overview -- 1.1 What is Software Engineering? -- 1.2 Uncertainty in Software Production -- 1.3 The Quantification of Uncertainty -- 1.4 The Role of Statistical Methods in Software Engineering -- 1.5 Chapter Summary
-- 2 Foundational Issues: Probability and Reliability -- 2.0 Preamble -- 2.1 The Calculus of Probability -- 2.2 Probability Models and Their Parameters -- 2.3 Point Processes and Counting Process Models -- 2.4 Fundamentals of
Reliability -- 2.5 Chapter Summary -- Exercises for Chapter 2 -- 3 Models for Measuring Software Reliability -- 3.1 Background: The Failure of Software -- 3.2 Models Based on the Concatenated Failure Rate Function -- 3.3 Models Based
on Failure Counts -- 3.4 Models Based on Times Between Failures -- 3.5 Unification of Software Reliability Models -- 3.6 An Adaptive Concatenated Failure Rate Model -- 3.7 Chapter Summary -- Exercises for Chapter 3 -- 4 Statistical
Analysis of Software Failure Data -- 4.1 Background: The Role of Failure Data -- 4.2 Bayesian Inference, Predictive Distributions, and Maximization of Likelihood -- 4.3 Specification of Prior Distributions -- 4.4 Inference and
Prediction Using a Hierarchical Model -- 4.5 Inference and Predictions Using Dynamic Models -- 4.6 Prequential Prediction, Bayes Factors, and Model Comparison -- 4.7 Inference for the Concatenated Failure Rate Model -- 4.8 Chapter
Summary -- Exercises for Chapter 4 -- 5 Software Productivity and Process Management -- 5.1 Background: Producing Quality Software -- 5.2 A Growth-Curve Model for Estimating Software Productivity -- 5.3 The Capability Maturity Model
for Process Management -- 5.4 Chapter Summary -- Exercises for Chapter 5 -- 6 The Optimal Testing and Release of Software -- 6.1 Background: Decision Making and the Calculus of Probability -- 6.2 Decision Making Under Uncertainty --
6.3 Utility and Choosing the Optimal Decision -- 6.4 Decision Trees -- 6.5 Software Testing Plans -- 6.6 Examples of Optimal Testing Plans -- 6.7 Application: Testing the NTDS Data -- 6.8 Chapter Summary -- Exercises for Chapter 6 -- 7
Other Developments: Open Problems -- 7.0 Preamble -- 7.1 Dynamic Modeling and the Operational Profile -- 7.2 Statistical Aspects of Software Testing: Experimental Designs -- 7.3 The Integration of Module and System Performance --
Appendices -- Appendix A Statistical Computations Using the Gibbs Sampler -- A.1 An Overview of the Gibbs Sampler -- A.2 Generating Random Variates The Rejection Method -- A.3 Examples: Using the Gibbs Sampler -- A.3.1 Gibbs Sampling
the Jelinski-Moranda Model -- A.3.2 Gibbs Sampling the Hierarchical Model -- A.3.3 Gibbs Sampling the Adaptive Kalman Filter Model -- A.3.4 Gibbs Sampling the Non-Gaussian Kalman Filter Model -- Appendix B The Maturity Questionnaire
and Responses -- B. 1 The Maturity Questionnaire -- B.2 Binary (Yes, No) Responses to the Maturity Questionnaire -- B.3 Prior Probabilities and Likelihoods -- References -- Author Index
ISBN:9781461205654
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Software engineering , Statistics , Computer Science , Software Engineering/Programming and Operating Systems , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Software Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9789401704373:ONLINE Show nearby items on shelf
Title:Automated Deduction — A Basis for Applications Volume III Applications
Author(s):
Date:1998
Size:1 online resource (335 p.)
Note:10.1007/978-94-017-0437-3
Contents:1 Lattice-ordered Groups in Deduction -- 2 Superposition Theorem Proving for Commutative Rings -- 3 How to Augment a Formal System with a Boolean Algebra Component -- 4 Proof Planning: A Practical Approach to Mechanized Reasoning in
Mathematics -- 5 Program Synthesis -- 6 Termination Analysis for Functional Programs -- 7 The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV -- 8 Using Automated Theorem Provers in Verification of Protocols -- 9
Theorem Proving in Large Theories -- 10 Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints -- 11 Deduction-Based Software Component Retrieval -- 12 Rewrite Based Hardware Verification with
ReDuX
ISBN:9789401704373
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 10
Keywords: Computer science , Logic , Software engineering , Computer science , Artificial intelligence , Mathematical logic , Computer Science , Artificial Intelligence (incl. Robotics) , Logic , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9789401704359:ONLINE Show nearby items on shelf
Title:Automated Deduction — A Basis for Applications Volume II: Systems and Implementation Techniques
Author(s):
Date:1998
Size:1 online resource (434 p.)
Note:10.1007/978-94-017-0435-9
Contents:One Interactive Theorem Proving -- 1. Structured Specifications and Interactive Proofs with KIV -- 2. Proof Theory at Work: Program Development in the Minlog System -- 3. Interactive and automated proof construction in type theory --
4. Integrating Automated and Interactive Theorem Proving -- Two Representation and Optimization Techniques -- 5. Term Indexing -- 6. Developing Deduction Systems: The Toolbox Style -- 7. Specifications of Inference Rules: Extensions of
the PTTP Technique -- 8. Proof Analysis, Generalization and Reuse -- Three Parallel Inference Systems -- 9. Parallel Term Rewriting with PaReDuX -- 10. Parallel Theorem Provers Based on SETHEO -- 11. Massively Parallel Reasoning --
Four Comparision and Cooperation of Theorem Provers -- 12. Extension Methods in Automated Deduction -- 13. A Comparison of Equality Reasoning Heuristics -- 14. Cooperating Theorem Provers
ISBN:9789401704359
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 9
Keywords: Philosophy , Logic , Software engineering , Computer science , Artificial intelligence , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9783642804786:ONLINE Show nearby items on shelf
Title:Frontiers in Materials Modelling and Design Proceedings of the Conference on Frontiers in Materials Modelling and Design, Kalpakkam, 20–23 August 1996
Author(s):
Date:1998
Size:1 online resource (446 p.)
Note:10.1007/978-3-642-80478-6
Contents:I Introduction -- Materials Modelling and Design: An Introduction -- II Methodologies -- Computational Modelling of Atomic-Scale Defect Phenomena in Compound Semiconductors -- The Generalized-Gradient Approximation to Density
Functional Theory and Bonding -- Electronic Structure Calculations and Molecular Dynamics Using the Real-Space Method and Optimized Ultra-soft Pseudopotential -- Quantum Simulations Using Linear Scaling Methods: Clusters on Surfaces --
Electronic Structure of Disordered Alloys -- Computer Simulation of Structure and Dynamics in Complex Materials -- III Alloys -- First-Principles Thermodynamics of Alloys -- Electronic Structure of Binary Systems -- First-Principles
Phase Stability Study of Metallic Alloys -- First-Principles Approach to Ordering and Clustering Behavior in Metallic Alloys: Application to Al-Li and Ni-Mo Systems -- Thermochemical Modeling of Ternary Alloys from Binary Systems --
Superconductivity in Zr2Rh and its Hydrides: Theory and Experiment -- IV Correlated Electron Systems -- Ab-initio Approach to Electronic Excitation Spectra in Perovskite LaMO3 Oxides -- Theory for the Interdependence of High-Tc
Superconductivity and Dynamic Spin Fluctuations -- Electrical Resistivity and Positron Lifetime Studies in the Kondo Insulating System, FeSi1-xGex -- V Clusters and Nanomaterials -- Electronic Structure of Magic Metal Clusters and
Cluster Assemblies -- Stability of Molecules and Clusters Studied Through First-Principles Total Energy Calculations -- Adsorption on Clusters -- Ab-initio Molecular Dynamics Study of Impurity in Metal Clusters: NanAl (n = 1–10) --
Lyapunov Exponent at the Melting Transition in Small Ni Clusters -- Monte Carlo Studies of Argon Clusters Confined in Zeolites -- Structure-Property Relation in Oxide Nanoparticles -- Nanoparticles of II-VI Semiconductors -- Cu Doped
ZnO Quantum Dots: Intrinsic and Extrinsic Luminescence -- Carrier Dynamics in Porous and Nanocrystalline Silicon -- Anodisation Time Dependence of Photoluminiscence Properties of Porous Silicon -- Formation of Nanocrystalline
Fe-Cu-Nb-Si-B Alloys -- Magnetic Properties of Ultra-fine ?’ — Fe4N -- VI Surfaces and Interfaces -- First-Principles Calculation of Surface Step Energies and Interactions -- Deposition of Ga and As Adatoms on the Ge(111) and Si(111)
Surfaces: A First-Principles Study -- Steering and Isotope Effects in the Dissociative Adsorbtion of H2/Pd(100) -- Growth and Magnetism of Rough Transition Metal Overlayers -- Quantum Adsorbates: Helium in Zeolites -- Effect of
High-Energy Heavy-Ion Irradiation on Fe/Tb Multilayers -- VII Phase Transitions -- Isostructural Solid-Solid Transition in Crystalline Systems with Short Ranged Interaction -- Quantum Effects and Phase Transitions in Adsorbed Molecular
Layers -- Anchoring Transitions of Nematic Liquid Crystals Induced by Solid Substrate -- Monte Carlo Simulation of the Kinetics of Martensitic-type Restacking Transitions: Dynamic Scaling and Universal Growth Exponents -- Structural
Transitions of a Soft Solid: The Skyrmion Lattice -- Electronic Topological Transitions in Elemental Metals and Compounds -- Role of High Pressure in Designing Novel Phases -- Pressure-Induced Polymerisation of Fullerenes -- VIII
Microstructure and Deformation -- Microstructural Evolution During Precipitation in Stressed Solids -- Modelling of Process for Controlled Microstructure of Material -- Multiscaling in Normal Grain Growth: A Monte Carlo Study --
Non-destructive Evaluation of Defects: A Model-Based Approach -- Deformation of Nanostructured Materials -- Mechanics of Powder Compaction -- Finite Element Modelling of the Creep Behaviour of Weldments -- List of Authors
ISBN:9783642804786
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Software engineering , Nanotechnology , Materials , Thin films , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Software Engineering/Programming and Operating Systems , Surfaces and Interfaces, Thin Films , Nanotechnology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9783642719493:ONLINE Show nearby items on shelf
Title:Nonlinear Analysis of Physiological Data
Author(s):
Date:1998
Size:1 online resource (344 p.)
Note:10.1007/978-3-642-71949-3
Contents:I Directions in Nonlinear Data Analysis -- Processing of Physiological Data -- Problems in the Reconstruction of High-dimensional Deterministic Dynamics from Time Series -- Chaotic Measures and Real-World Systems: Does the Lyapunov
Exponent Always Measure Chaos -- Ranking and Entropy Estimation in Nonlinear Time Series Analysis -- Analysing Synchronization Phenomena from Bivariate Data by Means of the Hilbert Transform -- Analyzing Spatio-Temporal Patterns of
Complex Systems -- II Cardio-Respiratory System -- Are R-R-Interval Data Appropriate to Study the Dynamics of the Heart -- New Nonlinear Algorithms for Analysis of Heart Rate Variability: Low-Dimensional Chaos Predicts Lethal
Arrhythmias -- Nonlinear Analysis of the Cardiorespiratory Coordination in a Newborn Piglet -- Cardiorespiratory Synchronization -- III EEG Analysis -- EEG Signal Analysis by Continuous Wavelet Transform Techniques -- Relativity of
Dynamical Measures in Study of the Human Brain: Local Lyapunov Exponent as a Tool for Comparative Studies -- Classification of EEG Signals Prom a Music Perception Experiment Using Empirical Dynamical Models -- IV Perception and Motor
Control -- Nonlinear Analysis of Perceptual-Motor Coupling in the Developement of Postural Control -- Symbolic Dynamics of Bimanual Production of Polyrhythms -- Human Postural Control: Force Plate Experiments and Modelling -- Delay
Induced Patterns of Visually Guided Movements -- V Voice -- Detecting Bifurcations in Voice Signals
ISBN:9783642719493
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Neurosciences , Psychiatry , Software engineering , Biomathematics , Biophysics , Biological physics , Physics , Biophysics and Biological Physics , Software Engineering/Programming and Operating Systems , Neurosciences , Psychiatry , Physiological, Cellular and Medical Topics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9781475728781:ONLINE Show nearby items on shelf
Title:New Trends in Mathematical Programming Homage to Steven Vajda
Author(s):
Date:1998
Size:1 online resource (315 p.)
Note:10.1007/978-1-4757-2878-1
ISBN:9781475728781
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 13
Keywords: Computer science , Software engineering , Computer science , Computer mathematics , Algorithms , Mathematical models , Mathematical optimization , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Mathematical Modeling and Industrial Mathematics , Algorithms , Computational Mathematics and Numerical Analysis , Discrete Mathematics in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9781475728682:ONLINE Show nearby items on shelf
Title:Semi-Infinite Programming
Author(s):
Date:1998
Size:1 online resource (414 p.)
Note:10.1007/978-1-4757-2868-2
Contents:1 A Comprehensive Survey of Linear Semi-Infinite Optimization Theory -- 2 On Stability and Deformation in Semi-Infinite Optimization -- 3 Regularity and Stability in Nonlinear Semi-Infinite Optimization -- 4 First and Second Order
Optimality Conditions and Perturbation Analysis of Semi-Infinite Programming Problems -- 5 Exact Penalty Function Methods for Nonlinear Semi-Infinite Programming -- 6 Feasible Sequential Quadratic Programming for Finely Discretized
Problems from SIP -- 7 Numerical Methods for Semi-Infinite Programming: A Survey -- 8 Connections between Semi-Infinite and Semidefinite Programming -- 9 Reliability Testing and Semi-Infinite Linear Programming -- 10 Semi-Infinite
Programming in Orthogonal Wavelet Filter Design -- 11 The Design of Nonrecursive Digital Filters via Convex Optimization -- 12 Semi-Infinite Programming in Control
ISBN:9781475728682
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 25
Keywords: Computer science , Operations research , Decision making , Software engineering , Mathematical models , Mathematical optimization , Management science , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Operation Research/Decision Theory , Operations Research, Management Science , Mathematical Modeling and Industrial Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9781475726008:ONLINE Show nearby items on shelf
Title:Developments in Global Optimization
Author(s):
Date:1997
Size:1 online resource (348 p.)
Note:10.1007/978-1-4757-2600-8
Contents:NOP — A Compact Input Format for Nonlinear Optimization Problems -- GLOPT — A Program for Constrained Global Optimization -- Global Optimization for Imprecise Problems -- New Results on Gap-Treating Techniques in Extended Interval
Newton Gauss-Seidel Steps for Global Optimization -- Quadratic Programming with Box Constraints -- Evolutionary Approach to the Maximum Clique Problem: Empirical Evidence on a Larger Scale -- Interval and Bounding Hessians -- On Global
Search for Non-Convex Optimal Control Problems -- A Multistart Linkage Algorithm Using First Derivatives -- Convergence Speed of an Integral Method for Computing the Essential Supremum -- Complexity Analysis Integrating Pure Adaptive
Search (PAS) and Pure Random Search (PRS) -- LGO — A Program System for Continuous and Lipschitz Global Optimization -- A Method Using Local Tuning for Minimizing Functions with Lipschitz Derivatives -- Molecular Structure Prediction
by Global Optimization -- Optimal Renewal Policy for Slowly Degrading Systems -- Numerical Prediction of Crystal Structures by Simulated Annealing -- Multidimensional Optimization in Image Reconstruction from Projections -- Greedy
Randomized Adaptive Search for a Location Problem with Economies of Scale -- An Algorithm for Improving the Bounding Procedure in Solving Process Network Synthesis by a B&B Method
ISBN:9781475726008
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 18
Keywords: Computer science , Operations research , Decision making , Software engineering , Applied mathematics , Engineering mathematics , Computer mathematics , Algorithms , Mathematical optimization , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Computational Mathematics and Numerical Analysis , Algorithms , Operation Research/Decision Theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9781461563570:ONLINE Show nearby items on shelf
Title:Smooth Nonlinear Optimization in R n
Author(s): Tamás Rapcsák
Date:1997
Size:1 online resource (376 p.)
Note:10.1007/978-1-4615-6357-0
ISBN:9781461563570
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 19
Keywords: Mathematics , Operations research , Decision making , Software engineering , Convex geometry , Discrete geometry , Differential geometry , Mathematical optimization , Probabilities , Mathematics , Optimization , Software Engineering/Programming and Operating Systems , Probability Theory and Stochastic Processes , Operation Research/Decision Theory , Differential Geometry , Convex and Discrete Geometry
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9789400903494:ONLINE Show nearby items on shelf
Title:Frontiers of Combining Systems First International Workshop, Munich, March 1996
Author(s):
Date:1996
Size:1 online resource (388 p.)
Note:10.1007/978-94-009-0349-4
ISBN:9789400903494
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 3
Keywords: Computer science , Logic , Software engineering , Computer science , Artificial intelligence , Computational linguistics , Computer Science , Artificial Intelligence (incl. Robotics) , Logic , Computational Linguistics , Software Engineering/Programming and Operating Systems , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-1996-9781475753318:ONLINE Show nearby items on shelf
Title:Global Optimization in Engineering Design
Author(s):
Date:1996
Size:1 online resource (388 p.)
Note:10.1007/978-1-4757-5331-8
Contents:1. Branch and Bound for Global NLP: New Bounding LP -- 2. Branch and Bound for Global NLP: Iterative LP Algorithm & Results -- 3. New Formulations and Branching Strategies for the GOP Algorithm -- 4. Computational Results for an
Efficient Implementation of the GOP Algorithm and Its Variants -- 5. Solving Nonconvex Process Optimisation Problems Using Interval Subdivision Algorithms -- 6. Global Optimization of Nonconvex MINLP’s by Interval Analysis -- 7.
Planning of Chemical Process Networks via Global Concave Minimization -- 8. Global Optimization for Stochastic Planning, Scheduling and Design Problems -- 9. Global Optimization of Heat Exchanger Networks with Fixed Configuration for
Multiperiod Design -- 10. Alternative Bounding Approximations for the Global Optimization of Various Engineering Design Problems -- 11. A Pipe Reliability and Cost Model for an Integrated Approach Toward Designing Water Distribution
Systems -- 12. Global Optimisation of General Process Models
ISBN:9781475753318
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 9
Keywords: Computer science , Operations research , Decision making , Chemical engineering , Software engineering , Mathematical optimization , Engineering design , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Industrial Chemistry/Chemical Engineering , Engineering Design , Operation Research/Decision Theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781475724950:ONLINE Show nearby items on shelf
Title:Rigorous Global Search: Continuous Problems
Author(s): R. Baker Kearfott
Date:1996
Size:1 online resource (264 p.)
Note:10.1007/978-1-4757-2495-0
Contents:1 Preliminaries -- 2 Software Environments -- 3 On Preconditioning -- 4 Verified Solution of Nonlinear Systems -- 5 Optimization -- 6 Non-Differentiable Problems -- 7 Use of Intermediate Quantities in THE Expression Values --
References
ISBN:9781475724950
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 13
Keywords: Mathematics , Operations research , Decision making , Software engineering , Numerical analysis , Mathematical optimization , Mathematics , Optimization , Numeric Computing , Operation Research/Decision Theory , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781461541134:ONLINE Show nearby items on shelf
Title:Quasidifferentiability and Nonsmooth Modelling in Mechanics, Engineering and Economics
Author(s): Vladimir F Dem’yanov
Date:1996
Size:1 online resource (349 p.)
Note:10.1007/978-1-4615-4113-4
ISBN:9781461541134
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nonconvex Optimization and Its Applications: 10
Keywords: Computer science , Software engineering , Applied mathematics , Engineering mathematics , Mathematical optimization , Calculus of variations , Computer Science , Software Engineering/Programming and Operating Systems , Optimization , Applications of Mathematics , Appl.Mathematics/Computational Methods of Engineering , Calculus of Variations and Optimal Control Optimization
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1995-9783642975226:ONLINE Show nearby items on shelf
Title:Image Analysis, Random Fields and Dynamic Monte Carlo Methods A Mathematical Introduction
Author(s): Gerhard Winkler
Date:1995
Size:1 online resource (324 p.)
Note:10.1007/978-3-642-97522-6
Contents:I. Bayesian Image Analysis: Introduction -- 1. The Bayesian Paradigm -- 2. Cleaning Dirty Pictures -- 3. Random Fields -- II. The Gibbs Sampler and Simulated Annealing -- 4. Markov Chains: Limit Theorems -- 5. Sampling and Annealing
-- 6. Cooling Schedules -- 7. Sampling and Annealing Revisited -- III. More on Sampling and Annealing -- 8. Metropolis Algorithms -- 9. Alternative Approaches -- 10. Parallel Algorithms -- IV. Texture Analysis -- 11. Partitioning --
12. Texture Models and Classification -- V. Parameter Estimation -- 13. Maximum Likelihood Estimators -- 14. Spacial ML Estimation -- VI. Supplement -- 15. A Glance at Neural Networks -- 16. Mixed Applications -- VII. Appendix -- A.
Simulation of Random Variables -- B. The Perron-Frobenius Theorem -- C. Concave Functions -- D. A Global Convergence Theorem for Descent Algorithms -- References
ISBN:9783642975226
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applications of Mathematics, Stochastic Modelling and Applied Probability: 27
Keywords: Mathematics , Radiology , Software engineering , Computer simulation , Pattern recognition , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Pattern Recognition , Simulation and Modeling , Imaging / Radiology , Software Engineering/Programming and Operating Systems , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1994-9783662117774:ONLINE Show nearby items on shelf
Title:Fractals in Science
Author(s):
Date:1994
Size:1 online resource (33 p.)
Note:10.1007/978-3-662-11777-4
Contents:A Brief Introduction to Fractal Geometry -- Fractals and Self-Organized Criticality -- Fractals in Biology and Medicine: From DNA to the Heartbeat -- Self-Affine Interfaces -- A Primer of Random Walkology -- Polymers -- Kinetics and
Spatial Organization of Competitive Reactions -- Fractal Analysis in Heterogeneous Chemistry -- Computer Exploration of Fractals, Chaos, and Cooperativity
ISBN:9783662117774
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Software engineering , Biophysics , Biological physics , Statistical physics , Dynamical systems , Materials , Thin films , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Surfaces and Interfaces, Thin Films , Statistical Physics, Dynamical Systems and Complexity , Biophysics and Biological Physics , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1994-9783642779534:ONLINE Show nearby items on shelf
Title:Fractals in Science
Author(s):
Date:1994
Size:1 online resource (300 p.)
Note:10.1007/978-3-642-77953-4
ISBN:9783642779534
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Software engineering , Biophysics , Biological physics , Complexity, Computational , Materials , Thin films , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Surfaces and Interfaces, Thin Films , Biophysics and Biological Physics , Software Engineering/Programming and Operating Systems , Complexity
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9789401125147:ONLINE Show nearby items on shelf
Title:Systolic Computations
Author(s): M. A Frumkin
Date:1992
Size:1 online resource (319 p.)
Note:10.1007/978-94-011-2514-7
Contents:Ch. 1. VLSI models -- 1. Short history of the parallel processing -- 2. Physical opportunities and limits of VLSI -- 3. Algorithms for VLSI -- Ch. 2. The complexity of VLSI computations -- 1. VLSI complexity and complexity of
algorithms -- 2. Grid model of VLSI design -- 3. Complexity of parallel computations -- Ch. 3. Systolic algorithms and systolic processors -- 1. Systolic processing -- 2. Mapping systolic algorithms on systolic processors -- 3. Graphs
of systolic processors -- 4. Iterations of systolic processors -- Ch. 4. The systolic programming 225 -- 1. Systolic processors and supercomputers -- 2. Parallel programming languages 245 -- 3. Systolic programming in UNIX environment
-- Appendix 1. Library of systolic algorithms -- Appendix 2. The grammar of the SPL -- References
ISBN:9789401125147
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications (Soviet Series): 83
Keywords: Mathematics , Microprocessors , Software engineering , Computers , Computer science , Algorithms , Mathematical models , Mathematics , Mathematical Modeling and Industrial Mathematics , Software Engineering/Programming and Operating Systems , Mathematics of Computing , Algorithms , Processor Architectures , Theory of Computation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9781447118862:ONLINE Show nearby items on shelf
Title:Finite Element Programs for Structural Vibrations
Author(s): C. T. F Ross
Date:1991
Size:1 online resource (222 p.)
Note:10.1007/978-1-4471-1886-2
Contents:1 The Finite Element Method -- 1.1 The Finite Element Method -- 1.2 Derivation of the Elemental Stiffness Matrix of a Rod -- 1.3 Derivation of the Elemental Mass Matrix for a Rod -- 1.4 System Stiffness and Mass Matrices -- 1.5
Elemental Stiffness and Mass Matrices in Global Coordinates -- 1.6 Elemental [k] and [m] for a Beam -- 2 Problem Solving in Structural Vibrations -- 2.1 Plane Pin-jointed Trusses -- 2.2 Continuous Beams -- 2.3 Pin-jointed Space trusses
-- 3 The Modular Approach in Finite Element Programming -- 3.1 Flow Diagram -- 3.2 The Modular Approach in Programming -- 4 Vibrations of Plane Pin-jointed Trusses -- 4.1 Description of Program -- 4.2 Data -- 4.3 Vibration Problems
Involving Plane Pin-jointed Trusses -- 5 Vibrations of Continuous Beams -- 5.1 Description of Program -- 5.2 Data -- 5.3 Continuous Beams Problems -- 6 Vibrations of Rigid-jointed Plane Frames -- 6.1 Description of Program -- 6.2 Data
-- 6.3 Rigid-jointed Plane Frame Problems -- 7 Vibrations of Space Trusses -- 7.1 Description of Program -- 7.2 Data -- 7.3 Pin-jointed Space Truss Problems -- 8 Vibrations of Rigid-jointed Space Frames -- 8.1 Description of Program --
8.2 Data -- 8.3 Rigid-jointed Space Frame Problems -- 9 Vibration of Grillages -- 9.1 Description of Program -- 9.2 Data -- 9.3 Grillage Problems -- Appendix 1 Computer Program for the Vibration of Plane Pin-jointed Trusses -- Appendix
2 Computer Program for the Vibration of Continuous Beams -- Appendix 3 Computer Program for the Vibration of Rigid-jointed Plane Frames -- Appendix 4 Computer Program for the Vibration of Pin-jointed Space Trusses -- Appendix 5
Computer Program for the Vibration of Rigid-jointed Space Frames -- Appendix 6 Computer Program for the Vibration of Cross-stiffened Grids -- References
ISBN:9781447118862
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Software engineering , Computer simulation , Mechanics , Acoustics , Engineering geology , Engineering , Foundations , Hydraulics , Physics , Mechanics , Acoustics , Theoretical, Mathematical and Computational Physics , Geoengineering, Foundations, Hydraulics , Software Engineering/Programming and Operating Systems , Simulation and Modeling
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1990-9783642748998:ONLINE Show nearby items on shelf
Title:Pattern Analysis and Understanding
Author(s): Heinrich Niemann
Date:1990
Edition:Second Edition
Size:1 online resource (371 p.)
Note:10.1007/978-3-642-74899-8
Contents:1. Introduction -- 2. Preprocessing -- 3. Segmentation -- 4. Classification -- 5. Data -- 6. Control -- 7. Knowledge -- References
ISBN:9783642748998
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 4
Keywords: Physics , Computer hardware , Software engineering , Image processing , Pattern recognition , Acoustics , Optics , Optoelectronics , Plasmons (Physics) , Physics , Optics, Optoelectronics, Plasmonics and Optical Devices , Image Processing and Computer Vision , Pattern Recognition , Acoustics , Computer Hardware , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-1989-9781461396178:ONLINE Show nearby items on shelf
Title:Progress in Mathematical Programming Interior-Point and Related Methods
Author(s):
Date:1989
Size:1 online resource (158 p.)
Note:10.1007/978-1-4613-9617-8
Contents:1 An Algorithm for Solving Linear Programming Problems in O(n3L) Operations -- 2 A Primal-Dual Interior Point Algorithm for Linear Programming -- 3 An Extension of Karmarkar’s Algorithm and the Trust Region Method for Quadratic
Programming -- 4 Approximate Projections in a Projective Method for the Linear Feasibility Problem -- 5 A Locally Weil-Behaved Potential Function and a Simple Newton-Type Method for Finding the Center of a Polytype -- 6 A Note on
Comparing Simplex and Interior Methods for Linear Programming -- 7 Pricing Criteria in Linear Programming -- 8 Pathways to the Optimal Set in Linear Programming
ISBN:9781461396178
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Software engineering , Computer programming , Applied mathematics , Engineering mathematics , Algorithms , Mathematical optimization , Mathematics , Optimization , Software Engineering/Programming and Operating Systems , Applications of Mathematics , Programming Techniques , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1988-9783642830037:ONLINE Show nearby items on shelf
Title:Advanced Boundary Element Methods Proceedings of the IUTAM Symposium, San Antonio, Texas, April 13–16, 1987
Author(s):
Date:1988
Size:1 online resource (489 p.)
Note:10.1007/978-3-642-83003-7
Contents:Stress Intensity Factors for an Embedded Crack Near a Cylindrical Cavity -- Hybrid Formulation for the Green Function in Stratified Media: Application to Wave Scattering Against Lateral Heterogeneities -- Application of Advanced
Boundary Element and Coupled Methods in Geomechanics -- Boundary Element Methods for Two Dimensional Bimaterial Fracture Problems -- Regular B. I. E. for Three-Dimensional Cracks in Elastodynamics -- Coupling Finite Elements and
Boundary Elements in Eddy-Current Computations -- The Solution of Parabolic Problems Using the Dual Reciprocity Boundary Element -- Boundary Element Method for Deterministic and Stochastic Shape Design Sensitivity Analysis -- New
Developments in the Boundary Element Method for Plane and Axisymmetric Elasticity -- Simulation of Rolling Processes by the Boundary Element Method -- Boundary Element Method Applied to 3D Optimum Design -- Boundary Element Method for
Visco-Poroelasticity Applied to Soil Consolidation -- Coupling of Finite Elements and Boundary Elements for Transmission Problems of Elastic Waves in R3 -- Seismic Response of Foundations on Zoned Soils -- The Treatment of
Singularities and the Application of the Overhauser C(1) Continuous Quadrilateral Boundary Element to Three Dimensional Elastostatics -- A Numerical Study for Convergence of a Classic 3D Problem Solved by BEM -- Condition of a Boundary
Integral Equation for the Elasticity Problem, and Round-off Errors in Its Numerical Solution -- Development and Application of Panel Methods -- Free and Forced Vibrations of Polygonal Mindlin-Plates by an Advanced BEM -- Geometrically
Nonlinear Analysis of Elastic Plates by the Boundary Element Method -- BIE Calculations for Harmonic Waves in a Solid with Periodically Distributed Inhomogeneities -- Single Integral Equations for Scattering by a Penetrable Obstacle --
A Polar Coordinate Integration Scheme with a Hierarchical Correction Procedure to Improve Numerical Accuracy -- Design Problem Relating to a Profile or a Cascade of Profiles and Construction of Orthogonal Networks Using the Riemann
Surfaces for the Multiform Singularities -- Cubic Interpolation and Special Elements in Two-Dimensional Potential Problems Using the Boundary Element Method -- On the Symmetricability of Coupling Matrices for BEM-FEM Discretizations of
Solids -- A Boundary Element Algorithm for Nonlinear Transient Elastic Wave Interaction with Frictional Interfaces -- Industrial Application of the BEM Using DBETSY -- BEM for Wave Equation with Boundary in Arbitrary Motion and
Applications to Compressible Potential Aerodynamics of Airplanes and Helicopters -- An Improved Boundary Integral Equation Method for Crack Problems -- Steep Unsteady Water Waves and Boundary Integral Methods -- Boundary Integral
Equation Method for Unsteady Viscous and Inviscid Flows -- An Integral Equation Analysis of Inelastic Shells -- A Consistent Formulation of the BEM within Elastoplasticity -- A Boundary Element Analysis of Natural Convection in Fluids
and Porous Media -- A Geometric Preprocessor for an h-Refinement Technique for the Boundary Element Method -- A Special Boundary-Integral Formulation to Simulate a Manufacturing Process -- The Finite and Boundary Element Methods: One
View of Their Foundations -- Boundary Integral Equation Formulations for Free Surface Flow Problems in Two and Three Dimensionas -- Boundary Integral Equation Method of Higher Computational Accuracy -- A Combined Boundary and Finite
Element Implementation for Axisymmetric Thermoelasticity -- Non-linear Material Interfaces: A Boundary Element approach -- Coupling Boundary Integral and Finite Element Formulations for Nonlinear Halfspace Problems -- Boundary Force
Method Analyses of Notched Plates with Cracks -- Transient Solutions of a Three-Dimensional Convective Diffusion Equation Using Mixed Boundary Elements -- Simulation of Unsteady Free Surfaces Flow Problems by the Direct Boundary
Element Method -- Integral Equation Method for Analysis of Newtonian and Non-Newtonian Flows -- Improving the Solution of the Boundary Element Method by Changing the Conditioning of the Matrix in Algebraic Equations -- The
Boundary-Integral-Equation Method for Computing the Three-Dimensional Flow of Groundwater -- Overhauser Boundary Elements in Potential Theory and Linear Elastostatics -- Hermitian Cubic Boundary Elements for the Analysis of Cracks of
Arbitrary Geometry -- Mathematical Properties and Asymptotic Error Estimates for Elliptic Boundary Element Methods
ISBN:9783642830037
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computer hardware , Software engineering , Mechanics , Applied mathematics , Engineering mathematics , Engineering design , Engineering geology , Engineering , Foundations , Hydraulics , Physics , Mechanics , Appl.Mathematics/Computational Methods of Engineering , Engineering Design , Geoengineering, Foundations, Hydraulics , Computer Hardware , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1987-9783642830563:ONLINE Show nearby items on shelf
Title:Content-Addressable Memories
Author(s): Teuvo Kohonen
Date:1987
Edition:Second Edition
Size:1 online resource (388 p.)
Note:10.1007/978-3-642-83056-3
Contents:1 Associative Memory, Content Addressing, and Associative Recall -- 1.1 Introduction -- 1.2 The Two Basic Implementations of Content Addressing -- 1.3 Associations -- 1.4 Associative Recall: Extensions of Concepts -- 2 Content
Addressing by Software -- 2.1 Hash Coding and Formatted Data Structures -- 2.2 Hashing Functions -- 2.3 Handling of Collisions -- 2.4 Organizational Features and Formats of Hash Tables -- 2.5 Evaluation of Different Schemes in Hash
Coding -- 2.6 Multi-Key Search -- 2.7 Implementation of Proximity Search by Hash Coding -- 2.8 The TRIE Memory -- 2.9 Survey of Literature on Hash Coding and Related Topics -- 3 Logic Principles of Content-Addressable Memories -- 3.1
Present-Day Needs for Hardware CAMs -- 3.2 The Logic of Comparison Operations -- 3.3 The All-Parallel CAM -- 3.4 The Word-Parallel, Bit-Serial CAM -- 3.5 The Word-Serial, Bit-Parallel CAM -- 3.6 Byte-Serial Content-Addressable Search
-- 3.7 Functional Memories -- 3.8 A Formalism for the Description of Micro-Operations in the CAM -- 3.9 Survey of Literature on CAMs -- 4 CAM Hardware -- 4.1 The State-of-the-Art of the Electronic CAM Devices -- 4.2 Circuits for
All-Parallel CAMs -- 4.3 Circuits for Bit-Serial and Word-Serial CAMs -- 4.4 Optical Content-Addressable Memories -- 5 The CAM as a System Part -- 5.1 The CAM in Virtual Memory Systems -- 5.2 Utilization of the CAM in Dynamic Memory
Allocation -- 5.3 Content-Addressable Buffer -- 5.4 Programmable Logic -- 6 Content-Addressable Processors -- 6.1. Some Trends in Content-Addressable Memory Functions -- 6.2 Distributed-Logic Memories (DLMs) -- 6.3 The Augmented
Content-Addressable Memory (ACAM) -- 6.4 The Association-Storing Processor (ASP) -- 6.5 Content-Addressable Processors with High-Level Processing Elements -- 6.6 Bit-Slice Content-Addressable Processors -- 6.7 An Overview of Parallel
Processors -- 7 Review of Research Since 1979 -- 7.1 Research on Hash Coding -- 7.2 CAM Hardware -- 7.3 CAM Applications -- 7.4 Content-Addressable Parallel Processors -- 7.5 Optical Associative Memories -- References
ISBN:9783642830563
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 1
Keywords: Computer science , Software engineering , Artificial intelligence , Electrical engineering , Computer Science , Artificial Intelligence (incl. Robotics) , Communications Engineering, Networks , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-1981-9781461591979:ONLINE Show nearby items on shelf
Title:Intersensory Perception and Sensory Integration
Author(s):
Date:1981
Size:1 online resource (436p p.)
Note:10.1007/978-1-4615-9197-9
Contents:I Intersensory Perception and Sensory Integration in Children -- 1 The Ontogeny of Intermodal Relations: Vision and Touch in Infancy -- 2 The Origins of Auditory-Visual Perception and Visual Proprioception in Human Development -- 3
Integrating the Information from Eyes and Hands: A Developmental Account -- 4 The Developmental Significance of Cross-Modal Matching -- II Higher-Order Integration -- 5 Some Aspects of Sensory-Motor Control and Adaptation in Man -- 6
Visual-Proprioceptive Interactions -- 7 Multisensory Aspects of Rhythm -- 8 Gait Perception as an Example of How We May Perceive Events -- III • Sensory Integration in Special Populations -- 9 Cross-Modal and Intersensory Perception
and the Blind -- 10 Coding Strategies of Normal and Handicapped Children -- 11 Sensory-Motor and Perceptual-Motor Theories and Practices: An Overview and Evaluation -- 12 Individual Differences in the Interaction of Vision and
Proprioception -- Author Index
ISBN:9781461591979
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Software engineering , Computer Science , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:QA76.B743::2012 Show nearby items on shelf
Title:Computer science An overview
Author(s): J.Glenn Brookshear
David Timothy Smith
Dennis Brylow
Date:2012
Edition:11th ed.
Publisher:Boston : Addison-Wesley
Size:609 p.
Contents:Introduction -- Chapter 1. Data storage -- Chapter 2. Data manipulation -- Chapter 3. Operating systems -- Chapter 4. Networking and the Internet -- Chapter 5. Algorithms -- Chapter 6. Programming languages -- Chapter 7. Software engineering -- Chapte r 8. Data abstractions -- Chapter 9. Database systems -- Chapter 10. Computer graphics -- Chapter 11. Artificial intelligence -- Chapter 12. Theory of computation.
ISBN:9780132569033
Keywords: 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
Location: MAIN

Return to the Fermilab Library catalog