@misc{EccardDammhahnYloenen2017,
  author    = {Eccard, Jana and Dammhahn, Melanie and Yl{\"o}nen, Hannu},
  title     = {The Bruce effect revisited},
  series = {Postprints der Universit{\"a}t Potsdam Mathematisch-Naturwissenschaftliche Reihe},
  journal   = {Postprints der Universit{\"a}t Potsdam Mathematisch-Naturwissenschaftliche Reihe},
  number    = {734},
  issn      = {1866-8372},
  doi       = {10.25932/publishup-43295},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-432956},
  pages     = {14},
  year      = {2017},
  abstract  = {Pregnancy termination after encountering a strange male, the Bruce effect, is regarded as a counterstrategy of female mammals towards anticipated infanticide. While confirmed in caged rodent pairs, no verification for the Bruce effect existed from experimental field populations of small rodents. We suggest that the effect may be adaptive for breeding rodent females only under specific conditions related to populations with cyclically fluctuating densities. We investigated the occurrence of delay in birth date after experimental turnover of the breeding male under different population composition in bank voles (Myodes glareolus) in large outdoor enclosures: one-male-multiple-females (n = 6 populations/18 females), multiple-males-multiple-females (n = 15/45), and single-male-single-female (MF treatment, n = 74/74). Most delays were observed in the MF treatment after turnover. Parallel we showed in a laboratory experiment (n = 205 females) that overwintered and primiparous females, the most abundant cohort during population lows in the increase phase of cyclic rodent populations, were more likely to delay births after turnover of the male than year-born and multiparous females. Taken together, our results suggest that the Bruce effect may be an adaptive breeding strategy for rodent females in cyclic populations specifically at low densities in the increase phase, when isolated, overwintered animals associate in MF pairs. During population lows infanticide risk and inbreeding risk may then be higher than during population highs, while also the fitness value of a litter in an increasing population is higher. Therefore, the Bruce effect may be adaptive for females during annual population lows in the increase phases, even at the costs of delaying reproduction.},
  language  = {en}
}
@misc{EbnervonEschenbach2017,
  author    = {Ebner von Eschenbach, Malte},
  title     = {Im Grenzbereich des R{\"a}umlichen},
  series = {Postprints der Universit{\"a}t Potsdam : Humanwissenschaftliche Reihe},
  journal   = {Postprints der Universit{\"a}t Potsdam : Humanwissenschaftliche Reihe},
  number    = {640},
  issn      = {1866-8364},
  doi       = {10.25932/publishup-43504},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-435040},
  pages     = {30},
  year      = {2017},
  abstract  = {Im Zuge des Spatial Turn, der in der erwachsenenp{\"a}dagogischen Raumforschung un{\"u}bersehbar ist, wird eine Orientierung wahrnehmbar, die daf{\"u}r pl{\"a}diert, sich der Materialit{\"a}t r{\"a}umlicher Arrangements wieder st{\"a}rker zuzuwenden. Diese Tendenz der Re-Etablierung von Materialit{\"a}t birgt das Risiko, hinter den erreichten Stand des Spatial Turn zur{\"u}ckzukehren. Eine M{\"o}glichkeit, der sich anbahnenden ‚Raumfalle' auszuweichen, k{\"o}nnte darin liegen, sich einer topologischen Perspektive zuzuwenden. Eine solche Perspektive er{\"o}ffnet nicht nur die M{\"o}glichkeit, bisherige Rezeptionssperren im Spatial Turn aufzuheben und dadurch eine Perspektive einzuf{\"u}hren, mit der alternative Blickpunkte exploriert werden k{\"o}nnen. Im Kontrast zu raumontologischen Auffassungen privilegiert Topologie geradezu die Abstraktion von einer materiellen Verhaftetheit. Der Beitrag verfolgt zweierlei: Einerseits will er das Vokabular erwachsenenp{\"a}dagogischer Raumforschung ausdifferenzieren, andererseits eine topologische Perspektive einf{\"u}hren, um eine theoretische Grundlage f{\"u}r weiterf{\"u}hrende {\"U}berlegungen zu schaffen.},
  language  = {de}
}
@book{EbkeZanfiKruegeretal.2017,
  author    = {Ebke, Thomas and Zanfi, Caterina and Kr{\"u}ger, Hans-Peter and Sommer, Christian and Viennet, Thomas and Johannßen, Dennis and Balzaretti, Ugo and Toussaint Ondoua, Herv{\´e} and Agard, Olivier and Henckmann, Wolfhart and Simonotti, Edoardo and Hand, Annika and Tavakkoli, Amirpasha and Hackbarth, Daniel and Edinger, Sebastian and Schollmeyer, Justus and von Kalckreuth, Moritz Alexander and Schmieg, Gregor and Batista Rates, Bruno and Kressmann, Philipp and Hilt, Annette and van Buuren, Jasper and Keusch, Juliane and Guzun, Mădălina and Bruff, Kyla and Stahl, Marion and Held, Lukas},
  title     = {Das Leben im Menschen oder der Mensch im Leben?},
  editor    = {Ebke, Thomas and Zanfi, Caterina},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-382-4},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-95409},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {514 Seiten},
  year      = {2017},
  abstract  = {In der Philosophie des 20. Jahrhunderts wird deutlich, dass es in Frankreich und in Deutschland voneinander abweichende Sichtweisen auf die Frage gibt, ob der Mensch eine "Sonderstellung" in der Dynamik des biologischen und geschichtlichen Lebens genießt. W{\"a}hrend sich in Deutschland die Tradition eines anthropologischen Denkens neu formiert, ist in Frankreich eine scharfe Skepsis gegen{\"u}ber dem Erbe des Humanismus charakteristisch. Die Beitr{\"a}ge dieses zweisprachigen Buches untersuchen diese deutsch-franz{\"o}sische Konstellation von Fragen und Autoren, und aktualisieren die Reflexion auf die (Grenzen der) Singularit{\"a}t des Menschen.},
  language  = {de}
}
@article{EbkeZanfi2017,
  author    = {Ebke, Thomas and Zanfi, Caterina},
  title     = {Das Leben im Menschen oder der Mensch im Leben?},
  series = {Das Leben im Menschen oder der Mensch im Leben?},
  journal   = {Das Leben im Menschen oder der Mensch im Leben?},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-382-4},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-395870},
  pages     = {11 -- 28},
  year      = {2017},
  language  = {de}
}
@article{Ebke2017,
  author    = {Ebke, Thomas},
  title     = {«Dilettanten des Lebens»},
  series = {Das Leben im Menschen oder der Mensch im Leben?},
  journal   = {Das Leben im Menschen oder der Mensch im Leben?},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-382-4},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-396105},
  pages     = {285 -- 338},
  year      = {2017},
  language  = {de}
}
@article{DiazOlaya2017,
  author    = {D{\´i}az Olaya, Ana Maria},
  title     = {Sexism, violence against women and strategic-didactic solutions through the dance},
  series = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  journal   = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  number    = {4},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-378-7},
  issn      = {2196-5080},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-399303},
  pages     = {163 -- 183},
  year      = {2017},
  language  = {en}
}
@article{Dymon2017,
  author    = {Dymon, Mirosław},
  title     = {Music teachers training at academies and universities in Poland},
  series = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  journal   = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  number    = {4},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-378-7},
  issn      = {2196-5080},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-399245},
  pages     = {89 -- 100},
  year      = {2017},
  language  = {en}
}
@book{DyckGieseLambers2017,
  author    = {Dyck, Johannes and Giese, Holger and Lambers, Leen},
  title     = {Automatic verification of behavior preservation at the transformation level for relational model transformation},
  number    = {112},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-391-6},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-100279},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {viii, 112},
  year      = {2017},
  abstract  = {The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the most important correctness property avoiding the introduction of semantic errors during the model-driven engineering process. Behavior preservation verification techniques either show that specific properties are preserved, or more generally and complex, they show some kind of behavioral equivalence or refinement between source and target model of the transformation. Both kinds of behavior preservation verification goals have been presented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach available at the transformation level, i.e. for all source and target models specified by the model transformation. In this report, we extend our results presented in [27] and outline a new sophisticated approach for the automatic verification of behavior preservation captured by bisimulation resp. simulation for model transformations specified by triple graph grammars and semantic definitions given by graph transformation rules. In particular, we show that the behavior preservation problem can be reduced to invariant checking for graph transformation and that the resulting checking problem can be addressed by our own invariant checker even for a complex example where a sequence chart is transformed into communicating automata. We further discuss today's limitations of invariant checking for graph transformation and motivate further lines of future work in this direction.},
  language  = {en}
}
@book{DyckGiese2017,
  author    = {Dyck, Johannes and Giese, Holger},
  title     = {k-Inductive invariant checking for graph transformation systems},
  number    = {119},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-406-7},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-397044},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {45},
  year      = {2017},
  abstract  = {While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if systems with many possible initial graphs and large or infinite state spaces are concerned. One approach that tries to overcome these limitations is inductive invariant checking. However, the verification of inductive invariants often requires extensive knowledge about the system in question and faces the approach-inherent challenges of locality and lack of context. To address that, this report discusses k-inductive invariant checking for graph transformation systems as a generalization of inductive invariants. The additional context acquired by taking multiple (k) steps into account is the key difference to inductive invariant checking and is often enough to establish the desired invariants without requiring the iterative development of additional properties. To analyze possibly infinite systems in a finite fashion, we introduce a symbolic encoding for transformation traces using a restricted form of nested application conditions. As its central contribution, this report then presents a formal approach and algorithm to verify graph constraints as k-inductive invariants. We prove the approach's correctness and demonstrate its applicability by means of several examples evaluated with a prototypical implementation of our algorithm.},
  language  = {en}
}
@article{DrozdowskaBroering2017,
  author    = {Drozdowska-Broering, Izabela},
  title     = {Alexander von Humboldt und die polnische Wissenschafts- und Kulturwelt},
  series = {HiN : Alexander von Humboldt im Netz ; International Review for Humboldtian Studies},
  volume    = {XVIII},
  journal   = {HiN : Alexander von Humboldt im Netz ; International Review for Humboldtian Studies},
  number    = {34},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {1617-5239},
  doi       = {10.18443/249},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-395750},
  pages     = {16 -- 28},
  year      = {2017},
  abstract  = {Alexander von Humboldt war in Polen bereits im ausgehenden 18. Jahrhundert ber{\"u}hmt geworden. Er reiste mehrmals nach Polen und unterhielt Kontakte zu polnischen oder polnischst{\"a}mmigen Wissenschaftlern. Aus den 30er und 40er Jahren stammen die meisten schriftlichen Belege, die von Beziehungen Humboldts zu solchen Pers{\"o}nlichkeiten wie Ludwik Zejszner, J{\´o}zef Waraszkiewicz oder Filip Neryusz Walter zeugen. Nicht nachweisbar ist heute daf{\"u}r Humboldts Kontakt zu Wincenty Pol sowie zu Ignacy Domeyko. Humboldt inspiriert nicht nur polnische Wissenschaftler, sondern auch f{\"u}hrende polnische Dichter der Romantik. Viele polnische Exilanten verdanken dem deutschen Gelehrten wertvolle Kontakte, Empfehlungsschreiben und Gesuche bei damaligen Machthabern.},
  language  = {de}
}