Refine
Year of publication
Document Type
- Doctoral Thesis (475)
- Part of Periodical (355)
- Bachelor Thesis (275)
- Diploma Thesis (196)
- Master's Thesis (190)
- Study Thesis (138)
- Article (23)
- Conference Proceedings (11)
- Other (8)
- Report (8)
Language
- German (1139)
- English (546)
- Multiple languages (4)
- Spanish (2)
Is part of the Bibliography
- no (1691) (remove)
Keywords
- Vorlesungsverzeichnis (55)
- Bildverarbeitung (16)
- Augmented Reality (15)
- Simulation (12)
- Computersimulation (11)
- Computergraphik (10)
- Pestizid (10)
- Robotik (10)
- Computergrafik (9)
- Computervisualistik (9)
Institute
- Institut für Computervisualistik (335)
- Fachbereich 4 (298)
- Zentrale Einrichtungen (176)
- Institut für Wirtschafts- und Verwaltungsinformatik (147)
- Institut für Informatik (145)
- Institut für Management (117)
- Fachbereich 7 (99)
- Institute for Web Science and Technologies (57)
- Institut für Softwaretechnik (54)
- Fachbereich 8 (47)
XDOMEA-Fachkonzept
(2006)
Die AG "IT-gestützte Vorgangsbearbeitung" des Kooperationsausschusses Automatisierte Datenverarbeitung (koopA ADV) hat zur Verwirklichung der Interoperabilität in der öffentlichen Verwaltung den Datenaustauschstandard XDOMEA entwickelt. Das vorliegende Dokument beschreibt das Fachkonzept zur XML-Schema-Spezifikation. Es wendet sich vorrangig an verantwortliche Organisatoren im IT-Bereich und an potentielle Anwender von XDOMEA. In diesem Dokument werden Hintergründe, Einsatzmöglichkeiten und Informationen zum Einsatzgebiet von XDOMEA erläutert, die Vorteile des Standards diskutiert und Erweiterungsmöglichkeiten vorgestellt. Weiters werden Beteiligungs- und Protokollinformationen spezifiziert und detailliert. Zu diesem Zweck werden verschiedene Szenarien erarbeitet, die anhand von Prozessmodellen die praktische Anwendung des Standards veranschaulichen. Gleichzeitig werden die Möglichkeiten fachspezifischer Erweiterungen im Standard verdeutlicht und Grenzen der Anwendung aufgezeigt.
Die Zeitschrift c't stellte in der Ausgabe 02/2006 einen Bausatz für einen kleinen mobilen Roboter vor, den c't-Bot, der diese Studienarbeit inspirierte. Dieser Bausatz sollte die Basis eines Roboters darstellen, der durch eine Kamera erweitert und mit Hilfe von Bildverarbeitung in der Lage sein sollte, am RoboCupSoccer-Wettbewerb teilzunehmen. Während der Planungsphase veränderten sich die Ziele: Statt einem Fußballroboter sollte nun ein Roboter für die neu geschaffene RoboCup-Rescue-League entwickelt werden. In diesem Wettbewerb sollen Roboter in einer für sie unbekannten Umgebung selbstständig Wege erkunden, bzw. Personen in dieser Umgebung finden. Durch diese neue Aufgabenstellung war sofort klar, dass der c't-Bot nicht ausreichte, und es musste ein neuer Roboter entwickelt werden, der mittels Sensoren die Umgebung wahrnehmen, durch eine Kamera Objekte erkennen und mit Hilfe eines integrierten Computers diese Bilder verarbeiten sollte. Die Entstehung dieses Roboters ist das Thema dieser Studienarbeit.
iProcess
(2006)
Das performante Rendering großer Volumendaten stellt trotz stetig gestiegener Prozessorleistungen nach wie vor hohe Anforderungen an jedes zugrunde liegende Visualisierungssystem. Insbesondere trifft dies auf direkte Rendering-Methoden mithilfe des Raycasting-Verfahrens zu, welches zum einen eine sehr hohe Qualität und Genauigkeit der generierten Bilder bietet, zum anderen aber aufgrund der dafür nötigen hohen Abtastrate relativ langsam ist. In dieser Studienarbeit wird ein Verfahren zur Beschleunigung des Raycasting- Visualierungsansatzes vorgestellt, das auf adaptivem Sampling beruht. Dabei werden statische Volumendaten zunächst in einem Vorverarbeitungsschritt einer Gradientenanalyse unterzogen, um so ein Interessensvolumen zu erstellen, das wichtige und weniger wichtige Bereiche kennzeichnet. Dieses Volumen wird anschließend von einem Raycaster genutzt, um adaptiv für jeden Abtaststrahl die Schrittweite zu bestimmen.
Currently more than 850 biological databases exist. The majority of biological knowledge is not in these databases but rather contained as free text in scientific literature. For systems biology tasks it is often necessary to integrate and extract data from heterogeneous databases and free text as well as to analyse the information in the context of experimental data. ONDEX is an integration framework which aims to address these challenges by combining features of database integration, text mining and sequence analysis with methods for graph-based data analysis and visualisation. The main topics of this diploma thesis are the redesign of the ONDEX backend, the development of a data exchange format, the development of a query environment and the allocation of Web services for data integration, data exchange and queries. These Web services allow backend workflow control from both local and remote workstations.
Die Leistungsfähigkeit moderner Graphikkarten steigt zur Zeit schneller an, als die von CPUs. Dabei kann diese Leistung nicht nur zur Darstellung von 3D Welten, sondern auch für allgemeine Berechnungen (GPGPU) verwendet werden. Diese Diplomarbeit untersucht daher, ob mit Hilfe der GPU Volumendaten schneller gefiltert werden können, als mit der CPU. Dies soll insbesondere am Beispiel von Rausch-Filtern, die auf Videosequenzen angewendet werden, untersucht werden. Dabei soll das Video als Volumen repräsentiert und mit Volumenfiltern gefiltert werden. So soll eine höhere Qualität und eine kürzere Berechnungszeit als mit herkömmlichen CPU und Frame-basierten Verfahren erreicht werden, insbesondere auch bei den z.Z. stark aufkommenden hochauflösenden HDTV-Standards. Das Framework soll jedoch nicht auf Videosequenz-Bearbeitung beschränkt sein, sondern so konzipiert werden, dass es z.B. in bestehende Volumenvisualisierungssysteme integriert werden kann. Das Ziel der Arbeit ist die Einarbeitung in die notwendigen theoretischen Grundlagen, daran anschließend die prototypische Implementierung des Frameworks mit abschließender Bewertung der erreichten Ergebnisse insbesondere der Geschwindigkeit im Vergleich zu existierenden Systemen.
Die moderne Bildgebung in der Medizin arbeitet oft mit Daten höheren Tonwertumfangs. So haben beispielsweise Bilder aus CT-Geräten einen Dynamikbereich von 12 Bit, was 4096 Graustufen entspricht. Im Bereich der photorealistischen Computergrafik und zunehmend in der Bildverarbeitung sind Bilddaten viel höheren Tonwertumfangs üblich, die als HDR-Bilder (High Dynamic Range) bezeichnet werden. Diese haben eine Bittiefe von 16, oftmals sogar 32 Bit und können dadurch sehr viel mehr Informationen speichern, als herkömmliche 8-Bit-Bilder. Um diese Bilder auf üblichen Monitoren darstellen zu können, muss man die Bildinformation auf den Tonwertumfang des Ausgabegerätes abbilden, was man als Tonemapping bezeichnet. Es existieren zahlreiche solcher Tonemapping-Verfahren, die sich durch ihre Arbeitsweise, Geschwindigkeit und visuelle Qualität unterscheiden lassen. Im Rahmen dieser Studienarbeit sollen Tonemapping-Verfahren auf medizinische Bilddaten angewendet werden. Dabei soll sowohl die visuelle Qualität, als auch die Geschwindigkeit im Vordergrund stehen.
Die Planung in Form eines visuellen Entwurfs ist schon seit jeher Bestandteil des Prozesses der Entwicklung von Artefakten aller Art. Heutzutage wird der visuelle Entwurf zukuenftiger Produkte mithilfe von CAD-Systemen umgesetzt. Im ersten Teil der Arbeit wird daher ein einfaches System implementiert und erlaeutert, das die grundlegenden Funktionen umsetzt, die auch in professionellen CAD-Systemen unerlaesslich sind. Im zweiten Teil werden ueber die Grundfunktionen hinaus ausgewaehlte Algorithmen der parametrischen Modellierung vorgestellt, die die Grundlage fuer die leistungsfaehigen, flexiblen und produktiven Systeme im modernen computer-unterstuetzten Entwurf bilden.
Program slicing is a technique for extracting that parts of a program which influence a previously defined, so-called slicing criterion. The latter mostly takes the form of a source code statement and a set of variables. Over the years an abundance of variants and enhancements has evolved from the original notion of a program slice. One of these developments is called chopping. A chop only contains those statements which are necessary to sustain the effects of a certain statement on another statement. Corresponding to the slicing criterion, the two statements have to be available in advance. This diploma thesis deals with the development of a service model in order to support the computation of a slice or a chop, given an original program and a slicing or chopping criterion respectively. A service model is a framework of communicating services so that each service performs a specific task within the concept of program slicing. The three main tasks, without considering further decomposition, are the mapping of program code into a representation suitable for slicing, the slicing itself and the display of the slice as code. The key benefit of service-orientation is that a service encapsulates the underlying algorithms. Hence the possibility of improving or substituting them without changing the interfaces of the related service relieves the developer of the need of adapting adjoining services. Thus, service-orientation fosters maintainability and improvability. Besides the definition of the services, this thesis also partially formally defines the data flow between them, i.e. their interfaces. It also features graph class definitions for most data structures. An accurate description of the interfaces encourages reuse, provided the services are of adequate granularity.
Interactive video retrieval
(2006)
The goal of this thesis is to develop a video retrieval system that supports relevance feedback. One research approach of the thesis is to find out if a combination of implicit and explicit relevance feedback returns better retrieval results than a system using explicit feedback only. Another approach is to identify a model to weight existing feature categories. For this purpose, a state-of-the-art analysis is presented and two systems implemented, which run under the conditions of the international TRECVID workshop. It will be a basis system for further research approaches in the field of interactive video retrieval. Amongst others, it shall participate in the 2006 search task of the mentioned workshop.
This work represents a quantitative analysis and visualisation of scar tissue of the left ventricular myocard. The scar information is shown in the late enhancement data, that highlights the avitale tissue with the help of a contrast agent. Through automatic methods, the scar is extracted from the image data and quantifies the size, location and transmurality. The transmurality shows a local measurement between the heart wall und the width of the scar. The developed methods help the cardiologist to analyse the measurement, the reason and the degree of the heart failure in a short time period. He can further control the results by several visual presentations. The deformation of the scar tissue over the heart cycle is implemented in another scientific work. A visual improvement of the deformation result which extracts the scar out of the data is aspired. The avital tissue is shown in a more comfortable way by eliminating the unnecessary image information and therefore improves the visual analysis of the pumping heart. Both methods show a detailed analysis of the scar tissue. This supports the clinic practical throughout the manual analysis.
Ein Interpreter für GReQL 2
(2006)
Im Rahmen dieser Diplomarbeit wird die Auswertungskomponente fuer die Graphanfragesprache GREQL 2, welche von Katrin Marchewka beschrieben wurde, entworfen, welche Anfragen diese Sprache interpretiert. Die Auswertungskomponente besteht aus den Bausteinen Auswerter, Parser, Optimierer, Funktionsbibliothek und dem Containerframework JValue. Der Parser wurde bereits von Katrin Marchewka implementiert, der Optimierer bleibt einer Anschlußarbeit vorbehalten. Innerhalb dieser Arbeit werden die Bausteine Auswerter, Funktionsbibliothek und JValue als Prototypen implementiert. Aufgrund der Erfahrungen mit der Auswertungskomponente fuer den GREQL 2-Vorgaenger GREQL 1 ist das Primaerziel dieser Arbeit der Entwurf einer sauberen, klaren, erweiterbaren und zukunftsfähigen Architektur, wobei die aktuellen Prinzipien der Softwaretechnik beüecksichtigt werden sollen.
Viele Probleme in der Aussagenlogik sind nur sehr aufwändig lösbar. Ist beispielsweise eine Wissensbasis gegeben, an die wir Anfragen stellen, wollen, so kann dies mitunter sehr mühsam sein. Um trotzdem effizient Anfragen beantworten zu können, hat sich die Vorgehensweise der Wissenskompilation entwickelt. Dabei wird die Lösung der Aufgabe in eine Offline- und eine Online-Phase aufgeteilt. In der Offline-Phase wird die Wissensbasis präkompiliert. Dabei wird sie in eine bestimmte Form umgewandelt, auf der sich die erwarteten Anfragen effizient beantworten lassen. Diese Transformation der Wissensbasis ist meist sehr aufwändig, muss jedoch nur einmalig durchgeführt werden. In der darauffolgenden Online-Phase können nun effizient Anfragen beantwortet werden. In dieser Diplomarbeit wird eine spezielle Normalform, die sich als Zielsprache der Präkompilation anbietet, untersucht. Außerdem wird die Präkompilation so in einzelne Schritte unterteilt, dass möglicherweise bereits nach einigen Teilschritten Anfragen beantwortet werden können.
This document presents a concept of a "web usage mining system". The main purpose of this work is to cover situations, in which high traffic will cause traditional approaches to collapse. Therefore, it presents several measuring methods and acquisition techniques, and provides strategies that allow pertinent storage and querying complexity even in high traffic domains.
In the last years the e-government concentrated on the administrative aspects of administrative modernisation. In the next step the e-discourses will gain in importance as an instrument of the public-friendliness and means of the e-democracy/e-participation. With growing acceptance of such e-discourses, these will fastly reach a complexity, which could not be mastered no more by the participants. Many impressions, which could be won from presence discussions, will be lacking now. Therefore the exposed thesis has the objective of the conception and the prototypical implementation of an instrument (discourse meter), by which the participants, in particular the moderators of the e-discourse, are capable to overlook the e-discourse at any time and by means of it, attain their discourse awareness. Discourse awareness of the present informs about the current action in the e-discourse and discourse awareness of the past about the past action, by which any trends become visible. The focus of the discourse awareness is located in the quantitative view of the action in the e-discourse. From the model of e-discourse, which is developed in this thesis, the questions of discourse awareness are resulting, whose concretion is the basis for the implementation of the discourse meter. The discourse sensors attached to the model of the e-discourse are recording the actions of the e-discourse, showing events of discourse, which are represented by the discourse meter in various forms of visualizations. The concept of discourse meter offers the possibility of discourse awareness relating to the present as monitoring and the discourse awareness relating to the past as query (quantitative analysis) to the moderators of the e-discourse.
Die Arbeit stellt die Frage nach den Effekten einer tertiären Präventionsmaßnahme in Bezug auf Schmerzbewältigung und Schmerzveränderung bei chronischen Lumbalgiepatienten. Im Rahmen der Überprüfung werden ausdifferenzierte psychophysische Interventionsmaßnahmen aus den Bereichen der Physiotherapie/Krankengymnastik und Psychologie eingesetzt. Die Gruppenunterteilung erfolgt in eine behandelte Versuchsgruppe und eine unbehandelte Warte-Kontrollgruppe mit jeweils 100 Probanden (N=200). Die Ergebnisse der tertiären Präventionsmaßnahme zeigen statistisch und klinisch relevante sowie positive Veränderungen in den Bereichen der Schmerzbewältigung und Schmerzveränderung.
Das Grundwasser unterliegt zahlreichen Nutzungen, gleichzeitig ist es Lebensraum einer artenreichen, hoch angepaßten Fauna. Verunreinigungen des Grundwassers mit Kontaminationen unterschiedlichsten Ursprungs stellen eine wachsende Problematik dar. Für das Monitoring von Altlastflächen werden bisher überwiegend physiko-chemische Methoden eingesetzt. Als weitere Möglichkeit bietet sich ein grundwasserfaunistisch begründetes Monitoring an. Da Freilanduntersuchungen über das Auftreten und die Verteilung von Grundwasserfauna in Altlastflächen bisher fehlen, widmet sich die vorliegende Dissertation dieser Thematik. Ein grundsätzliches Problem grundwasserfaunistischer Untersuchungen ist das Fehlen standardisierter Sammelmethoden. Daher erwies es sich als notwendig, die für die Untersuchung der Altlastflächen optimale Sammelmethode zu identifizieren. Insoweit liefert ein vorangehender Methodenvergleich die Grundlage für das Altlasten-Projekt. Ziel des Methodenvergleichs war es herauszufinden, ob die in Kluftgrundwasserleitern im Vergleich mit Lockergesteinsleitern festgestellte Artenarmut und die meist niedrigen Abundanzen habitat- oder auch methodenbedingt sind. Unter Verwendung eines phreatobiologischen Netzsammlers, einer pneumatischen Kolbenhubpumpe (System NIEDERREITER) und eines Quellnetzes wurden im Naturraum Pfälzerwald 16 Grundwasser-meßstellen (je 8 in den Kluftaquiferen des Buntsandsteins und den sandig-kiesigen Aquiferen der Talauen) und 8 Quellen, sowie 4 Grundwassermeßstellen in der pfälzischen Rheinebene hydrochemisch und faunistisch beprobt. Die Grundwässer beider Naturräume unterschieden sich sowohl hydrochemisch wie auch in ihrer faunistischen Zusammensetzung signifikant voneinander. Aus methodischer Sicht zeigten alle Sammeltechniken, mit Ausnahme der Quellbeprobung, trotz gewisser Unterschiede, qualitativ vergleichbare Ergebnisse. Ziel des Hauptteils der Arbeit " dem Altlasten-Projekt " war die Gewinnung erster empirischer Daten über das Vorkommen und die Verteilung von Grundwasserfauna in Abhängigkeit von Altlasten. Des weiteren sollten über die Korrelation der Grundwasserfauna mit hydrochemischen Parametern und den Koloniezahlen erste Ansätze für eine bioindikative Eignung gefunden werden. Basierend auf den Ergebnissen des methodischen Teils wurden unter Verwendung des phreatobiologischen Netzsammlers fünf in der pfälzischen Rheinebene liegende Untersuchungsstandorte (sechs Einzelschäden), die Kontaminationen unterschiedlicher Art aufwiesen, untersucht. Dabei handelte es sich um drei militärische und zwei industrielle Altlasten sowie eine Hausmülldeponie. Insgesamt wurden 91 Meßstellen, die sich im Zustrom, direkt im Schaden sowie im Abstrom befanden, zweimalig beprobt. Trotz der ausgeprägten Heterogenität der untersuchten Altlaststandorte sowie geringer Arten- und Taxazahlen und Abundanzen weisen die Verteilungsmuster auf Sensitivitäten der Fauna gegenüber Grundwasserverunreinigungen hin. In bezug auf einzelne Schadstoffe (LCKW, PCE, AKW) deuten sich schadstoffspezifische Verteilungsmuster der Fauna an. Das abundanteste Taxon der Untersuchung - die Nematoda - traten an den LCKW / PCE- kontaminierten Standorten nur in geringsten Abundanzen auf, ebenso wie die Parastenocaridae (Crustacea). Oligochaeta und einzelne Cyclopoida-Arten (Crustacea) scheinen hingegen deutlich höhere Konzentrationen dieses Schadstoffs zu tolerieren. Eine gegensätzliche Faunenverteilung wurde an den AKW- kontaminierten Standorten beobachtet. Hier zeigten sich die Nematoda wesentlich toleranter als alle anderen Taxa, ebenso wie die Parastenocaridae. Hingegen traten die Oligochaeta und Cyclopoida oberhalb geringer Konzentrationen nur noch sporadisch auf. Die abundanteste Cyclopoida-Art der gesamten Untersuchung, Diacyclops languidoides, konnte in Anwesenheit von AKW nicht nachgewiesen werden.
The impact of innovation in order to secure a company- existence is increasing. Especially in the field of information and communication systems, modified conditions, reduced product life cycles (in some markets e.g. in the software market down to a few months), and increased competition force many companies to adapt their innovation speed. Long-term profit will just be obtained by those companies that will manage to consolidate or further to enlarge their competitive position with technological innovation. The increasing relevance of new developments requires a separate treatment of technological innovations and demands for a technology and innovation management. Not every innovation is thereby a result of a single, spontaneous idea. Many innovations evolve from the integration or combination of already existing technologies. Especially in markets with insignificant growing rates, this kind of innovation is quite important. The purpose of this thesis is the identification of existing deficiencies within established recommendations for a strategic technology and innovation management concerning technological integration. Based on the technological innovation, a possibility for the exposure to the developed innovations will be formulated. Finally, this thesis provides an own approach about this kind of innovation that will be examined.
Fate and effects of insecticides in vegetated agricultural drainage ditches and constructed wetlands
(2006)
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.
The estimation of the potential risk of pesticide entries into streams - and therefore the potential risk for the ecosystems - is an important requirement for the planning of risk mitigation strategies. Especially on the landscape level the required event triggered sampling methods are conjuncted with considerable efforts with regard to input data, time and personnel. To circumvent these problems simulation models form a reasonable alternative. The aims of this work were (A) the development of a simulation tool for the estimation of pesticide entries into surface waters on the landscape level, and (B) the application of the simulator for an exposure- and risk-assessment as well as the assessment of negative effects of pesticides on aquatic communities. Section 1 - Exposure-, Risk- and Effects In sections 1.1 and 1.2 the simulation model was applied to a multitude of small and medium sized streams in an agricultural impacted study area around the city of Braunschweig, Germany. Section 1.3 gives an overview of the simulators field of application and the general system structure. Section 1.1 - Scenario based simulation of runoff-related pesticide entries into small streams on a landscape level (English publication, p. 27): In this paper we present a simulation tool for the simulation of pesticide entry from arable land into adjacent streams. We used the ratio of exposure to toxicity (REXTOX) model proposed by the OECD which was extended to calculate pesticide concentrations in adjacent streams. We simulated the pesticide entry on the landscape level at 737 sites in small streams situated in the central lowland of Germany. The most significant model parameters were the width of the no-application-zone and the degree of plant-interception. The simulation was carried out using eight different environmental scenarios, covering variation of the width of the no-application-zone, climate and seasonal scenarios. The highest in-stream concentrations were predicted at a scenario using no (0 m) buffer zone in conjunction with increased precipitation. According to the predicted concentrations, the risk for the aquatic communities was estimated based on standard toxicity tests and the application of a safety factor. Section 1.2 - Linking land use variables and invertebrate taxon richness in small and medium-sized agricultural streams on a landscape level (English publication, p. 50): In this study the average numbers of invertebrate species across an arable landscape in central Germany (surveys from 15 years in 90 streams at 202 sites) were assessed for their correlation with environmental factors such as stream width, land use (arable land, forest, pasture, settlement), soil type and agricultural derived stressors. The stress originating from arable land was estimated by the factor "risk of runoff", which was derived from a runoff-model (rainfall induced surface runoff). Multivariate analysis explained 39.9% of the variance in species number, revealing stream width as the most important factor (25.3%) followed by risk of runoff (9.7%). Section 1.3 - Informationssystem zur ökotoxikologischen Bewertung der Gewässergüte in Bezug auf Pflanzenschutzmitteleinträge aus der Landwirtschaft - Systemaufbau und Anwendungsmöglichkeiten (German publication, p. 61): Section 1.3 contains a short overview of the simulation tool, the field of application and some examples of use, covering the effects of the width of the buffer zone as well as the creation of risk maps on the landscape level. Section 2 - The simulation tool An important aspect for the employment of a simulation model in the context of risk assessment is the applicability in practice: the accessibility of the needed input data, the conversion of the mathematical model into a software application that can be run on any current personnel computer and also an appropriate end-user documentation of the system. Section 1.4 - Informationssystem zur ökotoxikologischen Bewertung der Gewässergüte in Bezug auf Pflanzenschutzmitteleinträge aus der Landwirtschaft - Simulationsmodell und Systemaufbau (German report, p. 67): In this section a general overview of the simulation model as well as the schematic system structure given. Section 1.5 - Benutzerhandbuch (German report, p. 71): The user manual contains details concerning the installation of the system, generation of the required input data and the general use of the system. Moreover it presents some application examples (what-if analyses). Section 1.6 - Technical documentation (German report, p. 104): The technical documentation describes internal structures and processes of the simulation system. Section 1.6 provides information regarding the required structure of input/output tables.
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.
Computers fundamentally changed the methods used by social scientists during the past decades. It is no exaggeration to state that the wide use and growing user-friendliness of computers and statistical analysis systems helped empirical social research as a subdiscipline to become mainstream. This made a new subdiscipline necessary which is mainly working on adapting and applying computer science methods for social research: social science informatics. This book originated from lecture courses given by the authors from the mid-1980s and developed for computer science students with a minor in social science. Unlike many other introductions to univariate and multivariate data analysis, this book is addressed to advanced scholars and students who apply "classical" statistical methods and who want to get an overview of the mathematical foundations of the methods they apply and who want to avoid the pitfalls of cookbook-like introduction when they interpret their results. The electronic document is a slightly revised version of the printed version of 1994 which has been out of stock for many years.
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.