close
1.

電子ブック

EB
edited by William W. Hager, Shu-Jen Huang, Panos M. Pardalos, Oleg A. Prokopyev
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Nonconvex Optimization and Its Applications ; 82
オンライン: http://dx.doi.org/10.1007/0-387-29550-X
所蔵情報: loading…
2.

電子ブック

EB
by Wolfgang Rautenberg
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/0-387-34241-9
所蔵情報: loading…
3.

電子ブック

EB
by Wenyu Sun, Ya-Xiang Yuan
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Springer Optimization and Its Applications ; 1
オンライン: http://dx.doi.org/10.1007/b106451
所蔵情報: loading…
4.

電子ブック

EB
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28815-5
所蔵情報: loading…
5.

電子ブック

EB
by Panos J. Antsaklis, Anthony N. Michel
出版情報: Boston, MA : Birkhäuser Boston, 2006
オンライン: http://dx.doi.org/10.1007/0-8176-4435-0
所蔵情報: loading…
6.

電子ブック

EB
by Alexey Pavlov, Nathan Wouw, Henk Nijmeijer
出版情報: Boston, MA : Birkhäuser Boston, 2006
シリーズ名: Systems and Control: Foundations & Applications ;
オンライン: http://dx.doi.org/10.1007/0-8176-4465-2
所蔵情報: loading…
7.

電子ブック

EB
by Wilhelm Forst, Dieter Hoffmann
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-0-387-78977-4
所蔵情報: loading…
8.

電子ブック

EB
edited by Siegfried Wagner, Matthias Steinmetz, Arndt Bode, Markus Michael Müller
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
オンライン: http://dx.doi.org/10.1007/978-3-642-13872-0
所蔵情報: loading…
9.

電子ブック

EB
by Arthur E. Frazho, Wisuwat Bhosri
出版情報: Basel : Birkhäuser Basel, 2010
シリーズ名: Operator Theory: Advances and Applications, Linear Operators and Linear Systems ; 204
オンライン: http://dx.doi.org/10.1007/978-3-0346-0292-1
所蔵情報: loading…
10.

電子ブック

EB
by Ole Christensen
出版情報: Boston : Springer Science+Business Media, LLC, 2010
シリーズ名: Applied and Numerical Harmonic Analysis ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4980-7
所蔵情報: loading…
11.

電子ブック

EB
by Wolfgang Rautenberg
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-1221-3
所蔵情報: loading…
12.

電子ブック

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…
13.

電子ブック

EB
edited by Theodore E. Simos
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
オンライン: http://dx.doi.org/10.1007/978-90-481-9981-5
所蔵情報: loading…
14.

電子ブック

EB
edited by Wolfgang E. Nagel, Dietmar B. Kröner, Michael M. Resch
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-15748-6
所蔵情報: loading…
15.

電子ブック

EB
edited by Sabina Jeschke, Ingrid Isenhardt, Klaus Henning
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-16208-4
所蔵情報: loading…
16.

電子ブック

EB
edited by Damien Tromeur-Dervout, Gunther Brenner, David R. Emerson, Jocelyne Erhel
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computational Science and Engineering ; 74
オンライン: http://dx.doi.org/10.1007/978-3-642-14438-7
所蔵情報: loading…
17.

電子ブック

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…
18.

電子ブック

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…
19.

電子ブック

EB
edited by Michael Griebel, Marc Alexander Schweitzer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computational Science and Engineering ; 79
オンライン: http://dx.doi.org/10.1007/978-3-642-16229-9
所蔵情報: loading…
20.

電子ブック

EB
edited by Emmanuil H Georgoulis, Armin Iske, Jeremy Levesley
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Springer Proceedings in Mathematics ; 3
オンライン: http://dx.doi.org/10.1007/978-3-642-16876-5
所蔵情報: loading…
21.

電子ブック

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…
22.

電子ブック

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…
23.

電子ブック

