close
1.

電子ブック
ＥＢ
1. Evolutionary Computation for Modeling and Optimization
by Daniel Ashlock
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-31909-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Optimization in Public Transportation : Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network
by Anita Schöbel
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Springer Optimization and Its Applications ; 3
オンライン: http://dx.doi.org/10.1007/978-0-387-36643-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Differential Evolution : In Search of Solutions
by Vitaliy Feoktistov
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Springer Optimization and Its Applications ; 5
オンライン: http://dx.doi.org/10.1007/978-0-387-36896-2
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. The Mathematica GuideBook for Numerics
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28814-7
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. The Mathematica GuideBook for Symbolics
by Michael Trott
出版情報: New York, NY : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28815-5
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Global Optimization : From Theory to Implementation
edited by Leo Liberti, Nelson Maculan
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Nonconvex Optimization and Its Applications ; 84
オンライン: http://dx.doi.org/10.1007/0-387-30528-9
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Algorithms and Programming : Problems and Solutions. 2
by Alexander Shen
出版情報: New York, NY : Springer-Verlag New York, 2010
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-1748-5
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Notes on Introductory Combinatorics. 1st
by George Pólya, Robert E. Tarjan, Donald R. Woods
出版情報: Boston : Birkhäuser Boston, 2010
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4953-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Mathematics for Multimedia. 1
by Mladen Victor Wickerhauser
出版情報: Boston : Birkhäuser Boston, 2010
シリーズ名: Applied and Numerical Harmonic Analysis ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4880-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. System Identification with Quantized Observations
by Le Yi Wang, G. George Yin, Ji-Feng Zhang, Yanlong Zhao
出版情報: Boston : Springer Science+Business Media, LLC, 2010
シリーズ名: Systems & Control: Foundations & Applications ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4956-2
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Linear Optimization : The Simplex Workbook
by Glenn Hurlbert
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-79148-7
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Triangulations : Structures for Algorithms and Applications
by Jesús A. Loera, Jörg Rambau, Francisco Santos
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Algorithms and Computation in Mathematics ; 25
オンライン: http://dx.doi.org/10.1007/978-3-642-12971-1
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Perspectives on Projective Geometry : A Guided Tour Through Real and Complex Geometry
by Jürgen Richter-Gebert
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-17286-1
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. The Linear Ordering Problem : Exact and Heuristic Methods in Combinatorial Optimization
by Rafael Martí, Gerhard Reinelt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Applied Mathematical Sciences ; 175
オンライン: http://dx.doi.org/10.1007/978-3-642-16729-4
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Approximation Algorithms for Complex Systems : Proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009
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…
16.

