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 EMBEDDED COMPUTER SYSTEMS *END*INIT* use /tmp/qspiwww.webspi1/5113.417 QRY 131.225.70.96 . find keyword embedded computer systems ( in books using www Cover
Image
Call number:1848214286:ONLINE Show nearby items on shelf
Title:Memory Allocation Problems in Embedded Systems / Optimization Methods
Author(s): Soto
Date:2012
Publisher:Wiley-ISTE
Size:1 online resource (209 p.)
ISBN:9781848214286
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:1848211430:ONLINE Show nearby items on shelf
Title:Communicating Embedded Systems for Computer Science
Author(s): Jard
Date:2009
Publisher:Wiley-ISTE
Size:1 online resource (289 p.)
ISBN:9781848211438
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9783319014272:ONLINE Show nearby items on shelf
Title:Multi-Band Effective Mass Approximations [electronic resource] : Advanced Mathematical Models and Numerical Techniques
Author(s): Matthias Ehrhardt
Thomas Koprucki
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:This book addresses several mathematical models from the most relevant class of kp-Schrdinger systems. Both mathematical models and state-of-the-art numerical methods for adequately solving the arising systems of differentialequations are presented. The operational principle of modern semiconductor nano structures, such as quantum wells, quantum wires or quantum dots, relies on quantum mechanical effects. The goal of numerical simulations using quantummechanical models in the development of semicondu ctor nano structures is threefold: First they are needed for a deeper understanding of experimental data and of the operational principle. Secondly, they allow us to predict and optimizein advance the qualitative and quantitative properties of new devices in order to minimize the number of prototypes needed. Semiconductor nano structures are embedded as an active region in semiconductor devices. Thirdly and finally,the results of quantum mechanical simulations of semiconductor nano structures can be used with upscaling methods to deliver parameters needed in semi-classical models for semiconductor devices, such as quantum well lasers. This bookcovers in detail all these three aspects using a variety of illustrative examples. Readers will gain detailed ins ights into the status of the multiband effective mass method for semiconductor nano structures. Both users of the kpmethod as well as advanced researchers who want to advance the kp method further will find helpful information on how to best work with thi s method and use it as a tool for characterizing the physical properties of semiconductor nanostructures. The book is primarily intended for graduate and Ph.D. students in applied mathematics, mathematical physics and theoretical physics, as well as all t hose working in quantum mechanical research or the semiconductor /opto-electronic industry who are interested in new mathematical aspects
Contents:Introduction
Part I: Physical Models
Part II: Numerical Methods
Part III: Applications
Part IV: Advanced Mathematical Topics
ISBN:9783319014272
Series:eBooks
Series:SpringerLink
Series:Lecture Notes in Computational Science and Engineering, 1439-7358 : v94
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Differential equations, partial , Computer science Mathematics , Quantum theory , Mathematical physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783642555664:ONLINE Show nearby items on shelf
Title:Discrete and Computational Geometry The Goodman-Pollack Festschrift
Author(s):
Date:2003
Size:1 online resource (853 p.)
Note:10.1007/978-3-642-55566-4
Contents:On the Complexity of Many Faces in Arrangements of Pseudo-Segments and of Circles -- Polyhedral Cones of Magic Cubes and Squares -- of the Polygons -- Computing the Hausdorff Distance of Geometric Patterns and Shapes -- A Sum of
Squares Theorem for Visibility Complexes and Applications -- On the Reflexivity of Point Sets -- Geometric Permutations of Large Families of Translates -- Integer Points in Rotating Convex Bodies -- Complex Matroids ¨C Phirotopes and
Their Realizations in Rank -- Covering the Sphere by Equal Spherical Balls -- Lower Bounds for High Dimensional Nearest Neighbor Searchand Related Problems -- A Tur´an-type Extremal Theory of Convex Geometric Graphs -- Relaxation -- A
Lower Bound on the Complexity of Approximate Nearest-NeighborSearching on the Hamming -- Detecting Undersampling in Surface Reconstruction -- A Survey of the Hadwiger-Debrunner (p, q)-problem -- Surface Reconstruction by Wrapping
Finite Sets in Space -- Infeasibility of Systems of Halfspaces -- Complete Combinatorial Generation of Small Point Configurations and Hyperplane -- Relative Closure and the Complexity of Pfaffian Elimination -- Are Your Polyhedra the
Same as My Polyhedra -- Some Algorithms Arising in the Proof of the Kepler Conjecture -- The Minimal Number of Triangles Needed to Span a Polygon Embedded in Rd -- Jacobi Decomposition and Eigenvalues of Symmetric Matrices -- Discrete
Geometry on Red and Blue Points in the Plane¨C A Survey ¨C -- Configurations with Rational Angles and Trigonometric DiophantineEquations -- Reconstructing Sets From Interpoint Distances -- Dense Packings of Congruent Circles in
Rectangles with a Variable Aspect Ratio -- Colorings and Homomorphisms of Minor Closed Classes -- Conflict-free Colorings -- New Complexity Bounds for Cylindrical Decompositions of Sub-Pfaffian Sets -- Note on the Chromatic Number of
the Space -- Expansive Motions and the Polytope of Pointed Pseudo-Triangulations -- Some Recent Quantitative and Algorithmic Results in Real Algebraic Geometry -- A Discrete Isoperimetric Inequality and Its Application to Sphere
Packings -- On the Number of Maximal Regular Simplices Determined by n Points in Rd -- Balanced Lines, Halving Triangles, and the Generalized Lower Bound Theorem -- Quantizing Using Lattice Intersections -- Note on a Generalization of
Roth’s Theorem -- Arrangements, Equivariant Maps and Partitions of Measures by k-Fans -- Qualitative Infinite Version of Erd?s’ Problem About Empty Polygons
ISBN:9783642555664
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Algorithms and Combinatorics: 25
Keywords: Mathematics , Computer science , Geometry , Convex geometry , Discrete geometry , Probabilities , Combinatorics , Mathematics , Geometry , Convex and Discrete Geometry , Combinatorics , Discrete Mathematics in Computer Science , Probability Theory and Stochastic Processes
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9781468492446:ONLINE Show nearby items on shelf
Title:Fractals in Multimedia
Author(s):
Date:2002
Size:1 online resource (270 p.)
Note:10.1007/978-1-4684-9244-6
Contents:to IMA fractal proceedings -- Uniqueness of invariant measures for place-dependent random iterations of functions -- Iterated function systems for lossless data compression -- From fractal image compression to fractal-based methods in
mathematics -- Fractal image compression with fast local search -- Wavelets are piecewise fractal interpolation functions -- Self-affine vector measures and vector calculus on fractals -- Using the Picard contraction mapping to solve
inverse problems in ordinary differential equations -- Fractal modulation and other applications from a theory of the statistics of dimension -- Signal enhancement based on Hölder regularity analysis -- Iterated data mining techniques
on embedded vector modeling -- A web-based fractal geometry course for non-science students -- List of minisymposium participants
ISBN:9781468492446
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:The IMA Volumes in Mathematics and its Application: 132
Keywords: Computer science , Computer science , Image processing , Application software , Dynamics , Ergodic theory , Probabilities , Topology , Computer Science , Image Processing and Computer Vision , Topology , Computer Applications , Probability Theory and Stochastic Processes , Dynamical Systems and Ergodic Theory , Math Applications in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2002-9780387215822:ONLINE Show nearby items on shelf
Title:Scientific Computing with Ordinary Differential Equations
Author(s): Peter Deuflhard
Date:2002
Size:1 online resource (486 p.)
Note:10.1007/978-0-387-21582-2
Contents:1 Time-Dependent Processes in Science and Engineering -- 1.1 Newton’s Celestial Mechanics -- 1.2 Classical Molecular Dynamics -- 1.3 Chemical Reaction Kinetics -- 1.4 Electrical Circuits -- Exercises -- 2 Existence and Uniqueness for
Initial Value Problems -- 2.1 Global Existence and Uniqueness -- 2.2 Examples of Maximal Continuation -- 2.3 Structure of Nonunique Solutions -- 2.4 Weakly Singular Initial Value Problems -- 2.5 Singular Perturbation Problems -- 2.6
Quasilinear Differential-Algebraic Problems -- Exercises -- 3 Condition of Initial Value Problems -- 3.1 Sensitivity Under Perturbations -- 3.2 Stability of ODEs -- 3.3 Stability of Recursive Mappings -- Exercises -- 4 One-Step Methods
for Nonstiff IVPs -- 4.1 Convergence Theory -- 4.2 Explicit Runge-Kutta Methods -- 4.3 Explicit Extrapolation Methods -- 5 Adaptive Control of One-Step Methods -- 5.1 Local Accuracy Control -- 5.2 Control-Theoretic Analysis -- 5.3
Error Estimation -- 5.4 Embedded Runge-Kutta Methods -- 5.5 Local Versus Achieved Accuracy -- Exercises -- 6 One-Step Methods for Stiff ODE and DAE IVPs -- 6.1 Inheritance of Asymptotic Stability -- 6.2 Implicit Runge-Kutta Methods --
6.3 Collocation Methods -- 6.4 Linearly Implicit One-Step Methods -- Exercises -- 7 MultiStep Methods for ODE and DAE IVPs -- 7.1 Multistep Methods on Equidistant Meshes -- 7.2 Inheritance of Asymptotic Stability -- 7.3 Direct
Construction of Efficient Multistep Methods -- 7.4 Adaptive Control of Order and Step Size -- Exercises -- 8 Boundary Value Problems for ODEs -- 8.1 Sensitivity for Two-Point EVPs -- 8.2 Initial Value Methods for Timelike EVPs -- 8.3
Cyclic Systems of Linear Equations -- 8.4 Global Discretization Methods for Spacelike EVPs -- 8.5 More General Types of BVPs -- 8.6 Variational Problems -- Exercises -- References -- Software
ISBN:9780387215822
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Texts in Applied Mathematics: 42
Keywords: Mathematics , Differential equations , Computer mathematics , Mathematics , Ordinary Differential Equations , 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-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-1991-9783642735134:ONLINE Show nearby items on shelf
Title:Computer Simulation of Ion-Solid Interactions
Author(s): Wolfgang Eckstein
Date:1991
Size:1 online resource (296 p.)
Note:10.1007/978-3-642-73513-4
Contents:1. Introduction -- 2. The Binary Collision Model -- 2.1 Laboratory System -- 2.2 Centre-of-Mass System -- 2.3 Relations Between Laboratory and Centre-of-Mass Systems -- 2.4 Energy Transfer -- 2.5 Classical Scattering Theory -- 2.6
Asymptotic Trajectories -- 2.7 Determination of the Scattering Angle and the Time Integral -- 2.8 Limitations of the Binary Collision Approximation -- 2.9 Limitations of the Classical Mechanics Treatment -- 3. Classical Dynamics Model
-- 3.1 Newton’s Equations -- 3.2 Integration of Newton’s Equations -- 3.3 The Time Step, Bookkeeping -- 4. Interaction Potentials -- 4.1 Screened Coulomb Potentials -- 4.2 The Born-Mayer Potential -- 4.3 Attractive Potentials -- 4.4
Combined Potentials -- 4.5 Empirical Potentials -- 4.6 Embedded Atom Method -- 4.7 Analytical Methods -- 4.8 Comparison of Potentials -- 5. Inelastic Energy Loss -- 5.1 Local Electronic Energy Loss -- 5.2 Continuous Electronic Energy
Loss -- 5.3 Comparison -- 6. Thermal Vibrations and Specific Energies -- 6.1 Thermal Vibrations -- 6.2 Specific Energies -- 6.2.1 Cutoff Energy -- 7. Programs Based on the BCA Model -- 7.1 Random Target Structures -- 7.2 Monte Carlo
Programs -- 7.3 Crystalline Targets -- 7.4 Lattice Programs -- 7.5 TRIM.SP and TRIDYN -- 7.6 MARLOWE -- 8. Programs Based on the Classical Dynamics Model -- 8.1 Stable, Metastable and Quasi-Stable Programs -- 8.2 Classical Dynamics
Programs -- 9. Trajectories -- 10. Ranges -- 10.1 Definitions -- 10.2 Literature -- 10.3 Examples -- 11. Backscattering -- 11.1 Definitions -- 11.2 Literature -- 11.3 Examples -- 12. Sputtering -- 12.1 Definitions -- 12.2 Negative
Binomial Distribution -- 12.3 Literature -- 12.4 Examples -- 13. Radiation Damage -- 13.1 Definitions -- 13.2 Component Analysis -- 13.3 Fuzzy Clustering -- 13.4 Literature -- 13.5 Examples -- Abbreviations Used in the Tables --
Constants -- References -- Author Index
ISBN:9783642735134
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Springer Series in Materials Science: 10
Keywords: Physics , Solid state physics , Spectroscopy , Microscopy , Materials , Thin films , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , Solid State Physics , Spectroscopy and Microscopy , Surfaces and Interfaces, Thin Films
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-9783540461418:ONLINE Show nearby items on shelf
Title:11th International Conference on Numerical Methods in Fluid Dynamics
Author(s):
Date:1989
Size:1 online resource (624 p.)
Note:10.1007/3-540-51048-6
Contents:Computational fluid dynamics — A personal view -- Computational models in plasma dynamics -- Parallel computers and parallel computing in scientific simulations -- CFD for hypersonic airbreathing aircraft -- Multigrid for the
steady-state incompressible Navier-Stokes equations: A survey -- A survey of upwind differencing techniques -- Dynamical systems, turbulence and the numerical solution of the Navier-Stokes equations -- A comparative study of TV stable
schemes for shock interacting flows -- A flow-field solver using overlying and embedded meshes together with a novel compact Euler algorithm -- Multidimensional adaptive Euler solver -- Internal swirling flow predictions using a
multi-sweep scheme -- A pressure gradient field spectral collocation evaluation for 3-D numerical experiments in incompressible fluid dynamics -- Numerical study of the 3D separating flow about obstacles with sharp corners -- Finite
volume TVD Runge Kutta scheme for Navier Stokes computations -- Godunov methods and adaptive algorithms for unsteady fluid dynamics -- Application of a second-order projection method to the study of shear layers -- A GRP-scheme for
reactive duct flows in external fields -- Numerical solution of the navier-stokes equations using orthogonal boundary-fitted coordinates -- Solution of the incompressible Navier-Stokes equations using artificial compressibility methods
-- Adaptive finite element methods for three dimensional compressible viscous flow simulation in aerospace engineering -- Multigrid solvers for steady Navier-Stokes equations in a driven cavity -- Computation of hypersonic vortex flows
with an Euler model -- A high resolution finite volume scheme for steady external transonic flow -- Development of a highly efficient and accurate 3D Euler flow solver -- Computation of rarefied hypersonic flows -- Gasdynamical
simulation of meteor phenomena -- A coin variant of the Euler equations -- An implicit time-marching method for solving the 3-D compressible Navier-Stokes equations -- Low-storage implicit upwind-FEM schemes for the Euler equations --
An efficient nested iterative method for solving the aerodynamic equations -- A multigrid method for steady Euler equations based on polynomial flux-difference splitting -- Computation of viscous unsteady compressible flow about
airfoils -- Parallel multilevel adaptive methods -- Adaptive grid solution for shock-vortex interaction -- Computer simulation of some types of flows arising at interactions between a supersonic flow and a boundary layer -- An implicit
flux-vector splitting finite-element technique for an improved solution of compressible Euler equations on distorted grids -- Vortex methods for slightly viscous three dimensional flow -- Second order scheme in bidimensional space for
compressible gas with arbitrary mesh -- Accurate simulation of vortical flows -- Accuracy of node-based solutions on irregular meshes -- Solutions of the incompressible Navier-Stokes equations using an upwind -differenced TVD scheme --
Three-dimensional numerical simulation of compressible, spatially evolving shear flows -- A velocity/vorticity method for viscous incompressible flow calculations -- Pulsatile flows through curved pipes -- Spurious oscillation of
finite difference solutions near shock waves and a new formulation of “TVD” scheme -- Numerical study of steady flow past a rotating circular cylinder -- Numerical simulation of the flow about a wing with leading-edge vortex flow --
Multigrid calculations for cascades -- Unsteady and turbulent flow using adaptation methods -- RNS solutions for three-dimensional steady incompressible flows -- Numerical study of unsteady viscous hypersonic blunt body flows with an
impinging shock -- Upwind schemes, multigrid and defect correction for the steady Navier-Stokes equations -- A pseudospectral matrix element method for solution of three-dimensional incompressible flows and its implementation on a
parallel computer -- Numerical resolution of the three-dimensional Navier-Stokes equations in velocity-vorticity formulation -- Calculation of shocked flows by mathematical programming -- Universal limiter for high order explicit
conservative advection schemes -- A comparison of numerical schemes on triangular and quadrilateral meshes -- The finite volume-element method (FVE) for planar cavity flow -- Adaptive remeshing for transient problems with moving bodies
-- Axisymmetric vortex breakdown in an enclosed cylinder flow -- Numerical analysis of a multigrid method for spectral approximations -- Asymmetric separated flows about sharp cones in a supersonic stream -- A flux split algorithm for
unsteady incompressible flow -- Inverse method for the determination of transonic blade profiles of turbomachineries -- Large eddy simulation of the turbulent flow in a curved channel -- Interaction of an oblique shock wave with
supersonic turbulent blunt body flows -- Shock recovery and the cell vertex scheme for the steady Euler equations -- A new multigrid approach to convection problems -- A finite-element method on prismatic elements for the
three-dimensional Navier-Stokes equations -- Vortices around cylinder in confined flows -- Coupling physical processes in simulations of chemically reactive flows -- Explicit evaluation of discontinuities in 2-D unsteady flows solved
by the method of characteristics -- Direct method for solution of three-dimensional unsteady incompressible Navier-Stokes equations -- Hypercube algorithms for turbulence simulation -- Adaptive numerical solutions of the Euler
equations in 3D using finite elements -- Parallel heterogeneous mesh refinement for advection-diffusion equations -- Simulation of inviscid hypersonic real gas flows -- Efficient spectral algorithms for solving the incompressible
Navier-stokes equations in unbounded rectangularly decomposable domains -- Computation of the threedimensional wake of a shiplike body 1989 -- Simulation of unsteady flow past sharp shoulders on semi-infinite bodies -- Semi-implicit
finite-difference simulation of laminar hypersonic flow over blunt bodies -- Numerical simulation of unsteady incompressible viscous flows in generalized coordinate systems -- Accuracy of the marching method for parabolized
Navier-Stokes Equations -- Transonic analysis of arbitrary configurations using locally refined grids -- Group explicit methods for solving compressible flow equations on vector and parallel computers -- Interactions of a flexible
structure with a fluid governed by the Navier-Stokes equations -- Navier-Stokes simulation of transonic flow about wings using a block structured approach -- On time discretization of the incompressible flow -- A detailed analysis of
inviscid flux splitting algorithms for real gases with equilibrium or finite-rate chemistry -- Convergence of the spectral viscosity method for nonlinear conservation laws -- Inviscid and viscous flow simulations around the ONERA-M6
wing by TVD schemes -- Shock propagation over a circular cylinder -- Three-dimensional computation of unsteady flows around a square cylinder -- Transonic flow solutions on general 3D regions using composite-block grids -- Steady-state
solving via stokes preconditioning Recursion relations for elliptic operators -- Hybrid conservative characteristic method for flows with internal shocks -- Improving the accuracy of central difference schemes -- Computation of high
reynolds number flows around airfoils by numerical solution of the Navier-Stokes equations -- Diagonal implicit multigrid solution of the three-dimensional Euler equations -- Numerical simulation of taylor vortices in a spherical gap
-- Numerical calculation of hypersonic flow by the spectral method -- 1.D transient crystal growth in closed ampoules: an application of the P.I.S.O. algorithm to low mach number compressible flows -- Nonisentropic potential
calculation for 2-D and 3-D transonic flow
ISBN:9783540461418
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Physics: 323
Keywords: Physics , Fluids , Physics , Mathematical Methods in Physics , Numerical and Computational Physics , 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-1988-9783642830037:ONLINE Show nearby items on shelf
Title:Advanced Boundary Element Methods Proceedings of the IUTAM Symposium, San Antonio, Texas, April 13–16, 1987
Author(s):
Date:1988
Size:1 online resource (489 p.)
Note:10.1007/978-3-642-83003-7
Contents:Stress Intensity Factors for an Embedded Crack Near a Cylindrical Cavity -- Hybrid Formulation for the Green Function in Stratified Media: Application to Wave Scattering Against Lateral Heterogeneities -- Application of Advanced
Boundary Element and Coupled Methods in Geomechanics -- Boundary Element Methods for Two Dimensional Bimaterial Fracture Problems -- Regular B. I. E. for Three-Dimensional Cracks in Elastodynamics -- Coupling Finite Elements and
Boundary Elements in Eddy-Current Computations -- The Solution of Parabolic Problems Using the Dual Reciprocity Boundary Element -- Boundary Element Method for Deterministic and Stochastic Shape Design Sensitivity Analysis -- New
Developments in the Boundary Element Method for Plane and Axisymmetric Elasticity -- Simulation of Rolling Processes by the Boundary Element Method -- Boundary Element Method Applied to 3D Optimum Design -- Boundary Element Method for
Visco-Poroelasticity Applied to Soil Consolidation -- Coupling of Finite Elements and Boundary Elements for Transmission Problems of Elastic Waves in R3 -- Seismic Response of Foundations on Zoned Soils -- The Treatment of
Singularities and the Application of the Overhauser C(1) Continuous Quadrilateral Boundary Element to Three Dimensional Elastostatics -- A Numerical Study for Convergence of a Classic 3D Problem Solved by BEM -- Condition of a Boundary
Integral Equation for the Elasticity Problem, and Round-off Errors in Its Numerical Solution -- Development and Application of Panel Methods -- Free and Forced Vibrations of Polygonal Mindlin-Plates by an Advanced BEM -- Geometrically
Nonlinear Analysis of Elastic Plates by the Boundary Element Method -- BIE Calculations for Harmonic Waves in a Solid with Periodically Distributed Inhomogeneities -- Single Integral Equations for Scattering by a Penetrable Obstacle --
A Polar Coordinate Integration Scheme with a Hierarchical Correction Procedure to Improve Numerical Accuracy -- Design Problem Relating to a Profile or a Cascade of Profiles and Construction of Orthogonal Networks Using the Riemann
Surfaces for the Multiform Singularities -- Cubic Interpolation and Special Elements in Two-Dimensional Potential Problems Using the Boundary Element Method -- On the Symmetricability of Coupling Matrices for BEM-FEM Discretizations of
Solids -- A Boundary Element Algorithm for Nonlinear Transient Elastic Wave Interaction with Frictional Interfaces -- Industrial Application of the BEM Using DBETSY -- BEM for Wave Equation with Boundary in Arbitrary Motion and
Applications to Compressible Potential Aerodynamics of Airplanes and Helicopters -- An Improved Boundary Integral Equation Method for Crack Problems -- Steep Unsteady Water Waves and Boundary Integral Methods -- Boundary Integral
Equation Method for Unsteady Viscous and Inviscid Flows -- An Integral Equation Analysis of Inelastic Shells -- A Consistent Formulation of the BEM within Elastoplasticity -- A Boundary Element Analysis of Natural Convection in Fluids
and Porous Media -- A Geometric Preprocessor for an h-Refinement Technique for the Boundary Element Method -- A Special Boundary-Integral Formulation to Simulate a Manufacturing Process -- The Finite and Boundary Element Methods: One
View of Their Foundations -- Boundary Integral Equation Formulations for Free Surface Flow Problems in Two and Three Dimensionas -- Boundary Integral Equation Method of Higher Computational Accuracy -- A Combined Boundary and Finite
Element Implementation for Axisymmetric Thermoelasticity -- Non-linear Material Interfaces: A Boundary Element approach -- Coupling Boundary Integral and Finite Element Formulations for Nonlinear Halfspace Problems -- Boundary Force
Method Analyses of Notched Plates with Cracks -- Transient Solutions of a Three-Dimensional Convective Diffusion Equation Using Mixed Boundary Elements -- Simulation of Unsteady Free Surfaces Flow Problems by the Direct Boundary
Element Method -- Integral Equation Method for Analysis of Newtonian and Non-Newtonian Flows -- Improving the Solution of the Boundary Element Method by Changing the Conditioning of the Matrix in Algebraic Equations -- The
Boundary-Integral-Equation Method for Computing the Three-Dimensional Flow of Groundwater -- Overhauser Boundary Elements in Potential Theory and Linear Elastostatics -- Hermitian Cubic Boundary Elements for the Analysis of Cracks of
Arbitrary Geometry -- Mathematical Properties and Asymptotic Error Estimates for Elliptic Boundary Element Methods
ISBN:9783642830037
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Computer hardware , Software engineering , Mechanics , Applied mathematics , Engineering mathematics , Engineering design , Engineering geology , Engineering , Foundations , Hydraulics , Physics , Mechanics , Appl.Mathematics/Computational Methods of Engineering , Engineering Design , Geoengineering, Foundations, Hydraulics , Computer Hardware , 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-1985-9783642009198:ONLINE Show nearby items on shelf
Title:Mathematical Programming Essays in Honor of George B. Dantzig Part I
Author(s):
Date:1985
Size:1 online resource (252 p.)
Note:10.1007/BFb0121038
Contents:Postoptimal analysis of a linear program under simultaneous changes in matrix coefficients -- On the continuity of the value of a linear program and of related polyhedral-valued multifunctions -- Faces of a polyhedron -- A
dantzig-wolfe decomposition variant equivalent to basis factorization -- Dual nested decomposition of staircase linear programs -- A decomposition algorithm for circuit routing -- On the solution of special generalized upper-bounded
problems: The LP/GUB knapsack problem and the ?-form separable convex objective function problem -- An efficient algorithm for minimizing a multivariate polyhedral function along a line -- Relationships among linear formulations of
separable convex piecewise linear programs -- Basis exchange characterizations for the simplex son algorithm for LP/embedded networks -- Basis graphs of greedoids and two-connectivity -- On the simplex algorithm for networks and
generalized networks -- On the facial structure of scheduling polyhedra -- Intermediate feasibility in 0–1 integer linear systems -- Classes of linear programs with integral optimal solutions -- On general decomposition schemes in
mathematical programming
ISBN:9783642009198
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematical Programming Studies: 24
Keywords: Mathematics , Computer science , Mathematical optimization , Mathematics , Optimization , Mathematics of Computing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-1983-9781461335009:ONLINE Show nearby items on shelf
Title:Atomistics of Fracture
Author(s):
Date:1983
Size:1 online resource (1074 p.)
Note:10.1007/978-1-4613-3500-9
Contents:Introductory Lectures -- General Overview: Atomistics of Environmentally-Induced Fracture -- General Overview: Atomistics of Surface Reactions -- Fracture - Applying the Breaks -- Tutorial Lectures on Fracture of Materials -- The
Ideal Strength of Solids -- Physics of Fracture -- Mechanics of Fracture -- Fractography -- Tutorial Lectures on Surface Reactivity and Bonding -- Molecular Orbitals and the Atomistics of Fracture -- Cohesion and Decohesion in the
Metallic Bond -- Theory of Chemisorption on Transition Metals in Relation with Heterogeneous Catalysis -- Relations between Fracture and Coordination Chemistry -- Hydrogen Adsorption on Metal Surfaces -- Adsorption on Metal Surfaces:
Some Key Issues -- Interactions between Adsorbed Species and Strained Crystals -- Tutorial Lectures on Interfaces -- Nonequilibrium Surface and Interface Thermodynamics -- On the Structure of Grain Boundaries in Metals -- Interfacial
Segregation in Multicomponent Systems -- Tutorial Lectures On Solution Chemistry -- The Solid/Electrolyte Interface -- Concerning Adsorbed and Absorbed Hydrogen on and in Ferrous Metals -- Electrochemically Obtained Information
Concerning the Atomistics of Fracture in the Presence of Moisture -- Occluded Corrosion Cells and Crack Tip Chemistry -- The Growth of Surface Films in Electrolytes -- New Concepts in Atomistics of Fracture -- Computer Modeling of
Cracks -- Electronic Processes at Dislocation Cores and Crack Tips -- Workshop Session 1: Hydrogen Embrittlement -- Hydrogen Related Fracture of Metals -- On the Transport of Hydrogen by Dislocations -- Contributed Papers: -- Hydride
Formation and Redistribution in Zr-2.5 wt% Nb Stressed in Torsion -- The Hardening and Softening Induced by Hydrogen in Carbon Steels -- Diffusion of Hydrogen Near An Elasto-Plastically Deformed Crack Tip -- The Importance of Transient
Effects Resulting from Dislocation Transport of Hydrogen -- Dislocation Transport of Hydrogen in Steel -- Hydrogen Assisted Crack Growth in High Purity Low Pressure Hydrogen Gas -- Effects of Crack Flank Oxide Debris and Fracture
Surface Roughness on Near-Threshold Corrosion Fatigue -- Workshop Summary -- Workshop Session 2: Intergranular Embrittlement -- Atomistic Mechanisms of Intergranular Embrittlement -- Contributed Papers: -- About Intergranular Fracture
of Hydrogenated Pure Metals -- Relative Effects of S, Sb, and P on the Intergranular Fracture of Iron and Nickel Tested at Cathodic Potentials -- A Comparative Study of the Influence of Rare Earth and Molybdenum Additions on the Temper
Embrittlement Characteristics of a Low Alloy Steel -- The Effect of Sulphur on Hydrogen Recombination on Iron -- Workshop Summary -- Workshop Session 3: Liquid Metal Embrittlement -- Liquid and Solid Metal Embrittlement -- Nucleation
and Egress of Dislocations at Crack Tips -- Workshop Summary -- Workshop Session 4: Stress Corrosion Cracking -- Stress Corrosion Cracking -- Contributed Papers: -- On the Propagation of Transgranular Stress-Corrosion Cracks -- The
Embedded Disk Pressure Test (DPT): A Sensitive Technique to Investigate Materials Embrittlement -- H2S Adsorption on Plastically Strained Iron -- Workshop Summary -- Summary Session -- Atomistics of Fracture, a Conference Summary --
Contributed Papers: -- The Adsorbate-Substrate Bond and Stress-Relief Near a Crack Tip -- Crack-Tip Blunting versus Cleavage Extension -- A Comment on the Interpretation of The Griffith’s Surface Energy in Terms of Lattice Vibrations
-- Participants -- Photographs of Conference
ISBN:9781461335009
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-1980-9781468490510:ONLINE Show nearby items on shelf
Title:Bottom-Interacting Ocean Acoustics
Author(s):
Date:1980
Size:1 online resource (717 p.)
Note:10.1007/978-1-4684-9051-0
Contents:Geoacoustic Properties of Marine Sediments -- Attenuation of Sound in Marine Sediments -- Directivity and Radiation Impedance of a Transducer Embedded in a Lossy Medium -- Elastic Properties Related to Depth of Burial, Strontium
Content and Age, and Diagenetic Stage in Pelagic Carbonate Sediments -- Application of Geophysical Methods and Equipment to Explore the Sea Bottom -- The Acoustic Response of Some Gas-Charged Sediments in the Northern Adriatic Sea --
Simultaneous Application of Reflection Strength Recorder, Sidescan Sonar and Sub-Bottom Profiler in Sea-Floor Sediment Mapping -- Results and Methods Used to Determine the Acoustic Properties of the Southeast Asian Margins -- Circular
Structures Observed in the Deep Sea by the Swathmap Long-Range Sidescan Sonar -- Bottom Loss: Reflection and Refraction -- A Perspective on Bottom Reflectivity and Backscattering -- Some Bottom-Reflection Loss Anomalies Near Grazing
and their Effect on Propagation in Shallow Water -- Determination of Sediment Sound Speed Profiles Using Caustic Range Information -- Inference of Geo-Acoustic Parameters from Bottom-Loss Data -- Attenuation Estimates from High
Resolution Sub-Bottom Profiler Echoes -- Low Frequency Bottom Reflectivity Measurements in the Tufts Abyssal Plain -- Resonances in Acoustic Bottom Reflection and their Relation to the Ocean Bottom Properties -- Comparison of Synthetic
and Experimental Bottom Interactive Waveforms -- Reflection and Refraction of Parametrically Generated Sound at a Water-Sediment Interface -- Transmission of a Narrow Beam of Sound across the Boundary between two Fluids --
Bottom-Interface and Seismic-Wave Propagation -- Experimental Determination of Properties of the Scholte Wave in the Bottom of the North Sea -- Model Computations for Low-Velocity Surface Waves on Marine Sediments -- Experimental and
Theoretical Studies of Seismic Interface Waves in Coastal Waters -- Ambient and Ship-Induced Low-Frequency Noise in Shallow Water -- Dispersion of One-Second Rayleigh Modes through Oceanic Sediments Following Shallow Earthquakes in the
South-Central Pacific Ocean Basin -- Velocity Spectral Estimates from the Arrays of the ROSE Program -- Acoustic Modelling -- Bottom Interaction Represented by Impedance Conditions in Normal-Mode Calculations -- Cycle Distance in
Guided Propagation -- Computations of Averaged Sound-Propagation Losses and Frequency/Space Coherence Functions in Shallow Waters -- Initial Data for the Parabolic Equation -- The Seamount as a Diffracting Body -- Propagation of Sound
from a Fluid Wedge into a Fast Fluid Bottom -- Range-Dependent Bottom-Limited Propagation Modelling with the Parabolic Equation -- Sound Propagation: Techniques and Experiment vs Theory -- A Low-Frequency Parametric Research Tool for
Ocean Acoustics -- Transmission Loss Variability in Shallow Water -- Influence of Semiconsolidated Sediments on Sound Propagation in a Coastal Region -- Geoacoustic Models of the Seabed to Support Range-Dependent Propagation Studies on
the Scotian Shelf -- Propagation Loss Modelling on the Scotian Shelf: the Geo-Acoustic Model -- Propagation Loss Modelling on the Scotian Shelf: Comparison of Model Predictions with Measurements -- Sea Floor Effects on Shallow-Water
Acoustic Propagation -- Broadband Model/Data Comparisons for Acoustic Propagation in Coastal Waters -- Computer Model Predictions of Ocean Basin Reverberation for Large Underwater Explosions -- Fluctuations, Coherence and Signal
Processing -- Fluctuation Statistics of Sea-Bed Acoustic Backscatter -- Measurements of Spatial Coherence of Bottom-Interacting Sound in the Tagus Abyssal Plain -- Effects of Medium Fluctuations on Underwater Acoustic Transmissions in
a Shallow Water Area -- Analysis of Time-Varying Spatially-Varying Sound-Propagation Systems -- Phase-Coherence in a Shallow Water Waveguide -- The Influence of Unknown Bottom Parameters on Bearing Estimation in Shallow Water -- List
of contributors -- Author Index
ISBN:9781468490510
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:NATO Conference Series, Marine Sciences : 5
Keywords: Earth sciences , Oceanography , Earth Sciences , Oceanography
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover Image
Call number:QA76.9.U83B532::2006 Show nearby items on shelf
Title:C++ GUI programming with Qt 4
Author(s): Jasmin Blanchette
Mark Summerfield
Date:2006
Publisher:Prentice Hall in association with Trolltech Press
Note:includes a CD-ROM
Contents:A Brief History of Qt, Basic Qt, Getting Started, Creating Dialogs, Creating Main Windows, Implementing Applicaiton Functionality, Creating Custom Widgets, Layout Management,Event Processing, 2D and 3D Graphics, Drag and Drop, Item View Classes, Container Classes, Input/Output, Databases, Networking, XML, Providing Online Help, Internationalizaiton, Multithreading, Creating Plugins, Platform-Specific Features, Embedded Programming, Installing Qt, Introduciton to C++ for Java and C# Programmers
ISBN:0131872494
Keywords: Graphical user interfaces (Computer systems) , C++ (Computer program language)
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
Location: MAIN

Cover
Image
Call number:QA76.76.D47.T68::2017EB Show nearby items on shelf
Title:Fast and Effective Embedded Systems Design : Applying the ARM mbed
Author(s): Rob Toulson
Tim Wilmshurst
Date:2017
Edition:Second Edition
Publisher:Elsevier Science and Technology Books, Inc
Size:491 p
Contents:Embedded systems, microcontrollers, and ARM -- Introducing the mbed -- Digital input and output -- Analog output -- Analog input -- Further programming techniques -- Starting with serial communication -- Liquid crystal displays -- Interrupts, timers, and tasks -- Memory and data manaagement -- Wireless communication Bluetooth and Zigbee -- Internet communication and control -- Working with digital audio -- Letting go of the mbed libraries -- Hardware insights: clocks, resets, and power supply -- Developing commercial products with mbed.
ISBN:9780081008805
Keywords: Embedded computer systems , Computer software , Real-time data processing
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover Image
Call number:QA76.5915.P47::2003 Show nearby items on shelf
Title:Pervasive computing The mobile world
Author(s): Uwe Hansmann
Date:2003
Edition:2nd
Publisher:Berlin : Springer
Size:448 p.
Contents:Part I: What Pervasive Computing is all about - Introduction - Part II: Pervasive Components - Pervasive Devices - Pervasive Operating Systems - Pervasive Java - Pervasive Middleware - Pervasive Security - Part III: Connecting the Pervasive World - Internet Protocols and Formats - Wireless Application Protocol - Pervasive Connectivity - Pervasive Service Discovery - Part IV: Back-end Server Infrastructure - Application Servers - Gateways and Proxies - Application and Device Management - Content Adap tation and Synchronization - Part V: New Services in the Pervasive Space - Pervasive Portals - Networked Home - e-Finance - e-Travel - Security Services - Part VI: Pervasive Computing at Work - Part VII: Appendixes - Useful Web Sites - Bibliography - Glos sary - Index
ISBN:3540002189
Series:Springer professional computing
Keywords: Ubiquitous computing. , Mobile computing. , Embedded computer 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
Location: MAIN

Return to the Fermilab Library catalog