EB
SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computational Science and Engineering ; 67
オンライン: http://dx.doi.org/10.1007/978-3-540-92744-0
所蔵情報: loading…
目次情報: 続きを見る
Numerical Simulation of a Spinning Projectile Using Parallel and Vectorized Unstructured Flow Solver
Development of a framework for parallel simulators with various physics and its performance
Experience in Parallel Computational Mechanics on MareNostrum
New approaches to modeling rarefied gas flow in the slip and transition regime
A parallel scientific software for heterogeneous hydrogeoloy
Aerodynamic Shape Optimization Methods on Multiprocessor Platforms
Non-Sinusoidal Path Optimization of Dual Airfoils Flapping in a Biplane Configuration
Parallel Computation of 3-D Viscous Flows on Hybrid Grids
Implementation of parallel DSMC method to adiabatic piston problem
Efficient Parallel Algoritm for multiconstrained of wing body configurations
Parallel Three Dimensional Direct Simulation Monte Carlo for Simulating Micro Flows
A Study on the Prediction of the Aerodynamic Characteristics of an Orbital Block of a Launch Vehicle in the Rarefied Flow Regime Using the DSMC Approach and the Parallel Computation
Parallel Solution of a 3-D Mixed Convection Problem
Computation of Hypersonic Flow of a Diatomic Gas in Rotational Non-Equilibrium past a Blunt Body Using the Generalized Boltzmann Equation
Application of Parallel Processing to Numerical Modeling of Two-Phase Deflagration-to-Detonation (DDT) Phenomenon
Highly Scalable Multiphysics Computational Framework for Propulsive Energetic Systems
A Parallel Aitken-Additive Schwarz Waveform Relaxation Method for Parabolic Problems
Parallel Computation of Incompressible Flows Driven by Moving Multiple Obstacles Using a New Moving Embedded-Grid Method
Parallel Computing on Network of Windows Based PCs
Parallel computations of droplet oscillations
Cyclic Distribution of Pipelined Parallel Deferred Correction method for ODE/DAE
Hybrid Parallelization Techniques for Lattice Boltzmann Free Surface Flows
Flow-structure interaction and flow analysis of hydraulic machinery on a computational grid
Parallel Computation of Incompressible Flow Using Building-Cube Method
3D Model of pollution distribution in city air and its parallel realization
PARALLEL NAVIER-STOKES SOLUTIONS OF A WING-FLAP CONFIGURATION ON STRUCTURED MULTI-BLOCK OVERSETTING GRIDS
PARALLEL NAVIER-STOKES SOLUTIONS OF NASA 65° DELTA-WING
PARALLEL TURBULENT NAVIER-STOKES SOLUTIONS OF WING ALONE GEOMETRIES FOR DRAG PREDICTION
Adaptive Aitken-Schwarz for Darcy 3D °ow on heterogeneous media
Numerical Simulation of Compressible Flow using Three-Dimensional Unstructured Added/Eliminated Grid Method
Technology of parallelization for 2D and 3D CFD/CAA codes based on high-accuracy explicit methods on unstructured meshes
Separate treatment of momentum and heat flows in parallel environment
DNS of Turbulent Natural Convection Flows on the MareNostrum supercomputer
TermoFluids: A new Parallel unstructured CFD code for the simulation of turbulent industrial problems on low cost PC Cluster
Schur Complement Methods for the solution of Poisson equation with unstructured meshes
Blood Flow Simulation in Cerebral Aneurysm: A Lattice Boltzmann Application in Medical Physics
Unsteady Navier Stokes Solutions of Low Aspect Ratio Rectangular Flat Wings in Compressible Flow
Case studies of solving large-scale CFD problems by means of the GasDynamicsTool software package
Direct Monte Carlo Simulation of low-speed flows
Parallel computing of 3D separated stratified fluid flows around a sphere
C(p, q, j) Scheme with Adaptive time step and Asynchronous Communications
Parallel Coupling of Heterogeneous Domains with KOP3D using PACX-MPI
Numerical simulation of 3D turbulent flows around bodies subjected to vortex-induced and forced vibration
Parallel simulation of type IIa supernovae explosions using a simplified physical model
A Fast Parallel Blood Flow Simulator
Parallel simulation of flows in porous media using adaptive locally-refined meshes
Performance Evaluation of Two Parallel, Direct Sparse Solvers for an Aeroacoustic Propagation Model
Three Dimensional Smoke Simulation on Programmable Graphics Hardware
An Approach for Parallel CFD Solutions of Store Separation Problems
Hybrid Parallelism for CFD Simulations: Combining MPI with OpenMP
Impact of the TeraGrid on Large-Scale Simulations and Visualizations
Parallel CFD Simulations of Unsteady Control Maneuver Aerodynamics
Parallel solution of flows with high velocity and/or enthalpy gradients
Numerical Simulation of Transonic Flows by a Flexible and Parallel Evolutionary Computation
Prediction of Ballistic Separation Effect by Direct Calculation of Incremental Coefficients
Parallel Implementation of a Gas-Kinetic BGK Method on Unstructured Grids for 3-D Inviscid Missile Flows
3-D Time-Accurate Inviscid and Viscous CFD Simulations of Wind Turbine Rotor Flow Fields
Modeling a Web Service-Based Decentralized Parallel Programming Environment
Computation of unsteady hovering flapping motion in parallel environment
Numerical Simulation of a Spinning Projectile Using Parallel and Vectorized Unstructured Flow Solver
Development of a framework for parallel simulators with various physics and its performance
Experience in Parallel Computational Mechanics on MareNostrum
24.

電子ブック

EB
by Peter Deuflhard
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Springer Series in Computational Mathematics ; 35
オンライン: http://dx.doi.org/10.1007/978-3-642-23899-4
所蔵情報: loading…
25.

電子ブック

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…
26.

電子ブック

EB
edited by Timothy J. Barth, Michael Griebel, David E. Keyes, Risto M. Nieminen, Dirk Roose, Tamar Schlick, Christian H. Bischof, H. Martin Bücker, Paul Hovland, Uwe Naumann, Jean Utke
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Computational Science and Engineering ; 64
オンライン: http://dx.doi.org/10.1007/978-3-540-68942-3
所蔵情報: loading…
27.

電子ブック

EB
edited by Karl Kunisch, Günther Of, Olaf Steinbach
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-69777-0
所蔵情報: loading…
28.

電子ブック

EB
edited by Luis L. Bonilla, Miguel Moscoso, Gloria Platero, Jose M. Vega
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Mathematics in Industry, The European Consortium for Mathematics in Industry ; 12
オンライン: http://dx.doi.org/10.1007/978-3-540-71992-2
所蔵情報: loading…
29.

電子ブック

EB
edited by Lars Linsen, Hans Hagen, Bernd Hamann
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Mathematics and Visualization ;
オンライン: http://dx.doi.org/10.1007/978-3-540-72630-2
所蔵情報: loading…
30.

電子ブック

EB
edited by Alexander N. Gorban, Balázs Kégl, Donald C. Wunsch, Andrei Y. Zinovyev
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Computational Science and Enginee ; 58
オンライン: http://dx.doi.org/10.1007/978-3-540-73750-6
所蔵情報: loading…
31.

電子ブック

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

電子ブック

EB
edited by Michael Resch, Sabine Roller, Peter Lammers, Toshiyuki Furui, Martin Galle, Wolfgang Bez
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-74384-2
所蔵情報: loading…
33.

電子ブック

EB
edited by Ulrich Langer, Marco Discacciati, David E. Keyes, Olof B. Widlund, Walter Zulehner
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Computational Science and Engineering ; 60
オンライン: http://dx.doi.org/10.1007/978-3-540-75199-1
所蔵情報: loading…
34.

電子ブック

EB
edited by Hans-Joachim Krebs, Willi Jäger
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-77203-3
所蔵情報: loading…
35.

電子ブック

EB
by Tarek Poonithara Abraham Mathew
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Computational Science and Engineering ; 61
オンライン: http://dx.doi.org/10.1007/978-3-540-77209-5
所蔵情報: loading…
36.

電子ブック

EB
edited by Timothy J. Barth, Michael Griebel, David E. Keyes, Risto M. Nieminen, Dirk Roose, Tamar Schlick, Frank Graziani
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Lecture Notes in Computational Science and Engineering ; 62
オンライン: http://dx.doi.org/10.1007/978-3-540-77362-7
所蔵情報: loading…
37.

電子ブック

EB
edited by Hans-Georg Bock, Frank Hoog, Avner Friedman, Arvind Gupta, Helmut Neunzert, William R. Pulleyblank, Torgeir Rusten, Fadil Santosa, Anna-Karin Tornberg, Luis L. Bonilla, Robert Mattheij, Otmar Scherzer, Wilhelmus H. A. Schilders, Henk A. Vorst, Joost Rommes
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Mathematics in Industry, The European Consortium for Mathematics in Industry ; 13
オンライン: http://dx.doi.org/10.1007/978-3-540-78841-6
所蔵情報: loading…
38.

