TY - THES A1 - Sareeto, Apatsara T1 - Algebraic properties of a subsemigroup of the symmetric inverse semigroup Y1 - 2024 ER - TY - BOOK A1 - Schmidt, Thorsten Ingo A1 - Ulrich, Peter A1 - Büchner, Christiane A1 - Franzke, Jochen A1 - Jann, Werner A1 - Bauer, Hartmut A1 - Wagner, Dieter A1 - Brüning, Christoph A1 - Bickenbach, Christian A1 - Kuhlmann, Sabine A1 - Peters, Niklas A1 - Reichard, Christoph A1 - Tessmann, Jens A1 - Maaß, Christian A1 - Kern, Kristine A1 - Kochskämper, Elisa A1 - Gailing, Ludger A1 - Krzymuski, Marcin ED - Schmidt, Thorsten Ingo ED - Bickenbach, Christian ED - Gronewold, Ulfert ED - Kuhlmann, Sabine ED - Ulrich, Peter T1 - Kommunalwissenschaften an der Universität Potsdam BT - Rück- und Ausblick zum 30-jährigen Bestehen des Kommunalwissenschaftlichen Instituts (KWI) T3 - KWI-Schriften N2 - Zum dreißigjährigen Bestehen des Kommunalwissenschaftlichen Instituts an der Universität Potsdam vereint dieser Jubiläumsband kurze Aufsätze von ehemaligen und aktuellen Vorstandsmitgliedern, von Ehrenmitgliedern des Vorstands, langjährigen wissenschaftlichen Mitarbeitern des Instituts und aktuellen wissenschaftlichen Kooperationspartnern. Die insgesamt zwölf Beiträge befassen sich mit den Kommunalwissenschaften und der Geschichte des Kommunalwissenschaftlichen Instituts, mit aktuellen kommunalwissenschaftlichen Fragestellungen und wissenschaftlichen Kooperationen des KWI. Der vom KWI-Vorstand herausgegebene Band soll einen breiten Blick auf 30 Jahre Kommunalwissenschaften in Brandenburg und an der Universität Potsdam werfen und einen Ausblick auf zukünftige kommunalwissenschaftliche Forschung geben. T3 - KWI-Schriften - 15 KW - Kommunalwissenschaft KW - Institut KW - Brandenburg KW - Potsdam KW - Universität Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-636180 SN - 978-3-86956-581-1 SN - 1867-951X SN - 1867-9528 IS - 15 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Biermann, Kaija A1 - Nowak, Bianca A1 - Braun, Lea-Marie A1 - Taddicken, Monika A1 - Krämer, Nicole C. A1 - Stieglitz, Stefan T1 - Does scientific evidence sell? BT - combining manual and automated content analysis to investigate scientists’ and laypeople’s evidence practices on social media JF - Science communication N2 - Examining the dissemination of evidence on social media, we analyzed the discourse around eight visible scientists in the context of COVID-19. Using manual (N = 1,406) and automated coding (N = 42,640) on an account-based tracked Twitter/X dataset capturing scientists’ activities and eliciting reactions over six 2-week periods, we found that visible scientists’ tweets included more scientific evidence. However, public reactions contained more anecdotal evidence. Findings indicate that evidence can be a message characteristic leading to greater tweet dissemination. Implications for scientists, including explicitly incorporating scientific evidence in their communication and examining evidence in science communication research, are discussed. KW - evidence KW - public engagement KW - social media KW - COVID-19 KW - computational methods Y1 - 2024 U6 - https://doi.org/10.1177/10755470241249468 SN - 1075-5470 SN - 1552-8545 VL - 0 PB - Sage CY - Thousand Oaks, Calif. ER - TY - GEN A1 - Stadler, Heike A1 - Block, Vanessa T1 - Publikationsaufkommen sichtbar machen N2 - Das Poster wurde am 05.07.2024 im Rahmen des KOBV-Forum 2024 präsentiert. Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-645693 ER - TY - THES A1 - Taleb, Aiham T1 - Self-supervised deep learning methods for medical image analysis T1 - Selbstüberwachte Deep Learning Methoden für die medizinische Bildanalyse N2 - Deep learning has seen widespread application in many domains, mainly for its ability to learn data representations from raw input data. Nevertheless, its success has so far been coupled with the availability of large annotated (labelled) datasets. This is a requirement that is difficult to fulfil in several domains, such as in medical imaging. Annotation costs form a barrier in extending deep learning to clinically-relevant use cases. The labels associated with medical images are scarce, since the generation of expert annotations of multimodal patient data at scale is non-trivial, expensive, and time-consuming. This substantiates the need for algorithms that learn from the increasing amounts of unlabeled data. Self-supervised representation learning algorithms offer a pertinent solution, as they allow solving real-world (downstream) deep learning tasks with fewer annotations. Self-supervised approaches leverage unlabeled samples to acquire generic features about different concepts, enabling annotation-efficient downstream task solving subsequently. Nevertheless, medical images present multiple unique and inherent challenges for existing self-supervised learning approaches, which we seek to address in this thesis: (i) medical images are multimodal, and their multiple modalities are heterogeneous in nature and imbalanced in quantities, e.g. MRI and CT; (ii) medical scans are multi-dimensional, often in 3D instead of 2D; (iii) disease patterns in medical scans are numerous and their incidence exhibits a long-tail distribution, so it is oftentimes essential to fuse knowledge from different data modalities, e.g. genomics or clinical data, to capture disease traits more comprehensively; (iv) Medical scans usually exhibit more uniform color density distributions, e.g. in dental X-Rays, than natural images. Our proposed self-supervised methods meet these challenges, besides significantly reducing the amounts of required annotations. We evaluate our self-supervised methods on a wide array of medical imaging applications and tasks. Our experimental results demonstrate the obtained gains in both annotation-efficiency and performance; our proposed methods outperform many approaches from related literature. Additionally, in case of fusion with genetic modalities, our methods also allow for cross-modal interpretability. In this thesis, not only we show that self-supervised learning is capable of mitigating manual annotation costs, but also our proposed solutions demonstrate how to better utilize it in the medical imaging domain. Progress in self-supervised learning has the potential to extend deep learning algorithms application to clinical scenarios. N2 - Deep Learning findet in vielen Bereichen breite Anwendung, vor allem wegen seiner Fähigkeit, Datenrepräsentationen aus rohen Eingabedaten zu lernen. Dennoch war der Erfolg bisher an die Verfügbarkeit großer annotatierter Datensätze geknüpft. Dies ist eine Anforderung, die in verschiedenen Bereichen, z. B. in der medizinischen Bildgebung, schwer zu erfüllen ist. Die Kosten für die Annotation stellen ein Hindernis für die Ausweitung des Deep Learning auf klinisch relevante Anwendungsfälle dar. Die mit medizinischen Bildern verbundenen Annotationen sind rar, da die Erstellung von Experten Annotationen für multimodale Patientendaten in großem Umfang nicht trivial, teuer und zeitaufwändig ist. Dies unterstreicht den Bedarf an Algorithmen, die aus den wachsenden Mengen an unbeschrifteten Daten lernen. Selbstüberwachte Algorithmen für das Repräsentationslernen bieten eine mögliche Lösung, da sie die Lösung realer (nachgelagerter) Deep-Learning-Aufgaben mit weniger Annotationen ermöglichen. Selbstüberwachte Ansätze nutzen unannotierte Stichproben, um generisches Eigenschaften über verschiedene Konzepte zu erlangen und ermöglichen so eine annotationseffiziente Lösung nachgelagerter Aufgaben. Medizinische Bilder stellen mehrere einzigartige und inhärente Herausforderungen für existierende selbstüberwachte Lernansätze dar, die wir in dieser Arbeit angehen wollen: (i) medizinische Bilder sind multimodal, und ihre verschiedenen Modalitäten sind von Natur aus heterogen und in ihren Mengen unausgewogen, z.B. (ii) medizinische Scans sind mehrdimensional, oft in 3D statt in 2D; (iii) Krankheitsmuster in medizinischen Scans sind zahlreich und ihre Häufigkeit weist eine Long-Tail-Verteilung auf, so dass es oft unerlässlich ist, Wissen aus verschiedenen Datenmodalitäten, z. B. Genomik oder klinische Daten, zu verschmelzen, um Krankheitsmerkmale umfassender zu erfassen; (iv) medizinische Scans weisen in der Regel eine gleichmäßigere Farbdichteverteilung auf, z. B. in zahnmedizinischen Röntgenaufnahmen, als natürliche Bilder. Die von uns vorgeschlagenen selbstüberwachten Methoden adressieren diese Herausforderungen und reduzieren zudem die Menge der erforderlichen Annotationen erheblich. Wir evaluieren unsere selbstüberwachten Methoden in verschiedenen Anwendungen und Aufgaben der medizinischen Bildgebung. Unsere experimentellen Ergebnisse zeigen, dass die von uns vorgeschlagenen Methoden sowohl die Effizienz der Annotation als auch die Leistung steigern und viele Ansätze aus der verwandten Literatur übertreffen. Darüber hinaus ermöglichen unsere Methoden im Falle der Fusion mit genetischen Modalitäten auch eine modalübergreifende Interpretierbarkeit. In dieser Arbeit zeigen wir nicht nur, dass selbstüberwachtes Lernen in der Lage ist, die Kosten für manuelle Annotationen zu senken, sondern auch, wie man es in der medizinischen Bildgebung besser nutzen kann. Fortschritte beim selbstüberwachten Lernen haben das Potenzial, die Anwendung von Deep-Learning-Algorithmen auf klinische Szenarien auszuweiten. KW - Artificial Intelligence KW - machine learning KW - unsupervised learning KW - representation learning KW - Künstliche Intelligenz KW - maschinelles Lernen KW - Representationlernen KW - selbstüberwachtes Lernen Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-644089 ER - TY - CHAP A1 - Schladebach, Marcus A1 - Bârsa, Catinca Cristiana ED - Freudenberg, Dirk ED - von Lewinski, Kai T1 - § 70 Hohe See T2 - Handbuch Bevölkerungsschutz Y1 - 2024 SN - 978-3-406-80741-1 SP - 1201 EP - 1208 PB - C.H. Beck CY - München ER - TY - THES A1 - Schulz, Florian T1 - Game Design im Kontext von Kunst und Kunstunterricht BT - digitale Spielentwicklung aus kunstpädagogischer Perspektive N2 - Im Kontext der zunehmenden Relevanz des Umgangs mit Digitalität im schulischen Unterricht und der daraus resultierenden Popularität von Gaming und Gamification als Lehrmethoden ist das Ziel dieser Arbeit, Game Design als konstruktivistische Herangehensweise an Computerspiele zu untersuchen. Genauer geht es darum, diese Methode hinsichtlich der Tauglichkeit für den Kunstunterricht zu analysieren. Dazu wird darauf eingegangen, inwiefern Game Design als Instruktionsmethode generell Lernen fördert bzw. zur Ausbildung einer Digital Literacy geeignet ist. Der Schwerpunkt liegt darin, Game Design im Hinblick auf die zentralen Kompetenz- und Lerndimensionen des Kunstunterrichts zu beleuchten. Genauer sind damit die künstlerische Produktion und die ästhetische Rezeption als die beiden maßgeblichen künstlerisch-ästhetischen Handlungskompetenzen gemeint sowie die ästhetische Erfahrung als besonderes Lernerlebnis, welches im kunstpädagogischen Diskurs neben den beschriebenen Kompetenzen als höchstes Ziel der Lehre gilt. Ebendiese drei Dimensionen funktionieren hierbei als Analyseebenen der untersuchten Methode. Game Design stellt sich dabei als weitestgehend förderlich für alle drei benannten Bereiche heraus, wobei es in Bezug auf die sinnliche Wahrnehmung im Prozess der ästhetischen Rezeption nur eine ergänzende Funktion annimmt. Es werden nicht alle Bereiche der Gestaltungsfelder der künstlerischen Produktion angesprochen. Ein experimentell-offenes künstlerisches Arbeiten wird ebenso nicht zwangsläufig ermöglicht. Jedoch werden alle anderen Bestandteile dieser Kompetenzdimensionen angesprochen und insbesondere die ästhetische Erfahrung vollumfänglich gefördert. Die digitale Spielentwicklung lässt sich somit aus kunstpädagogischer Perspektive für den Einsatz im Kunstunterricht legitimieren. Mit Ausblick auf STEAM Education und einen projektorientierten Unterricht ist sie sogar zu empfehlen. N2 - This thesis’ objective is to closely examine game design as a constructivist approach to digital gaming in school, amidst the growing relevance and popularity of games and gamification as teaching methods within a culture of digitality. More specifically, game design will be analyzed in regard to how it applies in teaching art. To do so, this paper will explore in how far this method supports learning in general, as well as how it contributes to establishing students’ digital literacy. For this, the focus will be on looking at game design and its role in developing the crucial dimensions of competences and learning in art education. Hence, artistic production and aesthetic reception as the significant artistic competences will serve as the levels of analysis. In addition, the aesthetic experience as a special instance of learning, which in art educational discourse accounts for the highest goal of teaching along with the mentioned competences, will also be considered in the research. Through this analysis, game design transpires as generally beneficial for all three mentioned aspects of art education. Although for the sensory perception, a part of the aesthetic perception’s process, it solely takes on a complementary function, where it generally works in favor of this area of competence. As for the artistic production, not all areas of creation are addressed directly as well as an experimental artistic work not being fully enabled. However, all other aspects of this competence are appealed to. Regarding the aesthetic experience game design appears as particularly beneficial as it facilitates it fully. Thus, the application of digital game design in teaching art in school may be justified from an art educational perspective. Moreover, taking STEAM Education and project-based learning into consideration, its use may even be considered as recommendable. KW - Game Design KW - Spiele KW - Kunstunterricht KW - Kunstpädagogik KW - Medienbildung KW - game design KW - gaming KW - art education KW - media education KW - learning Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-641773 ER - TY - BOOK A1 - Kuban, Robert A1 - Rotta, Randolf A1 - Nolte, Jörg A1 - Chromik, Jonas A1 - Beilharz, Jossekin Jakob A1 - Pirl, Lukas A1 - Friedrich, Tobias A1 - Lenzner, Pascal A1 - Weyand, Christopher A1 - Juiz, Carlos A1 - Bermejo, Belen A1 - Sauer, Joao A1 - Coelh, Leandro dos Santos A1 - Najafi, Pejman A1 - Pünter, Wenzel A1 - Cheng, Feng A1 - Meinel, Christoph A1 - Sidorova, Julia A1 - Lundberg, Lars A1 - Vogel, Thomas A1 - Tran, Chinh A1 - Moser, Irene A1 - Grunske, Lars A1 - Elsaid, Mohamed Esameldin Mohamed A1 - Abbas, Hazem M. A1 - Rula, Anisa A1 - Sejdiu, Gezim A1 - Maurino, Andrea A1 - Schmidt, Christopher A1 - Hügle, Johannes A1 - Uflacker, Matthias A1 - Nozza, Debora A1 - Messina, Enza A1 - Hoorn, André van A1 - Frank, Markus A1 - Schulz, Henning A1 - Alhosseini Almodarresi Yasin, Seyed Ali A1 - Nowicki, Marek A1 - Muite, Benson K. A1 - Boysan, Mehmet Can A1 - Bianchi, Federico A1 - Cremaschi, Marco A1 - Moussa, Rim A1 - Abdel-Karim, Benjamin M. A1 - Pfeuffer, Nicolas A1 - Hinz, Oliver A1 - Plauth, Max A1 - Polze, Andreas A1 - Huo, Da A1 - Melo, Gerard de A1 - Mendes Soares, Fábio A1 - Oliveira, Roberto Célio Limão de A1 - Benson, Lawrence A1 - Paul, Fabian A1 - Werling, Christian A1 - Windheuser, Fabian A1 - Stojanovic, Dragan A1 - Djordjevic, Igor A1 - Stojanovic, Natalija A1 - Stojnev Ilic, Aleksandra A1 - Weidmann, Vera A1 - Lowitzki, Leon A1 - Wagner, Markus A1 - Ifa, Abdessatar Ben A1 - Arlos, Patrik A1 - Megia, Ana A1 - Vendrell, Joan A1 - Pfitzner, Bjarne A1 - Redondo, Alberto A1 - Ríos Insua, David A1 - Albert, Justin Amadeus A1 - Zhou, Lin A1 - Arnrich, Bert A1 - Szabó, Ildikó A1 - Fodor, Szabina A1 - Ternai, Katalin A1 - Bhowmik, Rajarshi A1 - Campero Durand, Gabriel A1 - Shevchenko, Pavlo A1 - Malysheva, Milena A1 - Prymak, Ivan A1 - Saake, Gunter ED - Meinel, Christoph ED - Polze, Andreas ED - Beins, Karsten ED - Strotmann, Rolf ED - Seibold, Ulrich ED - Rödszus, Kurt ED - Müller, Jürgen T1 - HPI Future SOC Lab – Proceedings 2019 N2 - The “HPI Future SOC Lab” is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2019. Selected projects have presented their results on April 9th and November 12th 2019 at the Future SOC Lab Day events. N2 - Das Future SOC Lab am HPI ist eine Kooperation des Hasso-Plattner-Instituts mit verschiedenen Industriepartnern. Seine Aufgabe ist die Ermöglichung und Förderung des Austausches zwischen Forschungsgemeinschaft und Industrie. Am Lab wird interessierten Wissenschaftlern eine Infrastruktur von neuester Hard- und Software kostenfrei für Forschungszwecke zur Verfügung gestellt. Dazu zählen teilweise noch nicht am Markt verfügbare Technologien, die im normalen Hochschulbereich in der Regel nicht zu finanzieren wären, bspw. Server mit bis zu 64 Cores und 2 TB Hauptspeicher. Diese Angebote richten sich insbesondere an Wissenschaftler in den Gebieten Informatik und Wirtschaftsinformatik. Einige der Schwerpunkte sind Cloud Computing, Parallelisierung und In-Memory Technologien. In diesem Technischen Bericht werden die Ergebnisse der Forschungsprojekte des Jahres 2019 vorgestellt. Ausgewählte Projekte stellten ihre Ergebnisse am 09. April und 12. November 2019 im Rahmen des Future SOC Lab Tags vor. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 158 KW - Future SOC Lab KW - research projects KW - multicore architectures KW - in-memory technology KW - cloud computing KW - machine learning KW - artifical intelligence KW - Future SOC Lab KW - Forschungsprojekte KW - Multicore Architekturen KW - In-Memory Technologie KW - Cloud Computing KW - maschinelles Lernen KW - künstliche Intelligenz Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-597915 SN - 978-3-86956-564-4 SN - 1613-5652 SN - 2191-1665 IS - 158 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - THES A1 - Richly, Keven T1 - Memory-efficient data management for spatio-temporal applications BT - workload-driven fine-grained configuration optimization for storing spatio-temporal data in columnar In-memory databases N2 - The wide distribution of location-acquisition technologies means that large volumes of spatio-temporal data are continuously being accumulated. Positioning systems such as GPS enable the tracking of various moving objects' trajectories, which are usually represented by a chronologically ordered sequence of observed locations. The analysis of movement patterns based on detailed positional information creates opportunities for applications that can improve business decisions and processes in a broad spectrum of industries (e.g., transportation, traffic control, or medicine). Due to the large data volumes generated in these applications, the cost-efficient storage of spatio-temporal data is desirable, especially when in-memory database systems are used to achieve interactive performance requirements. To efficiently utilize the available DRAM capacities, modern database systems support various tuning possibilities to reduce the memory footprint (e.g., data compression) or increase performance (e.g., additional indexes structures). By considering horizontal data partitioning, we can independently apply different tuning options on a fine-grained level. However, the selection of cost and performance-balancing configurations is challenging, due to the vast number of possible setups consisting of mutually dependent individual decisions. In this thesis, we introduce multiple approaches to improve spatio-temporal data management by automatically optimizing diverse tuning options for the application-specific access patterns and data characteristics. Our contributions are as follows: (1) We introduce a novel approach to determine fine-grained table configurations for spatio-temporal workloads. Our linear programming (LP) approach jointly optimizes the (i) data compression, (ii) ordering, (iii) indexing, and (iv) tiering. We propose different models which address cost dependencies at different levels of accuracy to compute optimized tuning configurations for a given workload, memory budgets, and data characteristics. To yield maintainable and robust configurations, we further extend our LP-based approach to incorporate reconfiguration costs as well as optimizations for multiple potential workload scenarios. (2) To optimize the storage layout of timestamps in columnar databases, we present a heuristic approach for the workload-driven combined selection of a data layout and compression scheme. By considering attribute decomposition strategies, we are able to apply application-specific optimizations that reduce the memory footprint and improve performance. (3) We introduce an approach that leverages past trajectory data to improve the dispatch processes of transportation network companies. Based on location probabilities, we developed risk-averse dispatch strategies that reduce critical delays. (4) Finally, we used the use case of a transportation network company to evaluate our database optimizations on a real-world dataset. We demonstrate that workload-driven fine-grained optimizations allow us to reduce the memory footprint (up to 71% by equal performance) or increase the performance (up to 90% by equal memory size) compared to established rule-based heuristics. Individually, our contributions provide novel approaches to the current challenges in spatio-temporal data mining and database research. Combining them allows in-memory databases to store and process spatio-temporal data more cost-efficiently. N2 - Durch die starke Verbreitung von Systemen zur Positionsbestimmung werden fortlaufend große Mengen an Bewegungsdaten mit einem räumlichen und zeitlichen Bezug gesammelt. Ortungssysteme wie GPS ermöglichen, die Bewegungen verschiedener Objekte (z. B. Personen oder Fahrzeuge) nachzuverfolgen. Diese werden in der Regel durch eine chronologisch geordnete Abfolge beobachteter Aufenthaltsorte repräsentiert. Die Analyse von Bewegungsmustern auf der Grundlage detaillierter Positionsinformationen schafft in unterschiedlichsten Branchen (z. B. Transportwesen, Verkehrssteuerung oder Medizin) die Möglichkeit Geschäftsentscheidungen und -prozesse zu verbessern. Aufgrund der großen Datenmengen, die bei diesen Anwendungen auftreten, stellt die kosteneffiziente Speicherung von Bewegungsdaten eine Herausforderung dar. Dies ist insbesondere der Fall, wenn Hauptspeicherdatenbanken zur Speicherung eingesetzt werden, um die Anforderungen bezüglich interaktiver Antwortzeiten zu erfüllen. Um die verfügbaren Speicherkapazitäten effizient zu nutzen, unterstützen moderne Datenbanksysteme verschiedene Optimierungsmöglichkeiten, um den Speicherbedarf zu reduzieren (z. B. durch Datenkomprimierung) oder die Performance zu erhöhen (z. B. durch Indexstrukturen). Dabei ermöglicht eine horizontale Partitionierung der Daten, dass unabhängig voneinander verschiedene Optimierungen feingranular auf einzelnen Bereichen der Daten angewendet werden können. Die Auswahl von Konfigurationen, die sowohl die Kosten als auch Leistungsanforderungen berücksichtigen, ist jedoch aufgrund der großen Anzahl möglicher Kombinationen -- die aus voneinander abhängigen Einzelentscheidungen bestehen -- komplex. In dieser Dissertation präsentieren wir mehrere Ansätze zur Verbesserung der Datenverwaltung, indem wir die Auswahl verschiedener Datenbankoptimierungen automatisch für die anwendungsspezifischen Zugriffsmuster und Dateneigenschaften anpassen. Diesbezüglich leistet die vorliegende Dissertation die folgenden Beiträge: (1) Wir stellen einen neuen Ansatz vor, um feingranulare Tabellenkonfigurationen für räumlich-zeitliche Workloads zu bestimmen. In diesem Zusammenhang optimiert unser Linear Programming (LP) Ansatz gemeinsam (i) die Datenkompression, (ii) die Sortierung, (iii) die Indizierung und (iv) die Datenplatzierung. Hierzu schlagen wir verschiedene Modelle mit unterschiedlichen Kostenabhängigkeiten vor, um optimierte Konfigurationen für einen gegebenen Workload, ein Speicherbudget und die vorliegenden Dateneigenschaften zu berechnen. Durch die Erweiterung des LP-basierten Ansatzes zur Berücksichtigung von Modifikationskosten und verschiedener potentieller Workloads ist es möglich, die Wartbarkeit und Robustheit der bestimmten Tabellenkonfiguration zu erhöhen. (2) Um die Speicherung von Timestamps in spalten-orientierten Datenbanken zu optimieren, stellen wir einen heuristischen Ansatz für die kombinierte Auswahl eines Speicherlayouts und eines Kompressionsschemas vor. Zudem sind wir durch die Berücksichtigung von Strategien zur Aufteilung von Attributen in der Lage, anwendungsspezifische Optimierungen anzuwenden, die den Speicherbedarf reduzieren und die Performance verbessern. (3) Wir stellen einen Ansatz vor, der in der Vergangenheit beobachtete Bewegungsmuster nutzt, um die Zuweisungsprozesse von Vermittlungsdiensten zur Personenbeförderung zu verbessern. Auf der Grundlage von Standortwahrscheinlichkeiten haben wir verschiedene Strategien für die Vergabe von Fahraufträgen an Fahrer entwickelt, die kritische Verspätungen reduzieren. (4) Abschließend haben wir unsere Datenbankoptimierungen anhand eines realen Datensatzes eines Transportdienstleisters evaluiert. In diesem Zusammenhang zeigen wir, dass wir durch feingranulare workload-basierte Optimierungen den Speicherbedarf (um bis zu 71% bei vergleichbarer Performance) reduzieren oder die Performance (um bis zu 90% bei gleichem Speicherverbrauch) im Vergleich zu regelbasierten Heuristiken verbessern können. Die einzelnen Beiträge stellen neuartige Ansätze für aktuelle Herausforderungen im Bereich des Data Mining und der Datenbankforschung dar. In Kombination ermöglichen sie eine kosteneffizientere Speicherung und Verarbeitung von Bewegungsdaten in Hauptspeicherdatenbanken. KW - spatio-temporal data management KW - trajectory data KW - columnar databases KW - in-memory data management KW - database tuning KW - spaltenorientierte Datenbanken KW - Datenbankoptimierung KW - Hauptspeicher Datenmanagement KW - Datenverwaltung für Daten mit räumlich-zeitlichem Bezug KW - Trajektoriendaten Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-635473 ER - TY - THES A1 - Frank, Mario T1 - On synthesising Linux kernel module components from Coq formalisations T1 - Über die Synthese von Linux Kernel- Modul-Komponenten aus Coq-Formalisierungen N2 - This thesis presents an attempt to use source code synthesised from Coq formalisations of device drivers for existing (micro)kernel operating systems, with a particular focus on the Linux Kernel. In the first part, the technical background and related work are described. The focus is here on the possible approaches to synthesising certified software with Coq, namely the extraction to functional languages using the Coq extraction plugin and the extraction to Clight code using the CertiCoq plugin. It is noted that the implementation of CertiCoq is verified, whereas this is not the case for the Coq extraction plugin. Consequently, there is a correctness guarantee for the generated Clight code which does not hold for the code being generated by the Coq extraction plugin. Furthermore, the differences between user space and kernel space software are discussed in relation to Linux device drivers. It is elaborated that it is not possible to generate working Linux kernel module components using the Coq extraction plugin without significant modifications. In contrast, it is possible to produce working user space drivers both with the Coq extraction plugin and CertiCoq. The subsequent parts describe the main contributions of the thesis. In the second part, it is demonstrated how to extend the Coq extraction plugin to synthesise foreign function calls between the functional language OCaml and the imperative language C. This approach has the potential to improve the type-safety of user space drivers. Furthermore, it is shown that the code being synthesised by CertiCoq cannot be used in kernel space without modifications to the necessary runtime. Consequently, the necessary modifications to the runtimes of CertiCoq and VeriFFI are introduced, resulting in the runtimes becoming compatible components of a Linux kernel module. Furthermore, justifications for the transformations are provided and possible further extensions to both plugins and solutions to failing garbage collection calls in kernel space are discussed. The third part presents a proof of concept device driver for the Linux Kernel. To achieve this, the event handler of the original PC Speaker driver is partially formalised in Coq. Furthermore, some relevant formal properties of the formalised functionality are discussed. Subsequently, a kernel module is defined, utilising the modified variants of CertiCoq and VeriFFI to compile a working device driver. It is furthermore shown that it is possible to compile the synthesised code with CompCert, thereby extending the guarantee of correctness to the assembly layer. This is followed by a performance evaluation that compares a naive formalisation of the PC speaker functionality with the original PC Speaker driver pointing out the weaknesses in the formalisation and possible improvements. The part closes with a summary of the results, their implications and open questions being raised. The last part lists all used sources, separated into scientific literature, documentations or reference manuals and artifacts, i.e. source code. N2 - Die vorliegende Dissertation präsentiert einen Ansatz zur Nutzung von Quellcode, der aus der Coq-Formalisierung eines Gerätetreibers generiert wurde, für bestehende (Mikrokernel-)Betriebssysteme, im Speziellen den Linux-Kernel. Im ersten Teil erfolgt eine Beschreibung der relevanten technischen Aspekte sowie des aktuellen Forschungsstandes. Dabei liegt der Fokus auf der Synthese von funktionalem Code durch das Coq Extraction Plugin und von Clight Code durch das CertiCoq Plugin. Des Weiteren wird dargelegt, dass die Implementierung von CertiCoq im Gegensatz zu der des Coq Extraction Plugin verifiziert ist, wodurch sich eine Korrektheitsgarantie für den generierten Clight Code ableiten lässt. Darüber hinaus werden die Unterschiede zwischen User Space und Kernel Space Software in Bezug auf Linux-Treiber erörtert. Unter Berücksichtigung der technischen Einschränkungen wird dargelegt, dass der durch das Coq Extraction Plugin generierte Code ohne gravierende Anpassungen der Laufzeitumgebung nicht als Teil eines Kernel Space Treibers nutzbar ist. Die nachfolgenden Teile der Dissertation behandeln den Beitrag dieser Arbeit. Im zweiten Teil wird dargelegt, wie das Coq Extraction Plugin derart erweitert werden kann, dass typsichere Aufrufe zwischen den Sprachen OCaml und C generiert werden können. Dies verhindert spezifische Kompilationsfehler aufgrund von Typfehlern. Des Weiteren wird aufgezeigt, dass der durch CertiCoq generierte Code ebenfalls nicht im Kernel Space genutzt werden kann, da die Laufzeitumgebung technische Einschränkungen verletzt. Daher werden die notwendigen Anpassungen an der vergleichsweise kleinen Laufzeitumgebung sowie an VeriFFI vorgestellt und deren Korrektheit begründet. Anschließend werden mögliche Erweiterungen beider Plugins sowie die Möglichkeit der Behandlung von fehlschlagenden Aufrufen der Garbage Collection von CertiCoq im Kernel Space erörtert. Im dritten Teil wird als Machbarkeitsstudie im ersten Schritt der Event-Handler des Linux PC Speaker Treibers beschrieben und eine naive Coq-Formalisierung sowie wichtige formale Eigenschaften dargelegt. Dann wird beschrieben, wie ein Kernel-Modul und dessen Kompilation definiert werden muss, um einen lauffähigen Linux Kernel Treiber zu erhalten. Des Weiteren wird erläutert, wie die generierten Teile dieses Treibers mit dem verifizierten Kompiler CompCert übersetzt werden können, wodurch auch eine Korrektheit für den resultierenden Assembler-Code gilt. Im Anschluss erfolgt eine Evaluierung der Performance des aus der naiven Coq-Formalisierung generierten Codes im Vergleich zum originalen PC-Speaker Treiber. Dabei werden die Schwächen der Formalisierung sowie mögliche Verbesserungen diskutiert. Der Teil wird mit einer Zusammenfassung der Ergebnisse sowie der daraus resultierenden offenen Fragen abgeschlossen. Der letzte Teil gibt eine Übersicht über genutzte Quellen und Hilfsmittel, unterteilt in wissenschaftliche Literatur, Dokumentationen sowie Software-Artefakte. KW - Linux device drivers KW - Coq KW - CertiCoq KW - synthesis KW - compilation KW - Geräte-Treiber KW - Linux KW - Coq KW - CertiCoq KW - Synthese KW - Kompilation Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-642558 ER - TY - THES A1 - Montulet, Orianne T1 - Functional characterization of putative interactors of the Cellulose Synthase Complex T1 - Funktionelle Charakterisierung von mutmaßlichen Interaktoren des Cellulose-Synthase-Komplexes N2 - The plant cell wall plays several crucial roles during plant development with its integrity acting as key signalling component for growth regulation during biotic and abiotic stresses. Cellulose microfibrils, the principal load-bearing components is the major component of the primary cell wall, whose synthesis is mediated by microtubule-associated CELLULOSE SYNTHASE (CESA) COMPLEXES (CSC). Previous studies have shown that CSC interacting proteins COMPANION OF CELLULOSE SYNTHASE (CC) facilitate sustained cellulose synthesis during salt stress by promoting repolymerization of cortical microtubules. However, our understanding of cellulose synthesis during salt stress remains incomplete. In this study, a pull-down of CC1 protein led to the identification of a novel interactor, termed LEA-like. Phylogenetic analysis revealed that LEA-like belongs to the LATE EMBRYOGENESIS ABUNDANT (LEA) protein family, specifically to the LEA_2 subgroup, showing a close relationship with the CC proteins. Roots of the double mutants lea-like and its closest homolog emb3135 exhibited hypersensitivity when grown on cellulose synthesis inhibitors. Further analysis of higher-order mutants of lea-like, emb3135, and cesa6 demonstrated a genetic interaction between them indicating a significant role in cellulose synthesis. Live-cell imaging revealed that both LEA-like and EMB3135 migrated with the CSC at the plasma membrane along microtubule tracks in control and oryzalin-treated conditions which destabilize microtubules, suggesting a tight interaction. Investigation of fluorescently labeled lines of different domains of the LEA-like protein revealed that the N-terminal cytosolic domain of LEA-like colocalizes with microtubules, suggesting a physical association between the two. Considering the established role of LEA proteins in abiotic stress tolerance, we performed phenotypic analysis of the mutant under various stresses. Growth of double mutants of lea-like and emb3135 on NaCl containing media resulted in swelling of root cell indicating a putative role in salt stress tolerance. Supportive of this the quadruple mutant, lacking LEA-like, EMB3135, CC1, and CC2 proteins, exhibited a severe root growth defect on NaCl media compared to control conditions. Live-cell imaging revealed that under salt stress, the LEA-like protein forms aggregates in the plasma membrane. In conclusion, this study has unveiled two novel interactors of the CSC that act with the CC proteins that regulate plant growth in response to salt stress providing new insights into the intricate regulation of cellulose synthesis, particularly under such conditions. N2 - Die pflanzliche Zellwand spielt während der Pflanzenentwicklung mehrere entscheidende Rollen, wobei ihre Integrität als zentrale Signalkomponente für die Wachstumsregulierung bei biotischem und abiotischem Stress fungiert. Zellulose-Mikrofibrillen, die wichtigsten tragenden Komponenten, sind der Hauptbestandteil der primären Zellwand, deren Synthese durch Mikrotubuli assoziierte CELLULOSE SYNTHASE (CESA) Komplexe (CSC) vermittelt wird. Frühere Studien haben gezeigt, dass die mit den CSC interagierenden Proteinen COMPANION OF CELLULOSE SYNTHASE (CC) die anhaltende Zellulosesynthese bei Salzstress erleichtern, indem sie die Repolymerisation der kortikalen Mikrotubuli fördern. Unser Verständnis der Zellulosesynthese bei Salzstress ist jedoch noch unvollständig. In dieser Studie führte ein Pull-down des CC1-Proteins zur Identifizierung eines neuen Interaktors, der als LEA-like bezeichnet wird. Eine phylogenetische Analyse ergab, dass LEA-like zur Late Embryogenesis Abundant (LEA)-Proteinfamilie gehört, insbesondere zur LEA_2-Untergruppe, die eine enge Beziehung zu den CC-Proteinen aufweist. Die Wurzeln der Doppelmutanten lea-like und seines engsten Homologen emb3135 zeigten eine Überempfindlichkeit, wenn sie auf Zellulose-Synthese-Inhibitoren wuchsen. Weitere Analysen von Mutanten höherer Ordnung von lea-like, emb3135 und cesa6 zeigten eine genetische Interaktion zwischen ihnen, die auf eine bedeutende Rolle bei der Zellulosesynthese hinweist. Die Bildgebung in lebenden Zellen zeigte, dass sowohl LEA-like als auch EMB3135 mit dem CSC an der Plasmamembran entlang von Mikrotubuli-Spuren wandern, und zwar sowohl unter Kontrollbedingungen als auch unter Oryzalin-Behandlung, die die Mikrotubuli destabilisiert, was auf eine enge Interaktion hindeutet. Die Untersuchung von fluoreszenzmarkierten Linien verschiedener Domänen des LEA-like-Proteins ergab, dass die N-terminale zytosolische Domäne von LEA-like mit Mikrotubuli kolokalisiert, was auf eine physische Verbindung zwischen den beiden hindeutet. In Anbetracht der bekannten Rolle der LEA-Proteine bei der abiotischen Stresstoleranz haben wir eine phänotypische Analyse der Mutante unter verschiedenen Stressbedingungen durchgeführt. Das Wachstum von Doppelmutanten von lea-like und emb3135 auf NaCl-haltigen Medien führte zu einem Anschwellen der Wurzelzellen, was auf eine mutmaßliche Rolle bei der Salzstresstoleranz hindeutet. Die Vierfachmutante, der die Proteine LEA-like, EMB3135, CC1 und CC2 fehlen, wies im Vergleich zu den Kontrollbedingungen auf NaCl-Medien einen schweren Wachstumsdefekt der Wurzeln auf. Die Bildgebung in lebenden Zellen zeigte, dass das LEA-like-Protein unter Salzstress Aggregate in der Plasmamembran bildet. Zusammenfassend lässt sich sagen, dass diese Studie zwei neue Interaktoren des CSC aufgedeckt hat, die mit den CC-Proteinen zusammenwirken und das Pflanzenwachstum als Reaktion auf Salzstress regulieren. KW - cell wall KW - cellulose KW - salt stress KW - cellulose synthase complex KW - Arabidopsis KW - Zellwand KW - zellulose, Salzstress KW - Cellulose-Synthese-Complex KW - Arabidopsis Y1 - 2024 ER - TY - THES A1 - Apodiakou, Anastasia T1 - Analysis of the regulation of SDI genes, unravelling the role of the SLIM1 transcription factor, and the SNRK3.15 kinase in Arabidopsis under sulfur deprivation Y1 - 2024 ER - TY - THES A1 - Hagemann, Justus T1 - On the molecular evolution of sengis (Macroscelidea) N2 - This thesis focuses on the molecular evolution of Macroscelidea, commonly referred to as sengis. Sengis are a mammalian order belonging to the Afrotherians, one of the four major clades of placental mammals. Sengis currently consist of twenty extant species, all of which are endemic to the African continent. They can be separated in two families, the soft-furred sengis (Macroscelididae) and the giant sengis (Rhynchocyonidae). While giant sengis can be exclusively found in forest habitats, the different soft-furred sengi species dwell in a broad range of habitats, from tropical rain-forests to rocky deserts. Our knowledge on the evolutionary history of sengis is largely incomplete. The high level of superficial morphological resemblance among different sengi species (especially the soft-furred sengis) has for example led to misinterpretations of phylogenetic relationships, based on morphological characters. With the rise of DNA based taxonomic inferences, multiple new genera were defined and new species described. Yet, no full taxon molecular phylogeny exists, hampering the answering of basic taxonomic questions. This lack of knowledge can be to some extent attributed to the limited availability of fresh-tissue samples for DNA extraction. The broad African distribution, partly in political unstable regions and low population densities complicate contemporary sampling approaches. Furthermore, the DNA information available usually covers only short stretches of the mitochondrial genome and thus a single genetic locus with limited informational content. Developments in DNA extraction and library protocols nowadays offer the opportunity to access DNA from museum specimens, collected over the past centuries and stored in natural history museums throughout the world. Thus, the difficulties in fresh-sample acquisition for molecular biological studies can be overcome by the application of museomics, the research field which emerged from those laboratory developments. This thesis uses fresh-tissue samples as well as a vast collection museum specimens to investigate multiple aspects about the macroscelidean evolutionary history. Chapter 4 of this thesis focuses on the phylogenetic relationships of all currently known sengi species. By accessing DNA information from museum specimens in combination of fresh tissue samples and publicly available genetic resources it produces the first full taxon molecular phylogeny of sengis. It confirms the monophyly of the genus Elephantulus and discovers multiple deeply divergent lineages within different species, highlighting the need for species specific approaches. The study furthermore focuses on the evolutionary time frame of sengis by evaluating the impact of commonly varied parameters on tree dating. The results of the study show, that the mitochondrial information used in previous studies to temporal calibrate the Macroscelidean phylogeny led to an overestimation of node ages within sengis. Especially soft-furred sengis are thus much younger than previously assumed. The refined knowledge of nodes ages within sengis offer the opportunity to link e.g. speciation events to environmental changes. Chapter 5 focuses on the genus Petrodromus with its single representative Petrodromus tetradactylus. It again exploits the opportunities of museomics and gathers a comprehensive, multi-locus genetic dataset of P. tetradactylus individuals, distributed across most the known range of this species. It reveals multiple deeply divergent lineages within Petrodromus, whereby some could possibly be associated to previously described sub-species, at least one was formerly unknown. It underscores the necessity for a revision of the genus Petrodromus through the integration of both molecular and morphological evidence. The study, furthermore identifies changing forest distributions through climatic oscillations as main factor shaping the genetic structure of Petrodromus. Chapter 6 uses fresh tissue samples to extent the genomic resources of sengis by thirteen new nuclear genomes, of which two were de-novo assembled. An extensive dataset of more than 8000 protein coding one-to-one orthologs allows to further refine and confirm the temporal time frame of sengi evolution found in Chapter 4. This study moreover investigates the role of gene-flow and incomplete lineage sorting (ILS) in sengi evolution. In addition it identifies clade specific genes of possible outstanding evolutionary importance and links them to potential phenotypic traits affected. A closer investigation of olfactory receptor proteins reveals clade specific differences. A comparison of the demographic past of sengis to other small African mammals does not reveal a sengi specific pattern. N2 - Diese Dissertation untersucht die molekulare Evolution von Macroscelidea, auch als Sengis oder Rüsselspringer bezeichnet. Sengis sind eine Ordnung der Afrotheria, einer der vier Hauptkladen der plazentalen Säugetiere. Aktuell gibt es zwanzig beschriebene Sengiarten, die alle ausschließlich auf dem afrikanischen Kontinent vorkommen. Sengis können in zwei Familien unterteilt werden: die Elephantenspitzmäuse zusammen mit den Rüsselratten bilden die Macroscelididae und die Rüsselhündchen die Rhynchocyonidae. Während Rhynchocyonidae ausschließlich in Waldhabitaten zu finden sind, bewohnen verschiedene Macroscelididaearten ein breites Spektrum von Lebensräumen, von tropischen Regenwäldern bis zu felsigen Wüsten. Unser Wissen über die evolutionäre Geschichte der Sengis ist äußerst unvollständig. Der hohe Grad an morphologischer Ähnlichkeit zwischen verschiedenen Sengiarten (insbesondere innerhalb der Macroscelididae) hat beispielsweise zu Fehlinterpretationen phylogenetischer Beziehungen auf der Grundlage morphologischer Merkmale geführt. Mit dem Aufkommen DNA-basierter taxonomischer Forschung wurden mehrere neue Gattungen definiert und neue Arten beschrieben. Dennoch existiert derzeit keine vollständige molekulare Phylogenie, was die Beantwortung grundlegender taxonomischer Fragen und tiefergehende evolutionsbiologische Analysen erschwert. Dieser Mangel an Wissen kann zum Teil auf die begrenzte Verfügbarkeit von frischen Gewebeproben für die DNA-Extraktion zurückgeführt werden. Die weite Verbreitung in Afrika, teilweise in politisch instabilen Regionen und geringe Populationssdichten von Sengis erschweren das Sammeln von frischem Probenmaterial, was für die Extraktion von DNA genutzt werden kann. Darüber hinaus deckt die bis jetzt verfügbare DNA-Information über Sengis häufig nur kurze Abschnitte des mitochondrialen Genoms ab und damit einen einzelnen genetischen Lokus mit begrenztem Informationsgehalt. Fortentwicklungen von DNA-Extraktions-Protokollen und Library-Protokollen bieten heutzutage die Möglichkeit, auf DNA von Museumsexemplaren zuzugreifen, die über die letzten Jahrhunderte gesammelt und in Naturkundemuseen weltweit aufbewahrt werden. Somit können die Schwierigkeiten bei der Beschaffung von Frischproben für molekularbiologische Studien überwunden werden. Diese Dissertation verwendet sowohl Frischgewebeproben als auch eine umfangreiche Sammlung von Museumssproben, um verschiedene Aspekte der evolutionären Geschichte der Sengis molekularbiologisch zu untersuchen. Kapitel 4 dieser Dissertation konzentriert sich auf die phylogenetischen Beziehungen aller derzeit bekannten Sengiarten. Durch das Generieren von DNA-Information aus Museumsexemplaren in Kombination mit Frischgewebeproben und öffentlich verfügbaren genetischen Ressourcen wird die erste vollständige molekulare Phylogenie aller Rüsselspringer erzeugt. Die Studie bestätigt die Monophylie der Gattung Elephantulus und entdeckt mehrere tief divergente Linien innerhalb verschiedener Arten, was die Notwendigkeit speziesbezogener Ansätze verdeutlicht. Die Studie konzentriert sich außerdem auf den Zeitrahmen der Sengi-Evolution, indem sie die Auswirkungen häufig variierter Parameter auf die Datierung von Stammbäumen untersucht. Die Ergebnisse zeigen, dass die mitochondriale Information, die in früheren Studien zur zeitlichen Kalibrierung der Macroscelidean-Phylogenie verwendet wurde, zu einer Überschätzung des Alters von Arttrennungen innerhalb der Rüsselspringer geführt hat. Insbesondere die Macroscelididae sind daher viel jünger als zuvor angenommen. Das präzisere Wissen über das evolutionäre Alter von Rüsselspringern bietet die Möglichkeit, beispielsweise Artaufspaltungen mit Umweltveränderungen zu verknüpfen. Kapitel 5 konzentriert sich auf die Gattung Petrodromus mit ihrem einzigen Vertreter Petrodromus tetradactylus. Es nutzt erneut die Museomics und sammelt einen umfassenden, genetischen Datensatz von P. tetradactylus-Individuen, die über den größten Teil des bekannten Verbreitungsgebiets dieser Art verteilt sind. Es zeigt mehrere tief divergente Linien innerhalb von Petrodromus auf, wobei einige mit zuvor beschriebenen Unterarten in Verbindung gebracht werden könnten, mindestens eine aber zuvor unbekannt war. Die Ergebnisse verdeutlichen die Notwendigkeit einer taxonomischen Überarbeitung der Gattung Petrodromus durch das Zusammenführen sowohl molekularer als auch morphologischer Indizien. Die Studie identifizier außerdem sich ändernde Waldverteilungen durch klimatische Schwankungen als Hauptfaktor, der die genetische Struktur von Petrodromus formt. Kapitel 6 verwendet Frischgewebeproben, um die genomischen Ressourcen der Rüsselspringer durch dreizehn neue nukleare Genome zu erweitern, von denen zwei de-novo assembliert wurden. Ein umfangreicher Datensatz von mehr als 8000 protein-kodierenden 1:1-Orthologen ermöglicht es, den zeitlichen Rahmen der Rüsselspringerevolution, der in Kapitel 4 gefunden wurde, weiter zu verfeinern und zu bestätigen. Diese Studie untersucht außerdem die Rolle von Genfluss auf die Evolution der Rüsselspringer. Darüber hinaus identifiziert sie für bestimmte Kladen spezifische Gene von möglicherweise herausragender evolutionärer Bedeutung und verknüpft diese mit potenziell betroffenen phänotypischen Merkmalen. Eine genauere Untersuchung von Geruchsrezeptorproteinen zeigt kladespezifische Unterschiede auf. KW - sengis KW - evolution KW - molecular dating KW - biogeography KW - comparative genomics KW - Biogeographie KW - vergleichende Genomik KW - Evolution KW - molekulare Datierung KW - Sengis Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-641975 ER - TY - THES A1 - Rogge, Franziska T1 - Multiprofessionelle Kooperation an inklusiven Schulen im Bundesland Brandenburg: Vorkommen, Profile, Auswirkungen N2 - Die Zusammenarbeit zwischen Lehr- und anderen Fachkräften stellt in Modellen inklusiver Schul- und Unterrichtsentwicklung sowie Schuleffektivität ein wichtiges Element dar. Wenngleich Kooperation als bedeutsam postuliert wird, so belegen Studien, dass diese bisher überwiegend in autonomieerhaltenden Formen praktiziert wird. Als entwicklungsförderlich gelten jedoch v.a. komplexere Formen der Zusammenarbeit. Vor dem Hintergrund inklusiver Bildung und dem Anspruch einer bestmöglichen individuellen Entwicklung der Schüler*innen stellt die Zusammenarbeit von Lehr- und Fachkräften folglich ein sehr bedeutsames Thema dar. Es ist zu hinterfragen, wie sich die Zusammenarbeit zwischen Lehr- und Fachkräften im Primar- wie Sekundarstufenbereich an inklusiven Schulen gestaltet, welche Faktoren diese beeinflussen und welche Relevanz die unterschiedlichen Formen der Zusammenarbeit im Prozess inklusiver Schulentwicklung einnehmen. Bestehende Forschungsdesiderata aufgrei-fend, fokussiert die vorliegende Dissertation auf die realisierte Zusammenarbeit von Lehr- und Fachkräften im Primar- und Sekundarstufenbereich inklusiver Schulen, am Beispiel des Landes Brandenburg. Neben den realisierten Formen der Zusammenarbeit, stehen insbesondere die Identifikation von Kooperationsmustern von Lehr- und Fachkräften sowie von Schulen, und deren Zusammenhänge mit der Leistungsentwicklung von Schüler*innen im Kern des Forschungsinteresses. Die vorliegende Dissertation bearbeitet insgesamt sechs Forschungsfragen, welche in drei Teilstudien adressiert werden: Zunächst werden mittels deskriptiver Analysen sowie Mehrebenenmodellierungen die Ausgangslage multiprofessioneller Kooperation (erste Forschungsfrage) sowie deren Rahmenbedingungen (zweite Forschungsfrage) im Primar- wie Sekundarstufenbereich erfasst (Teilstudie 1). Lehr- und Fachkräfte kooperierten überwiegend in autonomieerhaltenden, austauschbasierten Formen. Weiterhin zeigte sich, dass insbesondere die individuelle Offenheit zur Zusammenarbeit sowie die subjektiv wahrgenommene Unterstützung durch die Schulleitung bedeutsame Faktoren für die Realisierung multiprofessioneller Kooperation darstellten. Die Fragestellungen drei und vier befassen sich mit der Identifikation von Mustern im Kooperationsverhalten (Teilstudie 2). Zum einen geht es hierbei um personenbezogene Profile von Lehr- und Fachkräften (dritte Forschungsfrage), zum anderen um schulbezogene Profile (vierte Forschungsfrage), welche mittels des personenzentrierten Ansatzes der latenten Profilanalysen unter Berücksichtigung der Mehrebenenstruktur identifiziert werden. Hinsichtlich des individuellen Kooperationsverhaltens konnten vier Profile eruiert werden, bzgl. des schulspezifischen Kooperationsverhaltens drei. Die Mehrheit der Lehr- und Fachkräfte konnte im „regularly“-Profil verortet werden, d.h. nach eigener Einschätzung kooperierten diese überdurchschnittlich häufig im Austausch miteinander und arbeitsteilig, aber auch regelmäßig kokonstruktiv. Auf Schulebene zeigte sich, dass etwa jede zweite inklusive Schule im Land Brandenburg über eine hoch ausgeprägte Kooperationskultur verfügte. Im Fokus der Teilstudie 3 wird den Fragen nachgegangen, in welchem Zusammenhang die schulspezifischen Kooperationskulturen mit der Leistungsentwicklung von Schüler*innen in der Primar- wie Sekundarstufe steht. Mittels autoregressiver Mehrebenenanalysen wird einerseits der Zusammenhang mit der Leistungsentwicklung aller Schüler*innen (fünfte Forschungsfrage) untersucht, sowie spezifisch auf die Entwicklung von Schüler*innen mit und ohne sonderpädagogischem Förderbedarf (sechste Forschungsfrage) fokussiert. Ein zentrales Ergebnis war hierbei, dass Schüler*innen mit sonderpädagogischem Förderbedarf in der Primar- wie Sekundarstufe in ihrer Leistungsentwicklung am stärksten profitierten, wenn sie an Schulen lernten, an denen sich die Lehr- und Fachkräfte sehr regelmäßig über Lernstände der Schüler*innen austauschten (Austausch), Arbeitspakete für differenzierte Lernangebote erarbeiteten und verteilten (Arbeitsteilung) und darüber hinaus gelegentlich gemeinsam Problemlösungen entwickelten (Kokonstruktion). Die Ergebnisse werden vor dem Hintergrund der postulierten Relevanz multiprofessioneller Kooperation für inklusive Schul- und Unterrichtsentwicklungsprozesse eingeordnet und diskutiert. Weiterhin werden verschiedene praktische Implikationen für die Unterstützung multiprofessioneller Zusammenarbeit im Primar- und Sekundarstufenbereich abgeleitet. N2 - Collaboration between teachers and specialists is an important element in models of inclusive school and instructional development and school effectiveness. Although collaboration is postulated to be important, studies show that it has so far mainly been practised in autonomy-preserving forms. However, more complex forms of collaboration are considered to promote development. In the context of inclusive education and the demand for the best individual development of students, collaboration between teachers and specialists is therefore a very important aspect. It is necessary to analyse the extent to which collaboration between teachers and specialists in primary and secondary schools is realised in inclusive schools, which factors influence this and what relevance the different forms of collaboration have in the process of inclusive school development. Taking up existing research desiderata, this dissertation therefore focuses on the realised collaboration between teachers and specialists in primary and secondary inclusive schools, using the example of the federal state of Brandenburg. In addition to the realised forms of collaboration, the identification of cooperation patterns of teachers and specialists, but also of schools and their connections with the performance development of pupils are at the core of the research interest. This dissertation addresses a total of six research questions, which are addressed in three sub-studies: Firstly, descriptive analyses and multi-level modelling are used to record the initial situation of multi-professional collaboration (first research question) and its framework conditions (second research question) in primary and secondary education (sub-study 1). Teachers and specialists collaborated predominantly in autonomy-preserving, exchange-based forms. It was also shown that the individual openness to collaboration and the subjectively perceived support from the school management were especially important factors for the realisation of multi-professional collaboration. Questions three and four deal with the identification of pat-terns in cooperation behaviour (sub-study 2). On the one hand, this involves personal profiles of teachers and specialists (third research question) and, on the other hand, school-related profiles (fourth research question), which are identified using the person-centred approach of latent profile analyses, taking into account the multi-level structure. Four profiles were identified with regard to individual cooperation behaviour and three with regard to school-specific cooperation behaviour. The majority of teachers and specialists could be categorised in the "regularly" profile, i.e. according to their own assessment, they collaborated with each other more frequently than average in an exchange and division of labour, but also regularly in a co-constructive manner. At school level, it was found that around every second inclusive school in the state of Brandenburg has a highly developed culture of collaboration. Sub-study 3 focuses on the questions of how school-specific cultures of collaboration are related to the performance of pupils at primary and secondary level. Using autoregressive multi-level analyses, the correlation with the performance development of all pupils (fifth research question) is examined on the one hand, and specifically focussed on the development of pupils with and without special educational needs (sixth research question). A key finding here was that pupils with special educational needs at both primary and secondary level benefited most in terms of their performance development if they learnt at schools where teachers and specialists regularly exchanged information about the pupils' learning status (exchange), developed and distributed work packages for differentiated learning opportunities (division of labour) and also occasionally developed solutions to problems together (co-construction). The results are categorised and discussed against the background of the postulated relevance of multi-professional collaboration for inclusive school and lesson development processes. Furthermore, various practical implications for supporting multi-professional collaboration in primary and secondary education are derived. KW - multiprofessionelle Kooperation KW - Primar- und Sekundarstufe KW - latente Mehrebenen-Profilanalysen KW - (autoregressive) Mehrebenenanalysen KW - Leistungsentwicklung KW - inklusive Schulen KW - multiprofessional collaboration KW - primary and secondary schools KW - multilevel latent profile analyses KW - autoregressive multi-level analyses KW - performance development KW - inclusive schools Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-639190 ER - TY - BOOK ED - Liberatoscioli, Davide ED - Borýsek, Martin T1 - The many faces of early modern Italian Jewry BT - religious, cultural, and social identities T3 - Europäisch-jüdische Studien – Beiträge N2 - The Jewish population of early modern Italy was characterised by its inner diversity, which found its expression in the coexistence of various linguistic, cultural and liturgical traditions, as well as social and economic patterns. The contributions in this volume aim to explore crucial questions concerning the self-perception and identity of early modern Italian Jews from new perspectives and angles. KW - Judentum KW - Italien KW - Frühe Neuzeit KW - Identität, jüdische Y1 - 2024 SN - 978-3-11-104915-1 SN - 978-3-11-104803-1 U6 - https://doi.org/10.1515/9783111049151 VL - 65 PB - De Gruyter Oldenbourg CY - Berlin ER - TY - BOOK A1 - Linderkamp, Friedrich A1 - Hennig, Timo A1 - Schramm, Satyam Antonio T1 - ADHS bei Jugendlichen T1 - ADHD in adolescence BT - das Lerntraing LeJA BT - the learning skills training LeJA N2 - ADHS galt lange als eine Störung des Kindesalters. Aber bis zu 80 % der Patient:innen sind auch noch als Jugendliche betroffen. Gerade sie brauchen Hilfe bei ihren Problemen! In der Schule müssen sie öfter die Klasse wiederholen, im sozialen und emotionalen Bereich gibt es Konflikte mit Gleichaltrigen und Eltern. Unbehandelt drohen psychische Störungen, Drogenmissbrauch oder delinquentes Verhalten. Das vorliegende Lerntraining ist das erste multimodale Behandlungskonzept für Jugendliche im Alter von 12 bis 17 Jahren. Es werden konkrete Probleme und Aufgaben aus Schule und Umwelt behandelt, um daran allgemeine Strategien herzuleiten. Eltern und Lehrer werden intensiv in die Behandlung mit einbezogen. N2 - While minor attention problems in daily life are certainly not uncommon, and almost every learner is familiar with phenomena of less systematic learning and working behavior, Attention-Deficit/Hyperactivity Disorder (ADHD) presents those affected with a wide range of challenges in learning and demanding situations, as well as in social interactions and everyday life. Especially during adolescence, individuals face a multitude of new developmental tasks, such as increasing expectations of their independence, rising academic performance demands, the beginning of career orientation, the gradual separation from parents, and the onset of sexual development. To address both the ADHD-specific issues and the developmental situation of the affected adolescents, the "Learning Training for Adolescents with Attention Disorders - LeJA" was developed. The training has two main objectives: (1) Improving academic or education-related learning and performance behavior. (2) Assisting in coping with normative developmental tasks. The LeJA training combines a cognitive-behavioral learning program to enhance performance behavior with coaching (self-management approach according to Kanfer et al., 2011) to support development-related challenges. The design of the training and the pedagogical-therapeutic relationship between adolescents and trainers are influenced by the results of psychotherapy research by Grawe (2005). LeJA is aimed at professionals in the fields of inclusive and special education, school psychology, psychotherapy and learning therapy, occupational therapy, and social work. It has been extensively evaluated in a randomized controlled group design (Hennig et al., 2016; Schramm et al., 2016). KW - ADHS KW - Jugendalter KW - Intervention KW - Förderung KW - ADHD KW - learning support KW - intervention KW - adolescence Y1 - 2024 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-608723 PB - Universitätsverlag Potsdam CY - Potsdam ET - 2., aktualisierte und erweiterte ER - TY - CHAP A1 - Rauschenbach, Sina ED - Huss, Bernhard T1 - Presentism and the denial of coevalness BT - the descriptions of England and Ireland in the Seventeenth-Century ‘Elzevirian Republics’ T2 - Von Neuem: Tradition und Novation in der Vormoderne N2 - In Time and the Other Johannes Fabian analysed how modern conceptions of time were “not only secularized and naturalized but also thoroughly spatialized.” According to Fabian, this was particularly visible in modern anthropology which “promoted a scheme in terms of which not only past cultures but all living societies were irrevocably placed on a temporal slope, a stream of Time – some upstream, others downstream.”3 Anthropologists attributed otherness to a distant past which was traditionally associated with cultural retardation, i.e. a lower degree of development, progress, and civilization. Cultural difference was expressed in terms of temporal distance while temporal distance was attributed to spatial remoteness. The result was a phenomenon that Fabian coined “the denial of coevalness” which pointed towards “a persistent and systematic tendency to place the referent(s) of anthropology in a Time other than the present of the producer of anthropological discourse. Y1 - 2024 SN - 978-3-8253-8663-4 SN - 978-3-8253-9582-7 U6 - https://doi.org/10.33675/2024-82538663 VL - GRM-Beiheft 113 SP - 195 EP - 211 PB - Universitätsverlag Winter GmbH CY - Heidelberg ER - TY - CHAP A1 - Moser, Natalie T1 - Historisch von der nahen Zukunft erzählen BT - Zukunftsfiguren, -institutionen und -modelle in Marie von Ebner-Eschenbachs Das Gemeindekind T2 - Zukunft – Zukunftswissen – Zukunftsästhetik Y1 - 2024 SN - 978-3-96821-870-0 SN - 978-3-96821-871-7 U6 - https://doi.org/10.5771/9783968218717-85 SP - 85 EP - 106 PB - Rombach Wissenschaft CY - Baden-Baden ER - TY - BOOK ED - Lampart, Fabian ED - Moser, Natalie T1 - Zukunft – Zukunftswissen – Zukunftsästhetik BT - Reflexionen des Kommenden in der Literatur des 19. Jahrhunderts T3 - Litterae N2 - Das historische Erzählen ist im 19. Jahrhundert eine der prominentesten narrativen Formen. Aber es ist immer auch zukunftsaffin. In diesem Band wird diese Kehrseite der Vergangenheitsorientierung in historischer und systematischer Perspektive entlang folgender Leitfragen untersucht: Wie können Zukunftsreflexionen in Genres analytisch und konzeptionell gefasst werden, die nicht programmatisch dem Zukunftssujet verpflichtet sind? Wie ist das Wissen um Zukunft organisiert und ästhetisch strukturiert? Wie verhält sich eine solche implizite ästhetische Problematisierung von Zukunft gegenüber expliziten Zukunftsmodellen der entstehenden Science Fiction? N2 - Historical narrative was one of the most prominent narrative forms in the 19th century. But it was always also future-oriented. In this volume, this flipside of addressing the past is examined from a historical and systematic perspective using the following guiding questions: How can reflections on the future be grasped analytically and conceptually in genres that are not programmatically committed to the future? How is knowledge of the future organised and aesthetically structured? How does such implicit aesthetic problematisation of the future relate to explicit models of the future in emerging science fiction? KW - 19. Jahrhundert KW - 19th century KW - Zukunft KW - future KW - Zukunftsmodell KW - Zukunftsreflexion KW - Zukunftsästhetik KW - future aesthetics Y1 - 2024 SN - 978-3-96821-870-0 SN - 978-3-96821-871-7 U6 - https://doi.org/10.5771/9783968218717 VL - 259 PB - Rombach Wissenschaft CY - Baden-Baden ER - TY - CHAP A1 - Lampart, Fabian T1 - Prognose, Planung, Sicherung BT - Zukunftsreflexionen in der Literatur des 19. Jahrhunderts T2 - Zukunft – Zukunftswissen – Zukunftsästhetik Y1 - 2024 SN - 978-3-96821-870-0 SN - 978-3-96821-871-7 U6 - https://doi.org/10.5771/9783968218717 VL - 259 SP - 165 EP - 188 PB - Rombach Wissenschaft CY - Baden-Baden ER -