Fermilab Fermilab Core Computing Division

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

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD COMPUTING METHODOLOGIES *END*INIT* use /tmp/qspiwww.webspi1/11999.182 QRY 131.225.70.96 . find keyword computing methodologies ( in books using www Cover
Image
Call number:9789402409994:ONLINE Show nearby items on shelf
Title:Lattice Quantum Chromodynamics Practical Essentials
Author(s): Francesco Knechtli
Date:2017
Size:1 online resource (XIII, 140 p. 12 illus., 1 illus. in color p.)
Contents:Quantum Field Theory (QFT) on the Lattice -- A brief history of quarks and gluons -- Classical fields and gauge invariance -- Hamiltonian and path integral formulations of quantum mechanics -- Quantum fields on a lattice -- Recovering
continuum QCD -- Further reading -- Monte Carlo methods -- Markov chain Monte Carlo -- Sampling Yang–Mills gauge fields -- Hybrid Monte Carlo -- Symplectic integration schemes -- Summary and Further reading -- Handling fermions on the
lattice -- Wick contractions -- Sparse Linear Algebra -- Fermion determinant -- HMC with fermions revisited -- The quark propagator from a point source -- All-to-all quark propagators -- Summary and Further reading -- Calculating
observables of quantum fields -- Symmetry properties of creation and annihilation operators -- Techniques for hadron spectroscopy -- Gluons, Wilson Loops and glueballs -- Quarks and hadron physics -- Statistical data analysis --
Summary -- A Notational conventions -- A.1 SU(N) notation -- A.2 Fermions -- A.3 Probability spaces -- References
ISBN:9789402409994
Series:eBooks
Series:Springer eBooks
Series:Springer 2017 package
Keywords: Physics , Computers , Mathematical physics , Quantum field theory , String theory , Elementary particles (Physics) , Physics , Quantum Field Theories, String Theory , Elementary Particles, Quantum Field Theory , Computing Methodologies , Mathematical Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9781461449096:ONLINE Show nearby items on shelf
Title:Matrix-Analytic Methods in Stochastic Models [electronic resource]
Author(s): Guy Latouche
Vaidyanathan Ramaswami
Jay Sethuraman
Karl Sigman
Mark S Squillante
David Yao
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:Matrix-analytic and related methods have become recognized as an important and fundamental approach for the mathematical analysis of general classes of complex stochastic models. Research in the area of matrix-analytic andrelated methods seeks to dis cover underlying probabilistic structures intrinsic in such stochastic models, develop numerical algorithms for computing functionals (e.g., performance measures) of the underlying stochastic processes, andapply these probabilistic structures and/or compu tational algorithms within a wide variety of fields. This volume presents recent research results on: the theory, algorithms and methodologies concerning matrix-analytic and relatedmethods in stochastic models and the application of matrix-analytic and re lated methods in various fields, which includes but is not limited to computer science and engineering, communication networks and telephony, electrical andindustrial engineering, operations research, management science, financial and risk analysis, and b io-statistics. These research studies provide deep insights and understanding of the stochastic models of interest from amathematicsandapplications perspective, as well as identify directions for future research
Note:Springer eBooks
Contents:Factorization properties for a MAP
modulated fluid flow model under server vacation policies
A compressed cyclic reduction for QBDs with low rank upper and lower transitions
Bilateral matrix
exponential distribution
AutoCAT: Automated Product
Form Solution of Stochastic Models
Markovian trees subject to catastrophes: Would they survive forever?
Majorization and Extremal PH
Distributions
Acceptance
rejection methods for generating random variates from matrix exponential distributions and rational arrival processes
Revisit to the tail asymptotics of the double QBD process: R
ISBN:9781461449096
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Proceedings in Mathematics & Statistics, 2194-1009 : v27
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Numerical analysis , Distribution (Probability theory)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783642215513:ONLINE Show nearby items on shelf
Title:Handbook of Computational Statistics [electronic resource] : Concepts and Methods
Author(s): James E Gentle
Wolfgang Karl Hrdle
Yuichi Mori
Date:2012
Edition:2nd ed. 2012. revised and updated
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The Handbook of Computational Statistics - Concepts and Methods (second edition) is a revision of the first edition published in 2004, and contains additional comments and updated information on the existing chapters, as well asthree new chapters add ressing recent work in the field of computational statistics. This new edition is divided into 4 parts in the same way as the first edition. It begins with How Computational Statistics became the backbone ofmodern data science (Ch.1): an overview of the field of Computational Statistics, how it emerged as a separate discipline, and how its own development mirrored that of hardware and software, including a discussion of current activeresearch. The second part (Chs. 2 - 15) presents several topics in the supporting field of statistical computing. Emphasis is placed on the need for fast and accurate numerical algorithms, and some of the basic methodologies fortransformation, database handling, high-dimensional data and graphics treatment are discussed. The third part (Chs. 16 - 33) focuses on statistical methodology. Special attention is given to smoothing, iterative procedures, simulationand visualization of multivariate data. Lastly, a set of selected applications (Chs. 34 - 38) like Bioinformatics, Medi cal Imaging, Finance, Econometrics and Network Intrusion Detection highlight the usefulness of computationalstatistics in real-world applications
Note:Springer eBooks
Contents:Part I Computational Statistics
Part II Statistical Computing
Part III Statistical Methodology
Part IV Selected Applications
ISBN:9783642215513
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Handbooks of Computational Statistics
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9781461433231:ONLINE Show nearby items on shelf
Title:Astrostatistics and Data Mining [electronic resource]
Author(s): Luis Manuel Sarro
Laurent Eyer
William O'Mullane
Joris De Ridder
Date:2012
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:This volume provides an overview of the field of Astrostatistics understood as the sub-discipline dedicated to the statistical analysis of astronomical data. It presents examples of the application of the various methodologies nowavailable to current open issues in astronomical research. The technical aspects related to the scientific analysis of the upcoming petabyte-scale databases are emphasized given the importance that scalable Knowledge Discoverytechniques will have for the full exploitation of these databases. Based on the 2011 Astrostatistics and Data Mining in Large Astronomical Databases conference and school, this volume gathers examples of the work by leading authors inthe areas of Astrophysics and Statistics, including a significant cont ribution from the various teams that prepared for the processing and analysis of the Gaia data
Note:Springer eBooks
Contents:??? 'Science with Gaia: how will we deal with a complex billion
source catalogue and data archive?' by Anthony Brown (Leiden University,Netherlads)
'Recent Advances in cosmological Bayesian model comparison' by Roberto Trotta (University College London, UK)
'The Art of Data Science' by Matthew Graham (Center for Advanced Computing Research, California Institute of Technology, USA)
'Astronomical Surveys: from SDSS to LSST' by Robert Lupton (Princeton University, USA)
'Exoplanet demography, quasar target selection, and probabilistic redshift estimation: Hierarchical m
ISBN:9781461433231
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Series in Astrostatistics : v2
Series:Mathematics and Statistics (Springer-11649)
Keywords: Astronomy , Statistics , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9783540330370:ONLINE Show nearby items on shelf
Title:Handbook of Data Visualization [electronic resource]
Author(s): Chun-houh Chen
Wolfgang Hrdle
Antony Unwin
Date:2008
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Visualizing the data is an essential part of any data analysis. Modern computing developments have led to big improvements in graphic capabilities and there are many new possibilities for data displays. This new volume in theseries Springer Handbooks of Computational Statistics gives an overview of modern data visualization methods, both in theory and practice. There are definitive chapters on modern graphical tools such as mosaic plots, parallelcoordinate plots and linked views. There are chapters d edicated to graphical methodology for particular areas of statistics, for example Bayesian analysis, genomic data and cluster analysis, as well as chapters on software forgraphics. Specialists from all over the world have contributed papers on their areas of expertise
Note:Springer eBooks
Contents:Data Visualization
Principles
Methodologies
Selected Applications
ISBN:9783540330370
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Handbooks Comp.Statistics
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Computer vision , Bioinformatics , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9780387773728:ONLINE Show nearby items on shelf
Title:SAS for Data Analysis [electronic resource] : Intermediate Statistical Methods
Author(s): Mervyn G Marasinghe
William J Kennedy
Date:2008
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming language. It serves as an advanced introduction to SAS as well as how to use SAS for the analysis ofdata arising from man y different experimental and observational studies. While there are many introductory texts on SAS programming, statistical methods texts that solely make use of SAS as the software of choice for the analysis ofdata are rare. While this is understandable from a marketability point of view, clearly such texts will serve the need of many thousands of students and professionals who desire to learn how to use SAS beyond the basic introductionthey usually receive from taking an introductory statistics course. More recently, several authors in statistical methodology have begun to incorporate SAS in their texts but these books are limited to more specialized subjects. Manyof the standard topics covered in statistical methods texts supplemented by advanced mater ial more suited for a second course in applied statistics are included, so that specific aspects of SAS procedures can be illustrated. Brief butinstructive reviews of the statistical methodologies used are provided, and then illustrated with analysis of d ata sets used in well-known statistical methods texts. Particular attention is devoted to discussions of models used in eachanalysis because the authors believe that it is important for users to have not only an understanding of how these models are repre sented in SAS but also because it helps in the interpretation of the SAS output produced. Mervyn G.Marasinghe is Associate Professor of Statistics at Iowa State University where he teaches several courses in statistics and statistical computing and a cour se in data analysis using SAS software. A former Associate Editor of theJournal Computational and Graphical Statistics, he has used SAS software for more than 30 years. William J. Kennedy is Professor E
Note:Springer eBooks
Contents:Introduction to SAS language
More on SAS programming and some applications
Statistical graphics using SAS/GRAPH
Statistical analysis of regression models
Analysis of variance models
Analysis of variance: random mixed effects models
Appendices
References
Index
ISBN:9780387773728
Series:e-books
Series:SpringerLink (Online service)
Series:Statistics and Computing, 1431-8784
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9780387766829:ONLINE Show nearby items on shelf
Title:Handbook of Financial Engineering [electronic resource]
Author(s): Constantin Zopounidis
Michael Doumpos
Panos M Pardalos
Date:2008
Publisher:Boston, MA : Springer US
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Over the past decade the financial and business environments have undergone significant changes. During the same period several advances have been made within the field of financial engineering, involving both the methodologicaltools as well as the a pplication areas. This comprehensive edited volume discusses the most recent advances within the field of financial engineering, focusing not only on the description of the existing areas in financial engineeringresearch, but also on the new methodologies that have been developed for modeling and addressing financial engineering problems. This book is divided into four major parts, each covering different aspects of financial engineering andmodeling such as portfolio management and trading, risk managemen t, applications of operation research methods, and credit rating models. Handbook of Financial Engineering is intended for financial engineers, researchers, appliedmathematicians, and graduate students interested in real-world applications to financial en gineering
Note:Springer eBooks
Contents:Portfolio Management and Trading
Portfolio Selection in the Presence of Multiple Criteria
Applications of Integer Programming to Financial Optimization
Computing Mean/Downside Risk Frontiers: The Role of Ellipticity
Exchange Traded Funds: History, Trading, and Research
Genetic Programming and Financial Trading: How Much About What We Know
Risk Management
Interest Rate Models: A Review
Engineering a Generalized Neural Network Mapping of Volatility Spillovers in European Government Bond Markets
Estimating Parameters in a Pricing Model with State
Dependent Shocks
C
ISBN:9780387766829
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Optimization and Its Applications, 1931-6828 : v18
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Finance , Mathematical optimization , Banks and banking
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9783540342885:ONLINE Show nearby items on shelf
Title:Numerical Mathematics and Advanced Applications [electronic resource] : Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005/ edited by Alfredo Bermdez d e Castro, Dolores Gmez, Peregrina Quintela, Pilar Salgado
Author(s): Alfredo Bermdez de Castro
Dolores Gmez
Peregrina Quintela
Pilar Salgado
Date:2006
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book collects the major part of the lectures given at ENUMATH 2005, the Sixth European Conference on Numerical Mathematics and Advanced Applications, that took place in Santiago de Compostela, Spain, from July 18 to 22, 2005.It contents text of invited speakers, and a selection of papers presented in minisymposia and contributed sessions. Topics include applications such as atmosphere and ocean, water pollution, electromagnetism, interface problems, waves,finance, heat transfer, unbounded domain s, numerical linear algebra, convection-diffusion, fluid-structure, plates, solids, hyperbolic equations, multiphase flow, Navier-Stokes, singular perturbation problems, non linear PDE, control,parabolic equations, as well as methodologies such as a poste riori error estimates, discontinuous Galerkin methods, multiscale methods, optimization, adaptive methods, domain decomposition techniques, exponential integrators, hp-finiteelements, level set methods, fractional step methods, penalty procedures, and fin ite volumes. The book gives an extensive overview of the most recent research in scientific computing, providing to the reader the latest developmentsconcerning the mathematical issues and the applications of this active field of science
Note:Springer eBooks
ISBN:9783540342885
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science Mathematics , Computer science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2005-9783540285021:ONLINE Show nearby items on shelf
Title:Numerical Methods for General and Structured Eigenvalue Problems [electronic resource]
Author(s): Daniel Kressner
Date:2005
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book is about computing eigenvalues, eigenvectors and invariant subspaces of matrices. The treatment includes generalized and structured eigenvalue problems, such as Hamiltonian or product eigenvalue problems. All vitalaspects of eigenvalue comp utations are covered: theory, perturbation analysis, algorithms, high performance methodologies and software. The reader will learn about recently developed techniques which substantially improve theperformance of some of the most widely numerical methods , the QR and the QZ algorithm as well as Krylov subspace methods. A unique feature of this book is the detailed treatment of structured eigenvalue problems, providing insight onaccuracy and efficiency gains to be expected from algorithms that take the str ucture of a matrix into account
Note:Springer eBooks
ISBN:9783540285021
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Computational Science and Engineering, 1439-7358 : v46
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Systems theory , Computer science Mathematics , Computer science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2005-9780387275864:ONLINE Show nearby items on shelf
Title:Introduction to Modern Portfolio optimization with NUOPT and S-PLUS [electronic resource]
Author(s): Bernd Scherer
R. Douglas Martin
Date:2005
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:In recent years portfolio optimization and construction methodologies have become an increasingly critical ingredient of asset and fund management, while at the same time portfolio risk assessment has become an essentialingredient in risk management, and this trend will only accelerate in the coming years. Unfortunately there is a large gap between the limited treatment of portfolio construction methods that are presented in most university courseswith relatively little hands-on experience and limite d computing tools, and the rich and varied aspects of portfolio construction that are used in practice in the finance industry. Current practice demands the use of modern methods ofportfolio construction that go well beyond the classical Markowitz mean-va riance optimality theory and require the use of powerful scalable numerical optimization methods. This book fills the gap between current university instructionand current industry practice by providing a comprehensive computationally-oriented treatment o f modern portfolio optimization and construction methods. The computational aspect of the book is based on extensive use of S-Plus, theS+NuOPT optimization module, the S-Plus Robust Library and the S+Bayes Library, along with about 100 S-Plus scripts and some CRSP sample data sets of stock returns. A special time-limited version of the S-Plus software isavailable to purchasers of this book. For money managers and investment professionals in the field, optimization is truly a can of worms rather left un-op ened, until now! Here lies a thorough explanation of almost all possibilitiesone can think of for portfolio optimization, complete with error estimation techniques and explanation of when non-normality plays a part. A highly recommended and practical hand book for the consummate professional and student alike!Steven P. Greiner, Ph.D. Chief Large Cap Quant & Fundamental Research Manager Harris Investment Management The authors take a huge ste
Note:Springer eBooks
Contents:Linear and Quadratic Programming
General Optimization With Simple
Advanced Issues in Mean
Variance Optimization
Resampling and Portfolio Choice
Scenario Optimization: Addressing Non
normality
Robust Statistical Methods for Portfolio Construction
Bayes Methods
ISBN:9780387275864
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Finance , Mathematical statistics , Economics Statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781441989093:ONLINE Show nearby items on shelf
Title:Collectives and the Design of Complex Systems
Author(s):
Date:2004
Size:1 online resource (323 p.)
Note:10.1007/978-1-4419-8909-3
Contents:1. A Survey of Collectives -- 2. Theory of Collective Intelligence -- 3. On Learnable Mechanism Design -- 4. Asynchronous Learning in Decentralized Environments: A Game-Theoretic Approach -- 5. Competition between Adaptive Agents:
Learning and Collective Efficiency -- 6. Managing Catastrophic Changes in a Collective -- 7. Effects of Interagent Communications on the Collective -- 8. Man and Superman: Human Limitations, Innovation, and Emergence in Resource
Competition -- 9. Design Principles for the Distributed Control of Modular Self-Reconfigurable Robots -- 10. Two Paradigms for the Design of Artificial Collectives -- 11. Efficiency and Equity in Collective Systems of Interacting
Heterogeneous Agents -- 12. Selection in Coevolutionary Algorithms and the Inverse Problem -- 13. Dynamics of Large Autonomous Computational Systems -- About the Editors
ISBN:9781441989093
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Algorithms , Computers , Artificial intelligence , System theory , Mathematics , Complex Systems , Artificial Intelligence (incl. Robotics) , Algorithm Analysis and Problem Complexity , Computing Methodologies
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9789401724944:ONLINE Show nearby items on shelf
Title:Optimization and Inverse Problems in Electromagnetism
Author(s):
Date:2003
Size:1 online resource (336 p.)
Note:10.1007/978-94-017-2494-4
Contents:1. General Papers -- How to Find New and Fresh Ideas -- Mimicking Nature: How Nature Inspires Methodologies in Computational Electromagnetics -- Comparing Stochastic Methods on SMES Optimization -- 2. Methodology -- Using Quasi Random
Sequences in Genetic Algorithms -- Symbolic Treatment on Equation Based Models to Prepare Code Generation for Optimization Process -- Multiobjective Shape Design in Electromechanics: A Contribution to Benchmarking -- A New Method for
Optimizing the Designing of Grounding Grids -- Solving ODE for Optimization: Specific Use of the Matrix Approach -- Use of Discretization and Solution History in Stochastic Optimization -- A Genetic Algorithm Method for Determining the
Maximum Touch Voltage Generated by a Grounding System -- Optimization Techniques Benefits for Magnetic Component Design -- Numerical Optimization Methods in Magnet Design -- The Use of Quasi-red and Quasi-yellow Nonobtuse Refinements
in the Solution of 2-D Electromagnetic PDE’s -- 2-D Inverse Problem: Ideal Current Distribution Generating a Magnetic Force Field with Given Constraints on Homogeneity -- S.M.E.S. Optimization Using the Experimental Design Method --
Optimal Design of Axial Field Silicon Micromotor by Use of Field/Circuit Models -- Exponential family and inverse problems. On Metamorphoses of Probability Theory -- Topological Evolution and Inverse Problems. On Probability Between
Discrete and Continuous -- Identification of Industrial Electromagnetic Field Sources -- 3. Applications -- Capitalisation and Treatment of Models for the Optimization of Electric Drives -- Application of Screening Analysis to the
Optimization of an Electromagnetic Induction Heating Device -- Identification of Conductivity Distribution in A Au-Al Junction for Application to Integrated Circuits -- Inverse Problem of Voltage Over Electrostatic Shield Gap in
Helical Transformer Windings -- Mixing of FEM and Analytical Modeling: Preliminary Design of a Transformer -- An Evolutionary Algorithm for the Optimal Design of a Rare Earth Permanent Magnet Machine -- Optimization of the Force
Characteristic of a Solenoid Electromagnet with Ferromagnetic Disc in the Coil -- Optimization of Permanent-Magnet DC Motors Using Orthogonal Arrays -- Identification of Field Model’s Parameters in the Turbine Generator End Zone Using
Measured Data -- Permanent Magnet Machine Optimization by using FEM and Sensitivity Analysis Techniques -- Optimization Under Constraints of Static Converters. Application to a Flyback Structure in PFC Mode -- Nondestructive Quality
Testing of High Temperature Superconducting Bulk Material Used in Electrical Machines and Magnetic Bearings -- Increasing of Output Power Capability in a Flux-Weakened Permanent Magnet Synchronous Motor With a Third Harmonic Current
Injection -- A Method of Shortening Breaking Time of the Magnetic Contactors by the External Magnetic Forces -- Authors’ Index
ISBN:9789401724944
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Applied mathematics , Engineering mathematics , System theory , Mathematical optimization , Optics , Electrodynamics , Electrical engineering , Mathematics , Applications of Mathematics , Mathematics of Computing , Optics and Electrodynamics , Optimization , Systems Theory, Control , Electrical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783662055946:ONLINE Show nearby items on shelf
Title:Adaptivity and Learning An Interdisciplinary Debate
Author(s):
Date:2003
Size:1 online resource (403 p.)
Note:10.1007/978-3-662-05594-6
Contents:Adaptivity and Learning — an Interdisciplinary Debate -- I Biology and Behaviour of Adaptation and Learning -- Biology of Adaptation and Learning -- The Adaptive Properties of the Phosphate Uptake System of Cyanobacteria: Information
Storage About Environmental Phosphate Supply -- Cognitive Architecture of a Mini-Brain -- Cerebral Mechanisms of Learning Revealed by Functional Neuroimaging in Humans -- Creating Presence by Bridging Between the Past and the Future:
the Role of Learning and Memory for the Organization of Life -- II Physics Approach to Learning — Neural Networks and Statistics -- The Physics Approach to Learning in Neural Networks -- Statistical Physics of Learning and
Generalization -- The Statistical Physics of Learning: Phase Transitions and Dynamical Symmetry Breaking -- The Complexity of Learning with Supportvector Machines — A Statistical Physics Study -- III Mathematical Models of Learning --
Mathematics Approach to Learning -- Learning and the Art of Fault-Tolerant Guesswork -- Perspectives on Learning Symbolic Data with Connectionistic Systems -- Statistical Learning and Kernel Methods -- Inductive Versus Approximative
Learning -- IV Learning by Experience -- Learning by Experience -- Learning by Experience from Others — Social Learning and Imitation in Animals and Robots -- Reinforcement Learning: a Brief Overview -- A Simple Model for Learning from
Unspecific Reinforcement -- V Human-Like Cognition and AI Learning -- Aspects of Human-Like Cognition and AI Learning -- Making Robots Learn to See -- Using Machine Learning Techniques in Complex Multi-Agent Domains -- Learning
Similarities for Informally Defined Objects -- Semiotic Cognitive Information Processing: Learning to Understand Discourse. A Systemic Model of Meaning Constitution
ISBN:9783662055946
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Philosophy , Computers , Evolutionary biology , Statistical physics , Dynamical systems , Control engineering , Robotics , Mechatronics , Physics , Physics, general , Statistical Physics, Dynamical Systems and Complexity , Control, Robotics, Mechatronics , Computing Methodologies , Philosophy, general , Evolutionary Biology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9789401599344:ONLINE Show nearby items on shelf
Title:An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Author(s): Peter B Andrews
Date:2002
Edition:Second Edition
Size:1 online resource (390 p.)
Note:10.1007/978-94-015-9934-4
Contents:0 Introduction -- 1 Propositional Calculus -- 2 First-Order Logic -- 3 Provability and Refutability -- 4 Further Topics in First-Order Logic -- 5 Type Theory -- 6 Formalized Number Theory -- 7 Incompleteness and Undecidability --
Supplementary Exercises -- Summary of Theorems -- List of Figures
ISBN:9789401599344
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 27
Keywords: Mathematics , Logic , Computers , Artificial intelligence , Mathematical logic , Computational linguistics , Mathematics , Mathematical Logic and Foundations , Computing Methodologies , Logic , Artificial Intelligence (incl. Robotics) , Computational Linguistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9780387227337:ONLINE Show nearby items on shelf
Title:From Computer to Brain Foundations of Computational Neuroscience
Author(s): William W Lytton
Date:2002
Size:1 online resource (364 p.)
Note:10.1007/b98859
Contents:Perspectives -- Computational Neuroscience and You -- Basic Neuroscience -- Computers -- Computer Representations -- The Soul of an Old Machine -- Cybernetics -- Concept Neurons -- Neural Coding -- Our Friend the Limulus -- Supervised
Learning: Delta Rule and Back-Propagation -- Associative Memory Networks -- Brains -- From Soap to Volts -- Hodgkin-Huxley Model -- Compartment Modeling -- From Artificial Neural Network to Realistic Neural Network -- Neural Circuits
-- The Basics
ISBN:9780387227337
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Neurosciences , Computers , Artificial intelligence , Neurobiology , Applied mathematics , Engineering mathematics , Biomedical engineering , Mathematics , Applications of Mathematics , Neurosciences , Artificial Intelligence (incl. Robotics) , Neurobiology , Biomedical Engineering , Computing Methodologies
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9780387217666:ONLINE Show nearby items on shelf
Title:Mathematical Problems in Image Processing Partial Differential Equations and the Calculus of Variations
Author(s): Gilles Aubert
Date:2002
Size:1 online resource (288 p.)
Note:10.1007/b97428
Contents:Guide to main mathematical concepts and their application -- Notations and symbols -- Mathematical preliminaries -- Image Restoration -- The Segmentation Problem -- Other Challenging Applications
ISBN:9780387217666
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Mathematical Sciences: 147
Keywords: Mathematics , Computers , Image processing , Mathematical analysis , Analysis (Mathematics) , Applied mathematics , Engineering mathematics , System theory , Calculus of variations , Mathematics , Analysis , Applications of Mathematics , Calculus of Variations and Optimal Control Optimization , Systems Theory, Control , Computing Methodologies , Image Processing and Computer Vision
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783642182112:ONLINE Show nearby items on shelf
Title:Advanced Monte Carlo for Radiation Physics, Particle Transport Simulation and Applications Proceedings of the Monte Carlo 2000 Conference, Lisbon, 23–26 October 2000
Author(s):
Date:2001
Size:1 online resource (1192 p.)
Note:10.1007/978-3-642-18211-2
Contents:Electron--Gamma: Electron Interaction Physics/Electron Transport Mechanics -- Photon Interaction Physics -- Status of General Purpose Codes -- Generation of Random Numbers, Variance Reduction -- Application in Medical Physics, Dose
Calculation -- Microdosimetry, Track Structure, Radiobiological Modeling -- Neutron-- Gamma: Theory and Methods -- Code Status -- Physics and Data -- Algorithms and Computational Measurements -- Benchmarks -- Graphics and Analysis --
Hadronic: Hadron Code Review -- Physics Model Calculations and Data Compilation -- Physics Models for Monte Carlo Codes -- Experiment and Benchmarks -- Monte Carlo Methods and Theory
ISBN:9783642182112
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computers , Computer mathematics , Probabilities , Nuclear physics , Atoms , Physics , Numerical and Computational Physics , Atomic, Molecular, Optical and Plasma Physics , Probability Theory and Stochastic Processes , Particle and Nuclear Physics , Computational Mathematics and Numerical Analysis , Computing Methodologies
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9789401595865:ONLINE Show nearby items on shelf
Title:Advances in Temporal Logic
Author(s):
Date:2000
Size:1 online resource (453 p.)
Note:10.1007/978-94-015-9586-5
ISBN:9789401595865
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 16
Keywords: Mathematics , Logic , Data structures (Computer science) , Computers , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , Computing Methodologies , Data Structures, Cryptology and Information Theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9789401143455:ONLINE Show nearby items on shelf
Title:Information Handling in Astronomy
Author(s):
Date:2000
Size:1 online resource (242 p.)
Note:10.1007/978-94-011-4345-5
Contents:Information in astronomy: The role of the IAU -- Astronomy and the news media -- Public outreach in astronomy: The ESO experience -- New frontiers in NASA data management -- The FITS experience: Lessons learned -- The use of the IRAF
system at NOAO -- Starlink: Astronomical computing in the United Kingdom -- Computer-assisted context analysis of databases containing scientific literature -- Computational astronomy: Current directions and future perspectives --
Information handling for the Hubble Space, Telescope -- To be editor in chief of a primary scientific journal: From manual work to electronic publication -- Astronomy libraries 2000: Context, coordination, cooperation -- Astronomy
education: Description, organization, and information -- Astronomy teaching at the Open University -- The role of the planetarium -- Data handling in the AAVSO: An example from a large organization of amateur astronomers -- From data
files to information hubs: Beyond technologies and methodologies
ISBN:9789401143455
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Astrophysics and Space Science Library: 250
Keywords: Physics , Management information systems , Computer science , Education , Observations, Astronomical , Astronomy , Statistics , Social sciences , Physics , Astronomy, Observations and Techniques , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Management of Computing and Information Systems , Education, general , Social Sciences, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9783662038598:ONLINE Show nearby items on shelf
Title:Kalman Filtering with Real-Time Applications
Author(s): Charles K Chui
Date:1999
Edition:Third Edition
Size:1 online resource (230 p.)
Note:10.1007/978-3-662-03859-8
Contents:1. Preliminaries -- 2. Kalman Filter: An Elementary Approach -- 3. Orthogonal Projection and Kalman Filter -- 4. Correlated System and Measurement Noise Processes -- 5. Colored Noise -- 6. Limiting Kalman Filter -- 7. Sequential and
Square-Root Algorithms -- 8. Extended Kalman Filter and System Identification -- 9. Decoupling of Filtering Equations -- 10. Kalman Filtering for Interval Systems -- 11. Wavelet Kalman Filtering -- 12. Notes -- References -- Answers
and Hints to Exercises
ISBN:9783662038598
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Information Sciences: 17
Keywords: Physics , Computers , Applied mathematics , Engineering mathematics , Electrical engineering , Economic theory , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Economic Theory/Quantitative Economics/Mathematical Methods , Appl.Mathematics/Computational Methods of Engineering , Communications Engineering, Networks , Computing Methodologies
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9783540489801:ONLINE Show nearby items on shelf
Title:Scientific Applications of Neural Nets Proceedings of the 194th W.E. Heraeus Seminar Held at Bad Honnef, Germany, 11–13 May 1998
Author(s):
Date:1999
Size:1 online resource (6 p.)
Note:10.1007/BFb0104276
Contents:Neural networks: New tools for modelling and data analysis in science -- Adaptive optics: Neural network wavefront sensing, reconstruction, and prediction -- Nuclear physics with neural networks -- Using neural networks to learn
energy corrections in hadronic calorimeters -- Neural networks for protein structure prediction -- Evolution teaches neural networks to predict protein structure -- An application of artificial neural networks in linguistics --
Optimization with neural networks -- Dynamics of networks and applications
ISBN:9783540489801
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Physics: 522
Keywords: Physics , Computers , Nuclear physics , Statistical physics , Dynamical systems , Physics , Statistical Physics, Dynamical Systems and Complexity , Particle and Nuclear Physics , Computing Methodologies
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9781461555056:ONLINE Show nearby items on shelf
Title:Fuzzy Systems Modeling and Control
Author(s):
Date:1998
Size:1 online resource (519 p.)
Note:10.1007/978-1-4615-5505-6
Contents:Introduction: The Real Contribution of Fuzzy Systems -- References -- Methodology of Fuzzy Control -- 1.1 Introduction: Why Fuzzy Control -- 1.2 How to Translate Fuzzy Rules into the Actual Control: General Idea -- 1.3 Membership
Functions and Where They Come From -- 1.4 Fuzzy Logical Operations -- 1.5 Modeling Fuzzy Rule Bases -- 1.6 Inference From Several Fuzzy Rules -- 1.7 Defuzzification -- 1.8 The Basic Steps of Fuzzy Control: Summary -- 1.9 Tuning -- 1.10
Methodologies of Fuzzy Control: Which Is The Best? -- References -- to Fuzzy Modeling -- 2.1 Introduction -- 2.2 Takagi-Sugeno Fuzzy Model -- 2.3 Sugeno-Kang Method -- 2.4 Sofia -- 2.5 Conclusion -- References -- Fuzzy Rule-Based
Models and Approximate Reasoning -- 3.1 Introduction -- 3.2 Linguistic Models -- 3.3 Inference with Fuzzy Models -- 3.4 Mamdani (Constructive) and Logical (Destructive) Models -- 3.5 Linguistic Models With Crisp Outputs -- 3.6 Multiple
Variable Linguistic Models -- 3.7 Takagi-Sugeno-Kang (TSK) Models -- 3.8 A General View of Fuzzy Systems Modeling -- 3.9 MICA Operators -- 3.10 Aggregation in Fuzzy Systems Modeling -- 3.11 Dynamic Fuzzy Systems Models -- 3.12 TSK
Models of Dynamic Systems -- 3.13 Conclusion -- References -- Fuzzy Rule Based Modeling as a Universal Approximation Tool -- 4.1 Introduction -- 4.2 Main Universal Approximation Results -- 4.3 Can We Guarantee That the Approximation
Function has the Desired Properties (Such as Smoothness, Simplicity, Stability of the Resulting Control, etc.)? -- 4.4 Auxiliary Approximation Results -- 4.5 How to Make the Approximation Results More Realistic -- 4.6 From All Fuzzy
Rule Based Modeling Methodologies That are Universal Appriximation Tools, Which Methodology Should We Choose? -- 4.7 A Natural Next Question: When Should We Choose Fuzzy Rule Based Modeling in the First Place? and When is, Say, Neural
Modeling Better? -- References -- Fuzzy and Linear Controllers -- 5.1 Introduction -- 5.2 Modal Equivalence Principle -- 5.3 Application to PI Controllers -- 5.4 Application to State Feedback Fuzzy Controllers -- 5.5 Equivalence for
Sugeno’s Controllers -- 5.6 Conclusion -- References -- Designs of Fuzzy Controllers -- 6.1 Introduction -- 6.2 Fuzzy Control Techniques -- 6.3 The FC as a Nonlinear Transfer Element -- 6.4 Heuristic Control and Model Based Control --
6.5 Supervisory Control -- 6.6 Adaptive Control -- References -- Stability of Fuzzy Controllers -- 7.1 Introduction -- 7.2 Stability Conditions Based on Lyapunov Approach -- 7.3 Fuzzy Controller Design -- References -- Learning and
Tuning of Fuzzy Rules -- 8.1 Introduction -- 8.2 Learning Fuzzy Rules -- 8.3 Tuning Fuzzy Rules -- 8.4 Learning and Tuning Fuzzy Rules -- 8.5 Summary and Conclusion -- References -- Neurofuzzy Systems -- 9.1 Introduction -- 9.2 Synergy
of Neural Networks and Fuzzy Logic -- 9.3 Fuzzy sets in the technology of neurocomputing -- 9.4 Hybrid Fuzzy Neural Computing Structures -- 9.5 Fuzzy Neurocomputing — a Fusion of Fuzzy and Neural Technology -- 9.6 Constructing Hybrid
Neurofuzzy Systems -- 9.7 Summary -- References -- Neural Networks and Fuzzy Logic -- 10.1 Introduction -- 10.2 Liquid Level Control Problem -- 10.3 Fuzzy Rule Development -- 10.4 Integrated System Architectures -- 10.5 FNN3 Training
Algorithm -- 10.6 Conclusions -- References -- Fuzzy Genetic Algorithms -- 11.1 Introduction -- 11.2 What is a Genetic Algorithm? -- 11.3 Fuzzy Genetic Algorithms -- 11.4 Fuzzy Genetic Programming -- References -- Fuzzy Systems,
Viability Theory and Toll Sets -- 12.1 Introduction -- 12.2 Convexification Procedures -- 12.3 Toll Sets -- 12.4 Fuzzy or Toll Differential Inclusions -- References -- Chaos and Fuzzy Systems -- 13.1 Introduction -- 13.2 Preliminaries
-- 13.3 Dynamical Systems and Chaos -- 13.4 Information Content of Fuzzy Sets -- 13.5 Chaotic Mappings on (Dn, d?) -- 13.6 r-Fuzzification. -- 13.7 Chaos and Fuzzification -- 13.8 Nondegenerate Periodicities and Chaos -- 13.9 Examples
of Fuzzy Chaos -- 13.10 Conclusion -- 13.11 Appendix -- References
ISBN:9781461555056
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:The Springer Handbook Series on Fuzzy Sets: 2
Keywords: Mathematics , Operations research , Decision making , Artificial intelligence , Mathematical logic , Discrete mathematics , Mechanical engineering , Electrical engineering , Mathematics , Mathematical Logic and Foundations , Discrete Mathematics , Electrical Engineering , Operation Research/Decision Theory , Mechanical Engineering , Artificial Intelligence (incl. Robotics)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1998-9781461205937:ONLINE Show nearby items on shelf
Title:Wavelet Analysis The Scalable Structure of Information
Author(s): Howard L Resnikoff
Date:1998
Size:1 online resource (435 p.)
Note:10.1007/978-1-4612-0593-7
Contents:I. The Scalable Structure of Information -- 1 The New Mathematical Engineering -- 2 Good Approximations -- 3 Wavelets: A Positional Notation for Functions -- II Wavelet Theory -- 4 Algebra and Geometry of Wavelet Matrices -- 5
One-Dimensional Wavelet Systems -- 6 Examples of One-Dimensional Wavelet Systems -- 7 Higher-Dimensional Wavelet Systems -- III Wavelet Approximation and Algorithms -- 8 The Mallat Algorithm -- 9 Wavelet Approximation -- 10 Wavelet
Calculus and Connection Coefficients -- 11 Multiscale Representation of Geometry -- 12 Wavelet-Galerkin Solutions of Partial Differential Equations -- IV Wavelet Applications -- 14 Modulation and Channel Coding -- References
ISBN:9781461205937
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computers , Fourier analysis , Applied mathematics , Engineering mathematics , Information theory , Numerical analysis , Mathematics , Applications of Mathematics , Signal, Image and Speech Processing , Fourier Analysis , Numerical Analysis , Information and Communication, Circuits , Computing Methodologies
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9789401157407:ONLINE Show nearby items on shelf
Title:VLSI Planarization Methods, Models, Implementation
Author(s): V Feinberg
Date:1997
Size:1 online resource (186 p.)
Note:10.1007/978-94-011-5740-7
Contents:1 Discrete Mathematics Fundamentals -- 1.1 Graphs And Hypergraphs -- 1.2 Algorithms And Their Complexity -- 1.3 Algorithms In Graphs -- 1.4 Intractable Problems -- 2 Graph Planarization -- 2.1 Planar Graphs. Graph Planarity Criteria
-- 2.2 Graph Planarity Testing Algorithms -- 2.3 Approximation Algorithm for Graph Planarization -- 3 Hypergraph Planarization -- 3.1 The Concept of Planar Hypergraph -- 3.2 Planarity of Different Hypergraph Classes -- 3.3 Hypergraph
Nonplanarity Measures. Statement of Hypergraph Planarization Problem -- 3.4 Decomposition Methods of Hypergraph Planarization -- 4 Mathematical Models for VLSI Planarization Problem -- 4.1 Graph versus Hypergraph VLSI Models -- 4.2
VLSI Models with Specified Element Models -- 4.3 Dynamic VLSI Models -- 5 Extracting a Maximum Planar VLSI Part -- 5.1 Extracting a Maximum Planar VLSI Part as a Hypergraph Planarization Problem -- 5.2 Iteration Algorithm for
Hypergraph Planarization -- 5.3 Hypergraph Planarization by Konig Representation -- 5.4 Operations of Local Embedding Optimization -- 6 Constructing Nonplanar Connections -- 6.1 Graph Model for Nonplanar Connections -- 6.2 Constructing
a Nonplanar Connection as a Steiner Problem in a Weighted Graph -- 6.3 Ordering Nonplanar Connections to be Constructed -- 7 Planarization System Structure -- 7.1 Purpose and Functions of the System -- 7.2 Planarization System
Structure. Logic Diagram -- 7.3 Data Organization in Planarization System -- 7.4 Some Aspects of the Practical Use of the Planarization System -- References
ISBN:9789401157407
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 399
Keywords: Engineering , Computers , Computer science , Algorithms , Electrical engineering , Engineering , Electrical Engineering , Computing Methodologies , Algorithms , Discrete Mathematics in Computer Science , Theory of Computation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1997-9781461561910:ONLINE Show nearby items on shelf
Title:Intelligent Hybrid Systems Fuzzy Logic, Neural Networks, and Genetic Algorithms
Author(s):
Date:1997
Size:1 online resource (354 p.)
Note:10.1007/978-1-4615-6191-0
Contents:1: Basic Principles and Methodologies -- 1 Introduction to Fuzzy Systems, Neural Networks, and Genetic Algorithms -- 2 A Fuzzy Neural Network for Approximate Fuzzy Reasoning -- 3 Novel Neural Algorithms for Solving Fuzzy Relation
Equations -- 4 Methods for Simplification of Fuzzy Models -- 5 A New Approach of Neurofuzzy Learning Algorithm -- 2: Data Analysis and Information Systems -- 6 Neural Networks in Intelligent Data Analysis -- 7 Data-Driven
Identification of Key Variables -- 8 Applications of Intelligent Techniques in Process Analysis -- 9 Neurofuzzy-Chaos Engineering for Building Intelligent Adaptive Information Systems -- 10 A Sequential Training Strategy for Locally
Recurrent Neural Networks -- 3: Nonlinear Systems and System Identification -- 11 Adaptive Genetic Programming for System Identification -- 12 Nonlinear System Identification with Neurofuzzy Methods -- 13 A Genetic Algorithm for
Mixed-Integer Optimisation in Power and Water System Design and Control -- 14 Soft Computing Based Signal Prediction, Restoration, and Filtering
ISBN:9781461561910
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Artificial intelligence , Mathematical logic , Statistical physics , Dynamical systems , Mathematics , Mathematical Logic and Foundations , Statistical Physics, Dynamical Systems and Complexity , Artificial Intelligence (incl. Robotics)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781461240327:ONLINE Show nearby items on shelf
Title:The Statistical Theory of Shape
Author(s): Christopher G Small
Date:1996
Size:1 online resource (230 p.)
Note:10.1007/978-1-4612-4032-7
Contents:1 Introduction -- 1.1 Background of Shape Theory -- 1.2 Principles of Allometry -- 1.3 Defining and Comparing Shapes -- 1.4 A Few More Examples -- 1.5 The Problem of Homology -- 1.6 Notes -- 1.7 Problems -- 2 Background Concepts and
Definitions -- 2.1 Transformations on Euclidean Space -- 2.2 Differential Geometry -- 2.3 Notes -- 2.4 Problems -- 3 Shape Spaces -- 3.1 The Sphere of Triangle Shapes -- 3.2 Complex Projective Spaces of Shapes -- 3.3 Landmarks in Three
and Higher Dimensions -- 3.4 Principal Coordinate Analysis -- 3.5 An Application of Principal Coordinate Analysis -- 3.6 Hyperbolic Geometries for Shapes -- 3.7 Local Analysis of Shape Variation -- 3.8 Notes -- 3.9 Problems -- 4 Some
Stochastic Geometry -- 4.1 Probability Theory on Manifolds -- 4.2 The Geometric Measure -- 4.3 Transformations of Statistics -- 4.4 Invariance and Isometries -- 4.5 Normal Statistics on Manifolds -- 4.6 Binomial and Poisson Processes
-- 4.7 Poisson Processes in Euclidean Spaces -- 4.8 Notes -- 4.9 Problems -- 5 Distributions of Random Shapes -- 5.1 Landmarks from the Spherical Normal: IID Case -- 5.2 Shape Densities under Affine Transformations -- 5.3 Tools for the
Ley Hunter -- 5.4 Independent Uniformly Distributed Landmarks -- 5.5 Landmarks from the Spherical Normal: Non-IID Case -- 5.6 The Poisson-Delaunay Shape Distribution -- 5.7 Notes -- 5.8 Problems -- 6 Some Examples of Shape Analysis --
6.1 Introduction -- 6.2 Mt. Tom Dinosaur Trackways -- 6.3 Shape Analysis of Post Mold Data -- 6.4 Case Studies: Aldermaston Wharf and South Lodge Camp -- 6.5 Automated Homology -- 6.6 Notes
ISBN:9781461240327
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computers , Probabilities , Statistics , Mathematics , Probability Theory and Stochastic Processes , Statistics, general , Computing Methodologies
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9781461531043:ONLINE Show nearby items on shelf
Title:The Navstar Global Positioning System
Author(s): Tom Logsdon
Date:1992
Size:1 online resource (256 p.)
Note:10.1007/978-1-4615-3104-3
Contents:1 The Science of Navigation -- What Is Navigation? -- A Typical Ground-Based Radionavigation System -- The Advantages of Space-based Transmitters -- The Transit Navigation Satellites -- Gravity Gradient Stabilization -- Disturbance
Compensation Systems -- Compensating for Ionospheric Delays -- Compensating for Tropospheric Delays -- Navigation Techniques -- The Navstar Revolution -- Navstar Navigation Techniques -- The Navstar Clocks -- Practical Benefits for All
Mankind -- 2 The Navstar GPS -- The Space Segment -- Signal Structure and Pseudorandom Codes -- Navigation Solutions -- Correcting for Relativistic Time Delays -- Correcting for Ionospheric and Tropospheric Delays -- Decoding the
50-Bit-Per-Second Data Stream -- The Various Families of Navstar Satellites -- The User Segment -- A Typical High-Performance 5-Channel Receiver -- Operating Procedures -- The Control Segment -- Inverting the Navigation Solution -- The
Monitor Stations and The Master Control Station -- Field Test Results -- 3 Performance Comparisons for Today’s Radionavigation Systems -- A Sampling of Today’s Ground-based Navigation Systems -- Loran C/D -- Omega -- VOR/DME Tacan --
The Microwave Landing System -- Inertial Navigation -- JTIDS Relnav and PLRS -- Signpost Navigation Techniques -- A Sampling of Today’s Space-based Navigation Systems -- Transit -- The Navstar Global Positioning System -- The French
Argos -- Side-by-side Performance Comparisons -- 4 User-Set Architecture -- The Major Components of a Typical Navstar Receiver -- The Receiver Antenna and Its Associated Electronics -- The Tracking Loops -- Navigation Processor --
Power Supply -- Control-Display Unit -- Choosing the Proper User-set Architecture -- Performance Comparisons -- Selecting the Antennas -- Selecting the Proper Computer Processing Techniques -- Solving for the User’s Position --
Computing and Interpreting the Geometrical Dilution of Precision -- Ranging Error Budgets -- Kalman Filtering Techniques -- 5 User-set Performance -- Accuracy Estimates for Various Methods of Navigation -- Performance Criteria to
Consider when Purchasing a Navstar Receiver -- Receiver Design Choices -- Number of Channels and Sequencing Rate -- Access to Selective-availability Signals -- Available Performance Enhancement Techniques -- Computer Processing
Capabilities -- Receiver Design Smart Card -- Today’s Available Navstar Receivers -- Hand-held Receivers -- Commercially Available Navstar Chipsets -- 6 Differential Navigation and Pseudo-satellites -- Performance Comparisons: Absolute
and Differential Navigation -- Special Committee 104’s Recommended Data-exchange Protocols -- The Coast Guard’s Differential Navigation System Tests -- Motorola’s Mini Ranger Test Results -- COMSAT’s Data Distribution Service for the
Gulf of Mexico -- Wide-area Differential Navigation Services -- Pseudo-satellites -- Special Committee 104’s Data Exchange Protocols for Pseudo-satellites -- Comparisons Between Differential Navigation and Pseudo-satellites -- 7
Interferometry Techniques -- The Classical Michaelson-Morley Interferometry Experiment -- Measuring Attitude Angles with Special Navstar Receivers -- Eliminating Solution Ambiguities -- Practical Test Results -- Using Interferometry to
Fix Position -- Single, Double, and Triple Differencing Techniques -- The POPS Post-Processing Software -- Spaceborne Interferometry Receivers -- Motorola’s Commercially Available Monarch -- Tomorrow’s Generic Spaceborne Receivers -- 8
Integrated Navigation Systems -- Integrated Navigation -- Inertial Navigation -- Error Growth Rates -- Reinitialization Techniques -- Ring Laser Gyros -- Monolithic Ring Laser Gyros -- Fiber Optic Gyros -- Using the GPS for Testing
Inertial Navigation Systems -- The Practical Benefits of Integrated Navigation -- Chassis-level Integration -- 9 Interoperability with Other Navigation Systems -- The Soviet Glonass -- The Glonass Specification Release at Montreal --
The Glonass Constellation -- Orbital Maneuvers for the Glonass Satellites -- Building Dual-capability GPS/Glonass Receivers -- Receiver Design Difficulties -- Dual-Capability Receiver Tests at Leeds University -- The FAA’s Joint
Research Efforts with Soviet Scientists -- Other Attempts to Build Dual-capability Receivers -- Integrity Monitoring Techniques -- Interoperability with Other Radionavigation Systems -- Eastport International’s Integrated System for
Underwater Navigation -- 10 The Navstar Satellites -- The Eight Major Spacecraft Subsystems -- The Orbit Injection Subsystem -- Tracking, Telemetry and Command -- Attitude and Velocity Control -- Electrical Power -- Navigation
Subsystem -- Reaction Control -- Thermal Control -- Structures and Mechanisms -- On-orbit Test Results -- The Multiyear Spacecraft Procurement -- Booster Rockets -- Orbital Perturbations -- The Spacecraft Ephemeris Constants --
Satellite Viewing Angles -- Earth-shadowing Intervals -- Repeating Ground-trace Geometry -- 11 Precise Time Synchronization -- John Harrison’s Marine Chronometer -- Celestial Navigation Techniques -- A Short History of Time -- The
Atomic Clocks Carried Aboard the Navstar Satellites -- Cesium Atomic Clocks -- Rubidium Atomic Clocks -- Developing Atomic Clocks Light Enough to Travel Into Space -- The Growing Need for Precise Time Synchronization -- Time Sync
Methodologies -- Fixing Time with the Navstar Signals -- Lightweight Hydrogen Masers for Tomorrow’s Navstar Satellites -- Crosslink Ranging Techniques -- 12 Digital Avionics and Air Traffic Control -- The Sabreliner’s Flight to the
Paris Air Show -- Four Major Concerns of the Federal Aviation Administration -- Selective Availability -- User-Set Fees -- Integrity-related Failures -- Continuous Five-satellite Coverage -- Using a Dedicated Constellation for Air
Traffic Control -- An Alternative Architecture Using the GPS -- Comparisons Between Geosynchronous and Semisynchronous Constellations -- Piggyback Geosynchronous Payloads -- The Autoland System Test Results -- 13 Geodetic Surveying and
Satellite Positioning -- Determining the Shape of Planet Earth -- The Theory of Isostasy -- The Earth’s Contours Under Hydrostatic Equilibrium -- GPS Calibrations at the Turtmann Test Range -- Static Surveying Techniques -- Kinematic
and Pseudo-kinematic Surveying -- Freeway Surveying During War in the Persian Gulf -- Navstar Positioning for Landsat D -- The Landsat’s Spaceborne Receiver -- On-Orbit Navigation Accuracy -- Orbit Determination for High-altitude
Satellites -- Today’s Available Spaceborne Receivers -- 14 Military Applications -- The Military Benefits of the Worldwide Common Grid -- Field Test Results -- Projected Battlefield Benefits -- Test Range Applications -- Military
Receivers -- Carrier-landing Accuracies -- Amphibious Warfare Operations -- Accuracy-enhancements for Strategic and Cruise Missiles -- 15 Civil Applications -- Dinosaur Hunting with the GPS -- Guiding Archaeological Expeditions --
Tracking Hazardous Icebergs -- Offshore Oil Exploration -- Fixing the Positions of Railroad Trains -- Automobile Navigation -- Dead Reckoning Systems -- Tomorrow’s Space-based Vehicle Navigation Techniques -- Today’s Available
Automotive Navigation Systems -- Futuristic Applications for Navstar Navigation -- Appendix A Additional Sources of lnformation -- GPS Information Centers -- The U.S. Coast Guard’s Information Center -- The Computer Bulletin Board at
Holloman Air Force Base -- Global Satellite Software’s Computer Bulletin Board -- The Glonass Computer Bulletin Board -- Precise GPS Orbit Information -- Military GPS Information Directory -- GPS Information with a European Flavor --
The United Kingdom -- The Netherlands -- Norway -- GPS Clock Behavior -- Information for Surveyors -- GPS World Magazine -- The Federal Radionavigation Plan -- Appendix B Today’s Global Family of User-set Makers -- Domestic User-set
Makers -- Foreign User-set Makers -- Appendix C Navigation-Related Clubs and Organizations -- Appendix D Navigation-related Magazines and Periodicals
ISBN:9781461531043
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Acoustics , Physics , Acoustics , Signal, Image and Speech Processing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9789400919082:ONLINE Show nearby items on shelf
Title:Applied and Industrial Mathematics Venice - 1, 1989
Author(s):
Date:1991
Size:1 online resource (374 p.)
Note:10.1007/978-94-009-1908-2
Contents:I: Invited Papers -- - C. Cercignani, “Physical Problems and Rigorous Results in Kinetic Theory -- - A. Chorin, “Statistical Mechanics of Vortex Filaments” (abstract) -- - Feng Kang, “The Hamiltonian Way for Computing Hamiltonian
Dynamics” -- - C. W. Gear (with Fen-Lien Juang), “The Speed of Waveform Methods for ODEs” -- - J. B. Keller, “Diffusively Coupled Dynamical Systems” -- - P. D. Lax, “Deterministic Turbulence” (extended abstract) -- - J. L. Lions,
“Exact Controllability for Distributed Systems. Some Trends and Some Problems” -- - V. P. Maslov, “Beginning of Weakly Anisotropic Turbulence” -- - S. K. Mitter, “Markov Random Fields, Stochastic Quantization and Image Analysis” -- -
H. Neunzert (with F. Gropengießer and J. Struckmeier),. “Computational Methods for the Boltzmann equation” -- - J. R. Ockendon, “A Class of Moving Boundary Problems Arising in Industry” -- - M. Primicerio, “Systems with Non-Fading
Memory Encountered in the Modellization of Industrial Problems” -- - M. Pulvirenti, “A Stochastic Particle System Modelling the Broadwell Equation” -- -A. Quarteroni “(with A. Valli), “Theory and Application of Steklov-Poincare
Operators for Boundary-Value Problems” -- - S. Rionero (with B. Straughan), “On the Problem of Natural Convection” -- II: Selected Contributed Papers -- 1. Mathematical Modelling in Fluid Mechanics -- - J. A. Nohel, “Non-Newtonian
Phenomena in Shear Flow” -- - O. Pironneau (with C. Bernardi, M. O. Bristeau and M. G. Vallet), “Numerical Analysis for Compressible Viscous Isothermal Stationary Flows” -- - E. G. Virga (with D. Roccato), “Drops of Nematic Liquid
Crystal Floating on a Fluid” -- 2. Nonlinear waves -- - S. Venakides, “The Korteweg-de Vries Equation with Small Dispersion: Higher Order Lax-Levermore Theory” -- - P. L. Christiansen, “Solitons in Optical Fibres” -- 3. Wave
Propagation in Random Media -- - R. Burridge, “Waves in Finely Layered Media” -- - B. S. White (with Balan Nair), “Stochastic Geometry and the Intensity of Random Waves” -- - V. I. Klyatskin, “Plane Waves in Layered Random Media. The
Role of Boundary Conditions” -- 4. Transport Phenomena -- - P. A. Markowich (with A. Arnold), “Quantum Transport Models for Semiconductors” -- - G. C. Pomraning, “Particle Transport in Random Media” -- 5. Inverse Problems in the
Applied Sciences -- - G. Alessandrini, “Determining Conductivity by Boundary Measurements, the Stability Issue” -- - G. Caviglia (with A. Morro), “Scattering Problems for Acoustic Waves” -- - W.L. Dunn (with A. M. Yacout and F.
O’Foghludha), “The Use of Single-Scatter Models in Medical Radiation Applications” -- 6. Mathematical Modelling of Industrial Problems -- - Li Tatsien (with Tan Yongji, Pen Yuejun and Li Hailong)“Mathematical Methods for the SP
Well-Logging” -- - C.D. Hill (with P. Susskind and V. Giambalvo), “Effective Computation of the Symmetric Lens” -- - L. Brusa, “Mathematical Modelling of Structural Industrial Problems: Methodologies and Algorithms” -- Author Index
ISBN:9789400919082
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 56
Keywords: Mathematics , Numerical analysis , Mathematical analysis , Analysis (Mathematics) , Mathematical models , Applied mathematics , Engineering mathematics , Mathematics , Mathematical Modeling and Industrial Mathematics , Analysis , Appl.Mathematics/Computational Methods of Engineering , Numeric Computing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1990-9789400905191:ONLINE Show nearby items on shelf
Title:The Numerical Modelling of Nonlinear Stellar Pulsations Problems and Prospects
Author(s):
Date:1990
Size:1 online resource (384 p.)
Note:10.1007/978-94-009-0519-1
Contents:The Modelling of Nonlinear Stellar Pulsations -- Current Numerical Techniques for Pulsation -- The Numerical Calculation of Stellar Pulsation: A Review of Methods and Results -- Multiperiodic Stellar Oscillations -- Numerical
Sensitivity of Nonlinear Stellar Pulsation Computations -- Time Dependent Convection in Stellar Pulsation -- Regular and Chaotic Pulsations of Convective Cepheid Envelopes -- Regular and Irregular Pulsations -- Resonances and
Bifurcations -- Dynamical Phenomena in Pulsating Star Atmospheres -- Reminiscence of a Stellar Pulsation Theorist -- Modern Numerical Methods Applicable to Stellar Pulsation -- Numerical Methodologies for Solving Partial Differential
Equations -- From Artificial Viscosity to ENO Schemes -- High Order Accurate Modern Numerical Methods Applicable to Stellar Pulsations -- Smooth Particle Hydrodynamics: A Review -- Simple Adaptive Grids for Astrophysical Problems --
Bifurcations in Non Oscillating Stars -- Experiments with Artificial Viscosity -- Toward a Generalized Riemann Problem for Pulsation -- Discrete Map Simulation of Stellar Oscillations
ISBN:9789400905191
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO ASI Series, Series C: Mathematical and Physical Sciences: 302
Keywords: Physics , Numerical analysis , Continuum physics , Astrophysics , Physics , Astrophysics and Astroparticles , Numeric Computing , Classical Continuum 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

Return to the Fermilab Library catalog