1.
ＥＢ
by Roozbeh Hazrat
2.
ＥＢ
by Jesús A. Loera, Jörg Rambau, Francisco Santos
3.
ＥＢ
edited by Wolfgang E. Nagel, Dietmar B. Kröner, Michael M. Resch
4.
ＥＢ
edited by Walter Gautschi, Giuseppe Mastroianni, Themistocles M. Rassias
5.
ＥＢ
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
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-642-11304-8
所蔵情報:
loading…
6.
ＥＢ
by Hans Petter Langtangen
7.
ＥＢ
by Jie Shen, Tao Tang, Li-Lian Wang
8.
ＥＢ
edited by Massimiliano Sala, Shojiro Sakata, Teo Mora, Carlo Traverso, Ludovic Perret
9.
ＥＢ
edited by Hans Munthe-Kaas, Brynjulf Owren
10.
ＥＢ
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
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-540-68942-3
所蔵情報:
loading…
11.
ＥＢ
by Bernhard Korte, Jens Vygen
12.
ＥＢ
by Dieter Jungnickel
13.
ＥＢ
edited by Dialla Konaté
14.
ＥＢ
edited by Wolfgang E. Nagel, Dietmar Kröner, Michael Resch
15.
ＥＢ
by Tarek Poonithara Abraham Mathew
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名:
Lecture Notes in Computational Science and Engineering ; 61
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-540-77209-5
所蔵情報:
loading…
16.
ＥＢ
by Mark Braverman, Michael Yampolsky ; edited by Arjeh M. Cohen, Henri Cohen, David Eisenbud, Michael F. Singer, Bernd Sturmfels
17.
ＥＢ
edited by Siegfried Wagner, Matthias Steinmetz, Arndt Bode, Matthias Brehm
18.
ＥＢ
edited by Wolfgang E. Nagel, Dietmar B. Kröner, Michael M. Resch
19.
ＥＢ
edited by Gerald Farin, Hans-Christian Hege, David Hoffman, Christopher R. Johnson, Konrad Polthier, Martin Rumpf, David Laidlaw, Joachim Weickert
20.
ＥＢ
edited by Daniel J. Bernstein, Johannes Buchmann, Erik Dahmen
21.
ＥＢ
by Hans Petter Langtangen
22.
ＥＢ
SpringerLink (Online service)
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名:
Mathematics and Visualization ;
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/b106657
所蔵情報:
loading…
23.
ＥＢ
SpringerLink (Online service)
24.
ＥＢ
edited by Gyula O. H. Katona, Alexander Schrijver, Tamás Szőnyi, Gábor Sági
出版情報:
Berlin, Heidelberg : János Bolyai Mathematical Society and Springer-Verlag, 2010
シリーズ名:
Bolyai Society Mathematical Studies ; 20
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-642-13580-4
所蔵情報:
loading…
25.
ＥＢ
by Johan Villiers
26.
ＥＢ
by Hans Petter Langtangen
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名:
Texts in Computational Science and Engineering ; 6
子書誌情報:
loading…
オンライン:
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
27.
ＥＢ
by Michael Joswig, Thorsten Theobald
目次情報:
続きを見る
Introduction and Overview
Geometric Fundamentals
Polytopes and Polyhedra
Linear Programming
Computation of Convex Hulls
Voronoi Diagrams
Delone Triangulations
Algebraic and Geometric Foundations
Gröbner Bases and Buchberger’s Algorithm
Solving Systems of Polynomial Equations Using Gröbner Bases
Reconstruction of Curves
Plücker Coordinates and Lines in Space
Applications of Non-Linear Computational Geometry
Algebraic Structures
Separation Theorems
Algorithms and Complexity
Software
Notation
Introduction and Overview
Geometric Fundamentals
Polytopes and Polyhedra
28.
ＥＢ
edited by Jochen Garcke, Michael Griebel
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名:
Lecture Notes in Computational Science and Engineering ; 88
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-642-31703-3
所蔵情報:
loading…
29.
ＥＢ
by Dieter Jungnickel
目次情報:
続きを見る
Prefaces
Basic Graph Theory
Algorithms and Complexity
Shortest Paths
Spanning Trees
The Greedy Algorithm
Flows
Combinatorial Applications
Connectivity and Depth First Search
Colorings
Circulations
The Network Simplex Algorithm
Synthesis of Networks
Matchings
Weighted Matchings
A Hard Problem: The TSP
Appendix A: Some NP-Complete Problems
Appendix B: Solutions
Appendix C: List of Symbols
References
Index
Prefaces
Basic Graph Theory
Algorithms and Complexity
30.
ＥＢ
edited by Michael Griebel, Marc Alexander Schweitzer
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名:
Lecture Notes in Computational Science and Engineering ; 89
子書誌情報:
loading…
オンライン:
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
31.
ＥＢ
by Apostolos Syropoulos
出版情報:
New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名:
IFSR International Series on Systems Science and Engineering ; 31
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-1-4614-8379-3
所蔵情報:
loading…
目次情報:
続きを見る
Introduction
A Précis of Classical Computability Theory
Elements of Fuzzy Set Theory
On Fuzzy Turing Machines
Other Fuzzy Models of Computation
Appendix A: Computing with Words
Appendix B: The Rough Sets Approach
References
Subject Index
Name Index
Introduction
A Précis of Classical Computability Theory
Elements of Fuzzy Set Theory
32.
ＥＢ
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
子書誌情報:
loading…
オンライン:
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
33.
ＥＢ
edited by Tor Dokken, Georg Muntingh
目次情報:
続きを見る
1 Introduction to ShApes, Geometry, and Algebra: Tor Dokken and Georg Muntingh
Part I Change of Representation: 2 Numerical methods for implicitisation and their applications: Oliver J. D. Barrowclough
3 Sparse implicitization via interpolation: Ioannis Z. Emiris, Tatjana Kalinka, and Christos Konaxis
4 The intersection problems of parametric curves and surfaces by means of matrix-based implicit representations: Thang Luu Ba
Part II Geometric Computing – Algebraic Tools: 5 Singular Zeros of Polynomial Systems: Angelos Mantzaflaris and Bernard Mourrain
6 Plane mixed discriminants and toric jacobians: Alicia Dickenstein, Ioannis Z. Emiris and Anna Karasoulou
7 Topology of the intersection of two parameterized surfaces, using computations in 4D space: Stéphane Chau and André Galligo
8 Rational Bézier Formulas with Quaternion and Clifford Algebra Weights: Rimvydas Krasauskas and Severinas Zubé
Part III Algebraic Geometry for CAD Applications: 9 Algebraic spline geometry – some remarks: Ragni Piene
10 On the dimension of spline spaces on triangulations: Nelly Villamizar and Bernard Mourrain
11 Polynomial Interpolation Problems in Projective Spaces and Products of Projective Lines: Elisa Postinghel
12 Rational parametrizations of edge and corner blends for isogeometric analysis: Heidi E. I. Dahl
Part IV Practical Industrial Problems: 13 Bisectors and Vorono¨ı diagram of a family of parallel half-lines: I. Adamou, M. Fioravanti, L. Gonzalez-Vega, and B. Mourrain
14 Generating an approximate trivariate spline representation for contractible domains: Thien T. Nguyen
15 Isogeometric analysis of Navier-Stokes flow using locally refinable B-splines: Peter Nørtoft and Tor Dokken
1 Introduction to ShApes, Geometry, and Algebra: Tor Dokken and Georg Muntingh
Part I Change of Representation: 2 Numerical methods for implicitisation and their applications: Oliver J. D. Barrowclough
3 Sparse implicitization via interpolation: Ioannis Z. Emiris, Tatjana Kalinka, and Christos Konaxis
34.
ＥＢ
edited by Robert M. Kirby, Martin Berzins, Jan S. Hesthaven
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名:
Lecture Notes in Computational Science and Engineering ; 106
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-319-19800-2
所蔵情報:
loading…
目次情報:
Preface
Invited Papers
Contributed Papers
Preface
Invited Papers
Contributed Papers
35.
ＥＢ
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
36.
ＥＢ
by Duan Li, Xiaoling Sun
出版情報:
Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名:
International Series in Operations Research & Management Science ; 84
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/0-387-32995-1
所蔵情報:
loading…
37.
ＥＢ
Korte, Bernhard ; Vygen, Jens ; SpringerLink (Online service)
38.
ＥＢ
edited by Are Magnus Bruaset, Aslak Tveito
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名:
Lecture Notes in Computational Science and Engineering ; 51
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/3-540-31619-1
所蔵情報:
loading…
39.
ＥＢ
by J. Frédéric Bonnans, J. Charles Gilbert, Claude Lemaréchal, Claudia A. Sagastizábal
40.
ＥＢ
by John N. Hooker
出版情報:
Boston, MA : Springer Science+Business Media, LLC, 2007
シリーズ名:
International Series in Operations Research & Management Science ; 100
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-0-387-38274-6
所蔵情報:
loading…
41.
ＥＢ
edited by Jirí Matouek, Bernd Gärtner
42.
ＥＢ
edited by Armin Iske, Jeremy Levesley
43.
ＥＢ
edited by Wolfgang E. Nagel, Willi Jäger, Michael Resch
44.
ＥＢ
edited by Johannes Buchmann, Ulrich Vollmer
45.
ＥＢ
edited by Geir Hasle, Knut-Andreas Lie, Ewald Quak
46.
ＥＢ
edited by Béla Bollobás, Robert Kozma, Dezső Miklós
47.
ＥＢ
edited by Claude Brezinski, Yair Shapira
48.
ＥＢ
edited by Robert Lowen, Alain Verschoren
49.
ＥＢ
edited by Björn Engquist
50.
ＥＢ
edited by Claude Bruter
51.
ＥＢ
by Annie Cuyt, Vigdis Brevik Petersen, Brigitte Verdonk, Haakon Waadeland, William B. Jones
52.
ＥＢ
by J. A. Bondy, U. S. R. Murty
53.
ＥＢ
edited by Jan de Gier, Cheryl E. Praeger, Terence Tao
目次情報:
続きを見る
Non-Equilibrium Systems and Special Functions
Algebraic Geometry, Approximation and Optimisation
On the Frontiers of High Dimensional Computation
Month of Mathematical Biology
Dynamics, Foliations, and Geometry In Dimension 3
Recent Trends on Nonlinear PDEs of Elliptic and Parabolic Type
Functional Data Analysis and Beyond
Geometric and Categorical Representation Theory
Non-Equilibrium Systems and Special Functions
Algebraic Geometry, Approximation and Optimisation
On the Frontiers of High Dimensional Computation
54.
ＥＢ
by Zhiping Shi, Yong Guan, Ximeng Li
目次情報:
続きを見る
Introduction
Algebraic Systems
Complex Numbers
Gauge Integration
FourierTransformation
Discrete Fourier Transformation
Matrices
Introduction
Algebraic Systems
Complex Numbers
55.
ＥＢ
edited by Alexander Kononov, Michael Khachay, Valery A Kalyagin, Panos Pardalos
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名:
Theoretical Computer Science and General Issues ; 12095
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-49988-4
所蔵情報:
loading…
目次情報:
続きを見る
Discrete Optimization
Mathematical Programming
Game Theory
Scheduling Problem
Heuristics and Metaheuristics
Operational Research Applications
Discrete Optimization
Mathematical Programming
Game Theory
56.
ＥＢ
edited by Ronald Haynes, Scott MacLachlan, Xiao-Chuan Cai, Laurence Halpern, Hyea Hyun Kim, Axel Klawonn, Olof Widlund
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名:
Lecture Notes in Computational Science and Engineering ; 138
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-56750-7
所蔵情報:
loading…
目次情報:
Part I Plenary Talks (PT)
Part II Talks in Minisymposia (MT)
Part III Contributed Talks and Posters (CT)
Part I Plenary Talks (PT)
Part II Talks in Minisymposia (MT)
Part III Contributed Talks and Posters (CT)
57.
ＥＢ
edited by Nils A. Baas, Gunnar E. Carlsson, Gereon Quick, Markus Szymik, Marius Thaule
目次情報:
続きを見る
A fractal dimension for measures via persistent homology
DTM-based filtrations
Persistence diagrams as diagrams: a categorification of the stability theorem
The persistence landscape and some of its properties
Topological approaches to deep learning
Topological data analysis of single-cell Hi-C contact maps
Neural ring homomorphisms and maps between neural codes
Radius functions on Poisson–Delaunay mosaics and related complexes experimentally
Iterated integrals and population time series analysis
Prediction in cancer genomics using topological signatures and machine learning
Topological adventures in neuroscience
Percolation on homology generators in codimension one
Hyperplane neural codes and the polar complex
Analysis of dynamic graphs and dynamic metric spaces via zigzag persistence
Canonical stratifications along bisheaves
Inverse problems in topological persistence
Sparse circular coordinates via principal Z-bundles
Same but different: distance correlations between topological summaries
Certified mapper: repeated testing for acyclicity and obstructions to the nerve lemma
A fractal dimension for measures via persistent homology
DTM-based filtrations
Persistence diagrams as diagrams: a categorification of the stability theorem
58.
ＥＢ
edited by Santanu Manna, Biswa Nath Datta, Sk. Safique Ahmad
目次情報:
続きを見る
PART I: Numerical Mathematics Aspects, A. Ray and A. K. Singh, A Green’s function approach to analyze the dispersion characteristics of Love type wave due to an impulsive point source in a piezoelectric layered structure
N. K. Thakur, A. Ojha, and S.K.Tiwari, The role of adaptation in plankton system with Beddington-DeAngelis type functional response
A. Das, Exact traveling wave solutions and bifurcation analysis for time fractional dual power Zakharov-Kuznetsov-Burgerse quation
D. Mokati, N. Gupta and V.H. Badshah, Stability analysis for an seiqr epidemic model with satur ated incidence rat
M. S. Chaki, S. Guha and A. K. Singh, Impact of rectangular/parabolic shaped irregularity on the propagation of shear horizontal wave in a slightly compressible layered structure
N. Singh and N. Adlakha, Study of source influx on interdependent calcium and inositol 1;4;5− trisphosphate dynamics in a cardiac myocyte cell
H. Behera, S. A. Selvan, and V. K. Gupta, Wave interaction with a floating circular porous elastic plate
S. Nirwal and S. A. Sahu, Dynamics of SH wave propagation in Al/BaTiO3 composite structure
R. Kaushik and S. Banerjee, Predator-prey model with prey group defense and non-linear predator harvesting
C. Kumaricr, and S. Kundu, Case wise study of heterogeneity on the traversal characteristics of torsional surface waves
R. Kumhar, and S. Kundu, Effect of the heterogeneity, initial stress and viscosity on the propagation characteristics of shear wave
M. K. Jena and K. S. Sahu, Haar Wavelet: History and Its Applications
K. Singh, Active Control with the Method of Receptances: Recent Progresses and its Application in Active Aeroelastic Control
PART II: Computational fluid Dynamics, S. Rekha and S. Bhattacharya, Numerical study on the efficiency of magnetophoresis in human vasculature like conditions
V. Dhruv, U. Mishra, R. Maniyeri, Numerical Study on Fluid Flow through Collapsible Channels
A. Kumar Singh, N. Govindaraj and S. Roy, Water boundary layer flow over an exponentially permeable stretching sheet with variable viscosity and Prandtl number
A. Dubey and B. Vasu, Finite Element Analysis of MHD Blood Flow in Stenosed Coronary Artery with the Suspension of Nanoparticles
A. Agarwal and A. Prakash, Comparative study of boundary conditions in LBM for incompressible laminar flow
S. Ghosh, H. Behera, and M. Sani, Stability analysis of a film flow down an incline in the presence of a floating flexible membrane
S. Dwivedi, On the Dynamics of TransverseDomainWallsin Ferro magnetic Hetero structures with Nonlinear Dissipative Effects
A. Kumar, R. Singh, and R. Tripathi, Heat Transfer Analysis of CNT-Nanofluid between Two Rotating Plates in the Presence of Viscous Dissipation Effect
A. Bhattacharyya, G. S. Seth, and R. Kumar, Modeling of Viscoelastic Fluid Flow Past a NonLinearly Stretching Surface with Convective Heat Transfer: OHAM Analysis
PART III: Scientific Computing and Neural Network, K. Kumar Gupta and S. Kumar, Probabilistic intuitionistic fuzzy set based intuitionistic fuzzy time series forecasting method
R. Tiwari, M. Goyal, P. Prakash, Investigation of transient stability in ieee 9- bus system using power world simulato
D. Y. Dube and H. G. Patel
Discrete Time Minimum Variance Control of Satellite System
V. Kumar, S. K. Raghuwanshi and A. Kumar, Hand Talk System for Deaf And DumbPerson
A. S. Cholin, A. Vinay, A. D Bhat, A. A. Deshpande, K. N. Balasubramanya Murthy and S. Natarajan, PSI(ψ)invariantfeaturesforfacerecognition
S. Singha and R. P. Saini, Performance analysis of a modified twisted savonius hydrokinetic turbine
A Vinay, A. Gupta, A. Bharadwaj, A. Srinivasan, K. N. B. Murthy, V. Kamath and S. Natarajan, Facial Analysis using Jacobians and Gradient Boosting
A. Vinay, A. Singh, K.N.B Murthy Mayank Raj, N. Anand and S. Natarajan
Facial Image Classification using Rotation, Illumination, Scale and Expression Invariant Dense Features and ENN
A. Vinay, V. R. Kamath, V. M. Nidheesh, S. Natarajan and K.N.B Murthy, Aggregation of LARK Vectors for Facial Image Classification
PART I: Numerical Mathematics Aspects, A. Ray and A. K. Singh, A Green’s function approach to analyze the dispersion characteristics of Love type wave due to an impulsive point source in a piezoelectric layered structure
N. K. Thakur, A. Ojha, and S.K.Tiwari, The role of adaptation in plankton system with Beddington-DeAngelis type functional response
A. Das, Exact traveling wave solutions and bifurcation analysis for time fractional dual power Zakharov-Kuznetsov-Burgerse quation
59.
ＥＢ
edited by Robert Klöfkorn, Eirik Keilegavlen, Florin A. Radu, Jürgen Fuhrmann
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名:
Springer Proceedings in Mathematics & Statistics ; 323
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-43651-3
所蔵情報:
loading…
目次情報:
続きを見る
Part I Invited contributions: Jerome Droniou, Interplay between diffusion anisotropy and mesh skewness in Hybrid High-Order schemes
Mária Lukácová, K -convergence of finite volume solutions of the Euler equations
Sandra May, Time-dependent conservation laws on cut cell meshes and the small cell problem
Alessio Fumugalli, Anna Scotti, Reactive flow in fractured porous media
Marianne Bessemoulin, Claire Chainais-Hillairet, Hélène Mathis, Numerical schemes for semiconductors energy-transport models
Part II Theoretical aspects: Reviewed contributed papers on convergence, stability analysis, and other related topics
Part III Examples: Reviewed contributed papers
Part I Invited contributions: Jerome Droniou, Interplay between diffusion anisotropy and mesh skewness in Hybrid High-Order schemes
Mária Lukácová, K -convergence of finite volume solutions of the Euler equations
Sandra May, Time-dependent conservation laws on cut cell meshes and the small cell problem
60.
ＥＢ
by Dirk Hachenberger, Dieter Jungnickel
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名:
Algorithms and Computation in Mathematics ; 29
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-60806-4
所蔵情報:
loading…
目次情報:
続きを見る
Basic Algebraic Structures and Elementary Number Theory
Basics on Polynomials- Field Extensions and the Basic Theory of Galois Fields
The Algebraic Closure of a Galois Field
Irreducible Polynomials over Finite Fields
Factorization of Univariate Polynomials over Finite Fields
Matrices over Finite Fields
Basis Representations and Arithmetics
Shift Register Sequences
Characters, Gauss Sums, and the DFT
Normal Bases and Cyclotomic Modules
Complete Normal Bases and Generalized Cyclotomic Modules
Primitive Normal Bases
Primitive Elements in Affin Hyperplanes
List of Symbols
References
Index
Basic Algebraic Structures and Elementary Number Theory
Basics on Polynomials- Field Extensions and the Basic Theory of Galois Fields
The Algebraic Closure of a Galois Field
61.
ＥＢ
edited by Vladimir A. Garanzha, Lennard Kamenski, Hang Si
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Lecture Notes in Computational Science and Engineering ; 143
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-76798-3
所蔵情報:
loading…
目次情報:
続きを見る
Part I Delaunay-Voronoi Theory and Applications
Local Groups in Delone Sets
Manifolds of Triangulations, Braid Groups of Manifolds, and the Groups Γ k/n
A Proof of the Invariant-Based Formula for the Linking Number and its Asymptotic Behaviour
The Singularity Set of Optimal Transportation Maps
Polygonal and Polyhedral Delaunay Meshing
On Decomposition of Embedded Prismatoids in R3 without Additional Points
Out-of-core Constrained Delaunay Tetrahedralizations for Large Scenes
Part II Adaptive Meshing
Size Gradation Control for Anisotropic Hybrid Meshes
Adjoint Computation on Anisotropic Meshes in High-fidelity RANS Simulations
Moving Deforming Mesh Generation Based on the Quasi-isometric Functional
Adaptive Grids for Non-monotone Waves and Instabilities in a Non-equilibrium PDE Model
RBF-VerBSS Hybrid Method for Mesh Deformation
A Uniform Convergence Analysis for a Bakhvalov-type Mesh with an Explicitly Defined Transition Point
On a Comprehensive Grid for Solving Problems Having Exponential or Power–of–First–Type Layers
Preserved Structure Constants for Red Refinements of Product Elements
Part III Meshing and CAD
Global Parametrization Based on Ginzburg-Landau Functional
Parametrization of Plane Irregular Regions: A Semi-automatic Approach I
A Hybrid Approach to Fast Indirect Quadrilateral Mesh Generation
Hexahedral Mesh Generation Using Voxel Field Recovery
Generation of Boundary Layer Meshes by the Enhanced Jump-and-Walk Method with a Fast Collision Detecting Algorithm
Part IV Numerical Geometry and Applications
An Improved Algorithm for Scattered Data Interpolation using Quartic Triangular Bézier Surfaces
On Integral-based (Transfinite) Laplace Coordinates
Part V Numerical Methods
Fully-implicit Collocated Finite-Volume Method for the Unsteady Incompressible Navier–Stokes Problem
Efficient Steady Flow Computations with Exponential Multigrid Methods
Exponential Time Integrators for Unsteady Advection–diffusion Problems on Refined Meshes
Part I Delaunay-Voronoi Theory and Applications
Local Groups in Delone Sets
Manifolds of Triangulations, Braid Groups of Manifolds, and the Groups Γ k/n
62.
ＥＢ
by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
目次情報:
続きを見る
A
I Introduction
II Syntax of First-Order Languages
III Semantics of First-Order Languages
IV A Sequent Calculus
V The Completeness Theorem
VI The Löwenheim–Skolem and the Compactness Theorem
VII The Scope of First-Order Logic
VIII Syntactic Interpretations and Normal Forms
B
IX Extensions of First-Order Logic
X Computability and Its Limitations
XI Free Models and Logic Programming
XII An Algebraic Characterization of Elementary Equivalence
XIII Lindström’s Theorems
References
List of Symbols
Subject Index
A
I Introduction
II Syntax of First-Order Languages
63.
ＥＢ
edited by Hans-Joachim Bungartz, Jochen Garcke, Dirk Pflüger
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Lecture Notes in Computational Science and Engineering ; 144
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-81362-8
所蔵情報:
loading…
目次情報:
続きを見る
On Expansions and Nodes for Sparse Grid Collocation of Lognormal Elliptic PDEs
Sparse Grids Approximation of Goldstone Diagrams in Electronic Structure Calculations
Generalized Sparse Grid Interpolation Based on the Fast Discrete Fourier Transform
Fast Sparse Grid Operations using the Unidirectional Principle: A Generalized and Unified Framework
Propagation of Uncertainties in Density-Driven Flow
A Posteriori Error Estimation for the Stochastic Collocation Finite Element Approximation of the Heat Equation with Random Coefficients
A Spatially Adaptive Sparse Grid Combination Technique for Numerical Quadrature
Hierarchical Extended B-splines for Approximations on Sparse Grids
Analysis of Sparse Grid Multilevel Estimators for Multi-dimensional Zakai Equations
Efficiently Transforming from Values of a Function on a Sparse Grid to Basis Coefficients
A Sparse-Grid Probabilistic Scheme for Approximation of the Runaway Probability of Electrons in Fusion Tokamak Simulation
On Expansions and Nodes for Sparse Grid Collocation of Lognormal Elliptic PDEs
Sparse Grids Approximation of Goldstone Diagrams in Electronic Structure Calculations
Generalized Sparse Grid Interpolation Based on the Fast Discrete Fourier Transform
64.
ＥＢ
by Alemdar Hasanov Hasanoğlu, Vladimir G. Romanov
目次情報:
続きを見る
Introduction: Ill-Posedness of Inverse Problems for Differential and Integral Equations
PART I. INTRODUCTION TO INVERSE PROBLEMS: 1. Functional Analysis Background of Ill-Posed Problems
2. Inverse Source Problems With Final Overdetermination
PART II. INVERSE PROBLEMS FOR DIFFERENTIAL EQUATIONS: 3. Inverse Problems for Hyperbolic Equations
4. One-dimensional Inverse Problems for Electrodynamics Equations
5. Inverse Problems for Parabolic Equations
6. Inverse Problems for Elliptic Equations
7. Inverse Problems for the Stationary Transport Equations
8. The Inverse Kinematic Problem
Appendix A: Invertibility of Linear Operators
Appendix B: Some Estimates For One-dimensional Parabolic Equation
Bibliography
Index
Introduction: Ill-Posedness of Inverse Problems for Differential and Integral Equations
PART I. INTRODUCTION TO INVERSE PROBLEMS: 1. Functional Analysis Background of Ill-Posed Problems
2. Inverse Source Problems With Final Overdetermination
65.
ＥＢ
edited by Noemi Gyori, Jana Hutter, Vishwesh Nath, Marco Palombo, Marco Pizzolato, Fan Zhang
目次情報:
続きを見る
Super-Resolution Reconstruction from Accelerated Slice-Interleaved Diffusion Encoding Data
Towards optimal sampling in diffusion MRI for accelerated fiber tractography
A Signal Peak Separation Index for axisymmetric B-tensor encoding
Improving tractography accuracy using dynamic filtering
Diffeomorphic Alignment of Along-Tract Diffusion Profile Data from Tractography
Direct reconstruction of crossing muscle fibers in the human tongue using a deep neural network
Learning Anatomical Segmentations for Tractography from Diffusion MRI
Diffusion MRI fiber orientation distribution function estimation using voxel-wise spherical U-net
Stick Stippling for Joint 3D Visualization of Diffusion MRI Fiber Orientations and Density
Q-space quantitative diffusion MRI measures using a stretched-exponential representation
Repeatability of soma and neurite metrics in cortical and subcortical grey matter
DW-MRI Microstructure Model of Models Captured via Single-Shell Bottleneck Deep Learning
Deep learning model fitting for diffusion-relaxometry: a comparative study
Pretraining Improves Deep Learning Based Tissue Microstructure Estimation
Enhancing Diffusion Signal Augmentation using Spherical Convolutions
Hybrid Graph Convolutional Neural Networks for Super Resolution of DW Images
Manifold-Aware CycleGAN for High-Resolution Structural-to-DTI Synthesis
Beyond lesion-load: Tractometry-informed metrics for characterizing white matter lesions within fibre pathways
Multi-modal brain age estimation: a comparative study confirms the importance of microstructure
Longitudinal Parcellation of the Infant Cortex Using Multi-Modal Connectome Harmonics
Automatic segmentation of dentate nuclei for microstructure assessment: example of application to temporal lobe epilepsy patients
Two Parallel Stages Deep Learning Network for Anterior Visual Pathway Segmentation
Exploring DTI Benchmark Databases Through Visual Analytics
Super-Resolution Reconstruction from Accelerated Slice-Interleaved Diffusion Encoding Data
Towards optimal sampling in diffusion MRI for accelerated fiber tractography
A Signal Peak Separation Index for axisymmetric B-tensor encoding
66.
ＥＢ
by Ernst P. Stephan, Thanh Tran
目次情報:
続きを見る
Part I: General Theory
Part II: Two-Dimensional Problems
Part III: Three-Dimensional Problems
Part IV: FEM-BEM Coupling
Part V: Problems on the Sphere
Part VI: Appendices
References
Index
Part I: General Theory
Part II: Two-Dimensional Problems
Part III: Three-Dimensional Problems
67.
ＥＢ
edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
出版情報:
Singapore : Springer Nature Singapore : Imprint: Springer, 2021
シリーズ名:
Springer Proceedings in Mathematics & Statistics ; 369
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-981-16-4173-2
所蔵情報:
loading…
目次情報:
続きを見る
S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem
D. Ikegami and N. Trang, On supercompactness of ω1
S. Iwata, Interpolation properties for Sacchetti’s logics
T. Kurahashi, Rosser provability and the second incompleteness theorem
H. Kurokawa, On Takeuti’s early view of the concept of set
Yo Matsubara and T. Usuba, On Countable Stationary Towers
M. Ozawa, Reforming Takeuti’s Quantum Set Theory to Satisfy De Morgan’s Laws
T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds
M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions
M. Yasugi, “Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment
Y. Yoshinobu, Properness under closed forcing
S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem
D. Ikegami and N. Trang, On supercompactness of ω1
S. Iwata, Interpolation properties for Sacchetti’s logics
68.
ＥＢ
by Živorad Tomovski, Delčo Leškovski, Stefan Gerhold
目次情報:
続きを見る
1 Introduction
2 Generalized Mathieu Series
3 Mean Convergence of Fourier-Mathieu Series
4 Estimates for Multiple Generalized Mathieu Series
5 Asymptotic Expansions of Mathieu Series
6 Two-Sided Inequalities for the Butzer-Flocke-Hauss Complete Omega Function
7 Probability Distributions Associated with Mathieu Series
8 Conclusion
Appendix A: Some special functions and their properties
1 Introduction
2 Generalized Mathieu Series
3 Mean Convergence of Fourier-Mathieu Series
69.
ＥＢ
by Josef Dick, Peter Kritzer, Friedrich Pillichshammer
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2022
シリーズ名:
Springer Series in Computational Mathematics ; 58
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-031-09951-9
所蔵情報:
loading…
目次情報:
続きを見る
Introduction
Integration of Smooth Periodic Functions
Constructions of Lattice Rules
Modified Construction Schemes
Discrepancy of Lattice Point Sets
Extensible Lattice Point Sets
Lattice Rules for Nonperiodic Integrands
Intrgration with Respect to Probability Measures
Integration of Analytic Functions
Korobov's p-Sets
Lattice Rules in the Randomized Setting
Stability of Lattice Rules
L2-Approximation Using Lattice Rules
L∞-Approximation Using Lattice Rules
Multiple Rank-1 Lattice Point Sets
Fast QMC Matrix-Vector Multiplication
Partial Diffeential Equations With Random Coefficients
Numerical Experiments for Lattice Rule Construction Algorithms
References
Index
Introduction
Integration of Smooth Periodic Functions
Constructions of Lattice Rules
70.
ＥＢ
by Antoine Chambert-Loir
目次情報:
続きを見る
Elements of Theory of Probability
Entropy and Mutual Information
Coding
Sampling
Solutions to Exercises
Bibliography
Notation
Index
Elements of Theory of Probability
Entropy and Mutual Information
Coding
ＥＢ
