close
1.

電子ブック

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

電子ブック

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

電子ブック

EB
by Richard H. Enns, George C. McGuire
出版情報: New York, NY : Springer Science + Business Media, 2006
オンライン: http://dx.doi.org/10.1007/0-387-31262-5
所蔵情報: loading…
4.

電子ブック

EB
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…
5.

電子ブック

EB
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…
6.

電子ブック

EB
by Roozbeh Hazrat
出版情報: London : Springer-Verlag London Limited, 2010
シリーズ名: Springer Undergraduate Mathematics Series ; 53
オンライン: http://dx.doi.org/10.1007/978-1-84996-251-3
所蔵情報: loading…
7.

電子ブック

EB
by Mike Allerhand
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: SpringerBriefs in Statistics ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17980-8
所蔵情報: loading…
8.

電子ブック

EB
by Jonathan M. Borwein, Matthew P. Skerritt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-0122-3
所蔵情報: loading…
9.

電子ブック

EB
by Maoan Han, Pei Yu
出版情報: London : Springer London, 2012
シリーズ名: Applied Mathematical Sciences ; 181
オンライン: http://dx.doi.org/10.1007/978-1-4471-2918-9
所蔵情報: loading…
10.

電子ブック

EB
by William E. Hart, Carl Laird, Jean-Paul Watson, David L. Woodruff
出版情報: Boston, MA : Springer US, 2012
シリーズ名: Springer Optimization and Its Applications ; 67
オンライン: http://dx.doi.org/10.1007/978-1-4614-3226-5
所蔵情報: loading…
11.

電子ブック

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

電子ブック

EB
edited by Hanif D. Sherali, David Y. Gao
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Advances in Mechanics and Mathematics ; 17
オンライン: http://dx.doi.org/10.1007/978-0-387-75714-8
所蔵情報: loading…
13.

電子ブック

EB
edited by Stan Wagon
出版情報: New York, NY : Springer-Verlag New York, 2010
オンライン: http://dx.doi.org/10.1007/978-0-387-75477-2
所蔵情報: loading…
14.

電子ブック

EB
by Jonathan M. Borwein, Matthew P. Skerritt
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-4253-0
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conventions and Notation
1. Number Theory
2. Calculus
3. Linear Algebra
4. Visualisation and Geometry: a Postscript
Sample Quizzes
Index
References.-
Preface
Conventions and Notation
1. Number Theory
15.

電子ブック

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

電子ブック

EB
edited by Dragana Martinovic, Viktor Freiman, Zekeriya Karadag
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
シリーズ名: Mathematics Education in the Digital Era ; 1
オンライン: http://dx.doi.org/10.1007/978-94-007-2321-4
所蔵情報: loading…
目次情報: 続きを見る
1. Keith Jones, Eirini Geraniou, & Thanassis Tiropanis: Patterns of collaboration: Towards learning mathematics in the era of the semantic web
2. Gorjan Alagic & Mara Alagic: Collaborative mathematics learning in online environments
3. Murat Perit Cakir & Gerry Stahl: The integration of mathematics discourse, Graphical reasoning and symbolic expression by a Virtual Math Team
4. Beste Güçler, Stephen Hegedus, Ryan Robidoux, & Nicholas Jackiw: Investigating the Mathematical Discourse of Young Learners Involved in Multi-Modal Mathematical Investigations: The Case of Haptic Technologies
5. Dragan Trninic & Dor Abrahamson: Embodied interaction as designed mediations of conceptual performance
6. Luis Radford: Sensuous Cognition
7. George Gadanidis & Immaculate Namukasa: New media and online mathematics learning for teachers
8. Ann LeSage: Web-based video clips: A supplemental resource for supporting pre-service elementary mathematics teachers
9. Dragana Martinovic, Viktor Freiman, & Zekeriya Karadag: Visual mathematics and cyberlearning in view of Affordance and Activity Theories
1. Keith Jones, Eirini Geraniou, & Thanassis Tiropanis: Patterns of collaboration: Towards learning mathematics in the era of the semantic web
2. Gorjan Alagic & Mara Alagic: Collaborative mathematics learning in online environments
3. Murat Perit Cakir & Gerry Stahl: The integration of mathematics discourse, Graphical reasoning and symbolic expression by a Virtual Math Team
17.

電子ブック

