The goal of this PhD thesis is to investigate possibilities of using symbol elimination for solving problems over complex theories and analyze the applicability of such uniform approaches in different areas of application, such as verification, knowledge representation and graph theory. In the thesis we propose an approach to symbol elimination in complex theories that follows the general idea of combining hierarchical reasoning with symbol elimination in standard theories. We analyze how this general approach can be specialized and used in different areas of application. In the verification of parametric systems it is important to prove that certain safety properties hold. This can be done by showing that a property is an inductive invariant of the system, i.e. it holds in the initial state of the system and is invariant under updates of the system. Sometimes this is not the case for the condition itself, but for a stronger condition it is. In this thesis we propose a method for goal-directed invariant strengthening. In knowledge representation we often have to deal with huge ontologies. Combining two ontologies usually leads to new consequences, some of which may be false or undesired. We are interested in finding explanations for such unwanted consequences. For this we propose a method for computing interpolants in the description logics EL and EL⁺, based on a translation to the theory of semilattices with monotone operators and a certain form of interpolation in this theory. In wireless network theory one often deals with classes of geometric graphs in which the existence or non-existence of an edge between two vertices in a graph relies on properties on their distances to other nodes. One possibility to prove properties of those graphs or to analyze relations between the graph classes is to prove or disprove that one graph class is contained in the other. In this thesis we propose a method for checking inclusions between geometric graph classes.

Entrepreneurship and entrepreneurship education have expanded together, and their conceptual and methodological challenges do not prevent the implementation of entrepreneurial education in educational contexts. The desire for a global workforce that can handle uncertainties and solve problems that cannot be solved by pure analytical inquiry drives the rapidly expanding number of educational programs and activities that are design-based. A growing number of educational programs for entrepreneurs increasingly incorporate design-based methods. However, design thinking-based theoretical assumptions may also be lacking. Despite growing academic interest in design thinking and entrepreneurship education, little is known about design thinking in higher entrepreneurship education, especially in Eastern nations. A Western teaching method, entrepreneurial design thinking may be adapted to many cultures. In this instance, the West has established entrepreneurship education as a respectable study subject and teaching practice in higher education over the past 40 years. The Eastern nations' occurrence varies, including Indonesia. Indonesia is an intriguing research subject since it has over 50% youth due to its abundant natural resources. However, it needs more opportunity-based entrepreneurs and requires assistance in implementing entrepreneurship education with a more innovative, design-based, and successful method. Entrepreneurial design thinking fulfills this demand. Indonesian students and teachers' norm-based attitudes and cultural mindsets towards a new western creative method may hinder entrepreneurial design thinking's acceptance. The literature review found that Indonesian university students are collaborative, compassionate, and practical, like design thinkers. However, they may also be risk-averse, self-restrained, and dependent on teachers as stereotypical Asians. Classroom space, educators' design thinking competence, and university or institution support are further barriers. Additional study into these challenges is needed to adapt design thinking to Indonesian entrepreneurial higher education culturally. Based on the above research needs, the purpose of this research endeavor is to look into the cultural nuances of the design thinking technique for entrepreneurial higher education and postulate how it could be adapted to other cultures, especially in Indonesia. This thesis uses deductive and qualitative case-study research methods. In particular, the latter used thematic analysis (Braun & Clarke, 2006; Terry & Hayfield, 2021) as the data analysis technique to provide a means and tools for understanding from interviews, class observation, and literature studies. Since this thesis follows the constructivist-relativist research paradigm, it explores contextual and cultural differences in Indonesian entrepreneurship education and its potential and obstacles to adapt the Western teaching methodology of entrepreneurial design thinking in higher education. In summary, this study searches for elements that might aid or hinder the cross-cultural adaption of entrepreneurial design thinking. This research wants to understand how cross-cultural adaptability fits into entrepreneurial design thinking research, especially for Indonesia. This thesis aims to provide new theoretical insights and practical advice on adapting entrepreneurial design thinking from Western to Eastern cultures. From the findings, this thesis concluded at least seven educational value differentials before adaptation from the exhaustive literature and case study evaluations. For Indonesian entrepreneurship higher education institutions to use entrepreneurial design thinking, they must consider educational culture, technological infrastructure, language, primary audience, learning and teaching style, reasoning patterns, and social-cultural environment. This study provides four practical adaptation recommendations: socialization, externalization, combination, and internalization. Finally, this research demonstrated that cross-cultural adaption of entrepreneurial design thinking in Indonesia might be difficult but worthwhile. This thesis' case study, "School of Business Management – Bandung Institute of Technology (SBM ITB)", showed that Indonesian entrepreneurial higher education might use design thinking as a teaching approach. All stakeholders must improve internally and publicly. Thus, this study recommended integrating most Indonesian higher education institutions' entrepreneurship teaching approaches with a "student-centered" approach that stresses business mentorship, uses design thinking tools and processes, and links them to students' entrepreneurial initiatives. To summarize, this research contributes to the field since it draws on and combines the findings of several other fields of study, including entrepreneurial education, design thinking, and cross-cultural adaptation. This study stepped out of the "usual and proper" pedagogical ruts to investigate "non-human" cross-cultural adaptability. It has attempted to apply these ideas to a real-world, unique case study in a developing nation (in this case, Indonesia).