電子ブック

EB
edited by Hans Georg Bock, Ekaterina K
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-79409-7
所蔵情報: loading…
39.

電子ブック

EB
by Alfio Quarteroni, Riccardo Sacco, Fausto Saleri
出版情報: Milano : Springer-Verlag Milan, 2008
シリーズ名: UNITEXT ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0818-2
所蔵情報: loading…
40.

電子ブック

EB
by Inna K. Shingareva, Carlos Lizárraga-Celaya
出版情報: Vienna : Springer-Verlag Vienna, 2009
オンライン: http://dx.doi.org/10.1007/978-3-211-99432-0
所蔵情報: loading…
41.

電子ブック

EB
edited by Martin Peters
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computational Science and Engineering ; 72
オンライン: http://dx.doi.org/10.1007/978-3-642-04466-3
所蔵情報: loading…
42.

電子ブック

EB
edited by Michael Resch, Sabine Roller, Katharina Benkert, Martin Galle, Wolfgang Bez, Hiroaki Kobayashi, Toshio Hirayama
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
オンライン: http://dx.doi.org/10.1007/978-3-540-85869-0
所蔵情報: loading…
43.

電子ブック

EB
edited by Timothy J. Barth, Michael Griebel, David E. Keyes, Risto M. Nieminen, Dirk Roose, Tamar Schlick, Björn Engquist, Per Lötstedt, Olof Runborg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computational Science and Engineering ; 66
オンライン: http://dx.doi.org/10.1007/978-3-540-88857-4
所蔵情報: loading…
44.

電子ブック

EB
by Gérard Milmeister
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Computational Music Science ;
オンライン: http://dx.doi.org/10.1007/978-3-642-00148-2
所蔵情報: loading…
45.

電子ブック

EB
edited by G. M. L. Gladwell, Adnan Ibrahimbegovic
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Solid Mechanics and its Applications ; 160
オンライン: http://dx.doi.org/10.1007/978-90-481-2331-5
所蔵情報: loading…
46.

電子ブック

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

電子ブック

EB
edited by Panos M. Pardalos, Petraq J. Papajorgji
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Springer Optimization and Its Applications ; 25
オンライン: http://dx.doi.org/10.1007/978-0-387-75181-8
所蔵情報: loading…
48.

電子ブック

EB
SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Mathematics and Visualization ;
オンライン: http://dx.doi.org/10.1007/b106657
所蔵情報: loading…
49.

電子ブック

EB
SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
オンライン: http://dx.doi.org/10.1007/978-3-642-01960-9
所蔵情報: loading…
50.

電子ブック

EB
SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computational Science and Engineering ; 70
オンライン: http://dx.doi.org/10.1007/978-3-642-02677-5
所蔵情報: loading…
51.

電子ブック

EB
edited by Michele Emmer, Alfio Quarteroni
出版情報: Milano : Springer-Verlag Milan, 2009
シリーズ名: MS&A ; 3
オンライン: http://dx.doi.org/10.1007/978-88-470-1122-9
所蔵情報: loading…
52.

電子ブック

EB
by Edward Hurst, Martin Gould
出版情報: London : Springer-Verlag London, 2009
オンライン: http://dx.doi.org/10.1007/978-1-84800-290-6
所蔵情報: loading…
53.

電子ブック

EB
edited by Michael Resch, Katharina Benkert, Xin Wang, Martin Galle, Wolfgang Bez, Hiroaki Kobayashi, Sabine Roller
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
オンライン: http://dx.doi.org/10.1007/978-3-642-11851-7
所蔵情報: loading…
54.

電子ブック

EB
edited by Gunilla Kreiss, Per Lötstedt, Axel Målqvist, Maya Neytcheva
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
オンライン: http://dx.doi.org/10.1007/978-3-642-11795-4
所蔵情報: loading…
55.

電子ブック

EB
by Urs Graf
出版情報: Basel : Birkhäuser Basel, 2010
オンライン: http://dx.doi.org/10.1007/978-3-0346-0408-6
所蔵情報: loading…
56.

電子ブック

EB
by Alfio Quarteroni, Paola Gervasio, Fausto Saleri
出版情報: Milano : Springer-Verlag Milan, 2010
オンライン: http://dx.doi.org/10.1007/978-88-470-1676-7
所蔵情報: loading…
57.

電子ブック

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…
58.

電子ブック

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…
59.

電子ブック

EB
edited by Hans-Joachim Bungartz, Miriam Mehl, Michael Schäfer
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computational Science and Engineering ; 73
オンライン: http://dx.doi.org/10.1007/978-3-642-14206-2
所蔵情報: loading…
60.

電子ブック

EB
by Carlo D’Angelo, Alfio Quarteroni
出版情報: Milano : Springer-Verlag Italia, 2010
シリーズ名: UNITEXT ;
オンライン: http://dx.doi.org/10.1007/978-88-470-1640-8
所蔵情報: loading…
61.

電子ブック

EB
by Marco Abate, Francesca Tovena
出版情報: Milano : Springer Milan, 2012
シリーズ名: Collana Unitext - La Matematica per il 3+2 ;
オンライン: http://dx.doi.org/10.1007/978-88-470-1941-6
所蔵情報: loading…
62.

電子ブック

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…
63.

電子ブック

EB
edited by Michael Resch, Xin Wang, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi, Sabine Roller
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2012
オンライン: http://dx.doi.org/10.1007/978-3-642-22244-3
所蔵情報: loading…
64.

電子ブック

EB
by Daniel Scholz
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: Springer Optimization and Its Applications ; 63
オンライン: http://dx.doi.org/10.1007/978-1-4614-1951-8
所蔵情報: loading…
65.

電子ブック

EB
by Walter Gautschi
出版情報: Boston : Springer Science+Business Media, LLC, 2012
オンライン: http://dx.doi.org/10.1007/978-0-8176-8259-0
所蔵情報: loading…
66.

電子ブック

EB
by Soliman Abdel-Hady Soliman, Abdel-Aal Hassan Mantawy
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: Energy Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-1752-1
所蔵情報: loading…
67.

電子ブック

