close
1.

電子ブック

EB
by Pieter Wesseling
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Springer Series in Computational Mathematics ; 29
オンライン: http://dx.doi.org/10.1007/978-3-642-05146-3
所蔵情報: loading…
2.

電子ブック

EB
by Ernst Hairer, Gerhard Wanner
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Springer Series in Computational Mathematics ; 14
オンライン: http://dx.doi.org/10.1007/978-3-642-05221-7
所蔵情報: loading…
3.

電子ブック

EB
edited by Barry Koren, Kees Vuik
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computational Science and Engineering ; 71
オンライン: http://dx.doi.org/10.1007/978-3-642-03344-5
所蔵情報: loading…
4.

電子ブック

EB
edited by Yunqing Huang, Ralf Kornhuber, Olof Widlund, Jinchao Xu
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computational Science and Engineering ; 78
オンライン: http://dx.doi.org/10.1007/978-3-642-11304-8
所蔵情報: loading…
5.

電子ブック

EB
edited by Jan S. Hesthaven, Einar M. Rønquist
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computational Science and Engineering ; 76
オンライン: http://dx.doi.org/10.1007/978-3-642-15337-2
所蔵情報: loading…
6.

電子ブック

EB
edited by Markus Banagl, Denis Vogel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Contributions in Mathematical and Computational Sciences ; 1
オンライン: http://dx.doi.org/10.1007/978-3-642-15637-3
所蔵情報: loading…
7.

電子ブック

EB
by Hans Petter Langtangen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Texts in Computational Science and Engineering ; 6
オンライン: http://dx.doi.org/10.1007/978-3-642-18366-9
所蔵情報: loading…
8.

電子ブック

EB
by Bertil Gustafsson
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Texts in Computational Science and Engineering ; 8
オンライン: http://dx.doi.org/10.1007/978-3-642-19495-5
所蔵情報: loading…
9.

電子ブック

EB
by Abdul-Majid Wazwaz
出版情報: Berlin, Heidelberg : Higher Education Press, Beijing and Springer-Verlag GmbH Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-21449-3
所蔵情報: loading…
10.

電子ブック

EB
by Harold Cohen
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-9837-8
所蔵情報: loading…
11.

電子ブック

EB
by Larisa Beilina, Michael Victor Klibanov
出版情報: Boston, MA : Springer US, 2012
オンライン: http://dx.doi.org/10.1007/978-1-4419-7805-9
所蔵情報: loading…
12.

電子ブック

EB
by Alfio Quarteroni, Fausto Saleri, Paola Gervasio
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Texts in Computational Science and Engineering ; 2
オンライン: http://dx.doi.org/10.1007/978-3-642-12430-3
所蔵情報: loading…
13.

電子ブック

EB
by Aslak Tveito, Hans Petter Langtangen, Bjørn Frederik Nielsen, Xing Cai
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Texts in Computational Science and Engineering ; 7
オンライン: http://dx.doi.org/10.1007/978-3-642-11299-7
所蔵情報: loading…
14.

電子ブック

EB
by C. Woodford, C. Phillips
出版情報: Dordrecht : Springer Science+Business Media B.V., 2012
オンライン: http://dx.doi.org/10.1007/978-94-007-1366-6
所蔵情報: loading…
15.

電子ブック

EB
edited by Björn Engquist, Olof Runborg, Yen-Hsi R. Tsai
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2012
シリーズ名: Lecture Notes in Computational Science and Engineering ; 82
オンライン: http://dx.doi.org/10.1007/978-3-642-21943-6
所蔵情報: loading…
16.

電子ブック

