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 PROGRAMMING LANGUAGES,COMPILERS,INTERPRETERS *END*INIT* use /tmp/qspiwww.webspi1/2727.486 QRY 131.225.70.96 . find keyword programming languages,compilers,interpreters ( in books using www Cover
Image
Call number:SPRINGER-2016-9783319283166:ONLINE Show nearby items on shelf
Title:An Introduction to Statistics with Python With Applications in the Life Sciences
Author(s): Thomas Haslwanter
Date:2016
Size:1 online resource (85 p.)
Note:10.1007/978-3-319-28316-6
Contents:Part I: Python and Statistics -- Why Statistics? -- Python -- Data Input -- Display of Statistical Data -- Part II: Distributions and Hypothesis Tests -- Background -- Distributions of One Variable -- Hypothesis Tests -- Tests of Means of Numerical Data -- Tests on Categorical Data -- Analysis of Survival Times -- Part III: Statistical Modelling -- Linear Regression Models -- Multivariate Data Analysis -- Tests on Discrete Data -- Bayesian Statistics -- Solutions -- Glossary -- Index
ISBN:9783319283166
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Statistics , Programming languages (Electronic computers) , Biostatistics , Computer mathematics , Statistics , Statistics and Computing/Statistics Programs , Statistics for Life Sciences, Medicine, Health Sciences , Biostatistics , Computational Science and Engineering , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781461302155:ONLINE Show nearby items on shelf
Title:Modeling Languages in Mathematical Optimization
Author(s):
Date:2004
Size:1 online resource (408 p.)
Note:10.1007/978-1-4613-0215-5
Contents:I Theoretical and Practical Concepts of Modeling Languages -- 1 Mathematical Optimization and the Role of Modeling Languages -- 2 Models and the History of Modeling -- 3 Mathematical Model Building -- 4 Theoretical Concepts and Design
of Modeling Languages -- 5 The Importance of Modeling Languages for Solving Real-World Problems -- II The Modeling Languages in Detail -- 6 The Modeling Language AIMMS -- 7 Design Principles and New Developments in the AMPL Modeling
Language -- 8 General Algebraic Modeling System (GAMS) -- 9 The LINGO Algebraic Modeling Language -- 10 The LPL Modeling Language -- 11 The MINOPT Modeling Language -- 12 Mosel: A Modular Environment for Modeling and Solving
Optimization Problems -- 13 The MPL Modeling System -- 14 The Optimization Systems MPSX and OSL -- 15 The NOP-2 Modeling Language -- 16 The OMNI Modeling System -- 17 The OPL Studio Modeling System -- 18 PCOMP: A Modeling Language for
Nonlinear Programs with Automatic Differentiation -- 19 The Tomlab Optimization Environment -- III The Future of Modeling Systems -- 20 The Future of Modeling Languages and Modeling Systems -- References
ISBN:9781461302155
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Optimization: 88
Keywords: Mathematics , Programming languages (Electronic computers) , Numerical analysis , Computer science , Mathematical models , Mathematical optimization , Mathematics , Mathematical Modeling and Industrial Mathematics , Optimization , Symbolic and Algebraic Manipulation , Numeric Computing , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781441985033:ONLINE Show nearby items on shelf
Title:The Mathematica GuideBook for Programming
Author(s): Michael Trott
Date:2004
Size:1 online resource (1028 p.)
Note:10.1007/978-1-4419-8503-3
ISBN:9781441985033
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computers , Application software , Algorithms , Mathematics , Mathematics, general , Theory of Computation , Computer Applications , Programming Languages, Compilers, Interpreters , 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-2004-9781402018985:ONLINE Show nearby items on shelf
Title:Galois Connections and Applications
Author(s):
Date:2004
Size:1 online resource (502 p.)
Note:10.1007/978-1-4020-1898-5
Contents:Adjunctions and Galois Connections: Origins, History and Development -- Categorical Galois Theory: Revision and Some Recent Developments -- The Polarity between Approximation and Distribution -- Galois Connections and Complete
Sublattices -- Galois Connections for Operations and Relations -- Galois Connections and Polynomial Completeness -- Q-Independence and Weak Automorphisms -- A Survey of Clones Closed Under Conjugation -- Galois Connections for Partial
Algebras -- Complexity of Terms and the Galois Connection Id-Mod -- Iterated Galois Connections in Arithmetic and Linguistics -- Deductive Systems and Galois Connections -- A Galois Correspondence for Digital Topology -- Galois
Connections in Category Theory, Topology and Logic -- Dyadic Mathematics — Abstractions from Logical Thought
ISBN:9781402018985
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 565
Keywords: Mathematics , Programming languages (Electronic computers) , Data structures (Computer science) , Artificial intelligence , Algebra , Mathematics , Algebra , Mathematics, general , Programming Languages, Compilers, Interpreters , Artificial Intelligence (incl. Robotics) , Data Structures
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-9789401700917:ONLINE Show nearby items on shelf
Title:The Semantics and Proof Theory of the Logic of Bunched Implications
Author(s): David J Pym
Date:2002
Size:1 online resource (290 p.)
Note:10.1007/978-94-017-0091-7
Contents:I Propositional BI -- 1. Introduction to Part I -- 2. Natural Deduction for Propositional BI -- 3. Algebraic, Topological, Categorical -- 4. Kripke Semantics -- 5. Topological Kripke Semantics -- 6. Propositional BI as a Sequent
Calculus -- 7. Towards Classical Propositional BI -- 8. Bunched Logical Relations -- 9. The Sharing Interpretation, I -- II Predicate BI -- 10. Introduction to Part II -- 11. The Syntax of Predicate BI -- 12. Natural Deduction &
Sequent Calculus -- 13. Kripke Semantics for Predicate BI -- 14. Topological Kripke Semantics for Predicate BI -- 15. Resource Semantics, Type Theory & Fibred Categories -- 16. The Sharing Interpretation, II
ISBN:9789401700917
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 26
Keywords: Mathematics , Logic , Programming languages (Electronic computers) , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9780387215570:ONLINE Show nearby items on shelf
Title:Essential Maple 7 An Introduction for Scientific Programmers
Author(s): Robert M Corless
Date:2002
Size:1 online resource (282 p.)
Note:10.1007/b97270
Contents:Basics -- Useful One-Word Commands -- Programming in Maple
ISBN:9780387215570
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Information technology , Business , Programming languages (Electronic computers) , Computer software , Physics , Computational intelligence , Mathematics , Mathematical Software , Programming Languages, Compilers, Interpreters , Mathematical Methods in Physics , Computational Intelligence , Numerical and Computational Physics , IT in Business
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9789401597616:ONLINE Show nearby items on shelf
Title:New Essays in Free Logic In Honour of Karel Lambert
Author(s):
Date:2001
Size:1 online resource (255 p.)
Note:10.1007/978-94-015-9761-6
Contents:Free Logic: A Fifty-Year Past and an Open Future -- I / Names and Definite Descriptions -- Free Logic and Definite Descriptions -- Calculi of Names: Free and Modal -- II / Modalities -- Free Logic and Quantification in Syntactic Modal
Contexts -- Substitution, Quantifiers and Identity in Modal Logic -- Free Epistemic Logic -- III / Semantics and Programming -- Supervaluational Free Logic and the Logic of Information Growth -- “No Input, No Output” Logic -- Free
Logic in Program Specification and Verification -- IV / History -- Existence and Reference in Medieval Logic -- Can Meinongian Logic Be Free? -- V / Comments -- Comments -- Index of Persons
ISBN:9789401597616
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 23
Keywords: Philosophy , Logic , Programming languages (Electronic computers) , Semantics , Philosophy , Logic , Semantics , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2001-9783709162828:ONLINE Show nearby items on shelf
Title:Perspectives on Enclosure Methods
Author(s):
Date:2001
Size:1 online resource (345 p.)
Note:10.1007/978-3-7091-6282-8
Contents:Proving Conjectures by Use of Interval Arithmetic -- 1 Computer Assisted Proofs in Analysis -- 2 The Kepler Conjecture -- 3 The Double Bubble Conjecture -- 4 The Dirac-Schwinger Conjecture -- 5 ‘Chaos conjectures’ -- References --
Advanced Arithmetic for the Digital Computer Interval Arithmetic Revisited -- 1 Introduction and Historical Remarks -- 2 Interval Arithmetic, a Powerful Calculus to Deal with Inequalities -- 3 Interval Arithmetic as Executable Set
Operations -- 4 Enclosing the Range of Function Values -- 5 The Interval Newton Method -- 6 Extended Interval Arithmetic -- 7 The Extended Interval Newton Method -- 8 Differentiation Arithmetic, Enclosures of Derivatives -- 9 Interval
Arithmetic on the Computer -- 10 Hardware Support for Interval Arithmetic -- References -- Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers -- 1 Introduction -- 2 Iterative Solvers and Finite Precision -- 3
Krylov Subspace Methods -- 4 Improved Arithmetic -- 5 Verified Error Bounds -- 6 Computational Results -- References -- Elements of Scientific Computing -- 1 Hardware Requirements -- 2 Software Requirements -- 3 Modelling Requirements
-- 4 Conclusion -- References -- Biography -- The Mainstreaming of Interval Arithmetic -- 1 Introduction -- 2 Moore’s Law and Precision -- 3 Interval Physics -- 4 Summary -- References -- Bounds for Eigenvalues with the Use of Finite
Elements -- 1 Introduction -- 2 Setting for the Problem -- 3 Calculation of Bounds -- 4 Verified Computation -- 5 Application: the Membrane Problem -- 6 Numerical Examples -- References -- Algorithmic Differencing -- 1 Algorithmic
Representation of Functions -- 2 Transformation of Algorithms -- 3 Finite Precision Calculations -- 4 First Order Difference Operators -- 5 Differences of Inverse Functions -- 6 Higher Order Divided Differences -- References -- A
Comparison of Techniques for Evaluating Centered Forms -- 1 Introduction -- 2 Methods for Computing Slope Vectors -- 3 A Numerical Example -- 4 Summary and Recommendations -- References -- On the Limit of the Total Step Method in
Interval Analysis -- 1 Introduction -- 2 Notations -- 3 Results -- References -- How Fast can Moore’ Interval Integration Method Really be? -- 1 Introduction -- 2 Moore’s Algorithm -- 3 Estimation of the Integration Error -- 4
Conclusions -- References -- Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments -- 1 Introduction -- 2 Error Propagation Control and Reliable Numerical Algorithms in
MOBILE -- 3 Verified Calculation of the Solution of Discrete-Time Algebraic Riccati Equation -- 4 Accurate Distance Calculation Algorithms -- 5 Accurate Robot Reliability Estimation -- 6 Further Work -- 7 Acknowledgement -- References
-- On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds -- 1 Introduction or What is the Wrapping Effect? -- 2 Where does the Wrapping Effect appear? -- 3 How can we Reduce the Wrapping Effect? -- 4 Conclusion --
References -- A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations -- 1 Introduction -- 2 Preliminaries -- 3 How the Wrapping Effect Arises in Interval Methods for
IVPs for ODEs: A Traditional Explanation -- 4 The Wrapping Effect as a Source of Instability in Interval Methods for IVPs for ODEs -- 5 The Parallelepiped and Lohner’s QR-Factorization Methods -- 6 Why the Parallelepiped Method Often
Fails -- 7 When Does the Parallelepiped Method Work Well -- 8 How the QR Method Improves Stability -- 9 Conclusions -- A Lemmas -- References -- A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular
Elements -- 1 Introduction -- 2 Strategy -- 3 The Method to Calculate a Rigorous Solution -- 4 Checking the Condition -- 5 Some Computational Techniques for Efficient Enclosure Methods -- 6 Numerical Results -- References -- Nonsmooth
Global Optimization -- 1 Introduction -- 2 Preliminaries -- 3 A Pruning Technique for Global Optimizationx -- 4 Multidimensional Pruning Techniques for Global Optimization -- References
ISBN:9783709162828
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer simulation , Mathematical analysis , Analysis (Mathematics) , Algorithms , Numerical analysis , Calculus of variations , Mathematics , Numerical Analysis , Simulation and Modeling , Analysis , Programming Languages, Compilers, Interpreters , Calculus of Variations and Optimal Control 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-2000-9789401717137:ONLINE Show nearby items on shelf
Title:Goal-Directed Proof Theory
Author(s): Dov M Gabbay
Date:2000
Size:1 online resource (268 p.)
Note:10.1007/978-94-017-1713-7
Contents:1 Introduction -- 2 Intuitionistic and Classical Logics -- 3 Intermediate Logics -- 4 Modal Logics of Strict Implication -- 5 Substructural Logics -- 6 Conclusions and Further Work
ISBN:9789401717137
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 21
Keywords: Philosophy , Logic , Programming languages (Electronic computers) , Philosophy , Logic , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-2000-9780387227474:ONLINE Show nearby items on shelf
Title:Mixed-Effects Models in S and S-PLUS
Author(s): José C Pinheiro
Date:2000
Size:1 online resource (528 p.)
Note:10.1007/b98882
Contents:Linear Mixed-Effects Models -- Linear Mixed-Effects Models: Basic Concepts and Examples -- Theory and Computational Methods for Linear Mixed-Effects Models -- Describing the Structure of Grouped Data -- Fitting Linear Mixed-Effects
Models -- Extending the Basic Linear Mixed-Effects Model -- Nonlinear Mixed-Effects Models -- Nonlinear Mixed-effects Models: Basic Concepts and Motivating Examples -- Theory and Computational Methods for Nonlinear Mixed-Effects Models
-- Fitting Nonlinear Mixed-Effects Models
ISBN:9780387227474
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Programming languages (Electronic computers) , Database management , Statistics , Computer Science , Database Management , Programming Languages, Compilers, Interpreters , Statistics and Computing/Statistics Programs
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1999-9789401712477:ONLINE Show nearby items on shelf
Title:Developments in Reliable Computing
Author(s):
Date:1999
Size:1 online resource (404 p.)
Note:10.1007/978-94-017-1247-7
Contents:Rigorous Global Search: Industrial Applications -- Influences of Rounding Errors in Solving Large Sparse Linear Systems -- A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions -- Towards an Optimal Control of the
Wrapping Effect -- On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic -- A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature -- INTLAB —
INTerval LABoratory -- Verified Calculation of the Solution of Algebraic Riccati Equation -- Expression Concepts in Scientific Computing -- Performance Evaluation Technique STU and libavi Library -- Single-Number Interval I/O --
Interval Analysis for Embedded Systems -- Prediction by Extrapolation for Interval Tightening Methods -- The Contribution of T. Sunaga to Interval Analysis and Reliable Computing -- Surface-to-Surface Intersection with Complete and
Guaranteed Results -- An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ?2 -- Comparing Partial Consistencies -- Verified Computation of Fast Decreasing Polynomials -- An Accurate Distance-Calculation
Algorithm for Convex Polyhedra -- Verified Error Bounds for Linear Systems through the Lanczos Process -- A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes -- A Few
Results on Table-Based Methods -- An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation -- The Interval-Enhanced GNU Fortran Compiler --
Outer Estimation of Generalized Solution Sets to Interval Linear Systems -- A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic -- A Numerical Verification Method of Solutions for the Navier-Stokes
Equations -- Convex Sets of Full Rank Matrices -- Multiaspect Interval Types -- MATLAB-Based Analysis of Roundoff Noise -- SCAN-98 Collected Bibliography
ISBN:9789401712477
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Microprocessors , Programming languages (Electronic computers) , Computers , Numerical analysis , Computer mathematics , Number theory , Mathematics , Number Theory , Theory of Computation , Numeric Computing , Processor Architectures , Computational Mathematics and Numerical Analysis , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-1997-9783642979538:ONLINE Show nearby items on shelf
Title:Solving Problems in Scientific Computing Using Maple and MATLAB®
Author(s): Walter Gander
Date:1997
Edition:Third, Expanded and Revised Edition 1997
Size:1 online resource (412 p.)
Note:10.1007/978-3-642-97953-8
Contents:1. The Tractrix and Similar Curves -- 2. Trajectory of a Spinning Tennis Ball -- 3. The Illumination Problem -- 4. Orbits in the Planar Three-Body Problem -- 5. The Internal Field in Semiconductors -- 6. Some Least Squares Problems --
7. The Generalized Billiard Problem -- 8. Mirror Curves -- 9. Smoothing Filters -- 10. The Radar Problem -- 11. Conformal Mapping of a Circle -- 12. The Spinning Top -- 13. The Calibration Problem -- 14. Heat Flow Problems -- 15.
Modeling Penetration Phenomena -- 16. Heat Capacity of System of Bose Particles -- 17. Free Metal Compression -- 18. Gauss Quadrature -- 19. Symbolic Computation of Explicit Runge-Kutta Formulas -- 20. Transient Response of a Two-Phase
Half-Wave Rectifier -- 21. Circuits in Power Electronics -- 22. Newton's and Kepler's Laws -- 23. Least Squares Fit of Point Clouds -- 24. Modeling Social Processes -- 25. Contour Plots of Analytic Functions -- 26. Non-Linear Least
Squares: Finding the Most Accurate Location of an Aircraft -- 27. Computing Plane Sundials
ISBN:9783642979538
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer software , Numerical analysis , Calculus of variations , Physics , Applied mathematics , Engineering mathematics , Mathematics , Numerical Analysis , Mathematical Software , Appl.Mathematics/Computational Methods of Engineering , Theoretical, Mathematical and Computational Physics , Calculus of Variations and Optimal Control Optimization , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

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

Cover
Image
Call number:SPRINGER-1996-9781461240525:ONLINE Show nearby items on shelf
Title:Introduction to Discrete Mathematics with ISETL
Author(s): William E Fenton
Date:1996
Size:1 online resource (196 p.)
Note:10.1007/978-1-4612-4052-5
Contents:1 Numbers and Programs -- 1.1 The Basics of ISETL -- 1.2 Divisibility -- Overview of Chapter 1 -- 2 Propositional Calculus -- 2.1 Boolean Expressions -- 2.2 Implication and Proof -- Overview of Chapter 2 -- 3 Sets and Tuples -- 3.1
Defining Sets and Tuples -- 3.2 Operations on Sets -- 3.3 Counting Methods -- Overview of Chapter 3 -- 4 Predicate Calculus -- 4.1 Quantified Expressions -- 4.2 Multi-Level Quantification -- Overview of Chapter 4 -- 5 Relations and
Graphs -- 5.1 Relations and their Graphs -- 5.2 Equivalence Relations and Graph Theory -- Overview of Chapter 5 -- 6 Functions -- 6.1 Representing Functions -- 6.2 Properties of Functions -- Overview of Chapter 6 -- 7 Mathematical
Induction -- 7.1 Understanding the Method -- 7.2 Using Mathematical Induction -- Overview of Chapter 7 -- 8 Partial Orders -- Activities -- Discussion -- Exercises -- Overview of Chapter 8 -- 9 Infinite Sets -- Discussion -- Exercises
-- Appendix 1: Getting Started With Isetl -- A. Working in the Execution Window -- B. Working with Files -- C. Using Directives -- D. Graphing in ISETL -- Appendix 2: Some Special Code -- Index of Frequently Used Sets and Functions
ISBN:9781461240525
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Combinatorics , Mathematics , Combinatorics , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1996-9781461223221:ONLINE Show nearby items on shelf
Title:An Introduction to Programming with Mathematica®
Author(s): Richard J Gaylord
Date:1996
Edition:Second Edition
Size:1 online resource (452 p.)
Note:10.1007/978-1-4612-2322-1
Contents:1 Preliminaries -- 1.1 Introduction -- 1.2 Using Mathematica -- 1.3 The Mathematica Language -- 1.4 The Mathematica Interface -- 2 A Brief Overview of Mathematica -- 2.1 Numerical and Symbolic Computations -- 2.2 Functions -- 2.3
Graphics -- 2.4 Representation of Data -- 2.5 Programming -- 3 List Manipulation -- 3.1 Introduction -- 3.2 Creating and Measuring Lists -- 3.3 Working With the Elements of a List -- 3.4 Working with Several Lists -- 3.5 Higher-Order
Functions -- 3.6 Applying Functions to Lists Repeatedly -- 3.7 Strings and Characters -- 4 Functions -- 4.1 Introduction -- 4.2 Programs as Functions -- 4.3 User-Defined Functions -- 4.4 Auxiliary Functions -- 4.5 Anonymous Functions
-- 4.6 One-Liners -- 5 Evaluation of Expressions -- 5.1 Introduction -- 5.2 Creating Rewrite Rules -- 5.3 Expressions -- 5.4 Patterns -- 5.5 Term Rewriting -- 5.6 Transformation Rules -- 6 Conditional Function Definitions -- 6.1
Introduction -- 6.2 Conditional Functions -- 6.3 Example—Classifying Points -- 7 Recursion -- 7.1 Fibonacci Numbers -- 7.2 List Functions -- 7.3 Thinking Recursively -- 7.4 Recursion and Symbolic Computations -- 7.5 Gaussian
Elimination -- 7.6 Trees -- 7.7 Dynamic Programming -- 7.8 Higher-Order Functions and Recursion -- 7.9 Debugging -- 8 Iteration -- 8.1 Newtons Method -- 8.2 Vectors and Matrices -- 8.3 Passing Arrays to Functions -- 8.4 Gaussian
Elimination Revisited -- 9 Numerics -- 9.1 Types of Numbers -- 9.2 Random Numbers -- 9.3 Precision and Accuracy -- 9.4 Numerical Computations -- 10 Graphics Programming -- 10.1 Graphics Primitives -- 10.2 Graphics Directives and
Options -- 10.3 Built-in Graphics Functions -- 10.4 Graphics Programming -- 10.5 Sound -- 11 Applications -- 11.1 The Random Walk -- 11.2 The Game of Life -- 11.3 Implementing Languages -- 12 Contexts and Packages -- 12.1 Introduction
-- 12.2 Using Packages -- 12.3 Contexts -- 12.4 Packages -- 12.5 Avoiding Name Collisions -- 12.6 The BaseConvert Package -- 12.7 The RandomWalks Package -- References
ISBN:9781461223221
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer programming , Programming languages (Electronic computers) , Algorithms , Computer software , Mathematics , Mathematical Software , Programming Techniques , Programming Languages, Compilers, Interpreters , 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-9789401101875:ONLINE Show nearby items on shelf
Title:Quality of Communication-Based Systems Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Author(s):
Date:1995
Size:1 online resource (195 p.)
Note:10.1007/978-94-011-0187-5
Contents:Contributions to Quality from Specification Techniques -- Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes -- Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs --
Specification of Concurrent Systems: from Petri Nets to Graph Grammars -- Towards a Theory of Strong Bisimulation for the Service Rendezvous -- Contributions to Quality from Quantitative Modelling -- Transient Analysis of Real-Time
Systems Using Deterministic and Stochastic Petri Nets -- Performance Modeling with Structured Actions -- Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables -- Discrete Time
Deterministic and Stochastic Petri Nets -- Contributions to Quality from Distributed Systems Organization -- Bauhaus Linda: An Overview -- Naming and Typing in Languages for Coordination in Open Distributed System -- An Efficient
Implementation of Decoupled Communication in Distributed Environments -- Extending the Rôle of Object References in Distributed Systems -- On Protocols for Loss-less Statistical Multiplexing in Integrated Networks
ISBN:9789401101875
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Microprocessors , Computer communication systems , Programming languages (Electronic computers) , Category theory (Mathematics) , Homological algebra , System theory , Mathematics , Category Theory, Homological Algebra , Mathematics, general , Computer Communication Networks , Systems Theory, Control , Processor Architectures , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1995-9783642976193:ONLINE Show nearby items on shelf
Title:Solving Problems in Scientific Computing Using Maple and MATLAB®
Author(s): Walter Gander
Date:1995
Edition:Second, Expanded Edition
Size:1 online resource (318 p.)
Note:10.1007/978-3-642-97619-3
Contents:1. The Tractrix and Similar Curves -- 1.1 Introduction -- 1.2 The Classical Tractrix -- 1.3 The Child and the Toy -- 1.4 The Jogger and the Dog -- 1.5 Showing the Motions with Matlab -- References -- 2. Trajectory of a Spinning Tennis
Ball -- 2.1 Introduction -- 2.2 Maple Solution -- 2.3 Matlab Solution -- References -- 3. The Illumination Problem -- 3.1 Introduction -- 3.2 Finding the Minimal Illumination Point on a Road -- 3.3 Varying h2 to Maximize the
Illumination -- 3.4 Optimal Illumination -- 3.5 Conclusion -- References -- 4. Orbits in the Planar Three-Body Problem -- 4.1 Introduction -- 4.2 Equations of Motion in Physical Coordinates -- 4.3 Global Regularization -- 4.4 The
Pythagorean Three-Body Problem -- 4.5 Conclusions -- References -- 5. The Internal Field in Semiconductors -- 5.1 Introduction -- 5.2 Solving a Nonlinear Poisson Equation Using MAPLE -- 5.3 Matlab Solution -- References -- 6. Some
Least Squares Problems -- 6.1 Introduction -- 6.2 Fitting Lines, Rectangles and Squares in the Plane -- 6.3 Fitting Hyperplanes -- References -- 7. The Generalized Billiard Problem -- 7.1 Introduction -- 7.2 The Generalized Reflection
Method -- 7.3 The Shortest Trajectory Method -- 7.4 Examples -- 7.5 Conclusions -- References -- 8. Mirror Curves -- 8.1 The Interesting Waste -- 8.2 The Mirror Curves Created by MAPLE -- 8.3 The Inverse Problem -- 8.4 Examples -- 8.5
Conclusions -- References -- 9. Smoothing Filters -- 9.1 Introduction -- 9.2 Savitzky-Golay Filter -- 9.3 Least Squares Filter -- References -- 10. The Radar Problem -- 10.1 Introduction -- 10.2 Converting Degrees into Radians -- 10.3
Transformation of Geographical into Geocentric Coordinates -- 10.4 The Transformations -- 10.5 Final Algorithm -- 10.6 Practical Example -- References -- 11. Conformai Mapping of a Circle -- 11.1 Introduction -- 11.2 Problem Outline --
11.3 Maple Solution -- References -- 12. The Spinning Top -- 12.1 Introduction -- 12.2 Formulation and Basic Analysis of the Solution -- 12.3 The Numerical Solution -- References -- 13. The Calibration Problem -- 13.1 Introduction --
13.2 The Physical Model Description -- 13.3 Approximation by Splitting the Solution -- 13.4 Conclusions -- References -- 14. Heat Flow Problems -- 14.1 Introduction -- 14.2 Heat Flow through a Spherical Wall -- 14.3 Non Stationary Heat
Flow through an Agriculture Field -- References -- 15. Modeling Penetration Phenomena -- 15.1 Introduction -- 15.2 Short description of the penetration theory -- 15.3 The Tate — Alekseevskii model -- 15.4 The eroding rod penetration
model -- 15.5 Numerical Example -- 15.6 Conclusions -- References -- 16. Heat Capacity of System of Bose Particles -- 16.1 Introduction -- 16.2 Maple Solution -- References -- 17. Free Metal Compression -- 17.1 Introduction -- 17.2
Disk compression -- 17.3 Compression of a metal prism -- 17.4 Conclusions -- References -- 18. Gauss Quadrature -- 18.1 Introduction -- 18.2 Orthogonal Polynomials -- 18.3 Quadrature Rule -- 18.4 Gauss Quadrature Rule -- 18.5
Gauss-Radau Quadrature Rule -- 18.6 Gauss-Lobatto Quadrature Rule -- 18.7 Weights -- 18.8 Quadrature Error -- References -- 19. Symbolic Computation of Explicit Runge-Kutta Formulas -- 19.1 Introduction -- 19.2 Derivation of the
Equations for the Parameters -- 19.3 Solving the System of Equations -- 19.4 The Complete Algorithm -- 19.5 Conclusions -- References -- 20. Transient Response of a Two-Phase Half-Wave Rectifier -- 20.1 Introduction -- 20.2 Problem
Outline -- 20.3 Difficulties in Applying Conventional Codes and Software Packages -- 20.4 Solution by Means of Maple -- References -- 21. Circuits in Power Electronics -- 21.1 Introduction -- 21.2 Linear Differential Equations with
Piecewise Constant Coefficients -- 21.3 Periodic Solutions -- 21.4 A matlab Implementation -- 21.5 Conclusions -- References
ISBN:9783642976193
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Algebra , System theory , Algorithms , Numerical analysis , Statistical physics , Dynamical systems , Mathematics , Numerical Analysis , Algebra , Programming Languages, Compilers, Interpreters , Algorithms , Statistical Physics, Dynamical Systems and Complexity , Systems Theory, Control
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-9781461241720:ONLINE Show nearby items on shelf
Title:APL2 in Depth
Author(s): Norman D Thomson
Date:1995
Size:1 online resource (264 p.)
Note:10.1007/978-1-4612-4172-0
Contents:1 Functions and Arrays in APL2 -- 1.1 Nested Arrays and Depth -- 1.2 Construction of Arrays -- Exercises 1a -- Exercises 1c -- 1.3 Selection -- Exercises 1d -- 1.4 Replacement -- 1.5 Restructuring -- 1.6 Comparison and Inquiry --
Exercises 1e -- Summary of Functions used in Chapter 1 -- 2 Operators -- 2.1 The Each Operator -- Exercises 2a -- Exercises 2b -- 2.2 Extensions to the Slash Operator -- Exercises 2c -- Summary of Functions used in Chapter 2 -- 3
Elementary Data Structuring -- 3.1 Example 1. Product Stocks -- Exercises 3a -- 3.2 Example 2. Optimizing Rental Charges -- Exercises 3b -- Summary of Functions used in Chapter 3 -- 4 Using Functions and Arrays -- 4.1 Cross-sections,
Picking and Indexing -- 4.2 Some Illustrations using Nested Arrays -- Exercises 4a -- Exercises 4b -- 4.3 Distinctions between Similar Primitives -- Exercises 4c -- 4.4 Empty Arrays and Fill Functions -- Exercises 4d -- Summary of
Functions used in Chapter 4 -- 5 Using Operators -- 5.1 The Role of Operators in APL2 -- 5.2 Binding -- Exercises 5a -- 5.3 Matching Function Arguments -- 5.4 Recursion with Functions and Operators -- Exercises 5b -- 5.5 Extensions to
First-generation APL Operators -- Exercises 5c -- Exercises 5d -- 5.6 Applications of User-Defined Operators -- Exercises 5e -- Exercises 5f -- Summary of Functions used in Chapter 5 -- Summary of User-defined Operators in Chapter 5 --
6 Advanced Modelling and Data Structures -- 6.1 Trees Without Keys -- 6.2 Trees with Keys -- 6.3 Binary Trees -- Exercises 6a -- 6.4 Networks -- Exercises 6b -- Summary of Operations used in Chapter 6 -- Appendix A. Solutions to
Exercises -- Solutions 1a -- Solutions 1b -- Solutions 1c -- Solutions 1d -- Solutions 1e -- Solutions 2a -- Solutions 2b -- Solutions 2c -- Solutions 3a -- Solutions 3b -- Solutions and Notes 4a -- Solutions 4b -- Solutions 4c --
Solutions 4d -- Solutions 5a -- Solutions 5b -- Solutions and Notes 5c -- Solutions 5d -- Solutions 5e -- Solutions 5f -- Solutions 6a -- Solutions 6b -- Appendix B. Some Key Rules and Identities -- Appendix C. List of Illustrations
ISBN:9781461241720
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Software engineering , Programming languages (Electronic computers) , Probabilities , Mathematics , Probability Theory and Stochastic Processes , Software Engineering , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1993-9783642975332:ONLINE Show nearby items on shelf
Title:Solving Problems in Scientific Computing Using Maple and Matlab®
Author(s): Walter Gander
Date:1993
Size:1 online resource (268 p.)
Note:10.1007/978-3-642-97533-2
Contents:1. The Tractrix and Similar Curves -- 1.1 Introduction -- 1.2 The Classical Tractrix -- 1.3 The Child and the Toy -- 1.4 The Jogger and the Dog -- 1.5 Showing the Movements with Matlab -- References -- 2. Trajectory of a Spinning
Tennis Bali -- 2.1 Introduction -- 2.2 Maple Solution -- 2.3 Matlab Solution -- References -- 3. The Illumination Problem -- 3.1 Introduction -- 3.2 Finding the Minimal Illumination Point on a Road -- 3.3 Varying h2 to Maximize the
Illumination -- 3.4 Optimal Illumination -- 3.5 Conclusion -- References -- 4. Orbits in the Planar Three-Body Problem -- 4.1 Introduction -- 4.2 Equations of Motion in Physical Coordinates -- 4.3 Global Regularization -- 4.4 The
Pythagorean Three-Body Problem -- 4.5 Conclusions -- References -- 5. The Internal Field in Semiconductors -- 5.1 Introduction -- 5.2 Solving a Nonlinear Poisson Equation Using Maple -- 5.3 Matlab Solution -- References -- 6. Some
Least Squares Problems -- 6.1 Introduction -- 6.2 Fitting Lines, Rectangles and Squares in the Plane -- 6.3 Fitting Hyperplanes -- References -- 7. The Generalized Billiard Problem -- 7.1 Introduction -- 7.2 The Generalized Reflection
Method -- 7.3 The Shortest Trajectory Method -- 7.4 Examples -- 7.5 Conclusions -- References -- 8. Mirror Curves -- 8.1 The Interesting Waste -- 8.2 The Mirror Curves Created by Maple -- 8.3 The Inverse Problem -- 8.4 Examples -- 8.5
Conclusions -- References -- 9. Smoothing Filters -- 9.1 Introduction -- 9.2 Savitzky-Golay Filter -- 9.3 Least Squares Filter -- References -- 10. The Radar Problem -- 10.1 Introduction -- 10.2 Converting Degrees into Radians -- 10.3
Transformation of Geographical into Geocentric Coordinates -- 10.4 The Transformations -- 10.5 Final Algorithm -- 10.6 Practical Example -- References -- 11. Conformal Mapping of a Circle -- 11.1 Introduction -- 11.2 Problem Outline --
11.3 Maple Solution -- References -- 12. The Spinning Top -- 12.1 Introduction -- 12.2 Formulation and Basic Analysis of the Solution -- 12.3 The Numerical Solution -- References -- 13. The Calibration Problem -- 13.1 Introduction --
13.2 The Physical Model Description -- 13.3 Approximation by Splitting the Solution -- 13.4 Conclusions -- References -- 14. Heat Flow Problems -- 14.1 Introduction -- 14.2 Heat Flow through a Spherical Wall -- 14.3 Non Stationary Heat
Flow through an AgricultureField -- References -- 15. Penetration of a Long Rod into a Semiinfinite Target -- 15.1 Introduction -- 15.2 Short Description of the Penetration Theory -- 15.3 Numerical Example -- 15.4 Conclusions --
References -- 16. Heat Capacity of System of Bose Particles -- 16.1 Introduction -- 16.2 Maple Solution -- References -- 17. Compression of a Metal Disk -- 17.1 Introduction -- 17.2 Mathematical and Physical Model -- 17.3 Parabolic
Perimeter -- 17.4 Maple Solution -- 17.5 Base Radius as Function of Friction -- 17.6 Simplification -- 17.7 Graphics -- 17.8 Conclusions -- References -- 18. Gauss Quadrature -- 18.1 Introduction -- 18.2 Orthogonal Polynomials -- 18.3
Quadrature Rule -- 18.4 Gauss Quadrature Rule -- 18.5 Gauss-Radau Quadrature Rule -- 18.6 Gauss-Lobatto Quadrature Rule -- 18.7 Weights -- 18.8 Quadrature Error -- References -- 19. Symbolic Computation of Explicit Runge-Kutta Formulas
-- 19.1 Introduction -- 19.2 Derivation of the Equations for the Parameters -- 19.3 Solving the System of Equations -- 19.4 The Complete Algorithm -- 19.5 Conclusions -- References
ISBN:9783642975332
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Algebra , System theory , Algorithms , Numerical analysis , Statistical physics , Dynamical systems , Mathematics , Numerical Analysis , Algebra , Programming Languages, Compilers, Interpreters , Algorithms , Statistical Physics, Dynamical Systems and Complexity , Systems Theory, Control
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-9783662122112:ONLINE Show nearby items on shelf
Title:Lancelot A Fortran Package for Large-Scale Nonlinear Optimization (Release A)
Author(s): A. R Conn
Date:1992
Size:1 online resource (332 p.)
Note:10.1007/978-3-662-12211-2
Contents:1 Introduction -- 2 A SIF/LANCELOT Primer -- 3 A Description of the LANCELOT Algorithms -- 4 The LANCELOT Specification File -- 5 A Description of how LANCELOT Works -- 6 Installing LANCELOT on your System -- 7 The SIF Reference
Report -- 8 The Specification of LANCELOT Subroutines -- 9 Coda -- A Conditions of Use -- A.1 General Conditions for all Users -- A.2 Additional Conditions for “Academic” Use -- A.3 Authors’ Present Addresses -- B Trademarks
ISBN:9783662122112
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Computational Mathematics: 17
Keywords: Computer science , Programming languages (Electronic computers) , System theory , Numerical analysis , Calculus of variations , Applied mathematics , Engineering mathematics , Economic theory , Computer Science , Programming Languages, Compilers, Interpreters , Systems Theory, Control , Calculus of Variations and Optimal Control Optimization , Economic Theory/Quantitative Economics/Mathematical Methods , Numerical Analysis , 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-1991-9789401135023:ONLINE Show nearby items on shelf
Title:Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics
Author(s): F Brackx
Date:1991
Size:1 online resource (264 p.)
Note:10.1007/978-94-011-3502-3
Contents:1 Introduction -- 2 Standard LISP and RLISP -- 3 REDUCE algebraic mode -- 4 Applications -- 5 A package for three-dimensional euclidean geometry
ISBN:9789401135023
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 72
Keywords: Computer science , Programming languages (Electronic computers) , Numerical analysis , Computer science , Artificial intelligence , Computer Science , Symbolic and Algebraic Manipulation , Programming Languages, Compilers, Interpreters , Artificial Intelligence (incl. Robotics) , Numeric Computing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1991-9780817648442:ONLINE Show nearby items on shelf
Title:Linear Programming
Author(s): Howard Karloff
Date:1991
Edition:1
Size:1 online resource (144 p.)
Note:10.1007/978-0-8176-4844-2
Contents:The Basics -- The Simplex Algorithm -- Duality -- The Ellipsoid Algorithm -- Karmarkar’s Algorithm
ISBN:9780817648442
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Computer science , Computer programming , Programming languages (Electronic computers) , Algorithms , Computer science , Applied mathematics , Engineering mathematics , Computer mathematics , Computer Science , Programming Techniques , Applications of Mathematics , Programming Languages, Compilers, Interpreters , Math Applications in Computer Science , Computational Mathematics and Numerical Analysis , Algorithm Analysis and Problem Complexity
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1989-9781461236689:ONLINE Show nearby items on shelf
Title:APL Programs for the Mathematics Classroom
Author(s): Norman D Thomson
Date:1989
Size:1 online resource (185 p.)
Note:10.1007/978-1-4612-3668-9
Contents:1. Introduction -- 1.1 Graphics -- 1.2 Idioms -- 2. Arithmetic and Numbers -- 2.1. Basic Programs with Integers -- 2.2. Square and Triangular Numbers -- 2.3. Multiplication and other Tables -- 2.4. Isomorphisms -- 2.5. Primes and
Factors -- 2.6. HCF and LCM -- 2.7. Recurring Decimals -- 2.8. Numbers in Different Bases -- 2.9. Roman Numerals -- 2.10. Encoding and Decoding -- 2.11. Problems involving Base 10 Digits -- 2.12. Computer Arithmetic -- 2.13. Counting
Series Forwards and Backwards -- 2.14 Complex Numbers -- 3. Algebra and Sets -- 3.1. Some Basic Algebra -- 3.2. Roots of Quadratics -- 3.3. Matrix Operations -- 3.4. Polynomials -- 3.5. Arithmetic and Geometric Progressions -- 3.6.
Sets -- 3.7. Polynomial Coefficients from Roots -- 4. Series -- 4.1. Recurrence Relations -- 4.2. Tests for Monotonicity -- 4.3. Convergence -- 4.4. Binomial Coefficients -- 4.5. Successive Differences of Series -- 4.6. Fibonacci
Numbers -- 4.7. Series relating to pi -- 4.8. Series for e -- 4.9. A Series for ?2 -- 4.10. Trig Series -- 4.11. Continued Fractions -- 4.12. Interpolation -- 5. Formulae and Tables -- 5.1. Compound Interest -- 5.2. Mortgage Repayments
-- 5.3. Triangle Formulae -- 5.4. Longest and Shortest Journeys -- 5.5. Pythagoras’s Theorem and Norms -- 5.6. Pythagorean Triples -- 6. Geometry and Pattern -- 6.1. Parametric Plotting -- 6.2. Envelopes -- 6.3. Transformations -- 6.4
Perspective Drawing -- 6.5. Co-ordinate Geometry in Two Dimensions -- 6.6. Polar and Cartesian Coordinates -- 6.7. Patterns by Plotting Large Numbers of Points -- 7. Calculus -- 7.1. Numerical Integration -- 7.2. Root Finding -- 7.3.
Ordinary Differential Equations -- 8. Probability and Statistics -- 8.1. Discrete Probability Distributions -- 8.2. The Birthday Problem -- 8.3. Descriptive Statistics -- 8.4. Random Numbers from Various Distributions -- 8.5.
Simulations -- 8.6. Frequency Distributions -- 8.7. Regression -- 8.8. Correlation -- 8.9. Non-parametric Tests -- 8.10. Statistical Tables -- 8.11. Sample Sizes -- 9. Combinatorics -- 9.1. Permutations in Lexical Order -- 9.2.
Derangements -- 9.3. Combinations -- 9.4. Selections -- 9.5. Compositions and Partitions -- 9.6. Latin Squares -- 9.7. Magic Squares of Odd Order -- 10. Games and Miscellaneous -- 10.1. Deal a Hand at Whist -- 10.2. Chessboard -- 10.3.
Mastermind -- 10.4. Life -- 10.5. Recursive Algorithms -- 10.6. Optical Illusions -- Appendix 1. Graphics -- Appendix 2. Idioms and Utilities -- A2.1. Rounding, Averaging, and Removing Duplicates -- A2.2. Sorting and Ranking -- A2.3.
Statement Joining -- A2.4. Branching and Prompting -- A2.5. Matrix Manipulation -- A2.6. Replication -- A2.7. Without -- A2.8. Bit Manipulation -- A2.9. Some String Handling Functions -- A2.10. Testing for Numeric/Character -- A2.11.
Timing Function Execution -- Appendix 3. Graphics Functions in I-APL -- Index of Topics -- Index of Programs and Variables
ISBN:9781461236689
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer programming , Programming languages (Electronic computers) , Numerical analysis , Mathematics , Numerical Analysis , Programming Languages, Compilers, Interpreters , Programming Techniques
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1981-9783709127483:ONLINE Show nearby items on shelf
Title:Analysis and Design of Algorithms in Combinatorial Optimization
Author(s):
Date:1981
Size:1 online resource (209 p.)
Note:10.1007/978-3-7091-2748-3
ISBN:9783709127483
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:International Centre for Mechanical Sciences, Courses and Lectures: 266
Keywords: Physics , Programming languages (Electronic computers) , Mechanics , Physics , Mechanics , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1978-9781461394228:ONLINE Show nearby items on shelf
Title:Introduction to College Mathematics with A Programming Language
Author(s): Edward J LeCuyer
Date:1978
Size:1 online resource (420 p.)
Note:10.1007/978-1-4613-9422-8
Contents:1 Set theory -- 1.1 Sets -- 1.2 Operations with Sets -- 1.3 A set theory drill and practice program (optional) -- 1.4 Boolean algebra -- 1.5 The number of elements in a set -- 2 Logic -- 2.1 Statements and logical operations -- 2.2
Conditional statements -- 2.3 Logical equivalence -- 2.4 Arguments -- 3 Vectors and matrices -- 3.1 Vectors -- 3.2 Operations with vectors -- 3.3 Matrices -- 3.4 Operations with matrices -- 3.5 Properties of matrices -- 4 Systems of
linear equations -- 4.1 Linear equations -- 4.2 Two-by-two systems of linear equations -- 4.3 Elementary row operations -- 4.4 Larger systems of linear equations -- 4.5 Row reduced form -- 4.6 The inverse of a matrix -- 4.7 Inverses in
APL -- 4.8 Applications -- 5 Determinants -- 5.1 Definition of a determinant -- 5.2 A Program for evaluation of determinants -- 5.3 Cofactors -- 5.4 Adjoints and inverses -- 5.5 Cramer’s rule -- 6 Functions and graphing -- 6.1
Definition of a function -- 6.2 Graphing -- 6.3 Linear functions -- 6.4 Quadratic functions -- 6.5 Polynomials -- 6.6 Rational functions -- 7 Exponential and logarithmic functions -- 7.1 Exponential functions -- 7.2 Applications of
exponential functions -- 7.3 Logarithmic functions -- 7.4 Properties and applications of logarithms -- 8 Differential calculus -- 8.1 The limit of a function -- 8.2 Slope of a curve and the definition of derivative at a point -- 8.3
Differentiating polynomials -- 8.4 Applications of derivatives -- 8.5 More rules of differentiation (optional) -- 8.6 Theory of maxima, minima -- 8.7 Applied maxima, minima -- 8.8 Curve sketching using derivatives -- 9 Integral
calculus -- 9.1 Antidifferentiation -- 9.2 Some formulas for antidifferentiation -- 9.3 Area under a curve -- 9.4 The definite integral -- 9.5 The fundamental theorem of calculus -- 9.6 More applications of integration -- 10
Probability -- 10.1 Axioms of probability -- 10.2 More rules of probability -- 10.3 Permutations and combinations -- 10.4 The hypergeometric distribution -- 10.5 The binomial distribution -- 10.6 The Poisson distribution -- 11
Statistics -- 11.1 Random samples and frequency distributions -- 11.2 Measures of central tendency -- 11.3 Measures of dispersion -- 11.4 The normal distribution -- 11.5 The sampling distribution of the mean -- 12 The trigonometric
functions -- 12.1 Angles -- 12.2 The trigonometric functions -- 12.3 The trigonometric functions in APL -- 12.4 Graphs of the trigonometric functions -- 12.5 The inverse trigonometric functions -- 12.6 Solving right triangles -- 12.7
Solving oblique triangles -- A.0 Using APL on a computer terminal -- A.1 Introduction to APL -- A.2 Program definition -- A.3 Branching -- A.4 Program revision and editing procedures -- A.5 The trace command -- Solutions to exercises
-- Program index
ISBN:9781461394228
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Programming languages (Electronic computers) , Computer science , Computer mathematics , Mathematics , Mathematical Applications in Computer Science , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1975-9789401175579:ONLINE Show nearby items on shelf
Title:Combinatorial Programming: Methods and Applications Proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, France, 2–13 September, 1974
Author(s):
Date:1975
Size:1 online resource (386 p.)
Note:10.1007/978-94-011-7557-9
Contents:I: General Methodology -- Modelling Techniques and Heuristics for Combinatorial Problems -- Les Procedures D’exploration et D’optimisation par Separation et Evaluation: a survey -- Boolean Elements in Combinatorial Optimization: a
survey -- Fourier-Motzkin Elimination and its Dual with Application to Integer Programming -- II: Paths and Circuits -- Chemins et Circuits: Enumeration et Optimisation: a survey -- Path Algebra and Algorithms -- Hamiltonian Circuits
and the Travelling Salesman Problem: a survey -- The Peripatetic Salesman and some related Unsolved Problems -- Some Results on the Convex Hull of the Hamiltonian Cycles of Symetric Complete Graphs -- Finding Minimum Spanning Trees
with a Fixed Number of Links at a Node -- III: Set Partitioning, Covering and Packing -- Set Partitioning: a survey -- An Algorithm for Large Set Partitioning Problems -- Le Probleme De Partition Sous Contrainte -- Characterisations of
Totally Unimodular, Balanced and Perfect Matrices -- Some Well-Solved Problems in Combinatorial Optimization -- IV: Other Combinatorial Programming Topics -- How to Color a Graph: a survey -- Problemes Extremaux Concernant Le Nombre
Des Colorations Des Sommets D’un Graphe Fini -- A few Remarks on Chromatic Scheduling -- Minimizing Total Costs in One-Machine Scheduling -- The Quadratic Assignment Problem: A Brief Review -- Fonctions D’evaluation et Penalites Pour
Les Programmes Quadratiques en Variables 0–1 -- Solution of the Machine Loading Problem with Binary Variables -- The Role of Puzzles in Teaching Combinatorial Programming
ISBN:9789401175579
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Advanced Study Institutes Series, Series C — Mathematical and Physical Sciences: 19
Keywords: Computer science , Programming languages (Electronic computers) , Computer Science , Programming Languages, Compilers, Interpreters
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Return to the Fermilab Library catalog