EB
edited by Nicholas J. Daras
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: Springer Optimization and Its Applications ; 71
オンライン: http://dx.doi.org/10.1007/978-1-4614-4109-0
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Table of Contents
1. The Significance of Research and Development for the National Defence and its Relation with the Military University Institutions (N. Uzunoglu)
2. Selected Topics in Critical Element Detection (J.L. Walteros, P.M. Pardalos)
3. Study of Engagement with Mobile Targets (S. Tassopoulos)
4. Solving an Electromagnetic Scattering Problem in Chiral Media (C. Athanasiadis, S. Dimitroula, K. Skourogiannis)
5. Orthonormality in Interpolation Schemes for Reconstructing Signals (N.J. Daras)
6. Computer Graphics Techniques in Military Applications (D. Christou, A. Danelakis, M. Mitrouli, D. Triantafyllou)
7. Numerical Optimization for the Length Problem (C. Kravvaritis, M. Mitrouli)
8. Adaptive Policies for Sequential Sampling under Incomplete Information and a Cost Constraint (A. Burnetas, O. Kanavetas)
9. On a Lanchester Combat Model (G. Kaimakamis, N. B. Zographopoulos
10. Land Warfare and Complexity (S. Dionysios)
11. Wavelet Transform in remote sensing with Implementation in edge detection and noise reduction (P. N. Michalis)
12. Optimal Orbital Coverage of Theater Operations and Targets (V. Oikonomou)
13. A Birdʼs-Eye View of Modern Symmetric Cryptography from Combinatorial Designs (C. Koukouvinos, D.E. Simos)
14. On the Weak Convergence of an Empirical Estimator of the Discrete-Time Semi-Markov Kernel (S. Georgiadis, N. Limnios)
15. Analysis methods for unreplicated factorial experiments (P. Angelopoulos, C. Koukouvinos, A. Skountzou)
Foreword
Preface
Table of Contents
68.

電子ブック

EB
edited by Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, Andrea Walther
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Computational Science and Engineering ; 87
オンライン: http://dx.doi.org/10.1007/978-3-642-30023-3
所蔵情報: loading…
69.

電子ブック

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
70.

電子ブック

EB
by Kuppalapalle Vajravelu, Robert A. Gorder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: http://dx.doi.org/10.1007/978-3-642-32102-3
所蔵情報: loading…
目次情報: 続きを見る
Part I: Theoretical Considerations
Principles of the Homotopy Analysis Method
Methods for the Control of Convergence in Obtained Solutions
Additional Techniques. Part II: Applications to Physical Problems
Application of the Homotopy Analysis Method to Fluid Flow Problems
Application of the Homotopy Analysis Method to Heat Transfer Problems
Application of the Homotopy Analysis Method to More Advanced Problems
Part I: Theoretical Considerations
Principles of the Homotopy Analysis Method
Methods for the Control of Convergence in Obtained Solutions
71.

電子ブック

EB
by Khanh D. Pham
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-5079-5
所蔵情報: loading…
72.

電子ブック

EB
by Thomas Rylander, Par Ingelström, Anders Bondeson
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Texts in Applied Mathematics ; 51
オンライン: http://dx.doi.org/10.1007/978-1-4614-5351-2
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Convergence
Finite Differences
Eigenvalues
The Finite-Difference Time-Domain Method
The Finite Element Method
The Method of Moments
Summary and Overview.- Large Linear Systems
Krylov Methods
Introduction
Convergence
Finite Differences
73.

電子ブック

EB
by Daniel J. Galiffa
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-5969-9
所蔵情報: loading…
目次情報:
1. The Sheffer A-Type 0 Orthogonal Polynomial Sequences and Related Results
2. Some Applications of the Sheffer A-Type 0 Orthogonal Polynomial Sequences
3. A Method for Analyzing a Special Case of the Sheffer B-Type 1 Polynomial Sequences
1. The Sheffer A-Type 0 Orthogonal Polynomial Sequences and Related Results
2. Some Applications of the Sheffer A-Type 0 Orthogonal Polynomial Sequences
3. A Method for Analyzing a Special Case of the Sheffer B-Type 1 Polynomial Sequences
74.

電子ブック

EB
by Clemens Pechstein
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Lecture Notes in Computational Science and Engineering ; 90
オンライン: http://dx.doi.org/10.1007/978-3-642-23588-7
所蔵情報: loading…
目次情報: 続きを見る
Preliminaries
One-level FETI/BETI Methods
Multiscale Problems
Unbounded Domains
Dual-Primal Methods
References
Index
List of Symbols
Preliminaries
One-level FETI/BETI Methods
Multiscale Problems
75.

電子ブック

EB
edited by Hans Georg Bock, Thomas Carraro, Willi Jäger, Stefan Körkel, Rolf Rannacher, Johannes P. Schlöder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Contributions in Mathematical and Computational Sciences ; 4
オンライン: http://dx.doi.org/10.1007/978-3-642-30367-8
所蔵情報: loading…
目次情報: 続きを見る
Parameter Estimation and Optimum Experimental Design for Differential Equation Models: H.G. Bock, St. Körkel, J.P. Schlöder
Adaptive Finite Element Methods for Parameter Identification Problems: B. Vexler
Gauss-Newton Methods for Robust Parameter Estimation: T. Binder, E. Kostina
An Optimal Scanning Sensor Activation Policy for Parameter Estimation of Distributed Systems: D. Ucínski
Interaction between Experiment, Modeling and Simulation of Spatial Aspects in the JAK2/STAT5 Signaling Pathway: E. Friedmann, A. C. Pfeifer, R. Neumann, U. Klingmüller , R. Rannacher
The Importance and Challenges of Bayesian Parameter Learning in Systems Biology: J. Mazur, L. Kaderali
Experiment Setups and Parameter Estimation in Fluorescence Recovery After Photobleaching Experiments: A Review of Current Practice: J. Beaudouin, M. S. Mommer, H. G. Bock, R. Eils
Drug Resistance in Infectious Diseases: Modeling, Parameter Estimation and Numerical Simulation: Le Thi Thanh An, W. Jäger
Mathematical Models of Hematopoietic Reconstitution after Stem Cell Transplantation: A. Marciniak-Czochra, Th. Stiehl
Combustion Chemistry and Parameter Estimation: M. Fischer, U. Riedel
Numerical Simulation of Catalytic Reactors by Molecular-Based Models: O. Deutschmann, St. Tischer
Model-Based Design of Experiments for Estimating Heat-Transport Parameters in Tubular Reactors: A.Badinski, D. Corbett
Parameter Estimation for a Reconstructed SOFC Mixed-Conducting LSCF-Cathode: Th. Carraro, J. Joos
An Application of Robust Parameter Estimation in Environmental Physics: G. Herzog, F. R. Vogel
Parameter Estimation in Image Processing and Computer Vision: Ch. S. Garbe, B. Ommer
Parameter Estimation and Optimum Experimental Design for Differential Equation Models: H.G. Bock, St. Körkel, J.P. Schlöder
Adaptive Finite Element Methods for Parameter Identification Problems: B. Vexler
Gauss-Newton Methods for Robust Parameter Estimation: T. Binder, E. Kostina
76.

電子ブック

EB
by Michael Bader
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Texts in Computational Science and Engineering ; 9
オンライン: http://dx.doi.org/10.1007/978-3-642-31046-1
所蔵情報: loading…
目次情報: 続きを見る
Two Motivating Examples
How to Construct Space-Filling Curves
Grammar-Based Description of Space-Filling Curves
Arithmetic Representation of Space-Filling Curves
Approximating Polygons
Sierpinski Curves
Further Space-Filling Curves
Space-Filling Curves in 3D
Refinement Trees and Space-Filling Curves
Parallelisation with Space-Filling Curves
Locality Properties of Space-Filling Curves
Sierpinski Curves on Triangular and Tetrahedral Meshes
Case Study: Cache Efficient Algorithms for Matrix Operations
Case Study: Numerical Simulation on Spacetree Grids Using Space-Filling Curves.- Further Applications of Space-Filling Curves.- Solutions to Selected Exercises.- References
Index
Two Motivating Examples
How to Construct Space-Filling Curves
Grammar-Based Description of Space-Filling Curves
77.

電子ブック

EB
edited by Jochen Garcke, Michael Griebel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Lecture Notes in Computational Science and Engineering ; 88
オンライン: http://dx.doi.org/10.1007/978-3-642-31703-3
所蔵情報: loading…
78.

電子ブック

EB
edited by Michael M. Resch, Xin Wang, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-642-32454-3
所蔵情報: loading…
目次情報: 続きを見る
 Exascale Computing - New Challenges in Software and Hardware
Techniques and Tools for New-Generation Computing Systems
Earthquake Modeling and Simulation on High Performance Computing Systems
Computational Engineering Applications and Coupled Multi-Physics Simulations
 Exascale Computing - New Challenges in Software and Hardware
Techniques and Tools for New-Generation Computing Systems
Earthquake Modeling and Simulation on High Performance Computing Systems
79.

電子ブック

EB
edited by Michael Griebel, Marc Alexander Schweitzer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Lecture Notes in Computational Science and Engineering ; 89
オンライン: http://dx.doi.org/10.1007/978-3-642-32979-1
所蔵情報: loading…
目次情報: 続きを見る
ESPResSo 3.1 – Molecular Dynamics Software for Coarse-Grained Models: A. Arnold, O. Lenz, S. Kesselheim, R. Weeber, F. Fahrenberger, D. Roehm, P. Košovan, C. Holm
On the Rate of Convergence of the Hamiltonian Particle-Mesh Method Onno Bokhove, Vladimir Molchanov, Marcel Oliver, Bob Peeters
Peridynamics: A Nonlocal Continuum Theory
Etienne Emmrich, Richard B. Lehoucq, Dimitri Puhst
Immersed Molecular Electrokinetic Finite Element Method for Nano-Devices in Biotechnology and Gene Delivery: Wing Kam Liu, Adrian M. Kopacz, Tae-Rin Lee, Hansung Kim, Paolo Decuzzi
Corrected Stabilized Non-conforming Nodal Integration in Meshfree Methods: Marcus Rüter, Michael Hillman, Jiun-Shyan Chen
Multilevel Partition of Unity Method for Elliptic Problems with strongly Discontinuous Coefficients: Marc Alexander Schweitzer
HOLMES: Convergent Meshfree Approximation Schemes of Arbitrary Order and Smoothness: Agustín Bompadre, Luigi E. Perotti, Christian J. Cyron, Michael Ortiz
A Meshfree Splitting Method for Soliton Dynamics in Nonlinear Schrödinger Equations: Marco Caliari, Alexander Ostermann, Stefan Rainer
A Meshless Discretization Method for Markov State Models Applied to Explicit Water Peptide Folding Simulations: Konstantin Fackeldey, Alexander Bujotzek, Marcus Weber
Kernel-based Collocation Methods versus Galerkin Finite Element Methods for Approximating Elliptic Stochastic Partial Differential Equations: Gregory E. Fasshauer, Qi Ye
A Meshfree Method for the Analysis of Planar Flows of Inviscid Fluids: Vasily N. Govorukhin
Some Regularized Versions of the Method of Fundamental Solutions: Csaba Gáspár
A Characteristic Particle Method for Traffic Flow Simulations on Highway Networks: Yossi Farjoun, Benjamin Seibold
Meshfree Modeling in Laminated Composites: Daniel C. Simkins, Jr., Nathan Collier, Joseph B. Alford
ESPResSo 3.1 – Molecular Dynamics Software for Coarse-Grained Models: A. Arnold, O. Lenz, S. Kesselheim, R. Weeber, F. Fahrenberger, D. Roehm, P. Košovan, C. Holm
On the Rate of Convergence of the Hamiltonian Particle-Mesh Method Onno Bokhove, Vladimir Molchanov, Marcel Oliver, Bob Peeters
Peridynamics: A Nonlocal Continuum Theory
80.

電子ブック

EB
edited by Andrea Cangiani, Ruslan L. Davidchack, Emmanuil Georgoulis, Alexander N. Gorban, Jeremy Levesley, Michael V. Tretyakov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-642-33134-3
所蔵情報: loading…
目次情報: 続きを見る
Part I A Posteriori Error Estimation and Adaptive Methods
Part II Computational Electromagnetics
Part III Computational Methods
Part IV Convection, Diffusion, Conservation, and Hyperbolic Systems
Part V Discontinuous Galerkin Methods
Part VI Finite Element and Finite Volume techniques
Part VII Fluid Mechanics
Part VIII High Performance Computing
Part IX Multiscale Modeling and Simulations
Part X Preconditioners and Solvers
Part XI Uncertainty, Stochastic Modelling, and Applications
Part I A Posteriori Error Estimation and Adaptive Methods
Part II Computational Electromagnetics
Part III Computational Methods
81.

電子ブック

EB
by Mats G. Larson, Fredrik Bengzon
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Texts in Computational Science and Engineering ; 10
オンライン: http://dx.doi.org/10.1007/978-3-642-33287-6
所蔵情報: loading…
目次情報: 続きを見る
1. Piecewise Polynomial Approximation in 1D
2. The Finite Element Method in 1D
3. Piecewise Polynomial Approximation in 2D
4. The Finite Element Method in 2D
5. Time-dependent Problems
6. Solving Large Sparse Linear Systems
7. Abstract Finite Element Analysis
8. The Finite Element
9. Non-linear Problems
10. Transport Problems
11. Solid Mechanics
12. Fluid Mechanics
13. Electromagnetics
14. Discontinuous Galerkin Methods
A. Some Additional Matlab Code
References
1. Piecewise Polynomial Approximation in 1D
2. The Finite Element Method in 1D
3. Piecewise Polynomial Approximation in 2D
82.

電子ブック

EB
edited by Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-642-33374-3
所蔵情報: loading…
目次情報: 続きを見る
1. Physics
2. Solid State Physics
3. Reacting Flows
4. Computational Fluid Dynamics
5. Transport and Climate
6. Miscellaneous Topics
1. Physics
2. Solid State Physics
3. Reacting Flows
83.

電子ブック

EB
edited by Sabina Jeschke, Ingrid Isenhardt, Frank Hees, Klaus Henning
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-642-33389-7
所蔵情報: loading…
目次情報: 続きを見る
Foreword
List of Contributors
Part 1: Agile and Turbulence-Suitable Processes for Knowledge and Technology Intensive Organizations.-  Part 2: Next-Generation Teaching and Learning Concepts for Universities and the Economy
Part 3: Cognitive IT-Supported Processes for Heterogeneous and Cooperative Systems
Part 4: Target Group-Adapted User Models for Innovation and Technology Development Processes
Part 5: Semantic Networks and Ontologies for Complex Value Chains and Virtual Environments
Appendix: Monographs and Published Books from IMA/ZLW & IfU
Foreword
List of Contributors
Part 1: Agile and Turbulence-Suitable Processes for Knowledge and Technology Intensive Organizations.-  Part 2: Next-Generation Teaching and Learning Concepts for Universities and the Economy
84.

電子ブック

EB
by Jichun Li, Yunqing Huang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Springer Series in Computational Mathematics ; 43
オンライン: http://dx.doi.org/10.1007/978-3-642-33789-5
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Metamaterials
Introduction to Finite Element Methods
Time-Domain Finite Element Methods for Metamaterials
Discontinuous Galerkin Methods for Metamaterials
Superconvergence Analysis for Metamaterials
A Posteriori Error Estimation
A Matlab Edge Element Code
Perfectly Matched Layers
Simulation of Metamaterials
References
Index
Introduction to Metamaterials
Introduction to Finite Element Methods
Time-Domain Finite Element Methods for Metamaterials
85.

電子ブック

EB
by Houde Han, Xiaonan Wu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-642-35464-9
所蔵情報: loading…
目次情報: 続きを見る
Global artificial boundary conditions of second order elliptic differential equations
Global artificial boundary conditions of Navie Equations and Stokes Equations
Global artificial boundary conditions of heat equation and Schrodinger Equation
Fully absorbing boundary conditions of wave equations, Klein-Gordan Equation and linear KdV Equation
Discrete artificial boundary conditions
Local artificial boundary conditions
Implicit artificial boundary conditions
Nonlinear artificial boundary conditions
Applications
Global artificial boundary conditions of second order elliptic differential equations
Global artificial boundary conditions of Navie Equations and Stokes Equations
Global artificial boundary conditions of heat equation and Schrodinger Equation
86.

電子ブック

EB
by Stéphane Crépey
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Springer Finance ;
オンライン: http://dx.doi.org/10.1007/978-3-642-37113-4
所蔵情報: loading…
目次情報: 続きを見る
Part I: An Introductory Course in Stochastic Processes
1.Some classes of Discrete-Time Stochastic Processes.-2.Some Classes of Continuous-Time Stochastic Processes
3.Elements of Stochastic Analysis
Part II: Pricing Equations
4.Martingale Modeling
5.Benchmark Models
Part III: Numerical Solutions
6.Monte Carlo Methods
7.Tree Methods
8.Finite Differences
9.Callibration Methods
Part IV: Applications
10.Simulation/ Regression Pricing Schemes in Diffusive Setups
11.Simulation/ Regression Pricing Schemes in Pure Jump Setups
Part V: Jump-Diffusion Setup with Regime Switching (**)
12.Backward Stochastic Differential Equations
13.Analytic Approach
14.Extensions
Part VI: Appendix
A.Technical Proofs (**)
B.Exercises
C.Corrected Problem Sets
Part I: An Introductory Course in Stochastic Processes
1.Some classes of Discrete-Time Stochastic Processes.-2.Some Classes of Continuous-Time Stochastic Processes
3.Elements of Stochastic Analysis
87.

電子ブック

EB
edited by Are Magnus Bruaset, Aslak Tveito
出版情報: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-319-00209-5
所蔵情報: loading…
目次情報: 続きを見る
Part I: Communications Systems: 1 The Nature of the Beast: An interview with Olav Lysne
2 Igniting the New Internet: An interview with Keith Marzullo
3 The Internet of Things: An interview with Heinrich Stüttgen
Part II: Computational Science: 4 The Mathematics of the Mind: An interview with Hans Petter Langtangen
5 Solving Puzzle Earth by Adaptive Mesh Refinement: An interview with Carsten Burstedde
6 Computational Inverse Problems Can Drive a Big Data Revolution: An interview with Omar Ghattas
7 Towards the ‘Google Heart’: An interview with Natalia Trayanova
8 As Simple as Possible, but Not Simpler: An interview with Alfio Quarteroni
Part III: Software Engineering
9 A Caring Critic:  An interview with Magne Jørgensen
10 Through the Looking Glass into Digital Space: An interview with Paola Inverardi
11 Harmonizing the Babel of Voices: An interview with Martin Shepperd
12 Mediating between Man and Machine: An interview with Bashar Nuseibeh.
Part I: Communications Systems: 1 The Nature of the Beast: An interview with Olav Lysne
2 Igniting the New Internet: An interview with Keith Marzullo
3 The Internet of Things: An interview with Heinrich Stüttgen
88.

電子ブック

EB
edited by Larisa Beilina, Yury V. Shestopalov
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2013
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 52
オンライン: http://dx.doi.org/10.1007/978-3-319-00660-4
所蔵情報: loading…
89.

電子ブック

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
90.

電子ブック

EB
edited by Michael M. Resch, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi, Yevgeniya Kovalenko
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-319-01439-5
所蔵情報: loading…
目次情報: 続きを見る
Part I Challenges of Modern HPC Systems: Performance and Energy Efficiency Analysis
Feasibility study of future HPC systems for memory-intensive applications: Hiroaki Kobayashi
Analysing the Performance Improvements of Optimizations on Modern HPC Systems: Kazuhiko Komatsu, Toshihide Sasaki, Ryusuke Egawa, Hiroyuki Takizawa and Hiroaki Kobayashi
Power consumption of kernel operations: Dmitry Khabi and Uwe Küster
Part II  Frameworks and Libraries for Simulations on New-Generation Computing Systems
Lattice Boltzmann Simulations On Complex Geometries: Simon Zimny, Kannan Masilamani, Kartik Jain and Sabine Roller
IMD – A Typical Massively Parallel Molecular Dynamics Code for Classical Simulations – Structure, Applications, Latest Developments: Johannes Roth
Evaluation of FastFlow Technology for Real-World Application: Kamran Idrees, Mathias Nachtmann, Colin W. Glass
Storage and indexing of fine grain, large scale data sets: Ralf Schneider
Part III  Computational Engineering Applications and Multi-Physics Simulations
Direct Numerical Simulations of Film Cooling in a Supersonic Boundary-Layer Flow on Massively-Parallel Supercomputers: Michael Keller and Markus J. Kloker
Large scale numerics uncovering new states of matter: A. Moreno, J. M. P. Carmelo, and A. Muramatsu
Towards Simulation of Electrodialytic Sea Water Desalination: Kannan Masilamni, Jens Zudrop and Sabine Roller
A regional climate model simulation for EURO- CORDEX with the WRF model: Kirsten Warrach-Sagi, Thomas Schwitalla, Hans-Stefan Bauer, Volker-Wulfmeyer.
Part I Challenges of Modern HPC Systems: Performance and Energy Efficiency Analysis
Feasibility study of future HPC systems for memory-intensive applications: Hiroaki Kobayashi
Analysing the Performance Improvements of Optimizations on Modern HPC Systems: Kazuhiko Komatsu, Toshihide Sasaki, Ryusuke Egawa, Hiroyuki Takizawa and Hiroaki Kobayashi
91.

電子ブック

EB
edited by Wolfgang E. Nagel, Dietmar H. Kröner, Michael M. Resch
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-319-02165-2
所蔵情報: loading…
目次情報: 続きを見る
Physics
Solid State Physics
Chemistry
Reacting Flows
Computational Fluid Dynamics
Transport and Climate
Miscellaneous Topics
Physics
Solid State Physics
Chemistry
92.

電子ブック

EB
edited by Randolph Bank, Michael Holst, Olof Widlund, Jinchao Xu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Lecture Notes in Computational Science and Engineering ; 91
オンライン: http://dx.doi.org/10.1007/978-3-642-35275-1
所蔵情報: loading…
目次情報: 続きを見る
Preface
Part I: Plenary Presentations
Part II: Minisymposia
Part III: Contributed Presentations
Preface
Part I: Plenary Presentations
Part II: Minisymposia
93.

電子ブック

EB
by Daniele Boffi, Franco Brezzi, Michel Fortin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Springer Series in Computational Mathematics ; 44
オンライン: http://dx.doi.org/10.1007/978-3-642-36519-5
所蔵情報: loading…
目次情報: 続きを見る
Preface
Variational Formulations and Finite Element Methods
Function Spaces and Finite Element Approximations
Algebraic Aspects of Saddle Point Problems
Saddle Point Problems in Hilbert spaces
Approximation of Saddle Point Problems
Complements: Stabilisation Methods, Eigenvalue Problems
Mixed Methods for Elliptic Problems
Incompressible Materials and Flow Problems
Complements on Elasticity Problems
Complements on Plate Problems
Mixed Finite Elements for Electromagnetic Problems
Index.
Preface
Variational Formulations and Finite Element Methods
Function Spaces and Finite Element Approximations
94.

電子ブック

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
95.

電子ブック

EB
edited by Giorgio Giorgi, Tinne Hoff Kjeldsen
出版情報: Basel : Springer Basel : Imprint: Birkhäuser, 2014
オンライン: http://dx.doi.org/10.1007/978-3-0348-0439-4
所蔵情報: loading…
目次情報:
Preface and Acknowledgements
Introductory Chapter: A Historical View of Nonlinear Programming: Traces and Emergence
18 historical articles
Preface and Acknowledgements
Introductory Chapter: A Historical View of Nonlinear Programming: Traces and Emergence
18 historical articles
96.

電子ブック

EB
edited by Michael Griebel
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
オンライン: http://dx.doi.org/10.1007/978-3-319-00786-1
所蔵情報: loading…
目次情報: 続きを見る
Preface
Area A – Scaling Limits of Diffusion Processes and Singular Spaces
Area B – Multiple Scales in Mathematical Models of Materials Science and Biology
Area C – Numerics for Multiscale Models and Singular Phenomena
Preface
Area A – Scaling Limits of Diffusion Processes and Singular Spaces
Area B – Multiple Scales in Mathematical Models of Materials Science and Biology
97.

電子ブック

EB
edited by Mejdi Azaïez, Henda El Fekih, Jan S. Hesthaven
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Lecture Notes in Computational Science and Engineering ; 95
オンライン: http://dx.doi.org/10.1007/978-3-319-01601-6
所蔵情報: loading…
目次情報: 続きを見る
A quasi-optimal sparse grids procedure for groundwater flows
The geometric basis of numerical methods
Spectral element methods on simplicial meshes
Exponential convergence of hp-DGFEM for elliptic problems in polyhedral domains
A contribution to the outflow boundary conditions for Navier-Stokes time-splitting methods
High order space-time discretization for elastic wave propagation problems
Laguerre Simulation of Boundary Layer Flows: Conditions at Large Distance from the Wall
Implementation of an Explicit Algebraic Reynolds Stress Model in an implicit very high-order Discontinuous Galerkin solver
Investigation of near-wall grid spacing effect in high-order Discontinuous Galerkin RANS computations of turbomachinery flows
A fourth-order compact finite volume scheme for the convection-diffusion equation
On the Effect of Flux Functions in Discontinuous Galerkin Simulations of Underresolved Turbulence
Generation of High-Order Polynomial Patches from Scattered Data
Towards a high order Fourier-SEM solver of fluid models in tokamaks
Whitney forms, from manifolds to field
Exponential Convergence of the hp version of Isogeometric analysis in 1D
High-order locally implicit time integration strategies in a discontinuous Galerkin method for Maxwell’s equations
High-order ADI schemes for convection-diffusion equations with mixed derivative terms
A Numerical Study of Averaging Error Indicators in p-FEM
Coupling of an exact transparent boundary condition with a DG method for the solution of  the time-harmonic Maxwell equations
A new proof for existence of H-matrix  approximants to the inverse of FEM matrices: the Dirichlet problem for the Laplacian
Multidomain extension of a pseudospectral algorithm for the direct simulation of wall-confined rotating flows
A comparison of high-order time integrators for highly supercritical thermal convection in rotating spherical shells
High order methods with exact conservation properties
Spectral element discretization for the vorticity, the velocity and the pressure formulation of the axisymmetric Navier-Stokes problem
Higher-order compatible discretization on hexahedrals
Mimetic Spectral Element Advection
Large eddy simulation of a muffler with the high-order spectral difference method
Stability Tools for the Spectral-Element Code Nek5000; Application to Jet-in-Crossflow
A high-order discontinuous Galerkin method for viscoelastic wave propagation
Mixed Mimetic Spectral Element method applied to Darcy’s problem
Novel outflow boundary conditions for spectral direct numerical simulation of rotating flows
A Geometric Approach Towards Momentum Conservation
A Spectral Method for Optimal Control Problems Governed by the Time Fractional  Diffusion Equation with Control Constraints
Two-Phase Flow solved by High Order Discontinuous Galerkin Method
A quasi-optimal sparse grids procedure for groundwater flows
The geometric basis of numerical methods
Spectral element methods on simplicial meshes
98.

電子ブック

EB
by Walter Gander, Martin J. Gander, Felix Kwok
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Texts in Computational Science and Engineering ; 11
オンライン: http://dx.doi.org/10.1007/978-3-319-04325-8
所蔵情報: loading…
目次情報: 続きを見る
Why Study Scientific Computing?
Finite Precision Arithmetic
Linear Systems of Equations
Interpolation
Nonlinear Equations.-Least Squares Problems
Eigenvalue Problems
Differentiation
Quadrature
Numerical Ordinary Differential Equations
Iterative Methods for Linear Systems
Optimization
Bibliography
Index
Why Study Scientific Computing?
Finite Precision Arithmetic
Linear Systems of Equations
99.

電子ブック

EB
edited by Jochen Garcke, Dirk Pflüger
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Lecture Notes in Computational Science and Engineering ; 97
オンライン: http://dx.doi.org/10.1007/978-3-319-04537-5
所蔵情報: loading…
目次情報: 続きを見る
Gerrit Buse, Dirk Pfl¨uger, and Riko Jacob: Efficient Pseudorecursive Evaluation Schemes for Non-Adaptive Sparse Grids
Oliver G. Ernst and Bj¨orn Sprungk: Stochastic Collocation for Elliptic PDEs with Random Data – The Lognormal Case
Michael Griebel and Helmut Harbrecht: On the Convergence of the Combination Technique
Michael Griebel and Jan Hamaekers: Fast Discrete Fourier Transform on Generalized Sparse Grids
Michael Griebel and Jens Oettershagen: Dimension-adaptive Sparse Grid Quadrature for Integrals with Boundary Singularities
Max Gunzburger, Clayton G. Webster, and Guannan Zhang: An Adaptive Wavelet Stochastic Collocation Method for Irregular Solutions of Partial Differential Equations with Random Input Data
Brendan Harding and Markus Hegland: Robust Solutions to PDEs with Multiple Grids
Riko Jacob: Efficient Regular Sparse Grid Hierarchization by a Dynamic Memory Layout
Valeriy Khakhutskyy and Dirk Pflüger: Alternating Direction Method of Multipliers for Hierarchical Basis Approximators
Christoph Kowitz and Markus Hegland: An Opticom Method for Computing Eigenpairs
Benjamin Peherstorfer, Fabian Franzelin, Dirk Pfl¨uger, and Hans-Joachim Bungartz: Classification with Probability Density Estimation on Sparse Grids
Bettina Schieche and Jens Lang: Adjoint Error Estimation for Stochastic Collocation Methods
Sebastian Ullmann and Jens Lang: POD-Galerkin Modeling and Sparse-Grid Collocation for a Natural Convection Problem with Stochastic Boundary Conditions
Matthias Wong and Markus Hegland: Opticom and the Iterative Combination Technique for Convex Minimisation.
Gerrit Buse, Dirk Pfl¨uger, and Riko Jacob: Efficient Pseudorecursive Evaluation Schemes for Non-Adaptive Sparse Grids
Oliver G. Ernst and Bj¨orn Sprungk: Stochastic Collocation for Elliptic PDEs with Random Data – The Lognormal Case
Michael Griebel and Helmut Harbrecht: On the Convergence of the Combination Technique
100.

電子ブック

EB
edited by Manindra Agrawal, Vikraman Arvind
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2014
シリーズ名: Progress in Computer Science and Applied Logic ; 26
オンライン: http://dx.doi.org/10.1007/978-3-319-05446-9
所蔵情報: loading…
目次情報: 続きを見る
Preface
1. Complexity Theory Basics: NP and NL (Vikraman Arvind)
2. Investigations Concerning the Structure of Complete Sets (Eric Allender)
3. Space Complexity of the Directed Reachability Problem Over Surface-embedded Graphs (N.V. Vinodchandran)
4. Algebraic Complexity Classes (Meena Mahajan)
5. A Selection of Lower Bound Results for Arithmetic Circuits (Neeraj Kayal and Ramprasad Saptharishi)
6. Explicit Tensors (Markus Bläser)
7. Progress on Polynomial Identity Testing (Nitin Saxena)
8. Malod and the Pascaline (Bruno Poizat)
9. A Tutorial in Time and Space Bounds for Tree-like Resolution (Jacobo Torán)
10. An Entropy Based Proof for the Moore Bound for Irregular Graphs (S. Ajesh Babu and Jaikumar Radharishnan)
11. Permutation Groups and the Graph Isomorphism Problem (Sumanta Ghosh and Piyush P. Kurur)
Preface
1. Complexity Theory Basics: NP and NL (Vikraman Arvind)
2. Investigations Concerning the Structure of Complete Sets (Eric Allender)