Refine
Year of publication
- 2024 (234) (remove)
Document Type
- Doctoral Thesis (95)
- Article (44)
- Monograph/Edited Volume (27)
- Part of a Book (16)
- Other (11)
- Working Paper (10)
- Conference Proceeding (9)
- Master's Thesis (8)
- Part of Periodical (4)
- Report (3)
Keywords
- Judentum (5)
- Arctic (4)
- Arktis (4)
- experiment (4)
- machine learning (4)
- Christentum (3)
- Islam (3)
- Klimawandel (3)
- Kohlenstoff (3)
- Satzverarbeitung (3)
Institute
- Extern (22)
- Fachgruppe Politik- & Verwaltungswissenschaft (21)
- Fachgruppe Betriebswirtschaftslehre (18)
- Historisches Institut (15)
- Institut für Biochemie und Biologie (14)
- Institut für Physik und Astronomie (13)
- Bürgerliches Recht (12)
- Hasso-Plattner-Institut für Digital Engineering GmbH (12)
- Fachgruppe Soziologie (10)
- Fachgruppe Volkswirtschaftslehre (10)
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.
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.
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.
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.
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.
ADHS bei Jugendlichen
(2024)
ADHS galt lange als eine Störung des Kindesalters. Aber bis zu 80 % der Patienten 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.
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.