Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Call number: | SPRINGER-2003-9783642557699:ONLINE Show nearby items on shelf |
Title: | Computational Partial Differential Equations Numerical Methods and Diffpack Programming |
Author(s): |
Hans Petter Langtangen |
Date: | 2003 |
Edition: | Second Edition |
Size: | 1 online resource (862 p.) |
Note: | 10.1007/978-3-642-55769-9 |
Contents: | 1 Getting Started -- 1.1 The First Diffpack Encounter -- 1.2 Overview of Application Examples -- 1.3 Steady One-Dimensional Heat Conduction -- 1.5 Projects -- 1.6 About Programming with Objects -- 1.7 Coding the PDE Simulator as a |
Class -- 1.8 Projects -- 2 Introduction to Finite Element Discretization -- 2.1 Weighted Residual Methods -- 2.2 Time Dependent Problems -- 2.3 Finite Elements in One Space Dimension -- 2.4 Example: A ID Wave Equation -- 2.5 Naive | |
Implementation -- 2.6 Projects -- 2.7 Higher-Dimensional Finite Elements -- 2.8 Calculation of Derivatives -- 2.9 Convection-Diffusion Equations -- 2.10 Analysis of the Finite Element Method -- 3 Programming of Finite Element Solvers | |
-- 3.1 A Simple Program for the Poisson Equation -- 3.2 Increasing the Flexibility -- 3.3 Some Visualization Tools -- 3.4 Some Useful Diffpack Features -- 3.5 Introducing More Flexibility -- 3.6 Step-by-Step Development of a Diffpack | |
Solver -- 3.7 Adaptive Grids -- 3.8 Projects -- 3.9 A Convection-Diffusion Solver -- 3.10 A Heat Equation Solver -- 3.11 A More Flexible Heat Equation Solver -- 3.12 Visualization of Time-Dependent Fields -- 3.13 A Transient Heat | |
Transfer Application -- 3.14 Projects -- 3.15 Efficient Solution of the Wave Equation -- 4 Nonlinear Problems -- 4.1 Discretization and Solution of Nonlinear PDEs -- 4.2 Software Tools for Nonlinear Finite Element Problems -- 4.3 | |
Projects -- 5 Solid Mechanics Applications -- 5.1 Linear Thermo-Elasticity -- 5.2 Elasto-Viscoplasticity -- 6 Fluid Mechanics Applications -- 6.1 Convection-Diffusion Equations -- 6.2 Shallow Water Equations -- 6.3 An Implicit Finite | |
Element Navier-Stokes Solver -- 6.4 A Classical Finite Difference Navier-Stokes Solver -- 6.5 A Fast Finite Element Navier-Stokes Solver -- 6.6 Projects -- 7 Coupled Problems -- 7.1 Fluid-Structure Interaction Squeeze-Film Damping -- | |
7.2 Fluid Flow and Heat Conduction in Pipes -- 7.3 Projects -- B.7 Optimizing Diffpack Codes -- A Mathematical Topics -- A.1 Scaling and Dimensionless Variables -- A.2 Indicial Notation -- A.3 Compact Notation for Difference Equations | |
-- A.4 Stability and Accuracy of Difference Approximations -- A.4.1 Typical Solutions of Simple Prototype PDEs -- A.4.2 Physical Significance of Parameters in the Solution -- A.4.3 Analytical Dispersion Relations -- A.4.4 Solution of | |
Discrete Equations -- A.4.5 Numerical Dispersion Relations -- A.4.6 Convergence -- A.4.7 Stability -- A.4.8 Accuracy -- A.4.9 Truncation Error -- A.4.10 Traditional von Neumann Stability Analysis -- A.4.11 Examples: Analysis of the | |
Heat Equation -- A.5 Exploring the Nature of Some PDEs -- A.5.1 A Hyperbolic Equation -- A.5.2 An Elliptic Equation -- A.5.3 A Parabolic Equation -- A.5.4 The Laplace Equation Solved by a Wave Simulator -- A.5.5 Well-Posed Problems -- | |
B Diffpack Topics -- B.1 Brief Overview of Important Diffpack Classes -- B.2 Diffpack-Related Operating System Interaction -- B.2.1 Unix -- B.2.2 Windows -- B.3 Combining Diffpack with Other Types of Software -- B.3.1 Calling Other | |
Software Packages from Diffpack -- B.3.2 Calling Diffpack from Other Types of Software -- B.4. Basic Diffpack Features -- B.4.1 Diffpack Man Pages -- B.4.2 Standard Command-Line Options -- B.4.3 Generalized Input and Output -- B.4.4 | |
Automatic Verification of a Code -- B.5 Visualization Support -- B.5.1 Curves -- B.5.2 Scalar and Vector Fields -- B.6 Details on Finite Element Programming -- B.6.1 Basic Functions for Finite Element Assembly -- B.6.2 Using Functors | |
for the Integrands -- B.6.3 Integrating Quantities over the Grid or the Boundary -- B.6.4 Class Relations in the Finite Element Engine -- C Iterative Methods for Sparse Linear Systems -- C.1 Classical Iterative Methods -- C.1.1 A | |
General Framework -- C.1.2 Jacobi, Gauss-Seidel, SOR, and SSOR Iteration -- C.2 Conjugate Gradient-Like Iterative Methods -- C.2.1 Galerkin and Least-Squares Methods -- C.2.2 Summary of the Algorithms -- C.2.3 A Framework Based on the | |
Error -- C.3 Preconditioning -- C.3.1 Motivation and Basic Principles -- C.3.2 Classical Iterative Methods as Preconditioners -- C.3.3 Incomplete Factorization Preconditioners -- C.4 Multigrid and Domain Decomposition Methods -- C.4.1 | |
Domain Decomposit ion -- C.4.2 Multigrid Methods -- D Software Tools for Solving Linear Systems -- D.1 Storing and Initializing Linear Systems -- D.1.1 Vector and Matrix Formats -- D.1.2 Detailed Matrix Examples -- D.1.3 Representation | |
of Linear Systems -- D.2 Programming with Linear Solvers -- D.2.1 Gaussian Elimination -- D.2.2 A Simple Demo Program -- D.2.3 A 3D Poisson Equation Solver -- D.3 Classical Iterative Methods -- D.4 Conjugate Gradient-like Methods -- | |
D.4.1 Symmetric Systems -- D.4.2 Nonsymmetric Systems -- D.5 Preconditioning Strategies -- D.6 Convergence History and Stopping Criteria -- D.7 Example: Implicit Methods for Transient Diffusion -- D.8 High-Level Stencil Programming of | |
Finite Difference Schemes -- D.8.1 Finite Difference Stencils -- D.8.2 Basic Structure of a Stencil-Based Simulator -- D.8.3 Defining the Stencils | |
ISBN: | 9783642557699 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Texts in Computational Science and Engineering: 1 |
Keywords: | Computer science , Software engineering , Computers , Mathematical analysis , Analysis (Mathematics) , Computer mathematics , Physics , Computational intelligence , Computer Science , Theory of Computation , Analysis , Software Engineering/Programming and Operating Systems , Computational Mathematics and Numerical Analysis , Computational Intelligence , Theoretical, Mathematical and Computational Physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2003-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 |
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 |
Call number: | SPRINGER-2002-9783709105252:ONLINE Show nearby items on shelf |
Title: | Advanced Arithmetic for the Digital Computer Design of Arithmetic Units |
Author(s): |
Ulrich W Kulisch |
Date: | 2002 |
Size: | 1 online resource (1 p.) |
Note: | 10.1007/978-3-7091-0525-2 |
Contents: | 1. Fast and Accurate Vector Operations -- 1.1 Introduction -- 1.2 Implementation Principles -- 1.3 High-Performance Scalar Product Units (SPU) -- 1.4 Comments on the Scalar Product Units -- 1.5.1 Scalar Product Units for |
Top-Performance Computers -- 1.6 Hardware Accumulation Window -- 1.7 Theoretical Foundation of Advanced Computer Arithmetic -- Bibliography and Related Literature -- 2. Rounding Near Zero -- 2.1 The one dimensional case -- 2.2 Rounding | |
in product spaces -- Bibliography and Related Literature -- 3. Interval Arithmetic Revisited -- 3.1 Introduction and Historical Remarks -- 3.2 Interval Arithmetic, a Powerful Calculus to Deal with Inequalities -- 3.3 Interval | |
Arithmetic as Executable Set Operations -- 3.4 Enclosing the Range of Function Values -- 3.5 The Interval Newton Method -- 3.6 Extended Interval Arithmetic -- 3.7 The Extended Interval Newton Method -- 3.8 Differentiation Arithmetic, | |
Enclosures of Derivatives -- 3.9 Interval Arithmetic on the Computer -- 3.10 Hardware Support for Interval Arithmetic | |
ISBN: | 9783709105252 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Arithmetic and logic units, Computer , Microprocessors , Architecture, Computer , Algorithms , Computer mathematics , Numerical analysis , Mathematics , Computational Science and Engineering , Arithmetic and Logic Structures , Processor Architectures , Computer System Implementation , Algorithms , Numerical Analysis |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2002-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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Call number: | SPRINGER-1997-9789401157407:ONLINE Show nearby items on shelf |
Title: | VLSI Planarization Methods, Models, Implementation |
Author(s): |
V Feinberg |
Date: | 1997 |
Size: | 1 online resource (186 p.) |
Note: | 10.1007/978-94-011-5740-7 |
Contents: | 1 Discrete Mathematics Fundamentals -- 1.1 Graphs And Hypergraphs -- 1.2 Algorithms And Their Complexity -- 1.3 Algorithms In Graphs -- 1.4 Intractable Problems -- 2 Graph Planarization -- 2.1 Planar Graphs. Graph Planarity Criteria |
-- 2.2 Graph Planarity Testing Algorithms -- 2.3 Approximation Algorithm for Graph Planarization -- 3 Hypergraph Planarization -- 3.1 The Concept of Planar Hypergraph -- 3.2 Planarity of Different Hypergraph Classes -- 3.3 Hypergraph | |
Nonplanarity Measures. Statement of Hypergraph Planarization Problem -- 3.4 Decomposition Methods of Hypergraph Planarization -- 4 Mathematical Models for VLSI Planarization Problem -- 4.1 Graph versus Hypergraph VLSI Models -- 4.2 | |
VLSI Models with Specified Element Models -- 4.3 Dynamic VLSI Models -- 5 Extracting a Maximum Planar VLSI Part -- 5.1 Extracting a Maximum Planar VLSI Part as a Hypergraph Planarization Problem -- 5.2 Iteration Algorithm for | |
Hypergraph Planarization -- 5.3 Hypergraph Planarization by Konig Representation -- 5.4 Operations of Local Embedding Optimization -- 6 Constructing Nonplanar Connections -- 6.1 Graph Model for Nonplanar Connections -- 6.2 Constructing | |
a Nonplanar Connection as a Steiner Problem in a Weighted Graph -- 6.3 Ordering Nonplanar Connections to be Constructed -- 7 Planarization System Structure -- 7.1 Purpose and Functions of the System -- 7.2 Planarization System | |
Structure. Logic Diagram -- 7.3 Data Organization in Planarization System -- 7.4 Some Aspects of the Practical Use of the Planarization System -- References | |
ISBN: | 9789401157407 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Mathematics and Its Applications : 399 |
Keywords: | Engineering , Computers , Computer science , Algorithms , Electrical engineering , Engineering , Electrical Engineering , Computing Methodologies , Algorithms , Discrete Mathematics in Computer Science , Theory of Computation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-1997-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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Call number: | SPRINGER-1989-9789400909854:ONLINE Show nearby items on shelf |
Title: | Applications of Computer Technology to Dynamical Astronomy Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27–29 July 1988 |
Author(s): | |
Date: | 1989 |
Size: | 1 online resource (341 p.) |
Note: | 10.1007/978-94-009-0985-4 |
Contents: | 1/Applications of Computers to Solving Problems -- Early Applications of Computer Technology to Dynamical Astronomy -- Applications of Computers to Celestial Mechanics -- Applications to Stellar and Galactic Dynamics -- Application of |
Computer in Qualitative Studies of Celestial Mechanics -- Leading Spiral Arms, Retrograde Galaxy Encounters and Massive Halos -- On Construction of Analytic Solutions to the Three Body Problem by Use of Computer Experiments -- The Use | |
of Computer Algorithms in the Construction of a Theory of the Long-Period Perturbations of Saturn’s Satellite Hyperion -- Some Numerical Aspects in a Search for I=1 Periodic Orbits for Hecuba Asteroids -- SHORDE I Program System and | |
Applications -- A Semi-numerical Expansion of the Averaged Disturbing Function for Some Very-high-eccentricity Orbits -- Symbolic Algebra Software for Planetary Theories -- Tests of the Extrapolation Method for the Numerical | |
Integration of the Keplerian Motion -- Application of a Massively Parallel Computer to the N-body Problem -- Hydrodynamical Models of Elliptical Galaxies -- A Multifluid Code for Problems of Elliptical Galaxy Formation and Evolution -- | |
3D Hydrodynamics and Radiative Transfer -- First-order and Second-order 3-D Hydrodynamics: A Comparison -- Chaotic Dynamics and Monte Carlo Modelling -- Software Tools for Nonlinear Dynamics -- Computer Algebra, Lie Transforms and the | |
Nonlinear Stability of L4 -- Solution of an Infinite Number of Inequations Depending on a Continuous Parameter and Application to the Solution of Equations in Dynamical Astronomy -- 2/Matching Problems with Technology -- Planet | |
Crossing Asteroids and Parallel Computing: Project Spaceguard -- Implementation of an N-body Code in a HP1000 Computer -- Computer Applications to Lunar and Artificial Satellite Laser Ranging -- The Use of Image Processors for | |
Acquisition and Reduction of Astrometric Data in Real Time -- Modeling of Asymmetric Light Curves of Eclipsing Binaries on the Cyber 205 Supercomputer -- Galaxies in the Connection Machine -- 3/New Methods of Mathematical Programming | |
-- Specialized Celestial Mechanics Systems for Symbolic Manipulation -- On a Restricted (2n+3)-Body Problem -- The Simplex Method for Nonlinear Mass Determinations -- An Optimum Method for Calculating Restricted Three-Body Orbits -- | |
The Constrained Normal Form Algorithm -- 4/Matching Computer Language to the Problem -- Simplify or Perish -- The Stability of the Lagrangian Point L4 -- Computer Implementation of a New Approach to the Ideal Resonance Problem -- A | |
Laboratory for Gravitational Scattering Experiments -- Problem Oriented Language for Ephemeris Astronomy and its Realisation in the System ERA -- 5/Use of Numerical Versus Algebraic Computation -- Numerical Integration Methods in | |
Dynamical Astronomy -- A Survey of Poisson Series Processors -- A FORTRAN-based Poisson Series Processor and its Applications in Celestial Mechanics -- PARSEC: An Interactive Poisson Series Processor for Personal Computing Systems -- | |
The Problem of the Eulerian Oscillations: A Weakness of Numerical Versus Analytical Methods -- A Semi-Analytical Method to Study Perturbed Rotational Motion -- Computational Studies of Cloudy Gaseous Galactic Disks -- 6/Representation | |
and Transmission of Results -- Synthetic Secular Theories of the Planetary Orbits: Regular and Chaotic Behaviour -- Numerical Representation of Planetary Ephemerides -- Compressed Planetary and Lunar Ephemerides -- An Analytical | |
Representation of Ephemeris Data -- Numerical Simulations of Narrow Planetary Rings: An Animation -- Electronic Almanacs Mating the Message and the Medium -- List of Participants -- Errata | |
ISBN: | 9789400909854 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Physics , Computer science , Observations, Astronomical , Astronomy , Astrophysics , Statistics , Physics , Astrophysics and Astroparticles , Astronomy, Observations and Techniques , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Symbolic and Algebraic Manipulation |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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