EB
edited by Bourama Toni, Keith Williamson, Nasser Ghariban, Dawit Haile, Zhifu Xie
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 24
オンライン: http://dx.doi.org/10.1007/978-1-4614-4559-3
所蔵情報: loading…
目次情報: 続きを見る
Central Configuration of the N-Body Problem and Spacecraft Orbital Design, Dr. Zhifu Xie
A Note on Fractional Calculus and some Applications. Dr. Gaston N’Guerekata
A note on Non-Autonomous Systems of Second-Order Differential Equations, Dr. Toka Diagana
How the Talmud divides an Estate among Creditors, Dr. Stephen Schecter
On the non-uniqueness of the decomposition of weighted pseudo-almost periodic functions. Dr. Gaston N’Guerekata.-Note on the almost periodic Beverton-Holt equation. Paul Bezandry
Piecewise-defined Difference Equations: Open Problem, Dr. Candace Kent
Mathematics Behind Microstructures, Dr. Daniel Vasiliu
Tool Support for Efficient Programming of Graphics Processing Units, Dr. Kostadin Damevski
Association Studies of Racial Disparities in Cancer Survivability, Dr. Lisa Walls and Dr. Weidong Mao
Perfect Hexagons, Elementary Triangle and the Center of Cubic Curve. –Dr. Raymond Fletcher
Central Configuration of the N-Body Problem and Spacecraft Orbital Design, Dr. Zhifu Xie
A Note on Fractional Calculus and some Applications. Dr. Gaston N’Guerekata
A note on Non-Autonomous Systems of Second-Order Differential Equations, Dr. Toka Diagana
17.

電子ブック

EB
by Wai-How Hui, Kun Xu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: http://dx.doi.org/10.1007/978-3-642-25896-1
所蔵情報: loading…
目次情報: 続きを見る
Derivation of Conservation Law Equations
Review of Eulerian Computation for One-dimensional Flow
One-Dimensional Flow Computation Using the Unified Coordinates
Comments on Current Methods for Multi-Dimensional Flow Computation
The Unified Coordinates Formulation of CFD
Properties of the Unified Coordinates
Lagrangian Gas Dynamics
Steady 2-D and 3-D Supersonic Flow
Unsteady 2-D and 3-D Flow Computation
Viscous Flow Computation
Applications of the Unified Coordinates to Kinetic Theory
Derivation of Conservation Law Equations
Review of Eulerian Computation for One-dimensional Flow
One-Dimensional Flow Computation Using the Unified Coordinates
18.

電子ブック

EB
by Hans Petter Langtangen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Texts in Computational Science and Engineering ; 6
オンライン: http://dx.doi.org/10.1007/978-3-642-30293-0
所蔵情報: loading…
目次情報: 続きを見る
Preface
Computing with Formulas
Loops and Lists
Functions and Branching
Input Data and Error Handling
Array Computing and Curve Plotting
Files, Strings and Dictionaries
Introduction to Classes
Random Numbers and Simple Games
Object-Oriented Programming
Sequences and Difference Equations
Introduction to Discrete Calculus
Introduction to Differential Equations
A Complete Differential Equation Project
Programming of Differential Equations
Debugging
Migrating Python to Compiled Code
Technical Topics
Bibliography
Index
Preface
Computing with Formulas
Loops and Lists
19.

電子ブック

EB
by Bruno Cordani
出版情報: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
シリーズ名: Progress in Mathematical Physics ; 64
オンライン: http://dx.doi.org/10.1007/978-0-8176-8370-2
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of Figures
1 Introductory Survey
2 Analytical Mechanics and Integrable Systems
3 Perturbation Theory
4 Numerical Tools I: ODE Integration
5 Numerical Tools II: Detecting Order, Chaos, and Resonances
6 The Kepler Problem
7 The KEPLER Program
8 Some Perturbed Keplerian Systems
9 The Multi-Body Gravitational Problem
Bibliography
Index
Preface
List of Figures
1 Introductory Survey
20.

電子ブック

