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 COMPUTER SYSTEM IMPLEMENTATION *END*INIT* use /tmp/qspiwww.webspi1/18831.49 QRY 131.225.70.96 . find keyword computer system implementation ( in books using www Cover
Image
Call number:9783319446493:ONLINE Show nearby items on shelf
Title:The Lattice Boltzmann Method Principles and Practice
Author(s): Timm Krüger
Date:2017
Size:1 online resource (XXIV, 694 p. 126 illus p.)
Contents:Part I Background: Basics of hydrodynamics and kinetic theory -- Numerical methods for fluids -- Part II Lattice Boltzmann fundamentals: The lattice Boltzmann equation -- Analysis of the lattice Boltzmann equation -- Boundary and
initial conditions -- Forces -- Non-dimensionalisation and choice of simulation parameters -- Part III Lattice Boltzmann extensions, improvements, and details: Lattice-Boltzmann for advection-diffusion-problems -- Multiphase and
multi-component flows -- MRT and TRT collision operators -- Boundary conditions for fluid-structure interaction -- Sound waves -- Part IV Numerical implementation of the lattice Boltzmann method: Implementation of LB Simulations --
Appendices
ISBN:9783319446493
Series:eBooks
Series:Springer eBooks
Series:Springer 2017 package
Keywords: Physics , System theory , Computer mathematics , Fluids , Fluid mechanics , Physics , Numerical and Computational Physics, Simulation , Fluid- and Aerodynamics , Complex Systems , Engineering Fluid Dynamics , Computational Mathematics and Numerical Analysis , Statistical Physics and Dynamical 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-2013-9783319004402:ONLINE Show nearby items on shelf
Title:Preventive Methods for Coastal Protection [electronic resource] : Towards the Use of Ocean Dynamics for Pollution Control
Author(s): Tarmo Soomere
Ewald Quak
Date:2013
Publisher:Heidelberg : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The aim of the book is to present for non-specialist researchers as well as for experts a comprehensive overview of the background, key ideas, basic methods, implementation details and a selection of solutions offered by a noveltechnology for the opt imisation of the location of dangerous offshore activities in terms of environmental criteria, as developed in the course of the BalticWay project. The book consists of two parts. The first part introduces thebasic principles of ocean modeling and depict s the long way from the generic principles to the practical modeling of oil spills and of the propagation of other adverse impacts. The second part focuses on the techniques for solving theinverse problem of the quantification of offshore areas with respe ct to their potential to serve as a source of environmental danger to vulnerable regions (such as spawning, nursing or also tourist areas). The chapters are writtenin a tutorial style they are mostly self-contained and understandable for non-specialist r esearchers and students. They are carefully peer-reviewed by international experts. The goal was to produce a book that highlights all keysteps, methods, models and data sets it is necessary to combine in order to produce a practically usable technology a nd/or decision support system for a particular sea region. Thus the book is useful not only as a description and amanual of this particular technology but also as a roadmap highlighting the complicated technical issues of ocean modeling for practical purp oses. It describes the approaches taken by the authors in an understandable way and thus isuseful for educational purposes, such as a course in industrially and environmentally relevant applications of ocean modeling
Note:Springer eBooks
Contents:Foreword
Preface
The Baltic Way Project
1. Towards Mitigation of Environmental Risks:T.Soomere
Part I Modelling the Underlying Dynamics: 2. Topography, Hydrography, Circulation and Modelling of the Baltic Sea:K. Myrbergand A. Lehmann
3. Introduction to Computational Fluid Dynamics and Ocean Modeling:T. Torsvik
4. Studying the Baltic Sea Circulation with Eulerian Tracers: M.Meierand A. Hglund
5. European Semi
Enclosed Seas: Basic Physical Processes and their Numerical Modeling:E. Stanev and Xi Lu
6. The Gulf of Finland, its Hydrography and Circulation D
ISBN:9783319004402
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Oceanography , Computer simulation , Computer science , Biotechnology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9781461471721:ONLINE Show nearby items on shelf
Title:Numerical Solution of Partial Differential Equations: Theory, Algorithms, and Their Applications [electronic resource] : In Honor of Professor Raytcho Lazarov's 40 Years of Research in Computational Methods and AppliedMathematics / edited by Oleg P. Iliev, Svetozar D. Margenov, Peter D Minev, Panayot S. Vassilevski, Ludmil T Zikatanov
Author(s): Oleg P Iliev
Svetozar D Margenov
Peter D Minev
Panayot S Vassilevski
Ludmil T Zikatanov
Date:2013
Publisher:New York, NY : Springer New York : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:One of the currentmain challenges in the areaof scientific computing is the design and implementation of accuratenumerical models forcomplex physical systems which aredescribed by time-dependent coupled systems ofnonlinear PDEs.This volume integrates the works of experts in computational mathematics and its applications, with a focuson modern algorithms which are at the heart of accurate modeling: adaptive finite element methods,conservative finite difference methods and finite volume methods,and mul tilevel solution techniques. Fundamental theoretical results are revisited in survey articles, and new techniques in numerical analysis are introduced.Applications showcasing the efficiency, reliability, and robustness of the algorithms in porous media, s tructural mechanics, and electromagnetism are presented. Researchers and graduate students in numerical analysis and numericalsolutions of PDEsand their scientific computing applications will find this book useful.
Note:Springer eBooks
Contents:Improving Conservation for First
Order System Least Squares Finite
Element Methods, James Adler, Panayot Vassilevski
Multiscale Coarsening for Linear Elasticity by Energy Minimization, Heiko Andrae, Marco Buck, Oleg Iliev
Preconditioners for some matrices of two
by
two block form, with applications, I, Owe Axelsson
A multigrid algorithm for an elliptic problem with a perturbed boundary condition, Andrea Bonito, Joe Pasciak
Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs, James Brannick, Yao Chen, Xiaozhe Hu, Ludmil Zikatanov
Aspects of Guaranteed Error
ISBN:9781461471721
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Proceedings in Mathematics & Statistics, 2194-1009 : v45
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Functional equations , Differential equations, partial , Computer science Mathematics , Numerical analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9788847023970:ONLINE Show nearby items on shelf
Title:Algebra for Symbolic Computation [electronic resource]
Author(s): Antonio Mach
Date:2012
Publisher:Milano : Springer Milan : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book deals with several topics in algebra useful for computer science applications and the symbolic treatment of algebraic problems, pointing out and discussing their algorithmic nature. The topics covered range fromclassical results such as the Euclidean algorithm, the Chinese remainder theorem, and polynomial interpolation, to p-adic expansions of rational and algebraic numbers and rational functions, to reach the problem of the polynomialfactorisation, especially via Berlekamps method, and th e discrete Fourier transform. Basic algebra concepts are revised in a form suited for implementation on a computer algebra system
Note:Springer eBooks
Contents:The Euclidean algorithm, the Chinese remainder theorem and interpolation
p
adic series expansion
The resultant
Factorisation of polynomials
The discrete Fourier transform
ISBN:9788847023970
Series:e-books
Series:SpringerLink (Online service)
Series:UNITEXT, 2038-5714
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642182907:ONLINE Show nearby items on shelf
Title:Digital Sonar Design in Underwater Acoustics [electronic resource] : Principles and Applications
Author(s): Qihu Li
Date:2012
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Digital Sonar Design in Underwater Acoustics Principles and Applications provides comprehensive and up-to-date coverage of research on sonar design, including the basic theory and techniques of digital signal processing,basic concept of information t heory, ocean acoustics, underwater acoustic signal propagation theory, and underwater signal processing theory. This book discusses the general design procedure and approaches to implementation, the designmethod, system simulation theory and techniques, s onar tests in the laboratory, lake and sea, and practical validation criteria and methods for digital sonar design. It is intended for researchers in the fields of underwater signalprocessing and sonar design, and also for navy officers and ocean explorer s. Qihu Li is a professor at the Institute of Acoustics, Chinese Academy of Sciences, and an academician of the Chinese Academy of Sciences
Note:Springer eBooks
Contents:Brief history of digital sonar development
Basic theory of digital signal processing
Detection and estimation theory of digital signal
General principle of sonar design
Design of digital sonar
The implementation method of various function of digital sonar
System simulation technique in digital sonar design
Examples of typical modern digital sonar
Software and hardware support and performance evaluation in digital sonar design
ISBN:9783642182907
Series:e-books
Series:SpringerLink (Online service)
Series:Advanced Topics in Science and Technology in China, 1995-6819 : v0
Series:Physics and Astronomy (Springer-11651)
Keywords: Physical geography , Oceanography , Acoustics , Computer engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9783642001895:ONLINE Show nearby items on shelf
Title:On the Construction of Artificial Brains [electronic resource]
Author(s): Ulrich Ramacher
Christoph Malsburg
Date:2010
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book presents a first generation of artificial brains, using vision as sample application. An object recognition system is built, using neurons and synapses as exclusive building elements. The system contains a featurepyramid with 8 orientations and 5 resolution levels for 1000 objects and networks for binding of features into objects. This vision system can recognize objects robustly in the presence of changes in illumination, deformation, distanceand pose (as long as object components remain v isible). The neuro-synaptic network owes its functional power to the introduction of rapidly modifiable dynamic synapses. These give a network greater pattern recognition capabilities thanare achievable with fixed connections. The spatio-temporal correlat ion structure of patterns is captured by a single synaptic differential equation in a universal way. The correlation can appear as synchronous neural firing, whichsignals the presence of a feature in a robust way, or binds features into objects. Although in this book we can present only a first generation artificial brain and believe many more generations will have to follow to reach the fullpower of the human brain, we nevertheless see a new era of computation on the horizon. There were times when comput ers, with their precision, reliability and blinding speed, were considered to be as superior to the wet matter of ourbrain as a jet plane is to a sparrow. These times seem to be over, given the fact that digital systems inspired by formal logic and contro lled algorithmically - today's computers - are hitting a complexity crisis. A paradigm change isin the air: from the externally organised to the self-organised computer, of which the results described in this book may give an inkling
Note:Springer eBooks
Contents:The Difficulty of Modelling Artificial Brains
Information Processing In Nets with Constant Synapses
Theory of Nets with Constant or Dynamic Synapses
Macro
Dynamics of Nets with Constant Synapses
Information Processing with Dynamic Synapses
Nets for Feature Detection
Nets for Feature Recognition
Nets for Robust Head Detection
Extensions of The Vision Architecture
Look
Out
Preliminary Considerations on The Microelectronic Implementation
Elementary Circuits for Neurons, Synapses, and Photosensors
Simulation of Microelectronic Neural Circuits and Systems
Arch
ISBN:9783642001895
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Neurosciences , Artificial intelligence , Vibration , Electronics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9783642001482:ONLINE Show nearby items on shelf
Title:The Rubato Composer Music Software [electronic resource] Component-Based Implementation of a Functorial Concept Architecture
Author(s): Grard Milmeister
Date:2009
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Both modern mathematical music theory and computer science are strongly influenced by the theory of categories and functors. One outcome of this research is the data format of denotators, which is based on set-valued presheavesover the category of mo dules and diaffine homomorphisms. The functorial approach of denotators deals with generalized points in the form of arrows and allows the construction of a universal concept architecture. This architecture isideal for handling all aspects of music, espec ially for the analysis and composition of highly abstract musical works. This book presents an introduction to the theory of module categories and the theory of denotators, as well as thedesign of a software system, called Rubato Composer, which is an imp lementation of the category-theoretic concept framework. The application is written in portable Java and relies on plug-in components, so-called rubettes, which may becombined in data flow networks for the generation and manipulation of denotators. The Ru bato Composer system is open to arbitrary extension and is freely available under the GPL license. It allows the developer to build specializedrubettes for tasks that are of interest to composers, who in turn combine them to create music. It equally serve s music theorists, who use them to extract information from and manipulate musical structures. They may even develop newtheories by experimenting with the many parameters that are at their disposal thanks to the increased flexibility of the functorial con cept architecture. Two contributed chapters by Guerino Mazzola and Florian Thalmann illustrate theapplication of the theory as well as the software in the development of compositional tools and the creation of a musical work with the help of the Rubato fr amework
Note:Springer eBooks
Contents:Concepts and Theory
Overview of Music Theories
The Representation of Music
Architecture of Concepts I: Principles
The Category of Modules
Architecture of Concepts II: Forms and Denotators
Software Components for Computational Theories
Historical Overview
The Implementation
Overview
Architecture
Modules and Morphisms
Forms and Denotators
Tools and Utilities
Rubato Composer GUI
Rubato Composer in Practice
Overview
A Tutorial
First Applications in Rubette Construction
The BigBang Rubette
Creative Analysis of Boulezs
Conclusion and
ISBN:9783642001482
Series:e-books
Series:SpringerLink (Online service)
Series:Computational Music Science, 1868-0305
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Information systems , Computer science , Algebra , Music
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9780387922980:ONLINE Show nearby items on shelf
Title:Bayesian Computation with R [electronic resource]
Author(s): Jim Albert
Date:2009
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:There has been a dramatic growth in the development and application of Bayesian inferential methods. Some of this growth is due to the availability of powerful simulation-based algorithms to summarize posterior distributions.There has been also a gro wing interest in the use of the system R for statistical analyses. R's open source nature, free availability, and large number of contributor packages have made R the software of choice for many statisticiansin education and industry. Bayesian Computation with R introduces Bayesian modeling by the use of computation using the R language. The early chapters present the basic tenets of Bayesian thinking by use of familiar one andtwo-parameter inferential problems. Bayesian computational methods such as Lapl ace's method, rejection sampling, and the SIR algorithm are illustrated in the context of a random effects model. The construction and implementation ofMarkov Chain Monte Carlo (MCMC) methods is introduced. These simulation-based algorithms are implemente d for a variety of Bayesian applications such as normal and binary response regression, hierarchical modeling, order-restrictedinference, and robust modeling. Algorithms written in R are used to develop Bayesian tests and assess Bayesian models by use of the posterior predictive distribution. The use of R to interface with WinBUGS, a popular MCMC computinglanguage, is described with several illustrative examples. This book is a suitable companion book for an introductory course on Bayesian methods and is valuable to the statistical practitioner who wishes to learn more about the Rlanguage and Bayesian methodology. The LearnBayes package, written by the author and available from the CRAN website, contains all of the R functions described in the book. The s econd edition contains several new topics such as the useof mixtures of conjugate priors and the use of Zellners g priors to choose between models in linear regression. There are more illustrations o
Note:Springer eBooks
Contents:An introduction to R
Introduction to Bayesian thinking
Single
parameter models
Multiparameter models
Introduction to Bayesian computation
Markov chain Monte Carlo methods
Hierarchical modeling
Model comparison
Regression models
Gibbs sampling
Using R to interface with WinBUGS
ISBN:9780387922980
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Computer simulation , Computer science Mathematics , Visualization , Mathematical optimization , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9780387743882:ONLINE Show nearby items on shelf
Title:Linear Programming [electronic resource] : Foundations and Extensions
Author(s): Robert J Vanderbei
Date:2008
Edition:3
Publisher:Boston, MA : Springer US
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Linear Programming: Foundations and Extensions is an introduction to the field of optimization. The book emphasizes constrained optimization, beginning with a substantial treatment of linear programming, and proceeding to convexanalysis, network flow s, integer programming, quadratic programming, and convex optimization. The book is carefully written. Specific examples and concrete algorithms precede more abstract topics. Topics are clearly developed with alarge number of numerical examples worked out in detail. Moreover, Linear Programming: Foundations and Extensions underscores the purpose of optimization: to solve practical problems on a computer. Accordingly, the book is coordinatedwith free efficient C programs that implement the major algorithms studied: The two-phase simplex method The primal-dual simplex method The path-following interior-point method The homogeneous self-dual methods. In addition, thereare online JAVA applets that illustrate various pivot rules and variants of the simplex met hod, both for linear programming and for network flows. These C programs and JAVA tools can be found on the book's webpage:http://www.princeton.edu/-rvdb/LPbook/. Also, check the book's webpage for new online instructional tools and exercises that have be en added in the new edition
Note:Springer eBooks
Contents:Basic TheoryThe Simplex Method and Duality
The Simplex Method
Degeneracy
Efficiency of the Simplex Method
Duality Theory
The Simplex Method in Matrix Notation
Sensitivity and Parametric Analyses
Implementation Issues
Problems in General Form
Convex Analysis
Game Theory
Regression
Financial Applications
Network
Type Problems
Network Flow Problems
Applications
Structural Optimization
Interior
Point Methods
The Central Path
A Path
Following Method
The KKT System
Implementation Issues
The Affine
Scaling Method
The Homogeneous
ISBN:9780387743882
Series:e-books
Series:SpringerLink (Online service)
Series:International Series in Operations Research & Management Science, 0884-8289 : v114
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Mathematical optimization , Operations research , Industrial engineering , Engineering economy
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9780387713854:ONLINE Show nearby items on shelf
Title:Bayesian Computation with R [electronic resource]
Author(s): Jim Albert
Date:2007
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:There has been a dramatic growth in the development and application of Bayesian inferential methods. Some of this growth is due to the availability of powerful simulation-based algorithms to summarize posterior distributions.There has been also a gro wing interest in the use of the system R for statistical analyses. R's open source nature, free availability, and large number of contributor packages have made R the software of choice for many statisticiansin education and industry. Bayesian Computation with R introduces Bayesian modeling by the use of computation using the R language. The early chapters present the basic tenets of Bayesian thinking by use of familiar one andtwo-parameter inferential problems. Bayesian computational methods such as Lapl ace's method, rejection sampling, and the SIR algorithm are illustrated in the context of a random effects model. The construction and implementation ofMarkov Chain Monte Carlo (MCMC) methods is introduced. These simulation-based algorithms are implemente d for a variety of Bayesian applications such as normal and binary response regression, hierarchical modeling, order-restrictedinference, and robust modeling. Algorithms written in R are used to develop Bayesian tests and assess Bayesian models by use of the posterior predictive distribution. The use of R to interface with WinBUGS, a popular MCMC computinglanguage, is described with several illustrative examples. This book is a suitable companion book for an introductory course on Bayesian methods and is valuable to the statistical practitioner who wishes to learn more about the Rlanguage and Bayesian methodology. The LearnBayes package, written by the author and available from the CRAN website, contains all of the R functions described in the book. Jim A lbert is Professor of Statistics at Bowling Green StateUniversity. He is Fellow of the American Statistical Association and is past editor of The American Statistician. His books include Ordinal Data Mo
Note:Springer eBooks
Contents:An introduction to R
Introduction to Bayesian thinking
Single
parameter models
Multiparameter models
Introduction to Bayesian computation
Markov chain Monte Carlo methods
Hierarchical modeling
Model comparision
Regression models
Gibbs sampling
Using R to interface with WinBUGS
ISBN:9780387713854
Series:e-books
Series:SpringerLink (Online service)
Series:Use R!
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Computer simulation , Computer science Mathematics , Visualization , Mathematical optimization , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9780817644659:ONLINE Show nearby items on shelf
Title:Uniform Output Regulation of Nonlinear Systems [electronic resource] : A Convergent Dynamics Approach
Author(s): Alexey Pavlov
Nathan Wouw
Henk Nijmeijer
Date:2006
Publisher:Boston, MA : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The problem of asymptotic regulation of the output of a dynamical system plays a central role in control theory. An important variant of this problem is the output regulation problem, which can be used in such areas as set-pointcontrol, tracking refe rence signals and rejecting disturbances generated by an external system, controlled synchronization of dynamical systems, and observer design for autonomous systems. This book is one of the first systematicstudies on the nonlinear output regulation probl em that embraces both the local and global solvability analysis, covering such aspects as solvability conditions, controller design, and practical implementation issues. The book openswith the development of the mathematical apparatus of convergent system svery useful for studying nonlinear control systemslaying the foundation for most of the results presented in the work. The study then proceeds to a newproblem statementthe so-called uniform output regulation problem. A comprehensive solvability analysis of this problem is provided in the next part of the work. Based on the solvability analysis, constructive controller designmethods for the global uniform output regulation problem are presented for various classes of nonlinear systems. In an attempt to br idge the gap between theory and practice, the authors conclude with a presentation of an experimentalcase study. The experimentone of the first in the field of nonlinear output regulationdeals with control of a translational oscillator with a rotational a ctuator, illustrating the applicability of the nonlinear output regulationtheory in experiments and raising a number of questions to be addressed in future research. The scope of questions addressed in the book, the uniformity of their treatment, the nove lty of the proposed approach, and the obtained resultsmake this volume unique with respect to other works on the problem of nonlinear output regulation. In addition to being an excellent
Note:Springer eBooks
Contents:Preface
Introduction
Convergent systems
The Uniform output regulation problem
Solvability of the uniform output regulation problem
Controller design for the global uniform output regulation problem
The local output regulation problem: convergence region estimates
Experimental case study
Concluding remarks
Appendix
References
Index
ISBN:9780817644659
Series:e-books
Series:SpringerLink (Online service)
Series:Systems and Control: Foundations & Applications
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Harmonic analysis , Differentiable dynamical systems , Differential Equations , Systems theory , 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-2006-9780387358406:ONLINE Show nearby items on shelf
Title:Foundations and Applications of Mis [electronic resource] : A Model Theory Approach
Author(s): Yasuhiko Takahara
Yongmei Liu
George J Klir
Date:2006
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. The development is driven by the need to eliminate ambiguity in specification, design andconstruction of the application software. Further, the authors show that the considerable effort being expanded nowadays on validation, verification and testing, as required in current software engineering practices, will be reduced.The approach also reinforces the belief that MIS deve lopment is independent of software development. The work presents an approach that provides a theoretical foundation for MIS development from the systems theoretic viewpoint alongwith practical applications ranging from a transaction processing system to a solver system. Both formal systems theory and automatic system generation based on the authors' newly extended Prolog offer a significant increase in theefficiency of specification, design and production of the application software, as well as an increa se in the functional reliability of the software produced. The book assumes a working knowledge of elementary set theory, logic, andfamiliarity with some systems concepts, such as the automaton model. Senior undergraduates and graduate students, researche rs in management information systems, systems engineers and systems scientists will benefit from this book
Note:Springer eBooks
Contents:New Paradigm of Systems Development
New Systems Development Methodology: The Model Theory Approach
Model Construction Language and Systems Implementation Language
Computer
Acceptable Set Theory for Model Construction
Implementation Language: extProlog
Model Theory Approach to Solver Systems Development
Model Theory Approach to Solver System Development: Outlines
User Model and Standardized Goal
Seeker
Solver System Applications
Traveling Salesman Problem: E
C
C Problem
Regulation Problem: E
O
C Problem
Linear Quadratic Optimization Problem: E
C
O and E
O
O Prob
ISBN:9780387358406
Series:e-books
Series:SpringerLink (Online service)
Series:IFSR International Series on Systems Science and Engineering, 1574-0463 : v24
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Information Systems , Systems 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-2005-9783540268420:ONLINE Show nearby items on shelf
Title:Symbolic Integration I [electronic resource] : Transcendental Functions
Author(s): Manuel Bronstein
Date:2005
Edition:Second Edition
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This first volume in the series Algorithms and Computation in Mathematics is destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on this topic and his book is the first to treatthe subject both comprehens ively and in sufficient detail - incorporating new results along the way. The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers of computeralgebra systems as well as users of symbolic inte gration methods. Many algorithms are given in pseudocode ready for immediate implementation, making the book equally suitable as a textbook for lecture courses on symbolic integration.This second edition offers a new chapter on parallel integration, as we ll as a few comments on obtaining continuous antiderivatives and additional exercises. From the Reviews The goal of this well-written book is to present the stateof the art in the domain of integration in finite terms. ... Both aspects of the work, mathem atics and implementation, are present in the book. Moreover, Bronstein has chosen a good level of detail, and in such a way that he onlydeals with the case of transcendental functions. ... J.M.Ollagnier, Mathematical Reviews 2002 ... It makes an excellent textbook for courses in computer algebra. It contains many exercises and the algorithms are presented inpseudocode, which is easy to implement in any computer algebra system. For those interested in symbolic integration it will become the standard refere nce. N.A.van Arkel, Medelingen van het wiskundig genootschap 1998 ... The writingis excellent, and the author provides a clear and coherent treatment of the problem of symbolic integration of transcendental functions. Each chapter includes several worked examples and a list of additional exercises. Every researcherand teacher in symbolic computation should have access to this book. F.Winkler, Computing Reviews 1997 My first thought on seeing
Note:Springer eBooks
Contents:Preface
Algebraic Preliminaries
Integration of Rational Functions
Differential Fields
The Order Function
Integration of Transcendental Functions
The Risch Differential Equations
Parametric Problems
The Coupled Differential System
Structure Theorems References
Index
Plus Chapter on Risch
Noman Algorithm
ISBN:9783540268420
Series:e-books
Series:SpringerLink (Online service)
Series:Algorithms and Computation in Mathematics, 1431-1550 : v1
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Algebra Data processing , Algebra , Global analysis (Mathematics) , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2005-9781402023354:ONLINE Show nearby items on shelf
Title:A Modern Perspective on Type Theory [electronic resource] From its Origins until Today
Author(s): Fairouz Kamareddine
Twan Laan
Rob Nederpelt
Date:2005
Publisher:Dordrecht : Springer Netherlands
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce typetheory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on theuse of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers, and the correctness of proofs and programs. The authors of this book have themselves been leadingthe way by providing various extensions of type theory which have b een shown to bring many advantages. This book gathers much of their influential work and is highly recommended for anyone interested in type theory. The main emphasisis on: - Types: from Russell to Ramsey, to Church, to the modern Pure Type Systems and so me of their extensions. - Functions: from Frege, to Russell to Church, to Automath and the use of functions in mathematics, programming languagesand theorem provers. - The role of types in logic: Kripke's notion of truth, the evolution and role of the pro positions as types concept and its use in logical frameworks. - The role of types in computation: extensions of type theorieswhich can better model proof checkers and programming languages are given. The first part of the book is historical, yet at the sa me time, places historical systems (like Russell's RTT) in the modern setting. The second part deals withmodern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places anot her historical system (the proof checker Automath) in the modern setting. The thirdpart uses this bridging in the first two parts between historical and modern systems to propose new systems that bring
Note:Springer eBooks
Contents:The Evolution of Type Theory until the 1940s
Prehistory
Type theory in Principia Mathematica
Deramification
Propositions as Types, Pure Type Systems, AUTOMATH
Propositions as Types and Pure Type Systems
The pre
PAT RTT and STT in PAT
style
A Correspondence between RTT and the system Nuprl
Automath
Extensions of Pure Type Systems
Pure Type Systems with definitions
The Barendregt cube with parameters
Pure Type Systems with parameters and definitions
ISBN:9781402023354
Series:e-books
Series:SpringerLink (Online service)
Series:Applied Logic Series, 1386-2790 : v29
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783642186387:ONLINE Show nearby items on shelf
Title:Graph Drawing Software
Author(s):
Date:2004
Size:1 online resource (378 p.)
Note:10.1007/978-3-642-18638-7
Contents:References -- Technical Foundations -- 1 Introduction -- 2 Graphs and Their Representation -- 3 Graph Planarity and Embeddings -- 4 Graph Drawing Methods -- References -- WilmaScope — A 3D Graph Visualization System -- 1 Introduction
-- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References -- Pajek — Analysis and Visualization of Large Networks -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5
Examples -- 6 Software -- References -- Tulip — A Huge Graph Visualization Framework -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References -- Graphviz and Dynagraph — Static
and Dynamic Graph Drawing Tools -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References -- AGD — A Library of Algorithms for Graph Drawing -- 1 Introduction -- 2 Applications --
3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References -- yFiles — Visualization and Automatic Layout of Graphs -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software --
References -- GDS — A Graph Drawing Server on the Internet -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References -- BioPath — Exploration and Visualization of Biochemical
Pathways -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References -- DBdraw — Automatic Layout of Relational Database Schemas -- 1 Introduction -- 2 Applications -- 3 Algorithms
-- 4 Implementation -- 5 Examples -- 6 Software -- References -- GoVisual — A Diagramming Software for UML Class Diagrams -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References
-- CrocoCosmos — 3D Visualization of Large Object-oriented Programs -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References -- ViSta — Visualizing Statecharts -- 1 Introduction
-- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References -- visone — Analysis and Visualization of Social Networks -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5
Examples -- 6 Software -- References -- Polyphemus and Hermes — Exploration and Visualization of Computer Networks -- 1 Introduction -- 2 Applications -- 3 Algorithms -- 4 Implementation -- 5 Examples -- 6 Software -- References
ISBN:9783642186387
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer graphics , Bioinformatics , Applied mathematics , Engineering mathematics , Visualization , Computer software , Mathematics , Visualization , Mathematical Software , Computer Graphics , Bioinformatics , Applications of Mathematics , Appl.Mathematics/Computational Methods of Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783642184826:ONLINE Show nearby items on shelf
Title:Advances in Time-Delay Systems
Author(s):
Date:2004
Size:1 online resource (452 p.)
Note:10.1007/978-3-642-18482-6
Contents:I Basic Theory -- Basic Theory for Linear Delay Equations -- II Stability and Robust Stability -- Complete Type Lyapunov-Krasovskii Functionals -- Robust Stability Conditio ns of Quasipolynomials by Frequency Sweeping -- Improvements
on the Cluster Treatment of Characteristic Roots and the Case Studies -- From Lyapunov-Krasovskii Functionals for Delay-Independent Stability to LMI Conditions for µ-Ana1ysis -- III Control, Identification, and Observer Design --
Finite Eigenstructure Assignment for Input Delay Systems -- Control of Systems with Input Delay—An Elementary Approach -- On the Stabilization of Systems with Bounded and Delayed Input -- Identifiability and Identification of Linear
Systems with Delays -- A Model Matching Solution of Robust Observer Design for Time-Delay Systems -- IV Computation, Software, and Implementation -- Adaptive Integration of Delay Differential Equations -- Software for Stability and
Bifurcation Analysis of Delay Differential Equations and Applications to Stabilization -- Empirical Methods for Determining the Stability of Certain Linear Delay Systems -- Stability Exponent and Eigenvalue Abscissas by Way of the
Imaginary Axis Eigenvalues -- The Effect of Approximating Distributed Delay Control Laws on Stability -- V Partial Differential Equations, Nonlinear and Neutral Systems -- Synchronization Through Boundary Interaction -- Output
Regulation of Nonlinear Neutral Systems -- Robust Stability Analysis of Various Classes of Delay Systems -- On Strong Stability and Stabilizability of Linear Systems of Neutral Type -- Robust Delay Dependent Stability Analysis of
Neutral Systems -- VI Applications -- On Delay-Based Linear Models and Robust Control of Cavity Flows -- Active-adaptive Control of Acoustic Resonances in Flows -- Robust Prediction-Dased Control for Unstable Delay Systems -- Robust
Stability of Teleoperation Schemes SUbject to Constant and Time-Varying Communication Delays -- Bounded Control of Multiple-Delay Systems with Applications to ATM Networks -- Dynamic Time Delay Models for Load Balancing. Part I:
Deterministic Models -- Dynamic Time Delay Models for lA>ad Balancing. Part II: A Stochastic Analysis of the Effect of Delay Uncertainty -- VII Miscellaneous Topics -- Asymptotic Properties of Stochastic Delay Systems -- Stability and
Dissipativity Theory for Nonnegative and Compartmental Dynamical Systems with Time Delay -- List of Contributors
ISBN:9783642184826
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 38
Keywords: Mathematics , Applied mathematics , Engineering mathematics , System theory , Computer mathematics , Mathematics , Systems Theory, Control , Applications of Mathematics , Computational Science and Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783034878654:ONLINE Show nearby items on shelf
Title:Coding, Cryptography and Combinatorics
Author(s):
Date:2004
Size:1 online resource (405 p.)
Note:10.1007/978-3-0348-7865-4
Contents:On the Secondary Constructions of Resilient and Bent Functions -- Adaptive Recursive MLD Algorithm Based on Parallel Concatenation Decomposition for Binary Linear Codes -- Modularity of Asymptotically Optimal Towers of Function Fields
-- A New Correlation Attack on LFSR Sequences with High Error Tolerance -- LDPC Codes: An Introduction -- The New Implementation Schemes of the TTM Cryptosystem Are Not Secure -- The Capacity Region of Broadcast Networks with Two
Receivers -- Constructions of Nonbinary Codes Correcting t- Symmetric Errors and Detecting All Unidirectional Errors: Magnitude Error Criterion -- On the Propagation Criterion of Boolean Functions -- On Certain Equations over Finite
Fields and Cross-Correlations of m-Sequences -- A Polly Cracker System Based on Satisfiability -- Combinatorially Designed LDPC Codes Using Zech Logarithms and Congruential Sequences -- New Constructions of Constant-Weight Codes --
Good Self-Dual Quasi-Cyclic Codes over Fq, q Odd -- Linear Complexity and k-Error Linear Complexity for pn-Periodic Sequences -- HFE and BDDs: A Practical Attempt at Cryptanalysis -- Digital Nets and Coding Theory -- Constructive
Asymptotic Codes with an Improvement on the Tsfasman-Vlá,dut-Zink and Xing Bounds -- Malleability Attacks on Multi-Party Key Agreement Protocols -- Combinatorial Tableaux in Isoperimetry -- On the Error Exponents of
Reliability-Order-Based Decoding Algorithms for Linear Block Codes -- A Construction of Authentication Codes with Secrecy -- Selection Method of Test Patterns in Soft-Input and Output Iterative Bounded Distance Decoding Algorithm --
Deletion Correcting Using Generalised Reed-Solomon Codes -- A Note on the Linear Complexity Profile of the Discrete Logarithm in Finite Fields -- Speeding Up RSA and Elliptic Curve Systems by Choosing Suitable Moduli -- Security
Analysis of Three Oblivious Transfer Protocols -- An Improved Identification Scheme
ISBN:9783034878654
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic : 23
Keywords: Computer science , Data structures (Computer science) , Coding theory , Combinatorics , Computer Science , Coding and Information Theory , Data Structures, Cryptology and Information Theory , Combinatorics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9783642182372:ONLINE Show nearby items on shelf
Title:Advanced Topics in Computational Partial Differential Equations Numerical Methods and Diffpack Programming
Author(s):
Date:2003
Size:1 online resource (663 p.)
Note:10.1007/978-3-642-18237-2
Contents:1 Parallel Computing -- 1.1 Introduction to Parallel Computing -- 1.2 A Different Performance Model -- 1.3 The First MPI Encounter -- 1.4 Basic Parallel Programming with Diffpack -- 1.5 Parallelizing Explicit FD Schemes -- 1.6
Parallelizing FE Computations on Unstructured Grids -- References -- Overlapping Domain Decomposition Methods -- 2.1 Introduction -- 2.2 The Mathematical Formulations -- 2.3 A 1D Example -- 2.4 Some Important Issues -- 2.5 Components
of Overlapping DD Methods -- 2.6 A Generic Implementation Framework -- 2.7 Parallel Overlapping DD Methods -- 2.8 Two Application Examples -- References -- 3 Software Tools for Multigrid Methods -- 3.1 Introduction -- 3.2 Sketch of How
Multilevel Methods are Implemented in Diffpack -- 3.3 Implementing Multigrid Methods -- 3.4 Setting up an Input File -- 3.5 Playing Around with Multigrid -- 3.6 Equipping the Poisson2 Solver with Multigrid -- 3.7 Systems of Equations,
Linear Elasticity -- 3.8 Nonlinear Problems -- References -- 4 Mixed Finite Elements -- 4.1 Introduction -- 4.2 Model Problems -- 4.3 Mixed Formulation -- 4.4 Some Basic Concepts of a Finite Element -- 4.5 Some Code Examples -- 4.6
Programming with Mixed Finite Elements in a Simulator -- References -- 5 Systems of PDEs and Block Preconditioning -- 5.1 Introduction -- 5.2 Block Preconditioners in General -- 5.3 The Bidomain Equations -- 5.4 Two Saddle Point
Problems -- References -- 6 Fully Implicit Methods for Systems of PDEs -- 6.1 Introduction -- 6.2 Implementation of Solvers for PDE Systems in Diffpack -- 6.3 Problem with the Gauss-Seidel Method, by Example -- 6.4 Fully Implicit
Implementation -- 6.5 Applications -- 6.6 Conclusion -- References -- 7 Stochastic Partial Differential Equations -- 7.1 Introduction -- 7.2 Some Simple Examples -- 7.3 Solution Methods -- 7.4 Quick Overview of Diffpack Tools -- 7.5
Tools for Random Variables -- 7.6 Diffpack Tools for Random Fields -- 7.7 Summary -- 7.A Transformation of Random Variables -- 7.B Implementing a New Distribution -- References -- 8 Using Diffpack from Python Scripts -- 8.1
Introduction -- 8.2 Developing Python Interfaces to C/C++ Functions -- 8.3 Compiling and Linking Wrapper Code with Diffpack -- 8.4 Converting Data between Diffpack and Python -- 8.5 Building an Interface to a More Advanced Simulator --
8.6 Installing Python, SWIG etc -- 8.7 Concluding Remarks -- References -- 9 Performance Modeling of PDE Solvers -- 9.1 Introduction -- 9.2 Model Problems -- 9.3 Numerical Methods -- 9.4 Total CPU Time Consumption -- 9.5 Solution of
Linear Systems -- 9.6 Construction of Linear Systems -- 9.7 Concluding Remarks -- References -- 10 Electrical Activity in the Human Heart -- 10.1 The Basic Physiology -- 10.2 Outline of a Mathematical Model -- 10.3 The Bidomain Model
-- 10.4 A Complete Mathematical Model -- 10.5 Physiology of the Heart Muscle Tissue -- 10.6 The Numerical Method -- 10.7 Implementation -- 10.8 Optimization of the Simulator -- 10.9 Simulation Results -- 10.10 Concluding Remarks --
References -- 11 Mathematical Models of Financial Derivatives -- 11.1 Introduction -- 11.2 Basic Assumptions -- 11.3 Forwards and Futures -- 11.4 The Black-Scholes Analysis -- 11.5 European Call and Put Options -- 11.6 American Options
-- 11.7 Exotic Options -- 11.8 Hedging -- 11.9 Remarks -- References -- 12 Numerical Methods for Financial Derivatives -- 12.1 Introduction -- 12.2 Model Summary -- 12.3 Monte-Carlo Methods -- 12.4 Lattice Methods -- 12.5 Finite
Difference Methods -- 12.6 Finite Element Methods -- References -- 13 Finite Element Modeling of Elastic Structures -- 13.1 Introduction -- 13.2 An Introductory Example Bar Elements -- 13.3 Another Example Beam Elements -- 13.4 General
Three-Dimensional Elasticity -- 13.5 Degrees of Freedom and Basis Functions -- 13.6 Material Types and Elasticity Matrices -- 13.7 Element Matrices in Local Coordinates -- 13.8 Element Load Vectors in Local Coordinates -- 13.9 Element
Matrices and Vectors in Global Coordinates -- 13.10 Element Forces, Stresses, and Strains -- 13.11 Implementation of Structural Elements -- 13.12 Some Example Programs -- 13.13 Test Problems -- 13.14 Summary -- References -- 14
Simulation of Aluminum Extrusion -- 14.1 Introduction -- 14.2 Mathematical Formulation -- 14.3 Finite Element Implementation -- 14.4 Object-Oriented Implementation -- 14.5 Numerical Experiments -- 14.6 Concluding Remarks -- References
-- 15 Simulation of Sedimentary Basins -- 15.1 Introduction -- 15.2 The Geomechanical and Mathematical Problem -- 15.3 Numerical Methods -- 15.4 Implementing a Solver for a System of PDEs -- 15.5 Verification -- 15.6 A Magmatic Sill
Intrusion Case Study -- 15.7 Concluding Remarks -- References
ISBN:9783642182372
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 33
Keywords: Mathematics , Mathematical analysis , Analysis (Mathematics) , Partial differential equations , Computer mathematics , Mathematics , Analysis , Computational Science and Engineering , Partial Differential Equations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9780306480881:ONLINE Show nearby items on shelf
Title:Logic for Concurrency and Synchronisation
Author(s):
Date:2003
Size:1 online resource (285 p.)
Note:10.1007/0-306-48088-3
Contents:Geometry of Deduction Via Graphs of Proofs -- Chu’s Construction: A Proof-Theoretic Approach -- Two Paradigms of Logical Computation in Affine Logic? -- Proof Systems for ?-Calculus Logics -- A Tutorial Introduction to Symbolic Model
Checking -- Modal Logics for Finite Graphs -- Bisimulation and Language Equivalence
ISBN:9780306480881
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library : 15
Keywords: Mathematics , Logic , Architecture, Computer , Computers , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Computer System Implementation , Theory of Computation , Logic
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9783709105252:ONLINE Show nearby items on shelf
Title:Advanced Arithmetic for the Digital Computer Design of Arithmetic Units
Author(s): Ulrich W Kulisch
Date:2002
Size:1 online resource (1 p.)
Note:10.1007/978-3-7091-0525-2
Contents:1. Fast and Accurate Vector Operations -- 1.1 Introduction -- 1.2 Implementation Principles -- 1.3 High-Performance Scalar Product Units (SPU) -- 1.4 Comments on the Scalar Product Units -- 1.5.1 Scalar Product Units for
Top-Performance Computers -- 1.6 Hardware Accumulation Window -- 1.7 Theoretical Foundation of Advanced Computer Arithmetic -- Bibliography and Related Literature -- 2. Rounding Near Zero -- 2.1 The one dimensional case -- 2.2 Rounding
in product spaces -- Bibliography and Related Literature -- 3. Interval Arithmetic Revisited -- 3.1 Introduction and Historical Remarks -- 3.2 Interval Arithmetic, a Powerful Calculus to Deal with Inequalities -- 3.3 Interval
Arithmetic as Executable Set Operations -- 3.4 Enclosing the Range of Function Values -- 3.5 The Interval Newton Method -- 3.6 Extended Interval Arithmetic -- 3.7 The Extended Interval Newton Method -- 3.8 Differentiation Arithmetic,
Enclosures of Derivatives -- 3.9 Interval Arithmetic on the Computer -- 3.10 Hardware Support for Interval Arithmetic
ISBN:9783709105252
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Arithmetic and logic units, Computer , Microprocessors , Architecture, Computer , Algorithms , Computer mathematics , Numerical analysis , Mathematics , Computational Science and Engineering , Arithmetic and Logic Structures , Processor Architectures , Computer System Implementation , Algorithms , Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9783642560262:ONLINE Show nearby items on shelf
Title:Computational Methods for Fluid Dynamics
Author(s): Joel H Ferziger
Date:2002
Edition:third, rev. edition
Size:1 online resource (426 p.)
Note:10.1007/978-3-642-56026-2
Contents:1. Basic Concepts of Fluid Flow -- 1.1 Introduction -- 1.2 Conservation Principles -- 1.3 Mass Conservation -- 1.4 Momentum Conservation -- 1.5 Conservation of Scalar Quantities -- 1.6 Dimensionless Form of Equations -- 1.7 Simplified
Mathematical Models -- 1.8 Mathematical Classification of Flows -- 1.9 Plan of This Book -- 2. Introduction to Numerical Methods -- 2.1 Approaches to Fluid Dynamical Problems -- 2.2 What is CFD? -- 2.3 Possibilities and Limitations of
Numerical Methods -- 2.4 Components of a Numerical Solution Method -- 2.5 Properties of Numerical Solution Methods -- 2.6 Discretization Approaches -- 3. Finite Difference Methods -- 3.1 Introduction -- 3.2 Basic Concept -- 3.3
Approximation of the First Derivative -- 3.4 Approximation of the Second Derivative -- 3.5 Approximation of Mixed Derivatives -- 3.6 Approximation of Other Terms -- 3.7 Implementation of Boundary Conditions -- 3.8 The Algebraic
Equation System -- 3.9 Discretization Errors -- 3.10 An Introduction to Spectral Methods -- 3.11 Example -- 4. Finite Volume Methods -- 4.1 Introduction -- 4.2 Approximation of Surface Integrals -- 4.3 Approximation of Volume Integrals
-- 4.4 Interpolation and Differentiation Practices -- 4.5 Implementation of Boundary Conditions -- 4.6 The Algebraic Equation System -- 4.7 Examples -- 5. Solution of Linear Equation Systems -- 5.1 Introduction -- 5.2 Direct Methods --
5.3 Iterative Methods -- 5.4 Coupled Equations and Their Solution -- 5.5 Non-Linear Equations and their Solution -- 5.6 Deferred-Correction Approaches -- 5.7 Convergence Criteria and Iteration Errors -- 5.8 Examples -- 6. Methods for
Unsteady Problems -- 6.1 Introduction -- 6.2 Methods for Initial Value Problems in ODEs -- 6.3 Application to the Generic Transport Equation -- 6.4 Examples -- 7. Solution of the Navier-Stokes Equations -- 7.1 Special Features of the
Navier-Stokes Equations -- 7.2 Choice of Variable Arrangement on the Grid -- 7.3 Calculation of the Pressure -- 7.4 Other Methods -- 7.5 Solution Methods for the Navier-Stokes Equations -- 7.6 Note on Pressure and Incompressibility --
7.7 Boundary Conditions for the Navier-Stokes Equations -- 7.8 Examples -- 8. Complex Geometries -- 8.1 The Choice of Grid -- 8.2 Grid Generation -- 8.3 The Choice of Velocity Components -- 8.4 The Choice of Variable Arrangement -- 8.5
Finite Difference Methods -- 8.6 Finite Volume Methods -- 8.7 Control-Volume-Based Finite Element Methods -- 8.8 Pressure-Correction Equation -- 8.9 Axi-Symmetric Problems -- 8.10 Implementation of Boundary Conditions -- 8.11 Examples
-- 9. Turbulent Flows -- 9.1 Introduction -- 9.2 Direct Numerical Simulation (DNS) -- 9.3 Large Eddy Simulation (LES) -- 9.4 RANS Models -- 9.5 Reynolds Stress Models -- 9.6 Very Large Eddy Simulation -- 10. Compressible Flow -- 10.1
Introduction -- 10.2 Pressure-Correction Methods for Arbitrary Mach Number -- 10.3 Methods Designed for Compressible Flow -- 11. Efficiency and Accuracy Improvement -- 11.1 Error Analysis and Estimation -- 12. Special Topics -- 12.1
Introduction -- 12.2 Heat and Mass Transfer -- 12.3 Flows With Variable Fluid Properties -- 12.4 Moving Grids -- 12.5 Free-Surface Flows -- 12.6 Meteorological and Oceanographic Applications -- 12.7 Multiphase flows -- 12.8 Combustion
-- A. Appendices -- A.l List of Computer Codes and How to Access Them -- A.2 List of Frequently Used Abbreviations -- References
ISBN:9783642560262
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Applied mathematics , Engineering mathematics , Physics , Continuum physics , Computational intelligence , Fluid mechanics , Mechanical engineering , Mathematics , Applications of Mathematics , Classical Continuum Physics , Mechanical Engineering , Engineering Fluid Dynamics , Computational Intelligence , Numerical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9781475736090:ONLINE Show nearby items on shelf
Title:Models for Parallel and Distributed Computation Theory, Algorithmic Techniques and Applications
Author(s):
Date:2002
Size:1 online resource (323 p.)
Note:10.1007/978-1-4757-3609-0
Contents:1 Introduction to the Complexity of Parallel Algorithms -- 2 The Combinatorics of Resource Sharing -- 3 On Solving the Static Task Scheduling Problem for Real Machines -- 4 Predictable Parallel Performance: The BSP Model -- 5 Discrete
computing with CGM -- 6 Parallel Graph Algorithms for Coarse-Grained Multicomputers -- 7 Parallel metaheuristics for combinatorial optimization -- 8 Parallelism in Logic Programming and Scheduling Issues -- 9 Parallel Asynchronous Team
Algorithms -- 10 Parallel Numerical Methods for Differential Equations
ISBN:9781475736090
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 67
Keywords: Computer science , Architecture, Computer , Computers , Computer science , Combinatorics , Computer Science , Computer System Implementation , Theory of Computation , Discrete Mathematics in Computer Science , Combinatorics , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9789401006781:ONLINE Show nearby items on shelf
Title:Practical Applications of Computational Intelligence Techniques
Author(s):
Date:2001
Size:1 online resource (381 p.)
Note:10.1007/978-94-010-0678-1
Contents:1. An introduction to computational intelligence paradigms -- 1 Computational intelligence – a formal definition -- 2 The logic of fuzzy sets -- 3 Computational models of neural nets -- 4 Genetic algorithms -- 5 Belief networks -- 6
Computational learning theory -- 7 Synergism of the computational intelligence paradigms -- 8 Conclusions and future directions -- References -- 2. Networked virtual park -- 1 Introduction -- 2 The attraction builder -- 3 Networked
virtual environment system -- 4 The server -- 5 Conclusion -- Acknowledgements -- References -- 3. Commercial coin recognisers using neural and fuzzy techniques -- 1 Introduction -- 2 Problem analysis and database compilation -- 3
Approach using artificial neural networks models -- 4 Approach using fuzzy logic models -- 5 Conclusions -- References -- 4. Fuzzy techniques in intelligent household appliances -- 1 Introduction -- 2 Fuzzy approaches for intelligent
devices -- 3 Introducing fuzziness to kitchen oven -- 4 Refrigerator-freezer control using fuzzy logic -- 5 Model and simulation of refrigerating-freezing appliance using one compressor -- 6 Hardware implementation -- 7 Decrease of
energy consumption from national point-of-view -- 8 Conclusion -- References -- 5. Neural prediction in industry: increasing reliability through use of confidence measures and model combination -- 1 Introduction -- 2 Paper curl
prediction -- 3 Neural network model development -- 4 Model combination -- 5 Confidence measures -- 6 Results -- 7 Discussion -- Acknowledgments -- References -- 6. Handling the back calculation problem in aerial spray models using a
genetic algorithm -- 1 Introduction -- 2 Early spray models -- 3 Genetic algorithms -- 4 Development of Fortran-SAGA -- 5 Development of VB-SAGA 1.0 -- 6 Development of VB-SAGA 2.0 -- 7 Summary and conclusions -- References -- 7.
Genetic algorithm optimization of a filament winding process modeled in WITNESS -- 1 Introduction -- 2 Filament winding model -- 3 Genetic algorithm interface -- 4 Results -- 5 Conclusions -- 6 Summary -- Acknowledgments -- References
-- 8.Genetic algorithm for optimizing the gust loads for predicting aircraft loads and dynamic response -- 1 Introduction -- 2 Problem statement and related mathematical underpinnings -- 3 An approach using genetic algorithm -- 4
Results of approach on linear aircraft model -- 5 Summary and conclusion -- Acknowledgments -- References -- 9. A stochastic dynamic programming technique for property market timing -- 1 Introduction -- 2 Review of theoretical
considerations -- 3 Specification of market timing model -- 4 Stochastic dynamic programming -- 5 Data used in the simulation study -- 6 Performance and evaluation tests -- 7 Conclusions -- References -- 10. A hybrid approach to breast
cancer diagnosis -- 1 Introduction -- 2 KBANNs -- 3 Metabolic features of cancerous breast tissues -- 4 Knowledge elicitation and refinement -- 5 31P MRS data -- 6 KBANN topology -- 7 Results -- 8 Conclusions -- Acknowledgements --
References -- 11. Artificial neural networks as a computer aid for lung disease detection and classification in ventilation-perfusion lung scans -- 1 Introduction -- 2 Artificial neural networks -- 3 Materials and methods -- 4 Results
-- 5 Discussion -- Acknowledgments -- References -- 12. Neural network for classification of focal liver lesions in ultrasound images -- 1 Introduction -- 2 Texture analysis of focal liver lesions by neural networks -- 3 Experimental
results -- 4 Discussion -- 5 Conclusions -- Acknowledgments -- Entropy -- Root mean square (RMS) variation -- First moment of power spectrum -- References
ISBN:9789401006781
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:International Series in Intelligent Technologies: 16
Keywords: Computer science , Artificial intelligence , Mathematical logic , Computer Science , Artificial Intelligence (incl. Robotics) , 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-2001-9781475756623:ONLINE Show nearby items on shelf
Title:Linear Programming Foundations and Extensions
Author(s): Robert J Vanderbei
Date:2001
Edition:Second Edition
Size:1 online resource (450 p.)
Note:10.1007/978-1-4757-5662-3
Contents:1. Basic Theory—The Simplex Method and Duality -- 1. Introduction -- 2. The Simplex Method -- 3. Degeneracy -- 4. Efficiency of the Simplex Method -- 5. Duality Theory -- 6. The Simplex Method in Matrix Notation -- 7. Sensitivity and
Parametric Analyses -- 8. Implementation Issues -- 9. Problems in General Form -- 10. Convex Analysis -- 11. Game Theory -- 12. Regression -- 2. Network-Type Problems -- 13. Network Flow Problems -- 14. Applications -- 15. Structural
Optimization -- 3. Interior-Point Methods -- 16. The Central Path -- 17. A Path-Following Method -- 18. The KKT System -- 19. Implementation Issues -- 20. The Affine-Scaling Method -- 21. The Homogeneous Self-Dual Method -- 4.
Extensions -- 22. Integer Programming -- 23. Quadratic Programming -- 24. Convex Programming -- Appendix A. Source Listings -- 1. The Self-Dual Simplex Method -- 2. The Homogeneous Self-Dual Method -- Answers to Selected Exercises
ISBN:9781475756623
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:International Series in Operations Research & Management Science: 37
Keywords: Mathematics , Operations research , Decision making , Computer science , Mathematical models , Mathematical optimization , Management science , Mathematics , Operations Research, Management Science , Operation Research/Decision Theory , 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-2000-9781475731552:ONLINE Show nearby items on shelf
Title:Nonlinear Assignment Problems Algorithms and Applications
Author(s):
Date:2000
Size:1 online resource (304 p.)
Note:10.1007/978-1-4757-3155-2
Contents:1 Multi Index Assignment Problems: Complexity, Approximation, Applications -- 2 MD Assignment of Data Association -- 3 Target-Based Weapon Target Assignment Problems -- 4 The Nonlinear Assignment Problem in Experimental High Energy
Physics -- 5 Three Index Assignment Problem -- 6 Polyhedral Methods for the QAP -- 7 Semidefinite Programming Approaches to the Quadratic Assignment Problem -- 8 Heuristics for Nonlinear Assignment Problems -- 9 Symbolic Scheduling of
Parameterized Task Graphs on Parallel Machines -- 10 Decomposition Algorithms for Communication Minimization in Parallel Computing
ISBN:9781475731552
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Combinatorial Optimization: 7
Keywords: Computer science , Microprocessors , Architecture, Computer , Computers , Mathematical models , Mathematical optimization , Calculus of variations , Computer Science , Processor Architectures , Computer System Implementation , Optimization , Theory of Computation , Mathematical Modeling and Industrial Mathematics , 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-1999-9789401591539:ONLINE Show nearby items on shelf
Title:Cellular Automata A Parallel Model
Author(s):
Date:1999
Size:1 online resource (374 p.)
Note:10.1007/978-94-015-9153-9
Contents:A general survey -- An Introduction to Cellular Automata -- The Game of Life: Universality Revisited -- Algorithmics -- Computations on Cellular Automata -- Computations on Grids -- Computational power -- Cellular Automata as
Languages Recognizers -- Computational Complexity of Cellular Automata: An Overview -- A Counting Equivalence Classes Method to Prove Negative Results -- Dynamics -- Topological Definitions of Deterministic Chaos -- Modeling --
Modeling Diffusion of Innovations with Probabilistic Cellular Automata -- Cellular Automata Models and Cardiac Arrhythmias -- Particular techniques examples -- Dynamic Properties of an Automaton with Memory -- Linear Cellular Automata
and de Bruijn Automata -- Cellular Automata, Finite Automata, and Number Theory -- Decision Problems on Global Cellular Automata -- An Introduction to Automata on Graphs
ISBN:9789401591539
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 460
Keywords: Computer science , Architecture, Computer , Computers , Computer science , System theory , Combinatorics , Computer Science , Computer System Implementation , Theory of Computation , Combinatorics , Systems Theory, Control , 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-1999-9783662011706:ONLINE Show nearby items on shelf
Title:Computational Partial Differential Equations Numerical Methods and Diffpack Programming
Author(s): Hans Petter Langtangen
Date:1999
Size:1 online resource (685 p.)
Note:10.1007/978-3-662-01170-6
Contents:1 Getting Started -- 1.1 The First Diffpack Encounter -- 1.2 Steady 1D Heat Conduction -- 1.3 Simulation of Waves -- 1.4 Projects -- 1.5 About Programming with Objects -- 1.6 Coding the PDE Simulator as a Class -- 1.7 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 1D 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 Adaptive Grids -- 3.7 Projects -- 3.8 A Convection-Diffusion Solver --
3.9 A Heat Equation Solver -- 3.10 A More Flexible Heat Equation Solver -- 3.11 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 -- 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 Example: Analysis
of the Heat Equation -- A.5 Exploring the Nature of Some PDEs -- 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 Basic
Diffpack Features -- B.3.1 Diffpack man pages -- B.3.2 Standard Command-Line Options -- B.3.3 Generalized Input and Output -- B.3.4 Automatic Verification of a Code -- B.4 Visualization Support -- B.4.1 Curves -- B.4.2 Scalar and
Vector Fields -- B.5 Details on Finite Element Programming -- B.5.1 Basic Functions for Finite Element Assembly -- B.5.2 Using Functors for the Integrands -- B.5.3 Class Relations in the Finite Element Engine -- B.6 Optimizing Diffpack
Codes -- B.6.1 Avoiding Repeated Matrix Factorizations -- B.6.2 Avoiding Repeated Assembly of Linear Systems -- B.6.3 Optimizing the Assembly Process -- B.6.4 Optimizing Array Indexing -- 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 Decomposition -- 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
ISBN:9783662011706
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Computational Science and Engineering: 2
Keywords: Mathematics , Computer programming , Mathematical analysis , Analysis (Mathematics) , Computer mathematics , Physics , Computational intelligence , Mathematics , Computational Mathematics and Numerical Analysis , Computational Intelligence , Analysis , Mathematical Methods in Physics , Numerical and Computational Physics , 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-1999-9781461215424:ONLINE Show nearby items on shelf
Title:Evolutionary Algorithms
Author(s):
Date:1999
Size:1 online resource (293 p.)
Note:10.1007/978-1-4612-1542-4
Contents:Genetic algorithms as multi-coordinators in large-scale optimization -- Telecommunication network optimization with genetic algorithms: A decade of practice -- Using evolutionary algorithms to search for control parameters in a
nonlinear partial differential equation -- Applying genetic algorithms to real-world problems -- An overview of evolutionary programming -- A hierarchical genetic algorithm for system identification and curve fitting with a
supercomputer implementation -- Experiences with the PGAPack parallel genetic algorithm library -- The significance of the evaluation function in evolutionary algorithms -- Genetic algorithm optimization of atomic clusters -- Search,
binary representations and counting optima -- An investigation of GA performance results for different cardinality alphabets -- Genetic algorithms and the design of experiments -- Efficient parameter optimization based on combination
of direct global and local search methods -- What are genetic algorithms? A mathematical prespective -- Survey of projects involving evolutionary algorithms sponsored by the Electric Power Research Institute
ISBN:9781461215424
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:The IMA Volumes in Mathematics and its Applications: 111
Keywords: Computer science , Artificial intelligence , Computer Science , 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-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-9783642457678:ONLINE Show nearby items on shelf
Title:Stochastic Programming Methods and Technical Applications Proceedings of the 3rd GAMM/IFIP-Workshop on “Stochastic Optimization: Numerical Methods and Technical Applications” held at the Federal Armed Forces University Munich, Neubiberg/München, Germany, June 17–20, 1996
Author(s):
Date:1998
Size:1 online resource (437 p.)
Note:10.1007/978-3-642-45767-8
Contents:I. Tutorial Papers -- Bounds for and Approximations to Stochastic Linear Programs with Recourse — Tutorial -- Optimal Power Generation under Uncertainty via Stochastic Programming -- Position and Controller Optimization for Robotic
Parts Mating -- Some Basic Principles of Reliability-Based Optimization (RBO) of Structures and Mechanical Components -- II. Theoretical Models and Conceptual Methods -- Stochastic Optimization Approach to Dynamic Problems with Jump
Changing Structure -- Reflections on Robust Optimization -- On Constrained Discontinuous Optimization -- On the Equivalence in Stochastic Programming with Probability and Quantile Objectives -- A Note on Multifonctions in Stochastic
Programming -- Approximation to Extremum Problems with Probability Cost Functionals -- Global Optimization of Probabilities by the Stochastic Branch and Bound Method -- Robust Stability of Interval Matrices: a Stochastic Approach -- A
Note on Preprocessing via Fourier-Motzkin Elimination in Two-Stage Stochastic Programming -- Bounds for the Reliability of k-out-of-connected-(r,s)-from-(m,n): F Lattice Systems -- On a Relation between Problems of Calculus of
Variations and Mathematical Programming -- III. Numerical Methods and Computer Support -- Parameter Sensitivity of Deterministic and Stochastic Search Methods -- Regression Estimators related to Multinormal Distributions: Computer
Experiences in Root Finding -- Some Aspects of Algorithmic Differentiation of Ordinary Differential Equations -- Refinement Issues in Stochastic Multistage Linear Programming -- On Solving Stochastic Linear Programming Problems -- IV.
Technical Applications -- On an ON/OFF Type Source with Long Range Correlations -- Optimization Methods in Structural Reliability -- Mathematical Aspects of the Boundary Initial Value Problems for Thermoelasticity Theory of Non-simple
Materials with Control for Temperature -- Stochastic Trajectory Planning for Manutec r3 with Random Payload -- Implementation of the Response Surface Method (RSM) for Stochastic Structural Optimization Problems -- Optimization of an
Engine Air Intake System for Minimum Noise Transmission using Function Approximation Concepts -- Stochastic Structural Optimization of Powertrain Mounting Systems with Dynamic Constraints
ISBN:9783642457678
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Economics and Mathematical Systems: 458
Keywords: Mathematics , Operations research , Decision making , Calculus of variations , Probabilities , Mathematics , Probability Theory and Stochastic Processes , Operation Research/Decision Theory , 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-1998-9781475727913:ONLINE Show nearby items on shelf
Title:Optical Interconnections and Parallel Processing: Trends at the Interface
Author(s):
Date:1998
Size:1 online resource (394 p.)
Note:10.1007/978-1-4757-2791-3
Contents:1 Levels of Abstraction in Computing Systems and Optical Interconnection Technology -- 1 Introduction -- 2 Levels of abstraction in problem solving -- 3 Alternative systems of levels of abstraction for general purpose computing? -- 4
General purpose systems versus special purpose systems -- 5 Introducing optics into general purpose systems -- 6 Discussion -- 7 Conclusions -- 2 Smart-Pixel Technology Current Status and Future Trends -- 1 Introduction -- 2
Smart-Pixel Technology -- 3 Basic considerations -- 4 The bitonic sorter -- 5 Future Trends -- 6 Potential Application -- 7 Conclusion -- 3 Energy Requirement and Speed Analysis of Electrical and Free-Space Optical Digital
Interconnections -- 1 Introduction -- 2 Assumptions -- 3 Definition of Interconnection and Estimation of Energy -- 4 Speed and Energy of Off-Chip Electrical Interconnections -- 5 Speed and Energy of On-Chip Electrical Interconnections
-- 6 Optical Interconnections -- 7 Effects of Technology Scaling -- 8 Conclusions -- 4 Low Latency Asynchronous Optical Bus for Distributed Multiprocessor Systems -- 1 Introduction -- 2 Organization of the optical bus -- 3 30-100 Gb /
s Optical Bus with full electronic packet processing -- 4 0.5–1 Tb / s Optical bus with photonic gates -- 5 Conclusion -- 5 Optical Free-Space Interconnections Inside Parallel Architectures: Oneracert Activities -- 1 Introduction -- 2
Time and Space Multiplexing -- 3 The MILORD Architecture -- 4 The OEDIPE Architecture -- 6 Massively Parallel Computers Using Optical Interconnects — The Synoptique Project — -- 1 Introduction -- 2 Description of Sympati2 and Symphonie
-- 3 Limitations of the Electrical Interconnections -- 4 Synoptique project -- 5 Conclusion and future work -- 7 Optical Array Logic Network Computing: Concept and Implementation -- 1 Introduction -- 2 Optical Array Logic -- 3 OAL-NC
Architecture -- 4 Implementation of OAL-NC -- 5 Multiple Process Embodiment -- 6 Possible OAL-NC System Construction -- 7 Summary -- 8 Towards Effective Models for Optical Passive Star Based Lightwave Networks -- 1 Introduction -- 2
OPS—based networks -- 3 Stack-graphs -- 4 Modeling OPS—based networks -- 5 Applying the models -- 6 Conclusions and directions for further research -- 9 Embedding Properties of Reconfigurable Partitionable Optical Networks -- 1
Introduction -- 2 The “Hyperplane” Reconfigurable Optical Backplane -- 3 Graph and HyperGraph Models for Bus-Based Optical Networks -- 4 A Model for Reconfigurable Partitionable Optical Interconnects -- 5 Combinatorial Optimization
Problems Encountered in the Optical Embeddings -- 6 Embeddings of Meshes -- 7 Conclusions -- 10 Time Division Multiplexed Control of All-Optical Interconnection Networks -- 1 Introduction -- 2 Circuit Switching Techniques -- 3 Cost of
Communication in TDM Networks -- 4 Communication Cost in Looping Programs -- 5 Conclusions -- 11 Bounds and Analysis Techniques for Greedy Hot-Potato Routing -- 1 Introduction -- 2 The Model, Terminology, Definitions and Preliminaries
-- 3 The Potential Function Analysis: Priority to Restricted Packets -- 4 Priority to Inertial Packets -- 5 Optimal Single-Target Routing on the 2-Dimensional Mesh -- 6 Randomized Single-Target Routing on Higher Dimensional Meshes -- 7
Greedy Routing of Permutations Can be Hard -- 8 Conclusions -- 12 Models for Optically Interconnected Networks -- 1 Introduction -- 2 Switching techniques -- 3 Topologies: from graph to hypergraph models -- 4 Collective communications
-- 5 Introducing optical communications in general models of parallelism -- 6 Conclusion
ISBN:9781475727913
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Microprocessors , Computer communication systems , Computers , Optics , Electrodynamics , Optoelectronics , Plasmons (Physics) , Physics , Optics and Electrodynamics , Theory of Computation , Optics, Optoelectronics, Plasmonics and Optical Devices , Processor Architectures , Computer Communication Networks
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9781461554738:ONLINE Show nearby items on shelf
Title:Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
Author(s): Bilal M Ayyub
Date:1998
Size:1 online resource (371 p.)
Note:10.1007/978-1-4615-5473-8
Contents:1. The Role of Constrained Fuzzy Arithmetic in Engineering -- 2. General Perspective on the Formalization of Uncertain Knowledge -- 3. Distributional Representations of Random Interval Measurements -- 4. A Fuzzy Morphology: a Logical
Approach -- 5. Reliability Analysis with Fuzziness and Randomness -- 6. Fuzzy Signal Detection with Multiple Waveform Features -- 7. Uncertainty Modeling of Normal Vibrations -- 8. Modeling and Implementation of Fuzzy Time Point
Reasoning in Microprocessor Systems -- 9. Model Learning with Bayesian Networks for Target Recognition -- 10. System Life Cycle Optimization Under Uncertainty -- 11. Valuation-Based Systems for Pavement Management Decision Making --
12. Hybrid Least-Square Regression Analysis -- 13. Linear Regression with Random Fuzzy Numbers -- 14. Neural Net Solutions to Systems of Fuzzy Linear Equations -- 15. Fuzzy Logic: A Case Study in Performance Measurement -- 16. Fuzzy
Genetic Algorithm Based Approach to Machine Learning Under Uncertainty -- 17. Recurrent Neuro-Fuzzy Models of Complex Systems -- 18. Adaptive Fuzzy Systems with Sinusoidal Membership Functions -- 19. A Computational Method for Fuzzy
Optimization -- 20. Interaction of Fuzzy Knowledge Granules for Conjunctive Logic -- 21. Fuzzy Decision Processes with Expected Fuzzy Rewards -- 22. On the Computability of Possibilistic Reliability -- 23. Distributed Reasoning with
Uncertain Data -- 24. A Fresh Perspective on Uncertainty Modeling: Uncertainty vs. Uncertainty Modeling -- About the Editors
ISBN:9781461554738
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:International Series in Intelligent Technologies: 11
Keywords: Computer science , Operations research , Decision making , Artificial intelligence , Mathematical logic , Calculus of variations , Computer Science , Artificial Intelligence (incl. Robotics) , Mathematical Logic and Foundations , Calculus of Variations and Optimal Control Optimization , 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-9789401157407:ONLINE Show nearby items on shelf
Title:VLSI Planarization Methods, Models, Implementation
Author(s): V Feinberg
Date:1997
Size:1 online resource (186 p.)
Note:10.1007/978-94-011-5740-7
Contents:1 Discrete Mathematics Fundamentals -- 1.1 Graphs And Hypergraphs -- 1.2 Algorithms And Their Complexity -- 1.3 Algorithms In Graphs -- 1.4 Intractable Problems -- 2 Graph Planarization -- 2.1 Planar Graphs. Graph Planarity Criteria
-- 2.2 Graph Planarity Testing Algorithms -- 2.3 Approximation Algorithm for Graph Planarization -- 3 Hypergraph Planarization -- 3.1 The Concept of Planar Hypergraph -- 3.2 Planarity of Different Hypergraph Classes -- 3.3 Hypergraph
Nonplanarity Measures. Statement of Hypergraph Planarization Problem -- 3.4 Decomposition Methods of Hypergraph Planarization -- 4 Mathematical Models for VLSI Planarization Problem -- 4.1 Graph versus Hypergraph VLSI Models -- 4.2
VLSI Models with Specified Element Models -- 4.3 Dynamic VLSI Models -- 5 Extracting a Maximum Planar VLSI Part -- 5.1 Extracting a Maximum Planar VLSI Part as a Hypergraph Planarization Problem -- 5.2 Iteration Algorithm for
Hypergraph Planarization -- 5.3 Hypergraph Planarization by Konig Representation -- 5.4 Operations of Local Embedding Optimization -- 6 Constructing Nonplanar Connections -- 6.1 Graph Model for Nonplanar Connections -- 6.2 Constructing
a Nonplanar Connection as a Steiner Problem in a Weighted Graph -- 6.3 Ordering Nonplanar Connections to be Constructed -- 7 Planarization System Structure -- 7.1 Purpose and Functions of the System -- 7.2 Planarization System
Structure. Logic Diagram -- 7.3 Data Organization in Planarization System -- 7.4 Some Aspects of the Practical Use of the Planarization System -- References
ISBN:9789401157407
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 399
Keywords: Engineering , Computers , Computer science , Algorithms , Electrical engineering , Engineering , Electrical Engineering , Computing Methodologies , Algorithms , Discrete Mathematics in Computer Science , Theory of Computation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9783642979668:ONLINE Show nearby items on shelf
Title:Self-Organizing Maps
Author(s): Teuvo Kohonen
Date:1997
Edition:Second Edition
Size:1 online resource (426 p.)
Note:10.1007/978-3-642-97966-8
Contents:1. Mathematical Preliminaries -- 1.1 Mathematical Concepts and Notations -- 1.2 Distance Measures for Patterns -- 1.3 Statistical Pattern Recognition -- 1.4 The Subspace Methods of Classification -- 1.5 The Robbins-Monro Stochastic
Approximation -- 1.6 Dynamically Expanding Context -- 2. Justification of Neural Modeling -- 2.1 Models, Paradigms, and Methods -- 2.2 On the Complexity of Biological Nervous Systems -- 2.3 Relation Between Biological and Artificial
Neural Networks -- 2.4 What Functions of the Brain Are Usually Modeled? -- 2.5 When Do We Have to Use Neural Computing? -- 2.6 Transformation, Relaxation, and Decoder -- 2.7 Categories of ANNs -- 2.8 Competitive-Learning Networks --
2.9 Three Phases of Development of Neural Models -- 2.10 A Simple Nonlinear Dynamic Model of the Neuron -- 2.11 Learning Laws -- 2.12 Brain Maps -- 3. The Basic SOM -- 3.1 The SOM Algorithm in the Euclidean Space -- 3.2 The
“Dot-Product SOM” -- 3.3 Preliminary Demonstrations of Topology-Preserving Mappings -- 3.4 Basic Mathematical Approaches to Self-Organization -- 3.5 Initialization of the SOM Algorithms -- 3.6 On the “Optimal” Learning-Rate Factor --
3.7 Effect of the Form of the Neighborhood Function -- 3.8 Magnification Factor -- 3.9 Practical Advice for the Construction of Good Maps -- 3.10 Examples of Data Analyses Implemented by the SOM -- 3.11 Using Gray Levels to Indicate
Clusters in the SOM -- 3.12 Derivation of the SOM Algorithm in the General Metric -- 3.13 What Kind of SOM Actually Ensues from the Distortion Measure? -- 3.14 Batch Computation of the SOM (“Batch Map”) -- 3.15 Further Speedup of SOM
Computation -- 4. Physiological Interpretation of SOM -- 4.1 Two Different Lateral Control Mechanisms -- 4.2 Learning Equation -- 4.3 System Models of SOM and Their Simulations -- 4.4 Recapitulation of the Features of the Physiological
SOM Model -- 5. Variants of SOM -- 5.1 Overview of Ideas to Modify the Basic SOM -- 5.2 Adaptive Tensorial Weights -- 5.3 Tree-Structured SOM in Searching -- 5.4 Different Definitions of the Neighborhood -- 5.5 Neighborhoods in the
Signal Space -- 5.6 Dynamical Elements Added to the SOM -- 5.7 Operator Maps -- 5.8 Supervised SOM -- 5.9 The Adaptive-Subspace SOM (ASSOM) -- 5.10 Feedback-Controlled Adaptive-Subspace SOM (FASSOM) -- 6. Learning Vector Quantization
-- 6.1 Optimal Decision -- 6.2 The LVQ1 -- 6.3 The Optimized-Learning-Rate LVQ1 (OLVQ1) -- 6.4 The LVQ2 (LVQ2.1) -- 6.5 The LVQ3 -- 6.6 Differences Between LVQ1, LVQ2 and LVQ3 -- 6.7 General Considerations -- 6.8 The Hypermap-Type LVQ
-- 6.9 The “LVQ-SOM” -- 7. Applications -- 7.1 Preprocessing of Optic Patterns -- 7.2 Acoustic Preprocessing -- 7.3 Process and Machine Monitoring -- 7.4 Diagnosis of Speech Voicing -- 7.5 Transcription of Continuous Speech -- 7.6
Texture Analysis -- 7.7 Contextual Maps -- 7.8 Organization of Large Document Files -- 7.9 Robot-Arm Control -- 7.10 Telecommunications -- 7.11 The SOM as an Estimator -- 8. Hardware for SOM -- 8.1 An Analog Classifier Circuit -- 8.2
Fast Digital Classifier Circuits -- 8.3 SIMD Implementation of SOM -- 8.4 Transputer Implementation of SOM -- 8.5 Systolic-Array Implementation of SOM -- 8.6 The COKOS Chip -- 8.7 The TInMANN Chip -- 9. An Overview of SOM Literature --
9.1 General -- 9.2 Early Works on Competitive Learning -- 9.3 Status of the Mathematical Analyses -- 9.4 Survey of General Aspects of the SOM -- 9.5 Modifications and Analyses of LVQ -- 9.6 Survey of Diverse Applications of SOM -- 9.7
Applications of LVQ -- 9.8 Survey of SOM and LVQ Implementations -- 9.9 New References in the Second Edition -- 10. Glossary of “Neural” Terms -- References
ISBN:9783642979668
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 30
Keywords: Computer science , Neurosciences , Data mining , Artificial intelligence , Mathematics , Biophysics , Biological physics , Electrical engineering , Computer Science , Artificial Intelligence (incl. Robotics) , Data Mining and Knowledge Discovery , Neurosciences , Biophysics and Biological Physics , Communications Engineering, Networks , 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-1997-9783642591952:ONLINE Show nearby items on shelf
Title:Visualization and Mathematics Experiments, Simulations and Environments
Author(s):
Date:1997
Size:1 online resource (388 p.)
Note:10.1007/978-3-642-59195-2
Contents:I. Visualizing Mathematics -- The Minimax Sphere Eversion -- Exploring Plane Hyperbolic Geometry -- Visualizing Nonlinear Electrodynamics -- The Use of Computer Graphics for Solving Problems in Singularity Theory -- What Should a
Surface in 4-Space Look Like? -- Animation of Algebraic Surfaces -- II. Geometric Algorithms and Experiments -- Using Symmetry Features of the Surface Evolver to Study Foams -- Constant Mean Curvature Surfaces Derived from Delaunay’s
and Wente’s Examples -- Visualization of Periodic Tilings -- An Algorithm for Discrete Constant Mean Curvature Surfaces -- III. Visualization Algorithms and Data Structures -- Efficient Calculation of Subdivision Surfaces for
Visualization -- Fast Line Integral Convolution for Arbitrary Surfaces in 3D -- Visualization of Parallel Data based on Procedural Access -- IV. Visualization Environments -- A new 3D Graphics Library: Concepts, Implementation, and
Examples -- A Generic Approach to Computer Graphics -- MRT — A Visualization Tool Addressing Problems ‘outside’ the Classical Rendering Domain -- Oorange: A Virtual Laboratory for Experimental Mathematics -- Linear Inductive Reductive
Dataflow System for ViSC -- See what I mean? Using Graphics Toolkits to Visualise Numerical Data -- V. Visualization and Simulation Techniques -- Numerical Algorithms and Visualization in Medical Treatment Planning -- Level Set Methods
for Curvature Flow, Image Enchancement, and Shape Recovery in Medical Images -- Numerical Methods, Simulations and Visualization for Compressible Flows -- Appendix: Color Plates
ISBN:9783642591952
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer graphics , Global analysis (Mathematics) , Manifolds (Mathematics) , Visualization , Differential geometry , Topology , Mathematics , Visualization , Differential Geometry , Computer Graphics , Global Analysis and Analysis on Manifolds , Topology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9783322899415:ONLINE Show nearby items on shelf
Title:Boundary Elements: Implementation and Analysis of Advanced Algorithms Proceedings of the Twelfth GAMM-Seminar Kiel, January 19–21, 1996
Author(s):
Date:1996
Size:1 online resource (VIII, 274p p.)
Note:10.1007/978-3-322-89941-5
Contents:Multiscale methods for boundary integral equations and their application to boundary value problems in scattering theory and geodesy -- Cubature techniques for 3-D Galerkin BEM -- A Galerkin-type boundary element implementation for 3D
elasticity problems by using a computer algebra system -- Preconditioning boundary element equations -- Local a-posteriori error estimators for the discretization of boundary integral equations -- On spline approximation methods for
singular integral equations over plane domains -- Hierarchical basis preconditioned for coupled FEM-BEM equations -- Multigrid and multipole techniques in the boundary integral equation methods -- Rapid parallel evaluation of integrals
in potential theory on general three dimensional regions -- Additive Schwarz methods for weakly singular integral equations in IR3 — the p-version -- Adaptive schemes for multiscale discretisations of boundary integral equations --
Domain decomposition boundary element methods: preprocessing and parallel solution -- Object oriented design aspects for boundary element methods -- Parallel setup for Galerkin equation system for a geodetic boundary value problem --
On the implementation of the h-p-boundary element method on curved surfaces -- Realization of hp-Galerkin BEM in IR3 -- A symmetrical boundary element formulation for sound transmission through cabin walls -- An extraction technique
for boundary element methods -- Fast solvers for the symmetric boundary element method -- A two-grid method for coupling FEM and BEM in elasticity -- A multipole boundary element method for two dimensional elastostatics -- List of
participants -- How to contact the authors by email
ISBN:9783322899415
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Notes on Numerical Fluid Mechanics (NNFM): 50
Keywords: Engineering , Engineering , 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-1995-9789401101875:ONLINE Show nearby items on shelf
Title:Quality of Communication-Based Systems Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Author(s):
Date:1995
Size:1 online resource (195 p.)
Note:10.1007/978-94-011-0187-5
Contents:Contributions to Quality from Specification Techniques -- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes -- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs --
Specification of Concurrent Systems: from Petri Nets to Graph Grammars -- Towards a Theory of Strong Bisimulation for the Service Rendezvous -- Contributions to Quality from Quantitative Modelling -- Transient Analysis of Real-Time
Systems Using Deterministic and Stochastic Petri Nets -- Performance Modeling with Structured Actions -- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables -- Discrete Time
Deterministic and Stochastic Petri Nets -- Contributions to Quality from Distributed Systems Organization -- Bauhaus Linda: An Overview -- Naming and Typing in Languages for Coordination in Open Distributed System -- An Efficient
Implementation of Decoupled Communication in Distributed Environments -- Extending the Rôle of Object References in Distributed Systems -- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks
ISBN:9789401101875
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Microprocessors , Computer communication systems , Programming languages (Electronic computers) , Category theory (Mathematics) , Homological algebra , System theory , Mathematics , Category Theory, Homological Algebra , Mathematics, general , Computer Communication Networks , Systems Theory, Control , Processor Architectures , 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-1995-9780585280004:ONLINE Show nearby items on shelf
Title:Fuzzy Logic and Intelligent Systems
Author(s):
Date:1995
Size:1 online resource (450 p.)
Note:10.1007/b102307
Contents:Improvement of Fuzzy Control Methods -- Neural Networks and Fuzzy Basis Functions for Functional Approximation -- Ordering Fuzzy Real Quantities -- Fuzzy Logic Controllers for Aircraft Flight Control -- A Classical Controller: A
Special Case of The Fuzzy Logic Controller -- Real Time Fuzzy Logic Controller for Balancing a Beam-and-Ball System -- Design of Fuzzy Controllers Based on Frequency And Transient Characteristics -- Fuzzy Inference Integrating 3D
Measuring System with Adaptive Sensing Strategy -- Robot Hand-Eye Coordination Based on Fuzzy Logic -- Using FPGA Technique for Design and Implementation of a fuzzy Inference System -- An Empirical Analysis of One Type of Direct
Adaptive Fuzzy Control -- Automatic Optimal Design of Fuzzy Systems Based on Universal Approximation and Evolutionary Programming -- Intelligent Control Using Dynamic Neural Networks with Robotic Applications -- Camcorder Operation
Judgement Using a Neural Computing Approach -- Model Reduction and Control of Multistage Flash (MSF) Desalinization Plants
ISBN:9780585280004
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:International Series in Intelligent Technologies: 3
Keywords: Mathematics , Operations research , Decision making , Computer science , Artificial intelligence , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Artificial Intelligence (incl. Robotics) , Operation Research/Decision Theory , Computer Science, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1994-9783709193464:ONLINE Show nearby items on shelf
Title:Robotics in Alpe-Adria Region Proceedings of the 2nd International Workshop (RAA ’93), June 1993, Krems, Austria
Author(s):
Date:1994
Size:1 online resource (230 p.)
Note:10.1007/978-3-7091-9346-4
Contents:Surveys -- Robotics Research in Austria -- Considerations on Objectives, Tasks and Organisation of Alpe-Adria Centre for Robotics and Automation -- Advanced Control Concepts for Industrial Robots -- IMProvement in Automation and
Control Technology — A Joint European Initiative -- Robotics Research in Alpe Adria -- Research Activities in Robotics at RISC — Linz -- Applied Robotics Group Research Activities at the ITIA — Institute for Industrial Technologies and
Automation of CNR -- Robotic Research at the Scientific Academy of Lower Austria -- Robot Kinematics and Kinetics -- Robot Wrist Configurations, Mechanisms and Kinematics -- Parallel Evaluation of Robot Kinematic Transformations --
Robot Arm Modelling and Control -- Dynamic Model of a Mobile Robot for Analyzing End-effector Deviations Caused from Ground Unevenness -- Construction, Design and Simulation of Robots -- Considerations for the Construction of
Lightweight Robots -- Design and Construction of a Modular Robot with Eulerian Joints -- Design of SCARA Robot -- Design and Measures for Lightweight Industrial Robots -- Designing Manipulators for a Robotized Manufacturing -- Optimal
Stochastic Design of a Parallel Robot for Tolerance -- USIS — an Advanced 3D-Robot Simulation System -- Emulation of Articulated Robots -- ALMORO — Symbolic Robot Dynamics Customizer -- Techniques to Improve the Performance of an
Industrial SCARA Robot -- Robot Control -- Experimental Multiprocessor Robot Controller -- Implementation of a Low Cost Robot Controller PC-ROBOCONT on Hydraulic Robot for Spray Painting G-201 -- Robust Adaptive Lyapunov — based Robot
Control -- Stability of Hybrid Position/Force Control Scheme during Free Motion -- Sensors and Mobile Robots -- Recognition of Three-dimensional Objects Using Two-dimensional Subspaces Gained by Intersections -- Multi-sensor Technique
for Increasing Intelligence of Assembly Robots -- Design of a Planetary Leg Mechanism Using Chebyshev’s Optimization Method -- A New Hybrid Locomotion Mobile Robot for Semi-structured Environments -- Commanding a Robot by Voice: Speech
and Autonomous Navigation for the Mobile Robot of MAIA -- Applications -- Robot Welding of Tubes -- CAD for Robot Workcells in Battery Manufacturing -- An Automatic Control on Band Saw Tool Vibrations in the Primar Cutting Process --
Low Cost CAD/CAM-coupling Applications of Artificial Intelligence to Robotic Assembly -- Robots in Manufacturing Cells -- Scheduling in Flexible Manufacturing Systems, Supported through Cyclic Net Analysis -- Computer Aided Planning of
Robotized Assembly Systems -- A User-friendly Software Tool for the Semiautomatic Design of Small Assembly Cells -- Data Structures and Procedures for Computer Representation of Robot Cells -- Robots in Testing -- Robot Guided
Anthropoidic Measuring Device -- Circular Test: a New Method for Testing Industrial Robots -- A Low Cost Robot System for Stylus and Workpiece Manipulation in Computer Aided Quality Control -- Low Cost Automated Measuring System for
Circularity Measurements -- Rationalization of the CAD Data Management in Quality Assurance Systems -- Various Aspects -- Modular Parallel Gripper System -- Robotics in Transportation
ISBN:9783709193464
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computer-aided engineering , Mechanics , Engineering design , Control engineering , Robotics , Mechatronics , Physics , Mechanics , Engineering Design , Control, Robotics, Mechatronics , Computer-Aided Engineering (CAD, CAE) and Design
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9783642468087:ONLINE Show nearby items on shelf
Title:Information Systems and Data Analysis Prospects — Foundations — Applications
Author(s):
Date:1994
Size:1 online resource (463 p.)
Note:10.1007/978-3-642-46808-7
Contents:I: Information Processing, Classification-Based Approaches, Linguistic and Conceptual Analysis -- Learning and Case-Based Reasoning -- Induction and Case-Based Reasoning for Classification Tasks -- Symbolic Learning and
Nearest-Neighbor Classification -- Nonstandard Concepts of Similarity in Case-Based Reasoning -- Learning from Cases for Classification Problem Solving -- Approaches Based on Linguistic Analysis -- Methods of Phoneticizing in Regard to
Spelling Variants of Medical Phrases -- Disambiguating Lexical Meaning: Conceptual meta-modelling as a means of controlling semantic language analysis -- Information Retrieval Using Conceptual Representations of Phrases -- Information
Processing and Design of Information Systems -- Communication in Distributed Heterogenous Systems -- Prerequisites and Development Perspectives for Information Processing in the Social Sciences -- Aspects of Coupling Logic Programming
and Databases -- Processing Scientific Networks in Bibliographic Databases -- Object-Oriented Systems Analysis Applied to the Method Component of a Knowledge-Based System for Data Analysis -- Classification Based Query Evaluation in
Knowledge Base Systems -- Uncertainity and Neural Networks -- Neural Networks: Architectures, Learning and Performance -- Reasoning with Uncertainty in Diagnostic Systems -- Conceptual Approaches -- Der klassische und der moderne
Begriff des Begriffs. Gedanken zur Geschichte der Begriffsbildung in den exakten Wissenschaften -- Ideas of Algebraic Concept Analysis -- Conceptual Structures in Mathematical Logic and Their Formal Representation -- II: Mathematical
and Statistical Methods for Classification and Data Analysis -- Clustering and Discrimination -- Three-Mode Hierarchical Cluster Analysis of Three-Way Three-Mode Data -- The Testing of Data Structures with Graph-Theoretical Models --
Geometric Approach to Evaluating Probabilities of Correct Classification into two Gaussian or Spherical Categories -- Jackknife Estimates of Similarity Coefficients Obtained from Quadrat Sampling of Species -- Clustering Techniques in
the Computing Environment XploRe -- On the Application of Discriminant Analysis in Medical Diagnostics -- Similarity Searching in Databases of Three-Dimensional Chemical Structures -- Feature Generation and Classification of Time
Series -- Data Analysis Methods -- TRIPAT: a Model for Analyzing Three-Mode Binary Data -- Block-relaxation Algorithms in Statistics -- Multidimensional Scaling with lp-Distances, a Unifying Approach -- Universal Optimality of Rank
Constrained Matrix Approximation -- The Analysis of Spatial Data from Marine Ecosystems -- Automatic Decomposition of Lattice Data including Missing Values and Boundaries -- III: Genome and Molecular Sequence Analysis -- Classification
and Data Analysis in Genome Projects: Some Aspects of Mapping, Alignment and Tree Reconstruction -- Multiple Alignment of Protein Sequences and Construction of Evolutionary Trees based on Amino Acid Properties — an Algebraic Approach
-- How to Deal With Third Codon Positions in Phylogenetic Analysis -- Machine Learning for Protein Structure Prediction -- A Parallel-Processor Implementation of an Algorithm to Delineate Distantly Related Protein Sequences using
Conserved Motifs and Neural Networks -- IV: Applied Data Analysis in Special Fields -- Economy and Marketing -- Knowledge-Based Selection and Application of Quantitative Models of Consumer Behavior -- Goodwill towards Domestic Products
as Segmentation Criterion: An Empirical Study within the Scope of Research on Country-of-Origin Effects -- Archeology -- Merovingian Glass Beads: An Essay of Classification -- Screening in Medicine -- Statistical Measures to Quantify
the Benefit from Screening: a Case Study on Cholesterol Screening -- Evaluation of Screening in Case-Control Studies: an Alternative to Randomized Controlled Trials? -- List of Authors
ISBN:9783642468087
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Health informatics , Computer science , Bioinformatics , Computational biology , Probabilities , Statistics , Economic theory , Economics , Economic Theory/Quantitative Economics/Mathematical Methods , Mathematics of Computing , Probability Theory and Stochastic Processes , Statistics for Business/Economics/Mathematical Finance/Insurance , Health Informatics , Computer Appl. in Life Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1994-9781461383833:ONLINE Show nearby items on shelf
Title:Mathematics in Industrial Problems Part 6
Author(s): Avner Friedman
Date:1994
Size:1 online resource (229 p.)
Note:10.1007/978-1-4613-8383-3
Contents:1 Magnetization reversal in particulate recording media -- 1.1 The physical system -- 1.2 The model -- 1.3 Results and open problems -- 1.4 References -- 2 Variable forgetting factors in Kalman filtering -- 2.1 The dynamic Kalman
filtering -- 2.2 Variable forgetting factor -- 2.3 Modification of VFF -- 2.4 Applications -- 2.5 References -- 3 Modeling of dopant diffusion networks -- 3.1 Diffusion on networks -- 3.2 Random walks -- 3.3 Effects of grains’
boundaries -- 3.4 Solution of Problems -- 3.5 References -- 4 Statistical optics and effective medium theories of color -- 4.1 Color -- 4.2 Calculating reflectivity -- 4.3 Effective medium theory (EMT) -- 4.4 Mathematical problems --
4.5 References -- 5 Amorphous and polysilicon devices -- 5.1 Amorphous semiconductors -- 5.2 A mathematical model -- 5.3 Numerical results -- 5.4 Open problems and partial solution -- 5.5 References -- 6 Modeling the performance of a
piezoelectric gyroscope -- 6.1 Vibrating gyroscope -- 6.2 Linear elasticity -- 6.3 Rotating disk -- 6.4 Rotating piezoelectric disk -- 6.5 Approximate solution -- 6.6 References -- 7 Particle simulations for xerographic development --
7.1 The model -- 7.2 More on the particle motion -- 7.3 Open problems -- 7.4 References -- 8 A statistical dynamic theory of glassy polymers -- 8.1 Glassy state -- 8.2 Viscoelastic relaxation -- 8.3 Strain-stress behavior -- 8.4
Composite modulus -- 8.5 Open problems -- 8.6 References -- 9 Simulation of magnetic recording and playback processes -- 9.1 Magnetic tape and the recording process -- 9.2 Model of the record process -- 9.3 Record model implementation
-- 9.4 The playback process -- 9.5 Open issues -- 9.6 References -- 10 Sunglitter in oceanic remote detection -- 10.1 Background noise -- 10.2 Signal processing -- 10.3 The model -- 10.4 Model/data comparison -- 11 Computer simulations
of electrorheological fluids -- 11.1 Modeling ER fluids -- 11.2 Bulk polarization model -- 11.3 Numerical results -- 11.4 Optical probing -- 11.5 Areas for future work -- 11.6 References -- 12 Local flaws in permeation reducing barrier
layers -- 12.1 Fluorinated fuel tanks -- 12.2 Mathematical model -- 12.3 Results for circular holes -- 12.4 Open problems -- 12.5 Partial results -- 12.6 References -- 13 Iterative solution methods on the Cray YMP/C90 -- 13.1 Iterative
schemes -- 13.2 Preconditioning strategies -- 13.3 Computational results -- 13.4 References -- 14 Track reconstruction and data fusion -- 14.1 Data fusion -- 14.2 Data sources and model selection -- 14.3 Extended Kalman filter and
smoothing -- 14.4 References -- 15 Approximation to Boltzmann transport in semiconductor devices -- 15.1 The Boltzmann transport equation -- 15.2 Approximation to B.T.E. -- 15.3 The f0-equation -- 15.4 References -- 16 Systematic data
fusion using the theory of random conditional sets -- 16.1 Data fusion algorithms -- 16.2 Bayesian classification -- 16.3 The Dempster—Shafer approach -- 16.4 Fuzzy logic -- 16.5 Random sets -- 16.6 Conditional set theory -- 16.7
References -- 17 Micromagnetic simulation -- 17.1 The magnetic head -- 17.2 The magnetic energy in film -- 17.3 The pole tip -- 17.4 Swirl points -- 17.5 References -- 18 Dissolution kinetics with feedback -- 18.1 The model -- 18.2
Fast kinetic limit -- 18.3 Numerical solution -- 18.4 Remarks -- 18.5 References -- 19 Wetting and adsorption at chemically heterogeneous surfaces -- 19.1 Wettability -- 19.2 Wettability on self-assembled monolayers -- 19.3
Mathematical model -- 19.4 References -- 20 Fluid and kinetic modeling for micromechanical structures -- 20.1 Modeling micromechanical structures -- 20.2 Fluid description -- 20.3 Accelerometer -- 20.4 References -- 21 Modeling
exhaust-gas oxygen sensors -- 21.1 The sensor -- 21.2 Mathematical model -- 21.3 Open problems -- 21.4 References -- 22 3D modeling of a smart power device -- 22.1 The device -- 22.2 Thermal modeling -- 22.3 Solution to problem (1) --
23 Solutions to problems from previous parts -- 23.1 Part 1 -- 23.2 Part 3 -- 23.3 Part 5 -- 23.4 References
ISBN:9781461383833
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:The IMA Volumes in Mathematics and its Applications: 57
Keywords: Engineering , Mathematical models , Engineering , Engineering, general , 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-1994-9781461226741:ONLINE Show nearby items on shelf
Title:Dependability for Systems with a Partitioned State Space Markov and Semi-Markov Theory and Computational Implementation
Author(s): Attila Csenki
Date:1994
Size:1 online resource (244 p.)
Note:10.1007/978-1-4612-2674-1
Contents:1 Stochastic processes for dependability assessment -- 1.1 Markov and semi-Markov processes for dependability assessment -- 1.2 Example systems -- 2 Sojourn times for discrete-parameter Markov chains -- 2.1 Distribution theory for
sojourn times and related variables -- 2.2 An application: the sequence of repair events for a three-unit power transmission model -- 3 The number of visits until absorption to subsets of the state space by a discrete-parameter Markov
chain: the multivariate case -- 3.1 The probability generating function of M and the probability mass function of L -- 3.2 Further results for n ? {2, 3} -- 3.3 Tabular summary of results in Sections 3.1 and 3.2 -- 3.4 A power
transmission reliabilty application -- 4 Sojourn times for continuous-parameter Markov chains -- 4.1 Distribution theory for sojourn times -- 4.2 Some further distribution results related to sojourn times -- 4.3 Tabular summary of
results in Sections 4.1 and 4.2 -- 4.4 An application: further dependability characteristics of the three-unit power transmission model -- 5 The number of visits to a subset of the state space by a continuous-parameter irreducible
Markov chain during a finite time interval -- 5.1 The variable $${M_{{A_1}}}(t)$$ -- 5.2 An application: the number of repairs of a two-unit power transmission system during a finite time interval -- 6 A compound measure of
dependability for continuous-time Markov models of repairable systems -- 6.1 The dependability measure and its evaluation by randomization -- 6.2 The evaluation of ?(k, i, n) -- 6.3 Application and computational experience -- 7 A
compound measure of dependability for continuous-time absorbing Markov systems -- 7.1 The dependability measure -- 7.2 Proof of Theorem 7.1 -- 7.3 Application: the Markov model of the three-unit power transmission system revisited -- 8
Sojourn times for finite semi-Markov processes -- 8.1 A recurrence relation for the Laplace transform of the vector of sojourn times -- 8.2 Laplace transforms of vectors of sojourn times -- 8.3 Proof of Theorem 8.1 -- 9 The number of
visits to a subset of the state space by an irreducible semi-Markov process during a finite time interval: moment results -- 9.1 Preliminaries on the moments of $${M_{{A_1}}}(t)$$ -- 9.2 Main result: the Laplace transform of the
measures U? -- 9.3 Proof of Theorem 9.2 -- 9.4 Reliability applications -- 10 The number of visits to a subset of the state space by an irreducibe semi-Markov process during a finite time interval: the probability mass function -- 10.1
The Laplace transform of the probability mass function of $${M_{{A_1}}}(t)$$ -- 10.2 Numerical inversion of Laplace transforms using Laguerre polynomials and fast Fourier transform -- 10.3 Reliability applications -- 10.4
Implementation issues -- 11 The number of specific service levels of a repairable semi-Markov system during a finite time interval: joint distributions -- 11.1 A recurrence relation for h(t m1, m2) in the Laplace transform domain --
11.2 A computation scheme for the Laplace transforms -- 12 Finite time-horizon sojourn times for finite semi-Markov processes -- 12.1 The double Laplace transform of finite-horizon sojourn times -- 12.2 An application: the alternating
renewal process -- Postscript -- References
ISBN:9781461226741
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Statistics: 90
Keywords: Mathematics , Computer mathematics , Probabilities , Mathematics , Probability Theory and Stochastic Processes , 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-1994-9781461202639:ONLINE Show nearby items on shelf
Title:Maple V: Mathematics and its Applications Proceedings of the Maple Summer Workshop and Symposium, Rensselaer Polytechnic Institute, Troy, New York, August 9–13,1994
Author(s):
Date:1994
Size:1 online resource (236 p.)
Note:10.1007/978-1-4612-0263-9
Contents:I A. Maple in Computer Science -- x201CTurtle Graphics” in Maple V. 2 -- A Distributed Approach to Problem Solving in Maple -- Denotational Semantics Applied to the Typesetting of Maple Expressions -- IB. Maple in Applied Mathematics
-- A Symbolic Engineering Mechanics System Built on OEM Maple -- Signal Processing Using Maple V -- Implementation of a Mapping Procedure for the Domain Decomposition for PDEs in Maple -- II A. Maple in Education -- The Influence of
Maple on a Linear Algebra Course at the Delft University of Technology -- Can Maple Help in Teaching Calculus with Limited Time and Staff? -- Enlivening the Mathematics Curriculum with Maple -- II B. Maple in Science -- Analytical
Approaches to Solving Coupled Nonlinear Schrödinger Equations Using Maple V -- Solution of the Solar Cell Transport Equations Using Maple -- Kramers and Wannier V-Matrices for the Partition Functions of the Ising Model -- III A. Maple
in Abstract Algebra -- FRAC: A Maple Package for Computing in the Rational Function Field K(X) -- Group Rings and Hopf-Galois Theory in Maple -- Rational Generating Function Applications in Maple -- III B. Maple in Science --
Symbolic-Numeric Computations for Problem-Solving in Physical Chemistry and Biochemistry -- Maple V Analytically Calculating Plane Strain FE-Matrices with Rotational Degrees of Freedom -- Chemical Engineering with Maple -- IV A. Maple
in Education -- Maple Labs and Programs for Calculus -- Maple at the University of North London -- Introducing Maple to First Year Engineering Students Via Project Study -- Another Look at Learning the Techniques of Elementary
Integration -- Worksheets: Can We Teach Mathematical Algorithms with Them? -- IV B. Maple in Science and the Applications -- Computer Algebra as a Tool for Analyzing Nonlinear Systems -- Maple V and Geometrical Optics: Aberration
Coefficients in Arbitrary Optical Systems -- Solution of Banded Linear Systems of Equations in Maple Using LU Factorization -- Using Maple to Design a Complex Mixture Experiment
ISBN:9781461202639
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Applied mathematics , Engineering mathematics , Computer mathematics , Computer software , Mathematics , Applications of Mathematics , Mathematical Software , 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-1993-9783642778476:ONLINE Show nearby items on shelf
Title:Fundamentals of Electronic Imaging Systems Some Aspects of Image Processing
Author(s): William F Schreiber
Date:1993
Edition:Third Edition
Size:1 online resource (332 p.)
Note:10.1007/978-3-642-77847-6
Contents:1. Introduction -- 1.1 What is Image Processing -- 1.2 Descriptions of Images -- 1.3 Sources and Types of Images -- 1.4 Processing Images -- 1.5 Purposes of Processing -- 1.6 Image Quality -- 1.7 A Generalized Image Processing System
-- 1.8 A Simple Television System -- 1.9 Lessons for the System Designer -- 2. Light and Optical Imaging Systems -- 2.1 Light Sources -- 2.2 Photometry -- 2.3 Luminous Transfer of Simple Optical Systems -- 2.4 Some Nonideal Behavior of
Simple Optical Systems -- 2.5 Fourier Optics and the Modulation Transfer Function -- 2.6 Quantum Phenomena and Related Noise Sources -- 2.7 Lessons for the System Designer -- 2.8 Appendix: Statistical Considerations -- 3. Perception of
Images -- 3.1 Seeing in the Dark -- 3.2 Contrast Sensitivity -- 3.3 The Effect of Shape -- 3.4 Masking -- 3.5 Temporal Phenomena -- 3.6 Lessons for the System Designer -- 4. Sampling, Interpolation, and Quantization -- 4.1 Introduction
-- 4.2 The Sampling Theorem -- 4.3 The Two-Dimensional Spectrum -- 4.4 Interpolation of Digital Images -- 4.5 The Presampling Filter -- 4.6 Hexagonal Sampling -- 4.7 Quantization -- 4.8 Lessons for the System Designer -- 5. Compression
-- 5.1 Introduction -- 5.2 Information-Preserving Coding -- 5.3 Graphics Coding -- 5.4 Coding of Continuous-Tone Images -- 5.5 Lessons for the System Designer -- 6. Image Processing in the Graphic Arts -- 6.1 Introduction -- 6.2 Type
Composition -- 6.3 Modern Plate Making -- 6.4 The Halftone Process -- 6.5 Lessons for the System Designer -- Color -- 7.1 Color Matching -- 7.2 Color Mixtures -- 7.3 Numerical Colorimetry -- 73.5 The Nature of the CDE Primaries -- 7.4
Other Color Spaces -- 7.5 Additive Color Reproduction -- 7.6 Subtractive Color Reproduction -- 7.7 Color Editing -- 7.8 Color Coding -- 7.9 Some Experiments in Color Perception -- 7.10 Lessons for the System Designer -- 8. The Design
of Improved Television Systems -- 8.1 A Review of TV Basics -- 8.2 Relevant Psychophysics -- 8.3 The 1941 NTSC System -- 8.4 Adding Color -- 8.5 NTSC System-Design Limitations -- 8.6 Compatible Improvements to NTSC -- 8.7 Designing
from Scratch -- 8.8 Desirable Characteristics of a New System -- 8.9 Channel Considerations -- 8.10 Interference Considerations -- 8.11 Video Function Characteristics Useful for System Design -- 8.12 Some Specialized Video
Signal-Processing Techniques -- 8.13 Digital Terrestrial Broadcasting -- 8.14 Some Sample System Designs -- 8.15 Lessons for the System Designer -- Appendix: Development of High-Definition Television in Japan, Europe, and the United
States -- A1. Introduction -- A1.1 Compatibilityz -- A1.2 Spectrum Considerations -- A1.3 Alternative Transmission Channelsx -- A1.4 Transition Scenarios -- A2. Japan -- A2.1 History of the Japanese Developments -- A2.2 The “Studio”
System -- A2.3 MUSE -- A2.4 Systems Specifically Designed for US Broadcast Use -- A2.4.1 Narrow MUSE -- A2.4.2 NTSC “MUSE”-6 -- A2.4.3 NTSC “MUSE”-9 -- A2.5 Conclusions: Japan -- A3. The United States -- A3.1 The FCC Inquiry -- A3.2
Orginially Proposed Systems -- A3.3 The General Instrument Proposal -- A3.4 Other Digital Proposals -- A3.5 Problems of All-Digital Systems -- A3.6 Conclusions: United States -- A4. Europe -- A4.1 Multiplexed Analog Components -- A4.2
Overall European Strategy -- A4.3 Technological Approach -- A4.4 Three-Branch Motion Compensation -- A4.5 Implementation of D2-MAC and HD-MAC -- A4.6 PALplus -- A4.7 Digital Television in Europe -- A4.8 Conclusions: Europe -- A5.
Overall Conclusions -- References
ISBN:9783642778476
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 15
Keywords: Physics , Image processing , Optics , Optoelectronics , Plasmons (Physics) , Electrical engineering , Physics , Optics, Optoelectronics, Plasmonics and Optical Devices , Image Processing and Computer Vision , Communications Engineering, Networks
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9783642581489:ONLINE Show nearby items on shelf
Title:3D Dynamic Scene Analysis A Stereo Based Approach
Author(s): Zhengyou Zhang
Date:1992
Size:1 online resource (300 p.)
Note:10.1007/978-3-642-58148-9
Contents:1. Introduction -- 1.1 Brief Overview of Motion Analysis -- 1.2 Statement of the “Motion from Stereo” Problem -- 1.3 Organization of The Book -- 2. Uncertainty Manipulation and Parameter Estimation -- 2.1 Probability Theory and
Geometric Probability -- 2.2 Parameter Estimation -- 2.3 Summary -- 2.4 Appendix: Least-Squares Techniques -- 3. Reconstruction of 3D Line Segments -- 3.1 Why 3D Line Segments -- 3.2 Stereo Calibration -- 3.3 Algorithm of the
Trinocular Stereovision -- 3.4 Reconstruction of 3D Segments -- 3.5 Summary -- 4. Representations of Geometric Objects -- 4.1 Rigid Motion -- 4.2 3D Line Segments -- 4.3 Summary -- 4.4 Appendix: Visualizing Uncertainty -- 5. A
Comparative Study of 3D Motion Estimation -- 5.1 Problem Statement -- 5.2 Extended Kalman Filter Approaches -- 5.3 Minimization Techniques -- 5.4 Analytical Solution -- 5.5 Kim and Aggarwal’s method -- 5.6 Experimental Results -- 5.7
Summary -- 5.8 Appendix: Motion putation Using the New Line Segment Representation -- 6. Matching and Rigidity Constraints -- 6.1 Matching as a Search -- 6.2 Rigidity Constraint -- 6.3 Completeness of the Rigidity Constraints -- 6.4
Error Measurements inn the Constraints -- 6.5 Other Formalisms Rigidity Constraints -- 6.6 Summary -- 7. Hypothesize-and-Verify Method for Two 3D View Motion Analysis -- 7.1 General Presentation -- 7.2 Generating Hypotheses -- 7.3
Verifying Hypothesis -- 7.4 Matching Noisy Segments -- 7.5 Experimental Results -- 7.6 Summary -- 7.7 Appendix: Transforming a 3D Line Segment -- 8. Further Considerations on Reducing Complexity -- 8.1 Sorting Data Features -- 8.2
“Good-Enough” Method -- 8.3 Speeding Up the Hypothesis Generation Process Through Grouping -- 8.4 Finding Clusters Based on Proximity -- 8.5 Finding Planes -- 8.6 Experimental Results -- 8.6.1 Grouping Results -- 8.6.2 Motion Results
-- 8.7 Conclusion -- 9. Multiple Object Motions -- 9.1 Multiple Object Motions -- 9.2 Influence of Egomotion on Observed Object Motion -- 9.3 Experimental Results -- 9.4 Summary -- 10. Object Recognition and Localization -- 10.1
Model-Based Object Recognition -- 10.2 Adapting the Motion-Determination Algorithm -- 10.3 Experimental Result -- 10.4 Summary -- 11. Calibrating a Mobile Robot and Visual Navigation -- 11.1 The INRIA Mobile Robot -- 11.2 Calibration
Problem -- 11.3 Navigation Problem -- 11.4 Experimental Results -- 11.5 Integrating Motion Information from Odometry -- 11.6 Summary -- 12. Fusing Multiple 3D Frames -- 12.1 System Description -- 12.2 Fusing Segments from Multiple
Views -- 12.3 Experimental Results -- 12.4 Summary -- 13. Solving the Motion Tracking Problem: A Framework -- 13.1 Previous Work -- 13.2 Position of the Problem and Primary Ideas -- 13.3 Solving the Motion Tracking Problem: A Framework
-- 13.4 Splitting or Merging -- 13.5 Handling Abrupt Changes of Motion -- 13.6 Discussion -- 13.7 Summary -- 14. Modeling and Estimating Motion Kinematics -- 14.1 The Classical Kinematic Model -- 14.2 Closed-Form Solutions for Some
Special Motions -- 14.2.1 Motion with Constant Angular and Translational Velocities -- 14.2.2 Motion with Constant Angular Velocity and Constant Translational Acceleration -- 14.2.3 Motion with Constant Angular Velocity and General
Translational Velocity -- 14.2.4 Discussions -- 14.3 Relation with Two-View Motion Analysis -- 14.4 Formulation for the EKF Approach -- 14.5 Linearized Kinematic Model -- 14.6 Summary -- 15. Implementation Details and Experimental
Results -- 15.1 Matching Segments -- 15.2 Support of Existence -- 15.3 Algorithm of the Token Tracking Process -- 15.4 Grouping Tokens into Objects -- 15.5 Experimental Results -- 15.5.1 Synthetic Data -- 15.6 Summary -- 16.
Conclusions and Perspectives -- 16.1 Summary -- 16.2 Perspectives -- Appendix: Vector Manipulation and Differentiation -- A.1 Manipulation of Vectors -- A.2 Differentiation of Vectors -- References
ISBN:9783642581489
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 27
Keywords: Computer science , Artificial intelligence , Image processing , Pattern recognition , Physics , Complexity, Computational , Computer Science , Pattern Recognition , Image Processing and Computer Vision , Artificial Intelligence (incl. Robotics) , Complexity , Mathematical Methods in Physics , Numerical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-1991-9789400907034:ONLINE Show nearby items on shelf
Title:Proceedings of the Fourth European Conference on Mathematics in Industry
Author(s):
Date:1991
Size:1 online resource (448 p.)
Note:10.1007/978-94-009-0703-4
Contents:Invited Lectures -- On a Mathematical Model for the Crystallization of Polymers -- Remarks on New Mathematical Problems Arising in the Context of Information Technology -- Time Division Multiple Access Systems and Matrix Decomposition
-- Fresh Breeze around the Ivory Tower — Current Trends in Austrian Higher Education -- Determination of the Transient Thermal Behaviour of Thyristors with Cooling Devices (abstract) -- Mathematics for Industry -- Mathematical Problems
in Research at HILTI -- Minisymposium: Steel Processing -- Water Droplet Cooling of Galvanised Iron -- A Mathematical Model for the Calculation of Cooling Criteria for Round Bloom -- Automatic Secondary Cooling Control for the
Continuous Casting Process of Steel -- Some Problems of Identification and Control Arising from Cooling Rolled Wires -- Minisymposium: Chemical Engineering -- Numerical Simulation of Emulsion Liquid Membrane Permeation -- The Lay-out
of Reactive Extractors -- The Simulation of a Co-Current Bubble Reactor -- A Numerical Model for Calculation of a Counter Current Heat Exchanger -- Contributed Lectures -- Modelling Oxygen Supply in Spheroids of Tumor Cells -- On a
Numerical Method for Variable Heat Flow through External Walls -- Optimization of a Solar Domestic Hot-Water System -- The Fluttering of Fibres in Airspinning Processes -- A Numerical Model for Electromagnetic Casters -- On Consistent
Initialization of Differential-Algebraic Equations with Discontinuities -- On the Generation of Optical Solitons -- Mathematical Models for the Diffusion of Innovations -- Image Segmentation by Minimum Information Loss (abstract) -- A
Brief Mathematical Analysis of Electrochemical Machining Problems -- A Mathematical Model for the Production of Bimetallic Strip -- Computing Guaranteed Error Bounds for Problems in Renewal Theory -- Threshold Accepting Algorithms for
0–1 Knapsack Problems -- Digital Topology in Document Processing -- Modelling the Rheology of a Coal-Water Slurry -- Nonorthogonal Expansions of Signals and Some of their Applications (abstract) -- Two-Phase Flow Methodology and
Modelling -- Maximum Expected Information (MEI) Discretization Method for Spatial Data Analysis (abstract) -- Automatic Mesh Generation for 3D Domains with Application in Fluid Mechanics, Structures, Electrotechnics and Aerospace
Problems -- Quality Control of Artificial Fabrics (abstract) -- Developing a Unidimensional Simulation Model for Producing Silicon in an Electric Furnace -- Numerical Study of the Nonlinear Barotropic Instability of Rossby Wave Motion
-- The Method of Region Analysis and its Application for Optimal Control Problems of Hydroelectric Power Plants -- Stochastic Modelling of the Dielectric Relaxation in Condensed Matter (abstract) -- A Calculation and Contour Plotting
System for Flame Temperatures -- On the Taper Curves in the Forest Industry -- Analytical Three-Dimensional Stress Distribution in the Healthy Hip Joint -- Torsional Vibrations in a Crank Shaft -- An Adaptive Finite Element Method for
Stefan Problems -- The Theoretical Ecology of Coccidia with Reference to Poultry Production -- A Dynamic Two-Phase Flow Model for a Purification Plant -- Exchange of Parametric Curve and Surface Geometry between Computer Aided Design
Systems -- Fairing of Ship Lines with Mechanical Splines -- Numerical Simulation of the Stretching Behavior of Polymeric Liquids by Nonlinear Volterra Integrodifferential Equations with Boundary Conditions -- 3-D-Fitting of Blades and
Vanes -- Development of a Method for Electrical Load Forecasting and its Implementation Using Expert System Techniques -- Fibre Drying -- Optimal Extension of a System of Hydro Energy Storage Plants -- Modelling Separated Flows -- On
the Impact of Rigid Bodies with Small Deadrise Angle onto Inviscid, Incompressible Fluid -- B-Spline Library for Mathematical Modelling and Solving of Scientific and Industrial Problems
ISBN:9789400907034
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:European Consortium for Mathematics in Industry : 6
Keywords: Mathematics , Chemical engineering , System theory , Mathematical models , Applied mathematics , Engineering mathematics , Mechanical engineering , Mathematics , Mathematical Modeling and Industrial Mathematics , Systems Theory, Control , Appl.Mathematics/Computational Methods of Engineering , Mechanical Engineering , 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-1990-9781461234685:ONLINE Show nearby items on shelf
Title:Lectures on Numerical Mathematics
Author(s): Heinz Rutishauser
Date:1990
Size:1 online resource (546 p.)
Note:10.1007/978-1-4612-3468-5
Contents:1. An Outline of the Problems -- § 1.1. Reliability of programs -- § 1.2. The evolution of a program -- § 1.3. Difficulties -- Notes to Chapter 1 -- 2. Linear Equations and Inequalities -- § 2.1. The classical algorithm of Gauss -- §
2.2. The triangular decomposition -- § 2.3. Iterative refinement -- § 2.4. Pivoting strategies -- § 2.5. Questions of programming -- § 2.6. The exchange algorithm -- § 2.7. Questions of programming -- § 2.8. Linear inequalities
(optimization) -- Notes to Chapter 2 -- 3. Systems of Equations With Positive Definite Symmetric Coefficient Matrix -- § 3.1. Positive definite matrices -- § 3.2. Criteria for positive definiteness -- § 3.3. The Cholesky decomposition
-- § 3.4. Programming the Cholesky decomposition -- § 3.5. Solution of a linear system -- § 3.6. Influence of rounding errors -- § 3.7. Linear systems of equations as a minimum problem -- Notes to Chapter 3 -- 4. Nonlinear Equations --
§ 4.1. The basic idea of linearization -- § 4.2. Newton’s method -- § 4.3. The regula falsi -- § 4.4. Algebraic equations -- § 4.5. Root squaring (Dandelin-Graeffe) -- § 4.6. Application of Newton’s method to algebraic equations --
Notes to Chapter 4 -- 5. Least Squares Problems -- § 5.1. Nonlinear least squares problems -- § 5.2. Linear least squares problems and their classical solution -- § 5.3. Unconstrained least squares approximation through
orthogonalization -- § 5.4. Computational implementation of the orthogonalization -- § 5.5. Constrained least squares approximation through orthogonalization -- Notes to Chapter 5 -- 6. Interpolation -- § 6.1. The interpolation
polynomial -- § 6.2. The barycentric formula -- § 6.3. Divided differences -- § 6.4. Newton’s interpolation formula -- § 6.5. Specialization to equidistant xi -- § 6.6. The problematic nature of Newton interpolation -- § 6.7. Hermite
interpolation -- § 6.8. Spline interpolation -- § 6.9. Smoothing -- § 6.10.Approximate quadrature -- Notes to Chapter 6 -- 7. Approximation -- § 7.1. Critique of polynomial representation -- § 7.2. Definition and basic properties of
Chebyshev polynomials -- § 7.3. Expansion in T-polynomials -- § 7.4. Numerical computation of the T-coefficients -- § 7.5. The use of T-expansions -- § 7.6. Best approximation in the sense of Chebyshev (T-approximation) -- § 7.7. The
Remez algorithm -- Notes to Chapter 7 -- 8. Initial Value Problems for Ordinary Differential Equations -- §8.1. Statement of the problem -- § 8.2. The method of Euler -- § 8.3. The order of a method -- § 8.4. Methods of Runge-Kutta
type -- § 8.5. Error considerations for the Runge-Kutta method when applied to linear systems of differential equations -- § 8.6. The trapezoidal rule -- § 8.7. General difference formulae -- § 8.8. The stability problem -- § 8.9.
Special cases -- Notes to Chapter 8 -- 9. Boundary Value Problems For Ordinary Differential Equations -- § 9.1. The shooting method -- § 9.2. Linear boundary value problems -- § 9.3. The Floquet solutions of a periodic differential
equation -- § 9.4. Treatment of boundary value problems with difference methods -- § 9.5. The energy method for discretizing continuous problems -- Notes to Chapter 9 -- 10. Elliptic Partial Differential Equations, Relaxation Methods
-- §10.1. Discretization of the Dirichlet problem -- §10.2. The operator principle -- §10.3. The general principle of relaxation -- §10.4. The method of Gauss-Seidel, overtaxation -- §10.5. The method of conjugate gradients -- §10.6.
Application to a more complicated problem -- §10.7. Remarks on norms and the condition of a matrix -- Notes to Chapter 10 -- 11. Parabolic and Hyperbolic Partial Differential Equations -- §11.1. One-dimensional heat conduction problems
-- §11.2. Stability of the numerical solution -- §11.3. The one-dimensional wave equation -- §11.4. Remarks on two-dimensional heat conduction problems -- Notes to Chapter 11 -- 12. The Eigenvalue Problem For Symmetric Matrices --
§12.1. Introduction -- §12.2. Extremal properties of eigenvalues -- §12.3. The classical Jacobi method -- §12.4. Programming considerations -- §12.5. The cyclic Jacobi method -- §12.6. The LR transformation -- §12.7. The LR
transformation with shifts -- §12.8. The Householder transformation -- §12.9. Determination of the eigenvalues of a tridiagonal matrix -- Notes to Chapter 12 -- 13. The Eigenvalue Problem For Arbitrary Matrices -- §13.1. Susceptibility
to errors -- §13.2. Simple vector iteration -- Notes to Chapter 13 -- Appendix. An Axiomatic Theory of Numerical Computation with an Application to the Quotient-Difference Algorithm -- Editor’s Foreword -- Al. Introduction -- §A1.1.
The eigenvalues of a qd-row -- §A1.2. The progressive form of the qd-algorithm -- §A1.3. The generating function of a qd-row -- §A1.4. Positive qd-rows -- §A1.5. Speed of convergence of the qd-algorithm -- §A1.6. The qd-algorithm with
shifts -- §A1.7. Deflation after the determination of an eigenvaluec -- A2. Choice of Shifts -- §A2.1. Effect of the shift v on Z’ -- §A2.2. Seropositive qd-rows -- § A2.4. A formal algorithm for the determination of eigenvalues -- A3.
Finite Arithmetic -- §A3.1. The basic sets -- §A3.2. Properties of the arithmetic -- §A3.3. Monotonicity of the arithmetic -- §A3.4. Precision of the arithmetic -- §A3.5. Underflow and overflow control -- A4. Influence of Rounding
Errors -- §A4.1. Persistent properties of the qd-algorithm -- §A4.2. Coincidence -- §A4.3. The differential form of the progressive qd-algorithm -- §A4.4. The influence of rounding errors on convergence -- A5. Stationary Form of the
qd-Algorithm -- §A5.1. Development of the algorithm -- §A5.2. The differential form of the stationary qd-algorithm -- §A5.3. Properties of the stationary qd-algorithm -- §A5.4. Safe qd-steps -- Bibliography to the Appendix -- Author
Index
ISBN:9781461234685
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer mathematics , Numerical analysis , Mathematics , Numerical Analysis , 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-1989-9789400909854:ONLINE Show nearby items on shelf
Title:Applications of Computer Technology to Dynamical Astronomy Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27–29 July 1988
Author(s):
Date:1989
Size:1 online resource (341 p.)
Note:10.1007/978-94-009-0985-4
Contents:1/Applications of Computers to Solving Problems -- Early Applications of Computer Technology to Dynamical Astronomy -- Applications of Computers to Celestial Mechanics -- Applications to Stellar and Galactic Dynamics -- Application of
Computer in Qualitative Studies of Celestial Mechanics -- Leading Spiral Arms, Retrograde Galaxy Encounters and Massive Halos -- On Construction of Analytic Solutions to the Three Body Problem by Use of Computer Experiments -- The Use
of Computer Algorithms in the Construction of a Theory of the Long-Period Perturbations of Saturn’s Satellite Hyperion -- Some Numerical Aspects in a Search for I=1 Periodic Orbits for Hecuba Asteroids -- SHORDE I Program System and
Applications -- A Semi-numerical Expansion of the Averaged Disturbing Function for Some Very-high-eccentricity Orbits -- Symbolic Algebra Software for Planetary Theories -- Tests of the Extrapolation Method for the Numerical
Integration of the Keplerian Motion -- Application of a Massively Parallel Computer to the N-body Problem -- Hydrodynamical Models of Elliptical Galaxies -- A Multifluid Code for Problems of Elliptical Galaxy Formation and Evolution --
3D Hydrodynamics and Radiative Transfer -- First-order and Second-order 3-D Hydrodynamics: A Comparison -- Chaotic Dynamics and Monte Carlo Modelling -- Software Tools for Nonlinear Dynamics -- Computer Algebra, Lie Transforms and the
Nonlinear Stability of L4 -- Solution of an Infinite Number of Inequations Depending on a Continuous Parameter and Application to the Solution of Equations in Dynamical Astronomy -- 2/Matching Problems with Technology -- Planet
Crossing Asteroids and Parallel Computing: Project Spaceguard -- Implementation of an N-body Code in a HP1000 Computer -- Computer Applications to Lunar and Artificial Satellite Laser Ranging -- The Use of Image Processors for
Acquisition and Reduction of Astrometric Data in Real Time -- Modeling of Asymmetric Light Curves of Eclipsing Binaries on the Cyber 205 Supercomputer -- Galaxies in the Connection Machine -- 3/New Methods of Mathematical Programming
-- Specialized Celestial Mechanics Systems for Symbolic Manipulation -- On a Restricted (2n+3)-Body Problem -- The Simplex Method for Nonlinear Mass Determinations -- An Optimum Method for Calculating Restricted Three-Body Orbits --
The Constrained Normal Form Algorithm -- 4/Matching Computer Language to the Problem -- Simplify or Perish -- The Stability of the Lagrangian Point L4 -- Computer Implementation of a New Approach to the Ideal Resonance Problem -- A
Laboratory for Gravitational Scattering Experiments -- Problem Oriented Language for Ephemeris Astronomy and its Realisation in the System ERA -- 5/Use of Numerical Versus Algebraic Computation -- Numerical Integration Methods in
Dynamical Astronomy -- A Survey of Poisson Series Processors -- A FORTRAN-based Poisson Series Processor and its Applications in Celestial Mechanics -- PARSEC: An Interactive Poisson Series Processor for Personal Computing Systems --
The Problem of the Eulerian Oscillations: A Weakness of Numerical Versus Analytical Methods -- A Semi-Analytical Method to Study Perturbed Rotational Motion -- Computational Studies of Cloudy Gaseous Galactic Disks -- 6/Representation
and Transmission of Results -- Synthetic Secular Theories of the Planetary Orbits: Regular and Chaotic Behaviour -- Numerical Representation of Planetary Ephemerides -- Compressed Planetary and Lunar Ephemerides -- An Analytical
Representation of Ephemeris Data -- Numerical Simulations of Narrow Planetary Rings: An Animation -- Electronic Almanacs Mating the Message and the Medium -- List of Participants -- Errata
ISBN:9789400909854
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computer science , Observations, Astronomical , Astronomy , Astrophysics , Statistics , Physics , Astrophysics and Astroparticles , Astronomy, Observations and Techniques , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1988-9783642469008:ONLINE Show nearby items on shelf
Title:Compstat Proceedings in Computational Statistics 8th Symposium held in Copenhagen 1988
Author(s):
Date:1988
Size:1 online resource (451 p.)
Note:10.1007/978-3-642-46900-8
Contents:Keynote Papers -- Parallel Linear Algebra in Statistical Computations -- Three Examples of Computer-Intensive Statistical Inference -- Non-Parametric Estimation -- Efficient Nonparametric Smoothing in High Dimensions Using Interactive
Graphical Techniques -- A Boundary Modification of Kernel Function Smoothing, with Application to Insulin Absorption Kinetics -- A Roughness Penalty Regression Approach for Statistical Graphics -- Projection Pursuit -- Detecting
Structures by Means of Projection Pursuit -- Confidence Regions for Projection Pursuit Density Estimates -- A Robustness Property of the Projection Pursuit Methods in Sampling from Separably Dependent Random Vectors -- Graphical
Techniques -- Graphical Modelling with Large Numbers of Variables: An Application of Principal Components -- Some Graphical Displays for Square Tables -- Data Plotting Methods for Checking Multivariate Normality and Related Ideas --
Computer-aided Illustration of Regression Diagnostics -- Computer Guided Diagnostics -- Expert Systems -- How should the Statistical Expert System and its User see Each Other? -- Towards a Probabilistic Analysis of MYCIN-like Expert
Systems -- An Expert System Accepting Knowledge in a form of Statistical Data -- Building a Statistical Expert System with Knowledge Bases of Different Levels of Abstraction -- An Expert System for the Interpretation of Results of
Canonical Covariance Analysis -- Building a Statistical Knowledge Base: A Discussion of the Approach used in the Development of THESEUS, a Statistical Expert System -- Prince: An Expert System for Nonlinear Principal Components
Analysis -- Expert Systems for Non-Linear Modelling: Progress and Prospects -- Inside a Statistical Expert System: Statistical Methods Employed in the ESTES System -- An Implementation of an EDA Expert System in Prolog Environment --
Automatic Acquisition of Knowledge Base from Data without Expert: ESOD (Expert Sytem from Observational Data) -- Experiments with Probabilistic Consultation Systems -- Statistical Consultants and Statistical Expert Systems -- On
Inference Process -- Identification Keys, Diagnostic Tables and Expert Systems -- Languages and Packages -- Adding new Statistical Techniques to Standard Software Systems: A Review -- Funigirls: A Prototype Functional Programming
Language for the Analysis of Generalized Linear Models -- Blinwdr: An APL-function Library for Interactively Solving the Problem of Robust and Bounded Influence Regression -- Computational Intensive Methods -- Exact Non-Parametric
Significance Tests -- Resampling Tests of Statistical Hypotheses -- Clustering Based on Neural Network Processing -- Decision Tree Classifier for Speech Recognition -- Algorithms -- Efficient Sampling Algorithms and Balanced Samples --
Recursive Partition in Biostatistics: Stability of Trees and Choice of the Most Stable Classification -- Generating Rules by Means of Regression Analysis -- A New Algorithm for Matched Case-Control Studies with Applications to Additive
Models -- An Algorithm for the Approximation of N-Dimensional Distributions -- Further Recursive Algorithms for Multidimensional Table Computation -- Statistical Methods -- Nonlinear Regression: Methodological and Software Aspects --
Comparing Sensitivity of Models to Missing Data in the GMANOVA -- A Modelling Approach to Multiple Correspondence Analysis -- Multidimensional Scaling on the Sphere -- A Monte Carlo Evaluation of the Methods for Estimating the
Parameters of the Generalized Lambda Distribution -- Statistical Guidance for Model Modification in Covariance Structure Analysis -- Similarities Functions -- Robust Bayesian Regression Analysis with HPD-Regions -- Time Series --
Estimation of ARMA Process Parameters and Noise Variance by Means of a Non-Linear Filtering Algorithm -- Autoregressive Models with Latent Variables -- An Algorithm for Time Series Decomposition Using StateSpace Models with Singular
Transition Matrix -- Statistical Data Bases and Survey Processing -- New Perspectives in Computer Assisted Survey Processing -- Multiple Imputation for Data-Base Construction -- Grasp: A Complete Graphical Conceptual Language for
Definition and Manipulation of Statistical Databases -- Experimental Design -- New Algorithmic and Software Tools for D-Optimal Design Computation in Nonlinear Regression -- Econometric Computing -- Model-Building on Micro Computers:
Spreadsheets or Specific Software -- Late Arrivals -- Three Examples of Computer-Intensive Statistical Inference -- New Computer Procedures for Generating Optimal Mixture Designs on Finite Design Spaces -- Screening Based Exclusively
on Experts Opinions -- Address list of Authors
ISBN:9783642469008
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Probabilities , Mathematics , Probability Theory and Stochastic Processes
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-1987-9781468453201:ONLINE Show nearby items on shelf
Title:Proceedings of the Fifteenth International Symposium, July 14–6, 1986
Author(s):
Date:1987
Size:1 online resource (692 p.)
Note:10.1007/978-1-4684-5320-1
Contents:A History of Acoustical Imaging -- Tomography and Image Reconstruction -- Diffraction Tomography with Multiple Scattering -- Arced Backprojection with an Efficient Computation for Ultrasound Reflection Mode Tomography -- Passive
Imaging Through Media with Distributed Inhomogeneities Using an Extension of the Phase Closure Technique -- Computation Simplification for High-Speed Acoustical Image Reconstruction -- A Frequency Diversity Method of Reducing Speckle
in Wideband Ultrasound Images -- Ultrasonic Phase Tomography for Medical Applications -- Tissue Characterization -- Improved Tissue Characterization Using Scattering Images -- Transient Acoustic Scattering in Dispersive Soft Tissue --
Estimation of Acoustic Attenuation in Diffuse Liver Disease: Can it Be Done With the Zero-Crossing Technique? -- Transducers and Arrays -- Calculation of Transient Radiation Fields from Axial Symmetric Sources -- Pulsed PVDF Transducer
Fields — Comparison of Theory and Experiment -- A New Technique for Characterizing Ultrasonic Transducers in Inhomogeneous Media -- Development of an Electromagnetic Acoustic Transducer for Inspecting the Wall Thickness of Offshore
Risers from the Inside -- Transducer Array for Ultrasound Holographic B-Scan Imaging -- Image and Signal Processing -- Accurate Reconstruction of Flaws in Materials Using a Synthetic Aperture Ultrasonic Imaging System -- Parametric
Approach on Field Propagation -- Performance of Fast Inverse Scattering Solutions for the Exact Helmholtz Equation Using Multiple Frequencies and Limited Views -- An ECG-Gated Colour Doppler Imaging System for Determination of Coronary
Bypass Graft Patency -- A Two-Dimensional PVDF Transducer Matrix as a Receiver in an Ultrasonic Transmission Camera -- A New Digital Scan Processor for Ultrasonic Imaging -- Direct Imaging -- A Real-Time Imaging System for
Non-Destructive Evaluation -- Implementation of a Real-Time Ultrasonic SAFT System for Inspection of Nuclear Reactor Components -- Flaw Identification in ALOK Imaging System -- A New Surface Acoustic Wave Imaging Technique --
Acoustical Imaging Techniques — Theoretical and Experimental Results -- A Flow Imaging and CW Spectral Analysis System -- Multidimensional Ultrasonic Heart Imaging -- Tomography -- Optimal Incident Angles in Scanning Tomographic
Microscopy -- Ultrasonic Reflection Tomography with a Transmitter — Receiver System -- Speckle in Ultrasound Computerized Reflection Mode Tomography -- Analysis of Inverse Scattering Solutions from Single Frequency, Combined
Transmission and Reflection Data for the Helmoholtz and Riccati Exact Wave Equations -- Attempt to Include Refraction in an Ultrasonic Tomography Algorithm -- Acoustical Microscopy -- Back-Projection Algorithms for a
Computer-Controlled Scaning Laser Acoustic Microscope -- Directional Acoustic Microscope with Electrical Reference Signals -- Focal Plane Detection in Acoustical Imaging -- Progress Toward a Practical 100 MHz Scanning Laser Tomographic
Acoustic Microscope -- Thermoacoustic Imaging Using a Laser Probe -- A High Performance Acoustic Microscope — Technical Aspects and Selected Applications -- Subsurface Imaging in Acoustic Microscopy -- Poster Session -- Relation
Between Spatial Frequency Sampling Window and Lateral Resolution in Backward Propagation Acoustical Imaging -- Applications of Digital Image Enhancement Techniques to the Ultrasonic NDE of Composite Materials -- Some Problems and
Experimental Results of Seismic Shallow Prospecting -- A Modified Sum Focussing Approach to Ultrasonic Speckle Reduction -- Dereverberation Techniques -- Polarity-Sensitive Detection of Pulsed Ultrasound Signals -- Ultrasonic Defects
Visualization in a Metal Block -- Generalized Holography as an Improved Version of Conventional Acoustical Holography -- Joint Fourier Transform Cross-Correlation for Liver Echotexture Classification -- A Two-Element Annular Array of
Short Fixed Focal Length for Dynamic Focussing -- Acoustic Imaging of Solid Objects in Air Using a Small Set of Transducers: III Experimental Demonstration -- Other Imaging Techniques -- A Broadband — Holography Imaging System for
Nondestructive Evaluation -- Efficient Acoustical Holography and Phase Imaging with High Resolution at 3.6 MHz Using a Liquid Crystal Converter -- NDE in Multilayers: Theory, Computer Simulation and Experiments -- Underwater Acoustic
Imaging -- Synthetic Aperture Sonar for Sub-Bottom Imaging -- Vertical Seismic Profiling Depth Migration of A Salt Dome Flank — A Summary -- A Sensor-Efficient Algorithm for Array Processing -- Acoustical Imaging and Point Processes --
High-Resolution Acoustical Image Reconstruction Algorithm for Finite-Size Objects: The Cascade Form -- Underwater Acoustical Holographic Imaging by a Square Array System -- Imaging the Nearfield of a Submerged Plate Using Acoustical
Holography -- Participants -- Author index
ISBN:9781468453201
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Acoustical Imaging: 15
Keywords: Medicine , Radiology , Internal medicine , Physical measurements , Measurement , Medicine & Public Health , Imaging / Radiology , Internal Medicine , Measurement Science and Instrumentation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9781461318811:ONLINE Show nearby items on shelf
Title:Foundations of Data Organization
Author(s):
Date:1987
Size:1 online resource (650 p.)
Note:10.1007/978-1-4613-1881-1
Contents:Databases for Advanced Applications -- Statistics Metadata: Linear Regression Analysis -- Dynamic PATRICIA -- Design of an Integrated DBMS to Support Advanced Applications -- Use of the Relational Model for Data Representation in a
Deductively Augmented Database Management System -- Hashing -- Hash-Based File Organization Utilizing Large Capacity Main Memory -- Trie Hashing: Further Properties and Performance -- The Study of A Letter Oriented Minimal Perfect
Hashing Scheme -- Consecutive Retrieval Property -- On the Relaxed Consecutive Retrieval Property in File Organization -- Consecutive Retrieval Organization as a File Allocation Scheme on Multiple Disk Systems -- TRACER: Transposed
File Organization Scheme with Consecutive Retrieval Property and Its Application to Statistical Database System -- Multiple Query Processing in Local Area Database System -- File Allocation and Distributed Databases -- Management of
Table Partitioning and Replication in a Distributed Relational Database System -- On Strict Optimality Property of Allocating Binary Cartesian Product Files on Multiple Disk Systems -- On the Complexity of File Allocation Problem -- A
Quantitative Evaluation of Scheduling Systems for the Physical Locking Scheme in a Database System -- Allocation of Documents in Two Level Memory for Information Retrieval Systems -- Mathematical File Organization and Computational
Geometry -- Further Results on Hyperclaw Decomposition and Balanced Filing Schemes -- Placing Tiles in the Plane -- Mixed-Type Multiple-Valued Filing Scheme of Order One and Two -- Space Partitioning and Its Application to Generalized
Retrieval Problems -- On Computing and Updating Triangulations -- Database Machines -- VLSI Trees for File Organization -- The Inverted File Tree Machine: Efficient Multi-Key Retrieval for VLSI -- Multidimensional Clustering Techniques
for Large Relational Database Machines -- A Method for Realistic Comparisons of Sorting Algorithms for VLSI -- Database Models -- Update Propagation in the IFO Database Model -- Computation-tuple Sequences and Object Histories:
Extended Abstract -- Projection of Object Histories -- Functional Entity Relationship Model and Update Operations (Extended Abstract) -- An Algebra for an Entity-Relationship Model and Its Application to Graphical Query Processing --
Structures and Performance of Physical Database Models -- Record-to-Area Mapping in the CODASYL Environment -- An Optimal Trie Construction Algorithm for Partial-Match Queries -- FOPES: File Organization Performance Estimation System
-- Empirical Comparison of Associative File Structures -- Hybrid Sorting Techniques in Grid Structures -- CAD/VLSI Databases -- A Model and Storage Technique for Versions of VLSI CAD Objects -- Storage and Access Structures for
Geometric Data Bases -- A Conceptual Basis for Graphics-Based Data Management (Extended Abstract) -- Semantic Data Organization on a Generalized Data Management System -- Frequency Separation Analysis for Object Oriented Databases --
Query Processing and Physical Structures for Relational Databases -- Index Selection in Relational Databases -- A Physical Structure for Efficient Processing of Relational Queries -- A Hash Join Technique for Relational Database
Systems -- Data Organization Method for the Parallel Execution of Relational Operations -- Implementation of Inferential Relational Database System -- Database Theory -- Towards a Basic Relational NF2 Algebra Processor -- Two Classes
of Easily Tested Integrity Constraints: Complacent and FD-complacent Integrity Constraints -- Semantic Constraints of Network Model (Extended Abstract) -- Join-Decomposition of MVD-Constraints Using the Characterization by “Bases” -An
Introductive Study- -- Database Research and Development in the Pacific Area Countries -- Database Research and Development in Taiwan -- Database Research and Development in Korea -- Database Research and Development in Australia --
Database Research and Development in Japan: Its Past, Present and Future -- Database Research and Development in China -- Database Research and Development in Singapore -- Author index
ISBN:9781461318811
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Astrophysics , Statistics , Physics , Astrophysics and Astroparticles , 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-1987-9781461309154:ONLINE Show nearby items on shelf
Title:Computer-Based Instruction in Military Environments
Author(s):
Date:1987
Size:1 online resource (346 p.)
Note:10.1007/978-1-4613-0915-4
Contents:An Overview of Computer-Based Instruction in Military Environments -- Intelligent CAI -- An Intelligent Computer Assisted Instruction System for Maintenance Training -- The Conversion of an Expert System to an Intelligent CAI System
-- Self-Organised Learning within an Intelligent Teaching System -- Portable, Intelligent Simulation for ASW Training -- Development of Prototypes -- CAITER: A Computer-Based Instruction Terminal -- The Use of Computers in Training in
the British Army -- Weapon Training and Simulation -- CBI in the Royal Air Force: A Case Study of Two Part-Task Trainers -- Development of a Prototype Computer-Based Testing and Assessment System -- Implementation and Evaluation --
Implementation of Computer-Based Training: A System Evaluation and Lessons Learned -- Evaluating New Technology: Formative Evaluation of Intelligent Computer-Assisted Instruction -- AIDS to Resource Usage, Resource Sharing and
Authoring -- Online Help: Design Issues for Authoring Systems -- A User-Maintained Database for Trainers in Military Environments -- Computer-Based Instruction in the Department of Defense: Enhancing Application of the Technology --
Turning Educators into Authors: A Case Study in the Acquisition of Authoring Skills -- Research in Traditional and Non-Traditional Environments -- New Frontiers for Computer Aided Training -- The Development and Test of a Hand-Held
Computerized Training Aid -- Consideration of Instruction and Training in Human Operator Models -- Computer-Assisted Programmed Cases: A Learning Method for Improving the Understanding of Persons -- Electronic Delivery of Job
Performance Aids -- New Theory -- Video-Game Technology and Training Research -- Experience-Consolidation Systems: A Sketch of a Theory of Computer-Based Instruction in Ill-Structured Domains -- The Use of Intelligent Authoring Tools
to Enhance CBI in Technical Training -- Invited Addresses -- Cognitive Science, Artificial Intelligence and Complex Training -- Authoring Tools: Past, Present, and Future
ISBN:9781461309154
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Health informatics , Computers and civilization , Computer Science , Computers and Society , Health Informatics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1986-9781468450569:ONLINE Show nearby items on shelf
Title:Numerical Derivatives and Nonlinear Analysis
Author(s): Harriet Kagiwada
Date:1986
Size:1 online resource (212 p.)
Note:10.1007/978-1-4684-5056-9
Contents:1. Methods for Numerical Differentiation -- 1.1. Wengert’s Method -- 1.2. FEED (Fast and Efficient Evaluation of Derivatives) -- 1.3. An Implementation of the FEED Procedure in BASIC -- 1.4. Wexler’s Approach -- 1.5. Higher-Order
Methods for Finding Roots -- Exercises -- 2. Nonlinear Least Squares -- 2.1. Fitting the CES Production Function -- 2.2. Passive Ranging -- 2.3. Constrained Optimization -- 3. Optimal Control -- 3.1. Control Theory -- 3.2. Numerical
Methods -- 3.3. Description of the Subroutines -- 3.4. Examples of Optimal Control Problems -- 3.5. Program Listings -- Exercises -- 4. System Identification -- 4.1. Quasilinearization -- 4.2. Fast and Efficient Evaluation of
Derivatives (FEED) -- 4.3. Computer Program -- 4.4. Numerical Results -- 4.5. Program Listing -- 5. Sukhanov’s Variable Initial Value Method for Boundary Value Problems -- 5.1. Sukhanov’s Initial Value Equations -- 5.2. Automatic
Derivative Evaluation -- 5.3. Examples Using Sukhanov’s Method -- 5.4. Program Listing -- Exercises -- 6. Nonlinear Integral Equations -- 6.1. Derivation of the Imbedding Equations -- 6.2. Method of Computation -- 6.3. Automatic
Derivative Evaluation -- 6.4. Examples of Integral Equation Problems -- 6.5. Program Listing -- Exercises -- References -- Author Index
ISBN:9781468450569
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematical Concepts and Methods in Science and Engineering : 31
Keywords: Engineering , Computer science , Electrical engineering , Engineering , Electrical Engineering , Computer Science, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1985-9789400949720:ONLINE Show nearby items on shelf
Title:Safety of Thermal Water Reactors Proceedings of a Seminar on the Results of the European Communities’ Indirect Action Research Programme on Safety of Thermal Water Reactors, Held in Brussels, 1–3 October 1984
Author(s):
Date:1985
Size:1 online resource (613 p.)
Note:10.1007/978-94-009-4972-0
Contents:Abbreviations -- Abbreviations -- Opening plenary session -- Welcome address -- The CEC Research Action Programme on the Development of Nuclear Fission. -- The CEC Indirect Action Research Programme, Safety of Thermal Water Reactors
(1979–1983): Aims, contents and implementation -- Parallel session Research Area A -- The loss of coolant accident (LOCA) and the functioning and performance of the emergency core cooling system (ECCS). -- Session A1 -- Important
thermohydraulic aspects during refilling and reflooding of an uncovered LWR core. -- Studies on the effects of blockage upon LWR emergency core cooling systems. -- Session A2 -- Droplet dynamics and heat transfer in dispersed two phase
flow. -- An experimental investigation of the effect of clad ballooning on the effectiveness of PWR emergency core cooling -- Out of pile ballooning and bursting tests on Zircaloy cladding rods with direct and indirect heating. --
General Discussion on sessions A1 and A2 -- Session A3 -- 2D effects in the core during the reflooding phase of a LOCA. -- Fluid dynamic effects in the fuel element top nozzle area during refilling and reflooding. -- Study of rewetting
and quench phenomena by single pin out-of-pile experiments, with special emphasis on the effect of pin composition. -- Heat transfer to a dispersed two-phase flow and detailed quench front velocity research -- Session A4 -- Rewetting
propagation over Zircaloy under bottom flooding conditions. -- The Role of Experiments in The Development and Qualification of Thermalhydraulic.Codes, As Experienced in The Development of The CATHARE Code -- Parallel sessions Research
Area B -- The protection of nuclear power plants against external gas cloud explosions -- Session B1 -- Large-scale field trials on dense vapour dispersion. -- Aspects of the dispersion of denser-than-air vapours relevant to gas cloud
explosions. -- Session B2 -- Verification of heavy gas models on the basis of large-scale experiments -- Computer processing of visual records from the Thorney Island large scale gas trials. -- Transition from slow deflagration to
detonation. -- On the propagation of the pressure pulse due to an unconfined gas cloud explosion. Theoretical analysis. -- Session B3 -- Gas cloud explosions and their effect on nuclear power plant, basic development of explosion
codes. -- Validation of blast simulation codes and experimental investigation of flame propagation in the presence of obstacles. -- Characterization of the pressure field induced by the explosions in air of a hydrocarbon-air mixture,
with slow deflagration or fast deflagration. -- Experimental investigation of the acceleration of deflagration in wake flow. -- Session B4 -- Calculation of overpressures on the buildings of a power plant due to the passage of a shock
wave caused by an accidental explosion. -- Blast wave propagation and the influence of obstacles. -- Calculation of the wall pressure field generated on a group of buildings by an external explosion. -- Recent results of experimental
studies on the transition of a deflagration into a detonation and some aspects for the transposition of these results to confined explosions. -- Parallel sessions Research Area C -- The release and distribution of radioactive fission
products in the atmosphere following a reactor accident. -- Session C1 -- Review of specific effects in atmospheric dispersion calculations. -- The effects of buildings on low level atmospheric discharges. -- Session C2 -- Predicting
lift-off of major self-heating releases under the influence of a building. -- Development of an integral model of a radioactive jet released accidentally from a nuclear reactor. -- Development of a prototype mesoscale computer model,
incorporating treatment of topography. -- Finite element three-dimensional formulation of a variational procedure of wind field adjustment over a domain of complex topography. -- Description of a recent nordic mesoscale dispersion
experiment over a land-water-land area (the Oresund Experiment). -- Session C3 -- Wind tunnel modelling of turbulent diffusion of pollutant puffs. -- Physical model of the dispersion of a radioactive contaminant in the atmosphere above
a “heat island”. -- Wind Tunnel Simulation of Atmospheric Dispersion in Stable Conditions at a Real Site. -- Assessment of the dispersion of fission in the atmosphere following a reactor accident under meteorological conditions of low
wind speed. -- Session C4 -- Local-scale atmospheric diffusion at a coastal site, in the presence of breeze effect. -- Sensitivity, applicability and validation of bi-Gaussian off-and on-line models for the evaluation of the
consequences of accidental releases in nuclear facilities. -- Interlaboratory comparison of SF6 — Determination used within the framework of tracer releases. -- Estimates of uncertainty in dispersion modelling. -- Concluding plenary
session -- Overview and conclusions on the results obtained in research Area A: The loss of coolant accident (LOCA) and the functioning and performance of the emergency core cooling system (ECCS). -- Overview and conclusions on the
results obtained in research Area B: The protection of nuclear power plants against external gas cloud explosions. -- Overview and conclusions on the results obtained in research Area C: The release and distribution of radioative
fission products in the atmosphere following a reactor accident. -- The CEC — Research Action Programme on Reactor Safety (1984–1981) -- Developments in Nuclear Safety Research. -- Concluding panel -- Evaluation of the results of the
present Indirect Action Research Programme Safety of LWR. State-of-the-art in LWR Safety Research. Identification of useful topics for future research, with special consideration of Conmnunity programmes. -- Closing address -- List of
participants -- Index of authors
ISBN:9789400949720
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Business , Management science , Nuclear physics , Heavy ions , Hadrons , Nuclear engineering , Physics , Nuclear Physics, Heavy Ions, Hadrons , Nuclear Engineering , Business and Management, 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-1984-9783642475238:ONLINE Show nearby items on shelf
Title:VLSI for Pattern Recognition and Image Processing
Author(s):
Date:1984
Size:1 online resource (236 p.)
Note:10.1007/978-3-642-47523-8
Contents:1.1 VLSI System -- 1.2 VLSI Algorithms -- 1.3 Summary of Book -- References -- I General VLSI Design Considerations -- 2. One-Dimensional Systolic Arrays for Multidimensional Convolution and Resampling -- 3. VLSI Arrays for Pattern
Recognition and Image Processing: I/O Bandwidth Considerations -- II VLSI Systems for Pattern Recognition -- 4. VLSI Arrays for Minimum-Distance Classifications -- 5. Design of a Pattern Cluster Using Two-Level Pipelined Systolic Array
-- 6. VLSI Arrays for Syntactic Pattern Recognition -- III VLSI Systems for Image Processing -- 7. Concurrent Systems for Image Analysis -- 8. VLSI Wavefront Arrays for Image Processing -- 9. Curve Detection in VLSI -- 10. VLSI
Implementation of Cellular Logic Processors -- 11. Design of VLSI Based Multicomputer Architecture for Dynamic Scene Analysis -- 12. VLSI-Based Image Resampling for Electronic Publishing
ISBN:9783642475238
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 13
Keywords: Engineering , Image processing , Pattern recognition , Electronics , Microelectronics , Engineering , Electronics and Microelectronics, Instrumentation , Image Processing and Computer Vision , Pattern Recognition
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9789400978522:ONLINE Show nearby items on shelf
Title:The Study of Fast Processes and Transient Species by Electron Pulse Radiolysis Proceedings of the NATO Advanced Study Institute held at Capri, Italy, 7–18 September, 1981
Author(s):
Date:1982
Size:1 online resource (660 p.)
Note:10.1007/978-94-009-7852-2
Contents:Absorption of Energy From Ionizing Radiation -- 1. X-rays and ?-rays -- (a) Photoelectric effect -- (b) Compton effect -- (c) Pair production -- 2. Electrons -- (a) Excitation and ionisation of molecules -- (b) Emission of radiation
-- (c) Electron range -- (d) Low energy electrons -- 3. Heavy Positive Particles -- (a) High energy -- (b) Low energy -- 4. Neutrons -- References -- Basics of Radiation Chemistry -- Spacial Distribution and Reaction Kinetics -- 1.
Charge Particle Tracks and Track Densities -- 2. Spur Reactions -- 3. Non-Homogeneous Kinetics -- Time Scale of Events in a Liquid -- 1. Development -- 2. Summary of Time Scale -- References -- Sources of Pulsed Radiation -- 1.
Introduction -- 2. Types of Pulsed Radiation Sources -- 2.1. Microwave linear accelerators -- 2.2. Febetrons -- 2.3. Other sources of pulsed radiation -- 3. Physical Dosimetry for Pulses Sources -- References -- Chemical Dosimetry of
Pulsed Electron and X-Ray Sources in the 1-20 MeV Range -- 1.1. Units of Absorbed Dose -- 1.2. Units of Radiation Chemical Yield -- 2.1. Principles of Chemical Dosimetry -- 2.2. The Ferrous Sulphate or Fricke Dosimeter -- 2.3. The
“Super Fricke Dosimeter” -- 2.4. Other Dosimeters Suitable for High Intensity Pulsed Sources -- 3.1. Dosimetry by the Measurement of Fugitive Species -- 3.2. Sources of Error -- 1. Correction due to pulse duration -- 2. Correction for
response time of system -- 3.3. The Thiocyanate Dosimeter -- 3.4. The Hydrated Electron Dosimeter -- 3.5. The Ferrocyanide Dosimeter -- References -- Optical Monitoring Techniques -- 1. General Considerations -- 2. Optical Systems --
2.1. Lenses -- 2.2. Mirrors -- 2.3. Light-Sources -- 2.4. Monochromators -- 3. Monitoring Techniques -- 3.1. Photodetectors -- 3.2. Photomultipliers -- 3.3. Photodiodes -- 3.4. Detector circuits -- References -- Conductivity Monitoring
Techniques -- Electrical Principles -- Limitations -- Experimental Set-ups -- Chemical Examples -- Conclusion -- References -- Polarography Monitoring Techniques -- Experimental Section -- Examples -- Conclusion -- References -- The
Microwave Absorption Technique For Studying Ions and Ionic Processes -- Experimental -- General -- Circuit components -- Irradiation cells -- Irradiation conditions -- Data Reduction -- Reflection cell -- Resonant cavity cell -- The
yield-mobility product -- Application and Comparison with other Techniques -- References -- EPR and NMR Detection of Transient Radicals and Reaction Products -- Time Resolved EPR -- Pulsed EPR -- Time resolved spectra -- Time sweep --
Free induction decay -- NMR in Radiation Chemistry -- References -- Radical Ions and Excited States in Radiolysis. Optically Detected Time Resolved EPR -- Method, Results and Discussion -- References -- Light Scattering Techniques for
Investigation of Transients Produced in Electron Pulse Radiolysis -- Rayleigh Scattering -- Raman Scattering -- Background -- Origin of resonance enhancement -- Experimental -- Pulse radiolysis and TR3 detection -- Current activity --
References -- Data Acquisition and Analysis in Pulse Radiolysis Part is Control, Digitization, and Analysis -- 1.0. Introduction -- 2.0. Timing and Control -- 3.0. Digitisation of the Transient Signal -- 3.1. Oscilloscopes -- 3.2.
Electronic digitiser -- 3.3. Diode matrix technique -- 3.4. Streak cameras -- 3.5. Pulse-probe technique -- 3.6. Counting methods -- 3.7. Computer as digitiser -- 4.0. Data Processing and Analysis -- 4.1. Initial data processing --
4.2. Simple linear fitting -- 4.3. Iterative linear regression -- 4.4. Direct solution of kinetic equations -- 4.5. Deconvolution -- 4.6. Statistical considerations -- 5.0. Conclusion -- References -- Data Acquisition and Analysis in
Pulse Radiolysis Part II: Computerization -- 1.0. Introduction -- 2.0. Historical Survey -- 2.1. The computer revolution -- 2.2. Computers in pulse radiolysis -- 3.0. Techniques of Laboratory Computerisation -- 3.1. Computer hardware
-- Minicomputers -- Microcomputers -- 3.2. Hardware Interfacing -- Camac -- GPIB -- S-100 Bus -- Ethernet -- 3.3. Operating systems -- 3.4. Programming languages -- 4.0. Some General Aspects of Design and Implementation -- 4.1.
Flexibility -- 4.2. Ease of use -- 4.3. Manual control option -- 4.4. How much computerisation? -- 5.0. Conclusion -- References -- Rapid Techniques for Correcting Nanosecond Kinetic Traces for Convolution Error -- 1.0. Introduction --
2.0. Separation of the Convolution Integral -- 3.0. Model Excitation Response Function -- 4.0. Discussion -- 5.0. Examples -- 6.0. Conclusion -- References -- Basic Radiation Chemistry of Liquid Water -- 1. Introduction -- 2. Primary
Events -- 3. Experimental Evidence for Spurs -- 4. Yields of the Primary Species -- 4.1. Yields in neutral solution -- 4.2. Dependence on pH -- 5. Initial Yields -- 6. Properties of the Primary Radicals -- 6.1. Hydrated electron --
6.2. Hydrogen atom -- 6.3. Hydroxy1 radical -- 6.4. Perhydroxyl radical -- 7. Water Radiolysis as a Chemical Tool -- 7.1. Oxidising conditions -- 7.2. Reducing conditions -- 8. Concluding Remarks -- References -- Applications of Water
Radiolysis in Inorganic Chemistry -- 1. Introduction -- 2. Inorganic Free Radicals -- 3. Non-metallic Compounds -- 3.1. Oxyhalogen ions -- 3.2. Borohydride ion -- 4. Aquo-metal Ions in Unusual Oxidation States -- 5. Lanthanides and
Actinides -- 6. Transition Metal Complexes -- 6.1. Electron transfer -- 6.2. Coordinated free radicals -- 6.3. Aquation of transition metal complexes -- 6.4. Change in symmetry -- 7. Concluding Remarks -- References -- Application of
Pulse Radiolysis to the Study of Aqueous Organic Systems -- Reactions of OH, e-aq and H -- Hydroxyl radicals -- Hydrated electrons -- Hydrogen atoms -- Design of Experiments -- Radicals formed from OH reactions -- Radicals formed from
e-aq reactions -- Radicals formed from H reactions -- Acid-base properties -- Errors -- Free Radicals Formed from Organic Compounds -- Hydrocarbons -- Halides -- Alcohol and carbonyl compounds -- Sulphur compounds -- References --
Application of Pulse Radiolysis to the Study of Molecules of Biological Importance -- One Electron Reduction Potentials -- Quinones -- Carbohydrates -- Amino Acids and Peptides -- Pyridine Compounds -- Flavins -- Haem and Haemoproteins
-- Vitamin B12 -- Excited States -- References -- Structure and Dynamics of Paramagnetic Transients By Pulsed EPR and NMR Detection of Nuclear Resonance -- Time Resolved EPR -- NMR Detection of Nuclear Resonance -- CIDNP and CIDEP
Contributions -- References -- Transients in Low Temperature Aqueous Glasses -- 1. The Glassy State -- 2. Techniques Used in Matrix Isolation Studies -- Recombination Luminescences -- Electro Luminescences -- 3. Radiation Chemistry in
Glassy Matrices -- 4. Examples of Aqueous Glasses -- 4.1. Pure ice -- 4.2. Acid glasses -- 4.3. Alkaline glasses -- 4.4. Salt glasses -- 4.5. Ethylene glycol-water glasses -- 5. The Fate of Trapped Electrons -- 6. Conclusion --
References -- Labile Species and Fast Processes in Liquid Alcohol Radiolysis -- Overall Reaction -- Major products -- Minor products -- Non-homogeneous Kinetics and Fast Processes -- Decomposition of e-s -- References -- Labile Species
and Fast Processes in Liquid Alkanes -- Ionic Species -- Free ion yields -- Ions in spurs -- Kinetics -- Free Radicals -- Yields -- Reactions -- Excited States -- Yields -- References -- The Dynamics of Electrons and Ions in Non-Polar
Liquids -- Historical perspective -- Ionisation -- Recombination and Escape -- Correlated ion pair kinetics -- The free ion yield -- Homogeneous ion recombination -- Mobilities -- General -- Electrons -- Solvent-radical cations --
Solvent-radical anions -- Molecular ions -- Scavenging Yields -- References -- Molecular Excited States in Liquid Systems -- Primary Events during Fast Electron Bombardment -- Contribution of Pulse Radiolysis -- References --
Radiolytic Studies of Micelles and Other Aggregated Systems -- Cell Membranes -- Micelles -- Reverse Micelles -- Liposomes and Vesicles -- The Hydrated Electron -- The Hydroxy1 Radical -- Reduction of Dimensionality -- Electron
Transfer Reactions -- Binding of Proteins to Vesicle Bilayers -- References -- Transients in Low Temperature Organic Glasses -- 1. Different Types of Organic Glasses -- 2. Properties of Trapped Electrons -- 2.1. The trapping process --
2.2. Structure of trapped electrons -- 3. Reactions of Trapped Electrons -- 3.1. Reaction with scavengers -- 3.2. Reaction with cations -- 4. Cation Radicals -- References -- The Use of Pulse Radiolysis to Study Transient Species in
the Gas Phase -- 1. Introduction -- 2. Excited States -- 2.1. Pure rare gases -- 2.2. Rare gases containing additives -- 3. Charged Species -- 3.1. Recombination -- 3.2. Ion-molecule reactions -- 3.3. Electron capture -- 4. Atoms and
Radicals -- References -- Index of Subjects
ISBN:9789400978522
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 86
Keywords: Chemistry , Nuclear chemistry , Chemistry , Nuclear Chemistry
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1982-9789400977600:ONLINE Show nearby items on shelf
Title:New Advances in Distributed Computer Systems Proceedings of the NATO Advanced Study Institute held at Bonas,France, June 15–26, 1981
Author(s):
Date:1982
Size:1 online resource (415 p.)
Note:10.1007/978-94-009-7760-0
Contents:1. Network Development -- Introductory Survey -- Data Communication in Israel — Present and Future -- Datanet 1 of the Netherlands’ PTT -- of Radio-based Air/Ground Data Links into the SITA Network -- Presentation of the NADIR
Pilot-Project -- AUTOFLOOD — A Flexible Test System for Packet Switched Networks -- Integrated Non-voice Services in the Electronic Office -- 2. Network Design -- Open System Interconnection and the Integrated Services Digital Network
-- Design Issues for High Speed Local Network Protocols -- Directory Systems for Computer Mail in Internetworking Environments -- Modeling and Verification of End-to-End Protocols -- Why Usual Transmission Protocols are not appropriate
for High Speed Satellite Transmission -- 3. Local Area Networks -- RESER, A Local Area Network Using a Fiber-Optic Ring -- SESNET — Local Area Networks for Software Engineering Development -- The Interconnection of Local Area Networks
via a Satellite Network -- Report on the Local Area Networks FFM-MCS and MICON -- The Cambridge Ring -- Distributed System Activities at the Institute of Cybernetics of the University of Milan -- 4. Mathematical Development -- An
Introduction to a Calculus of Communicating Systems -- Modelling of Distributed Computing Systems -- 5. Security and Encryption -- Data Security in Distributed Computing Systems -- The Data Encryption Standard and its Modes of Use --
Standardisation and Implementation of Data Encryption -- Public Key Cryptosystems, Authentication and Signatures -- 6. Parallel Computing Architecture -- Synchronization of Concurrent Processes without Globality Assumptions -- Parallel
Processing Architecture and Parallel Algorithms -- Parallel Non-Linear Algorithms -- Microcomputer Networks for Process Control -- List of Participants
ISBN:9789400977600
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Nato Advanced Study Institutes Series, Series C - Mathematical and Physical Sciences: 80
Keywords: Engineering , Automotive engineering , Engineering , Automotive 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-1982-9783642618239:ONLINE Show nearby items on shelf
Title:Identifiability of State Space Models with applications to transformation systems
Author(s): Eric Walter
Date:1982
Size:1 online resource (216 p.)
Note:10.1007/978-3-642-61823-9
Contents:1. Transformation Systems -- 1.1 Introduction -- 1.2 Formalism -- 1.3 An example: nonlinear chemical kinetics -- 1.4 Specific problems of transformation system modelling -- 1.5 Conclusion -- 2. Structural Properties and Main
Approaches to Checking Them -- 2.1 Introduction -- 2.2 Definitions -- 2.3 Practical methods for checking structural observability and structural controllability of linear models -- 2.4 Main approaches to structural identifiability --
2.5 Conclusion -- 3. Local Identifiability -- 3.1 Introduction -- 3.2 Methods -- 3.3 Linear models -- 3.4 Computer aided design of models -- 3.5 Implementation for linear transformation systems -- 3.6 Conclusion -- 4. Global
Identifiability of Linear Models -- 4.1 Introduction -- 4.2 Properties of the transition matrix -- 4.3 Parametrization of the transition matrix -- 4.4 Application to checking s.g. identifiability -- 4.5 Conclusion -- 5. Exhaustive
Modelling for Linear Models -- 5.1 Introduction -- 5.2 Class of the studied models -- 5.3 The matrices B and C are known -- 5.4 The matrices B and C are partially unknown -- 5.5 Connections with Kalman’s canonical form -- 5.6
Applications of exhaustive modelling -- 5.7 Conclusion -- 6. Examples -- 6.1 Introduction -- 6.2 Chemotherapeutic model -- 6.3 Hepatobiliary kinetics of B.S.P. -- 6.4 Metabolism of iodine -- 6.5 Systemic distribution of Vincamine --
6.6 Conclusion -- 7. Global Identifiability of Nonlinear Models -- 7.1 Introduction -- 7.2 Series expansion approach -- 7.3 Linearization approach -- 7.4 Conclusion -- Conclusion -- References
ISBN:9783642618239
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Biomathematics: 46
Keywords: Mathematics , Mathematical models , Biomathematics , Statistics , Mathematics , Mathematical and Computational Biology , Mathematical Modeling and Industrial Mathematics , Statistics for Life Sciences, Medicine, Health Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1982-9783642514616:ONLINE Show nearby items on shelf
Title:COMPSTAT 1982 5th Symposium held at Toulouse 1982 Part I: Proceedings in Computational Statistics
Author(s):
Date:1982
Size:1 online resource (469 p.)
Note:10.1007/978-3-642-51461-6
Contents:1. Invited Papers -- On Some Problems in Analysing Non-orthogonal Designs -- Analytical Computing: Its Nature and Needs -- Updating Formulae and a Pairwise Algorithm for Computing Sample Variances -- Convex Hull Peeling -- Statistical
Computing at INSEE -- Artificial Intelligence and Data Analysis -- Classification of Multivariate Autoregressive Processes -- Exploratory Analysis of Large Sparse Matrices with Application to Textual Data -- Nonlinear Principal
Component Analysis -- A Programming Language for Multivariate Data Analysis -- Procedures for Optimal Collapsing of Two-way Contingency Table -- Computer Science as a Tool Improving Data Analysis Researches and Uses -- Applied Graph
Analysis in the Social Sciences: The Software Project GRADAP -- Microprocessors for Biomedical Research, Database Management and Analysis -- Parallel Processing in Statistics -- 2. Contributed Papers -- Software to Link Database
Interrogation and Statistical Analysis -- Development of a Statistical Language -- MICROSTAT: A Microcomputer Conversational System for Statistical Data Analysis -- An Algorithm for Nonnegative Least Squares and Projection onto Cones
-- Non Parametric Decision Trees by Bayesian Approach -- A Comparative Assessment of Data Management Software -- From Data Analysis to Non Parametric Statistics: Recent Developments and a Computer Realization for Exploratory Techniques
in Regression or Prediction -- Postgraduate Training for Statisticians — Database Methods -- Crossings, Orders and Ultrametrics: Application to Visualization of Consensus for Comparing Classifications -- Statistical Programs for
Microcomputers: The Implementation of a Directory for Data Structures -- Data Management and Tabulation in OPCS -- Archaeology, Data Analysis, Computer Science: How to Run Proper Treatment of Archaeological Data -- BLINWDR: Robust and
Bounded Influence Regression -- An Analysis of Developers’ and Users’ Ratings of Statistical Software Using Multiple Correspondence Analysis -- Real Time Graphical Techniques for Analyzing Multivariate Data -- About Fuzzy
Discrimination -- A Fortran Preprocessor for Statistical Data Analysis -- An Analysis of Continuous Proportions -- A Sampling Procedure for Historical Data -- Use of Systemic Networks for Text Analysis -- SPASP — A Statistical Program
for the Analysis of Stochastic Processes -- TOOLPACK: Improving the Programming Environment for Statistical Software -- A Programming Technique for Software in Statistical Analysis -- A Comparison of Types of Database System Used in
Statistical Work -- The Frontiers of Statistical Analysis -- Implementation of a Statistical Database System: HSDB -- A Synthetic Approach to Multivariate Normal Clustering -- Variable Selection in Generalized Linear Models --
Approximation of Surfaces in (p+1)-Dimensional Spaces -- Standardized Comparison of Nonlinear Model Fitting Algorithms -- Numerical Approach to the Optimal Design Problem for Regression Models with Correlated Errors -- An Experimental
Design and Analysis Package for Microcomputers -- Propositions for Fuzzy Characteristic Functions in Data Analysis -- Integrated System for Modelling Multivariate Time Series -- Software for Time Series Analysis -- Choice of Methods
and Algorithms for Statistical Treatment of Large Arrays of Data -- New Computing Tools and New Statistical Packages -- Statistical Computing Based on Text Editing -- Cluster Analysis Based on the Maximization of the RV Coefficient --
Statistical Approach to System Parameter Synthesis -- Statistical Match of Samples Using Additional Information -- An Exploratory Program Package for Non-Linear Data-Smoothers -- Applying Parallel Processing to Data Analysis: Computing
a Distance’s Matrix on a SIMD Machine -- The Balance between Teaching Computing and Statistics -- Canonical Analysis with B-splines -- Detecting Outliers in Simultaneous Linear Models -- Least Squares Optimisation of General
Log-likelihood Functions and Estimation of Separable Linear Parameters -- Computational Procedures for Bounded-Influence Regression -- MUDFOLD: Multiple Stochastic Unidimensional Unfolding -- The Estimation of Missing Values in Highly
Correlated Data -- Relational Design of Statistical Databases -- A Forward Multivariate Regression Procedure Based on the Maximization of the RV Coefficient -- Evaluation of Statistical Software Based on Empirical User Research --
Sound and Exploratory Data Analysis -- Monotone Splines: A Family of Transformations Useful for Data Analysis -- Results of the Application of Multimodal Optimization Algorithms Based on Statistical Models -- Address list of authors
ISBN:9783642514616
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistics and Computing/Statistics Programs
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1980-9783642965524:ONLINE Show nearby items on shelf
Title:Content-Addressable Memories
Author(s): Teuvo Kohonen
Date:1980
Note:10.1007/978-3-642-96552-4
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 Codi ng 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 -- References
ISBN:9783642965524
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 1
Keywords: Computer science , Artificial intelligence , Computer Science , 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-1975-9781461582168:ONLINE Show nearby items on shelf
Title:Acoustical Holography Volume 6
Author(s):
Date:1975
Size:1 online resource (760 p.)
Note:10.1007/978-1-4615-8216-8
Contents:Biomedical Imaging with the SRI Ultrasonic Camera -- Through-Transmission Acoustical Holography for Medical Imaging—A Status Report -- Research in Ultrasound Image Generation: A Computerized Ultrasound Processing, Acquisition, and
Display (CUPAD) System -- Algebraic Reconstruction of Spatial Distributions of Acoustic Velocities in Tissue from Their Time-of-Flight Profiles -- Cardiovascular Diagnosis with Real Time Ultrasound Imaging -- Sampled Aperture
Techniques Applied to B-Mode Echoencephalography -- High-Resolution B-Scan Systems Using a Circular Array -- Progress in Annular-Array Imaging -- System for Visualizing and Measuring Ultrasonic Wavefronts -- Digital Computer Simulation
Study of a Real-Time Collection, Post-Processing Synthetic Focusing Ultrasound Cardiac Camera -- A Scanning Focused-Beam System for Real-Time Diagnostic Imaging -- Optical Visualization of Acoustical Holograms by Area Heterodyning --
Real-Time Doppler Imaging for Unambiguous Measurement of Blood Volume Flow -- An Acoustic Phase Plate Imaging Device -- An Electronically Focused Two-Dimensional Acoustic Imaging System -- Acoustic Microscopy — A Tool for Medical and
Biological Research -- Microanatomy of a Histologically Unstained Embryo as Revealed by Acoustic Microscopy -- Assessment of Bragg Imaging and the Importance of its Various Components by Comparison with Radiographic Imaging -- Acoustic
Lenses and Low-Velocity Fluids for Improving Bragg-Diffraction Images -- Raman-Nath Imaging -- Optical Imaging Sonar -- Holographic Processing of Near-Field Sonar Data -- Solid Plate Acoustical Wave Focusing -- Earth Holography as a
Method to Delineate Buried Structures -- Enhancement by Non-Coherent Superposition of Microwave Images Formed with Crossed, Coherent Arrays -- Holographic Aperture Synthesis via a Transmitter Array -- Synthetic Aperture Approach to
Multi-Beam Scanning Acoustical Imaging -- Maximization of Resolution in Three Dimensions -- Experimental Implementation of Advanced Processing in Acoustic Holography -- A New Processing Technique for Scanned Ultrasonic Holography --
Holographic Interferometry with Acoustic Waves -- Acoustical Interferometry Using Electronically Simulated Variable Reference and Multiple Path Techniques -- Fringe Localization in Acoustical Holographic Interferometry -- Acoustic
Imaging Techniques for Real-Time Nondestructive Testing -- Performance of an Ultrasound Camera Tube Utilizing Pyroelectric Conversion Layers -- Analysis of the Response of Piezoelectric Receivers in Acoustic Imaging Systems -- Standard
Phantom Object for Measurements of Gray Scale and Dynamic Range of Ultrasonic Equipment -- Power Measurement Techniques Applied to Imaging Systems
ISBN:9781461582168
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Optics , Optoelectronics , Plasmons (Physics) , Physics , Optics, Optoelectronics, Plasmonics and Optical Devices
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-1973-9781489903303:ONLINE Show nearby items on shelf
Title:Pollution Engineering and Scientific Solutions
Author(s):
Date:1973
Size:1 online resource (784 p.)
Note:10.1007/978-1-4899-0330-3
Contents:1. Climatic Aspects of Pollution -- 1.1 Global Effects of Contaminants in the Upper Atmosphere -- 1.2 Climatic Aspects of Waste Heat -- 1.3 Cooling Towers and Weather Modification -- 2. Pollution and Space -- 2.1 Man-Made Alterations
of the Near Earth Space Environment -- 2.2 Orbital Pollution Control -- 2.3 Global Air Pollution Monitoring from Satellites: Prospects and Problems -- 2.4 Environmental Observations from Space — The Promise and the Challenge -- 3. Air
Pollution -- 3.1 A Model for Fluid Mechanical Studies of Air Pollution -- 3.2 A Systematic Method for Evaluating the Potential Environmental Impact of New Industrial Chemicals -- 3.3 Effect of Additives on Boiler Cleanliness and
Particulate Emissions -- 3.4 High Temperature Dust Control — Application of a Combination Particle Collector and Heat Exchanger -- 4. Agricultural and Pest Control Aspects of Pollution -- 4.1 Solutions to Problems of Soil Pollution by
Agricultural Chemicals -- 4.2 Control of Air Pollution Affecting or Caused by Agriculture -- 4.3 The Creation and Control of Pest Situations Through Engineering: Past, Present and Future -- 4.4 The Neo-Technological Landscape
Degradation and Its Ecological Restoration -- 4.5 Some Aspects of the Role of Engineering in the Competition Between Insects and Man -- 5. Sulfur Dioxide -- 5.1 Sulfur Dioxide Removal from Gases, U. S.: Lime-Limestone -- 5.2 Special
Problems of the Smelter Industry -- 5.3 Sulfur Dioxide Removal from Waste Gases: A Status Report from United States: Recovery Processes -- 5.4 Sulphur Dioxide Removal from Waste Gases: A Status Report from Japan -- 5.5 Sulfur Dioxide
Removal from Waste Gases: A Status Report — Europe -- 6. Propellants and Explosives -- 6.1 Pollution Abatement in the Manufacture and Loading of Propellants and Explosives -- 6.2 Investigations Related to Prevention and Control of
Water Pollution in the U. S. TNT Industry -- 6.3 Control of Nitrogen Oxide Emissions for Nitric Acid Plants -- 6.4 Abatement of Nitrobodies in Aqueous Effluents from TNT Production and Finishing Plants -- 6.5 Explosive Incineration --
6.6 The U. S. Navy PEPPARD Program -- 6.7 Elimination of Styphnic Acid from Plant Effluents -- 7. Solid Waste, Land Use -- 7.1 Environmental Problems and Solutions Associated with the Development of the World’s Largest Lead Mining
District -- 7.2 A Study of the Effectiveness of Backfilling in Controlling Mine Drainage -- 7.3 Land Disposal of Septage (Septic Tank Pumpings) -- 7.4 Resource Recovery from Municipal Waste — A Review and Analysis of Existing and
Emerging Technology -- 7.5 Removal of Trace Metals from Wastewater by Lime and Ozonation -- 7.6 A Floating Settler for Low Cost Clarification -- 8. Sensing, Instrumentation, and Measurement -- 8.1 Measurement and Collaborative Testing
for Implementation of Air Quality -- 8.2 The Use of Airborne Sensor Systems for Environmental Monitoring -- 8.3 Radio Wave Monitoring of the Depth and Salinity of the Water Table -- 8.4 Remote Measurement of Air Pollutants Utilizing
the Raman Effect -- 8.5 Remote Sensing of Pollutants by Means of Stereo Analysis -- 8.6 Profiles of the Natural Contaminant Radon 222 as a Measure of Vertical Diffusivity -- 8.7 Spectrophotometric Determination of Indole and Skatole
Using Lignine Extractions -- 9. Models -- 9.1 The Steady-State Demand-Output-Waste Economy -- 9.2 Simulation of Populations, with Particular Reference to the Grain Beetle, Tribolium -- 9.3 Pollution by Diffusive Processes -- 9.4
Computer Control of Physical-Chemical Wastewater Treatment -- 9.5 Computation and Mapping of the Dispersion and Herbage Uptake of Gaseous Effluents from Industrial Plants -- 9.6 Particle Deposition and Diffusivities along Smooth
Surfaces -- 10. Noise -- 10.1 Industrial Noise Pollution -- 10.2 Motor Vehicle Noise -- 10.3 Engineering and Scientific Implications of Noise Control Legislation -- 10.4 Noise Pollution in Developing Countries and in Israel in
Particular -- 11. National and Local Problems and Solutions -- 11.1 Environmental Protection in the U. S. -- 11.2 Pollution Problems in Australia — A Large, Sparsely Populated, Rapidly Developing Country -- 11.3 The Canadian Pollution
Problem — A Need for Broader Perceptions -- 11.4 A Cooperative Approach to Pollution Problems in Canada -- 11.5 Some Pollution Problems in Nigeria -- 11.6 Legal Control of Industrial Air Pollution in Israel -- 11.7 Air Pollution Trends
in Tel Aviv, Israel -- 11.8 A Dual-Purpose Air Pollution Alert and Implementation System for the Greater Tel-Aviv Area -- 12. Political, Social, Educational, and Industrial Aspects of Pollution -- 12.1 Politics and Pollution: Political
Solutions to a Deteriorating Environment -- 12.2 Some Economic, Spatial, Social, and Political Indicators of Environmental Quality of Urban Life -- 12.3 Teratological Hazards due to Phenoxy Herbicides and Dioxin Contaminants -- 12.4
Strategy for Maintaining Environmental Quality in Developing Technological Societies -- 12.5 Environment’s Most Dangerous Pest: Man -- 12.6 Environmental Education as a Means of Creating an Awareness of Pollution by Tomorrow’s Youth --
12.7 Pollution and Public Information -- 12.8 Are Industry and Government Fulfilling Their Responsibilities for Pollution Control? -- 12.9 Industrial Zoning
ISBN:9781489903303
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Environmental Science Research : 2
Keywords: Physics , Physics , Physics, 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:QA76.9.D3N443::2007 Show nearby items on shelf
Title:Oracle Database 10g performance tuning Tips & techniques
Author(s): Richard J. Niemiec
Date:2007
Publisher:New York : McGraw-Hill
Size:967 p.
Contents:Oracle database 10g new features (DBA and Developer) -- Basic Index Principles (Beginner Developer and beginner DBA) -- Disk implementation Methodology and ASM (DBA) -- Tuning the database with initialization parameters (DBA) -- Enterprise manager and grid control (DBA and Developer) -- Using explain and stored outlines (Developer and DBA) -- Basic hint syntax (Developer and DBA) -- Query tuning and beginner DBA -- Table joins and other advanced tuning (Advanced DBA and Developer) -- Using PL/SQL to enhance performance (Developer and DBA) -- Tuning RAC and using parallel features -- The V$$ views (Developer and DBA) -- The X$$ tables (Advanced DBA) -- Using STATSPACK and the AWR report to tune waits and latches -- Performing a quick system review (DBA) -- Monitor the system using Unix utitlities (DBA)
ISBN:9780072263053
Keywords: Oracle (Computer file) , Relational databases.
Availability:Click here to see Library holdings or inquire at 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