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 PROGRAM TRANSFORMATION *END*INIT* use /tmp/qspiwww.webspi1/3464.23 QRY 131.225.70.96 . find keyword program transformation ( in books using www Cover
Image
Call number:SPRINGER-2013-9781461464068:ONLINE Show nearby items on shelf
Title:Asymptotic Geometric Analysis [electronic resource] : Proceedings of the Fall 2010 Fields Institute Thematic Program
Author(s): Monika Ludwig
Vitali D Milman
Vladimir Pestov
Nicole Tomczak-Jaegermann
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:Asymptotic Geometric Analysis is concerned with the geometric and linear properties of finite dimensional objects, normed spaces, and convex bodies, especially with the asymptotics of their various quantitative parameters as thedimension tends to inf inity. The deep geometric, probabilistic, and combinatorial methods developed here are used outside the field in many areas of mathematics and mathematical sciences. The Fields Institute Thematic Program in theFall of 2010 continued an established traditi on of previous large-scale programs devoted to the same general research direction. The main directions of the program included: * Asymptotic theory of convexity and normed spaces *Concentration of measure and isoperimetric inequalities, optimal transport ation approach * Applications of the concept of concentration * Connections with transformation groups and Ramsey theory * Geometrization of probability * Randommatrices * Connection with asymptotic combinatorics and complexity theory These directions are represented in this volume and reflect the present state of this important area of research. It will be of benefit to researchers working ina wide range of mathematical sciencesin particular functional analysis, combinatorics, convex geometry, dynamical systems, operator algebras, and computer science
Note:Springer eBooks
Contents:Preface
The Variance Conjecture on Some Polytopes (D. Alonso Gutirrez, J. Bastero)
More Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova)
On the Lyapounov Exponents of Schrodinger Operators Associated with the Standard Map (J. Bourgain)
Overgroups of the Automorphism Group of the Rado Graph (P. Cameron, C. Laflamme, M. Pouzet, S. Tarzi, R. Woodrow)
On a Stability Property of the Generalized Spherical Radon Transform (D. Faifman)
Banach Representations and Affine Compactification of Dynamical Systems (E. Glasner, M. Megrelishvili)
F
ISBN:9781461464068
Series:e-books
Series:SpringerLink (Online service)
Series:Fields Institute Communications, 1069-5265 : v68
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Topological Groups , Functional analysis , Operator theory , Discrete groups , 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-2011-9781441977878:ONLINE Show nearby items on shelf
Title:Statistics and Data Analysis for Financial Engineering [electronic resource]
Author(s): David Ruppert
Date:2011
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Financial engineers have access to enormous quantities of data but need powerful methods for extracting quantitative information, particularly about volatility and risks. Key features of this textbook are: illustration ofconcepts with financial marke ts and economic data, R Labs with real-data exercises, and integration of graphical and analytic methods for modeling and diagnosing modeling errors. Despite some overlap with the author's undergraduatetextbook Statistics and Finance: An Introduction, thi s book differs from that earlier volume in several important aspects: it is graduate-level computations and graphics are done in R and many advanced topics are covered, forexample, multivariate distributions, copulas, Bayesian computations, VaR and expect ed shortfall, and cointegration. The prerequisites are basic statistics and probability, matrices and linear algebra, and calculus. Some exposure tofinance is helpful. David Ruppert is Andrew Schultz, Jr., Professor of Engineering and Professor of Statist ical Science, School of Operations Research and Information Engineering, Cornell University, where he teaches statistics andfinancial engineering and is a member of the Program in Financial Engineering. His research areas include asymptotic theory, semipa rametric regression, functional data analysis, biostatistics, model calibration, measurement error, andastrostatistics. Professor Ruppert received his PhD in Statistics at Michigan State University. He is a Fellow of the American Statistical Association a nd the Institute of Mathematical Statistics and won the Wilcoxon prize. He isEditor of the Electronic Journal of Statistics, former Editor of the Institute of Mathematical Statistics's Lecture Notes--Monographs Series, and former Associate Editor of sever al major statistics journals. Professor Ruppert haspublished over 100 scientific papers and four books: Transformation and Weighting in Regression, Measurement Error in Nonlinear Models, Semiparametri
Note:Springer eBooks
Contents:Introduction
Returns
Fixed income securities
Exploratory data analysis
Modeling univariate distributions
Resampling
Multivariate statistical models
Copulas
Time series models: basics
Time series models: further topics
Portfolio theory
Regression: basics
Regression: troubleshooting
Regression: advanced topics
Cointegration
The capital asset pricing model
Factor models and principal components
GARCH models
Risk management
Bayesian data analysis and MCMC
Nonparametric regression and splines
ISBN:9781441977878
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Texts in Statistics, 1431-875X
Series:Mathematics and Statistics (Springer-11649)
Keywords: 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-2010-9783642139901:ONLINE Show nearby items on shelf
Title:Computational Physics [electronic resource] : Simulation of Classical and Quantum Systems
Author(s): Philipp O. J Scherer
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 encapsulates the coverage for a two-semester course in computational physics. The first part introduces the basic numerical methods while omitting mathematical proofs but demonstrating the algorithms by way of numerouscomputer experiments. The second part specializes in simulation of classical and quantum systems with instructive examples spanning many fields in physics, from a classical rotor to a quantum bit. All program examples are realized asJava applets ready to run in your browser an d do not require any programming skills
Note:Springer eBooks
Contents:Part I: Numerical Methods
Error Analysis
Interpolation
Numerical Differentiation
Numerical Integration
Systems of Inhomogeneous Linear Equations
Roots and Minima
Fourier Transformation
Random Numbers and Monte
Carlo
Methods
Eigenvalue Problems
Data Fitting
Equations of Motion
Part II: Simulation of Classical and Quantum Systems
Rotational Motion
Simulation of Thermodynamic Systems
Random Walk and Brownian Motion
Electrostatics
Waves
Diffusion
Nonlinear Systems
Simple Quantum Systems
ISBN:9783642139901
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Chemistry, Physical organic , Chemistry , Computer science Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9780387688411:ONLINE Show nearby items on shelf
Title:Micro-Econometrics [electronic resource] : Methods of Moments and Limited Dependent Variables
Author(s): Myoung-jae Lee
Date:2010
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 introduces econometrics at the graduate level, and then specializes in micro-econometrics topics such as method of moments, limited and qualitative dependent variables, sample-selection models, panel data, nonparametricestimators and specif ication tests, and semi(non)-parametric methods. The coverage is up-to-date and broad as well as in depth. Many empirical examples are included along with a computer program appendix. Both graduate students andresearchers, applied or theoretical, in all d isciplines using observational data will find this book useful as a textbook as well as a research monograph for self-study and reference. The second edition is three times length of thefirst edition One chapter on liner equation systems has been added an d several new sections on panel data are new. Also sections for the following topics have been added: LDV's with endogenous regressors, competing risks, nonparametricsurvival and hazard function estimation, rank-based semiparametric methods, differencing- based semiparametric methods, semiparametric estimators for duration models, integrated moment specification tests, nonparametric control functionapproaches, nonparametric additive models, various transformation of response variables, and nonparametric sp ecification and significance tests. The appendix now contains the proofs for some important results in the main text and newsections for the following topics: review of mathematical and statistical backgrounds, nested logit, U-statistics, GMM with integra ted squared moments, goodness-of-fit tests for distribution functions, joint test for all quantiles,review on test, non-nested model test, stratified sampling and weighted M-estimator, empirical likelihood estimator, stochastic-process convergence and app lications, and bootstrap. The author, Myoung-jae Lee, is currently a Professorof Economics at Korea University, and has written Panel Data Econometrics: Methods-of-Moments and Limited Dependent Variable
Note:Springer eBooks
Contents:Methods of moments for single linear equation models
Methods of moments for multiple linear equation systems
M
Estimator and Maximum Likelihood Estimator (MLE)
Nonlinear models and estimators
Parametric methods for single equation LDV models
Parametric methods for multiple equation LDV Models
Kernel nonparametric estimation
Bandwidth
free semiparametric methods
Bandwidth
dependent semiparametric methods
ISBN:9780387688411
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Statistical methods , Economics Statistics , Econometrics , Marketing , Psychometrics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9783662058046:ONLINE Show nearby items on shelf
Title:Applied Statistics Using SPSS, STATISTICA and MATLAB
Author(s): Joaquim P Marques de Sá
Date:2003
Size:1 online resource (452 p.)
Note:10.1007/978-3-662-05804-6
Contents:1 Introduction -- 2 Presenting and Summarising the Data -- 3 Estimating Data Parameters -- 4 Parametric Tests of Hypotheses -- 5 Non-Parametric Tests of Hypotheses -- 6 Statistical Classification -- 7 Data Regression -- 8 Data
Structure Analysis -- 9 Survival Analysis -- 10 Directional Data -- Appendix A — Short Survey on Probability Theory -- A.1 Basic Notions -- A.1.1 Events and Frequencies -- A.1.2 Probability Axioms -- A.2 Conditional Probability and
Independence -- A.2.1 Conditional Probability and Intersection Rule -- A.2.2 Independent Events -- A.3 Compound Experiments -- A.4 Bayes’ Theorem -- A.5 Random Variables and Distributions -- A.5.1 Definition of Random Variable -- A.5.2
Distribution and Density Functions -- A.5.3 Transformation of a Random Variable -- A.6 Expectation, Variance and Moments -- A.6.1 Definitions and Properties -- A.6.2 Moment-Generating Function -- A.6.3 Chebyshev Theorem -- A.7 The
Binomial and Normal Distributions -- A.7.1 The Binomial Distribution -- A.7.2 The Laws of Large Numbers -- A.7.3 The Normal Distribution -- A.8 Multivariate Distributions -- A.8.1 Definitions -- A.8.2 Moments -- A.8.3 Conditional
Densities and Independence -- A.8.4 Sums of Random Variables -- A.8.5 Central Limit Theorem -- Appendix B — Distributions -- B.1 Discrete Distributions -- B.1.1 Bernoulli Distribution -- B.1.2 Uniform Distribution -- B.1.3 Geometric
Distribution -- B.1.4 Hypergeometric Distribution -- B.1.5 Binomial Distribution -- B.1.6 Multinomial Distribution -- B.1.7 Poisson Distribution -- B.2 Continuous Distributions -- B.2.1 Uniform Distribution -- B.2.2 Normal Distribution
-- B.2.3 Exponential Distribution -- B.2.4 Weibull Distribution -- 6.2.5 Gamma Distribution -- B.2.6 Beta Distribution -- B.2.7 Chi-Square Distribution -- B.2.8 Student’s t Distribution -- B.2.9 F Distribution -- B.2.10 Von Mises
Distributions -- Appendix C — Point Estimation -- C.1 Definitions -- C.2 Estimation of Mean and Variance -- Appendix D — Tables -- D.1 Binomial Distribution -- D.2 Normal Distribution -- D.4 Chi-Square Distribution -- Appendix E —
Datasets -- E.1 Breast Tissue -- E.2 Car Sale -- E.3 Cells -- E.4 Clays -- E.5 Cork Stoppers -- E.6 CTG -- E.7 Culture -- E.8 Fatigue -- E.9 FHR -- E.10 FHR-Apgar -- E.11 Firms -- E.12 Flow Rate -- E.13 Foetal Weight -- E.14 Forest
Fires -- E.15 Freshmen -- E.16 Heart Valve -- E.17 Infarct -- E.18 Joints -- E.19 Metal Firms -- E.20 Meteo -- E.21 Moulds -- E.22 Neonatal -- E.23 Programming -- E.24 Rocks -- E.25 Signal & Noise -- E.26 Soil Pollution -- E.27 Stars
-- E.28 Stock Exchange -- E.29 VCG -- E.30 Wave -- E.31 Weather -- E.32 Wines -- Appendix F — Tools -- F.1 MATLAB Functions -- F.2 Tools EXCEL File -- F.3 SCSIZE Program -- References
ISBN:9783662058046
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Probabilities , Statistics , Applied mathematics , Engineering mathematics , Computational intelligence , Complexity, Computational , Mathematics , Probability Theory and Stochastic Processes , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Computational Intelligence , Complexity , Appl.Mathematics/Computational Methods of Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9783034881418:ONLINE Show nearby items on shelf
Title:The Topos of Music Geometric Logic of Concepts, Theory, and Performance
Author(s): Guerino Mazzola
Date:2002
Size:1 online resource (1344 p.)
Note:10.1007/978-3-0348-8141-8
Contents:I Introduction and Orientation -- 1 What is Music About? -- 1.1 Fundamental Activities -- 1.2 Fundamental Scientific Domains -- 2 Topography -- 2.1 Layers of Reality -- 2.1.1 Physical Reality -- 2.1.2 Mental Reality -- 2.1.3
Psychological Reality -- 2.2 Molino’s Communication Stream -- 2.2.1 Creator and Poietic Level -- 2.2.2 Work and Neutral Level -- 2.2.3 Listener and Esthesic Level -- 2.3 Semiosis -- 2.3.1 Expressions -- 2.3.2 Content -- 2.3.3 The
Process of Signification -- 2.3.4 A Short Overview of Music Semiotics -- 2.4 The Cube of Local Topography -- 2.5 Topographical Navigation -- 3 Musical Ontology -- 3.1 Where is Music? -- 3.2 Depth and Complexity -- 4 Models and
Experiments in Musicology -- 4.1 Interior and Exterior Nature -- 4.2 What Is a Musicological Experiment? -- 4.3 Questions—Experiments of the Mind -- 4.4 New Scientific Paradigms and Collaboratories -- II Navigation on Concept Spaces --
5 Navigation -- 5.1 Music in the EncycloSpace -- 5.2 Receptive Navigation -- 5.3 Productive Navigation -- 6 Denotators -- 6.1 Universal Concept Formats -- 6.1.1 First Naive Approach To Denotators -- 6.1.2 Interpretations and Comments
-- 6.1.3 Ordering Denotators and ‘Concept Leafing’ -- 6.2 Forms -- 6.2.1 Variable Addresses -- 6.2.2 Formal Definition -- 6.2.3 Discussion of the Form Typology -- 6.3 Denotators -- 6.3.1 Formal Definition of a Denotator -- 6.4
Anchoring Forms in Modules -- 6.4.1 First Examples and Comments on Modules in Music -- 6.5 Regular and Circular Forms -- 6.6 Regular Denotators -- 6.7 Circular Denotators -- 6.8 Ordering on Forms and Denotators -- 6.8.1 Concretizations
and Applications -- 6.9 Concept Surgery and Denotator Semantics -- III Local Theory -- 7 Local Compositions -- 7.1 The Objects of Local Theory -- 7.2 First Local Music Objects -- 7.2.1 Chords and Scales -- 7.2.2 Local Meters and Local
Rhythms -- 7.2.3 Motives -- 7.3 Functorial Local Compositions -- 7.4 First Elements of Local Theory -- 7.5 Alterations Are Tangents -- 7.5.1 The Theorem of Mason—Mazzola -- 8 Symmetries and Morphisms -- 8.1 Symmetries in Music -- 8.1.1
Elementary Examples -- 8.2 Morphisms of Local Compositions -- 8.3 Categories of Local Compositions -- 8.3.1 Commenting the Concatenation Principle -- 8.3.2 Embedding and Addressed Adjointness -- 8.3.3 Universal Constructions on Local
Compositions -- 8.3.4 The Address Question -- 8.3.5 Categories of Commutative Local Compositions -- 9 Yoneda Perspectives -- 9.1 Morphisms Are Points -- 9.2 Yoneda’s Fundamental Lemma -- 9.3 The Yoneda Philosophy -- 9.4 Understanding
Fine and Other Arts -- 9.4.1 Painting and Music -- 9.4.2 The Art of Object-Oriented Programming -- 10 Paradigmatic Classification -- 10.1 Paradigmata in Musicology, Linguistics, and Mathematics -- 10.2 Transformation -- 10.3 Similarity
-- 10.4 Fuzzy Concepts in the Humanities -- 11 Orbits -- 11.1 Gestalt and Symmetry Groups -- 11.2 The Framework for Local Classification -- 11.3 Orbits of Elementary Structures -- 11.3.1 Classification Techniques -- 11.3.2 The Local
Classification Theorem -- 11.3.3 The Finite Case -- 11.3.4 Dimension -- 11.3.5 Chords -- 11.3.6 Empirical Harmonic Vocabularies -- 11.3.7 Self-addressed Chords -- 11.3.8 Motives -- 11.4 Enumeration Theory -- 11.4.1 Pólya and de Bruijn
Theory -- 11.4.2 Big Science for Big Numbers -- 11.5 Group-theoretical Methods in Composition and Theory -- 11.5.1 Aspects of Serialism -- 11.5.2 The American Tradition -- 11.6 Esthetic Implications of Classification -- 11.6.1
Jakobson’s Poetic Function -- 11.6.2 Motivic Analysis: Schubert/Stolberg “Lied auf dem Wasser zu singen...” -- 11.6.3 Composition: Mazzola/Baudelaire “La mort des artistes” -- 11.7 Mathematical Reflections on Historicity in Music --
11.7.1 Jean-Jacques Nattiez’ Paradigmatic Theme -- 11.7.2 Groups as a Parameter of Historicity -- 12 Topological Specialization -- 12.1 What Ehrenfels Neglected -- 12.2 Topology -- 12.2.1 Metrical Comparison -- 12.2.2 Specialization
Morphisms of Local Compositions -- 12.3 The Problem of Sound Classification -- 12.3.1 Topographic Determinants of Sound Descriptions -- 12.3.2 Varieties of Sounds -- 12.3.3 Semiotics of Sound Classification -- 12.4 Making the Vague
Precise -- IV Global Theory -- 13 Global Compositions -- 13.1 The Local-Global Dichotomy in Music -- 13.1.1 Musical and Mathematical Manifolds -- 13.2 What Are Global Compositions? -- 13.2.1 The Nerve of an Objective Global Composition
-- 13.3 Functorial Global Compositions -- 13.4 Interpretations and the Vocabulary of Global Concepts -- 13.4.1 Iterated Interpretations -- 13.4.2 The Pitch Domain: Chains of Thirds, Ecclesiastical Modes, Triadic and Quaternary Degrees
-- 13.4.3 Interpreting Time: Global Meters and Rhythms -- 13.4.4 Motivic Interpretations: Melodies and Themes -- 14 Global Perspectives -- 14.1 Musical Motivation -- 14.2 Global Morphisms -- 14.3 Local Domains -- 14.4 Nerves -- 14.5
Simplicial Weights -- 14.6 Categories of Commutative Global Compositions -- 15 Global Classification -- 15.1 Module Complexes -- 15.1.1 Global Affine Functions -- 15.1.2 Bilinear and Exterior Forms -- 15.1.3 Deviation: Compositions vs.
“Molecules” -- 15.2 The Resolution of a Global Composition -- 15.2.1 Global Standard Compositions -- 15.2.2 Compositions from Module Complexes -- 15.3 Orbits of Module Complexes Are Classifying -- 15.3.1 Combinatorial Group Actions --
15.3.2 Classifying Spaces -- 16 Classifying Interpretations -- 16.1 Characterization of Interpretable Compositions -- 16.1.1 Automorphism Groups of Interpretable Compositions -- 16.1.2 A Cohomological Criterion -- 16.2 Global
Enumeration Theory -- 16.2.1 Tesselation -- 16.2.2 Mosaics -- 16.2.3 Classifying Rational Rhythms and Canons -- 16.3 Global American Set Theory -- 16.4 Interpretable “Molecules” -- 17 Esthetics and Classification -- 17.1 Understanding
by Resolution: An Illustrative Example -- 17.2 Varese’s Program and Yoneda’s Lemma -- 18 Predicates -- 18.1 What Is the Case: The Existence Problem -- 18.1.1 Merging Systematic and Historical Musicology -- 18.2 Textual and Paratextual
Semiosis -- 18.2.1 Textual and Paratextual Signification -- 18.3 Textuality -- 18.3.1 The Category of Denotators -- 18.3.2 Textual Semiosis -- 18.3.3 Atomic Predicates -- 18.3.4 Logical and Geometric Motivation -- 18.4 Paratextuality
-- 19 Topoi of Music -- 19.1 The Grothendieck Topology -- 19.1.1 Cohomology -- 19.1.2 Marginalia on Presheaves -- 19.2 The Topos of Music: An Overview -- 20 Visualization Principles -- 20.1 Problems -- 20.2 Folding Dimensions -- 20.2.1
?2 ? ? -- 20.2.1 ?n ? ? -- 20.2.3 An Explicit Construction of ? with Special Values -- 20.3 Folding Denotators -- 20.3.1 Folding Limits -- 20.3.2 Folding Colimits -- 20.3.3 Folding Powersets -- 20.3.4 Folding Circular Denotators --
20.4 Compound Parametrized Objects -- 20.5 Examples -- V Topologies for Rhythm and Motives -- 21 Metrics and Rhythmics -- 21.1 Review of Riemann and Jackendoff—Lerdahl Theories -- 21.1.1 Riemann’s Weights -- 21.1.2 Jackendoff—Lerdahl:
Intrinsic Versus Extrinsic Time Structures -- 21.2 Topologies of Global Meters and Associated Weights -- 21.3 Macro-Events in the Time Domain -- 22 Motif Gestalts -- 22.1 Motivic Interpretation -- 22.2 Shape Types -- 22.2.1 Examples of
Shape Types -- 22.3 Metrical Similarity -- 22.3.1 Examples of Distance Functions -- 22.4 Paradigmatic Groups -- 22.4.1 Examples of Paradigmatic Groups -- 22.5 Pseudo-metrics on Orbits -- 22.6 Topologies on Gestalts -- 22.6.1 The
Inheritance Property -- 22.6.2 Cognitive Aspects of Inheritance -- 22.6.3 Epsilon Topologies -- 22.7 First Properties of the Epsilon Topologies -- 22.7.1 Toroidal Topologies -- 22.8 Rudolph Reti’s Motivic Analysis Revisited -- 22.8.1
Review of Concepts -- 22.8.2 Reconstruction -- 22.9 Motivic Weights -- VI Harmony -- 23 Critical Preliminaries -- 23.1 Hugo Riemann -- 23.2 Paul Hindemith -- 23.3 Heinrich Schenker and Friedrich Salzer -- 24 Harmonic Topology -- 24.1
Chord Perspectives -- 24.1.1 Euler Perspectives -- 24.1.2 12-tempered Perspectives -- 24.1.3 Enharmonic Projection -- 24.2 Chord Topologies -- 24.2.1 Extension and Intension -- 24.2.2 Extension and Intension Topologies -- 24.2.3
Faithful Addresses -- 24.2.4 The Saturation Sheaf -- 25 Harmonic Semantics -- 25.1 Harmonic Signs—Overview -- 25.2 Degree Theory -- 25.2.1 Chains of Thirds -- 25.2.2 American Jazz Theory -- 25.2.3 Hans Straub: General Degrees in
General Scales -- 25.3 Function Theory -- 25.3.1 Canonical Morphemes for European Harmony -- 25.3.2 Riemann Matrices -- 25.3.3 Chains of Thirds -- 25.3.4 Tonal Functions from Absorbing Addresses -- 26 Cadence -- 26.1 Making the Concept
Precise -- 26.2 Classical Cadences Relating to 12-tempered Intonation -- 26.2.1 Cadences in Triadic Interpretations of Diatonic Scales -- 26.2.2 Cadences in More General Interpretations -- 26.3 Cadences in Self-addressed Tonalities of
Morphology -- 26.4 Self-addressed Cadences by Symmetries and Morphisms -- 26.5 Cadences for Just Intonation -- 26.5.1 Tonalities in Third-Fifth Intonation -- 26.5.2 Tonalities in Pythagorean Intonation -- 27 Modulation -- 27.1 Modeling
Modulation by Particle Interaction -- 27.1.1 Models and the Anthropic Principle -- 27.1.2 Classical Motivation and Heuristics -- 27.1.3 The General Background -- 27.1.4 The Well-Tempered Case -- 27.1.5 Reconstructing the Diatonic Scale
from Modulation -- 27.1.6 The Case of Just Tuning -- 27.1.7 Quantized Modulations and Modulation Domains for Selected Scales -- 27.2 Harmonic Tension -- 27.2.1 The Riemann Algebra -- 27.2.2 Weights on the Riemann Algebra -- 27.2.3
Harmonic Tensions from Classical Harmony? -- 27.2.4 Optimizing Harmonic Paths -- 28 Applications -- 28.1 First Examples -- 28.1.1 Johann Sebastian Bach: Choral from “Himmelfahrtsoratorium” -- 28.1.2 Wolfgang Amadeus Mozart:
“Zauberflöte”, Choir of Priests -- 28.1.3 Claude Debussy: “Préludes”, Livre 1, No.4 -- 28.2 Modulation in Beethoven’s Sonata op.106, 1stMovement --
ISBN:9783034881418
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Philosophy and science , Algebraic geometry , Applied mathematics , Engineering mathematics , Visualization , Geometry , Mathematics , Applications of Mathematics , Philosophy of Science , Geometry , Algebraic Geometry , Mathematics, general , Visualization
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9789401009287:ONLINE Show nearby items on shelf
Title:IUTAM Symposium on Developments in Geophysical Turbulence
Author(s):
Date:2000
Size:1 online resource (297 p.)
Note:10.1007/978-94-010-0928-7
Contents:1. A brief history of the Geophysical Turbulence Program at NCAR -- 2. The meteorological development of large eddy simulation -- 3. Developments in high-Rayleigh number convection -- 4. Direct numerical simulation of particle motion
in relation to structures in the convective boundary layer -- 5.Boundary sources of potential vorticity in geophysical circulations -- 6. Three-dimensional initiation of thermohaline fingering -- 7. Aspects of stratified turbulence --
8. Particle dispersion and vortex formation in rotating stratified turbulence -- 9. Structural features of breaking waves in stratified flow over mountains -- 10. Vortex Persistence: A recent model for stratified Entrainment and its
application to geophysical flows -- 11. Formation of tracer gradients in nearly two-dimensional flows -- 12. Evolution of a tracer gradient in an incompressible, two-dimensional flow -- 13.Comments on “Evolution of a tracer gradient in
an incompressible, two-mensional flow” by Harvey Segur -- 14. Analytical models for vertical collapse and instability in stably stratified flows -- 15. Emergence of circumpolar vortex in two dimensional turbulence on a rotating sphere
-- 16. Direct laboratory simulations of 3D vortex structures in stably stratified rotating fluids -- 17. Statistics of coherent fine scale structure in turbulent mixing layer -- 18. Structure and dynamics of small-scale turbulence in
stably stratified homogeneous shear flows -- 19. Spectral eddy-viscosity based LES of shear and rotating flows -- 20. Entrainment and subgrid lengthscales in large-eddy simulations of atmospheric boundary-layer flows -- 21. Extending
Lundgren’s transformation to construct stretched vortex solutions of the 3D Navier-Stokes and Euler equations -- 22. A one-dimensional MHD model of solar flares: statistics or physics? -- List of Participants
ISBN:9789401009287
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Fluid Mechanics and Its Applications: 58
Keywords: Physics , Oceanography , Atmospheric sciences , Mechanics , Fluids , Physics , Mechanics , Atmospheric Sciences , Oceanography , Fluid- and Aerodynamics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2000-9781461204930:ONLINE Show nearby items on shelf
Title:Introduction to Graphical Modelling
Author(s): David Edwards
Date:2000
Edition:Second Edition
Size:1 online resource (335 p.)
Note:10.1007/978-1-4612-0493-0
Contents:1 Preliminaries -- 1.1 Independence and Conditional Independence -- 1.2 Undirected Graphs -- 1.3 Data, Models, and Graphs -- 1.4 Simpson’s Paradox -- 1.5 Overview of the Book -- 2 Discrete Models -- 2.1 Three-Way Tables -- 2.2
Multi-Way Tables -- 3 Continuous Models -- 3.1 Graphical Gaussian Models -- 3.2 Regression Models -- 4 Mixed Models -- 4.1 Hierarchical Interaction Models -- 4.2 Breaking Models into Smaller Ones -- 4.3 Mean Linearity -- 4.4
Decomposable Models -- 4.5 CG-Regression Models -- 4.6 Incomplete Data -- 4.7 Discriminant Analysis -- 5 Hypothesis Testing -- 5.1 An Overview -- 5.2 X2-Tests -- 5.3 F-Tests -- 5.4 Exact Conditional Tests -- 5.5 Deviance-Based Tests --
5.6 Permutation F-Test -- 5.7 Pearson x2-Test -- 5.8 Fisher’s Exact Test -- 5.9 Rank Tests -- 5.10 Wilcoxon Test -- 5.11 Kruskal-Wallis Test -- 5.12 Jonckheere-Terpstra Test -- 5.13 Tests for Variance Homogeneity -- 5.14 Tests for
Equality of Means Given Homogeneity -- 5.15 Hotelling’s T2 -- 6 Model Selection and Criticism -- 6.1 Stepwise Selection -- 6.2 The EH-Procedure -- 6.3 Selection Using Information Criteria -- 6.4 Comparison of the Methods -- 6.5 Box-Cox
Transformations -- 6.6 Residual Analysis -- 6.7 Dichotomization -- 7 Directed Graphs and Their Models -- 7.1 Directed Acyclic Graphs -- 7.2 Chain Graphs -- 7.3 Local Independence Graphs -- 7.4 Covariance Graphs -- 7.5 Chain Graphs with
Alternative Markov Properties -- 7.6 Reciprocal Graphs -- 8 Causal Inference -- 8.1 Philosophical Aspects -- 8.2 Rubin’s Causal Model -- 8.3 Pearl’s Causal Graphs -- 8.4 Discussion -- A The MINI Command Language -- A.1 Introduction --
A.2 Declaring Variables -- A.3 Undirected Models -- A.3.1 Deleting Edges -- A.3.2 Adding Edges -- A.3.3 Other Model-Changing Commands -- A.3.4 Model Properties -- A.4 Block-Recursive Models -- A.4.1 Defining the Block Structure --
A.4.2 Block Mode -- A.4.3 Defining Block-Recursive Models -- A.4.4 Working with Component Models -- A.5 Reading and Manipulating Data -- A.5.1 Reading Casewise Data -- A.5.2 Reading Counts, Means, and Covariances -- A.5.3 Transforming
Data -- A.5.4 Restricting Observations -- A.5.5 Generating Raw Data -- A.5.6 Deleting Variables -- A.6 Estimation -- A.6.1 Undirected Models (Complete Data) -- A.6.2 Undirected Models (Missing Data) -- A.6.3 CG-Regression Models -- A.7
Hypothesis Testing -- A.7.1 x2-Tests -- A.7.2 Test of Homogeneity -- A.7.3 F-Tests -- A.7.4 Edge Deletion Tests -- A.7.5 Edge Deletion F-Tests -- A.7.6 Exact Tests -- A.7.7 Symmetry Tests -- A.7.8 Randomisation Tests -- A.8 Model
Selection -- A.8.1 Stepwise Selection -- A.8.2 The EH-Procedure -- A.8.3 Selection Using Information Criteria -- A.9 The Box-Cox Transformation -- A.10 Residuals -- A.11 Discriminant Analysis -- A.12 Utilities -- A.12.1 File Input --
A.12.2 The Workspace -- A.12.3 Printing Information -- A.12.4 Displaying Parameter Estimates -- A.12.5 Displaying Summary Statistics -- A.12.6 Setting the Maximum Model -- A.12.7 Fixing Variables -- A.12.8 Macros -- B Implementation
Specifics of MB’! -- B.1 Calling MIM -- B.2 The Main Menu -- B.3 Entering Commands and Navigating the Work Area -- B.4 The Built-In Editor -- B.5 Interactive Data Entry -- B.6 Independence Graphs -- B.7 Simple Data Graphics -- B.7.1
Scatter Plots -- B.7.2 Histograms -- B.7.3 Box Plots -- B.8 Graphics Export Formats -- B.9 Direct Database Access -- B.10 Program Intercommunication -- C On Multivariate Symmetry -- D On the Estimation Algorithms -- D.1 The MIPS
Algorithm -- D.1.1 Notation -- D.1.2 The Likelihood Equations -- D.1.3 The General Algorithm -- D.1.4 The A-Collapsible Variant -- D.1.5 The Mean Linear Variant -- D.1.6 The Q-Equivalent Variant -- D.1.7 The Step-Halving Variant -- D.2
The EM-Algorithm -- D.3 The ME-Algorithm -- References
ISBN:9781461204930
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematical models , Statistics , Mathematics , Mathematical Modeling and Industrial Mathematics , Statistical Theory and Methods
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-9781461206132:ONLINE Show nearby items on shelf
Title:Mathematics Without Borders A History of the International Mathematical Union
Author(s): Olli Lehto
Date:1998
Size:1 online resource (399 p.)
Note:10.1007/978-1-4612-0613-2
Contents:1 Prologue to the History of the IMU -- 1.1 Ideas of International Mathematical Cooperation Awaken -- 1.2 Formation of Institutionalized Congresses in -- 1.3 International Mathematical Activities Before World War I -- 1.4 Politics
Enters into International Cooperation in Science -- 2 The Old IMU (1920-1932) -- 2.1 The Foundation of the IMU in the Aftermath of World War I -- 2.2 Mounting Opposition Against the IMU’s Policy of Exclusion -- 2.3 Transformation of
the International Research Council into the International Council of Scientific Unions -- 2.4 The IMU Separates from the Congresses -- 2.5 The IMU Adrift -- 2.6 Suspension of the IMU -- 3 Mathematical Cooperation Without the IMU
(1933-1939) -- 3.1 The Fields Medals -- 3.2 Collaboration in Mathematical Education -- 3.3 A Failed Attempt to Found a New IMU -- 3.4 The Oslo Congress in -- 4 Foundation of the New IMU (1945-1951) 73 -- 4.1 American Declaration of
Universality -- 4.2 Preparation of the IMU Statutes -- 4.3 The Rebirth of the IMU -- 4.4 ICM-1950 at Harvard: American Tour de Force -- 5 The IMU Takes Shape (1952-1954) -- 5.1 The First General Assembly in Rome in -- 5.2 The
Secretariat of the IMU -- 5.3 Starting the IMU’s Activities -- 5.4 ICMI Becomes Attached to the Union -- 5.5 The 1954 General Assembly in the Netherlands -- 5.6 ICM-1954 in Amsterdam: Comeback of the Old World -- 6 Expansion of the IMU
(1955-1958) 121 -- 6.1 Membership of Socialist Countries -- 6.2 The Chinese Problem Emerges -- 6.3 The World Directory of Mathematicians -- 6.4 Extension of Mathematical Activities -- 7 The IMU and International Congresses (1958-1962)
-- 7.1 The 1958 General Assembly in Scotland -- 7.2 ICM-1958 in Edinburgh -- 7.3 Why Organize Large ICMs? -- 7.4 The IMU Becomes a Partner of the ICMs -- 7.5 The 1962 General Assembly in Sweden -- 7.6 ICM-1962 in Stockholm: An IMU
Breakthrough -- 8 Consolidation of the IMU (1963-1970) -- 8.1 The USSR Hosts the 1966 General Assembly -- 8.2 ICM-1966 in Moscow: East and West Meet -- 8.3 The 1970 General Assembly in France -- 8.4 ICM-1970 in Nice -- 9 North-South
and East-West Connections (1971-1978) -- 9.1 New Programs and Trends -- 9.2 The 1974 General Assembly in Canada -- 9.3 ICM-1974 in Vancouver: Disagreement About the Program -- 9.4 How to Make an ICM -- 9.5 The 1978 General Assembly in
Finland -- 9.6 ICM-1978 in Helsinki -- 10 Politics Interferes with the IMU (1979-1986) -- 10.1 The IMU and the Soviet National Committee -- 10.2 Martial Law in the Host Country of the Congress -- 10.3 The 1982 General Assembly in
Poland -- 10.4 ICM-1983 in Warsaw: Mathematics Above Politics -- 10.5 The 1986 Presidential Election -- 10.6 China Joins the IMU -- 11 The IMU and Related Organizations -- 11.1 The IMU as a Member of ICSU -- 11.2 ICMI as a
Subcommission of the IMU -- 11.3 Commission on Development and Exchange -- 11.4 Problems in Africa -- 11.5 The IMU and the History of Mathematics -- 11.6 The IMU and Applied Mathematics -- 12 The IMU in a Changing World (1986-1990) --
12.1 The 1986 General Assembly in California -- 12.2 ICM-1986 at Berkeley -- 12.3 Japan Hosts the 1990 General Assembly -- 12.4 ICM-1990 in Kyoto -- 12.5 World Mathematical Year 2000 -- 1 Members of the IMU -- 2 General Assemblies of
the IMU -- 3 Executive Committees of the IMU -- 4 Meetings of the IMU Executive Committees -- 5 Central Committees of the International Commission on the Teaching of Mathematics -- 6 Executive Committees of ICMI -- 7 Commissions on
Development and Exchange -- 8 International Congresses of Mathematicians -- 9 Fields Medals -- 10 Rolf Nevanlinna Prizes -- 11 Union Lectures -- 12 Finances -- 13 Archives (as of June 1996) -- Notes
ISBN:9781461206132
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , History , Mathematics , History of Mathematical Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781461334347:ONLINE Show nearby items on shelf
Title:Linear Programming: Mathematics, Theory and Algorithms
Author(s):
Date:1996
Size:1 online resource (498 p.)
Note:10.1007/978-1-4613-3434-7
Contents:1. Introduction and Overview -- 2. Preliminary Mathematics -- 2.1 Vectors in Rn -- 2.2 Rank and Linear Transformations -- 2.3 The Solution Set of a System of Simultaneous Linear Equations -- 2.4 Orthogonal Projections and Least
Squares Solutions -- 2.5 Point-Set Theory: Topological Properties of Rn -- 2.6 Hyperplanes and Half-Planes (-Spaces) -- 2.7 Convex Sets -- 2.8 Existence of Separating and Supporting Hyperplanes -- 2.9 Convex Cones -- 2.10 Basic
Solutions to Linear Equalities -- 2.11 Faces of Polyhedral Convex Sets: Extreme Points, Facets, and Edges -- 2.12 Extreme Point Representation for Polyhedral Convex Sets -- 2.13 Directions for Polyhedral Convex Sets -- 2.14 Combined
Extreme Point and Extreme Direction Representation for Polyhedral Convex Sets -- 2.15 Resolution of Convex Polyhedra. -- 2.16 Simplexes -- 2.18 Linear Functionals -- 3. Introduction to Linear Programming -- 3.1 The Canonical Form of a
Linear Programming Problem -- 3.2 A Graphical Solution to the Linear Programming Problem -- 3.3 The Standard Form of a Linear Programming Problem -- 3.4 Properties of the Feasible Region -- 3.5 Existence and Location of Finite Optimal
Solutions -- 3.6 Basic Feasible and Extreme Point Solutions to the Linear Programming Problem -- 3.7 Solutions and Requirements Spaces -- 4. Duality Theory -- 4.1 The Symmetric Dual -- 4.2 Unsymmetric Duals -- 4.3 Duality Theorems --
5. The Theory of Linear Programming -- 5.1 Finding Primal Basic Feasible Solutions -- 5.2 The Reduced Primal Problem -- 5.3 The Primal Optimality Criterion -- 5.4 Constructing the Dual Solution -- 5.5 The Primal Simplex Method -- 5.6
Degenerate Basic Feasible Solutions -- 5.7 Unbounded Solutions Reexamined -- 5.8 Multiple Optimal Solutions -- 6. Duality Theory Revisited -- 6.1 The Geometry of Duality and Optimality -- 6.2 Lagrangian Saddle Points and Primal
Optimality -- 7. Computational Aspects of Linear Programming -- 7.1 The Primal Simplex Method Reexamined -- 7.2 Improving a Basic Feasible Solution -- 7.3 The Cases of Multiple Optimal, Unbounded, and Degenerate Solutions -- 7.4
Summary of the Primal Simplex Method -- 7.5 Obtaining the Optimal Dual Solution From the Optimal Primal Matrix -- 8. One-Phase, Two-Phase, and Composite Methods of Linear Programming -- 8.1 Artificial Variables -- 8.2 The One-Phase
Method -- 8.3 Inconsistency and Redundancy -- 8.4 Unbounded Solutions to the Artificial Problem -- 8.5 The Two-Phase Method -- 8.6 Obtaining the Optimal Primal Solution from the Optimal Dual Matrix -- 8.7 The Composite Simplex Method
-- 9. Computational Aspects of Linear Programming: Selected Transformations -- 9.1 Minimizing the Objective Function -- 9.2 Unrestricted Variables -- 9.3 Bounded Variables -- 9.4 Interval Linear Programming -- 9.5 Absolute Value
Functionals -- 10. The Dual Simplex, Primal-Dual, and Complementary Pivot Methods -- 10.1 Dual Simplex Method -- 10.2 Computational Aspects of the Dual Simplex Method -- 10.3 Dual Degeneracy -- 10.4 Summary of the Dual Simplex Method
-- 10.5 Generating an Initial Primal-Optimal Basic Solution: The Artificial Constraint Method -- 10.6 Primal-Dual Method -- 10.7 Summary of the Primal-Dual Method -- 10.8 A Robust Primal-Dual Algorithm -- 10.9 The Complementary Pivot
Method -- 11. Postoptimality Analysis I -- 11.1 Sensitivity Analysis -- 11.2 Structural Changes -- 12. Postoptimality Analysis II -- 12.1 Parametric Analysis -- 12.2 The Primal-Dual Method Revisited -- 13. Interior Point Methods --
13.1 Optimization Over a Sphere -- 13.2 An Overview of Karmarkar’s Algorithm -- 13.3 The Projective Transformation T(X) -- 13.4 The Transformed Problem -- 13.5 Potential Function Improvement and Computational Complexity -- 13.6 A
Summary of Karmarkar’s Algorithm -- 13.7 Transforming a General Linear Program to Karmarkar Standard Form -- 13.8 Extensions and Modifications of Karmarkar’s Algorithm -- 13.9 Methods Related to Karmarkar’s Routine: Affine Scaling
Scaling Algorithms -- 13.10 Methods Related to Karmarkar’s Routine: A Path-Following Following Algorithm -- 13.11 Methods Related to Karmarkar’s Routine: Potential Reduction Algorithms -- 13.12 Methods Related to Karmarkar’s Routine: A
Homogeneous and Self-Dual Interior-Point, Method -- 14. Interior Point Algorithms for Solving Linear Complementarity Problems -- 14.1 Introduction -- 14.2 An Interior-Point, Path-Following Algorithm for LCP(q,M) -- 14.3 An
Interior-Point, Potential-Reduction Algorithm for LCP(q,M) -- 14.4 A Predictor-Corrector Algorithm for Solving LCP(q,M) -- 14.5 Large-Step Interior-Point Algorithms for Solving LCP(q,M) -- 14.6 Related Methods for Solving LCP(q, M) --
Appendix A: Updating the Basis Inverse -- Appendix B: Steepest Edge Simplex Methods -- Appendix C: Derivation of the Projection Matrix -- References -- Notation Index
ISBN:9781461334347
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 2
Keywords: Mathematics , Operations research , Decision making , Game theory , Mathematical optimization , Economic theory , Mathematics , Optimization , Operation Research/Decision Theory , Economic Theory/Quantitative Economics/Mathematical Methods , Game Theory, Economics, Social and Behav. Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1995-9789401584807:ONLINE Show nearby items on shelf
Title:Numerical Methods for the Solution of Ill-Posed Problems
Author(s): A. N Tikhonov
Date:1995
Size:1 online resource (254 p.)
Note:10.1007/978-94-015-8480-7
Contents:1. Regularization methods -- 2. Numerical methods for the approximate solution of ill-posed problems on compact sets -- 3. Algorithms for the approximate solution of ill-posed problems on special sets -- 4. Algorithms and programs for
solving linear ill-posed problems -- Appendix: Program listings -- I. Program for solving Fredholm integral equations of the first kind, using Tikhonov’s method with transformation of the Euler equation to tridiagonal form -- II.
Program for solving Fredholm integral equations of the first kind by Tikhonov’s method, using the conjugate gradient method -- III. Program for solving Fredholm integral equations of the first kind on the set of nonnegative functions,
using the regularization method -- IV. Program for solving one-dimensional integral equations of convolution type -- V. Program for solving two-dimensional integral equations of convolution type -- VI. Program for solving Fredholm
integral equations of the first kind on the sets of monotone and (or) convex functions. The method of the conditional gradient -- VII. Program for solving Fredholm integral equations of the first kind on the sets of monotone and (or)
convex functions. The method of projection of conjugate gradients -- VIII. Program for solving Fredholm integral equations of the first kind on the sets of monotone and (or) convex functions. The method of projection of conjugate
gradients onto the set of vectors with nonnegative coordinates -- IX. General programs -- Postscript -- 1. Variational methods -- 2. Iterative methods -- 3. Statistical methods -- 4. Textbooks -- 5. Handbooks and Conference Proceedings
ISBN:9789401584807
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 328
Keywords: Mathematics , Integral equations , Operator theory , Computer mathematics , Algorithms , Mathematical optimization , Mathematics , Computational Mathematics and Numerical Analysis , Integral Equations , Operator Theory , Optimization , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1995-9781461224723:ONLINE Show nearby items on shelf
Title:Fractal Image Compression Theory and Application
Author(s):
Date:1995
Size:1 online resource (342 p.)
Note:10.1007/978-1-4612-2472-3
Contents:1 Introduction -- 1.1 What Is Fractal Image Compression? -- 1.2 Self-Similarity in Images -- 1.3 A Special Copying Machine -- 1.4 Encoding Images -- 1.5 Ways to Partition Images -- 1.6 Implementation -- 1.7 Conclusion -- 2
Mathematical Background -- 2.1 Fractals -- 2.2 Iterated Function Systems -- 2.3 Recurrent Iterated Function Systems -- 2.4 Image Models -- 2.5 Affine Transformations -- 2.6 Partitioned Iterated Function Systems -- 2.7 Encoding Images
-- 2.8 Other Models -- 3 Fractal Image Compression with Quadtrees -- 3.1 Encoding -- 3.2 Decoding -- 3.3 Sample Results -- 3.4 Remarks -- 3.5 Conclusion -- 4 Archetype Classification in an Iterated Transformation Image Compression
Algorithm -- 4.1 Archetype Classification -- 4.2 Results -- 4.3 Discussion -- 5 Hierarchical Interpretation of Fractal Image Coding and Its Applications -- 5.1 Formulation of PIFS Coding/Decoding -- 5.2 Hierarchical Interpretation --
5.3 Matrix Description of the PIFS Transformation -- 5.4 Fast Decoding -- 5.5 Super-resolution -- 5.6 Different Sampling Methods -- 5.7 Conclusions -- A Proof of Theorem 5.1 (Zoom) -- B Proof of Theorem 5.2 (PIFS Embedded Function) --
C Proof of Theorem 5.3 (Fractal Dimension of the PIFS Embedded Function) -- 6 Fractal Encoding with HV Partitions -- 6.1 The Encoding Method -- 6.2 Efficient Storage -- 6.3 Decoding -- 6.4 Results -- 6.5 More Discussion -- 6.6 Other
Work -- 7 A Discrete Framework for Fractal Signal Modeling -- 7.1 Sampled Signals, Pieces, and Piecewise Self-transformability -- 7.2 Self-transformable Objects and Fractal Coding -- 7.3 Eventual Contractivity and Collage Theorems --
7.4 Affine Transforms -- 7.5 Computation of Contractivity Factors -- 7.6 A Least-squares Method -- 7.7 Conclusion -- A Derivation of Equation (7.9) -- 8 A Class of Fractal Image Coders with Fast Decoder Convergence -- 8.1 Affine
Mappings on Finite-Dimensional Signals -- 8.2 Conditions for Decoder Convergence -- 8.3 Improving Decoder Convergence -- 8.4 Collage Optimization Revisited -- 8.5 A Generalized Sufficient Condition for Fast Decoding -- 8.6 An Image
Example -- 8.7 Conclusion -- 9 Fast Attractor Image Encoding by Adaptive Codebook Clustering -- 9.1 Notation and Problem Statement -- 9.2 Complexity Reduction in the Encoding Step -- 9.3 How to Choose a Block -- 9.4 Initialization --
9.5 Two Methods for Computing Cluster Centers -- 9.6 Selecting the Number of Clusters -- 9.7 Experimental Results -- 9.8 Possible Improvements -- 9.9 Conclusion -- 10 Orthogonal Basis IFS -- 10.1 Orthonormal Basis Approach -- 10.2
Quantization -- 10.3 Construction of Coders -- 10.4 Comparison of Results -- 10.5 Conclusion -- 11 A Convergence Model -- 11.1 The r Operator -- 11.2 Lp Convergence of the RIFS Model -- 11.3 Almost Everywhere Convergence -- 11.4
Decoding by Matrix Inversion -- 12 Least-Squares Block Coding by Fractal Functions -- 12.1 Fractal Functions -- 12.2 Least-Squares Approximation -- 12.3 Construction of Fractal Approximation -- 12.4 Conclusion -- 13 Inference
Algorithms for WFA and Image Compression -- 13.1 Images and Weighted Finite Automata -- 13.2 The Inference Algorithm for WFA -- 13.3 A Fast Decoding Algorithm for WFA -- 13.4 A Recursive Inference Algorithm for WFA -- A Sample Code --
A.l The Enc Manual Page -- A.2 The Dec Manual Page -- A.3 Enc.c -- A.4 Dec.c -- A.5 The Encoding Program -- A.6 The Decoding Program -- A.7 Possible Modifications -- B Exercises -- C Projects -- C.1 Decoding by Matrix Inversion -- C.2
Linear Combinations of Domains -- C.3 Postprocessing: Overlapping, Weighted Ranges, and Tilt -- C.4 Encoding Optimization -- C.5 Theoretical Modeling for Continuous Images -- C.6 Scan-line Fractal Encoding -- C.7 Video Encoding -- C.8
Single Encoding of Several Frames -- C.9 Edge-based Partitioning -- C.10 Classification Schemes -- C.l1 From Classification to Multi-dimensional Keys -- C.12 Polygonal Partitioning305 -- C.13 Decoding by Pixel Chasing -- C.14 Second
Iterate Collaging -- C.15 Rectangular IFS Partitioning -- C.16 Hexagonal Partitioning -- C.17 Parallel Processing -- C.18 Non-contractive IFSs -- D Comparison of Results -- E Original Images
ISBN:9781461224723
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1994-9781447120919:ONLINE Show nearby items on shelf
Title:Finite Element Analysis for Heat Transfer Theory and Software
Author(s): Hou-Cheng Huang
Date:1994
Size:1 online resource (199 p.)
Note:10.1007/978-1-4471-2091-9
Contents:1 Introduction -- 1.1 Importance of Numerical Analysis of Heat Transfer -- 1.2 Reliability of Finite Element Analysis for Heat Transfer -- 1.3 Various Heat Transfer Problems -- 1.4 Objectives and Layout -- References -- 2 Governing
Differential Equations -- 2.1 Introduction -- 2.2 Conduction -- 2.3 Convection -- 2.4 Radiation -- References -- 3 Finite Element Method -- 3.1 Introduction -- 3.2 Variational Principle and Rayleigh-Ritz Method -- 3.3 Galerkin Weighted
Residual Method -- 3.4 Finite Element Method in Two Dimensions -- References -- 4 Temporal Discretisation for Heat Conduction -- 4.1 Introduction -- 4.2 Finite Element Discretisation of the Transient Conduction Equation -- 4.3
Recurrence Relations -- 4.4 Automatic Time Step Selection -- 4.5 Benchmark Example -- References -- 5 Phase Transformation -- 5.1 Introduction -- 5.2 The Stefan Problem -- 5.3 Numerical Methods for Modelling Phase Transformation -- 5.4
Benchmark Examples -- 5.5 Conclusion -- References -- 6 Adaptive Heat Transfer Analysis -- 6.1 Introduction -- 6.2 Error Estimation for Heat Conduction -- 6.3 Higher Order Approximation -- 6.4 Implementation of the Adaptive Procedure
-- 6.5 Steady State Benchmark Example -- 6.6 Transient Analysis -- References -- 7 Effects of Convection in Heat Transfer -- 7.1 Introduction -- 7.2 Steady State Advection-diffusion -- 7.3 Transient Advection-diffusion -- References --
A Software Description for HEAT2D -- A.1 Introduction -- A.2 Glossary of Variable Names -- A.2.1 Main Variables -- A.2.2 Main Arrays -- A.2.3 Main Subroutines -- A.3 Program Overview -- A.4 Input Instructions -- A.5 Element Stiffness
Calculations -- A.6 Phase Change Calculations -- A.6.1 Nodal Latent Heat Calculations -- A.6.2 Latent Heat Release for Each Iteration -- A.6.3 Correction of Temperatures after Each Iteration -- A.7 Documented Examples -- A.7.1 1-D
Solidification Example -- A.7.2 Steady State Forced Convection Example Using the SUPG Method -- References -- B Software Description for HADAPT -- B.1 Introduction -- B.2 Glossary of Variable Names -- B.2.1 Main Variables for the
Geometry and Mesh Data -- B.2.2 Additional Variables Used in This Program -- B.2.3 Additional Arrays Used in This Program -- B.2.4 New Subroutines Used in This Program -- B.3 Program Overview -- B.4 Input Instructions -- B.4.1 Geometry
Data -- B.4.2 Mesh Density Data -- B.4.3 Example Data File -- B.4.4 Output Data -- B.4.5 Problem Data -- B.5 Error Estimate Calculations -- B.6 Documented Examples -- B.6.1 2-D Heat Conduction with Convective Boundary Condition --
B.6.2 Convection Dominated 2-D Heat Transfer -- B.6.3 1-D Solidification Example
ISBN:9781447120919
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Mechanics , Thermodynamics , Applied mathematics , Engineering mathematics , Physics , Thermodynamics , Appl.Mathematics/Computational Methods of Engineering , Mechanics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1993-9789401120500:ONLINE Show nearby items on shelf
Title:Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics Proceedings of the International Workshop Acireale, Catania, Italy, October 27–31, 1992
Author(s):
Date:1993
Size:1 online resource (393 p.)
Note:10.1007/978-94-011-2050-0
Contents:Hidden and nonlocal symmetries of nonlinear differential equations -- Internal symmetries of differential equations -- Examples of completely integrable Bateman pairs -- Group method analysis of the dispersion of gaseous pollutants in
the presence of a temperature inversion -- Applications of the generalized symmetry method -- Conformal invariance, Huygens principle and fundamental solutions for scalar second order hyperbolic equations -- Potential symmetries and
equivalent conservation laws -- Some remarks on a class of ordinary differential equations: the Riccati property -- Differential-algebraic and differential-geometric approach to the study of involutive symbols -- The bihamiltonian
approach to integrable systems -- Conservation laws in dissipative solids -- Exact solutions of the Boltzmann equation -- Einstein equations with 1 parameter spacelike isometry group -- Lie Point symmetries and dynamical systems --
Symmetries of the nonlinear heat equation -- Symmetries of time dependent Hamiltonian systems -- Quasilinear hyperbolic systems: reduction to autonomous form and wave propagation -- Finite difference models entirely inheriting symmetry
of original differential equations -- Boundary condition invariance -- Nonlinear differential equations, Lie symmetries, and the Painlevé test -- Non-iterative transformation methods equivalence -- Reduction procedures for a class of
rate-type materials -- Conditional symmetries of the equations of Mathematical Physics -- Pseudopotential symmetries for integrable evolution equations -- Isomorphism verification for complex and real Lie algebras by Gröbner basis
technique -- sl(2, R), Ermakov systems and the magnetic monopole -- Symmetries of differential equations on a lattice. An example: the Toda Lattice -- Symmetries of particle Lagrangians -- The group analysis algorithms -- Potential
symmetries of Fokker-Planck equations -- Continuous symmetries of difference equations -- Integrable mechanical systems invariant with respect to the action of the KdV hierarchy -- A point symmetry group of a differential equation
which cannot be found using infinitesimal methods -- Ermakov structure in 2 + 1-dimensional systems. Canonical reduction -- Symmetries of second-order differential equations and decoupling -- Algorithmic methods for Lie pseudogroups --
A special class of Bäcklund transformations for certain nonlinear partial differential equations -- Symmetry groups of balance equations -- On equivalence transformations applied to a non-linear wave equation -- An efficiency improved
program LIEPDE for determining Lie-symmetries of PDEs -- Conditional symmetries and the direct reduction of partial differential equations
ISBN:9789401120500
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Algebra , Group theory , Partial differential equations , Physics , Mathematics , Algebra , Group Theory and Generalizations , Theoretical, Mathematical and Computational Physics , Partial Differential Equations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9789401126465:ONLINE Show nearby items on shelf
Title:Numerical Integration Recent Developments, Software and Applications
Author(s):
Date:1992
Size:1 online resource (367 p.)
Note:10.1007/978-94-011-2646-5
Contents:Numerical Integration Rules -- A Survey of Methods for Constructing Cubature Formulae -- Linear Representations of Finite Groups and the Ideal Theoretical Construction of G-Invariant Cubature Formulas -- On the Number of Nodes of Odd
Degree Cubature Formulae for Integrals with Jacobi Weights on a Simplex -- On Quadrature Formulae near Gaussian Quadrature -- Numerical Integration in High Dimensions — the Lattice Rule Approach -- Existence Theorems for Efficient
Lattice Rules -- SINC Quadratures for Cauchy Principal Value Integrals -- Interpolatory Product Integration in the Presence of Singularities: Lp Theory -- The Numerical Evaluation of Definite Integrals Affected by Singularities Near
the Interval of Integration -- Application of Computer Algebra Software to the Derivation of Numerical Integration Rules for Singular and Hypersingular Integrals -- Numerical Integration Error Analysis -- Remainder Estimates for
Analytic Functions -- Error Bounds Based on Approximation Theory -- One Sided L1-Approximation and Bounds for Peano Kernels -- An Algebraic Study of the Levin Transformation in Numerical Integration -- Numerical Integration
Applications -- Developments in Solving Integral Equations Numerically -- Numerical Integration of Singular and Hypersingular Integrals in Boundary Element Methods -- On Handling Singularities in Finite Elements -- A Robust Numerical
Integration Method for 3-D Boundary Element Analysis and its Error Analysis using Complex Function Theory -- On the Numerical Calculation of Multidimensional Integrals Appearing in the Theory of Underwater Acoustics -- Statistics
Applications of Subregion Adaptive Multiple Numerical Integration -- The Sinc Indefinite Integration and Initial Value Problems -- Numerical Integration Algorithms and Software -- Software for Integration over Triangles and General
Simplices -- An Algorithm for Automatic Integration of Certain Singular Functions over a Triangle -- CUBPACK: Progress Report -- Parallel Cubature on Loosely Coupled Systems -- Transformation of Integrands for Lattice Rules -- DQAINT:
An Algorithm for Adaptive Quadrature over a Collection of Finite Intervals -- A Note on Variable Knot, Variable Order Composite Quadrature for Integrands with Power Singularities -- Computation of Oscillatory Infinite Integrals by
Extrapolation Methods -- Appendix: Final Program -- List of Participants -- List of Contributors
ISBN:9789401126465
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO ASI Series, Series C: Mathematical and Physical Sciences: 357
Keywords: Computer science , Numerical analysis , Computer mathematics , Algorithms , Computer Science , Numeric Computing , Computational Mathematics and Numerical Analysis , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1992-9783034886062:ONLINE Show nearby items on shelf
Title:Operator Theory and Complex Analysis Workshop on Operator Theory and Complex Analysis Sapporo (Japan) June 1991
Author(s):
Date:1992
Size:1 online resource (406 p.)
Note:10.1007/978-3-0348-8606-2
Contents:Scattering matrices for microschemes -- 1. General expressions for the scattering matrix -- 2. Continuity condition -- References -- Holomorphic operators between Krein spaces and the number of squares of associated kernels -- 0.
Introduction -- 1. Realizations of a class of Schur functions -- 2. Positive squares and injectivity -- 3. Application of the Potapov-Ginzburg transform -- References -- On reproducing kernel spaces, the Schur algorithm, and
interpolation in a general class of domains -- 1. Introduction -- 2. Preliminaries -- 3. B(X) spaces -- 4. Recursive extractions and the Schur algorithm -- 5. H?(S) spaces -- 6. Linear fractional transformations -- 7. One sided
interpolation -- 8. References -- The central method for positive semi-definite, contractive and strong Parrott type completion problems -- 1. Introduction -- 2. Positive semi-definite completions -- 3. Contractive completions -- 4.
Linearly constrained contractive completions -- References -- Interpolation by rational matrix functions and stability of feedback systems: The 4-block case -- 1. Preliminaries -- 2. A homogeneous interpolation problem -- 3.
Interpolation problem -- 4. Parametrization of solutions -- 5. Interpolation and internally stable feedback systems -- References -- Matricial coupling and equivalence after extension -- 1. Introduction -- 2. Coupling versus
equivalence -- 3. Examples -- 4. Special classes of operators -- References -- Operator means and the relative operator entropy -- 1. Introduction -- 2. Origins of operator means -- 3. Operator means and operator monotone functions --
4. Operator concave functions and Jensen’s inequality -- 5. Relative operator entropy -- References -- An application of Furuta’s inequality to Ando’s theorem -- 1. Introduction -- 2. Operator functions -- 3. Furuta’s type inequalities
-- 4. An application to Ando’s theorem -- References -- Applications of order preserving operator inequalities -- 0. Introduction -- 1. Application to the relative operator entropy -- 2. Application to some extended result of Ando’s
one -- References -- The band extension of the real line as a limit of discrete band extensions, I. The main limit theorem -- 0. Introduction -- I. Preliminaries and preparations -- II. Band extensions -- III. Continuous versus
discrete -- References -- Interpolating sequences in the maximal ideal space of H? II -- 1. Introduction -- 2. Condition (A2) -- 3. Condition (A3) -- 4. Condition (A1) -- References -- Operator matrices with chordal inverse patterns --
1. Introduction -- 2. Entry formulae -- 3. Inertia formula -- References -- Models and unitary equivalence of cyclic selfadjoint operators in Pontrjagin spaces -- 1. The class F of linear functionals -- 2. The Pontrjagin space
associated with ? ? F -- 3. Models for cyclic selfadjoint operators in Pontrjagin spaces -- 4. Unitary equivalence of cyclic selfadjoint operators in Pontrjagin spaces -- References -- The von Neumann inequality and dilation theorems
for contractions -- 1. The von Neumann inequality and strong unitary dilation -- 2. Canonical representation of completely contractive maps -- 3. An effect of generation of nuclear algebras -- References -- Interpolation problems,
inverse spectral problems and nonlinear equations -- References -- Extended interpolation problem in finitely connected domains -- I. Matrices and transformation formulas -- II. Disc Cases -- III. Domains of finite connectivity --
References -- Accretive extensions and problems on the Stieltjes operator-valued functions relations -- 1. Accretive and sectorial extensions of the positive operators, operators of the class C(?) and their parametric representation --
2. Stieltjes operator-valued functions and their realization -- 3. M.S. Livsic triangular model of the M-accretive extensions (with real spectrum) of the positive operators -- 4. Canonical and generalized resolvents of QSC-extensions
of Hermitian contractions -- References -- Commuting nonselfadjoint operators and algebraic curves -- 1. Commuting nonselfadjoint operators and the discriminant curve -- 2. Determinantal representations of real plane curves -- 3.
Commutative operator colligations -- 4. Construction of triangular models: Finite-dimensional case -- 5. Construction of triangular models: General case -- 6. Characteristic functions and the factorization theorem -- References -- All
(?) about quasinormal operators -- 1. Introduction -- 2. Representations -- 3. Spectrum and multiplicity -- 4. Special classes -- 5. Invariant subspaces -- 6. Commutant -- 7. Similarity -- 8. Quasisimilarity -- 9. Compact perturbation
-- 10. Open problems -- References -- Workshop Program -- List of Participants
ISBN:9783034886062
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Operator Theory: Advances and Applications : 59
Keywords: Science , Science , Science, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9781461390923:ONLINE Show nearby items on shelf
Title:Computer Aided Proofs in Analysis
Author(s):
Date:1991
Size:1 online resource (251 p.)
Note:10.1007/978-1-4613-9092-3
Contents:The conversion of a high order programming language from floating-point arithmetic to range arithmetic -- Sylvester’s form of the resultant and the matrix-triangularization subresultant PRS method -- Computing the Tsirelson space norm
-- Floating-point systems for theorem proving -- Computer algebra and indefinite integrals -- A computer-assisted approach to small-divisors problems arising in Hamiltonian mechanics -- On a computer algebra aided proof in bifurcation
theory -- MACSYMA program to implement averaging using elliptic functions -- Validated anti-derivatives -- A toolbox for nonlinear dynamics -- Computer assisted proofs of stability of matter -- Accurate strategies for K.A.M. bounds and
their implementation -- A software tool for analysis in function spaces -- Equation solving by symbolic computation -- Deciding a class of Euclidean geometry theorems with Buchberger’s algorithm -- Lie transform tutorial — II --
Interval tools for computer aided proofs in analysis -- Tools for mathematical computation -- Shadowing trajectories of dynamical systems -- Transformation to versal normal form -- Computer assisted lower bounds for atomic energies
ISBN:9781461390923
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:The IMA Volumes in Mathematics and Its Applications: 28
Keywords: Mathematics , Mathematical analysis , Analysis (Mathematics) , Mathematics , Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1990-9783642752988:ONLINE Show nearby items on shelf
Title:Inverse Methods in Action Proceedings of the Multicentennials Meeting on Inverse Problems, Montpellier, November 27th – December 1st, 1989
Author(s):
Date:1990
Size:1 online resource (125 p.)
Note:10.1007/978-3-642-75298-8
Contents:Modelling or Solving Inverse Problems? -- I Tomographic Inverse Problems -- Tomography with Diffusion, -- Medical Imaging: State-of-the-Art and Future Development -- Inverse Problems for Discrete Evolution Models -- Recent
Developments in Electrical Impedance Tomography -- Two Inverse Problems for the Exponential Radon Transform -- Tomographic Image Reconstruction from a Limited Set of Projections Using a Natural Pixel Decomposition -- Application of the
Simulated Annealing Technique to Microwave Tomography: Preliminary Results -- Elastic Wave Diffraction Tomography -- II Distributed Parameters Inverse Problems -- Non-linear Least-Square Theory for Inverse Problems -- Circulant
Preconditioners for Non-negatively Constrained Deconvolution Problems -- Tikhonov Regularization of Nonlinear Differential-Algebraic Equations -- On the Choice of the Regularization Parameter Using Model Functions -- Exact
Reconstruction Procedures for Some Multidimensional Inverse Scattering and Inverse Boundary Value Problems -- On the Discretization and Regularization of Selfadjoint Ill-Posed Problems -- Age Structured Population Dynamics -- Ball
Stabilization in Inverse Problems -- III Spectral Inverse Problems -- Algorithms for Solving Inverse Eigenvalue Problems for Sturm-Liouville Equations -- Inverse Problem in the Coupling Constant -- Examples of Inverse Nodal Problems --
Conditions on the Data in Inverse Problems in Vibration -- An Inverse Eigenvalue Problem and an Extremal Eigenvalue Problem -- IV Scattering Inverse Problems (Exact Methods) -- Scattering by Black-Hole for Electromagnetic Fields --
Phase Space and Functional Integral Methods in Direct and Inverse Scattering -- New Results on 3D Schrödinger Inverse Scattering -- Electromagnetic Inverse Problems at Low Frequencies -- Retrieval of a Time-Dependent Source in an
Acoustic Propagation Problem -- Inverse Scattering Problems for the Wave Equation with Time Dependent Impurities -- Wave Splitting and the Reflection Operator for the Wave Equation -- Multidimensional Inverse Quantum Scattering Problem
and Wiener-Hopf Factorization -- The Direct and Inverse Scattering Transforms for a Sturm-Liouville Equation on Finite Interval as Smooth Maps. The Geometry of a Set of Finitely-Zoned Potentials -- V Theoretical Imaging -- Application
of Singular Systems to Some Data Reduction Problems in Modern Optics -- Temporal Homogenization -- Reciprocity, Discretization, and the Numerical Solution of Direct and Inverse Acoustic Radiation and Scattering Problems -- A Quadratic
Inverse Problem: The Phase Retrieval -- VI Wave Propagation and Scattering Problems (Imaging and Numerical Methods) -- Numerical Investigation of the Probing of Sea-Bottoms Using Exact and Approximate Methods -- Quantitative
Reconstruction of Complex Permittivity Distributions by Means of Microwave Tomography -- Some Asymptotic Results on Coherent-State Matrix Elements -- Inverse Problems for Dispersive Biological Media -- Image Estimation from Scattered
Field Data (at 10 GHz) Using the Distorted Wave Born Approximation and Other Prior Knowledge -- Phase Equivalence Between Nonlocal and Local Potentials Using Inversion and Supersymmetry -- Inverse Scattering Theory for Phase-Conjugate
Reflection Coefficients: Application to Optical Switching -- An Inverse Problem in Propellant Combustion -- Inversion of Three-Quark Spectral Data -- Stability and Convergence in the ID Time-Dependent Problem -- Inverse Profiling for
an Inhomogeneous, Plane-Stratified Lossy Causal Medium -- VII Miscellaneous Problems -- Some Remarks on the Relationship Between Mathematics and Physics and on Inverse Problems -- Variational Averaging of Problems with Stochastic Data
-- Some High Energy Cross Sections from an Inverse Point of View -- Exact Shock Wave Solutions for an 8v? Discrete Boltzmann Model with Temperature -- Teaching Direct and Inverse Problems by Means of User Friendly Interfaces: A Status
Report -- Quantum Inverse Scattering Theory and Nucleon-Nucleon Potentials -- Generalized Backus-Gilbert Methods -- Inversion of Ionospheric Sounding Data from an HF Backscatter Radar -- Generalized Bargmann-Type Potentials -- Rigorous
Computer Solutions of Infinite-Dimensional Inverse Problems -- Seismic Waveform Inversion Using a Layer-Stripping Method -- Highly Dimensional, Highly Non-linear Inverse Problems in Geophysics -- Numerical Construction of Nonlinear
Wave Train Solutions of the Periodic Korteweg-de Vries Equation -- VIII Inverse Methods and Applications to Nonlinear Problems -- The Meld Factorization in Relation to Various Problems in Mathematical Physics -- Some Ideas on Nonlinear
Evolution Equations -- Painlevé Singular Manifold Equation and Integrability -- The Davey-Stewartson 1 Equation: A Class of Explicit Solutions Including the Special Case of the Dromions -- The “IST” as a Diagnostic Tool for Perturbed
Nonlinear Schrödinger Systems -- Gaps of One-Dimensional Periodic AKNS Systems -- Combinatorial Aspects of Some Classes of Linearizable and Bilinearizable NLPDEs -- An Integrable Model for Small Amplitude Nonlinear Coupled Waves
Produced During Laser-Plasma Interaction -- On the Spectral Theory of the Davey-Stewartson Equation -- Multidimensional Solitons in Terms of Fermions -- On the AMCP Functional Equation for the Solvable Chiral Potts Model --
Painlevé-Darboux Transformation in Nonlinear PDEs -- Solitons and Spectral Transform for the Kadomtsev-Petviashvili Equation -- Dromions, a New Manifestation in Nonlinear Phenomena -- The Phoenix Equation -- On the Dressing Method --
Index of Contributors -- Conference Program
ISBN:9783642752988
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Physics , Theoretical, Mathematical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1990-9781461234685:ONLINE Show nearby items on shelf
Title:Lectures on Numerical Mathematics
Author(s): Heinz Rutishauser
Date:1990
Size:1 online resource (546 p.)
Note:10.1007/978-1-4612-3468-5
Contents:1. An Outline of the Problems -- § 1.1. Reliability of programs -- § 1.2. The evolution of a program -- § 1.3. Difficulties -- Notes to Chapter 1 -- 2. Linear Equations and Inequalities -- § 2.1. The classical algorithm of Gauss -- §
2.2. The triangular decomposition -- § 2.3. Iterative refinement -- § 2.4. Pivoting strategies -- § 2.5. Questions of programming -- § 2.6. The exchange algorithm -- § 2.7. Questions of programming -- § 2.8. Linear inequalities
(optimization) -- Notes to Chapter 2 -- 3. Systems of Equations With Positive Definite Symmetric Coefficient Matrix -- § 3.1. Positive definite matrices -- § 3.2. Criteria for positive definiteness -- § 3.3. The Cholesky decomposition
-- § 3.4. Programming the Cholesky decomposition -- § 3.5. Solution of a linear system -- § 3.6. Influence of rounding errors -- § 3.7. Linear systems of equations as a minimum problem -- Notes to Chapter 3 -- 4. Nonlinear Equations --
§ 4.1. The basic idea of linearization -- § 4.2. Newton’s method -- § 4.3. The regula falsi -- § 4.4. Algebraic equations -- § 4.5. Root squaring (Dandelin-Graeffe) -- § 4.6. Application of Newton’s method to algebraic equations --
Notes to Chapter 4 -- 5. Least Squares Problems -- § 5.1. Nonlinear least squares problems -- § 5.2. Linear least squares problems and their classical solution -- § 5.3. Unconstrained least squares approximation through
orthogonalization -- § 5.4. Computational implementation of the orthogonalization -- § 5.5. Constrained least squares approximation through orthogonalization -- Notes to Chapter 5 -- 6. Interpolation -- § 6.1. The interpolation
polynomial -- § 6.2. The barycentric formula -- § 6.3. Divided differences -- § 6.4. Newton’s interpolation formula -- § 6.5. Specialization to equidistant xi -- § 6.6. The problematic nature of Newton interpolation -- § 6.7. Hermite
interpolation -- § 6.8. Spline interpolation -- § 6.9. Smoothing -- § 6.10.Approximate quadrature -- Notes to Chapter 6 -- 7. Approximation -- § 7.1. Critique of polynomial representation -- § 7.2. Definition and basic properties of
Chebyshev polynomials -- § 7.3. Expansion in T-polynomials -- § 7.4. Numerical computation of the T-coefficients -- § 7.5. The use of T-expansions -- § 7.6. Best approximation in the sense of Chebyshev (T-approximation) -- § 7.7. The
Remez algorithm -- Notes to Chapter 7 -- 8. Initial Value Problems for Ordinary Differential Equations -- §8.1. Statement of the problem -- § 8.2. The method of Euler -- § 8.3. The order of a method -- § 8.4. Methods of Runge-Kutta
type -- § 8.5. Error considerations for the Runge-Kutta method when applied to linear systems of differential equations -- § 8.6. The trapezoidal rule -- § 8.7. General difference formulae -- § 8.8. The stability problem -- § 8.9.
Special cases -- Notes to Chapter 8 -- 9. Boundary Value Problems For Ordinary Differential Equations -- § 9.1. The shooting method -- § 9.2. Linear boundary value problems -- § 9.3. The Floquet solutions of a periodic differential
equation -- § 9.4. Treatment of boundary value problems with difference methods -- § 9.5. The energy method for discretizing continuous problems -- Notes to Chapter 9 -- 10. Elliptic Partial Differential Equations, Relaxation Methods
-- §10.1. Discretization of the Dirichlet problem -- §10.2. The operator principle -- §10.3. The general principle of relaxation -- §10.4. The method of Gauss-Seidel, overtaxation -- §10.5. The method of conjugate gradients -- §10.6.
Application to a more complicated problem -- §10.7. Remarks on norms and the condition of a matrix -- Notes to Chapter 10 -- 11. Parabolic and Hyperbolic Partial Differential Equations -- §11.1. One-dimensional heat conduction problems
-- §11.2. Stability of the numerical solution -- §11.3. The one-dimensional wave equation -- §11.4. Remarks on two-dimensional heat conduction problems -- Notes to Chapter 11 -- 12. The Eigenvalue Problem For Symmetric Matrices --
§12.1. Introduction -- §12.2. Extremal properties of eigenvalues -- §12.3. The classical Jacobi method -- §12.4. Programming considerations -- §12.5. The cyclic Jacobi method -- §12.6. The LR transformation -- §12.7. The LR
transformation with shifts -- §12.8. The Householder transformation -- §12.9. Determination of the eigenvalues of a tridiagonal matrix -- Notes to Chapter 12 -- 13. The Eigenvalue Problem For Arbitrary Matrices -- §13.1. Susceptibility
to errors -- §13.2. Simple vector iteration -- Notes to Chapter 13 -- Appendix. An Axiomatic Theory of Numerical Computation with an Application to the Quotient-Difference Algorithm -- Editor’s Foreword -- Al. Introduction -- §A1.1.
The eigenvalues of a qd-row -- §A1.2. The progressive form of the qd-algorithm -- §A1.3. The generating function of a qd-row -- §A1.4. Positive qd-rows -- §A1.5. Speed of convergence of the qd-algorithm -- §A1.6. The qd-algorithm with
shifts -- §A1.7. Deflation after the determination of an eigenvaluec -- A2. Choice of Shifts -- §A2.1. Effect of the shift v on Z’ -- §A2.2. Seropositive qd-rows -- § A2.4. A formal algorithm for the determination of eigenvalues -- A3.
Finite Arithmetic -- §A3.1. The basic sets -- §A3.2. Properties of the arithmetic -- §A3.3. Monotonicity of the arithmetic -- §A3.4. Precision of the arithmetic -- §A3.5. Underflow and overflow control -- A4. Influence of Rounding
Errors -- §A4.1. Persistent properties of the qd-algorithm -- §A4.2. Coincidence -- §A4.3. The differential form of the progressive qd-algorithm -- §A4.4. The influence of rounding errors on convergence -- A5. Stationary Form of the
qd-Algorithm -- §A5.1. Development of the algorithm -- §A5.2. The differential form of the stationary qd-algorithm -- §A5.3. Properties of the stationary qd-algorithm -- §A5.4. Safe qd-steps -- Bibliography to the Appendix -- Author
Index
ISBN:9781461234685
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer mathematics , Numerical analysis , Mathematics , Numerical Analysis , Computational Mathematics and Numerical Analysis
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1988-9781461310259:ONLINE Show nearby items on shelf
Title:Advances in Biomedical Measurement
Author(s):
Date:1988
Size:1 online resource (499p p.)
Note:10.1007/978-1-4613-1025-9
Contents:1 Measurement and Instrumentation -- A Family of Microcomputer Electrocardiographs -- A Personal Computer-Based System for Cardiac Electric Field Investigation in the Clinic and in Research -- Technical Means for Clinical
Investigations of Brain Bioelectrical Processes -- Microcomputer-Based Objective Visual Field Diagnosis -- A Temperature Sensitive Microelectrode for Measurements in Soft Tissues at the Cellular Level -- Electrical Measurement of Fluid
Distribution in Human Legs and Arms and Its Clinical Application -- A New Method for Eliminating Micro-Bubbles in the Extra-Corporial Blood Circulation System -- Measurement of Leg Blood Volume Change by Impedance Plethysmography with
Special Reference to Micro-Gravity Simulation Testing -- A Method for Continuous Measurement of Muscle Fibre Conduction Velocity -- A System for Intracranial Pressure Processing and Inter-Pretation in Intensive Care -- Electromagnetic
Cardiography: Theory, Clinical and Technical Aspects -- Identification of Average Non-Linear Properties of a Typical Ultrasonic Real-Time Sector Scanner Under More Realistic Conditions -- An Experimental Approach to The Problem of
Possible Embryotoxicity Due to Biomedical Ultrasound -- Interaction of Blood with Biomedical Polymers — Some Basic Aspects -- Changes in Vascular Regulation After Implantation of a Total Artificial Heart -- Topographical Methods in
Electrocardiological Diagnostics -- Biomagnetic Measurements in Unshielded Environment -- Method for Determining Some Elements of Impedance Plethys-Mography (IPG) Signals to be Used in Automatic Analysis -- Neurostimulation and
Neuroprostheses -- 2 Signal and Image Processing -- Detection of Late Potentials of The Heart -- ECG Interpolation Using Taut Cubic Splines -- A Quantitative Estimation of Proximity Between ECG Waveforms -- R@-System — The Software
System for Real Biomedical Data Acquisition and Processing with Regard to Clinic and Research -- A First Experience with the Automatic Extraction of Compressed Information from the EEG in Clinical Practice -- Non-Linear Models of Time
Series and Applications to Analysis of EEG Signals -- Amplitude and Correlational Mapping of EEG — A Software System -- Foetal Monitoring: Autocorrelation of Ultrasound Foetal Signal in the Device AM-2 -- Analysis of Frequency
Properties of Images from Ultrasound Scanners -- Digital Processing of Biomedical Dynamical Images -- Computer Simulation of the Fourier Method of Image Reconstruction from Projections in Tomography -- A Mathematical Model for
CT-Reconstruction with Uncertain Data -- 3 Modelling and Simulation -- Development of Minimal Modelling of IVGTT: The Measurement of Glucose Production -- Modelling and Control Properties of the Basal Ganglia -- Identification Problems
of a Non-Linear RLC Lung Model During Artificial Ventilation -- Evaluation of Cardiorespiratory Functions During Heart Catheterisation Through Simulation Model Identification -- Computer Modelling of Atrioventricular Nodal Properties
-- Simulation of Biological Processes and of Health Care Systems: Methodological Problems -- Model of Electromagnetic Field Distribution in the Human Brain During Electric Stimulation -- 4 Decision Support -- Intelligent
Instrumentation in Critical Care Medicine -- ICAR - Intensive Care Expert System -- An Expert System for the Diagnosis and Treatment of Ischaemic Heart Disease: Cardexp -- Search for the Most Discriminative Features of Coronary Heart
Disease Using a Branch and Bound Method -- Application of Expert Systems and Simulation Processing in the Physiology of Exercise -- A Program System for Computer-Aided Drug Dosage -- Graphsearch A* Algorithm in Insulin Therapy -- An
Expert System for Therapy Management of Type I Diabetic — Diabetex -- Projection of the Prevalence of Type 1 and Type 2 Diabetes -- Computer-Aided Consultation in Gynaecological Health Care Based Upon Medical Expert Knowledge --
Sequential Methods in Medical Decision Making -- Application of Fuzzy Sets in Rheumatology -- Experience from Running the Clinical Information System CIS 1.T -- DPS — A Diagnostic Preventive System -- Transformation of Data to Findings
-- Conceptual Modelling in Medical Database Design -- Application of the FEL-Expert Sysem in the Diagnosis of Genetic Diseases -- Methods for the Evaluation of Expert Systems -- Contributors
ISBN:9781461310259
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Physics , Physics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1986-9789400948020:ONLINE Show nearby items on shelf
Title:New Foundations for Classical Mechanics
Author(s): David Hestenes
Date:1986
Size:1 online resource (644 p.)
Note:10.1007/978-94-009-4802-0
Contents:1: Origins of Geometric Algebra -- 1–1. Geometry as Physics -- 1–2. Number and Magnitude -- 1–3. Directed Numbers -- 1–4. The Inner Product -- 1–5. The Outer Product -- 1–6. Synthesis and Simplification -- 1–7. Axioms for Geometric
Algebra -- 2: Developments in Geometric Algebra -- 2–1. Basic Identities and Definitions -- 2–2. The Algebra of a Euclidean Plane -- 2–3. The Algebra of Euclidean 3-Space -- 2–4. Directions, Projections and Angles -- 2–5. The
Exponential Function -- 2–6. Analytic Geometry -- 2–7. Functions of a Scalar Variable -- 2–8. Directional Derivatives and Line Integrals -- 3: Mechanics of a Single Particle -- 3–1. Newton’s Program -- 3–2. Constant Force -- 3–3.
Constant Force with Linear Drag -- 3–4. Constant Force with Quadratic Drag -- 3–5. Fluid Resistance -- 3–6. Constant Magnetic Field -- 3–7. Uniform Electric and Magnetic Fields -- 3–8. Linear Binding Force -- 3–9. Forced Oscillations
-- 3–10. Conservative Forces and Constraints -- 4: Central Forces and Two-Particle Systems -- 4–1. Angular Momentum -- 4–2. Dynamics from Kinematics -- 4–3. The Kepler Problem -- 4–4. The Orbit in Time -- 4–5. Conservative Central
Forces -- 4–6. Two-particle Systems -- 4–7. Elastic Collisions -- 4–8. Scattering Cross Sections -- 5: Operators and Transformations -- 5–1. Linear Operators and Matrices -- 5–2. Symmetric and Skewsymmetric Operators -- 5–3. The
Arithmetic of Reflections and Rotations -- 5–4. Transformation Groups -- 5–5. Rigid Motions and Frames of Reference -- 5–6. Motion in Rotating Systems -- 6: Many-Particle Systems -- 6–1. General Properties of Many-Particle Systems --
6–2. The Method of Lagrange -- 6–3. Coupled Oscillations and Waves -- 6–4. Theory of Small Oscillations -- 6–5. The Newtonian Many Body Problem -- 7: Rigid Body Mechanics -- 7–1. Rigid Body Modeling -- 7–2. Rigid Body Structure -- 7–3.
The Symmetrical Top -- 7–4. Integrable Cases of Rotational Motion -- 7–5. Rolling Motion -- 7–6. Impulsive Motion -- 8: Celestial Mechanics -- 8–1. Gravitational Forces, Fields and Torques -- 8–2. Perturbations of Kepler Motion -- 8–3.
Perturbations in the Solar System -- 8–4. Spinor Mechanics and Perturbation Theory -- 9: Foundations of Mechanics -- 9–1. Models and Theories -- 9–2. The Zeroth Law of Physics -- 9–3. Generic Laws and Principles of Particle Mechanics
-- 9–4. Modeling Processes -- Appendixes -- A Spherical Trigonometry -- B Elliptic Functions -- C Units, Constants and Data -- Hints and Solutions for Selected Exercises -- References
ISBN:9789400948020
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Fundamental Theories of Physics, A New International Book Series on The Fundamental Theories of Physics: Their Clarification, Development and Application : 15
Keywords: Physics , Applied mathematics , Engineering mathematics , Mechanics , Observations, Astronomical , Astronomy , Physics , Mechanics , Applications of Mathematics , Astronomy, Observations and Techniques
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1985-9783642706592:ONLINE Show nearby items on shelf
Title:Optimization and Design of Geodetic Networks
Author(s):
Date:1985
Size:1 online resource (606 p.)
Note:10.1007/978-3-642-70659-2
Contents:A Review of Network Designs: Criteria, Risk Functions, Design Ordering -- 1. Classification -- 2. Objective Functions -- 3. Solution Methods -- References -- B. Zero Order Design: Generalized Inverses, Adjustment, the Datum Problem
and S-Transformations -- 0.1 Introduction -- 0.2 Notations and Preliminaries -- 1. Generalized Inverses, a Geometric Approach -- 1.1 Characterization of a Set of Linear Equations -- 1.2 A Unique Characterization of an Arbitrary
Generalized Inverse -- 1.3 Right — and Left Inverses -- 1.4 An Arbitrary System of Linear Equations and Arbitrary Generalized Inverses -- 1.5 Transformation Properties and Some Special Types of Generalized Inverses -- 1.6 Summary -- 2.
On S-Transformations -- 2.1 Introduction -- 2.2 Coordinates and Datum Definitions -- 2.3 S-Transformations -- 2.4 The Relation with Generalized Inverses -- References -- C. First Order Design: Optimization of the Configuration of a
Network by Introducing Small Position Changes -- 1. Introduction -- 2. Gaußt-Markof Models Not of Full Rank -- 3. Projected Parameters -- 4. Datum Transformations -- 5. Choice of the Datum for a Free Network -- 6. Choice of a Criterion
Matrix for a Free Network -- 7. First Order Design Problem by Introducing Small Position Changes -- 8. Criterion Matrix for the Optimization -- 9. Optimization Problem -- 10. Quadratic Programming Problem -- 11. Linear Complementary
Problem -- 12. Solution of the Linear Complementary Problem -- References -- D. Second Order Design -- 0. An Example -- 1. Three SOD-Approaches -- 1.1 Direct Approximation of the Criterion Matrix, Approach i) -- 1.2 Iterative
Approximation of the Criterion Matrix, Approach ii) -- 1.3 Direct Approximation of the Inverse Criterion Matrix, Approach iii) -- 1.4 Diagonal Design -- 1.5 Approximation Quality -- 1.6 Modification of Approach iii) -- 2. Solution
Methods -- 2.1 Least-Squares Solution -- 2.2 Linear Programming -- 2.3 Nonlinear Programming -- 3. Mean Least-Squares Approximation, Comparison of the Three Approaches -- 4. Directions in the SOD-Problem -- 4.1 Elimination and Group
Weights -- 4.2 Elimination and Individual Weights -- 4.3 Correlated Angles -- 4.4 Extracted Khatri-Rao-Product and Individual Weights -- 4.5 Comparison -- 4.6 Three-Step-Strategy -- 5. Defect Analysis of the Final Equation -- 5.1
Defect Analysis for Distances -- 5.2 Free Distance Networks -- 5.3 Defect Analysis for Directions -- 5.4 Free Direction Networks -- 6. Direct Creation of the Final Equation -- 6.1 Individual Weights -- 6.1.1 Distances -- 6.1.2
Directions -- 6.1.3 Mixed Network -- 6.2 Group Weights -- 6.3 Common Weights for Sets of Directions -- 7. Examples -- 7.1 Example 1 -- 7.2 Example -- References -- E. Third Order Design -- 1. THOD as Instrument in FOD and SOD -- 2.
Mathematical Model for Network Densification -- 3. THOD with Criterion Matrices -- References -- F. Numerical Methods in Network Design -- 1. Introduction -- 2. Optimal Design Problems -- 2.1 Precision Criteria -- 3. Network Design
Strategies -- 3.1 Computer Simulation -- 3.2 Analytical Methods -- 3.2.1 Generalized Matrix Algebra -- 3.2.2 Linear Programming -- 3.2.3 Non-Linear Programming -- 4. Conclusions -- Appendix A: Linear Programming -- Appendix B:
Generalized Matrix Algebra -- Appendix C: Least Squares Techniques -- References -- G. Some Additional Information on the Capacity of the Linear Complementarity Algorithm -- 1. Introduction -- 2. Inequality Constrained Least-Squares
Approximation -- 3. The Linear Complementarity Algorithm -- 4. Examples -- References -- H. Quick Computation of Geodetic Networks Using Special Properties of the Eigenvalues -- I. Introduction -- 2. Iterative Procedures -- 3.
Properties of the Conjugate Gradient Method -- 4. Acceleration of the Convergence by an Approximation with Finite Elements -- 5. Survey of Formulae -- 5.1 Conjugate Gradient Method -- 5.2 Approximation with Finite Elements --
References -- I. Estimability Analyses of the Free Networks of Differential Range Observations to GPS Satellites -- 1. Introduction -- 2. Types of Rank Deficiencies -- 3. Rank Deficiencies of Free Networks Based on Differential Range
GPS Observations -- 3.1 Determination of Station and Satellite Coordinates -- 3.2 Determinations of Station, Satellite and Non-Geometric Parameters -- 4. Estimability Analysis -- 4.1 Patterns of Observations for Moving Stations -- 4.2
General Criteria of Estimability for Subnetwork Design -- 5. Numerical Adjustment -- 6. A-Priori Information in GPS Satellite Networks -- 7. Effect of A-Priori Constraints on the Adjustment Results -- 8. Summary and Conclusions --
References -- J. Optimization Problems in Geodetic Networks with Signals -- 1. Introduction -- 2. Data Analysis and Signals -- 3. Geodetic Networks with Signals -- 4. Different Approaches for the Adjustment of Observations Depending on
Signals -- 4.1 The Deterministic Approach -- 4.2 The Model Function Approach -- 4.3 The Stochastic Approach -- 4.4 Hybrid Approaches -- 5. Zero Order Design with Signals -- 5.1 General Remarks -- 5.2 Three-dimensional Networks -- 6.
Deformable Networks -- 7. Estimability Problems -- 8. Other Optimization Problems -- 8.1 General Remarks -- 8.2 First Order Design -- 8.3 Second Order Design -- 8.4 Third Order Design -- Appendix: Observation Equations of
Three-dimensional Networks -- References -- K. Fourier Analysis of Geodetic Networks -- 0. Introduction -- I. Spectral Methods in Geodesy -- 1.1 Fourier Techniques in Interpolation Methods -- 1.1.1 Step Function “Interpolation” --
1.1.2 Piecewiese Linear Interpolation -- 1.1.3 Quadratic Spline Interpolation -- 1.1.4 Cubic Spline Interpolation -- 1.1.5 Higher and Highest Order Spline Interpolation -- 1.2 Fourier Techniques in Physical Geodesy -- 2. Distributions
and Fourier Transforms -- 3. Leveling Lines, Leveling Networks -- 4. Traverse, Trilateration Networks -- References -- L. Continuous Networks I -- 0. Introduction -- 1. Continuous Networks of First Derivative Type -- 1.1 Networks on a
Line -- 1.1.1 The Fixed Network -- 1.1.2 The Free Network -- 1.2 Networks on a Circle -- 1.3 Variance — Covariance Function of Estimable Quantities -- 1.4 Higher Dimensional Networks -- 2. Continuous Networks of Second Derivative Type
-- 3. Discrete versus Continuous Geodetic Networks -- References -- M. Continuous Networks II -- 0. Introduction -- 1. Elementary Examples: A Single Line Leveling -- 2. On the Conditions for a Continuous Approximation of Network with
some exceptions -- 3. A Planar Circular Leveling Network -- Appendix: A Numerical Comparison Between a Discrete Network and its Continuous Analogue -- References -- N. Criterion Matrices for Deforming Networks -- 0. Introduction -- 1.
Deformation Measures and Their Finite Element Approximation -- 2. The Datum Problems in Estimating Deformation Measures -- 3. Criterion Matrices for Deformation Measures -- 4. Datum Transformation of a Criterion Matrix and the
Comparison of Real Versus Ideal Dispersion Matrices by Factor Analysis -- 4.1 Datum Transformation of a Criterion Matrix -- 4.2 Canonical Comparison of an Ideal Versus a Real Variance- Covariance Matrix -- 4.2.1 The Eigenvalue Problem
for the Matrix A -- 4.2.2 The Eigenvalue Problem for the Matrix B -- 4.2.3 The Eigenvalue Problem of General Type -- 4.3 Observational Equations of a Deforming Network -- References -- O. A Criterion Matrix for Deforming Networks by
Multifactorial Analysis Techniques -- 1. Optimal Versus Improved Design -- 2. Essential Eigenvector Analysis -- 3. Procrustean Transformation -- References -- P. The Analysis of Time Series with Applications to Geodetic Control
Problems -- 0. Foreword -- 1. Notations and Preliminaries -- 1.1 The Object of our Analysis -- 1.2 Prerequisites on Stochastic Processes -- 1.3 Stationarity -- 1.4 The Estimation of the Autocovariance Function -- 1.5 The Estimation of
the Spectral Density -- 2. The Hilbert Space Setting -- 2.1 Basic Definitions -- 2.2 Establishing the Spectral Representation of the Time Series -- 2.3 The World Decomposition Theorem -- 2.4 Causality and Analytical Properties of the
Spectral Functions -- 2.5 The General “Linear” Prediction Problem -- 3. The Autoregressive - Moving Average Processes -- 3.1 Definition of ARMA (p,g) Models -- 3.2 The Covariances of ARMA Processes -- 3.3 The Spectral Densities of ARMA
Processes -- 3.4 The Yule-Walker Estimates and Forecasts -- 3.5 Examples -- 3.6 The Maximum Likelihood and “Least Squares” Estimates -- 3.7 Model Testing -- References -- Q. Quality Control in Geodetic Networks -- 0. Introduction -- 1.
Model Assumptions and Estimation -- 2. Hypothesis Testing -- 3. Reliability -- 4. Precision -- References -- R. Aspects of Network Design -- 0. Introduction -- 1. The Datum Problem for Criterion Matrices -- 2. The Fundamental Design
Problems -- 3. The Canonical Formulation of the Second Order Design Problem with Respect to an S-System -- 4. Review of Optimization Principles -- 5. The “Choice-of-Norm” Problem for Network Optimization -- 6. Transformation of the
Quadratic Program into a Linear Complementarity Problem -- 7. The Optimal Design within Mixed Linear Models -- 8. The Second Order Design and Third Order Design Problem within the Mixed Model -- 9. The Second Order Design Problem
within Mixed Models Admitting a Singular Covariance Matrix = ?ee=?2P+e -- Appendix 1: Criterion Matrices Reflecting Homogeneity and Isotropy -- Appendix 2: Computational Rules for Matrix Products -- Appendix 3: A Review of Reliability
-- References
ISBN:9783642706592
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Geophysics , Geographical information systems , Physics , Geophysics and Environmental Physics , Geophysics/Geodesy , Geographical Information Systems/Cartography
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve 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-1983-9789401161008:ONLINE Show nearby items on shelf
Title:An Introduction to Robot Technology
Author(s): Philippe Coiffet
Date:1983
Size:1 online resource (198 p.)
Note:10.1007/978-94-011-6100-8
Contents:1Robotics: an introduction -- Areas of application of robotics -- The new industrial revolution -- The aim of this book -- 2Robots and robots in use -- Origin of the word ‘robot’ -- Definition of the word ‘robot’ -- Characteristic
properties of a robot -- General structure of a robot -- The robot environment -- Task description -- Role of the computer -- Typical industrial robot -- Classification of robots -- Robot generations -- Existing robots and the robot
market -- 3Representation of a robot -- Functional representation -- Graphical representation -- Arms: structures in use -- Structure of end effectors -- 4Degrees of freedom of a robot -- Degrees of freedom of a rigid object -- Degrees
of freedom of a robot -- Degrees of freedom specific to a tool -- Degrees of freedom and mobility -- 5Basic principles of control -- Variables to be handled -- The main levels of control -- 6Control based on the geometrical model --
Geometrical model: a much Simplified robot model -- Geometrical or positional control -- 7Control based on the kinematic model -- Kinematic model: a simplified robot model -- Variational control -- Characteristics of kinematic control
-- Models and dynamic control -- 8Actuator servocontrol -- Principles of servocontrol -- Mathematical study of a servo-system -- Specific practical problems involved in the use of a robot servo-system -- 9Robot actuators -- Pneumatic
actuators -- Hydraulic actuators -- Servocontrolled hydraulic systems -- Electrical actuators -- Servocontrolled electrical motors -- Transmission systems -- Conclusions -- 10Internal sensors -- Movement or position sensors -- Speed
sensors -- Stress sensors -- Acceleration sensors -- 11External sensors -- Applications of external sensors -- Tactile sensors -- Stress sensors -- Proximity sensors -- Visual sensors -- 12Computer control -- Analog-digital,
digital-analog converters -- Other types of converter used in robotics -- The program -- Conclusions -- 13Robot training and trajectory generation -- Methods of recording trajectories -- Manual control used in training -- Trajectory
generation -- Trajectories in the task space and in the articulated variable space -- Control languages -- Conclusions -- References -- 14Robot performance and standards -- What is robot performance? -- Task performance -- Human
performance in robot control -- Economic performance -- Performance standards -- 15Robots in use -- Examples of uses -- End effector components -- Conclusions -- Use of matrix calculations -- Handling real term matrices: a summary --
Components of a vector in an orthogonal set of coordinates -- Transformation of coordinate set -- Specific examples useful for modelling and control of robots -- Inverse transformation -- Definitions and equations -- Working principles
-- Motor with induction control -- Motor with armature control -- Problems associated with dynamic control -- Dynamic control -- Effects of gravitational force
ISBN:9789401161008
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Physics , Physics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1983-9789400970199:ONLINE Show nearby items on shelf
Title:Computer Program Synthesis Methodologies Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981
Author(s):
Date:1983
Size:1 online resource (374 p.)
Note:10.1007/978-94-009-7019-9
Contents:Program Construction by Transformations: A Family Tree of Sorting Programs -- Issues in the Methodical Design of Concurrent Programs -- An Analysis of Choice in Program Design -- The Design of Very High Level Languages --
Implementation Considerations in Very High Level Languages -- A Study of Prolog -- Program Synthesis from Examples of Behavior -- Deductive Synthesis of the Unification Algorithm -- The Synthesis of Implementations for Abstract Data
Types, A Program Transformation Tactic -- Natural Language Programming -- Author Index
ISBN:9789400970199
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 95
Keywords: Mathematics , Mathematics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1980-9781468410488:ONLINE Show nearby items on shelf
Title:Megagauss Physics and Technology
Author(s):
Date:1980
Size:1 online resource (684 p.)
Note:10.1007/978-1-4684-1048-8
Contents:Experimental Techniques in Ultrahigh Magnetic Field Generation -- Pulsed Magnetic Field Generators and Their Practical Applications -- Production and Measurements of Megagauss Magnetic Fields in Single-Turn Coils -- Measurement of
Pulsed Magnetic Fields Produced by Flux Compression, in Imploding Liners -- TOFS-A Timing Optical Fiber System -- Test Bench for Operation with Great Explosive Charges Under Laboratory Conditions -- Conductors and Insulators at High
Energy Densities and Speeds -- High-Energy Electric Pulse Generation by Cumulative Explosion -- Explosive Plasma Source Experiment -- Electrophysical Properties of Detonation Products of Condensed Explosives -- Xenon Shock Waves Driven
by High Magnetic Fields -- Extinguishing of the Electric Arc Compressed by Shock Waves -- Design and Analysis of Isentropic Compression Experiments -- Effects of Metallurgical Microstructure of Armatures on Compressed Magnetic Field
Generators -- Shock-Induced Electrical Switching in Polymeric Films -- Generation of Ultrahigh Magnetic Fields by Small-Scale Single-Shot Experiments -- Modeling of Magnetodynamic Systems -- Small Helical Flux Compression Amplifiers --
Energy Capabilities and Magnetic Flux Losses in “Bellows”-Type Explosive Generators -- COMAG-III: A 2-D MHD Code for Helical CMF Generators -- Numerical Studies of Helical CMF Generators -- MHD Phenomena at High Magnetic Reynolds
Number -- Plasma Crowbars in Cylindrical Flux Compression Experiments -- Magnetic Flux Compression by Expanding Plasma Armatures -- An Equivalent Circuit Model for a Solenoidal Compressed Magnetic Field Generator -- A Finite-Element
Model of Compressed Magnetic Field Generators -- Advanced Pulsed Power Topics -- Pulse Transformer Operation in Megagauss Fields -- Magnetic Propulsion for a Hypervelocity Launcher -- Magnetic Propulsion Railguns: Their Design and
Capabilities -- Shiva X-Ray Source Experiments -- Numerical Simulation of the Effects of an Injected BZ Field on an Imploding Hollow Plasma Liner -- Inductively Driven Imploding Plasma System for X-Ray Generation -- A Very Fast
Electromagnetically Operated Circuit Breaker -- Fast Opening Switches Carrying Multimegampere Currents -- Imploding Liner Systems for Fusion -- Review of the NRL Liner Implosion Program -- On Efficiency of Two-Step Energy
Transformation in a System with Inductive Storage for MCG Magnetic Field Production -- Results from the Los Alamos Fast Liner Experiment -- Liner Thermonuclear Systems with Superhigh Magnetic Field and ? > 1 -- Adiabatic Compression of
3-D Plasma Magnetic Field Configuration -- Numerical Simulation of Dynamics of Quasispherical Metallic Liner -- A Conceptual Design for an Imploding-Liner Fusion Reactor -- Stabilization Concepts of Imploding Liquid Metal Liner --
Modeling of LINUS-Type Stabilized Liner Implosions -- Megagauss Field Generation -- Megagauss Fields Produced with Small Explosive Charges -- Investigation of Capabilities of Magneto-Cumulative Megagauss Magnetic Field Generation --
Production of Megagauss Fields by Compression of Magnetic Flux by a Metallic Liner -- Megagauss Magnetic Field Production in Small Volumes -- On a Novel Scheme for the Generation of Megagauss Fields -- Superhigh Magnetic Field
Generation by a Cumulating Liner and Magnetopressed Discharge -- Experimental and Computational Study of Axial Magnetic Field Compression by Cylindrical Plasma Liners -- Applications of Ultrahigh Magnetic Field Techniques -- Abstract
of Report of the Panel on High Magnetic Field Research and Facilities -- Design, Performance and Use of a Near Megagauss Pulsed Machine -- Experimental Research on Explosive-Driven Magnetic Generator Performance with
Resistive-Inductive Load -- Megagauss Fields and Current Pattern in Focussed Discharges -- Application of Strong Magnetic Fields for the Acceleration of Charged Particles -- Magnetocumulative Generator Systems -- Magnetic Cumulation
Generator Parameters and Means to Improve Them -- A Multiwire Helical Magnetic Cumulation Generator -- Formation and Transmission of Magnetic Cumulation Generators Electromagnetic Energy Pulses -- Transformer Energy Output Magnetic
Cumulation Generators -- Reproducible Generation of Multimegagauss Magnetic Fields -- High Inductance Explosive Magnetic Generators with High Energy Multiplication -- Generation of the Magnetic Flux by Multicascade Capture -- Ultimate
Capacities of Transformer Method of Energy Transfer from Explosive Magnetic Generator to Inductive Load -- Study of Basic Regularities of Formation of Multi-MA-Current Pulses with Short Risetime by EMG Circuit Interruption -- Addresses
of Author Organizations -- Author Index
ISBN:9781468410488
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Physics , Theoretical, Mathematical and Computational Physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1980-9781461394440:ONLINE Show nearby items on shelf
Title:The Tragicomical History of Thermodynamics, 1822–1854
Author(s): Clifford Ambrose Truesdell
Date:1980
Size:1 online resource (372 p.)
Note:10.1007/978-1-4613-9444-0
Contents:1. The Producer’s Apology to the Spectators -- Notation -- Symbols Frequently Used -- 2. The Common Inheritance -- 2A The Thermal Equation of State -- 2B The Theory of Sound in Aeriform Fluids -- 2C The Doctrine of Latent and Specific
Heats -- 3. Prologue: Laplace, Biot, and Poisson -- 3A Biot, and Poisson’s First Attempt -- 3B Critique of Biot’s Theory -- 3C Laplace’s Theory of Sound and Heat -- 3D Poisson’s Second Treatment -- 3E Meikle’s Claim -- 3F Critique of
Laplace’s and Poisson’s Theories. Correction of Meikle’s Claim -- 4. Act I. Workless Dissipation: Fourier -- 4A Fourier’s Predecessor: Biot -- 4B Fourier’s Program -- 4C Fourier’s Premisses Regarding Specific Heat and Temperature -- 4D
Critique of Fourier’s Premisses -- 4E Fourier’s Concept of the Flux of Heat, and his General Differential Equation and Boundary Condition -- 4F Critique of Fourier’s Concepts and Methods -- 4G Fourier’s Theory of the Conduction of Heat
in Fluids -- 4H Critique of Fourier’s Theory of the Conduction of Heat in Fluids -- 4I Fourier’s Bequest -- 5. Act II. Dissipationless Work: Carnot -- 5A The General Quality of Carnot’s Treatise -- 5B Standard Concepts and Assumptions
Used by Carnot -- 5C The Carnot Cycle -- 5D Carnot’s Claim that Carnot Cycles Attain Maximum Efficiency -- 5E Formal Statement and Critique of Carnot’s Claim of Maximum Efficiency -- 5F Carnot’s Claim that the Efficiency of Carnot
Cycles is Universal -- 5G Formal Statement and Elucidation of Carnot’s Claim of Universal Efficiency -- 5H Critique of Carnot’s Argument to Support Universal Efficiency -- 5I Carnot’s General and Special Axioms -- 5J Critique of
Carnot’s General and Special Axioms. Scholia I-III. “Carnot’s function” -- 5K Carnot’s Treatment of his Cycle -- 5L Critique of Carnot’s Treatment of his Cycle. Scholion IV -- 5M Critique: Interconvertibility of Heat and Work as
Implied by Carnot’s Theory. Proof that Carnot’s Cycles are Indeed the Most Efficient -- 5N Critique: Dimensional Invariance of Carnot’s Theory -- 5O Carnot’s Numerical Evaluation of the Motive Power of Heat -- 5P Critique of Carnot’s
Numerical Evaluation of the Motive Power of Heat -- 5Q Carnot’s Theory of Specific Heats -- 5R Critique of Carnot’s Theory of Specific Heats -- 5S Carnot’s Attempts to Determine his Function F -- 5T Critique: Carnot’s Dilemma -- 5U
Carnot’s Bequest -- 6. Distracting Interlude: Clapeyron and Duhamel -- 6A Confusion by Awkward Variables: Clapeyron -- 6B Confusion by Linearizing Everything: Duhamel -- 7. Act III. Equivalence, Conservation, Interconvertibility: When
and of What? -- 7A Critique: What Did Janus See in 1842? -- 7B Mayer’s Assertion -- 7C Preliminary Critique of Mayer’s Assertion -- 7D Holtzmann’s Assertion -- 7E Preliminary Critique of Holtzmann’s Assertion -- 7F Helmholtz’s Weakest
Work -- 7G Joule’s Summary of his Early Experiments -- 7H The Bittersweet Indian Summer of the Caloric Theory: Kelvin’s First Paper -- 7I General Critique: Interconvertibility in 1849 -- 8. Act IV. Internal Energy: The First Paper of
Clausius. Entropy: The First Paper of Rankine -- 8A Clausius’ Physical Concepts and Assumptions -- 8B Logical Content of Clausius’ First Paper -- 8C Critique: The Achievement of Clausius’ First Paper -- 8D Critique of Clausius’
Reasoning -- 8E Clausius’ Comparisons with Experimental Data -- 8F Critique: Clausius’ Bequest -- 8G Rankine’s First Paper -- 8H Critique of Rankine’s First Paper -- 9. Distracting Interlude: Explosion of Print -- 9A Rankine’s Second
Paper -- 9B A Late Re-entrance, Stumbling: Kelvin’s Second Paper -- 9C A Voice Crying in the Wilderness: Reech’s Return to First Principles -- 9D Kelvin’s Analysis of the Joule-Thomson Effect and Subsidiary Details -- Appendix by C.-S.
Man: The Joule-Thomson Experiment -- 9E Rankine’s Further Effusions -- 9F Kelvin’s Analysis of the “Anomalous” Behavior of Water -- 9G General Critique: The Disastrous Effects of Experiment upon the Development of Thermodynamics,
1812–1853 -- 10. Schismatic Act V. Antiplot in a Dark and Empty Theatre: Reech’s Discovery of a Too General Theory, and his Failure to Reduce It -- 10A Reech Discovers the Pro-entropy -- 10B Reech Generalizes the Internal Energy -- 10C
Reech Introduces and Analyses the Thermodynamic Potentials -- 10D Reech’s General Theory of Specific Heats -- 10E Critique: the Fatal Failure of Reech’s Analysis -- Appendix: The Later Work of Reech -- Postscript on maximum efficiency
-- 11. Orthodox Act V. Clausius’ Second Paper: Absolute Temperatures, Irreversibility, and Oracling -- 11A Kelvin’s Remarks on Dissipation -- 11B Kelvin’s Absolute Temperatures -- 11C Clausius’Two “Laws” of Thermodynamics -- 11D
Clausius’ Equivalence-Value of a Transformation -- 11E Clausius’ Application to the Doctrine of Latent and Specific Heats -- 11F Clausius’Remarks on Irreversible Processes -- 11G Clausius’ Determination of His Universal Function T --
11H Critique: Empirical and Absolute Temperatures -- 11I Critique: Clausius’”Laws” of Thermodynamics -- 11J Critique: Irreversible Processes -- Epilogue: Götterdämmerung -- Sources -- Index of Persons Mentioned -- Index of Matters
Treated
ISBN:9781461394440
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Studies in the History of Mathematics and Physical Sciences: 4
Keywords: Physics , Mathematics , Thermodynamics , Physics , Thermodynamics , Theoretical, Mathematical and Computational Physics , Mathematics, general
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1977-9789401012522:ONLINE Show nearby items on shelf
Title:Thermodynamics in Geology Proceedings of the NATO Advanced Study Institute held in Oxford, England, September 17–27, 1976
Author(s):
Date:1977
Size:1 online resource (410 p.)
Note:10.1007/978-94-010-1252-2
Contents:1. Geological Applications of High Temperature Reaction Calorimetry -- 1.1 Introduction -- 1.2 Calorimetric solvents and oxide melts -- 1.3 Applications of high temperature calorimetry to mineral thermodynamics -- 1.4 Calorimetry of
geothermal fluids and water containing systems at pressures up to 2 kbar -- Study Problems -- 2. Experimental Determination of the Mixing Properties of Solid Solutions with Particular Reference to Garnet and Clinopyroxene Solutions --
2.1 Introduction -- 2.2 NaA1Si308-KA1Si308 feldspar solutions -- 2.3 MgSi0.502-FeSi0.502 olivine solutions -- 2.4 Aluminosilicate garnet solid solutions -- 2.5 Clinopyroxenes containing CaA12Si06 component -- 2.6 Conclusions -- 3.
Thermochemistry of garnets and aluminous pyroxenes in the CMAS system -- 3.1 Importance of the CMAS system -- 3.2 Experimental difficulties -- 3.3 The role of thermochemistry -- 3.4 CaMgSi206-CaA12Si06 clinopyroxene -- 3.5
Mg3A12Si3012-Ca3A12Si3012 garnet -- 3.6 Application to the garnet peridotite problem -- Study Problems -- Solutions to Problems -- 4. Activity-Composition Relationships for Crystalline Solutions -- 4.1 Introduction -- 4.2 Mole
fractions -- 4.3 Activity coefficients -- 4.4 Conclusions -- 5. Chemical Mixing in Multicomponent Solutions: An Introduction to the Use of Margules and Other Thermodynamic Excess Functions to Represent Non-Ideal Behaviour -- 5.1
Introduction -- 5.2 The solution properties of a binary mixture -- 5.3 Ternary and higher order chemical mixtures -- 5.4 Representation of the excess Gibbs free energy of mixing -- 5.5 The Margules equations -- 5.6 An annotated list of
geological publications utilizing the Margules equations or their equivalents -- Study Problems -- 6. Determination of Atomic Occupancies -- 6.1 Introduction -- 6.2 The diffraction method -- 6.3 Mössbauer spectroscopy -- 6.4 Infra-red
methods -- 6.5 The meaning of occupancy -- Study Problem -- Solution to Problem -- 7. The Accuracy and Precision Of Calculated Mineral Dehydration Equilibria -- 7.1 Introduction -- 7.2 Definitions -- 7.3 Accuracy of calculated
equilibria -- 7.4 Precision of calculated equilibria -- 7.5 Thermochemical data from P-T brackets -- 7.6 Discussion and conclusions -- Study Problems -- 8. Thermodynamics of Dehydration Equilibria -- 8.1 Introduction -- 8.2 Theoretical
background -- 8.3 Retrieval of thermodynamic data -- 8.4 Calculation of phase diagrams -- 8.5 Dehydration equilibria involving crystalline solutions -- Study Problems -- Solutions to Problems -- 9. Fugacity and Activity of Molecular
Species in Supercritical Fluids -- 9.1 Introduction -- 9.2 Scope and definitions -- 9.3 Review of available experimental data -- 9.4 Molecular dynamics -- 9.5 The Redlich-Kwong equation of state -- 9.6 Conclusions -- Study Problems --
10. Compositions and Thermodynamics of Metamorphic Solutions -- 10.1 Introduction -- 10.2 O-H gases -- 10.3 C-O gases -- 10.4 C-O-H gases -- 10.5 C-O-H-S gases -- 10.6 H-O-F and H-O-N gases -- 10.7 Acids and bases -- 10.8 Measurement
of the activity of H20 -- 10.9 Summary and conclusions -- Study Problems -- 11. The Significance of Fluid Inclusions in Metamorphic Rocks -- 11.1 Introduction -- 11.2 Observation by conventional techniques (petrographic microscopy) --
11.3 Microthermometry: Tf and Th -- 11.4 Other analytical methods -- 11.5 Conclusion -- Study Problems -- Solutions to Problems -- 12. The Stability of Phlogopite in the Presence of Quartz and Diopside -- 12.1 Introduction -- 12.2
Experimental methods -- 12.3 Stability of phlogopite and quartz -- 12.4 Stability of phlogopite quartz and diopside -- 12.5 Thermodynamic considerations -- 12.6 Geological applications -- Study Problems -- 13. Opaque Minerals as
Sensitive Oxygen Barometers and Geothermometers in Lunar Basalts -- 13.1 Introduction -- 13.2 Spinel solid solution series -- 13.3 Armalcolite series -- 13.4 Subsolidus reduction reactions -- 14. Thermodynamic Properties of Molten Salt
Solutions -- 14.1. Introduction -- 14.2 Systems of the type AX-BX -- 14.3 Systems of the type AX-AY -- 14.4 Charge unsymmetrical mixtures which contain a common anion -- 14.5 Mixtures containing two cations and two anions -- 15.
Thermodynamic Properties of Silicate Melts -- 15.1 Introduction -- 15.2 Nature of silicate melts -- 15.3 Acids and bases -- 15.4 Binary silicate melts -- 15.5 Application of mixing models -- 15.6 Standard states of oxide components --
15.7 Effects of melt structure on liquidus boundaries -- 16. The Activities of Components in Natural Silicate Melts -- 16.1 Introduction -- 16.2 Thermodynamic characterization of silicate melts -- 16.3 Estimation of pressures and
temperatures of equilibration -- 16.4 Example and discussion -- Appendix: Program for solving equations for P and T -- Study problem -- 17. The Thermodynamics of Trace Element Distribution -- 17.1 Introduction -- 17.2 Henry’s Law --
17.3 Formulation of distribution coefficients -- 17.4 Relationship between distribution coefficients and equilibrium constants -- 17.5 Geothermometry and geobarometry -- 17.6 Trace elements in gas-solid reactions -- 17.7 Concluding
Remarks -- 18. The Solubility of Calcite in Sea Water -- 18.1 Introduction -- 18.2 In situ saturometry -- 18.3 Laboratory kinetic measurements -- 18.4 Possible explanations for the differences between the Berner and Ingle et al.
solubility results -- 18.5 Conclusions -- 19. Nonequilibrium Thermodynamics in Metamorphism -- 19.1 Introduction -- 19.2 Fundamental relations -- 19.3 Models for diffusion-controlled, steady-state processes -- 19.4 The transformation
to practical reference frames -- 19.5 Application to the Vastervik segregations -- 19.6 Conclusion -- Study Problems -- Solutions to Problems
ISBN:9789401012522
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 30
Keywords: Earth sciences , Geochemistry , Earth Sciences , Geochemistry
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:QA76.73.P98V35::2009 Show nearby items on shelf
Title:Beginning Python Visualization : Crafting Visual Transformation Scripts
Author(s): Shai Vaingast
Date:2009
Publisher:Apress
ISBN:9781430218432
Series:The Expert's Voice in Open Source
Keywords: Python (Computer Program Language) , Object-Oriented Programming (Computer Science)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:QA76.7.K577::2018 Show nearby items on shelf
Title:Reconciling abstraction with high performance : a metaocaml approach
Author(s): Oleg Kiselyov
Date:2018
Publisher:Now Publishers
Size:107 p
Contents:Introduction -- First steps -- Filtering -- Linear algebra DSL: complex vector arithmetic and data layout -- Linear algebra DSL: matrix-vector opertions and modular optimizations -- From an interpreter to a compiter: SDL for image manipulation -- fu rther challenges -- Challenges.
ISBN:9781680834369
Keywords: Program transformation , Generative programming , Domain-specific programming languages
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: NEW

Return to the Fermilab Library catalog