1.
EB
by Daniel Ashlock
2.
EB
by Anita Schöbel
3.
EB
by Vitaliy Feoktistov
4.
EB
by Michael Trott
5.
EB
by Michael Trott
6.
EB
edited by Leo Liberti, Nelson Maculan
出版情報:
Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名:
Nonconvex Optimization and Its Applications ; 84
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/0-387-30528-9
所蔵情報:
loading…
7.
EB
by Alexander Shen
8.
EB
by George Pólya, Robert E. Tarjan, Donald R. Woods
9.
EB
by Mladen Victor Wickerhauser
10.
EB
by Le Yi Wang, G. George Yin, Ji-Feng Zhang, Yanlong Zhao
11.
EB
by Glenn Hurlbert
12.
EB
by Jesús A. Loera, Jörg Rambau, Francisco Santos
13.
EB
by Jürgen Richter-Gebert
14.
EB
by Rafael Martí, Gerhard Reinelt
15.
EB
by Roberto Baragona, Francesco Battaglia, Irene Poli
16.
EB
edited by Emmanuil H Georgoulis, Armin Iske, Jeremy Levesley
17.
EB
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 ;
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-1-4419-9467-7
所蔵情報:
loading…
18.
EB
by Marc Hindry
19.
EB
by Carlos A.S. Oliveira, Panos M. Pardalos
20.
EB
by Lacra Pavel
21.
EB
by Gert-Martin Greuel, Gerhard Pfister
22.
EB
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
23.
EB
by David Harel, Yishai Feldman
24.
EB
by Jørgen Bang-Jensen, Gregory Z. Gutin
25.
EB
edited by Luc Pronzato, Anatoly Zhigljavsky
26.
EB
by Michael Drmota
27.
EB
by Mark Braverman, Michael Yampolsky ; edited by Arjeh M. Cohen, Henri Cohen, David Eisenbud, Michael F. Singer, Bernd Sturmfels
28.
EB
by Gerhard Nierhaus
29.
EB
by Ronald W. Shonkwiler, Franklin Mendivil
30.
EB
edited by Christodoulos A. Floudas, Panos M. Pardalos
31.
EB
edited by Misha E. Kilmer, Dianne P. O'Leary
32.
EB
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 ;
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-0-387-68441-3
所蔵情報:
loading…
33.
EB
by Debasis Kundu, Swagata Nandi
34.
EB
by Jonathan S. Golan
35.
EB
by Daniel Scholz
36.
EB
edited by Roger Z. Ríos-Mercado, Yasmín A. Ríos-Solís
37.
EB
by Hans Riesel
38.
EB
edited by Vladimir L. Boginski, Clayton W. Commander, Panos M. Pardalos, Yinyu Ye
39.
EB
edited by Jon Lee, Sven Leyffer
40.
EB
by Zhening Li, Simai He, Shuzhong Zhang
目次情報:
続きを見る
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
41.
EB
by Adam B. Levy
42.
EB
by Boris Goldengorin, Panos M. Pardalos
43.
EB
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
44.
EB
by Andreas Klein
目次情報:
続きを見る
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
45.
EB
edited by Dmitriy Bilyk, Laura De Carli, Alexander Petukhov, Alexander M. Stokolos, Brett D. Wick
46.
EB
by Sylvain Ervedoza, Enrique Zuazua
目次情報:
続きを見る
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
47.
EB
by Kurt Luoto, Stefan Mykytiuk, Stephanie van Willigenburg
目次情報:
続きを見る
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
48.
EB
by Michael Bader
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名:
Texts in Computational Science and Engineering ; 9
子書誌情報:
loading…
オンライン:
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
49.
EB
by Leonidas S. Pitsoulis
目次情報:
続きを見る
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
50.
EB
by Wolfram Koepf
目次情報:
続きを見る
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
51.
EB
by Leping Yang, Yanwei Zhu, Xianhai Ren, Yuanwen Zhang
52.
EB
by Walter Gander, Martin J. Gander, Felix Kwok
目次情報:
続きを見る
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
53.
EB
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
子書誌情報:
loading…
オンライン:
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
54.
EB
by Michele Conforti, Gérard Cornuéjols, Giacomo Zambelli
目次情報:
続きを見る
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
55.
EB
by Juan Peypouquet
目次情報:
続きを見る
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
56.
EB
by Sören Bartels
目次情報:
続きを見る
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
57.
EB
edited by Raquel Pinto, Paula Rocha Malonek, Paolo Vettori
目次情報:
続きを見る
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
58.
EB
by Walter Gander
目次情報:
続きを見る
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
59.
EB
edited by Wim Verhaegh, Emile Aarts, Jan Korst
60.
EB
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
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/3-540-31703-1
所蔵情報:
loading…
61.
EB
by Wolfram Decker, Christoph Lossen
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg and Hindustan Book Agency New Delhi, 2006
シリーズ名:
Algorithms and Computation in Mathematics ; 16
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/3-540-28993-3
所蔵情報:
loading…
62.
EB
by Saugata Basu, Richard Pollack, Marie-Françoise Roy
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名:
Algorithms and Computation in Mathematics ; 10
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/3-540-33099-2
所蔵情報:
loading…
63.
EB
by Peter Seibt
64.
EB
by Øyvind Hjelle, Morten Dæhlen
65.
EB
edited by Martin Klazar, Jan Kratochvíl, Martin Loebl, Jiří Matoušek, Pavel Valtr, Robin Thomas
66.
EB
edited by Wieb Bosma, John Cannon
67.
EB
by Arthur Knoebel, Jerry Lodder, Reinhard Laubenbacher, David Pengelley
68.
EB
by Jonathan S. Golan
69.
EB
by Henri Cohen ; edited by S. Axler, K. A. Ribet
70.
EB
edited by Sergei Matveev
71.
EB
by Henri Cohen ; edited by S. Axler, K. A. Ribet
72.
EB
by Giulio Cesare Barozzi
73.
EB
edited by Alicia Dickenstein, Frank-Olaf Schreyer, Andrew J. Sommese
74.
EB
by Agnés Desolneux, Lionel Moisan, Jean-Michel Morel
75.
EB
edited by Abul Hasan Siddiqi, Pammy Manchanda, Rashmi Bhardwaj
目次情報:
続きを見る
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
76.
EB
by Wolf-Jürgen Beyn, Luca Dieci, Nicola Guglielmi, Ernst Hairer, Jesús María Sanz-Serna, Marino Zennaro
目次情報:
続きを見る
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
77.
EB
edited by Volker Schmidt
目次情報:
続きを見る
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
78.
EB
by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Lefèvre Vincent, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
79.
EB
by Vladimir Fomichov A.
出版情報:
New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名:
IFSR International Series on Systems Science and Engineering ; 27
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-0-387-72926-8
所蔵情報:
loading…
80.
EB
by Andrzej Indrzejczak
81.
EB
edited by Max Viergever, Kaleem Siddiqi, Stephen M. Pizer
82.
EB
by J. A. Bondy, U. S. R. Murty
83.
EB
by Swagata Nandi, Debasis Kundu
目次情報:
続きを見る
Introduction
Preliminaries
Methods of Estimation - Iterative
Methods of Estimation - Non-iterative
Asymptotic Results (of Sinusoidal model)
Order estimation
Fundamental Frequency Model and its generalization
Data Analysis
Two dimensional and multidimensional models
Chirp Signal Model
Random Amplitudes
Related Models
Appendices
Introduction
Preliminaries
Methods of Estimation - Iterative
84.
EB
by Philine Schiewe
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名:
Springer Optimization and Its Applications ; 160
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-46270-3
所蔵情報:
loading…
目次情報:
続きを見る
1. Introduction
2. Integrating Timetabling and Passenger Routing
3. Integrating Line Planning, Timetabling and Passenger Routing
4. Integrating Timetabling and Vehicle Scheduling
5. Integrating Line Planning, Timetabling, Passenger Routing and Vehicle Scheduling
6. Two Heuristic Approaches for Integrating Public Transport Problems
General Multi-Stage Problems
8. Discussion and Conclusion
Outlook.-A. Supplementary Material.-B. Frequently Used Notation
Bibliography
1. Introduction
2. Integrating Timetabling and Passenger Routing
3. Integrating Line Planning, Timetabling and Passenger Routing
85.
EB
by William Fajardo, Claudia Gallego, Oswaldo Lezama, Armando Reyes, Héctor Suárez, Helbert Venegas
目次情報:
続きを見る
Preface
I Ring and Module-Theoretic Properties of Skew PBW Extensions
II Projective Modules Over Skew PBW Extensions
III Matrix and Gröbner Methods for Skew PBW Extensions
IV Applications: The Noncommutative AlgebraicGeometry of Skew PBW Extensions
References
Preface
I Ring and Module-Theoretic Properties of Skew PBW Extensions
II Projective Modules Over Skew PBW Extensions
86.
EB
by Tom Lyche
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名:
Texts in Computational Science and Engineering ; 22
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-36468-7
所蔵情報:
loading…
目次情報:
続きを見る
A Short Review of Linear Algebra
LU and QR Factorizations
Eigenpairs and Singular Values
Matrix Norms and Least Squares
Kronecker Products and Fourier Transforms
Iterative Methods for Large Linear Systems
Eigenvalues and Eigenvectors
Index
A Short Review of Linear Algebra
LU and QR Factorizations
Eigenpairs and Singular Values
87.
EB
by Loïc Brevault, Mathieu Balesdent, Jérôme Morio
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名:
Springer Optimization and Its Applications ; 156
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-39126-3
所蔵情報:
loading…
目次情報:
続きを見る
Part I Aerospace system multidisciplinary modeling and uncertainty characterization
1 Multidisciplinary system modeling and optimization
2 Uncertainty characterization and modeling
Part II Single discipline problem: uncertainty propagation, reliability analysis and optimization
3 Uncertainty propagation and sensitivity analysis
4 Reliability analysis
5 Problem formulations and optimization algorithms
Part III Multidisciplinary Optimization under uncertainty
6 Uncertainty propagation for multidisciplinary problems
7 Uncertainty-based MDO
Part IV MDO related issues: multi-fidelity, multi-objective and mixed continuous
discrete optimization
8 Multi-fidelity for MDO using Gaussian Processes
9 Multi-objective and mixed MDO
Part V Case studies
10 Civil aircraft vehicle design
11 Blended Wing Body design
12 Expendable and reusable launch vehicle design
Appendix: List of librairies used for the simulations
Part I Aerospace system multidisciplinary modeling and uncertainty characterization
1 Multidisciplinary system modeling and optimization
2 Uncertainty characterization and modeling
88.
EB
by Abdallah Assi, Marco D'Anna, Pedro A. García-Sánchez
目次情報:
続きを見る
1 Numerical semigroups, the basics
2 Irreducible numerical semigroups
3 Ideals
4 Semigroup of an irreducible meromorphic series
5 Minimal presentations
6 Factorizations and divisibility
1 Numerical semigroups, the basics
2 Irreducible numerical semigroups
3 Ideals
89.
EB
by Tom Lyche, Georg Muntingh, Øyvind Ryan
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名:
Texts in Computational Science and Engineering ; 23
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-59789-4
所蔵情報:
loading…
目次情報:
続きを見る
A Short Review of Linear Algebra
Diagonally Dominant Tridiagonal Matrices; Three Examples
Gaussian Eliminationa nd LU Factorizations
LDL* Factorization and Positive Definite Matrices
Orthonormal and Unitary Transformations
Eigenpairs and Similarity Transformations
The Singular Value Decomposition
Matrix Norms and Perturbation Theory for Linear Systems
Least Squares
The Kronecker Product
Fast Direct Solution of a Large Linear System
The Classical Iterative Methods
The Conjugate Gradient Method
Numerical Eigenvalue Problems
The QR Algorithm
A Short Review of Linear Algebra
Diagonally Dominant Tridiagonal Matrices; Three Examples
Gaussian Eliminationa nd LU Factorizations
90.
EB
by Anja Schedel
出版情報:
Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Spektrum, 2021
シリーズ名:
Mathematische Optimierung und Wirtschaftsmathematik | Mathematical Optimization and Economathematics ;
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-658-33170-2
所蔵情報:
loading…
目次情報:
続きを見る
Introduction
Preliminaries
Cost Sharing in Networks
Capacity and Price Competition in Networks
Conclusion
Introduction
Preliminaries
Cost Sharing in Networks
91.
EB
by Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas, Panos M. Pardalos
目次情報:
続きを見る
1. Metaheuristic optimization algorithms
2. Algorithm portfolios
3. Selection of constituent algorithms
4. Allocation of computation resources
5. Sequential and parallel models
6. Recent applications
7. Epilogue
References
1. Metaheuristic optimization algorithms
2. Algorithm portfolios
3. Selection of constituent algorithms
92.
EB
by Piero Mella
目次情報:
続きを見る
Part I: Discovering the “Ring”
Chapter1. The Language of Systems Thinking for Control Systems
Chapter 2. The Ring. The General Structure of Control Systems. Chapter 3. The Ring Variety. A Basic Typology
Chapter 4. The Ring Completed. Multi-lever and Multi-objective Control Systems
Chapter 5. The Ring. Observation and Design
Part II: The Magic of the Ring
Chapter 6. The Magic Ring in Action. Individuals
Chapter 7. The Magic Ring in Action. Social Environment and Sustainability
Chapter 8. The Magic Ring in Action. The Biological Environment
Chapter 9. The Magic Ring in Action. Organizations
Chapter 10. The Magic Ring in Action Explores Quality and Productivity. Chapter 11. The Magic Ring in Action: Control of Production and Stocks
Chapter 12. The Magic Ring in Action: Control of Production and Stocks. Chapter 13. Concluding remarks. Toward a General Discipline of Control
Part I: Discovering the “Ring”
Chapter1. The Language of Systems Thinking for Control Systems
Chapter 2. The Ring. The General Structure of Control Systems. Chapter 3. The Ring Variety. A Basic Typology
93.
EB
by Ivan V. Sergienko, Valeriy K. Zadiraka, Oleg M. Lytvyn
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Springer Optimization and Its Applications ; 188
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-90908-6
所蔵情報:
loading…
目次情報:
続きを見る
-Preface
Introduction
List of symbols and abbreviations
1. Elements of the computing theory
2. Theories of computational complexity
3. Interlination of functions
4. Interflatation of functions
5. Cubature formulae using interlanation functions
6. Testing the quality of algorithm programs
7. Computer technologies of solving problems of computational and applied mathematics with fixed values of quality characteristics
Bilbiography
Index
About the Authors
-Preface
Introduction
List of symbols and abbreviations
94.
EB
edited by Ingrid Hotz, Talha Bin Masood, Filip Sadlo, Julien Tierny
目次情報:
続きを見る
Scalar Field Topology–Algorithms and Applications
W-Structures in Contour Trees
Treemap Based Exploration of Merge Trees
Notes on Percolation Analysis of Sampled Scalar Fields
Distributed Task-Parallel Topology-Controlled Volume Rendering
Topology-Based Tracking of Multi-Center Cyclones
Using Contour Trees in the Analysis and Visualization of Radio Astronomy Data Cubes
Topological Methods in Complex Fields–Flow Fields, Tensor Fields, and Multi-fields
Objective Finite-Time Flow Topology from Flowmap Expansion and Contraction
Coreline Criteria for Inertial Particle Motion
Implicit Visualization of 2D Vector Field Topology for Periodic Orbit Detection
Visually Evaluating Topological Equivalence of Bounded Bivariate Fields
Topological Feature Search in Time-Varying Multifield Data
Tensor Fields for Data Extraction from Chart Images: Bar Charts, Histograms, and Scatter Plots
Topology for Geometric Data
A Fast Approximate Skeleton with Guarantees for Any Cloud of Points in a Euclidean Space
Topologically Robust B-Spline Reconstruction of Fibers from 3D Images
Introduction to Vector Field Topology
An Overview of the Topology ToolKit
Implementing Persistence-Based Clustering of Point Clouds in the Topology ToolKit
TopoInVis TTK Hackathon: Experiences, Lessons Learned, and Perspectives
Scalar Field Topology–Algorithms and Applications
W-Structures in Contour Trees
Treemap Based Exploration of Merge Trees
95.
EB
edited by Abdeljalil Nachaoui, Abdelilah Hakim, Amine Laghrib
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Springer Proceedings in Mathematics & Statistics ; 372
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-83442-5
所蔵情報:
loading…
目次情報:
続きを見る
F. Labdiad, M. Nasri, H. Khalfi, and I. Hafidi, VRP with Flexible Time Windows using the ALNS Metaheuristic Algorithm
N. Mehdi, M. Abdelmoutalib, H. Imad, VRPTW: From mathematical models to computing science tools
An anisotropic PDE for multi-frame super-resolution image reconstruction
A. Nachaoui, F. Aboud, and M. Nachaoui, Acceleration of the KMF algorithm convergence to solve the Cauchy problem for Poisson's Equation
S. LYAQINI and M. NACHAOUI, Identification of genuine from fake banknotes using an enhanced machine learning approach
L. AFRAITES, Identification of Robin coefficient in elliptic problem by a coupled complex boundary method
M. NACHAOUI, A. LAGHRIB, and M. Hakim, A new space-variant optimization approach for image segmentation
Y. Mezzan1 and M. H. Tber, A Lagrangian mixed finite elements method for advection-diffusion equations
J.-A. Desideri, Adaptation by Nash Games in gradient-based multi-objective/multi-disciplinary optimization
A. Ghazdali, A. Metrane, A. Ourdou, Blind Noisy Mixture Separation for Dependent Source
Blind Separation of Dependent Sources Using Copula
F. Labdiad, M. Nasri, H. Khalfi, and I. Hafidi, VRP with Flexible Time Windows using the ALNS Metaheuristic Algorithm
N. Mehdi, M. Abdelmoutalib, H. Imad, VRPTW: From mathematical models to computing science tools
An anisotropic PDE for multi-frame super-resolution image reconstruction
96.
EB
edited by Susana Relvas, João Paulo Almeida, José Fernando Oliveira, Alberto Adrego Pinto
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Springer Proceedings in Mathematics & Statistics ; 374
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-85476-8
所蔵情報:
loading…
目次情報:
続きを見る
A. R. Aguiar, C. Soares de Morais, T. R. Pereira Ramos and A. P. Barbosa-Póvoa, Searching for a solution method for the Smart Waste Collection Routing Problem
D. Câmara, T. Pinto-Varela and A. P. Barbosa-Póvoa, A multi-objective and multi-period model to the design and operation of a hydrogen supply chain: an applied case in Portugal
A. A. Filho and H. F. Silva, The E-constrained method to solve a bi-objective problem of sustainable cultivation
R. Macedo, F. Coelho, S. Relvas and A. Barbosa-Póvoa, In-house logistics operations enhancement in the automobile industry using simulation
A. Moghanni and M. Pascoal, The rough interval shortest path problem
T. Monteiro, J. P. Pedroso, A. Viana and X. Klimentova, Reinforcement Learning for Robust Optimization: an Application in Kidney Exchange Programs
M. Oliveira and I. Marques, Facing dynamic demand for surgeries in a Portuguese case study
Ó. Oliveira, D. Gamboa and E. Silva, Adaptive Sequence-based Heuristic for Two-Dimensional Non-Guillotine Packing Problems
M. T. Pereira, C. Lopes, L. P. Ferreira and S. Oliveira, A CVRP Model for an In-plant Milk Run System
J. P. Ribeiro, B. Mota and A. Barbosa-Póvoa, Merging Resilience and Sustainability in Supply Chain Design
F. K. Setti, Carla A. S. Geraldes, J. P. Almeida and M. G. Trentin, Analysis and Optimisation of a Production Line Using Discrete Simulation
Cátia da Silva, A. Carvalho and A. Barbosa-Póvoa, Design and Planning of Green Supply Chains with Risk Concerns
M. Simões, R. Rocha and A. Camanho, Benchmarking Smart Grid Research & Development engagement by European Distribution System Operators
M. Vieira, F. Coelho, Cátia da Silva, B. Mota, J. Guapo, R. Macedo, B. Gonçalves, S. Moniz, T. Pinto-Varela, A. Carvalho, S. Relvas and A. P. Barbosa-Póvoa, Towards an integrated decision-support framework for the new generation of manufacturing systems
A. R. Aguiar, C. Soares de Morais, T. R. Pereira Ramos and A. P. Barbosa-Póvoa, Searching for a solution method for the Smart Waste Collection Routing Problem
D. Câmara, T. Pinto-Varela and A. P. Barbosa-Póvoa, A multi-objective and multi-period model to the design and operation of a hydrogen supply chain: an applied case in Portugal
A. A. Filho and H. F. Silva, The E-constrained method to solve a bi-objective problem of sustainable cultivation
97.
EB
edited by Tim Jax, Andreas Bartel, Matthias Ehrhardt, Michael Günther, Gerd Steinebach
98.
EB
by Wolfram Koepf
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名:
Springer Undergraduate Texts in Mathematics and Technology ;
子書誌情報:
loading…
オンライン:
https://doi.org/10.1007/978-3-030-78017-3
所蔵情報:
loading…
目次情報:
続きを見る
1. Introduction to Computer Algebra
2. Programming in Computer Algebra Systems
3. Number Systems and Integer Arithmetic
4. Modular Arithmetic
5. Coding Theory and Cryptography
6. Polynomial Arithmetic
7. Algebraic Numbers
8. Factorization in Polynomial Rings
9. Simplification and Normal Forms
10. Power Series
11. Algorithmic Summation
12. Algorithmic Integration
References
List of Symbols
Mathematica List of Keywords
Index
1. Introduction to Computer Algebra
2. Programming in Computer Algebra Systems
3. Number Systems and Integer Arithmetic
99.
EB
edited by Carla Manni, Hendrik Speleers
目次情報:
続きを見る
1 Carolina Vittoria Beccari and Hartmut Prautzsch, Quadrilateral Orbifold Splines
2 Timothy Boafo-Adade et al., B-Symmetric Univariate Splines and Euler Numbers
3 Nora Engleitner and Bert Jüttler, DPB-Splines: The Decoupled Basis of Patchwork Splines
4 Antonella Falini et al., A Collocation IGA-BEM for 3D Potential Problems on Unbounded Domains
5 Tom Lyche et al., Simplex-Splines on the Clough-Tocher Split with Arbitrary Smoothness
6 Florian Martin and Ulrich Reif, Trimmed Spline Surfaces with Accurate Boundary Control
7 Benjamin Marussig, Fast Formation and Assembly of Isogeometric Galerkin Matrices for Trimmed Patches
8 Jörg Peters and Kęstutis Karčiauskas, Subdivision and G-Spline Hybrid Constructions for High-Quality Geometric and Analysis-Suitable Surfaces
9 Malcolm A. Sabin, Meshing as the Choice of Basis Functions for Finite Element Analysis
10 Vibeke Skytt and Tor Dokken, Scattered Data Approximation by LR B-Spline Surfaces: A Study on Refinement Strategies for Efficient Approximation
11 Roel Tielen et al., A Block ILUT Smoother for Multipatch Geometries in Isogeometric Analysis
12 Nelly Villamizar et al., Completeness Characterization of Type-I Box Splines
13 Xiaodong Wei, THU-Splines: Highly Localized Refinement on Smooth Unstructured Splines
14 Yuxuan Yu et al., HexGen and Hex2Spline: Polycube-Based Hexahedral Mesh Generation and Spline Modeling for Isogeometric Analysis Applications in LS-DYNA
15 Mehrdad Zareh and Xiaoping Qian, C1 Triangular Isogeometric Analysis of the von Karman Equations
1 Carolina Vittoria Beccari and Hartmut Prautzsch, Quadrilateral Orbifold Splines
2 Timothy Boafo-Adade et al., B-Symmetric Univariate Splines and Euler Numbers
3 Nora Engleitner and Bert Jüttler, DPB-Splines: The Decoupled Basis of Patchwork Splines
100.
EB
by Alfio Quarteroni
目次情報:
続きを見る
1 The model, aka the magic box
2 Weather Forecast Models
3 Epidemics: the Mathematics of Contagion
4 Mathematical Hearth
5 Mathematics in the Wind
6 Flying on Sun Power
7 The taste for Mathematics
8 Conclusions
1 The model, aka the magic box
2 Weather Forecast Models
3 Epidemics: the Mathematics of Contagion