EB
edited by Stephen J. Hegedus, Jeremy Roschelle
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
シリーズ名: Advances in Mathematics Education ;
オンライン: http://dx.doi.org/10.1007/978-94-007-5696-0
所蔵情報: loading…
目次情報: 続きを見る
Acknowledgements
Series Preface: Gabriele Kaiser & Bharath Sriraman
I. Philosophy & Background
Preface to Section I: Ubiratan D’Ambrosio
Introduction:Jeremy Roschelle & Stephen Hegedus
The Mathematics of Change and Variation from a Millennial Perspective: New Content, New Context (originally appeared in C. Hoyles, C. Morgan, & G. Woodhouse (Eds.), Rethinking the mathematics curriculum (pp. 155-170). London: Springer-Verlag.): James Kaput & Jeremy Roschelle
From Static to Dynamic Mathematics: Historical and Representational Perspectives (originally appeared in Educational Studies in Mathematics, 68(2), 99-111): Luis Moreno-Armella & Stephen Hegedus: Intersecting Representation and Communication Infrastructures (originally appeared in ZDM: The International Journal on Mathematics Education: Transforming Mathematics Education Through Dynamic Mathematics Technologies, 41(4), 399-412): Stephen Hegedus & Luis Moreno-Armella
II. Aspects of Design
Reflections on Significant Developments in Designing SimCalc Software: James Burke, Ryan Robidoux, & Stephen Hegedus
Designing for Generative Activities: Expanding Spaces for Learning and Teaching: Nancy Ares
SimCalc and the Networked Classroom: Corey Brady, Tobin White, Sarah Davis, & Stephen Hegedus
III. Impacts from Large-Scale Research
Preface to Section III: Jinfa Cai
SimCalc at Scale: Three Studies Examine the Integration of Technology, Curriculum, and Professional Development for Advancing Middle School Mathematics:Jeremy Roschelle & Nicole Shechtman
Learning and Participation in High School Classrooms: Sara Dalton & Stephen Hegedus
Development of Student and Teacher Assessments in Scaling Up SimCalc Project: Nicole Shechtman, Geneva Haertel, Jeremy Roschelle, Jennifer Knudsen, & Corrine Singleton
Sustainable use of Dynamic Representational Environments: Toward a District-Wide Adoption of SimCalc-Based Materials: Phil Vahey, George J. Roy, & Vivan Fueyo
Impact of Classroom Connectivity on Learning and Participation: Stephen Hegedus, Luis Moreno-Armella, Sara Dalton, Arden Brookstein, & John Tapper
IV. Impacts from Small-Scale Research
Viewing SimCalc Classrooms Through the Lens of Mathematical Discourse: Jessica Pierson Bishop
Scaling Up Innovative Mathematics in the Middle Grades: Case Studies of “Good Enough” Enactments: Susan Empson, Steven Greenstein, Luz Maldonado, & Jeremy Roschelle
Changing from the Inside out: SimCalc Teacher Changes in Beliefs and Practices: John Tapper
Shaping Dialogue Through Questioning: An Examination of the Interactions Among Teachers, Representations, and Mathematics: Chandra Hawley Orrill
“They Need to be Solid in Standard Skills First”: How Standards Can Become the Upper Bound: Margaret Dickey-Kurdziolek & Deborah Tatar
V. International Contributions
Developing and Enhancing Elementary School Students’ Higher Order Mathematical Thinking With SimCalc: Demetra Pitta-Pantazi, Paraskevi Sophocleous, & Constantinos Christou
Adapting SimCalc to Different School Mathematics Cultures: A Case Study from Brazil: Rosana Nogueira de Lima, Lulu Healy, & Tania Campos
Mathematical Modeling with SimCalc: Enhancing Student Complex Problem Solving Skills Using a Modeling Approach: Nicholas G. Mousoulides
Approaching Calculus with SimCalc: Linking Derivative and Antiderivative: Patricia Salinas
VI. Extensions, Commentaries, & Future Visions: You Can Lead a Horse to Water…: Issues in Deepening Learning Through Deepening Teaching: John Mason
Multiple Function Max/Min Problems for First Grade Children in the 21st Century”: Richard Lesh, Lyn English, Serife Sevis, & Chanda Riggs
The Kaputian Program for the Mathematics of Change and Variation and Its Relation to DNR-Based Instruction in Mathematics: Guershon Harel
The Evolution of Technology and the Mathematics of Change and Variation: David Tall
Conversation About SimCalc, Its Evolution and Lessons Along the Way: Eric Hamilton & Nora Sabelli
Acknowledgements
Series Preface: Gabriele Kaiser & Bharath Sriraman
I. Philosophy & Background
18.

