Refine
Year of publication
Document Type
- Doctoral Thesis (470)
- Part of Periodical (354)
- Bachelor Thesis (275)
- Diploma Thesis (196)
- Master's Thesis (190)
- Study Thesis (138)
- Article (14)
- Conference Proceedings (12)
- Other (8)
- Report (8)
Language
- German (1137)
- English (534)
- Multiple languages (4)
- Spanish (2)
- (1)
Keywords
- Vorlesungsverzeichnis (55)
- Bildverarbeitung (16)
- Augmented Reality (15)
- Simulation (12)
- Computergraphik (10)
- Computersimulation (10)
- Pestizid (10)
- Robotik (10)
- Computergrafik (9)
- Computervisualistik (9)
Institute
- Institut für Computervisualistik (336)
- Fachbereich 4 (298)
- Zentrale Einrichtungen (176)
- Institut für Wirtschafts- und Verwaltungsinformatik (147)
- Institut für Informatik (143)
- Institut für Management (116)
- Fachbereich 7 (99)
- Institute for Web Science and Technologies (57)
- Institut für Softwaretechnik (54)
- Fachbereich 8 (47)
The goal of this bachelor thesis was to add an image processing step to the music recognition software AudiVeris, in order to extract data even from faulty music sheet images. The procedure starts with a binarization using a regional version of Otsu's method. Following this the music sheet is searched for possible bendings, similar to those a hardcover book would cause. To achieve this the Hough transform is used for line detection and the k-means algorithm for cluster detection. Thereafter the music image is straightened using the discovered curvature.
The transport of pesticides from agricultural land into surface waters via diffuse entry pathways such as runoff is a major threat to aquatic ecosystems and their communities. Although certain risk mitigation measures are currently stipulated during pesticide product authorisation, further approaches might be needed to manage hot spots of pesticide exposure. Such a management is, for example, required by the European Union- directive for the sustainable use pesticides (2009/128/EC).
The need for mitigation measures was investigated within the present thesis at stream sites draining an arable and a vineyard region in Germany by characterising pesticide exposure following edge-of-field runoff and (expected) effects on the aquatic macroinvertebrates. The results of these field studies showed, that streams in both regions were exposed to pesticide concentrations suggesting effects on the macroinvertebrate community. In the arable region the observed toxicity was mainly attributed to the insecticides lambda-cyhalothrin (in the water-phase samples) and alpha-cypermethrin (in the suspended particle samples), whereas in the vineyard region fungicides were most important. Furthermore stream water and suspended particles sampled in the vineyard region showed critical copper concentrations, which might cause ecotoxicological effects in the field. In addition to pesticide exposure, in the arable region also the effects on aquatic macroinvertebrates were assessed in the field. Generally, invertebrate fauna was dominated by pesticide-tolerant species, which suggested a high pesticide exposure at almost all sites. The elevated levels of suspended particle contamination in terms of maximum toxic units per sample (logTUMax > -2) reflect also this result. At two sites that received high aqueous-phase entries of the insecticide lambda-cyhalothrin (logTUMax > -0.6), the abundance and number of sensitive species (indicated by the SPEcies At Risk index) decreased during the pesticide application period. In contrast, at sites characterised by low water-phase toxicity (logTUMax < -3.5), no acute significant negative effects on macroinvertebrates were observed. In conclusion these data showed that in both regions the implementation of risk mitigation measures is needed to protect the aquatic communities.
To mitigate runoff-related pesticide entries, riparian buffer strips are often recommended. However, the mitigating influence with increasing buffer strip width could not be demonstrated for riparian buffers which were already present in the arable and vineyard region. This result was attributed in the vineyard region to the high number of paved field paths associated with artificial erosion rills, which concentrate and rapidly transport receiving edge-of-field runoff in stream direction. Consequently the pesticide reduction efficiency of buffer strips is considerably reduced. We assumed that a similar process occurred in the arable region, due to a high number of erosion rills, which complicate a laminar sheet flow of edge-of-field runoff through the riparian buffer strip. Additionally also the presence of ephemeral drainage ditches, which led surface runoff from the agricultural fields to the streams may have contributed to observed pesticide entries despite wide buffers.
Effective risk mitigation measures should address these identified most important input pathways in the study areas. As possible measures the implementation of grassed field paths and vegetated ditches or wetlands were suggested. In general also the improvement of currently present riparian buffer strips regarding their efficiency to reduce pesticide runoff entries should be taken into account. In conclusion the results of the field studies underline the importance that risk mitigation measures are identified specifically for the respective pollution situation in stream catchments. To facilitate this process, a user guide was developed within the present thesis for identifying appropriate mitigation measures at high-risk sites. Based on a survey of exposure relevant landscape parameter a set of risk mitigation measures is suggested that focus on the specific pollution situation. Currently the guide includes 12 landscape- and six application-related measures and presents an overview of these measures" efficiency to reduce pesticide entries via runoff and spray drift, their feasibility and expected acceptability to farmers. Based on this information the user can finally choose the mitigation measures for implementation. The present guide promotes the practical implementation of appropriate risk mitigation measures in pesticide-polluted streams, and thus the protection of aquatic stream communities against pesticide entries.
Die laserinduzierte Plasmaspektroskopie (”Laser Induced Breakdown Spectroscopy”, im Folgenden auch ”LIBS” genannt) stellt eine schnelle und berührungslose Messmethode zur Elementanalyse von festen, flüssigen oder gasförmigen Stoffen unter normalen Umgebungsbedingungen ohne besondere Probenvorbereitung dar. Dazu wird ein gepulster Laser, dessen Intensität einen bestimmten Grenzwert überschreiten muss, auf eine Probe fokussiert. Das dort bestrahlte Material verdampft schlagartig und es bildet sich bei einer Temperatur von rund 10000 K ein Plasma aus. Die angeregten Atome und Ionen im Plasma strahlen bei der Rückkehr in energetisch niedrigere Zustände ein charakteristisches optisches Emissionsspektrum ab, welches über eine schnelle spektroskopische Analyse die Elementzusammensetzung des untersuchten Materials liefert. LIBS bietet in diesem Fall auch die Möglichkeit, ein unkompliziertes und bildgebendes Messverfahren aufzubauen, indem Elementverteilungen auf einer topographischen Oberfläche analysiert werden, um beispielsweise Materialübergänge, Einschlüsse oder Verschmutzungen sicher zu detektieren. Bei unebenen Oberflächen wird eine ständige Anpassung des Laserfokus an die Probenkontur benötigt, da die notwendige Intensität zur Erzeugung des Plasmas nur im Fokus aufgebracht werden kann. Als Grundlage dafür dient ein neu entwickelter Fokussieralgorithmus, der ohne jegliche Zusatzgeräte auskommt, und die Reproduzierbarkeit von LIBS-Messungen deutlich steigern kann, da die Messungen kontrolliert im Fokus stattfinden. Durch ihn ergeben sich neue Möglichkeiten des sogenannten „Element-Mappings", dem Erzeugen von Elementlandkarten, welche die Elementverteilungen in Falschfarben grafisch darstellen. Dabei ist das System nun nicht mehr auf eine ebene Oberfläche angewiesen, sondern kann beliebige Strukturen, auch mit scharfen Kanten und Löchern, sicher vermessen. Als Ergebnis erhält man ein flächiges Höhenprofil, welches zusätzlich die Elementinformationen für jeden Messpunkt beinhaltet. Dies erleichtert es dem Benutzer, gezielt Punkte von Interesse schnell wiederzufinden und zu analysieren. Die vorliegende Arbeit beschreibt die Entwicklung eines bildgebenden Low-Power-LIBSSystems mit niedriger Pulsenergie und hoher Pulsrate, welches sich mit dem dazugehörigen
Fokussieralgorithmus automatisiert an unebene Probenoberflächen anpassen kann. Als Ergebnisse werden die Analysen von ausgewählten metallhaltigen, geologischen, organischen und archäologischen Proben bzw. Fundstücken gezeigt.
Das Ziel der vorliegenden Bachelorarbeit war die Untersuchung
verschiedener Methoden zur Ermittlung und Verbesserung der User
Experience eines Softwareproduktes einer mittelständigen Firma. Hierzu
wurde zunächst ein geeignetes Designkonzept und dazu passende Methoden
der Evaluation und des Testings ermittelt und dann auf das Produkt
angewendet. Mit dem Leitgedanken des User-Centered-Designs wurden
Methoden ausgewählt, welche die Nutzerinnen/Nutzer ins Zentrum der
Untersuchung stellten.
So konnte mit Hilfe der Nutzerinnen/Nutzer des Produktes
herausgefunden werden, wie die User-Experience ausfällt und wie diese
noch verbessert werden kann. In einer Fokusgruppe sind Prototypen für
die Verbesserung und Weiterentwicklung der Software entstanden.
Diese Bachelorarbeit ist sowohl für Sofwaredesignerinnen/-designer,
als auch für Studentinnen/Studenten der Mensch-Maschine-Kommunikation
interessant.
Die vorliegende Arbeir zeichnet eine Kategorisierung der im deutschen Fernsehen und Rundfunk vorhandenen Gewinnspiele auf. Beginnend mit der Erläuterung von grundlegenden Begrifflichkeiten und dem Beleuchten der Verfahren zur Teilnehmerauswahl wird der Leser an das Thema der Arbeit herangeführt. Fortgesetzt wird mit der eigentlichen Darstellung der momentan vorhandenen Gewinnspielformate. Abschließend gibt die Arbeit eine erste Festlegung und Aufrechnung einer Gewinnwahrscheinlichkeit an.
The lasting hype around the mobile internet and the related technology of the mobile applications seem not to drop off. The immense economic potential of this market leads the businesses and ventures to continuously find new ways of monetization. The underlying causes of that phenomenon are rarely challenged. Scientific research in the field of "ubiquitous mobile" has not yet developed a clear overall picture of the causes and effect chains. Attempts of deriving causes by studies in related mass media such as the computer or the internet have been discussed controversially. By combining the research streams of media motive usage and the customer retention, this paper will present a new research model. Based on a quantitative survey in the German speaking the gained data proves the motives for mobility, information gathering and entertainment purposed to be the most important drivers of customer satisfaction in mobile applications. The paper also highlights a significant correlation between the customer satisfaction and the other determinants of customer retention.
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.
Many pharmaceuticals (e.g. antibiotics, contrast media, beta blockers) are excreted unmetabolized and enter wastewater treatment plants (WWTPs) through the domestic sewage system. Research has shown that many of them are not effectively removed by conventional wastewater treatment and therefore are detected in surface waters. Reverse osmosis (RO) is one of the most effective means for removing a wide range of micropollutants in water recycling. However, one significant disadvantage is the need to dispose the resultant RO concentrate. Due to the fact that there are elevated concentrations of micropollutants in the concentrate, a direct disposal to surface water could be hazardous to aquatic organisms. As a consequence, further treatment of the concentrate is necessary. In this study, ozonation was investigated as a possible treatment option for RO concentrates. Concentrate samples were obtained from a RO-membrane system which uses municipal WWTP effluents as feeding water to produce infiltration water for artificial groundwater recharge. In this study it could be shown that ozonation is efficient in the attenuation of selected pharmaceuticals, even in samples with high TOC levels (46 mg C/L). Tests with chlorinated and non-chlorinated WWTP effluent showed an increase of ozone stability, but a decrease of hydroxyl radical exposure in the samples after chlorination. This may shift the oxidation processes towards direct ozone reactions and favors the degradation of compounds with high apparent second order rate constants. Additionally it might inhibit an oxidation of compound predominantly reacting with OH radicals. Ozone reaction kinetics were investigated for beta blockers (acebutolol, atenolol, metoprolol and propranolol) which are permanently present in WWTP effluents. For beta blockers two moieties are common which are reactive towards ozone, a secondary amine group and an activated aromatic ring. The secondary amine is responsible for a pH dependence of the direct ozone reaction rate, since only the deprotonated amine reacts very quickly. At pH 7 acebutolol, atenolol and metoprolol reacted with ozone with an apparent second order rate constant of about 2000 M-1 s-1, whereas propranolol reacted at ~1.0 105 M-1 s-1. The rate constants for the reaction of the selected compounds with OH radicals were determined to be 0.5-1.0 x 1010 M-1 s-1. Oxidation products (OPs) formed during ozonation of metoprolol and propranolol were identified via liquid chromatography (LC) tandem mass spectrometry. Ozonation led to a high number of OPs being formed. Experiments were carried out in MilliQ-water at pH 3 and pH 8 as well as with and without the radical scavenger tertiary butanol (t-BuOH). This revealed the influence of pH and the OH radical exposure on OP formation. The OH radical exposure was determined by adding the probe compound para-chlorobenzoic acid (pCBA). Metoprolol: To define the impacts of the protonated and non protonated metoprolol species on OH radical formation, the measured pCBA attenuation was compared to modeled values obtained by a simplified kinetic model (Acuchem). A better agreement with the measured results was obtained, when the model was based on a stoichiometric formation of OH radical precursors (O2-) during the primary ozone reaction of metoprolol. However, for reaction of a deprotonated molecule (attack of the aromatic ring) a formation of O2- could be confirmed, but an assumed stoichiometric O2- formation over-estimated the formation of OH radicals in the system. Analysis of ozonated raw wastewater and municipal WWTP effluent spiked with 10 μM metoprolol exhibited a similar OP formation pattern as detected in the reaction system at pH 8 without adding radical scavenger. This indicated a significant impact of OH radical exposure on the formation of OPs in real wastewater matrices. Propranolol: The primary ozonation product of propranolol (OP-291) was formed by an ozone attack of the naphthalene ring, which resulted in a ring opening and two aldehyde moieties being formed. OP-291 was further oxidized to OP-307, presumably by an OH radical attack, which was then further oxidized to OP-281. Reaction pathways via ozone as well as OH radicals were proposed and confirmed by the chemical structures identified with MS2 and MS3 data. It can be concluded that ozonation of WWTP effluent results in the formation of a high number of OPs with an elevated toxic potential (i.e. formation of aldehydes).
This minor thesis shows a way to optimise a generated oracle to achieve shorter runtimes. Shorter runtimes of test cases allows the execution of more test cases in the same time. The execution of more test cases leads to a higher confidence in the software-quality. Oracles can be derived from specifications. However specifications are used for different purposes and therefore are not necessarily executable. Even if the are executable it might be with only a high runtime. Those two facts come mostly from the use of quantifiers in the logic. If the quantifier-range is not bounded, respectively if the bounds are outside the target language-datatype-limits, the specification is too expressive to be exported into a program. Even if the bounds inside the used datatype-limits, the quantification is represented as a loop which leads to a runtime blowup, especially if quantifiers are nested. This work explains four different possibilities to reduce the execution time of the oracle by manipulating the quantified formular whereas this approach is only applicable if the quantified variables are of type Integer.
E-KRHyper is a versatile theorem prover and model generator for firstorder logic that natively supports equality. Inequality of constants, however, has to be given by explicitly adding facts. As the amount of these facts grows quadratically in the number of these distinct constants, the knowledge base is blown up. This makes it harder for a human reader to focus on the actual problem, and impairs the reasoning process. We extend E-Hyper- underlying E-KRhyper tableau calculus to avoid this blow-up by implementing a native handling for inequality of constants. This is done by introducing the unique name assumption for a subset of the constants (the so called distinct object identifiers). The obtained calculus is shown to be sound and complete and is implemented into the E-KRHyper system. Synthetic benchmarks, situated in the theory of arrays, are used to back up the benefits of the new calculus.
In automated theorem proving, there are some problems that need information on the inequality of certain constants. In most cases this information is provided by adding facts which explicitly state that two constants are unequal. Depending on the number of constants, a huge amount of this facts can clutter the knowledge base and distract the author and readers of the problem from its actual proposition. For most cases it is save to assume that a larger knowledge base reduces the performance of a theorem prover, which is another drawback of explicit inequality facts. Using the unique name assumption in those reasoning tasks renders the introduction of inequality facts obsolete as the unique name assumptions states that two constants are identical iff their interpretation is identical. Implicit handling of non-identical constants makes the problems easier to comprehend and reduces the execution time of reasoning. In this thesis we will show how to integrate the unique name assumption into the E-hyper tableau calculus and that the modified calculus is sound and complete. The calculus will be implemented into the E-KRHyper theorem prover and we will show, by empiric evaluation, that the changed implementation, which is able to use the unique name assumption, is superior to the traditional version of E-KRHyper.
SUMMARY
Buildings and infrastructures characterize the appearance of our cultural landscapes and provide essential services for the human society. However, they inevitably impact the natural environment e.g. by the structural change of habitats. Additionally, they potentially cause further negative environmental impacts due to the release of chemical substances from construction materials. Galvanic anodes and organic coatings regularly used for corrosion protection of steel structures are building materials of particular importance for the transport infrastructure. In direct contact with a water body or indirectly via the runoff after rainfall, numerous chemicals can be released into the environment and pose a risk to aquatic organisms. Up to now, there is no uniform investigation and evaluation approach for the assessment of the environmental compatibility of building products. Furthermore, galvanic anodes and organic coatings pose particular challenges for their ecotoxicological characterization due to their composition. Therefore, the objective of the presented thesis was the ecotoxicological assessment of emissions from galvanic anodes and protective coatings as well as the development of standardized assessment procedures for these materials.
The possible environmental hazard posed by the use of anodes on offshore installations was investigated on three trophic levels. To ensure a realistic and reliable evaluation, the experiments were carried out in natural seawater and under natural pH conditions. Moreover, the anode material and its main components zinc and aluminum were exposed while simulating a worst-case scenario. The anode material examined caused a weak inhibition of algae growth; no acute toxicity was observed on the luminescent bacteria and amphipods. However, an increase of aluminum and indium levels in the crustacean species was found. On the basis of these results, no direct threat has been identified for marine organisms from the use of galvanic aluminum anodes. However, an accumulation of metals in crustaceans and a resulting entry into the marine food web cannot be excluded.
The environmental compatibility of organic coating systems was exemplarily evaluated using a selection of relevant products based on epoxy resins (EP) and polyurethanes. For this purpose, coated test plates were dynamically leached over 64 days. The eluates obtained were systematically analyzed for their ecotoxicological effects (acute toxicity to algae and luminescent bacteria, mutagenic and estrogenic effects) and their chemical composition. In particular, the EP-based coatings caused significant bacterial toxicity and estrogen-like effects. The continuously released 4-tert-butylphenol was identified as a main contributor to these effects and was quantified in concentrations exceeding the predicted no effect concentration for freshwater in all samples. Interestingly, the overall toxicity was not governed by the content of 4-tert-butylphenol in the products but rather by the release mechanism of this compound from the investigated polymers. This finding indicates that an optimization of the composition can result in the reduction of emissions and thus of environmental impacts - possibly due to a better polymerization of the compounds.
Coatings for corrosion protection are exposed to rain, changes in temperature and sun light leading to a weathering of the polymer. To determine the influence of light-induced aging on the ecotoxicity of top coatings, the emissions and associated adverse effects of UV-irradiated and untreated EP-based products were compared. To that end, the investigation of static leachates was focused on estrogenicity and bacterial toxicity, which were detected in the classic microtiter plate format and in combination with thin-layer plates. Both materials examined showed a significant decrease of the ecotoxicological effects after irradiation with a simultaneous reduction of the 4-tert-butylphenol emission. However, bisphenol A and various structural analogues were detected as photolytic degradation products of the polymers, which also contributed to the observed effects. In this context, the identification of bioactive compounds was supported by the successful combination of in-vitro bioassays with chemical analysis by means of an effect-directed analysis. The presented findings provide important information to assess the general suitability of top coatings based on epoxy resins.
Within the scope of the present study, an investigation concept was developed and successfully applied to a selection of relevant construction materials. The adaptation of single standard methods allowed an individual evaluation of these products. At the same time, the suitability of the ecotoxicological methods used for the investigation of materials of unknown and complex composition was confirmed and the basis for a systematic assessment of the environmental compatibility of corrosion protection products was created. Against the background of the European Construction Products Regulation, the chosen approach can facilitate the selection of environmentally friendly products and contributes to the optimization of individual formulations by the simple comparison of different building materials e.g. within a product group.
Due to the increasing pervasiveness of the mobile web, it is possible to send and receive mails with mobile devices. Content of digital communication should be encrypted to prevent eavesdropping and manipulation. Corresponding procedures use cryptographic keys, which have to be exchange previously. It has to be ensured, that a cryptographic key really belongs to the person, who it is supposedly assigned to. Within the scope of this thesis a concept for a smartphone application to exchange cryptographic keys was designed. The concept consists of a specification of a component-based framework, which can be used to securely exchange data in general. This framework was extended and used as the basis for a smartphone application. The application allows creating, managing and exchanging cryptographic keys. The Near Field Communication is used for the exchange. Implemented security measures prevent eavesdropping and specific manipulation. In the future the concept and the application can be extended and adjusted to be used in other contexts.
The implementation of physiological indicators reflecting the response of organisms to changes in their environment is assumed to provide potential benefits for ecological studies. By analysing the physiological condition of organisms in freshwater ecological studies rather than their ultimate effects, physiological indicators can contribute to a faster assessment of effects than using traditional ecological indicators, such as the evaluation of the benthic community structure or the determination of the reproductive success of organisms. This can increase the effectiveness of environmental health assessment and experimental ecology. In this respect the thesis focuses on physiological measures characterizing the energetic condition and energy consumption (the concentration of energy storage compounds, the adenylate energy charge, the energy consumption in vivo), as well as individual growth (RNA:DNA ratio) of organisms. Although these sub-individual indicators are commonly applied in marine ecology and more recently in ecotoxicology, they have been rarely applied in freshwater ecology to date. With respect to an increased use of physiological indicators in freshwater ecological studies, the objectives of the present thesis are twofold. First, it highlights the potential of assessing the individual fitness by means of physiological indicators in freshwater ecological studies. For that reason, Chapter 2 provides the basic assumptions as well as the theoretical and methodological fundamentals necessary for the application of physiological indicators within freshwater ecology and, furthermore, points out their applicability by several case studies. As second objective, the thesis addresses selected ecophysiological aspects of native and non-native freshwater amphipods, which are considered suitable candidates for the determination of physiological indicators in ecological studies due to their function as keystone species within aquatic habitats. The studies presented in Chapters 3−5 of the thesis provide information on (i) species- and sex-specific seasonal variations within the energetic condition of natural Gammarus populations (G. fossarum, G. pulex), (ii) differences in metabolic activity and behaviour between different amphipod species (G fossarum, G. roeselii and D. villosus), as well as (iii) the direct effects of ambient ammonia on the physiology and behaviour of D. villosus. The fundamental conclusions drawn from the conducted field and laboratory studies, as well as their relevance and general implications for the application of physiological indicators in freshwater ecological research are discussed in Chapter 6.
The goal of this master thesis was to develop a CRM system for the Assist team of CompuGroup Medical that is aiding in integrating open innovation into the development of the Minerva 2.0 software. To achieve this, CRM methodology has been combined with Social Networking Systems, following the research of Lin and Chen (2010, pp. 11 – 30). To achieve the predefined goals literature has been analyzed on how to successfully im- plement a CRM system as well as an online community. Subsequently the results have been applied to the development of the Minerva Community according to the guidelines of Design Science suggested by Hevner et al. (2004, pp. 75 – 104). The finished product is designed based on customer and management requirements and evaluated from a customer and company perspective.
Cheops für VNUML - Erstellen und beobachten einer VNUML-Simulation per MausklickrnEs wird untersucht, wie Virtual Network User Mode Linux (VNUML), eine Software zur Simulation von Rechnernetzen, die aus virtualisierten Linux Instanzen aufgebaut werden, für den Benutzer besser handhabbar gemacht werden kann. Mit dem Linux-Paket VNUML, welches die dateigesteuerte Konfiguration virtueller Betriebssysteminstanzen ermöglicht, erhält der Anwender die Möglichkeit, komplexe Netzwerktopologien zu simulieren. Verschiedene Netzwerküberwachungsprogramme werden auf ihre Fähigkeit hin untersucht, eine laufende VNUML-Simulation zu erfassen und sinnvoll abzubilden. Dabei soll der Benutzer einen schnellen Überblick über die Funktion der simulierten Netzwerkumgebung, sowie nach Möglichkeit auch über deren Topologie erhalten können. Das Programm Cheops, welches der Netzwerküberwachung dient, wird erweitert, um nicht nur eine laufende Simulation abbilden und beobachten zu können, sondern darüber hinaus in der Lage zu sein, in jedem Schritt der Arbeit mit VNUML eingesetzt zu werden.
Das erweiterte Programm gestattet sowohl die Erstellung der VNUML-Topologiedatei, als auch das Starten und Steuern der Simulation. Damit werden der lange Kommandozeilenaufruf, sowie das Editieren der Konfigurationsdatei, durch einfach zu benutzende Funktionen in einer grafischen Oberfläche (GUI) ersetzt. Zur schnellen Kontrolle der vollen Funktionsfähigkeit der gestarteten Simulation sind keine weiteren Eingaben oder Konfigurationen nötig. Ebenso kann eine differenzierte Beobachtung verschiedener Netzwerkdienste während der Laufzeit der Simulation erfolgen. Die hierzu nötigen Werkzeuge sind im Paket Cheops für VNUML ebenfalls enthalten und speziell zur Anwendung mit VNUML-Simulationen vorkonfiguriert.
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.
Hyper tableaux with equality
(2007)
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the hyper tableau calculus. It is based on splitting of positive clauses and an adapted version of the superposition inference rule, where equations used for paramodulation are drawn (only) from a set of positive unit clauses, the candidate model. The calculus also features a generic, semantically justified simplification rule which covers many redundancy elimination techniques known from superposition theorem proving. Our main results are soundness and completeness, but we briefly describe the implementation, too.
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.