電子ブック
ＥＢ
16. Convex Analysis and Monotone Operator Theory in Hilbert Spaces
by Heinz H. Bauschke, Patrick L. Combettes
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: CMS Books in Mathematics, Ouvrages de mathématiques de la SMC ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-9467-7
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Arithmetics
by Marc Hindry
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-2131-2
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Mathematical Aspects of Network Routing Optimization. 1
by Carlos A.S. Oliveira, Panos M. Pardalos
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Optimization and Its Applications ; 53
オンライン: http://dx.doi.org/10.1007/978-1-4614-0311-1
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Game Theory for Control of Optical Networks
by Lacra Pavel
出版情報: Boston : Birkhäuser Boston, 2012
シリーズ名: Static & Dynamic Game Theory: Foundations & Applications ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-8322-1
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. A Singular Introduction to Commutative Algebra
by Gert-Martin Greuel, Gerhard Pfister
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-73542-7
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Horizons of Combinatorics
edited by Gábor Fejes Tóth, Dezső Miklós, Ervin Győri, Gyula O. H. Katona, László Lovász, Gábor Sági
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
シリーズ名: Bolyai Society Mathematical Studies ; 17
オンライン: http://dx.doi.org/10.1007/978-3-540-77200-2
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Algoritmi : Lo spirito dell’informatica
by David Harel, Yishai Feldman
出版情報: Milano : Springer-Verlag Italia, Milano, 2008
シリーズ名: Unitext ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0580-8
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Digraphs : Theory, Algorithms and Applications
by Jørgen Bang-Jensen, Gregory Z. Gutin
出版情報: London : Springer-Verlag London Limited, 2009
シリーズ名: Springer Monographs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-84800-998-1
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Optimal Design and Related Areas in Optimization and Statistics
edited by Luc Pronzato, Anatoly Zhigljavsky
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: Springer Optimization and Its Applications ; 28
オンライン: http://dx.doi.org/10.1007/978-0-387-79936-0
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Random Trees : An Interplay between Combinatorics and Probability
by Michael Drmota
出版情報: Vienna : Springer Vienna, 2009
オンライン: http://dx.doi.org/10.1007/978-3-211-75357-6
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Computability of Julia Sets
by Mark Braverman, Michael Yampolsky ; edited by Arjeh M. Cohen, Henri Cohen, David Eisenbud, Michael F. Singer, Bernd Sturmfels
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Algorithms and Computation in Mathematics ; 23
オンライン: http://dx.doi.org/10.1007/978-3-540-68547-0
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Algorithmic Composition : Paradigms of Automated Music Generation
by Gerhard Nierhaus
出版情報: Vienna : Springer Vienna, 2009
オンライン: http://dx.doi.org/10.1007/978-3-211-75540-2
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Explorations in Monte Carlo Methods
by Ronald W. Shonkwiler, Franklin Mendivil
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-87837-9
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Encyclopedia of Optimization. Second Edition
edited by Christodoulos A. Floudas, Panos M. Pardalos
出版情報: Boston, MA : Springer-Verlag, 2009
オンライン: http://dx.doi.org/10.1007/978-0-387-74759-0
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. G.W. Stewart : Selected Works with Commentaries
edited by Misha E. Kilmer, Dianne P. O'Leary
出版情報: Boston : Springer Science+Business Media, LLC, 2010
シリーズ名: Contemporary Mathematicians ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-4968-5
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Algorithmic Randomness and Complexity. 1
by Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Theory and Applications of Computability, In cooperation with the association Computability in Europe ;
オンライン: http://dx.doi.org/10.1007/978-0-387-68441-3
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. The Linear Algebra a Beginning Graduate Student Ought to Know. 3rd ed. 2012
by Jonathan S. Golan
出版情報: Dordrecht : Springer Netherlands, 2012
オンライン: http://dx.doi.org/10.1007/978-94-007-2636-9
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Deterministic Global Optimization : Geometric Branch-and-bound Methods and their Applications
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…
34.

電子ブック
ＥＢ
34. Just-in-Time Systems. 1
edited by Roger Z. Ríos-Mercado, Yasmín A. Ríos-Solís
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: Springer Optimization and Its Applications ; 60
オンライン: http://dx.doi.org/10.1007/978-1-4614-1123-9
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Prime Numbers and Computer Methods for Factorization
by Hans Riesel
出版情報: Boston : Springer Science+Business Media, LLC, 2012
シリーズ名: Modern Birkhäuser Classics ;
オンライン: http://dx.doi.org/10.1007/978-0-8176-8298-9
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Sensors: Theory, Algorithms, and Applications
edited by Vladimir L. Boginski, Clayton W. Commander, Panos M. Pardalos, Yinyu Ye
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: Springer Optimization and Its Applications ; 61
オンライン: http://dx.doi.org/10.1007/978-0-387-88619-0
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Mixed Integer Nonlinear Programming
edited by Jon Lee, Sven Leyffer
出版情報: New York, NY : Springer Science+Business Media, LLC, 2012
シリーズ名: The IMA Volumes in Mathematics and its Applications ; 154
オンライン: http://dx.doi.org/10.1007/978-1-4614-1927-3
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Approximation Methods for Polynomial Optimization : Models, Algorithms, and Applications
by Zhening Li, Simai He, Shuzhong Zhang
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-3984-4
所蔵情報: loading…
目次情報: 続きを見る
1.  Introduction.-2. Polynomial over the Euclidean Ball
3. Extensions of the Constraint Sets
4. Applications
5. Concluding Remarks
1.  Introduction.-2. Polynomial over the Euclidean Ball
3. Extensions of the Constraint Sets
4. Applications
39.

電子ブック
ＥＢ
39. Stationarity and Convergence in Reduce-or-Retreat Minimization
by Adam B. Levy
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-4642-2
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Data Correcting Approaches in Combinatorial Optimization
by Boris Goldengorin, Panos M. Pardalos
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-5286-7
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Polyhedral and Algebraic Methods in Computational Geometry
by Michael Joswig, Thorsten Theobald
出版情報: London : Springer London : Imprint: Springer, 2013
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-4817-3
所蔵情報: loading…
目次情報: 続きを見る
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
42.