EB
edited by Carlos A. de Moura, Carlos S. Kubrusly
出版情報: Boston : Birkhäuser Boston : Imprint: Birkhäuser, 2013
オンライン: http://dx.doi.org/10.1007/978-0-8176-8394-8
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Stability of Different Schemes
Mathematical Intuition: Poincaré, Pólya, Dewey.- Three-dimensional Plasma Arc Simulation using Resistive MHD
A Numerical Algorithm for Ambrosetti-Prodi Type Operators
On the Quadratic Finite Element Approximation of 1-D Waves: Propagation, Observation, Control, and Numerical Implementation
Space-Time Adaptive Mutilresolution Techniques for Compressible Euler Equations
A Framework for Late-time/stiff Relaxation Asymptotics
Is the CFL Condition Sufficient? Some Remarks
Fast Chaotic Artificial Time Integration
Appendix A
Hans Lewy's Recovered String Trio
Appendix B
Appendix C
Appendix D.
Foreword
Stability of Different Schemes
Mathematical Intuition: Poincaré, Pólya, Dewey.- Three-dimensional Plasma Arc Simulation using Resistive MHD
21.

電子ブック

EB
edited by Bourama Toni
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 37
オンライン: http://dx.doi.org/10.1007/978-1-4614-6345-0
所蔵情報: loading…
目次情報: 続きを見る
An Overview of Durability and Damage Tolerance Methodology at NASA Langley Research Center, Jonathan Ransom, Edward Glaessgen, James Ratcliffe
On the -convergence Theory and its Application to Block Copolymer Morphology, Xiaofeng Ren
‘Rainbows’ in homogeneous and radially inhomogeneous spheres: connections with ray, wave and potential scattering theory, John Adam
Understanding the Dynamics of Collision and near-collision motion in the N-body problem, Lennard Bakker
Absolute Stability and Conditional Stability in General Delayed Differential Equations, Junping Shi
Existence of Antiperiodic solutions to semilinear evolution equations in intermediate Banach Spaces, Gaston N’Guerekata, Gisele Mophou
Signal, Image Processing and Machine Learning; The Key to Complex Problems in Medicine and Biology, Masha Zahery, Kayvan Najarian
Real-Time Noise Cancellation using Wavelet Transforms, Eshan Sheybani
Null Controllability of the heat equation with two constraints on the control: application to a discriminating sentinel with given sensitivity, Ousseynou Nakoulima, Sadou Tao
A Galerkin Method Solution of Heat Transfer Problems in Closed Channels: Fluid Flow Analysis, Nasser Ghariban
Optimal Control for Distributed Linear Systems subjected to Null-controllability with constraints on the state, Michelle Mercan
Almost and Pseudo-almost Limit Cycles with Applications to quasiperiodic Solitary Waves, Bourama Toni, Melissa Watts
On Almost periodic Stochastic Difference Equations, Paul Bezandry
An Overview of Durability and Damage Tolerance Methodology at NASA Langley Research Center, Jonathan Ransom, Edward Glaessgen, James Ratcliffe
On the -convergence Theory and its Application to Block Copolymer Morphology, Xiaofeng Ren
‘Rainbows’ in homogeneous and radially inhomogeneous spheres: connections with ray, wave and potential scattering theory, John Adam
22.

電子ブック

EB
by Laurent Gosse
出版情報: Milano : Springer Milan : Imprint: Springer, 2013
シリーズ名: SIMAI Springer Series ; 2
オンライン: http://dx.doi.org/10.1007/978-88-470-2892-0
所蔵情報: loading…
目次情報: 続きを見る
Introduction and chronological perspective
Lifting a non-resonant scalar balance law
Lyapunov functional for linear error estimates
Early well-balanced derivations for various systems
Viscosity solutions and large-time behavior for non-resonant balance laws
Kinetic scheme with reflections and linear geometric optics
Material variables, strings and infinite domains
The special case of 2-velocity kinetic models
Elementary solutions and analytical discrete-ordinates for radiative transfer
Aggregation phenomena with kinetic models of chemotaxis dynamics
Time-stabilization on flat currents with non-degenerate Boltzmann-Poisson models
Klein-Kramers equation and Burgers/Fokker-Planck model of spray
A model for scattering of forward-peaked beams
Linearized BGK model of heat transfer
Balances in two dimensions: kinetic semiconductor equations again
Non-conservative products and locally Lipschitzian paths
A tiny step toward hypocoercivity estimates for well-balanced schemes on 2x2 models
Preliminary analysis of the errors for Vlasov-BGK
Introduction and chronological perspective
Lifting a non-resonant scalar balance law
Lyapunov functional for linear error estimates
23.