電子ブック

EB
by Miguel A. Goberna, Marco A. López
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4899-8044-1
所蔵情報: loading…
目次情報: 続きを見る
1. Preliminaries on Linear Semi-Infinite Optimization
2. Modeling uncertain Linear Semi-Infinite Optimization problems
3. Robust Linear Semi-infinite Optimization
4. Sensitivity analysis
5. Qualitative stability analysis
6. Quantitative stability analysis
1. Preliminaries on Linear Semi-Infinite Optimization
2. Modeling uncertain Linear Semi-Infinite Optimization problems
3. Robust Linear Semi-infinite Optimization
19.

電子ブック

EB
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
20.

電子ブック

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

電子ブック

EB
edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
オンライン: http://dx.doi.org/10.1007/978-3-662-43799-5
所蔵情報: loading…
目次情報: 続きを見る
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Finding the Symbolic Solution of a Geometric Problem through Numeric Computations
A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms
The vanishing ideal of a finite set of points with multiplicity structures
Signature-based Method of Deciding Program Termination
High-precision eigenvalue bound for the Laplacian with singularities
Degree and dimension estimates for invariant ideals of P-solvable recurrences
POLY : A new polynomial data structure for Maple 17
A Symbolic Approach to Compute a Null-Space Basis in the Projection Method
Real Root Isolation of Polynomial Equations Based on Hybrid Computation
Overview of the Mathemagix type system
Resultant-Free Computation of Indefinite Hyperexponential Integrals
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves
The Diagonal Reduction Algorithm Using Fast Givens
Constructing Generalized Bent Functions from Trace Forms over Galois Rings
Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials
Simplification of the lattice based attack of Boneh and Durfee for RSA cryptoanalysis
A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices
Computing Popov Forms of Matrices over PBW Extensions
On the simplest quartic fields and related Thue equations
On the Implementation of Boolean Gröbner Bases
Towards the calculation of Casimir forces for inhomogeneous planar media
Comprehensive Gröbner Bases in a Java Computer Algebra System
Real Root Isolation of Regular Chains
A Practical Method for Floating-point Groebner Basis Computation
Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case
A Sequence of Nearest Polynomials with Given Factors
Digitisation Workflow in the Czech Digital Mathematics Library
The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm over Boolean Ring
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Finding the Symbolic Solution of a Geometric Problem through Numeric Computations
22.

電子ブック

EB
by Åke Björck
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Texts in Applied Mathematics ; 59
オンライン: http://dx.doi.org/10.1007/978-3-319-05089-8
所蔵情報: loading…
目次情報: 続きを見る
Direct Methods for Linear Systems
Linear Least Squares Problems
Matrix Eigenvalue Problems
Iterative Methods
Direct Methods for Linear Systems
Linear Least Squares Problems
Matrix Eigenvalue Problems
23.

電子ブック

EB
edited by Assyr Abdulle, Simone Deparis, Daniel Kressner, Fabio Nobile, Marco Picasso
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2015
シリーズ名: Lecture Notes in Computational Science and Engineering ; 103
オンライン: http://dx.doi.org/10.1007/978-3-319-10705-9
所蔵情報: loading…
目次情報: 続きを見る
Preface
Part I: Space Discretisation Methods for PDEs
Part II: Time Integration Schemes
Part III:  A Posteriori Error Estimation and Adaptive Methods
Part IV:  Numerical Linear Algebra
Part V: Multiscale Modeling and Simulation
Part VI: Reduced Order Modeling
Part VII: Optimal Control
Part VIII: Uncertainty, Stochastic Modeling and Applications
Part IX:  Solvers, High Performance Computing and Software Libraries
Part X: Computational Fluid and Structural Mechanics
Part XI: Computational Electromagnetics
Preface
Part I: Space Discretisation Methods for PDEs
Part II: Time Integration Schemes
24.

電子ブック

