Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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