TY - BOOK A1 - Kamani, D. A1 - Mansouri, R. T1 - A new class of inhomogeneous cosmological solutions T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1995 VL - 1995, 07 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Schmidt, Marco A1 - Badtke, Gernot A1 - Bittmann, Frank A1 - Steuer, M. T1 - A new approach for objektive determination of the external spine profile in the sagittal plane Y1 - 1998 ER - TY - BOOK A1 - Böckmann, Christine A1 - Niebsch, Jenny T1 - A mollifier method for aerosol size T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1996 VL - 1996, 07 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Ramlau, Ronny T1 - A modified Landweber-method for inverse problems T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1997 VL - 1997, 03 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Baumgärtel, Hellmut T1 - A modified approach to the Doplicher-Roberts theorem on the construction of field algebra and the symmetry group in superselection theory T3 - Preprint / SFB 288, Differentialgeometrie und Quantenphysik Y1 - 1994 VL - 134 CY - Berlin ER - TY - BOOK A1 - Böckmann, Christine T1 - A modification of the Trust-Region Gauss-Newton method to solve separable nonlinear least squares problems T3 - Preprint / Universität Potsdam, Fachbereich Mathematik Y1 - 1992 VL - 1992, 17 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Rosenblum, Michael A1 - Kurths, Jürgen T1 - A model of neural control of heart rate T3 - Preprint NLD Y1 - 1995 VL - 12 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Schneider, Sven A1 - Lambers, Leen A1 - Orejas, Fernando T1 - A logic-based incremental approach to graph repair T1 - Ein logikbasierter inkrementeller Ansatz für Graphreparatur N2 - Graph repair, restoring consistency of a graph, plays a prominent role in several areas of computer science and beyond: For example, in model-driven engineering, the abstract syntax of models is usually encoded using graphs. Flexible edit operations temporarily create inconsistent graphs not representing a valid model, thus requiring graph repair. Similarly, in graph databases—managing the storage and manipulation of graph data—updates may cause that a given database does not satisfy some integrity constraints, requiring also graph repair. We present a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing repairs. In our context, we formalize consistency by so-called graph conditions being equivalent to first-order logic on graphs. We present two kind of repair algorithms: State-based repair restores consistency independent of the graph update history, whereas deltabased (or incremental) repair takes this history explicitly into account. Technically, our algorithms rely on an existing model generation algorithm for graph conditions implemented in AutoGraph. Moreover, the delta-based approach uses the new concept of satisfaction (ST) trees for encoding if and how a graph satisfies a graph condition. We then demonstrate how to manipulate these STs incrementally with respect to a graph update. N2 - Die Reparatur von Graphen, die Wiederherstellung der Konsistenz eines Graphen, spielt in mehreren Bereichen der Informatik und darüber hinaus eine herausragende Rolle: Beispielsweise wird in der modellgetriebenen Konstruktion die abstrakte Syntax von Modellen in der Regel mithilfe von Graphen kodiert. Flexible Bearbeitungsvorgänge erstellen vorübergehend inkonsistente Diagramme, die kein gültiges Modell darstellen, und erfordern daher eine Reparatur des Diagramms. Auf ähnliche Weise können Aktualisierungen in Graphendatenbanken - die das Speichern und Bearbeiten von Graphendaten verwalten - dazu führen, dass eine bestimmte Datenbank einige Integritätsbeschränkungen nicht erfüllt und auch eine Graphreparatur erforderlich macht. Wir präsentieren einen logikbasierten inkrementellen Ansatz für die Graphreparatur, der eine solide und vollständige (nach Beendigung) Übersicht über die am wenigsten verändernden Reparaturen erstellt. In unserem Kontext formalisieren wir die Konsistenz mittels sogenannten Graphbedingungen die der Logik erster Ordnung in Graphen entsprechen. Wir stellen zwei Arten von Reparaturalgorithmen vor: Die zustandsbasierte Reparatur stellt die Konsistenz unabhängig vom Verlauf der Graphänderung wieder her, während die deltabasierte (oder inkrementelle) Reparatur diesen Verlauf explizit berücksichtigt. Technisch stützen sich unsere Algorithmen auf einen vorhandenen Modellgenerierungsalgorithmus für in AutoGraph implementierte Graphbedingungen. Darüber hinaus verwendet der deltabasierte Ansatz das neue Konzept der Erfüllungsbäume (STs) zum Kodieren, ob und wie ein Graph eine Graphbedingung erfüllt. Wir zeigen dann, wie diese STs in Bezug auf eine Graphaktualisierung inkrementell manipuliert werden. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 126 KW - nested graph conditions KW - graph repair KW - model repair KW - consistency restoration KW - verschachtelte Graphbedingungen KW - Graphreparatur KW - Modellreparatur KW - Konsistenzrestauration Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-427517 SN - 978-3-86956-462-3 SN - 1613-5652 SN - 2191-1665 IS - 126 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Tarkhanov, Nikolai Nikolaevich T1 - A fixed point formula in one complex variable T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2003 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Lledó, Fernando T1 - A family of examples with quantum constraints T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1996 VL - 1996, 01 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Wolf, Hans-Georg A1 - Cummings, Patrick T1 - A dictionary of Hong Kong English : words from the fragrant harbor Y1 - 2011 SN - 988-808330-9 PB - Univ. of Hong Kong CY - Hong Kong ER - TY - BOOK A1 - Korrami, M. A1 - Mansouri, R. A1 - Mohazzab, Masoud T1 - A decrumpling model of the universe T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1996 VL - 1996, 09 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Korey, Michael Brian T1 - A Decomposition of functions with vanishing mean oscillation T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgrupe Partielle Differentialgleichun Y1 - 2001 SN - 1437-339X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Gauthier, P. M. A1 - Tarkhanov, Nikolai Nikolaevich T1 - A covering proberty of the Riemann zeta-funktion T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2004 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Dahlke, Stephan A1 - Maaß, Peter T1 - A continuous wavelet transform on tangent bundles of spheres T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1994 VL - 1994, 16 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Rabinovich, Vladimir A1 - Schulze, Bert-Wolfgang A1 - Tarchanov, Nikolaj N. T1 - A calculus of boundary value problems in domains with Non-Lipschitz singular points T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1997 VL - 1997, 09 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Witt, Ingo T1 - A calculus for a class of finitely degenerate pseudodifferential operators T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 2002 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Aizenberg, Lev A. A1 - Tarchanov, Nikolaj N. T1 - A Bohr phenomenon for elliptic equations T3 - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell Y1 - 1999 SN - 1437-739X PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Schwarz, Wolfgang T1 - 40 puzzles and problems in probability and mathematical statistics Y1 - 2008 SN - 978-0-387-73511-5 U6 - https://doi.org/10.1007/978-0-387-73512-2 PB - Springer Science+Business Media LLC CY - New York, NY ER - TY - BOOK A1 - Gonzáles-Diaz, P. F. A1 - Kasper, Uwe A1 - Rainer, Martin T1 - 2-Dimensional dilatonic gravity from multidimensional Einstein gravity T3 - Preprint / Universität Potsdam, Institut für Mathematik Y1 - 1997 VL - 1997, 22 PB - Univ. CY - Potsdam ER -