電子ブック
ＥＢ
42. Stream Ciphers
by Andreas Klein
出版情報: London : Springer London : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-1-4471-5079-4
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Stream Ciphers
Linear Feedback Shift Registers
Non-linear Combinations of LFSRs
Correlation Attacks
BDD-Based Attacks
Algebraic Attacks
Irregular Clocked Shift Registers
The Security of Mobile Phones (GSM)
RC4 and Related Ciphers
The eStream Project
The Blum-Blum-Shub Generator and Related Ciphers
Mathematical Background
Part IV Exercises with Solutions
Introduction to Stream Ciphers
Linear Feedback Shift Registers
Non-linear Combinations of LFSRs
43.

電子ブック
ＥＢ
43. Recent Advances in Harmonic Analysis and Applications : In Honor of Konstantin Oskolkov
edited by Dmitriy Bilyk, Laura De Carli, Alexander Petukhov, Alexander M. Stokolos, Brett D. Wick
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 25
オンライン: http://dx.doi.org/10.1007/978-1-4614-4565-4
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Numerical Approximation of Exact Controls for Waves
by Sylvain Ervedoza, Enrique Zuazua
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-5808-1
所蔵情報: loading…
目次情報: 続きを見る
1.Numerical approximation of exact controls for waves
2.The discrete 1-d wave equation
3.Convergence for homogeneous boundary conditions
4.Convergence with non-homogeneous data
5. Further comments and open problems
References
1.Numerical approximation of exact controls for waves
2.The discrete 1-d wave equation
3.Convergence for homogeneous boundary conditions
45.

電子ブック
ＥＢ
45. An Introduction to Quasisymmetric Schur Functions : Hopf Algebras, Quasisymmetric Functions, and Young Composition Tableaux
by Kurt Luoto, Stefan Mykytiuk, Stephanie van Willigenburg
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: SpringerBriefs in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-7300-8
所蔵情報: loading…
目次情報: 続きを見る
1. Introduction
2. Classical combinatorial concepts
3. Hopf algebras
4. Compsition tableaux and further combinatorial concepts
5. Quasisymmetric Schur functions
References
Index
1. Introduction
2. Classical combinatorial concepts
3. Hopf algebras
46.

電子ブック
ＥＢ
46. Space-Filling Curves : An Introduction with Applications in Scientific Computing
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
47.

電子ブック
ＥＢ
47. Topics in Matroid Theory
by Leonidas S. Pitsoulis
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-8957-3
所蔵情報: loading…
目次情報: 続きを見る
1.Introduction
2.Graph Theory, Vector Spaces and Transversals
3.Definition of Matroids
4.Representability, Duality, Minors, and Connectivity
5. Decomposition of Graphic Matroids
6.Signed-Graphic Matroids
List of Symbols
Index
1.Introduction
2.Graph Theory, Vector Spaces and Transversals
3.Definition of Matroids
48.

電子ブック
ＥＢ
48. Hypergeometric Summation : An Algorithmic Approach to Summation and Special Function Identities. 2nd ed. 2014
by Wolfram Koepf
出版情報: London : Springer London : Imprint: Springer, 2014
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-6464-7
所蔵情報: loading…
目次情報: 続きを見る
Introduction
The Gamma Function
Hypergeometric Identities
Hypergeometric Database
Holonomic Recurrence Equations
Gosper’s Algorithm
The Wilf-Zeilberger Method
Zeilberger’s Algorithm
Extensions of the Algorithms
Petkovˇsek’s and Van Hoeij’s Algorithm
Differential Equations for Sums
Hyperexponential Antiderivatives
Holonomic Equations for Integrals
Rodrigues Formulas and Generating Functions
Introduction
The Gamma Function
Hypergeometric Identities
49.

電子ブック
ＥＢ
49. On-Orbit Operations Optimization : Modeling and Algorithms
by Leping Yang, Yanwei Zhu, Xianhai Ren, Yuanwen Zhang
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4939-0838-7
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Scientific Computing - An Introduction using Maple and MATLAB
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
51.

電子ブック
ＥＢ
51. Domain Decomposition Methods in Science and Engineering XXI
edited by Jocelyne Erhel, Martin J. Gander, Laurence Halpern, Géraldine Pichot, Taoufik Sassi, Olof Widlund
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Lecture Notes in Computational Science and Engineering ; 98
オンライン: http://dx.doi.org/10.1007/978-3-319-05789-7
所蔵情報: loading…
目次情報: 続きを見る
Preface
Part I: Plenary Presentations
Part II: Minisymposia
Part III: Contributed Presentations
Preface
Part I: Plenary Presentations
Part II: Minisymposia
52.

電子ブック
ＥＢ
52. Integer Programming
by Michele Conforti, Gérard Cornuéjols, Giacomo Zambelli
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Graduate Texts in Mathematics ; 271
オンライン: http://dx.doi.org/10.1007/978-3-319-11008-0
所蔵情報: loading…
目次情報: 続きを見る
Preface
1 Getting Started
2 Integer Programming Models
3 Linear Inequalities and Polyhedra
4 Perfect Formulations
5 Split and Gomory Inequalities
6 Intersection Cuts and Corner Polyhedra
7 Valid Inequalities for Structured Integer Programs
8 Reformulations and Relaxations
9 Enumeration
10 Semidefinite Bounds
Bibliography
Index
Preface
1 Getting Started
2 Integer Programming Models
53.

電子ブック
ＥＢ
53. Convex Optimization in Normed Spaces : Theory, Methods and Examples
by Juan Peypouquet
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-3-319-13710-0
所蔵情報: loading…
目次情報: 続きを見る
Basic Functional Analysis
Existence of Minimizers
Convex Analysis and Subdifferential Calculus
Examples
Problem-solving Strategies
Keynote Iterative Methods
Basic Functional Analysis
Existence of Minimizers
Convex Analysis and Subdifferential Calculus
54.

電子ブック
ＥＢ
54. Numerical Methods for Nonlinear Partial Differential Equations
by Sören Bartels
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Springer Series in Computational Mathematics ; 47
オンライン: http://dx.doi.org/10.1007/978-3-319-13797-1
所蔵情報: loading…
目次情報: 続きを見る
1. Introduction
Part I: Analytical and Numerical Foundations
2. Analytical Background
3. FEM for Linear Problems
4. Concepts for Discretized Problems
Part II: Approximation of Classical Formulations
5. The Obstacle Problem
6. The Allen-Cahn Equation
7. Harmonic Maps
8. Bending Problems
Part III: Methods for Extended Formulations
9. Nonconvexity and Microstructure
10. Free Discontinuities
11. Elastoplasticity
Auxiliary Routines
Frequently Used Notation
Index
1. Introduction
Part I: Analytical and Numerical Foundations
2. Analytical Background
55.

