@misc{ReichEtteRenetal.2023, author = {Reich, Karin and Ette, Ottmar and Ren, Haiyan and Kraft, Tobias and Beck, Hanno and Krumpel, Andreas}, title = {HiN : Alexander von Humboldt im Netz}, volume = {XXIV}, number = {46}, editor = {Ette, Ottmar and Knobloch, Eberhard}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {2568-3543}, doi = {10.25932/publishup-58880}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-588808}, pages = {87}, year = {2023}, abstract = {-Karin Reich: Der Humboldt'sche Magnetische Verein im historischen Kontext -Ottmar Ette, Haiyan REN: Exploring China in Alexander von Humboldt: The Humboldt Center for Transdisciplinary Studies (HCTS), Changsha -Tobias Kraft: Humanist, Wissenschaftler, Akteur? Alexander von Humboldts Rolle im Jahrhundert der Massensklaverei -Hanno Beck: Ein Ehrenb{\"u}rger der Erde. A. von Humboldt und seine Bedeutung -Andreas Krumpel: Ein deutscher Philosoph in Lateinamerika. Nachruf auf Heinz Krumpel}, language = {de} } @misc{PaesslerSchwarzEtteetal.2022, author = {P{\"a}ßler, Ulrich and Schwarz, Ingo and Ette, Ottmar and Puig-Samper, Miguel {\´A}ngel and Reich, Karin and Biermann, Kurt-Reinhard}, title = {HiN : Alexander von Humboldt im Netz}, volume = {XXIII}, number = {45}, editor = {Ette, Ottmar and Knobloch, Eberhard}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {2568-3543}, doi = {10.25932/publishup-56727}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-567275}, pages = {106}, year = {2022}, abstract = {-Ulrich P{\"a}ßler, Ingo Schwarz: Ein Brief Alexander von Humboldts an Charles-Guillaume {\´E}tienne -Ottmar Ette: Alexander von Humboldt im Archiv. Die Entstehung eines neuen Humboldt-Bildes aus dem mobilen Blick in vergangene Zuk{\"u}nfte -Miguel {\´A}ngel Puig-Samper: Humboldt and his geographical album of New Spain -Karin Reich: Die Beziehungen zwischen Alexander von Humboldt und Hans Christian {\O}rsted: Treffen, Briefwechsel -Kurt-R. Biermann: Die Datierung der Briefe Alexander von Humboldts - dargestellt als Modellfall f{\"u}r die editorische Bearbeitung naturwissenschaftlicher Briefe und Dokumente}, language = {de} } @book{SchwarzerWeissSaoumiKitteletal.2023, author = {Schwarzer, Ingo and Weiß-Saoumi, Said and Kittel, Roland and Friedrich, Tobias and Kaynak, Koraltan and Durak, Cemil and Isbarn, Andreas and Diestel, J{\"o}rg and Knittel, Jens and Franz, Marquart and Morra, Carlos and Stahnke, Susanne and Braband, Jens and Dittmann, Johannes and Griebel, Stephan and Krampf, Andreas and Link, Martin and M{\"u}ller, Matthias and Radestock, Jens and Strub, Leo and Bleeke, Kai and Jehl, Leander and Kapitza, R{\"u}diger and Messadi, Ines and Schmidt, Stefan and Schwarz-R{\"u}sch, Signe and Pirl, Lukas and Schmid, Robert and Friedenberger, Dirk and Beilharz, Jossekin Jakob and Boockmeyer, Arne and Polze, Andreas and R{\"o}hrig, Ralf and Sch{\"a}be, Hendrik and Thiermann, Ricky}, title = {RailChain}, number = {152}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-550-7}, issn = {1613-5652}, doi = {10.25932/publishup-57740}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-577409}, publisher = {Universit{\"a}t Potsdam}, pages = {140}, year = {2023}, abstract = {The RailChain project designed, implemented, and experimentally evaluated a juridical recorder that is based on a distributed consensus protocol. That juridical blockchain recorder has been realized as distributed ledger on board the advanced TrainLab (ICE-TD 605 017) of Deutsche Bahn. For the project, a consortium consisting of DB Systel, Siemens, Siemens Mobility, the Hasso Plattner Institute for Digital Engineering, Technische Universit{\"a}t Braunschweig, T{\"U}V Rheinland InterTraffic, and Spherity has been formed. These partners not only concentrated competencies in railway operation, computer science, regulation, and approval, but also combined experiences from industry, research from academia, and enthusiasm from startups. Distributed ledger technologies (DLTs) define distributed databases and express a digital protocol for transactions between business partners without the need for a trusted intermediary. The implementation of a blockchain with real-time requirements for the local network of a railway system (e.g., interlocking or train) allows to log data in the distributed system verifiably in real-time. For this, railway-specific assumptions can be leveraged to make modifications to standard blockchains protocols. EULYNX and OCORA (Open CCS On-board Reference Architecture) are parts of a future European reference architecture for control command and signalling (CCS, Reference CCS Architecture - RCA). Both architectural concepts outline heterogeneous IT systems with components from multiple manufacturers. Such systems introduce novel challenges for the approved and safety-relevant CCS of railways which were considered neither for road-side nor for on-board systems so far. Logging implementations, such as the common juridical recorder on vehicles, can no longer be realized as a central component of a single manufacturer. All centralized approaches are in question. The research project RailChain is funded by the mFUND program and gives practical evidence that distributed consensus protocols are a proper means to immutably (for legal purposes) store state information of many system components from multiple manufacturers. The results of RailChain have been published, prototypically implemented, and experimentally evaluated in large-scale field tests on the advanced TrainLab. At the same time, the project showed how RailChain can be integrated into the road-side and on-board architecture given by OCORA and EULYNX. Logged data can now be analysed sooner and also their trustworthiness is being increased. This enables, e.g., auditable predictive maintenance, because it is ensured that data is authentic and unmodified at any point in time.}, language = {en} } @misc{ReichRoussanovaHuelsenbergetal.2022, author = {Reich, Karin and Roussanova, Elena and H{\"u}lsenberg, Dagmar and Korneffel, Peter and Lee, Jie-Oun and Schulz-L{\"u}pertz, Eberhard and Stottmeister, Ulrich and Werner, Petra and Holl, Frank}, title = {HiN : Alexander von Humboldt im Netz}, volume = {XXIII}, number = {44}, editor = {Ette, Ottmar and Knobloch, Eberhard}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {2568-3543}, doi = {10.25932/publishup-55173}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-551734}, pages = {171}, year = {2022}, abstract = {-Karin Reich, Elena Roussanova: Der 2019 wiederaufgefundene Brief von Gauß an Humboldt vom 17. August 1832 im Umfeld der Erforschung des Magnetismus und des Erdmagnetismus -Dagmar H{\"u}lsenberg: Anwendung naturwissenschaftlicher und kameralistischer Erkenntnisse auf die Verarbeitung von Rohstoffen durch den jungen Alexander von Humboldt -Peter Korneffel: Alexander von Humboldt postfrisch: Die Rezeption des deutschen Naturforschers in der weltweiten Philatelie -Jie-Oun Lee: Erz{\"a}hlstrategien eines transdisziplin{\"a}ren Naturforschers -Eberhard Schulz-L{\"u}pertz: Alexander von Humboldt und Ulrich Jasper Seetzen - Auf den Spuren eines Helgoland-Briefs -Ulrich Stottmeister: Der Mineraloge August Schmidt und die Entdeckung der Ural-Diamanten 1829 Teil II: Schmidts wissenschaftlicher Diamanten-Beweis und sein weiteres Schicksal im Ural -Petra Werner: Ernste Kunst kann nicht gedeihen ohne Gunst. M{\"a}zene und Unterst{\"u}tzer des Malers Albert Berg (1825 - 1884) -Frank Holl: Hinweis zum Beitrag von Irene Pr{\"u}fer Leske in HiN, Bd. 22, Nr. 43 (2021)}, language = {de} } @book{FreundRaetschHradilaketal.2022, author = {Freund, Rieke and R{\"a}tsch, Jan Philip and Hradilak, Franziska and Vidic, Benedikt and Heß, Oliver and Lißner, Nils and W{\"o}lert, Hendrik and Lincke, Jens and Beckmann, Tom and Hirschfeld, Robert}, title = {Implementing a crowd-sourced picture archive for Bad Harzburg}, number = {149}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-545-3}, issn = {1613-5652}, doi = {10.25932/publishup-56029}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-560291}, publisher = {Universit{\"a}t Potsdam}, pages = {x, 191}, year = {2022}, abstract = {Pictures are a medium that helps make the past tangible and preserve memories. Without context, they are not able to do so. Pictures are brought to life by their associated stories. However, the older pictures become, the fewer contemporary witnesses can tell these stories. Especially for large, analog picture archives, knowledge and memories are spread over many people. This creates several challenges: First, the pictures must be digitized to save them from decaying and make them available to the public. Since a simple listing of all the pictures is confusing, the pictures should be structured accessibly. Second, known information that makes the stories vivid needs to be added to the pictures. Users should get the opportunity to contribute their knowledge and memories. To make this usable for all interested parties, even for older, less technophile generations, the interface should be intuitive and error-tolerant. The resulting requirements are not covered in their entirety by any existing software solution without losing the intuitive interface or the scalability of the system. Therefore, we have developed our digital picture archive within the scope of a bachelor project in cooperation with the Bad Harzburg-Stiftung. For the implementation of this web application, we use the UI framework React in the frontend, which communicates via a GraphQL interface with the Content Management System Strapi in the backend. The use of this system enables our project partner to create an efficient process from scanning analog pictures to presenting them to visitors in an organized and annotated way. To customize the solution for both picture delivery and information contribution for our target group, we designed prototypes and evaluated them with people from Bad Harzburg. This helped us gain valuable insights into our system's usability and future challenges as well as requirements. Our web application is already being used daily by our project partner. During the project, we still came up with numerous ideas for additional features to further support the exchange of knowledge.}, language = {en} } @book{SchneiderMaximovaGiese2022, author = {Schneider, Sven and Maximova, Maria and Giese, Holger}, title = {Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction}, number = {143}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-531-6}, issn = {1613-5652}, doi = {10.25932/publishup-54585}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-545851}, publisher = {Universit{\"a}t Potsdam}, pages = {37}, year = {2022}, abstract = {The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether. In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.}, language = {en} } @book{SchneiderMaximovaGiese2022, author = {Schneider, Sven and Maximova, Maria and Giese, Holger}, title = {Probabilistic metric temporal graph logic}, number = {146}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-532-3}, issn = {1613-5652}, doi = {10.25932/publishup-54586}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-545867}, publisher = {Universit{\"a}t Potsdam}, pages = {34}, year = {2022}, abstract = {Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.}, language = {en} } @misc{SchwarzKutzinskiLeBrunRicalensetal.2021, author = {Schwarz, Ingo and Kutzinski, Vera M. and Le Brun-Ricalens, Foni and L{\´o}pez Luj{\´a}n, Leonardo and Wey, Claude and Knobloch, Eberhard and Pr{\"u}fer Leske, Irene and Salzer, Leonhard and N{\"o}bauer, Anna and Sternagel, Renate and Stottmeister, Ulrich and Biermann, Kurt-R. and Kraft, Tobias}, title = {HiN : Alexander von Humboldt im Netz}, volume = {XXII}, number = {43}, editor = {Ette, Ottmar and Knobloch, Eberhard}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {2568-3543}, doi = {10.25932/publishup-52203}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-522038}, pages = {153}, year = {2021}, abstract = {-Ingo Schwarz, Vera M. Kutzinski: A Letter from Alexander von Humboldt to Joseph Albert Wright - Archival Traces -Foni Le Brun-Ricalens, Leonardo L{\´o}pez Luj{\´a}n, Claude Wey: Alexander von Humboldts „Aztekische Priesterin" alias die Chalchiuhtlicue aus der Sammlung Guillermo Dupaix. Historiografischer Essay einer Translokation von Mexico-Stadt nach London -Eberhard Knobloch: Leibniz und Alexander von Humboldt -Irene Pr{\"u}fer Leske: Wie stand es nun wirklich um Bonpland? Kritische {\"U}berlegungen zu Frank Holls Untersuchung zu Bonpland, seiner Beziehung zu Alexander von Humboldt und der Darstellung der letzten Tage von Bonpland durch Av{\´e}-Lallemant -Leonhard Salzer, Anna N{\"o}bauer: (Auf) Humboldts Spuren Eine bauforscherische Untersuchung der „Casa Humboldt" am Antisana in Ecuador -Renate Sternagel: Alexander von Humboldt, Therese von Bacheracht, und die „verh{\"a}ngnissvolle Prosa des Lebens" -Ulrich Stottmeister: Der Mineraloge August Schmidt und die Entdeckung der Ural-Diamanten 1829 Teil I: Schmidts Weg in den Ural und die Diamanten-Vorhersage -Kurt-R. Biermann (1919 - 2002) und Ingo Schwarz: Der polyglotte Alexander von Humboldt (mit einer Vorbemerkung von J{\"u}rgen Trabant) -Tobias Kraft: Filolog{\´i}a n{\´o}mada. Repensar la obra de Alexander von Humboldt con la obra de Ottmar Ette (y viceversa)}, language = {de} } @book{KlinkeVerhoevenRothetal.2022, author = {Klinke, Paula and Verhoeven, Silvan and Roth, Felix and Hagemann, Linus and Alnawa, Tarik and Lincke, Jens and Rein, Patrick and Hirschfeld, Robert}, title = {Tool support for collaborative creation of interactive storytelling media}, number = {141}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-521-7}, issn = {1613-5652}, doi = {10.25932/publishup-51857}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-518570}, publisher = {Universit{\"a}t Potsdam}, pages = {x, 167}, year = {2022}, abstract = {Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer's vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.}, language = {en} } @book{BartzKrestel2021, author = {Bartz, Christian and Krestel, Ralf}, title = {Deep learning for computer vision in the art domain}, number = {139}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-514-9}, issn = {1613-5652}, doi = {10.25932/publishup-51290}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-512906}, publisher = {Universit{\"a}t Potsdam}, pages = {vii, 79}, year = {2021}, abstract = {In recent years, computer vision algorithms based on machine learning have seen rapid development. In the past, research mostly focused on solving computer vision problems such as image classification or object detection on images displaying natural scenes. Nowadays other fields such as the field of cultural heritage, where an abundance of data is available, also get into the focus of research. In the line of current research endeavours, we collaborated with the Getty Research Institute which provided us with a challenging dataset, containing images of paintings and drawings. In this technical report, we present the results of the seminar "Deep Learning for Computer Vision". In this seminar, students of the Hasso Plattner Institute evaluated state-of-the-art approaches for image classification, object detection and image recognition on the dataset of the Getty Research Institute. The main challenge when applying modern computer vision methods to the available data is the availability of annotated training data, as the dataset provided by the Getty Research Institute does not contain a sufficient amount of annotated samples for the training of deep neural networks. However, throughout the report we show that it is possible to achieve satisfying to very good results, when using further publicly available datasets, such as the WikiArt dataset, for the training of machine learning models.}, language = {en} }