The digital transformation of the public sector and the development of suitable implementation mechanisms are currently major challenges in the area of E-Government. While Germany is one of the leading countries in the private sector in terms of digital offerings, the digital transformation processes in the public sector are progressing only slowly. In particular, compared to other European countries, German administrations offer few digital and interoperable services, which prevents them from catching up with a government-wide dig-ital transformation. The aim of this dissertation is to investigate the reasons for the slow progress of digital transformation in the public sector and to understand why Germany is not making significant progress in the digitization of administrative services compared to other European member states. Furthermore, it aims to gradually build a comprehensive understanding of why digital transformation is not being driven, supported or applied in the public sector and what positive or negative factors ultimately prevent cross-organizational exchange. The focus of this dissertation is on organizational and interdisciplinary collaboration in socio-technical systems and its influence on the digital transformation of public administrations. The investigation of science and practice is based on the principles of qualitative social research and qualitative content analysis according to Mayring. Deductive categories are systematically derived and supplemented by further inductive categories along the empirical investigation in the five case studies. The identified phenomena are analyzed in a scientific explanatory model and described with the help of the holistic approach and the actor-network theory. On this basis, solutions are developed that can either prevent or at least reduce the influencing factors. An interdiscipli-nary approach that combines theoretical foundations from business informatics, administrative informatics/e-government and organizational science not only creates a comprehensive understanding of the problem, but also develops approaches for the scientific description of informatics phenomena with the help of social constructivist approaches.

The diversity within amphibian communities in cultivated areas in Rwanda and within two selected, taxonomically challenging groups, the genera Ptychadena and Hyperolius, were investigated in this thesis. The amphibian community of an agricultural wetland near Butare in southern Rwanda comprised 15 anuran species. Rarefaction and jackknife analyses corroborated that the complete current species richness of the assemblage had been recorded, and the results of acoustic niche analysis suggested species saturation of the community. Surveys at many other Rwandan localities showed that the species recorded in Butare are widespread in cultivated and pristine wetlands. The species were readily distinguishable using morphological, bioacoustic, and molecular (DNA barcoding) features, but only eight of the 15 species could be assigned unambiguously to nominal species. The remaining represented undescribed or currently unrecognized taxa, including three species of Hyperolius, two Phrynobatrachus species, one Ptychadena species, and one species of Amietia. The diversity of the Ridged Frogs in Rwanda was investigated in two studies (Chapters III and IV). Three species of Ptychadena were recorded in wetlands in the catchment of the Nile. They can be distinguished by morphological characters (morphometrics and qualitative features) as well as by their advertisement calls and genetics. The Rwandan species of the P. mascareniensis group was shown to differ from the topotypic population as well as from other genetic lineages in sub-Saharan Africa and an old available name, P. nilotica, was resurrected from synonymy for this lineage. Two further Ptychadena species were identified among voucher specimens from Rwanda deposited in the collection of the RMCA, P. chrysogaster and P. uzungwensis. Morphologically they can be unambiguously distinguished from each other and the three other Rwandan species. A key based on qualitative morphological characters was developed, which allows unequivocal identification of specimens of all species that have been recorded from Rwanda. DNA was isolated from a Rwandan voucher specimen of P. chrysogaster, and the genetic analysis corroborated the species" distinct status. A species of Hyperolius collected in the Nyungwe National Park was compared to all other Rwandan species of the genus and to morphologically or genetically similar species from neighbouring countries. Its distinct taxonomic status was justified by morphological, bioacoustic, and molecular evidence and it was described as a new species, H. jackie. A species of the H. nasutus group collected at agricultural sites in Rwanda was described as a new species in the course of a revision of the species of the Hyperolius nasutus group. The group was shown to consist of 15 distinct species which can be distinguished from each other genetically, bioacoustically, and morphologically. The aerial performance, i.e. parachuting, of the Disc-fingered Reed Frog, Hyperolius discodactylus, was described. It represents a novel observation of a behaviour that has been known from a number of Southeast Asian and Neotropical frog species. Parachuting frogs, including H. discodactylus, exhibit certain morphological characteristics and, while airborne, assume a distinct posture which is best-suited for maneuvering in the air. Another study on the species addressed the validity of the taxon H. alticola which had been considered either a synonym of H. discodactylus or a distinct species. Type material of both taxa was re-examined and the status of H. alticola reassessed using morphological data from historic and new collections, call recordings, and molecular data from animals collected on recent expeditions. A northern and a southern genetic clade were identified, a divide that is weakly supported by diverging morphology of the vouchers from the respective localities. No distinction in advertisement call features could be recovered to support this split and both genetic and morphological differences between the two geographic clades are marginal and not always congruent and more likely reflect population-level variation. Therefore it was concluded that H. alticola is not a valid taxon and should be treated as a synonym of H. discodactylus.

Antonio Lotti (1667-1740) gehört zu den venezianischen Komponisten, die in der älteren wie der neueren Fachliteratur ein hohes Ansehen genießen, obwohl seine Werke bis heute nur wenig bekannt sind. Eine unklare Überlieferungslage, aber auch sachfremde ästhetische Postulate verzögerten jedoch die Auseinandersetzung mit Lottis Kompositionen. Erst in neuerer Zeit gab es ein verstärktes Interesse sowohl an seinen Opern und vokaler Kammermusik als auch an seiner Kirchenmusik. In der vorliegenden Studie wird zunächst Lottis Biographie unter Einbeziehung neuer Quellenfunde auf dem aktuellen Stand des Wissens zusammenfassend dargestellt. Der zweite Teil bietet erstmals eine Identifikation von Lottis Buchstaben- und Notenschrift nach streng philologischen Kriterien. Angesichts des nicht mehr erhaltenen Nachlasses ist dieser Teil von besonderer Bedeutung, bietet er doch die unverzichtbare Basis zur weiteren Erforschung von Lottis Kirchenmusik, ihrer Überlieferung und Faktur.