EB
by Li Li
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
シリーズ名: Springer Optimization and Its Applications ; 103
オンライン: http://dx.doi.org/10.1007/978-3-662-46356-7
所蔵情報: loading…
目次情報: 続きを見る
Preliminary Knowledge
Support Vector Machines
Parameter Estimations
Norm Approximation and Regulariztion
Semi-Definite Programing and Linear Matrix Inequalities
Convex Relaxation
Geometric Problems
Preliminary Knowledge
Support Vector Machines
Parameter Estimations
25.

電子ブック

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

電子ブック

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
オンライン: http://dx.doi.org/10.1007/3-540-28993-3
所蔵情報: loading…
27.

電子ブック

EB
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…
28.

電子ブック

EB
by Richard H. Enns, George C. McGuire
出版情報: New York, NY : Springer Science+Business Media, LLC, 2007
オンライン: http://dx.doi.org/10.1007/978-0-387-49333-6
所蔵情報: loading…
29.

電子ブック

EB
by David Cox, John Little, Donal O’Shea
出版情報: New York, NY : Springer, 2007
シリーズ名: Undergraduate Texts in Mathematics ;
オンライン: http://dx.doi.org/10.1007/978-0-387-35651-8
所蔵情報: loading…
30.

電子ブック

EB
by Inna Shingareva, Carlos Lizàrraga-Celaya
出版情報: Vienna : Springer-Verlag/Wien, 2007
オンライン: http://dx.doi.org/10.1007/978-3-211-73265-6
所蔵情報: loading…
31.

電子ブック

EB
by Giulio Cesare Barozzi
出版情報: Milano : Springer-Verlag Italia, 2007
シリーズ名: Convergenze ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0582-2
所蔵情報: loading…
32.

電子ブック

EB
edited by Anders Logg, Kent-Andre Mardal, Garth Wells
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
シリーズ名: Lecture Notes in Computational Science and Engineering ; 84
オンライン: http://dx.doi.org/10.1007/978-3-642-23099-8
所蔵情報: loading…
33.

電子ブック

EB
edited by Josef Kallrath
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
シリーズ名: Applied Optimization ; 104
オンライン: http://dx.doi.org/10.1007/978-3-642-23592-4
所蔵情報: loading…
34.

電子ブック

EB
by Oliver Sander
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Lecture Notes in Computational Science and Engineering ; 140
オンライン: https://doi.org/10.1007/978-3-030-59702-3
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Preliminaries
The Core Modules
Solving Partial Differential Equations
Appendix
Bibliography
Index
Introduction
Preliminaries
The Core Modules
35.

電子ブック

EB
edited by Valentina Barucci, Scott Chapman, Marco D'Anna, Ralf Fröberg
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Springer INdAM Series ; 40
オンライン: https://doi.org/10.1007/978-3-030-40822-0
所蔵情報: loading…
目次情報: 続きを見る
Bernardini, M., Counting numerical semigroups by genus and even gaps via Kunz-coordinate vectors
Borzì A., Patterns on the numerical duplication
Bouyalat, B. and El Baghdadi, S., Primality in semigroup rings
Delgado, M., Conjecture of Wilf: A survey
Eliahou, S. and Fromentin, J., Gapsets of small multiplicity
Eto K., Generic toric ideals and row-factorization matrices in numerical semigroups
Fel Leonig G., Symmetric (not Complete Intersection) Semigroups Generated by Six Elements
Gimenez P. and Srinivasan H., Syzygies of numerical semigroup rings, a survey through examples
Gotti F., Irreducibility and factorizations in monoid rings
Gotti F. and Gotti M., On the molecules of numerical semigroups, Puiseux monoids, and Puiseux algebras
Karakaș H.I., Arf Numerical Semigroups With Multiplicity 9 and 10
Kien Do V. and Matsuoka N., Numerical semigroup rings of maximal embedding dimension with determinantal defining ideals
Maugeri N. and Zito G., Embedding dimension of a good semigroup
Moyano-Fernandez J. J., On multi-index filtrations associated to Weierstrass semigroups
Oneto A. and Tamone G., On the Hilbert function of fourgenerated numerical semigroup rings • Șahin M., Lattice Ideals, Semigroups and Toric Codes
Spirito D., The number of star operations on numerical semigroups and on related integral domains
Steinburg N. and Wiegand R., Torsion in tensor products over one-dimensional domains
Strazzanti F. and Watanabe K., Almost Symmetric Numerical Semigroups with Odd Generators.-Tozzo L., Poincaré series on good semigroup ideals
Watanabe K., A short proof of Bresinskis Theorem on Gorenstein semigroup rings generated by 4 elements
Bernardini, M., Counting numerical semigroups by genus and even gaps via Kunz-coordinate vectors
Borzì A., Patterns on the numerical duplication
Bouyalat, B. and El Baghdadi, S., Primality in semigroup rings
36.