電子ブック
ＥＢ
55. Coding Theory and Applications : 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014
edited by Raquel Pinto, Paula Rocha Malonek, Paolo Vettori
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: CIM Series in Mathematical Sciences ; 3
オンライン: http://dx.doi.org/10.1007/978-3-319-17296-5
所蔵情報: loading…
目次情報: 続きを見る
Part I Invited Talk: 1 Capacity of Higher-Dimensional Constrained Systems: B. Marcus
Part II Communications: 2 From 1D Convolutional Codes to 2D Convolutional Codes of Rate 1/n: P. Almeida et al
3 A Coding-Based Approach to Robust Shortest-Path Routing: Á.I. Barbero and Ø. Ytrehus
4 Constructions of Fast-Decodable Distributed Space-Time Codes: A. Barreal et al
5 Cyclic Generalized Separable (L;G) Codes: S. Bezzateev
6 The One-out-of-k Retrieval Problem and Linear Network Coding: G. Bianchi et al
7 On the Error-Correcting Radius of Folded Reed–Solomon Code Designs: J. Brauchle
8 SPC Product Codes over the Erasure Channel: S.D. Cardell and J. Climent
9 Complementary Dual Codes for Counter-Measures to Side-Channel Attacks: C. Carlet and S. Guilley
10 Input-State-Output Representation of Convolutional Product Codes: J. Climent et al
11 Burst Erasure Correction of 2D Convolutional Codes: J. Climent et al
12 Variations on Minimal Linear Codes: G. Cohen and S. Mesnager
13 Cryptanalysis of Public-Key Cryptosystems that use Subcodes of Algebraic Geometry Codes: A. Couvreur et al
14 Extending Construction X for Quantum Error-Correcting Codes: A. Degwekar et al
15 On the Fan Associated to a Linear Code: N. Dück et al
16 Lattice Encoding of Cyclic Codes from Skew-Polynomial Rings: J. Ducoat and F.Oggier
17 On Extendibility of Additive Code Isometries: S. Dyshko
18 The Extension Theorem with Respect to Symmetrized Weight Compositions: N. ElGarem et al
19 Minimal Realizations of Syndrome Formers of a Special Class of 2D Codes: E. Fornasini et al
20 Shifted de Bruijn Graphs: R. Freij
21 New Examples of Non-Abelian Group Codes: C. García Pillado et al
22 Cyclic Convolutional Codes over Separable Extensions: J. Gómez-Torrecillas et al
23 Reachability of Random Linear Systems over Finite Fields: U. Helmke et al
24 Classification of MDS Codes over Small Alphabets: J.I. Kokkala et al
25 On the Automorphism Groups of the Z2Z4-Linear Hadamard Codes and Their Classification: D.S. Krotov and M. Villanueva
26 Linear Batch Codes: H. Lipmaa and V. Skachek
27 An Extension of the Brouwer-Zimmermann Minimum Weight Algorithm; P. Lisonek and L. Trummer
28 On the Design of Storage Orbit Codes: S. Liu and F. Oggier
29 Hadamard Z2Z4Q8-Codes. Rank and Kernel: P. Montolio and J. Rifà
30 2-Designs and Codes from Simple Groups L3(q) and Higman-Sims Sporadic Simple Group HS: J. Moori and G.F. Randriafanomezantsoa Radohery
31 New Variant of the McEliece Cryptosystem: H. Moufek and K. Guenda
32 Power Decoding of Reed–Solomon Codes Revisited: J.S. R. Nielsen
33 On Fibre Products of Kummer Curves with Many Rational Points over Finite Fields: F. Özbudak et al
34 Hyperbolic Lattices with Complete Labeling Derived from f4g,4gg Tessellations: C. Quilles Queiroz et al
35 On Quasi-Symmetric 2-(64;24;46) Designs Derived from Codes: B.G. Rodrigues and V.D. Tonchev
36 Fractional Repetition and Erasure Batch Codes: N. Silberstein
37 Idempotents Generators for Minimal Cyclic Codes of Length pnq: G. Terra Bastos and M.Guerreiro
38 Reconstruction of Eigenfunctions of q-ary n-Dimensional Hypercube: A. Vasileva
Part I Invited Talk: 1 Capacity of Higher-Dimensional Constrained Systems: B. Marcus
Part II Communications: 2 From 1D Convolutional Codes to 2D Convolutional Codes of Rate 1/n: P. Almeida et al
3 A Coding-Based Approach to Robust Shortest-Path Routing: Á.I. Barbero and Ø. Ytrehus
56.

電子ブック
ＥＢ
56. Learning MATLAB : A Problem Solving Approach. 1st ed. 2015
by Walter Gander
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: UNITEXT ; 95
オンライン: http://dx.doi.org/10.1007/978-3-319-25327-5
所蔵情報: loading…
目次情報: 続きを見る
Chapter 1. Starting and Using Matlab
Chapter 2. How a Computer Calculates
Chapter 3. Plotting Functions and Curves
Chapter 4. Some Elementary Functions
Chapter 5. Computing with Multiple Precision
Chapter 6. Solving Linear Equations
Chapter 7. Recursion
Chapter 8. Iteration and Nonlinear Equations
Chapter 9. Simulation
Chapter 10. Solutions of Problems
Bibliography
Chapter 1. Starting and Using Matlab
Chapter 2. How a Computer Calculates
Chapter 3. Plotting Functions and Curves
57.

