TY - CHAP A1 - Herre, Heinrich A1 - Hummel, Axel T1 - A paraconsistent semantics for generalized logic programs N2 - We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88]. KW - paraconsistency KW - generalized logic programs KW - multi-valued logic Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41496 ER - TY - CHAP A1 - Goltz, Hans-Joachim A1 - Pieth, Norbert T1 - A tool for generating partition schedules of multiprocessor systems N2 - A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used. Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41556 ER - TY - CHAP A1 - Hanus, Michael A1 - Koschnicke, Sven T1 - An ER-based framework for declarative web programming N2 - We describe a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore and most important, the implementation ensures the consistency of the database w.r.t. the data dependencies specified in the ER model, i.e., updates initiated by the user cannot lead to an inconsistent state of the database. In order to generate a high-level declarative implementation that can be easily adapted to individual customer requirements, the framework exploits previous works on declarative database programming and web user interface construction in Curry. Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41447 ER - TY - BOOK A1 - Smirnov, Sergey A1 - Reijers, Hajo A. A1 - Nugteren, Thijs A1 - Weske, Mathias T1 - Business process model abstraction : theory and practice N2 - Business process management aims at capturing, understanding, and improving work in organizations. The central artifacts are process models, which serve different purposes. Detailed process models are used to analyze concrete working procedures, while high-level models show, for instance, handovers between departments. To provide different views on process models, business process model abstraction has emerged. While several approaches have been proposed, a number of abstraction use case that are both relevant for industry and scientifically challenging are yet to be addressed. In this paper we systematically develop, classify, and consolidate different use cases for business process model abstraction. The reported work is based on a study with BPM users in the health insurance sector and validated with a BPM consultancy company and a large BPM vendor. The identified fifteen abstraction use cases reflect the industry demand. The related work on business process model abstraction is evaluated against the use cases, which leads to a research agenda. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 35 Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41782 SN - 978-3-86956-054-0 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - CHAP A1 - Banda, Gourinath A1 - Gallagher, John P. T1 - Constraint-based abstraction of a model checker for infinite state systems N2 - Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver. Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41516 ER - TY - BOOK A1 - Klingovsky, Ulla A1 - Reich, Ria A1 - Schmidt-Wenzel, Alexandra T1 - Die Lehrhospitation : ein hochschuldidaktisches Instrument im Professionalisierungsprozess von Hochschullehrenden T1 - Lehrhospitation : a didactical tool to promote the process of professionalisation of teachers in higher education N2 - In diesem Beitrag werden das hochschuldidaktische Instrument der „Lehrhospitation“ und seine Relevanz im Professionalisierungsprozess von Hochschullehrenden als subjektwissenschaftlich begründetes vorgestellt. Damit richtet sich der Beitrag an Praktikerinnen und Praktiker in der hochschuldidaktischen Weiterbildung, deren Gegenstand die Professionalisierung des Lehrhandelns von Hochschullehrenden ist sowie an interessierte Hochschullehrende, die ihre Handlungsoptionen in der Lehre professionalisieren möchten. N2 - This publication focuses on „Lehrhospitation“ as an instrument to audit and evaluate teaching in higher education. In doing so, it is figured how the implementation of it has an impact on the professionalisation of teaching staff. This contribution addresses on one hand practitioners who train the teachers in higher education and on the other hand interested teachers in higher education themselves, who are looking for improvement to their teaching - as a way of professionalisation. T3 - Brandenburgische Beiträge zur Hochschuldidaktik - 1 KW - Professionalisierung der Hochschullehre KW - Lehrhospitation KW - Relflexion des Lehrhandelns KW - subjektwissenschaftliche Lerntheorie KW - Didaktik KW - relfection on teaching KW - professionalisation of teaching in higher education KW - learning theory KW - didactics Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-48525 ER - TY - THES A1 - Mörbt, Nora T1 - Differential proteome analysis of human lung epithelial cells following exposure to aromatic volatile organic compounds T1 - Differentielle Proteomeanalyse humaner Lungenepithelzellen nach Exposition mit aromatischen flüchtigen Substanzen N2 - The widespread usage of products containing volatile organic compounds (VOC) has lead to a general human exposure to these chemicals in work places or homes being suspected to contribute to the growing incidence of environmental diseases. Since the causal molecular mechanisms for the development of these disorders are not completely understood, the overall objective of this thesis was to investigate VOC-mediated molecular effects on human lung cells in vitro at VOC concentrations comparable to exposure scenarios below current occupational limits. Although differential expression of single proteins in response to VOCs has been reported, effects on complex protein networks (proteome) have not been investigated. However, this information is indispensable when trying to ascertain a mechanism for VOC action on the cellular level and establishing preventive strategies. For this study, the alveolar epithelial cell line A549 has been used. This cell line, cultured in a two-phase (air/liquid) model allows the most direct exposure and had been successfully applied for the analysis of inflammatory effects in response to VOCs. Mass spectrometric identification of 266 protein spots provided the first proteomic map of A549 cell line to this extent that may foster future work with this frequently used cellular model. The distribution of three typical air contaminants, monochlorobenzene (CB), styrene and 1,2 dichlorobenzene (1,2-DCB), between gas and liquid phase of the exposure model has been analyzed by gas chromatography. The obtained VOC partitioning was in agreement with available literature data. Subsequently the adapted in vitro system has been successfully employed to characterize the effects of the aromatic compound styrene on the proteome of A549 cells (Chapter 4). Initially, the cell toxicity has been assessed in order to ensure that most of the concentrations used in the following proteomic approach were not cytotoxic. Significant changes in abundance and phosphorylation in the total soluble protein fraction of A549 cells have been detected following styrene exposure. All proteins have been identified using mass spectrometry and the main cellular functions have been assigned. Validation experiments on protein and transcript level confirmed the results of the 2-DE experiments. From the results, two main cellular pathways have been identified that were induced by styrene: the cellular oxidative stress response combined with moderate pro-apoptotic signaling. Measurement of cellular reactive oxygen species (ROS) as well as the styrene-mediated induction of oxidative stress marker proteins confirmed the hypothesis of oxidative stress as the main molecular response mechanism. Finally, adducts of cellular proteins with the reactive styrene metabolite styrene 7,8 oxide (SO) have been identified. Especially the SO-adducts observed at both the reactive centers of thioredoxin reductase 1, which is a key element in the control of the cellular redox state, may be involved in styrene-induced ROS formation and apoptosis. A similar proteomic approach has been carried out with the halobenzenes CB and 1,2-DCB (Chapter 5). In accordance with previous findings, cell toxicity assessment showed enhanced toxicity compared to the one caused by styrene. Significant changes in abundance and phosphorylation of total soluble proteins of A549 cells have been detected following exposure to subtoxic concentrations of CB and 1,2-DCB. All proteins have been identified using mass spectrometry and the main cellular functions have been assigned. As for the styrene experiment, the results indicated two main pathways to be affected in the presence of chlorinated benzenes, cell death signaling and oxidative stress response. The strong induction of pro-apoptotic signaling has been confirmed for both treatments by detection of the cleavage of caspase 3. Likewise, the induction of redox-sensitive protein species could be correlated to an increased cellular level of ROS observed following CB treatment. Finally, common mechanisms in the cellular response to aromatic VOCs have been investigated (Chapter 6). A similar number (4.6-6.9%) of all quantified protein spots showed differential expression (p<0.05) following cell exposure to styrene, CB or 1,2-DCB. However, not more than three protein spots showed significant regulation in the same direction for all three volatile compounds: voltage-dependent anion-selective channel protein 2, peroxiredoxin 1 and elongation factor 2. However, all of these proteins are important molecular targets in stress- and cell death-related signaling pathways. N2 - Die vermehrte Verwendung von Produkten, welche flüchtige organische Substanzen (VOC - volatile organic compound) enthalten, hat eine generelle Exposition der Bevölkerung mit diesen Substanzen an Arbeitsplätzen aber auch in Wohnräumen bedingt. VOCs stehen im Verdacht, zur zunehmenden Inzidenz umweltbedingter Erkrankungen beizutragen. Da die molekularen Ursachen dieser Erkrankungen bisher noch unverstanden sind, war es ein übergeordnetes Ziel dieser Arbeit, VOC-vermittelte molekulare Effekte in menschlichen Lungenepithelzellen anhand eines in vitro Modells zu untersuchen. Dabei sollten vor allem Konzentrationen unterhalb der gültigen Arbeitsplatzgrenzwerte untersucht werden. Obwohl Effekte auf einzelne Proteine bekannt sind, wurden bisher keine Effekte der VOC-Exposition auf das komplexe Netzwerk der zellulären Proteine (Proteom) untersucht. Dieses Wissen ist essentiell, um induzierte zelluläre Mechanismen zu verstehen und Strategien zu deren Vermeidung zu entwickeln. Für die hier durchgeführten Untersuchungen wurde die Lungenepithelzelllinie A549 in einem Zweiphasenexpositionsmodell eingesetzt. Dieses ermöglichte eine möglichst direkte zelluläre Exposition und wurde bereits erfolgreich verwendet, um durch VOC hervorgerufene Entzündungseffekte zu identifizieren. Die massen-spektrometrische Identifikation von 266 Proteinflecken lieferte die erste umfassende Proteomkarte der A549 Zelllinie, welche nachfolgende Untersuchungen mit diesem häufig verwendeten Zelltyp erleichtern wird. Zusätzlich wurde die Verteilung der drei gängigen Luftkontaminanten Chlorbenzol (CB), Styrol and 1,2-Dichlorobenzol (1,2-DCB) zwischen den beiden Phasen (gas/flüssig) des Expositionsmodells gaschromatographisch bestimmt. Die Verteilung entsprach den verfügbaren Literaturdaten. Anschließend wurde das modifizierte Expositionsmodell erfolgreich eingesetzt, um styrol-vermittelte Effekte auf das Proteom der A549 Zellen zu charakterisieren (Kapitel 4). Zu Beginn erfolgte die Erfassung der Zelltoxizität der Substanz, um sicher zu stellen, daß der überwiegende Teil der späteren Expositionsexperimente mit subtoxischen Konzentrationen durchgeführt wird. Es konnte eine signifikant veränderte Expression und Phosphorylierung der löslichen Proteinfraktion der A549 Zellen als Reaktion auf die Styrolexposition festgestellt werden. Die regulierten Proteine wurden massenspektrometrisch identifiziert und ihre wichtigsten Funktionen wurden zugewiesen. Validierungsexperimente auf Protein- und auf Transkriptebene bestätigten die 2-DE Ergebnisse. Insgesamt konnte die zelluläre Reaktion durch die styrol-vermittelte Induktion zweier zentraler Mechanismen erklärt werden: oxidativer zellulärer Stress und beginnende Apoptose. Folgeexperimente wie die Messung der Menge der zellulären reaktiven Sauerstoffspezies (ROS) und die Induktion von redox-sensitiven Markerproteinen konnte die Hypothese eines styrol-induzierten oxidativen Milieus bestätigen. Schließlich wurden Proteinaddukte des reaktiven Styrolmetaboliten Styrol 7,8 epoxide (SO) identifiziert. Besonders die SO-Addukte, welche and den beiden aktiven Zentren der Thioredoxin Reduktase 1 gefunden wurden könnten eine wichtige Rolle bei der styrol-induzierten ROS-Bildung sowie der beginnenden Apoptose spielen. In Analogie zum Styrolexperiment wurden die Effekte der halogenierten Benzole CB und 1,2-DCB untersucht (Kapitel 5). Es konnten ebenfalls sämtliche Proteine identifiziert und die wichtigsten zellulären Funktionen zugewiesen werden. Diese Substanzen modulierten ebenfalls apoptotische Signalwege und die zelluläre Antwort auf oxidativen Streß. Der beobachtete starke pro-apoptotische Effekt konnte für beide Substanzen mit der Spaltung der Caspase 3 nachgewiesen werden. Weiterhin konnte für CB die Induktion redox-sensitiver Proteinspezies mit einem beobachteten höherem Gehalt an ROS erklärt werden. Schließlich wurden ähnliche Mechanismen der zellulären Antwort auf die Exposition mit den drei untersuchten aromatischen VOCs diskutiert (Kapitel 6). Alle getesteten VOCs verursachten eine vergleichbare differentielle Expression (p<0,05) von 4,6-6,9% aller quantifizierten Proteinspezies. Nur drei Proteinspots wurden dabei gemeinsam für alle VOCs reguliert: voltage-dependent anion-selective channel protein 2, peroxiredoxin 1 and elongation factor 2. Allerdings gehören diese drei Proteine zu wichtigen zellulären Zielstrukturen der Signalwege für Stressantwort und Zelltod. KW - VOC KW - Proteom KW - Styrol KW - chlorbenzol KW - dichlorbenzol KW - VOC KW - proteome KW - styrene KW - monochlorobenzene KW - dichlorobenzene Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-49257 ER - TY - BOOK A1 - Bauckmann, Jana A1 - Leser, Ulf A1 - Naumann, Felix T1 - Efficient and exact computation of inclusion dependencies for data integration N2 - Data obtained from foreign data sources often come with only superficial structural information, such as relation names and attribute names. Other types of metadata that are important for effective integration and meaningful querying of such data sets are missing. In particular, relationships among attributes, such as foreign keys, are crucial metadata for understanding the structure of an unknown database. The discovery of such relationships is difficult, because in principle for each pair of attributes in the database each pair of data values must be compared. A precondition for a foreign key is an inclusion dependency (IND) between the key and the foreign key attributes. We present with Spider an algorithm that efficiently finds all INDs in a given relational database. It leverages the sorting facilities of DBMS but performs the actual comparisons outside of the database to save computation. Spider analyzes very large databases up to an order of magnitude faster than previous approaches. We also evaluate in detail the effectiveness of several heuristics to reduce the number of necessary comparisons. Furthermore, we generalize Spider to find composite INDs covering multiple attributes, and partial INDs, which are true INDs for all but a certain number of values. This last type is particularly relevant when integrating dirty data as is often the case in the life sciences domain - our driving motivation. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 34 KW - Metadatenentdeckung KW - Metadatenqualität KW - Schemaentdeckung KW - Datenanalyse KW - Datenintegration KW - metadata discovery KW - metadata quality KW - schema discovery KW - data profiling KW - data integration Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41396 SN - 978-3-86956-048-9 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - CHAP A1 - Cabalar, Pedro T1 - Existential quantifiers in the rule body N2 - In this paper we consider a simple syntactic extension of Answer Set Programming (ASP) for dealing with (nested) existential quantifiers and double negation in the rule bodies, in a close way to the recent proposal RASPL-1. The semantics for this extension just resorts to Equilibrium Logic (or, equivalently, to the General Theory of Stable Models), which provides a logic-programming interpretation for any arbitrary theory in the syntax of Predicate Calculus. We present a translation of this syntactic class into standard logic programs with variables (either disjunctive or normal, depending on the input rule heads), as those allowed by current ASP solvers. The translation relies on the introduction of auxiliary predicates and the main result shows that it preserves strong equivalence modulo the original signature. Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41476 ER - TY - JOUR A1 - Müller, Katja T1 - Forschungsbasierte Lehre T1 - Project-based science instruction N2 - Mit der Integration von Forschung in Lehre gelingen nicht nur aktivierende, teilnehmerorientierte Lehrmethoden, sie bietet vielmehr für Studierende die Möglichkeit an Forschung teilzuhaben. Dabei geht forschungsbasiertes Lernen über die Förderung von Selbstständigkeit und projektorientiertem Studium hinaus, denn es wird von den Studierenden eine sie interessierende Problemstellung entwickelt mit dem Ziel neue Erkenntnisse zu gewinnen. Hierin liegt die Besonderheit des Konzepts: es wird bei den Lerninteressen der Studierenden angesetzt. Dieser Beitrag erörtern ein Beispiel, wie Forschungsprojekte in der Lehre genutzt werden können. N2 - The most challenging and often not well-understood science instructional approach is project-based science instruction. In this paper, the concept “project-based science instruction” is examined. The paper addresses how to teach science for understanding using PBSI and ends by explaining an example for implementing this instructional approach in the classroom. T3 - Brandenburgische Beiträge zur Hochschuldidaktik - 2 KW - forschendes Lernen KW - Lehre KW - Studienqualität Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-49664 ER -