電子ブック

EB
edited by Hans Georg Bock, Karl-Heinz Küfer, Peter Maass, Anja Milde, Volker Schulz
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Mathematics in Industry ; 35
オンライン: https://doi.org/10.1007/978-3-030-81455-7
所蔵情報: loading…
目次情報: 続きを見る
Preface
Keynotes
Energy
Engineering
Food and Beverages
Life Sciences and Health
Mobility
Optimization
Preface
Keynotes
Energy
37.

電子ブック

EB
edited by Ingrid Hotz, Talha Bin Masood, Filip Sadlo, Julien Tierny
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Mathematics and Visualization ;
オンライン: https://doi.org/10.1007/978-3-030-83500-2
所蔵情報: loading…
目次情報: 続きを見る
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
38.

電子ブック

EB
by Michael L. Bynum, Gabriel A. Hackebeil, William E. Hart, Carl D. Laird, Bethany L. Nicholson, John D. Siirola, Jean-Paul Watson, David L. Woodruff
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Springer Optimization and Its Applications ; 67
オンライン: https://doi.org/10.1007/978-3-030-68928-5
所蔵情報: loading…
目次情報: 続きを見る
1. Introduction
Part I. An Introduction to Pyomo
2. Mathematical Modeling and Optimization
3. Pyomo Overview
4. Pyomo Models and Components: An Introduction
5. Scripting Custom Workflows
6. Interacting with Solvers
Part II. Advanced Topics
7. Nonlinear Programming with Pyomo
8. Structured Modeling with Blocks
9. Performance: Model Construction and Solver Interfaces
10. Abstract Models and Their Solution
Part III. Modeling Extensions
11. Generalized Disjunctive Programming
12. Differential Algebraic Equations
13. Mathematical Programs with Equilibrium Constraints
. A Brief Python Tutorial
Bibliography
Index
1. Introduction
Part I. An Introduction to Pyomo
2. Mathematical Modeling and Optimization
39.

電子ブック

EB
by Tilo Wendler, Sören Gröttrup
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
オンライン: https://doi.org/10.1007/978-3-030-54338-9
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Basic Functions of the SPSS Modeler
Univariate Statistics
Multivariate Statistics
Regression Models
Factor Analysis
Cluster Analysis
Classification Models
Using R with the Modeler
Imbalanced Data and Resampling Techniques
Case Study: Fault Detection in Semiconductor Manufacturing Process
Appendix
Preface
Introduction
Basic Functions of the SPSS Modeler
40.

電子ブック

EB
edited by Tim Jax, Andreas Bartel, Matthias Ehrhardt, Michael Günther, Gerd Steinebach
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Mathematics Online First Collections ;
オンライン: https://doi.org/10.1007/978-3-030-76810-2
所蔵情報: loading…
41.

電子ブック

EB
by Yang-Hui He
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Lecture Notes in Mathematics ; 2293
オンライン: https://doi.org/10.1007/978-3-030-77562-9
所蔵情報: loading…
42.

電子ブック

EB
by Wolfram Koepf
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Springer Undergraduate Texts in Mathematics and Technology ;
オンライン: 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
43.

電子ブック

EB
by Yoni Nazarathy, Hayden Klok
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Springer Series in the Data Sciences ;
オンライン: https://doi.org/10.1007/978-3-030-70901-3
所蔵情報: loading…
目次情報: 続きを見る
Introducing Julia
Basic Probability
Probability Distributions
Processing and Summarizing Data
Statistical Inference Concepts
Confidence Intervals
Hypothesis Testing
Linear Regression and Extensions
Machine Learning Basics
Simulation of Dynamic Models
Appendix A: How-to in Julia
Appendix B: Additional Julia Features
Appendix C: Additional Packages
Introducing Julia
Basic Probability
Probability Distributions