電子ブック

EB
edited by Hester Bijl, Didier Lucor, Siddhartha Mishra, Christoph Schwab
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2013
シリーズ名: Lecture Notes in Computational Science and Engineering ; 92
オンライン: http://dx.doi.org/10.1007/978-3-319-00885-1
所蔵情報: loading…
目次情報: 続きを見る
Timothy Barth: Non-Intrusive Uncertainty Propagation with Error Bounds for Conservation Laws Containing Discontinuities
Philip Beran and Bret Stanford: Uncertainty Quantification in Aeroelasticity
Bruno Després, Gaël Poëtte and Didier Lucor: Robust uncertainty propagation in systems of conservation laws with the entropy closure method
Richard P. Dwight, Jeroen A.S. Witteveen and Hester Bijl: Adaptive Uncertainty Quantification for Computational Fluid Dynamics
Chris Lacor, Cristian Dinescu, Charles Hirsch and Sergey Smirnov: Implementation of intrusive Polynomial Chaos in CFD codes and application to 3D Navier-Stokes
Siddhartha Mishra, Christoph Schwab and Jonas Šukys: Multi-level Monte Carlo Finite Volume Methods for Uncertainty Quantification in nonlinear systems of balance laws
Jeroen A.S. Witteveen and Gianluca Iaccarino: Essentially Non-Oscillatory Stencil Selection and Subcell Resolution in Uncertainty Quantification
Timothy Barth: Non-Intrusive Uncertainty Propagation with Error Bounds for Conservation Laws Containing Discontinuities
Philip Beran and Bret Stanford: Uncertainty Quantification in Aeroelasticity
Bruno Després, Gaël Poëtte and Didier Lucor: Robust uncertainty propagation in systems of conservation laws with the entropy closure method
24.

電子ブック

EB
edited by Michael Bader, Hans-Joachim Bungartz, Tobias Weinzierl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Lecture Notes in Computational Science and Engineering ; 93
オンライン: http://dx.doi.org/10.1007/978-3-642-38762-3
所蔵情報: loading…
目次情報: 続きを見る
A Review of the Finite Cell Method for Nonlinear Structural Analysis of Complex CAD and Image-based Geometric Models: Dominik Schillinger, Quanji Cai, Ralf-Peter Mundani, and Ernst Rank
Immersed Boundary Methods for Fluid-Structure Interaction and Shape Optimization within an FEM-based PDE Toolbox: Janos Benk, Hans-Joachim Bungartz, Miriam Mehl, and Michael Ulbrich
Numerical simulation of transport in porous media: some problems from micro to macro scale: Quanji Cai Sheema Kooshapur Michael Manhart, Ralf-Peter Mundani, Ernst Rank, Andreas Springer, Boris Vexler
Optimal Control of Partially Miscible Two-Phase Flow with Applications to Subsurface CO2 Sequestration: Moritz Simon and Michael Ulbrich
A Newton-CG Method for Full-Waveform Inversion in a Coupled Solid-Fluid System: Christian Boehm and Michael Ulbrich
Advances in the Parallelisation of Software for Quantum Chemistry Applications: Martin Roderus, Alexei Matveev, Hans-Joachim Bungartz and Notker Rösch
Designing Spacecraft High Performance Computing Architectures: Fisnik Kraja, Georg Acher, Arndt Bode
Requirements Engineering for Computational Seismology Software: Yang Li, Bernd Bruegge, Simon Stähler, Nitesh Narayan, and Heiner Igel
A High-Performance Interactive Computing Framework for Engineering Applications: Jovana Kneževi´c, Ralf-Peter Mundani, Ernst Rank
A Framework for the Interactive Handling of High-Dimensional Simulation Data in Complex Geometries: A. Benzina, G. Buse, D. Butnaru, A. Murarasu, M. Treib, V. Varduhn, R.-P. Mundani
Experiences with a Flexibly Reconfigurable Visualization System on Software Development and Workplace Ergonomics: Marcus Tönnis, Amal Benzina, Gudrun Klinker
A Review of the Finite Cell Method for Nonlinear Structural Analysis of Complex CAD and Image-based Geometric Models: Dominik Schillinger, Quanji Cai, Ralf-Peter Mundani, and Ernst Rank
Immersed Boundary Methods for Fluid-Structure Interaction and Shape Optimization within an FEM-based PDE Toolbox: Janos Benk, Hans-Joachim Bungartz, Miriam Mehl, and Michael Ulbrich
Numerical simulation of transport in porous media: some problems from micro to macro scale: Quanji Cai Sheema Kooshapur Michael Manhart, Ralf-Peter Mundani, Ernst Rank, Andreas Springer, Boris Vexler
25.