電子ブック
ＥＢ
57. Intelligent Algorithms in Ambient and Biomedical Computing
edited by Wim Verhaegh, Emile Aarts, Jan Korst
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/1-4020-4995-1
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Error-Correcting Linear Codes : Classification by Isometry and Applications
by Anton Betten, Michael Braun, Harald Fripertinger, Adalbert Kerber, Axel Kohnert, Alfred Wassermann
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Algorithms and Computation in Mathematics ; 18
オンライン: http://dx.doi.org/10.1007/3-540-31703-1
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Computing in Algebraic Geometry : A Quick Start using SINGULAR
by Wolfram Decker, Christoph Lossen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg and Hindustan Book Agency New Delhi, 2006
シリーズ名: Algorithms and Computation in Mathematics ; 16
オンライン: http://dx.doi.org/10.1007/3-540-28993-3
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Algorithms in Real Algebraic Geometry. Second Edition
by Saugata Basu, Richard Pollack, Marie-Françoise Roy
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Algorithms and Computation in Mathematics ; 10
オンライン: http://dx.doi.org/10.1007/3-540-33099-2
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Algorithmic Information Theory : Mathematics of Digital Information
by Peter Seibt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Signals and Communication Technology ;
オンライン: http://dx.doi.org/10.1007/978-3-540-33219-0
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Triangulations and Applications
by Øyvind Hjelle, Morten Dæhlen
出版情報: Berlin, Heidelberg : Springer, 2006
シリーズ名: Mathematics and Visualization ;
オンライン: http://dx.doi.org/10.1007/3-540-33261-8
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Topics in Discrete Mathematics : Dedicated to Jarik Nešetřil on the Occasion of his 60th Birthday
edited by Martin Klazar, Jan Kratochvíl, Martin Loebl, Jiří Matoušek, Pavel Valtr, Robin Thomas
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Algorithms and Combinatorics ; 26
オンライン: http://dx.doi.org/10.1007/3-540-33700-8
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
edited by Wieb Bosma, John Cannon
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Algorithms and Computation in Mathematics ; 19
オンライン: http://dx.doi.org/10.1007/978-3-540-37634-7
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Mathematical Masterpieces : Further Chronicles by the Explorers
by Arthur Knoebel, Jerry Lodder, Reinhard Laubenbacher, David Pengelley
出版情報: New York, NY : Springer, 2007
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-33062-4
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. The Linear Algebra a Beginning Graduate Student Ought to Know
by Jonathan S. Golan
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-5495-2
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Number Theory : Volume II: Analytic and Modern Tools
by Henri Cohen ; edited by S. Axler, K. A. Ribet
出版情報: New York, NY : Springer New York, 2007
シリーズ名: Graduate Texts in Mathematics ; 240
オンライン: http://dx.doi.org/10.1007/978-0-387-49894-2
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Algorithmic Topology and Classification of 3-Manifolds
edited by Sergei Matveev
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Algorithms and Computation in Mathematics ; 9
オンライン: http://dx.doi.org/10.1007/978-3-540-45899-9
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Number Theory : Volume I: Tools and Diophantine Equations
by Henri Cohen ; edited by S. Axler, K. A. Ribet
出版情報: New York, NY : Springer New York, 2007
シリーズ名: Graduate Texts in Mathematics ; 239
オンライン: http://dx.doi.org/10.1007/978-0-387-49923-9
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Aritmetica: un approccio computazionale
by Giulio Cesare Barozzi
出版情報: Milano : Springer-Verlag Italia, 2007
シリーズ名: Convergenze ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0582-2
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. Algorithms in Algebraic Geometry
edited by Alicia Dickenstein, Frank-Olaf Schreyer, Andrew J. Sommese
出版情報: New York, NY : Springer-Verlag New York, 2008
シリーズ名: The IMA Volumes in Mathematics and its Applications ; 146
オンライン: http://dx.doi.org/10.1007/978-0-387-75155-9
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. From Gestalt Theory to Image Analysis : A Probabilistic Approach
by Agnés Desolneux, Lionel Moisan, Jean-Michel Morel
出版情報: New York, NY : Springer Science + Business Media, LLC, 2008
シリーズ名: Interdisciplinary Applied Mathematics ; 34
オンライン: http://dx.doi.org/10.1007/978-0-387-74378-3
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Mathematical Models, Methods and Applications. 1st ed. 2015
edited by Abul Hasan Siddiqi, Pammy Manchanda, Rashmi Bhardwaj
出版情報: Singapore : Springer Singapore : Imprint: Springer, 2015
シリーズ名: Industrial and Applied Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-981-287-973-8
所蔵情報: loading…
目次情報: 続きを見る
Cryptography Based Chaos via Geometric Undersampling of Ring-Coupled Attractors
Soft Computing Techniques and Their Applications
Integral Geometry and Mathematical Problems of Image Reconstruction
Microlocal Analysis of Some Synthetic Aperture Radar Imaging Problems
Cubic Spline Approximation for Two Dimensional Non-linear Elliptic Boundary Value Problems
Pricing of Path Dependent European Type Options Using Monte-Carlo Simulation
On the Finite Element Approximation of the Impulse Control Quasivariational Inequality
The Periodic Petrol Station Replenishment Problem: An Overview
Nanotechnology and Mathematics: Study of Non-linear Dynamic Vibration in Single Walled Carbon Nanotubes(SWNTs)
Generalized Monotone Mapping with Applications
Wavelet and Fractal Methods with Environmental Applications
A Novel Algorithm by Context Modeling of Medical Image Compression with Discrete Wavelet Transform
Srinivasa Ramanujan: A Creative Genius
Estimation of Longitudinal Diffusivity in Laminar/Turbulent flow through curved channels with absorbing boundaries using Method of Moments
Recent Advances in Compressive Sensing
Emergence of Shearlets and its Applications
Application of CAS wavelets in Numerical Evaluation of Hankel Transforms Arising in Seismology
Cryptography Based Chaos via Geometric Undersampling of Ring-Coupled Attractors
Soft Computing Techniques and Their Applications
Integral Geometry and Mathematical Problems of Image Reconstruction
74.

