ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
Language
Number of Hits per Page
Default Sort Criterion
Default Sort Ordering
Size of Search History
Default Email Address
Default Export Format
Default Export Encoding
Facet list arrangement
Maximum number of values per filter
Auto Completion
Topics (search only within journals and journal articles that belong to one or more of the selected topics)
Show more topics
Feed Format
Maximum Number of Items per Feed
Permalink If you want to be able to use settings permanently, you must save your settings and then set a Bookmark to the permalink
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (983)
  • Articles  (985,970)
  • Mathematics  (902,824)
  • Sociology  (84,130)
Collection
  • Books  (983)
  • Journals  (3,636)
  • Articles  (985,970)
Source
Keywords
Publisher
Language
Years
Journal
Topic
  • 1
    Unknown
    Solving PDEs in Python : The FEniCS Tutorial I (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Software engineering ; Algorithms ; Computer mathematics ; Visualization ; Computer software ; Numerical analysis ; Mathematics ; Computational Science and Engineering ; Algorithms ; Visualization ; Mathematical Software ; Numerical Analysis ; Software Engineering/Programming and Operating Systems
    Description / Table of Contents: 1 Preliminaries --- 2 Fundamentals: Solving the Poisson Equation --- 3 A Gallery of Finite Element Solvers --- 4 Subdomains and Boundary Conditions --- 5 Extensions: Improving the Poisson Solver --- References
    Pages: Online-Ressource (XI, 146 pages) , 17 illustrations, 16 illustrations in color
    ISBN: 9783319524627
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-52462-7
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    Unknown
    Ship and Offshore Structure Design in Climate Change Perspective (2013)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Statistics ; Climate change ; Quality control ; Reliability ; Industrial safety ; Statistics ; Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences ; Climate Change Management and Policy ; Quality Control, Reliability, Safety and Risk
    Description / Table of Contents: 1.Abstract --- 2.Introduction --- 3.Climate Change and Variability --- 4.Changes in Wind, Waves and Sea Water Level in the 20th Century --- 5.Expected Changes in Wind, Waves and Sea Water Level in the 21st Century --- 5.1. Changes in the Average Values and Extremes --- 5.2 .Uncertainties --- 6.Potential Impact on Design of Marine Structures --- 6.1. Met-ocean Design Bases --- 6.2.Risk-based Approach --- 6.3.Illustration of Application --- 7.Conclusions and Recommendations
    Pages: Online-Ressource (XII, 69 pages) , 17 illustrations, 13 illustrations in color
    ISBN: 9783642341380
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-642-34138-0
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    Unknown
    Finite Difference Computing with Exponential Decay Models (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer programming ; Software engineering ; Computer mathematics ; Mathematics ; Computational Science and Engineering ; Programming Techniques ; Software Engineering ; Numerical and Computational Physics, Simulation ; Mathematical and Computational Engineering
    Description / Table of Contents: Preface --- Algorithms and implementations --- Analysis --- Generalizations --- Models --- Scientific Software Engineering --- References --- Index.
    Pages: Online-Ressource (XIV, 200 pages) , 29 illustrations
    ISBN: 9783319294391
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29439-1
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    Unknown
    Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Computer graphics ; Computer mathematics ; Mathematics ; Computational Science and Engineering ; Biomedicine general ; Computer Imaging, Vision, Pattern Recognition and Graphics
    Description / Table of Contents: Preface --- Background: Contents and Method --- One-dimensional calcium release --- Models of open and state blockers --- Two-dimensional calcium release --- Computing theoretical drugs in the two-dimensional case --- Generalized systems --- Calcium-induced calcium release --- Numerical release for CICR --- A prototypical model of an ion channel --- Inactivated ion channels --- A simple model of the sodium channel --- Mutations affecting the mean open time --- The burst mode --- Whole sale action potentials ---
    Pages: Online-Ressource (XVI, 261 pages) , 129 illustrations, 30 illustrations in color
    ISBN: 9783319300306
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-30030-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    Unknown
    Quantization on Nilpotent Lie Groups (2016)
    Cham : Birkhäuser
    Details
    Keywords: Topological Groups ; Harmonic analysis ; Functional analysis ; Topological Groups, Lie Groups ; Abstract Harmonic Analysis ; Functional Analysis ; Mathematical Physics
    Description / Table of Contents: Preface --- Introduction --- Notation and conventions --- 1 Preliminaries on Lie groups --- 2 Quantization on compact Lie groups --- 3 Homogeneous Lie groups --- 4 Rockland operators and Sobolev spaces --- 5 Quantization on graded Lie groups --- 6 Pseudo-differential operators on the Heisenberg group --- A Miscellaneous --- B Group C* and von Neumann algebras --- Schrödinger representations and Weyl quantization --- Explicit symbolic calculus on the Heisenberg group --- List of quantizations --- Bibliography --- Index
    Pages: Online-Ressource (XIII, 557 pages) , 1 illustrations in color
    ISBN: 9783319295589
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-29558-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    Unknown
    Innovations in Derivatives Markets : Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation (2016)
    Cham : Springer
    Details
    Keywords: Finance ; Banks and banking ; Statistics ; Distribution (Probability theory ; Financial engineering ; Quantitative Finance ; Banking ; Statistics for Business/Economics/Mathematical Finance/Insurance ; Mathematical Modeling and Industrial Mathematics ; Probability Theory and Stochastic Processes ; Financial Engineering
    Description / Table of Contents: Foreword --- Preface --- Part I: Valuation Adjustments --- Part II: Fixed Income Modeling --- Part III: Financial Engineering.
    Pages: Online-Ressource (X, 449 pages) , 68 illustrations, 43 illustrations in color
    ISBN: 9783319334462
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-33446-2
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    Unknown
    Advances in Proof-Theoretic Semantics (2016)
    Cham : Springer
    Details
    Keywords: Philosophy ; Logic ; Mathematical logic ; Philosophy ; Logic ; Mathematical Logic and Foundations ; Mathematical Logic and Formal Languages
    Description / Table of Contents: Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister --- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov --- Chapter 3. Two Ways of General Proof Theory; Kosta Došen --- Chapter 4. Generalised elimination rules; Roy Dyckhoff --- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs --- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges --- Chapter 7. The mode of presentation; Reinhard Kahle --- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz --- Chapter 9. Unification of logics by reflection; Giovanni Sambin --- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm --- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait --- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti --- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato --- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing --- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa --- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama
    Pages: Online-Ressource (VI, 283 pages)
    ISBN: 9783319226866
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-22686-6
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    Unknown
    Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python (2016)
    Cham : Springer
    Details
    Keywords: Mathematics ; Numerical analysis ; Computer mathematics ; Computer software ; Mathematics ; Computational Science and Engineering ; Numeric Computing ; Mathematical Software ; Numerical Analysis
    Description / Table of Contents: Preface --- The first few steps --- Basic constructions --- Computing integrals --- Solving ordinary differential equations --- Solving partial differential equations --- Solving nonlinear algebraic equations --- Getting access to Python --- References --- Index
    Pages: Online-Ressource (XVI, 232 pages) , 45 illustrations
    ISBN: 9783319324289
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-319-32428-9
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    Unknown
    Finite Difference Computing with PDEs : A Modern Software Approach (2017)
    Cham : Springer
    Details
    Keywords: Mathematics ; Numerical analysis ; Computer mathematics ; Computer software ; Mathematics ; Computational Science and Engineering ; Numeric Computing ; Mathematical Software ; Finite difference methods ; Programming ; Python ; Verification ; Numerical methods ; Differential equations
    Description / Table of Contents: 1. Vibration ODEs --- 1.1 Finite Difference Discretization --- 1.2 Implementation --- 1.3 Visualization of Long Time Simulations --- 1.4 Analysis of the Numerical Scheme --- 1.5 Alternative Schemes Based on 1st-Order Equations --- 1.6 Energy Considerations --- 1.7 The Euler-Cromer Method --- 1.8 Staggered Mesh --- 1.9 Exercises and Problems --- 1.10 Generalization: Damping, Nonlinearities, and Excitation --- 1.11 Exercises and Problems --- 1.12 Applications of Vibration Models --- 1.13 Exercises --- 2. Wave Equations --- 2.1 Simulation of Waves on a String --- 2.2 Verification --- 2.3 Implementation --- 2.4 Vectorization --- 2.5 Exercises --- 2.6 Generalization: Reflecting Boundaries --- 2.7 Generalization: Variable Wave Velocity --- 2.8 Building a General 1D Wave Equation Solver --- 2.9 Exercises --- 2.10 Analysis of the Difference Equations --- 2.11 Finite Difference Methods for 2D and 3D Wave Equations --- 2.12 Implementation --- 2.13 Exercises --- 2.14 Applications of Wave Equations --- 2.15 Exercises --- 3. Diffusion Equations --- 3.1 An Explicit Method for the 1D Diffusion Equation --- 3.2 Implicit Methods for the 1D Diffusion Equation --- 3.3 Analysis of Schemes for the Diffusion Equation --- 3.4 Exercises --- 3.5 Diffusion in Heterogeneous Media --- 3.6 Diffusion in 2D --- 3.7 Random Walk --- 3.8 Applications --- 3.9 Exercises --- 4. Advection-Dominated Equations --- 4.1 One-Dimensional Time-Dependent Advection Equations --- 4.2 One-Dimensional Stationary Advection-Diffusion Equation --- 4.3 Time-dependent Convection-Diffusion Equations --- 4.4 Applications of Advection Equations --- 4.5 Exercises --- 5. Nonlinear Problems --- 5.1 Introduction of Basic Concepts --- 5.2 Systems of Nonlinear Algebraic Equations --- 5.3 Linearization at the Differential Equation Level --- 5.4 1D Stationary Nonlinear Differential Equations --- 5.5 Multi-Dimensional Nonlinear PDE Problems --- 5.6 Operator Splitting Methods --- 5.7 Exercises
    Pages: Online-Ressource (XXIII, 507 pages) , 150 illustrations
    ISBN: 9783319554563
    URL: https://link.springer.com/book/10.1007/978-3-319-55456-3
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    Unknown
    Advances in Discrete Differential Geometry (2016)
    Berlin, Heidelberg : Springer
    Details
    Keywords: Mathematics ; Computer graphics ; Dynamics ; Ergodic theory ; Functions of complex variables ; Differential geometry ; Physics ; Mathematics ; Differential Geometry ; Functions of a Complex Variable ; Dynamical Systems and Ergodic Theory ; Computer Graphics ; Numerical and Computational Physics
    Description / Table of Contents: Discrete conformal maps: Boundary value problems, circle domains, Fuchsian and Schottky uniformization: Alexander I. Bobenko, Stefan Sechelmann, Boris Springborn --- Discrete complex analysis on planar quad-graphs: Alexander I. Bobenko and Felix Günther --- Approximation of conformal mappings using conformally equivalent triangular lattices: Ulrike Bücking --- Numerical Methods for the Discrete Map Za: Folkmar Bornemann, Alexander Its, Sheehan Olver, and Georg Wechslberger --- A variational principle for cyclic polygons with prescribed edge lengths: Hana Kourimská, Lara Skuppin, Boris Springborn --- Complex Line Bundles over Simplicial Complexes and their Applications: Felix Knöppel and Ulrich Pinkall --- Holomorphic vector fields and quadratic differentials on planar triangular meshes: Wai Yeung Lam, Ulrich Pinkall --- Vertex normals and face curvatures of triangle meshes: Xiang Sun, Caigui Jiang, Johannes Wallner, and Helmut Pottmann --- S-conical cmc surfaces. Towards a unified theory of discrete surfaces with constant mean curvature: Alexander I. Bobenko and Tim Hoffmann --- Constructing solutions to the Björling problem for isothermic surfaces by structure preserving discretization: Ulrike Bücking and Daniel Matthes --- On the Lagrangian Structure of Integrable Hierarchies: Yuri B. Suris, Mats Vermeeren --- On the variational interpretation of the discrete KP equation: Raphael Boll, Matteo Petrera, and Yuri B. Suris --- Six topics on inscribable polytopes: Arnau Padrol and Günter M. Ziegler --- DGD Gallery: Storage, sharing, and publication of digital research data: Michael Joswig, Milan Mehner, Stefan Sechelmann, Jan Techter, and Alexander I. Bobenko
    Pages: Online-Ressource (X, 439 pages) , 114 illustrations, 67 illustrations in color
    ISBN: 9783662504475
    URL: https://link.springer.com/openurl?genre=book&isbn=978-3-662-50447-5
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...