電子ブック

EB
edited by Ronald Hoppe
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Lecture Notes in Computational Science and Engineering ; 101
オンライン: http://dx.doi.org/10.1007/978-3-319-08025-3
所蔵情報: loading…
目次情報: 続きを見る
Solution of 2D Contact Shape Optimization Problems
Phase Field Methods for Binary Recovery
Programming with Separable Ellipsoidal Constraints
Adaptive Finite Elements for Optimally Controlled Elliptic Variational Inequalities
Topology Design of Elastic Structures for a Contact Model
Bisection Methods for Mesh Generation
Differentiability of Energy Functionals for Unilateral Problems in Domains
Two-Sided Guaranteed Estimates of the Cost Functional for Optimal Control Problems with Elliptic State Equations
Sensitivity Analysis of Work Functional for Compressible Navier-Stokes Equations
Exact Controllability to Trajectories for Navier-Stokes Equations
Solution of 2D Contact Shape Optimization Problems
Phase Field Methods for Binary Recovery
Programming with Separable Ellipsoidal Constraints
26.

電子ブック

EB
by Jüri Engelbrecht
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
オンライン: http://dx.doi.org/10.1007/978-3-319-14791-8
所蔵情報: loading…
目次情報: 続きを見る
1 Introduction— What is all that about?
  2 What is wave motion
3 How to model waves?
4 What are internal variables? Arkadi Berezovski answers
5 What are evolution equations? . 6 What physical effects are involved? - 7 What physical mechanisms govern waves in non-conservative systems? - 8 What is complexity of waves? - References
Index
1 Introduction— What is all that about?
  2 What is wave motion
3 How to model waves?
27.

電子ブック

EB
by Debora Amadori, Laurent Gosse
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-3-319-24785-4
所蔵情報: loading…
目次情報: 続きを見る
1 Introduction
2 Local and global error estimates
3 Position-dependent scalar balance laws
4 Lyapunov functional for inertial approximations
5 Entropy dissipation and comparison with Lyapunov estimates
6 Conclusion and outlook
1 Introduction
2 Local and global error estimates
3 Position-dependent scalar balance laws
28.

電子ブック

EB
by Jürgen Jost
出版情報: New York, NY : Springer-Verlag New York, 2007
シリーズ名: Graduate Texts in Mathematics ; 214
オンライン: http://dx.doi.org/10.1007/978-0-387-49319-0
所蔵情報: loading…
29.

電子ブック

EB
by Andrei Bogatyrev
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-3-642-25634-9
所蔵情報: loading…