feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

The displayed data is currently being updated.
Unfortunately, the interlibrary loan index is currently not available.
Export
Filter
  • English  (9)
  • UB Potsdam  (8)
  • MPI Bildungsforschung  (1)
  • Bibliothek im Kontor
  • Bibliothek des Konservatismus
  • Secret State Archives
  • Kreisbibliothek des Landkreises Spree-Neiße
  • SB Finsterwalde
  • SB Velten
  • SB Ruhland
  • Bibliothek Wusterhausen (Dosse)
  • SB Bad Wilsnack
  • 2015-2019  (3)
  • 2010-2014  (6)
  • 1925-1929
  • Licensed  (9)
Type of Medium
Language
Region
Library
Years
Year
Subjects(RVK)
Access
  • 1
    UID:
    gbv_1655540289
    Format: 1 Online-Ressource
    ISBN: 9789004351745
    Series Statement: Supplements to Vetus Testamentum Volume 176
    Content: Preliminary Material -- Introduction -- Quoted Speech in Prophetic Literature: A Research History -- Quoted Speech in Context: Method and Interpretation -- The Text and Structure of Jeremiah 2.1–3.5 -- Quoted Speech in Jeremiah 2.4–13 -- Quoted Speech in Jeremiah 2.14–25 -- Quoted Speech in Jeremiah 2.26–32 -- Quoted Speech in Jeremiah 2.33–37 -- Quoted Speech in Jeremiah 3.1–5 -- Interpreting Quoted Speech in Prophetic Literature: Jeremiah 2.1–3.5 and Beyond -- Conclusion -- Bibliography -- Index of Authors -- Index of Ancient Sources -- Index of Subjects.
    Content: In Interpreting Quoted Speech , Samuel Hildebrandt analyzes the literary phenomenon of one speaker quoting the words of another speaker within prophetic discourse. Challenging approaches that categorize these speech quotations and use them as direct windows into Israel’s past, Hildebrandt makes a compelling case for reading quoted speech in its literary context. He presents a substantial method for such an interpretive approach, demonstrates its value in a detailed analysis of Jeremiah 2.1-3.5, and highlights the significance of quoted phrases in Jeremiah and other prophetic texts. Interpreting Quoted Speech marks an important contribution to the exploration of Jeremiah’s discourse and polyphony and, due to its accessible methodology and exegesis, offers a model for further research in prophetic literature
    Additional Edition: ISBN 9789004351721
    Additional Edition: Erscheint auch als Druck-Ausgabe Hildebrandt, Samuel Interpreting quoted speech in prophetic literature Leiden : Brill, 2017 ISBN 9789004351721
    Additional Edition: ISBN 9004351728
    Language: English
    Subjects: Theology
    RVK:
    RVK:
    Keywords: Bibel 2,1-3,5 Jeremia ; Exegese ; Bibel 2,1-3,5 Jeremia ; Exegese ; Zitat ; Hochschulschrift
    URL: DOI
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    UID:
    gbv_1650102178
    Format: Online-Ressource (XVI, 584p. 47 illus, digital)
    ISBN: 9783642117060
    Series Statement: Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics 341
    Content: Introduction -- Part I. Free Boundaries and Bernstein Theorems -- 1.Minimal Surfaces with Supporting Half-Planes -- 2.Embedded Minimal Surfaces with Partially Free Boundaries -- 3.Bernstein Theorems and Related Results -- Part II. Global Analysis of Minimal Surfaces -- 4.The General Problem of Plateau: Another Approach -- 5.The Index Theorems for Minimal Surfaces of Zero and Higher Genus -- 6.Euler Characteristic and Morse Theory for Minimal Surfaces -- Bibliography -- Index.
    Content: Many properties of minimal surfaces are of a global nature, and this is already true for the results treated in the first two volumes of the treatise. Part I of the present book can be viewed as an extension of these results. For instance, the first two chapters deal with existence, regularity and uniqueness theorems for minimal surfaces with partially free boundaries. Here one of the main features is the possibility of "edge-crawling" along free parts of the boundary. The third chapter deals with a priori estimates for minimal surfaces in higher dimensions and for minimizers of singular integrals related to the area functional. In particular, far reaching Bernstein theorems are derived. The second part of the book contains what one might justly call a "global theory of minimal surfaces" as envisioned by Smale. First, the Douglas problem is treated anew by using Teichmüller theory. Secondly, various index theorems for minimal theorems are derived, and their consequences for the space of solutions to Plateau´s problem are discussed. Finally, a topological approach to minimal surfaces via Fredholm vector fields in the spirit of Smale is presented.
    Note: Description based upon print version of record , Preface; Contents; Introduction; Part I. Free Boundaries and Bernstein Theorems; Minimal Surfaces with Supporting Half-Planes; Embedded Minimal Surfaces with Partially Free Boundaries; Bernstein Theorems and Related Results; Part II. Global Analysis of Minimal Surfaces; The General Problem of Plateau: Another Approach; The Index Theorems for Minimal Surfaces of Zero and Higher Genus; Euler Characteristic and Morse Theory for Minimal Surfaces; Bibliography; Index;
    Additional Edition: ISBN 9783642117053
    Additional Edition: Buchausg. u.d.T. Minimal surfaces ; 3: Global analysis of minimal surfaces Berlin : Springer, 2010 ISBN 9783642117053
    Additional Edition: ISBN 3642117058
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Minimalfläche ; Globale Analysis ; Minimalfläche
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    UID:
    gbv_1650102038
    Format: Online-Ressource (XVIII, 626 p, digital)
    ISBN: 9783642117008
    Series Statement: Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics 340
    Content: Boundary Behaviour of Minimal Surfaces -- Minimal Surfaces with Free Boundaries -- The Boundary Behaviour of Minimal Surfaces -- Singular Boundary Points of Minimal Surfaces -- Geometric Properties of Minimal Surfaces -- Enclosure and Existence Theorems for Minimal Surfaces and H-Surfaces. Isoperimetric Inequalities -- The Thread Problem -- Branch Points.
    Content: Regularity of Minimal Surfaces begins with a survey of minimal surfaces with free boundaries. Following this, the basic results concerning the boundary behaviour of minimal surfaces and H-surfaces with fixed or free boundaries are studied. In particular, the asymptotic expansions at interior and boundary branch points are derived, leading to general Gauss-Bonnet formulas. Furthermore, gradient estimates and asymptotic expansions for minimal surfaces with only piecewise smooth boundaries are obtained. One of the main features of free boundary value problems for minimal surfaces is that, for principal reasons, it is impossible to derive a priori estimates. Therefore regularity proofs for non-minimizers have to be based on indirect reasoning using monotonicity formulas. This is followed by a long chapter discussing geometric properties of minimal and H-surfaces such as enclosure theorems and isoperimetric inequalities, leading to the discussion of obstacle problems and of Plateau´s problem for H-surfaces in a Riemannian manifold. A natural generalization of the isoperimetric problem is the so-called thread problem, dealing with minimal surfaces whose boundary consists of a fixed arc of given length. Existence and regularity of solutions are discussed. The final chapter on branch points presents a new approach to the theorem that area minimizing solutions of Plateau´s problem have no interior branch points.
    Note: Description based upon print version of record , Preface; Contents; Introduction; Part I. Boundary Behaviour of Minimal Surfaces; Minimal Surfaces with Free Boundaries; The Boundary Behaviour of Minimal Surfaces; Singular Boundary Points of Minimal Surfaces; Part II. Geometric Properties of Minimal Surfaces and H-Surfaces; Enclosure and Existence Theorems for Minimal Surfaces and H-Surfaces. Isoperimetric Inequalities; The Thread Problem; Branch Points; Bibliography; Index;
    Additional Edition: ISBN 9783642116995
    Additional Edition: Buchausg. u.d.T. Minimal surfaces ; 2: Regularity of minimal surfaces Berlin : Springer, 2010 ISBN 9783642116995
    Additional Edition: ISBN 364211699X
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Minimalfläche ; Regularität ; Minimalfläche
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    UID:
    gbv_1650102119
    Format: Online-Ressource (XVI, 708p. 140 illus, digital)
    ISBN: 9783642116988
    Series Statement: Grundlehren der mathematischen Wissenschaften, A Series of Comprehensive Studies in Mathematics 339
    Content: to the Geometry of Surfaces and to Minimal Surfaces -- Differential Geometry of Surfaces in Three-Dimensional Euclidean Space -- Minimal Surfaces -- Representation Formulas and Examples of Minimal Surfaces -- Plateau's Problem -- The Plateau Problem and the Partially Free Boundary Problem -- Stable Minimal- and H-Surfaces -- Unstable Minimal Surfaces -- Graphs with Prescribed Mean Curvature -- to the Douglas Problem -- Problems.
    Content: Minimal Surfaces is the first volume of a three volume treatise on minimal surfaces (Grundlehren Nr. 339-341). Each volume can be read and studied independently of the others. The central theme is boundary value problems for minimal surfaces. The treatise is a substantially revised and extended version of the monograph Minimal Surfaces I, II (Grundlehren Nr. 295 & 296). The first volume begins with an exposition of basic ideas of the theory of surfaces in three-dimensional Euclidean space, followed by an introduction of minimal surfaces as stationary points of area, or equivalently, as surfaces of zero mean curvature. The final definition of a minimal surface is that of a nonconstant harmonic mapping X: \Omega\to\R^3 which is conformally parametrized on \Omega\subset\R^2 and may have branch points. Thereafter the classical theory of minimal surfaces is surveyed, comprising many examples, a treatment of Björling´s initial value problem, reflection principles, a formula of the second variation of area, the theorems of Bernstein, Heinz, Osserman, and Fujimoto. The second part of this volume begins with a survey of Plateau´s problem and of some of its modifications. One of the main features is a new, completely elementary proof of the fact that area A and Dirichlet integral D have the same infimum in the class C(G) of admissible surfaces spanning a prescribed contour G. This leads to a new, simplified solution of the simultaneous problem of minimizing A and D in C(G), as well as to new proofs of the mapping theorems of Riemann and Korn-Lichtenstein, and to a new solution of the simultaneous Douglas problem for A and D where G consists of several closed components. Then basic facts of stable minimal surfaces are derived; this is done in the context of stable H-surfaces (i.e. of stable surfaces of prescribed mean curvature H), especially of cmc-surfaces (H = const), and leads to curvature estimates for stable, immersed cmc-surfaces and to Nitsche´s uniqueness theorem and Tomi´s finiteness result. In addition, a theory of unstable solutions of Plateau´s problems is developed which is based on Courant´s mountain pass lemma. Furthermore, Dirichlet´s problem for nonparametric H-surfaces is solved, using the solution of Plateau´s problem for H-surfaces and the pertinent estimates.
    Note: Description based upon print version of record , Preface; Contents; Introduction; Part I. Introduction to the Geometry of Surfaces and to Minimal Surfaces; Differential Geometry of Surfaces in Three-Dimensional Euclidean Space; Minimal Surfaces; Representation Formulas and Examples of Minimal Surfaces; Part II. Plateau's Problem; The Plateau Problem and the Partially Free Boundary Problem; Stable Minimal- and H-Surfaces; Unstable Minimal Surfaces; Graphs with Prescribed Mean Curvature; Introduction to the Douglas Problem; Problems; On Relative Minimizers of Area and Energy; Minimal Surfaces in Heisenberg Groups; Bibliography; Index;
    Additional Edition: ISBN 9783642116971
    Additional Edition: Buchausg. u.d.T. Minimal surfaces ; 1: Minimal surfaces Berlin : Springer, 2010 ISBN 9783642116971
    Additional Edition: Erscheint auch als Druck-Ausgabe Dierkes, Ulrich, 1956 - [Minimal surfaces] ; 1: Minimal surfaces Heidelberg [u.a.] : Springer, 2010 ISBN 9783642116971
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Minimalfläche ; Minimalfläche
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    gbv_835049388
    Format: Online-Ressource (PDF-Datei: 12195 KB, XIV, 292 S.) , Ill., graph. Darst.
    Content: Most of the baryonic matter in the Universe resides in a diffuse gaseous phase in-between galaxies consisting mostly of hydrogen and helium. This intergalactic medium (IGM) is distributed in large-scale filaments as part of the overall cosmic web. The luminous extragalactic objects that we can observe today, such as galaxies and quasars, are surrounded by the IGM in the most dense regions within the cosmic web. The radiation of these objects contributes to the so-called ultraviolet background (UVB) which keeps the IGM highly ionized ever since the epoch of reionization. Measuring the amount of absorption due to intergalactic neutral hydrogen (HI) against extragalactic background sources is a very useful tool to constrain the energy input of ionizing sources into the IGM. Observations suggest that the HI Lyman-alpha effective optical depth, τ_eff, decreases with decreasing redshift, which is primarily due to the expansion of the Universe. However, some studies find a smaller value of the effective optical depth than expected at the sp…
    Note: Potsdam, Univ., Diss., 2015
    Additional Edition: Druckausg. Hildebrandt, Dominik The H I Lyman [alpha] opacity at redshift 2.7 ≤ z ≤ 3.6 2015
    Language: English
    Keywords: Intergalaktische Materie ; Wasserstoff ; Lyman-Alpha-Strahlung ; Hochschulschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_635680262
    Format: Online-Ressource (PDF-Datei: 26 S., 808 kB)
    Series Statement: Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam 37
    Content: The correctness of model transformations is a crucial element for the model-driven engineering of high quality software. A prerequisite to verify model transformations at the level of the model transformation specification is that an unambiguous formal semantics exists and that the employed implementation of the model transformation language adheres to this semantics. However, for existing relational model transformation approaches it is usually not really clear under which constraints particular implementations are really conform to the formal semantics. In this paper, we will bridge this gap for the formal semantics of triple graph grammars (TGG) and an existing efficient implementation. Whereas the formal semantics assumes backtracking and ignores non-determinism, practical implementations do not support backtracking, require rule sets that ensure determinism, and include further optimizations. Therefore, we capture how the considered TGG implementation realizes the transformation by means of operational rules, define required criteria and show conformance to the formal semantics if these criteria are fulfilled. We further outline how static analysis can be employed to guarantee these criteria.
    Additional Edition: ISBN 9783869560786
    Additional Edition: Druckausg. Giese, Holger Toward bridging the gap between formal semantics and implementation of triple graph grammars Potsdam : Universitätsverlag Potsdam, 2010 ISBN 9783869560786
    Language: English
    Keywords: Forschungsbericht
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_1656977427
    Format: Online-Ressource (XVII, 167 p. 36 illus, online resource)
    ISBN: 9783319336121
    Series Statement: Lecture Notes in Computer Science 9421
    Content: This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types
    Content: Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants
    Additional Edition: ISBN 9783319336114
    Additional Edition: Druckausg. ISBN 978-3-319-33611-4
    Language: English
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_725792477
    Format: Online-Ressource (PDF-Datei: vi, 51 S., 7.088 kB) , graph. Darst.
    Series Statement: Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam 57
    Content: During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this report, we present in an extended version of [Holger Giese, Stefan Neumann, and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555–579. Springer Berlin / Heidelberg, 2010.] how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner. In the appendix as extension to [19] the meta-models and all TGG rules for the SysML to AUTOSAR model synchronization are documented.
    Additional Edition: ISBN 9783869561912
    Additional Edition: Druckausg. Giese, Holger, 1970 - Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars Potsdam : Universitätsverlag Potsdam, 2012 ISBN 9783869561912
    Language: English
    Keywords: Modelltransformation ; SysML ; AUTOSAR ; Graph-Grammatik ; Forschungsbericht
    Author information: Giese, Holger 1970-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_1696334993
    Format: 1 online resource (288 pages)
    ISBN: 9781607813064
    Series Statement: University of Utah Anthropological Paper Ser v.number 127
    Content: Intro -- Contents -- Figures -- Tables -- Preface -- Acknowledgments -- 1. Introduction -- 2. Natural and Cultural Context -- 3. Research Issues -- 4. Survey Methods and Results -- 5. Chronological Controls -- 6. Excavations -- 7. Rock Art -- 8. Synthesis -- 9. Summary and Conclusion -- References Cited -- Index.
    Note: Description based on publisher supplied metadata and other sources
    Additional Edition: ISBN 9781607813057
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781607813057
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages