Filtern
Erscheinungsjahr
Dokumenttyp
- Dissertation (473)
- Ausgabe (Heft) zu einer Zeitschrift (354)
- Bachelorarbeit (273)
- Diplomarbeit (196)
- Masterarbeit (187)
- Studienarbeit (137)
- Wissenschaftlicher Artikel (21)
- Konferenzveröffentlichung (12)
- Sonstiges (8)
- Bericht (8)
Sprache
- Deutsch (1135)
- Englisch (540)
- Mehrsprachig (4)
- Spanisch (2)
Volltext vorhanden
- ja (1681) (entfernen)
Schlagworte
- Vorlesungsverzeichnis (55)
- Bildverarbeitung (16)
- Augmented Reality (15)
- Simulation (12)
- Computergraphik (10)
- Computersimulation (10)
- Pestizid (10)
- Robotik (10)
- Computergrafik (9)
- Computervisualistik (9)
Institut
- Institut für Computervisualistik (336)
- Fachbereich 4 (295)
- Zentrale Einrichtungen (176)
- Institut für Wirtschafts- und Verwaltungsinformatik (146)
- Institut für Informatik (143)
- Institut für Management (115)
- Fachbereich 7 (99)
- Institute for Web Science and Technologies (57)
- Institut für Softwaretechnik (54)
- Fachbereich 8 (47)
Die Bedeutung von Innovation für die Sicherung der Unternehmensexistenz nimmt zu. Gerade im Bereich der Informations- und Kommunikationssysteme zwingen veränderte Rahmenbedingungen, verkürzte Produktlebenszyklen und verstärkter Wettbewerb viele Unternehmen zur Anpassung ihrer Innovationsgeschwindigkeit. Langfristiger Erfolg wird sich nur für die Unternehmen einstellen, denen es gelingt, durch technologische Innovationen ihre Wettbewerbsposition zu festigen oder auszubauen. Dies erfordert einen gesonderten Umgang mit technologischen Innovationen und verlangt nach einem Technologie- und Innovationsmanagement. Dabei ist nicht jede Innovation das Produkt einer einmaligen, möglicherweise gar spontanen Idee. Viele Innovationen entstehen aus der Integration oder Kombination bereits bewährter Technologien. Dies ist besonders interessant, wenn die originären Technologien Branchen entstammen, die nur noch marginale Wachstumsraten aufweisen. Ziel dieser Arbeit ist die Identifizierung eventuell existierender Mängel etablierter Vorschläge für ein strategisches Technologie- und Innovationsmanagement, sowie darauf aufbauend die Formulierung eines eigenen Vorschlags zum Umgang mit Innovationen, die durch Technologieintegration entstanden sind.
Studies have shown that runoff and spray-drift are important sources of nonpoint-source pesticide pollution of surface waters. Owing to this, public concern over the presence of pesticides in surface and ground water has resulted in intensive scientific efforts to find economical, yet environmentally sound solutions to the problem. The primary objective of this research was to assess the effectiveness of vegetated aquatic systems in providing buffering between natural aquatic ecosystems and agricultural landscape following insecticide associated runoff and spray-drift events. The first set of studies were implemented using vegetated agricultural ditches, one in Mississippi, USA, using pyrethroids (bifenthrin, lambda-cyhalothrin) under simulated runoff conditions and the other in the Western Cape, South Africa using the organophosphate insecticide, azinphos-methyl (AZP), under natural runoff and spray-drift conditions. The second set of studies were implemented using constructed wetlands, one in the Western Cape using AZP under natural spray-drift conditions and the other in Mississippi, USA using the organophosphate MeP under simulated runoff conditions. Results from the Mississippi-ditch study indicated that ditch lengths of less than 300 m would be sufficient to mitigate bifenthrin and lambda-cyhalothrin. In addition, data from mass balance calculations determined that the ditch plants were the major sink (generally > 90%) and/or sorption site for the rapid dissipation of the above pyrethroids from the water column. Similarly, results from the ditch study in South Africa showed that a 180 m vegetated system was effective in mitigating AZP after natural spray drift and low flow runoff events. Analytical results from the first wetland study show that the vegetated wetland was more effective than the non-vegetated wetland in reducing loadings of MeP. Mass balance calculations indicated approximately 90% of MeP mass was associated with the plant compartment. Ninety-six hours after the contamination, a significant negative acute effect of contamination on abundances was found in 8 out of the 15 macroinvertebrate species in both wetland systems. Even with these toxic effects, the overall reaction of macroinvertebrates clearly demonstrated that the impact of MeP in the vegetated wetland was considerably lower than in the non-vegetated wetland. Results from the constructed wetland study in South Africa revealed that concentrations of AZP at the inlet of the 134 m wetland system were reduced by 90% at the outlet. Overall, results from all of the studies in this thesis indicate that the presence of the plant compartment was essential for the effective mitigation of insecticide contamination introduced after both simulated and natural runoff or spray-drift events. Finally, both the vegetated agricultural drainage ditch and vegetated constructed wetland systems studied would be effective in mitigating pesticide loadings introduced from either runoff or spray-drift, in turn lowering or eliminating potential pesticide associated toxic effects in receiving aquatic ecosystems. Data produced in this research provide important information to reduce insecticide risk in exposure assessment scenarios. It should be noted that incorporating these types of best management practices (BMPs) will decrease the risk of acute toxicity, but chronic exposure may still be an apparent overall risk.
Die Abschätzung der Eintragswahrscheinlichkeit von Pestiziden in Gewässer ist insbesondere im Landschaftsmaßstab aufgrund der erforderlichen ereignisbezogenen Probenahmetechniken mit erheblichem Kostenaufwand verbunden. Simulationsmodelle können hierbei eine wichtige Alternative zur Planung von Risiko-Minimierungsmaßnahmen darstellen. Hauptziele dieser Arbeit waren (A) die Entwicklung eines Simulationswerkzeugs, mit dessen Hilfe das Eintragsrisiko von Pestiziden in Oberflächengewässer im Landschaftsmaßstab abgeschätzt werden kann und sich Risiko-Minimierungsmaßnahmen effektiv planen lassen, sowie (B) die Durchführung einer Expositions- und Risikoabschätzung sowie die Abschätzung negativer Effekte von Pestiziden auf die Artenzahlen von Fließgewässer-Lebensgemeinschaften des Braunschweiger Umlands. Exposition, Risiko und Effekte In den Abschnitten 1.1 und 1.2 wurde das Simulationsmodell auf landwirtschaftlich beeinflusste Fließgewässer des Braunschweiger Umlands angewendet. Abschnitt 1.3 gibt einen Überblick über allgemeine Anwendungsmöglichkeiten des Simulators und den Systemaufbau. Abschnitt 1.1 - Scenario based simulation of runoff-related pesticide entries into small streams on a landscape level (Englische Publikation, S. 27): Auf Basis des von der OECD vorgeschlagenen (ratio of exposure to toxicity) REXTOX-Modells wurde der Pestizideintrag für 737 Probestellen bei kleineren Fließgewässern des Braunschweiger Umlands simuliert. Die Simulation wurde für die 15 im Untersuchungsgebiet am häufigsten nachgewiesenen Pestizide für je acht verschiedene Umweltszenarien durchgeführt. Die Szenarien umfassten Management-Maßnahmen, wie z.B. die Variation der Randstreifenbreite, sowie klimatische und saisonale Aspekte. Die höchsten Konzentrationen wurden für ein Szenario ohne Randstreifen und gleichzeitig erhöhten Niederschlägen vorhergesagt. Anhand der simulierten Konzentrationen wurde das Risiko für aquatische Lebensgemeinschaften auf Basis von Standard-Toxizitätstests (Endpunkte EC50, LC50) und eines Sicherheitsfaktors abgeschätzt. Abschnitt 1.2 - Linking land use variables and invertebrate taxon richness in small and medium-sized agricultural streams on a landscape level (Englische Publikation, S. 50): In dieser Studie wurden die langjährigen mittleren Artenzahlen von Fließgewässer-Invertebratentaxa im landwirtschaftlich geprägten Braunschweiger Umland (Untersuchungen über 15 Jahre bei 90 Gewässern an 202 Probestellen) auf Wechselbeziehungen mit verschiedenen Umweltfaktoren, wie z.B. der Gewässerbreite, der Landnutzung (Landwirtschaft, Wald, Wiese, Siedlung), der Bodenart sowie landwirtschaftlich bedingter Stressoren untersucht. Der Stress, der von der landwirtschaftlichen Nutzung ausgeht, wurde dabei durch das Risiko des Auftretens von Oberflächenabfluss (runoff) von der Ackerfläche in das Gewässer ausgedrückt. Der Faktor "Risk of Runoff" wurde von dem von der OECD vorgeschlagenen "ratio of exposure to toxicity" (REXTOX)-Modell abgeleitet. Durch multivariate Statistik konnten insgesamt 39,9% der Varianz in der Artenzahl erklärt werden, wobei die Gewässerbreite mit 25,3% den wichtigsten Faktor darstellte, gefolgt vom Faktor "Risk of Runoff" mit 9,7%. Abschnitt 1.3 - Informationssystem zur ökotoxikologischen Bewertung der Gewässergüte in Bezug auf Pflanzenschutzmitteleinträge aus der Landwirtschaft - Systemaufbau und Anwendungsmöglichkeiten (Tagungsbeitrag S. 61): Abschnitt 1.3 enthält einen kurzen Überblick über das Simulationssystem, generelle Anwendungsmöglichkeiten sowie Anwendungsbeispiele. Das Simulationssystem Ein wichtiger Aspekt für den Einsatz eines Simulationsmodells im Rahmen der Risikoabschätzung ist dessen einfache Anwendbarkeit in der Praxis. Dazu zählen die leichte Verfügbarkeit der benötigten Eingangsdaten, die Umsetzung des Modells in eine Softwareanwendung sowie die entsprechende Dokumentation des Systems. Abschnitt 1.4 - Informationssystem zur ökotoxikologischen Bewertung der Gewässergüte in Bezug auf Pflanzenschutzmitteleinträge aus der Landwirtschaft - Simulationsmodell und Systemaufbau (BMBF-Bericht, S. 67): In diesem Abschnitt wird das verwendete Modell, die "simplified formula for indirect loadings caused by runoff" (SFIL), der schematische Aufbau des Simulationssystems sowie der Ablauf des Datenverarbeitungsprozesses dargestellt. Abschnitt 1.5 - Benutzerhandbuch (BMBF-Bericht, S. 71): Das Benutzerhandbuch enthält Informationen über die Installation des Systems, die Erzeugung der benötigten Eingangsdaten, zur allgemeinen Arbeit mit dem System sowie Anwendungsbeispiele (Was-wäre-wenn-Analyse). Abschnitt 1.6 - Technische Dokumentation (BMBF-Bericht, S. 104): Die technische Dokumentation beschreibt die Struktur der Import-/Export-Datenbanktabellen des Simulators.
Quellen sind hochdiverse Lebensräume mit einer stark spezialisierten Fauna, wobei noch Lücken im Verständnis der besiedlungsrelevanten Faktoren für die aquatische Makrofauna bestehen, so dass die Arbeit einen klärenden Beitrag hinsichtlich anthropogener Veränderungen und ihrer Auswirkungen auf die Besied-lung leisten will. Basierend auf Daten von 334 Quellen aller Grundwasserlandschaften von Rheinland-Pfalz wurden die Quellen morphologisch und faunistisch bewertet. Außerdem wurden die Quellen des Landes morphologisch typisiert, Referenzquellen analysiert und ein Ansatz für die morphologische und faunistische Leitbildentwicklung gegeben. Außerdem wird ein selbst entwickeltes, kompaktes Kartier- und Bewertungsverfahren zur Quellstruktur vorgestellt, wo bislang noch ein Defizit bestand. Das Verfahren erfasst in einem Erfassungsbogen alle ökologisch bedeutsamen Strukturparameter und bewertet in einem 5-stufigen System. Quellen sind hochdiverse Lebensräume mit kleinen Populationen in isolierter Lage. Bei der Untersuchung der 310 Quellen wurden insgesamt 292 Arten bzw. höhere Taxa des Makrozoobenthos nachgewiesen. Es wurden 89 quellassoziierte Taxa gezählt, hiervon waren 24 krenobiont und 65 krenophil. Der Anteil der quellassoziierten Fauna an der Gesamtfauna lag bei über 30%. Es fanden sich 19 Erstnachweise für Rheinland-Pfalz, 9 besondere Nachweise (seltene Arten) und 19 Rote-Liste-Arten. Erstnachweise fanden sich in wenig bearbeiteten Dipterengruppen, vor allem den Psychodidae (13), Limoniidae (5) und ferner den Simu-liidae (1). Bei den Köcherfliegen wurden etliche seltene Arten gefunden, welche bisher in Rheinland-Pfalz kaum gefunden wurden. Häufigere krenobionte Taxa waren Crunoecia irrorata, Bythinella dunkeri, Niphar-gus sp., Pisidium personatum, Salamandra salamandra, Thaumalea sp., Agabus guttatus, Crenobia alpina, Oxycera sp. und Beraea maura. Die durchschnittliche Taxazahl pro Quelle betrug 11, die maximale 62 Taxa. Schüttung und Morphologie der Quellen waren von Naturraum und Grundwasserlandschaft abhängig, so schütteten etwa Buntsandsteinquellen ergiebiger und konstanter als Tonschieferquellen. Quellen spiegeln die Hydrologie ihrer Einzugsgebiete wider, so dass in verschiedenen hydrogeologischen Einheiten die chemischen Parameter differierten. In einzelnen Quellen schwankte die Hydrochemie jahreszeitlich aber nur gering. Der pH-Wert etwa war im Quellwasser versauerungsgefährdeter Gebiete niedrig (Hunsrück, Pfälzer-wald), der Nitratgehalt anthropogen bedingt hoch in intensiv landwirtschaftlich genutzten Räumen. Die morphologische Quelltypologie, welche sich in erster Linie auf gängige Quelltypen stützte, ergab in elf hydrogeologischen Quelltypenräumen vier Basisquelltypen und fünf geochemische Sondertypen. Die Wan-derquelle wurde neu hinzu genommen. Die landesweite Verteilung der Quelltypen ergab bei ungefassten Quellen 57 % Sicker-, 32 % Sturz-, 9 % Tümpel- und über 2 % Wanderquellen. Wanderquellen dürften aber noch öfter vorkommen. Relief und Substrateigenschaften waren entscheidende Faktoren für die Typologie, so dass etwa Sturzquellen vor allem im Buntsandstein häufig waren, während Sickerquellen im Tonschiefer des rheinischen Schiefergebirges dominierten. Es wurden 85 Strukturreferenzquellen als typische, naturnahe Beispiele für einzelne Quelltypenräume genannt. Etwa zwei Drittel aller Quellen waren strukturell beein-trächtigt bis stark geschädigt, 59 % gefasst. Fassungen, Verrohrungen und Betonverbau waren ökologisch besonders bedeutsam. In Regionen mit intensiver Landwirtschaft lagen generell die stärksten Schädigungen vor. Im Forst waren Quellen durch Nadelholzmonokulturen und in den Hochlagen pufferarmer Mittelgebirge durch Versauerung geschädigt. Hinsichtlich der Besiedlung ergaben sich Unterschiede zwischen den Naturräumen, beeinflusst durch die Faktoren Geologie, Hydrochemie, Schüttungsverhältnisse, Landnutzung im Einzugsgebiet sowie die Struk-turvielfalt an der Quelle. Strukturell unveränderte und unversauerte Quellen besaßen im Schnitt höhere Ta-xazahlen. Einzelne Faktoren mit Einfluss auf die Besiedlung wurden in ihrer Auswirkung getestet. In Quel-len ist die Versauerung grundsätzlich besiedlungsbeschränkend und überlagert strukturelle Faktoren. Bei niedrigen pH-Werten kommt es zu verminderten Taxazahlen, allerdings sind viele Quellorganismen offen-sichtlich an eine leichte Versauerung angepasst, da in sauren Quellen der Anteil der Quellfauna höher war. Außerdem ergab die Untersuchung, dass neue und intakte Fassungen weniger Taxa und Quelltaxa aufwiesen, während bei alten und verfallenen Fassungen oft eine hohe Quelltaxazahl vorlag, so dass diese als sekundär ökologisch wertvoll zu bezeichnen sind. Die Umfeldnutzung und die Größe des Quellbereichs sind ebenfalls wichtig, so dass Quellen in Laub- und Mischwald sowie in extensivem Grünland am besten besiedelt waren. Die stärksten statistischen Zusammenhänge mit der faunistischen Besiedlung ergaben sich bei den Bewer-tungsergebnissen des Strukturverfahrens, was zeigt, dass das Verfahren realistisch bewertet. Multivariate statistische Methoden dienten der Ermittlung von Besiedlungsfaktoren und der Leitbildentwick-lung. Es ergab sich eine unterschiedliche Besiedlung bei verschiedener Hydrogeologie und Hydrochemie sowie bei verschiedenen Quelltypen. Allerdings waren die Ergebnisse nicht eindeutig, so dass die Trennung der Quelltypen nur teilweise gelang und die Quelltypen von den Grundwasserlandschaften überlagert waren. Die Faunenunterschiede verschiedener Regionen waren größer als die einer Region, so dass morphologische Quelltypen faunistisch nur innerhalb einer hydrogeologischen Einheit von Bedeutung sind. Es wurden regionale faunistische Leitarten für vier Grundwasserlandschaften genannt, wobei sich auf wenige hochstete Quellarten beschränkt wurde. Die Arbeit zeigt, dass faunistisch orientierte Leitbilder nur unter Schwierigkeiten anzugeben sind und vollständige Typuszönosen für größere Gebiete grundsätzlich in Frage zu stellen sind. Sehr häufige grundsätzliche Leitarten für Quellen silikatischer Mittelgebirge in Rheinland-Pfalz sind Crunoecia irrorata und Bythinella dunkeri.
In the present study the flora and vegetation of Kakamega Forest, an East African rainforest in Western Kenya, was investigated. Kakamega Forest is highly degraded and fragmented and is an ideal model to study the anthropogenic influence on the forest inventory. The main focus was to analyse the influence of human impact on the vascular plant species composition. During five field phases in the years 2001 to 2004 a total of 19 study sites scattered over the whole forest including all fragments were investigated regarding forest structure, species composition and plant communities. The different forest sites were analysed by three different methods, phytosociological relevés, line-transect and with the variable-area transect method. The forest survey revealed about 400 taxa of vascular plant species, among them 112 trees, 62 shrubs, 58 climbers and 114 herbs. Several species are restricted to this forest in Kenya, but only one endemic species, the herb Commelina albiflora, could be discovered. About 15 species were recorded as new for Kenya and probably at least one species is new to science. Kakamega Forest is a unique mixture of Guineo-Congolian and Afromontane floral elements. About one half of the vascular plant species has its origin in the lowland forests of the Congo basin and one third originates from Afromontane habitats. The present study represents the first description of plant communities of Kakamega Forest. An analysis of different forest sites and plantations resulted in 17 different vegetation units. For the mature forest sites eleven plant communities were described. The young succession stage consists of two plant communities. Since the disturbance history and the age of the different plant communities could be estimated, their chronology was also described. An exception are the study sites within the plantations and afforested sites. The four defined vegetation units were not described as plant communities, because they are highly affected by man and do not belong to the natural succession of Kakamega Forest. Nevertheless, the regeneration potential of such forests was investigated. Due to the different succession stages the changing species composition along a disturbance gradient could be analysed. Most of Kakamega Forest consists of middle-aged secondary forest often surrounded by very young secondary forest. A true primary rainforest could not be found due the massive influence by over-exploitation. In all parts of the forest the anthropogenic influence could be observed. The forest develops towards a climax stage, but a 2 Abstract comparison with former surveys shows that the regeneration is much slower than expected. Human impact has to be avoided to allow the forest to develop into a primary-like rainforest. But several climax tree species might be missing anyway, because after the broad logging activities in the past there are not enough seed trees remaining. Species richness was highest in disturbed forest sites. A mixture of pioneer, climax and bushland species could be recorded there. Therefore, a high species richness is not a suitable indicator for forest quality. The proportion of climax species typical for Kakamega Forest would be a better measure. Compared to the main forest block the forest fragments do not lack in diversity as expected due to fragmentation processes. Instead, the only near primary forest could be recorded in Kisere, a northern fragment. The high amount of climax species and the more or less undisturbed forest structure is a result of the strict protection by the Kenya Wildlife Service and due to low logging activities. Differences in species composition between the studied forest sites are either a result of the different logging history or management regime rather than due to different edaphic or climatic conditions.
Dracaena L. (Ruscaceae) is a predominantly African genus with a smaller centre of diversity in South-East Asia. The taxonomy of the 29 species occurring in Central, East and Southern Africa was revised through phenetic and phylogenetic analyses of the morphology as well as through herbarium, literature and field studies. An infrageneric classification is proposed, in which four sub-genera are recognised for the first time. A taxonomic account for the study area incorporating an identification key, distribution maps and an IUCN Red List assessment is presented. Analysis of Dracaena phytogeography reveals that the Guineo-Congolian centre of endemism is the richest with 21 species while the Maputaland-Pondoland regional mosaic and the Guinea-Congolia/Sudania regional transition zone are the poorest, having only one species each. Investigation of the ecology of Dracaena in the Kakamega Forest, Kenya, shows that it plays an important role in the forest ecology and is an indicator of forest quality.
Der Einsatz von Computern hat in den vergangenen Jahrzehnten die Arbeitsweise von Sozialwissenschaftlern nachhaltig verändert. Es ist wohl nicht übertrieben zu behaupten, daß die Verbreitung und zunehmende Bedienungsfreundlichkeit von Rechenanlagen und statistischen Auswertungsprogrammen der empirischen Sozialforschung als vorherrschender Forschungsstrategie erst zum Durchbruch verholfen haben. Mit der steigenden Bedeutung von Computern im sozialwissenschaftlichen Forschungsprozeß ist auch eine neue Wissenschaftsdisziplin entstanden, die sich schwerpunktmaßig mit der Adaption und Anwendung von Werkzeugen und Methoden der Informatik in der sozialwissenschaftlichen Forschung beschäftigt: die Sozialwissenschaftliche Informatik. Das vorliegende Skript ist aus einer Reihe von Vorlesungen hervorgegangen, die wir für Studierende dieses Anwendungsfaches im Studiengang Diplom-Informatik an der Universität Koblenz-Landau gehalten haben. Im Gegensatz zu vielen anderen Einführungen in die uni- und multivariate Datenanalyse richtet sich die vorliegende Darstellung der statistischen Verfahren in erster Linie an fortgeschrittene Anwender der "klassischen" statistischen Methoden, die sich einen Überblick über die mathematischen Grundlagen der angewandten Methoden verschaffen und bei der Interpretation ihrer Analyseergebnisse die Fallstricke rezeptbuchartiger Einführungen vermeiden möchten. Dieses elektronische Dokument ist die geringfügig überarbeitete Fassung des 1994 erschienenen Buches, welches seit langem vergriffen ist.
We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query reasoning. Specifically, we present an approach to compute completed paths for database or XPath queries. The database schema and a query are transformed to disjunctive logic programs with default negation, using a description logic as an intermediate language. Our underlying deduction system, KRHyper, then detects if a query is satisfiable or not. In case of a satisfiable query, all completed paths -- those that fulfill all given constraints -- are returned as part of the computed models. The purpose of our approach is to dramatically reduce the workload on the query processor. Without the path completion, a usual XML query processor would search the database for solutions to the query. In the paper we describe the transformation in detail and explain how to extract the solution to the original task from the computed models. We understand this paper as a first step, that covers a basic schema/query reaÂsoning task by model-based deduction. Due to the underlying expressive logic formalism we expect our approach to easily adapt to more sophisticated problem settings, like type hierarchies as they evolve within the XML world.
The model evolution calculus
(2004)
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proof procedure for first-order logic, it has been used almost exclusively for propositional logic so far because of its highly inefficient treatment of quantifiers, based on instantiation into ground formulas. The recent FDPLL calculus by Baumgartner was the first successful attempt to lift the procedure to the first-order level without resorting to ground instantiations. FDPLL lifts to the first-order case the core of the DPLL procedure, the splitting rule, but ignores other aspects of the procedure that, although not necessary for completeness, are crucial for its effectiveness in practice. In this paper, we present a new calculus loosely based on FDPLL that lifts these aspects as well. In addition to being a more faithful litfing of the DPLL procedure, the new calculus contains a more systematic treatment of universal literals, one of FDPLL's optimizations, and so has the potential of leading to much faster implementations.
The Living Book is a system for the management of personalized and scenario specific teaching material. The main goal of the system is to support the active, explorative and selfdetermined learning in lectures, tutorials and self study. The Living Book includes a course on 'logic for computer scientists' with a uniform access to various tools like theorem provers and an interactive tableau editor. It is routinely used within teaching undergraduate courses at our university. This paper describes the Living Book and the use of theorem proving technology as a core component in the knowledge management system (KMS) of the Living Book. The KMS provides a scenario management component where teachers may describe those parts of given documents that are relevant in order to achieve a certain learning goal. The task of the KMS is to assemble new documents from a database of elementary units called 'slices' (definitions, theorems, and so on) in a scenario-based way (like 'I want to prepare for an exam and need to learn about resolution'). The computation of such assemblies is carried out by a model-generating theorem prover for first-order logic with a default negation principle. Its input consists of meta data that describe the dependencies between different slices, and logic-programming style rules that describe the scenario-specific composition of slices. Additionally, a user model is taken into account that contains information about topics and slices that are known or unknown to a student. A model computed by the system for such input then directly specifies the document to be assembled. This paper introduces the elearning context we are faced with, motivates our choice of logic and presents the newly developed calculus used in the KMS.