電子ブック
ＥＢ
74. Current Challenges in Stability Issues for Numerical Differential Equations : Cetraro, Italy 2011, Editors: Luca Dieci, Nicola Guglielmi
by Wolf-Jürgen Beyn, Luca Dieci, Nicola Guglielmi, Ernst Hairer, Jesús María Sanz-Serna, Marino Zennaro
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Lecture Notes in Mathematics ; 2082
オンライン: http://dx.doi.org/10.1007/978-3-319-01300-8
所蔵情報: loading…
目次情報: 続きを見る
Studies on current challenges in stability issues for numerical differential equations
Long-Term Stability of Symmetric Partitioned Linear Multistep Methods
Markov Chain Monte Carlo and Numerical Differential Equations
Stability and Computation of Dynamic Patterns in PDEs
Continuous Decompositions and Coalescing Eigen values for Matrices Depending on Parameters
Stability of linear problems: joint spectral radius of sets of matrices
Studies on current challenges in stability issues for numerical differential equations
Long-Term Stability of Symmetric Partitioned Linear Multistep Methods
Markov Chain Monte Carlo and Numerical Differential Equations
75.

電子ブック
ＥＢ
75. Stochastic Geometry, Spatial Statistics and Random Fields : Models and Algorithms
edited by Volker Schmidt
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Mathematics ; 2120
オンライン: http://dx.doi.org/10.1007/978-3-319-10064-7
所蔵情報: loading…
目次情報: 続きを見る
Stein’s Method for Approximating Complex Distributions, with a View towards Point Processes
Clustering Comparison of Point Processes, with Applications to Random Geometric Models
Random Tessellations and their Application to the Modelling of Cellular Materials
Stochastic 3D Models for the Micro-structure of Advanced Functional Materials
Boolean Random Functions
Random Marked Sets and Dimension Reduction
Space-Time Models in Stochastic Geometry
Rotational Integral Geometry and Local Stereology - with a View to Image Analysis
An Introduction to Functional Data Analysis
Some Statistical Methods in Genetics
Extrapolation of Stationary Random Fields
Spatial Process Simulation
Introduction to Coupling-from-the-Past using R
References
Index
Stein’s Method for Approximating Complex Distributions, with a View towards Point Processes
Clustering Comparison of Point Processes, with Applications to Random Geometric Models
Random Tessellations and their Application to the Modelling of Cellular Materials
76.

電子ブック
ＥＢ
76. Handbook of Floating-Point Arithmetic. 1
by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Lefèvre Vincent, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
出版情報: Boston : Birkhäuser Boston, 2010
オンライン: http://dx.doi.org/10.1007/978-0-8176-4705-6
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Semantics-Oriented Natural Language Processing : Mathematical Models and Algorithms. First
by Vladimir Fomichov A.
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: IFSR International Series on Systems Science and Engineering ; 27
オンライン: http://dx.doi.org/10.1007/978-0-387-72926-8
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Medial Representations : Mathematics, Algorithms and Applications
edited by Max Viergever, Kaleem Siddiqi, Stephen M. Pizer
出版情報: Dordrecht : Springer Science + Business Media B.V, 2008
シリーズ名: Computational Imaging and Vision ; 37
オンライン: http://dx.doi.org/10.1007/978-1-4020-8658-8
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Graph Theory
by J. A. Bondy, U. S. R. Murty
出版情報: London : J.A. Bondy & U.S.R. Murty, 2008
シリーズ名: Graduate Texts in Mathematics ; 244
オンライン: http://dx.doi.org/10.1007/978-1-84628-970-5
所蔵情報: loading…