Refine
Year of publication
- 2008 (17) (remove)
Document Type
- Part of Periodical (6)
- Doctoral Thesis (5)
- Master's Thesis (3)
- Diploma Thesis (2)
- Study Thesis (1)
Language
- English (17) (remove)
Has Fulltext
- yes (17) (remove)
Keywords
- Abduktion <Logik> (1)
- Bayes-Netz (1)
- Bayesian Networks (1)
- Beruflicher Kontakt (1)
- Beschaffung (1)
- Bluetooth (1)
- Bürgerbeiteiligung (1)
- CodeBlue (1)
- Computer Security (1)
- Computersicherheit (1)
Institute
- Fachbereich 4 (7)
- Institut für Informatik (7)
- Institut für Wirtschafts- und Verwaltungsinformatik (3)
- Fachbereich 6 (1)
- Fachbereich 8 (1)
- Institut für Computervisualistik (1)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (1)
- Institut für Management (1)
- Institut für Softwaretechnik (1)
- Institut für fremdsprachliche Philologien (1)
Semantic desktop environments aim at improving the effectiveness and efficiency of users carrying out daily tasks within their personal information management infrastructure (PIM). They support the user by transferring and exploiting the explicit semantics of data items across different PIM applications. Whether such an approach does indeed reach its aim of facilitating users" life and—if so—to which extent, however, remains an open question that we address in this paper with the first summative evaluation of a semantic desktop approach. We approach the research question exploiting our own semantic desktop infrastructure, X-COSIM. As data corpus, we have used over 100 emails and 50 documents extracted from the organizers of a conference-like event at our university. The evaluation has been carried out with 18 subjects. We have developed a test environment to evaluate COSIMail and COSIFile, two semantic PIM applications based on X-COSIM. As result, we have found a significant improvement for typical PIM tasks compared to a standard desktop environment.
Foliicolous lichens are one of the most abundant epiphytes in tropical rainforests and one of the few groups of organisms that characterize these forests. Tropical rainforests are increasingly affected by anthropogenic disturbance resulting in forest destruction and degradation. However, not much is known on the effects of anthropogenic disturbance on the diversity of foliicolous lichens. Understanding such effects is crucial for the development of appropriate measures for the conservation of such organisms. In this study, foliicolous lichens diversity was investigated in three tropical rainforests in East Africa. Godere Forest in Southwest Ethiopia is a transitional rainforest with a mixture of Afromontane and Guineo-Congolian species. The forest is secondary and has been affected by shifting cultivation, semi-forest coffee management and commercial coffee plantation. Budongo Forest in West Uganda is a Guineo-Congolian rainforest consisting of primary and secondary forests. Kakamega Forest in western Kenya is a transitional rainforest with a mixture of Guineo-Congolian and Afromontane species. The forest is a mosaic of near-primary forest, secondary forests of different seral stages, grasslands, plantations, and natural glades.
Social networking platforms as creativity fostering systems: research model and exploratory study
(2008)
Social networking platforms are enabling users to create their own content, share this content with anyone they invite and organize connections with existing or new online contacts. Within these electronic environments users voluntarily add comments on virtual boards, distribute their search results or add information about their expertise areas to their social networking profiles and thereby share it with acquaintances, friends and increasingly even with colleagues in the corporate world. As a result, it is most likely that the underlying knowledge sharing processes result in many new and creative ideas. The objective of our research therefore is to understand if and how social social networking platforms can enforce creativity. In addition, we look at how these processes could be embedded within the organizational structures that influence innovative knowledge sharing behavior. The basis for our research is a framework which focuses on the relations between intrinsic motivation, creativity and social networking platforms. First results of our empirical investigation of a social software platform called "StudiVZ.net" proved that our two propositions are valid.
Querying for meta knowledge
(2008)
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web query languages, like SPARQL, have targeted the retrieval, combination and reuse of facts, but have so far ignored all aspects of meta knowledge, such as origins, authorship, recency or certainty of data, to name but a few. In this paper, we present an original, generic, formalized and implemented approach for managing many dimensions of meta knowledge, like source, authorship, certainty and others. The approach re-uses existing RDF modeling possibilities in order to represent meta knowledge. Then, it extends SPARQL query processing in such a way that given a SPARQL query for data, one may request meta knowledge without modifying the query proper. Thus, our approach achieves highly flexible and automatically coordinated querying for data and meta knowledge, while completely separating the two areas of concern.
The present thesis investigates attitudes and prosocial behavior between workgroups from a social identity and intergroup contact perspective. Based on the Common In-group Identity Model (CIIM; Gaertner & Dvoidio, 2000), it is hypothesized that "optimal" conditions for contact (Allport, 1954) create a common identity at the organizational level which motivates workgroups to cooperate and show organizational citizenship behavior (OCB) rather than intergroup bias. Predictions based on the CIIM are extended with hypotheses derived from the In-group Projection Model (IPM; Mummendey & Wenzel, 1999) and the Self-Categorization Model of Group Norms (Terry & Hogg, 1996). Hypotheses are tested with data from N1 = 281 employees of N2 = 49 different workgroups and their workgroup managers of a German mail-order company (Study 1). Results indicate that group- and individual-level contact conditions are predictive of lower levels of intergroup bias and higher levels of cooperation and helping behavior. A common in-group representation mediates the effect on out-group attitudes and intergroup cooperation. In addition, the effect of a common in-group representation on intergroup bias is moderated by relative prototypicality, as predicted by the IPM, and the effect of prosocial group norms on helping behavior is moderated by workgroup identification, as predicted by the Self-Categorization Model of Group Norms. A longitudinal study with Ntotal = 57 members of different student project groups replicates the finding that contact under "optimal" conditions reduces intergroup bias and increases prosocial behavior between organizational groups. However, a common in-group representation is not found to mediate this effect in Study 2. Initial findings also indicate that individual-level variables, such as helping behavior toward members of another workgroup, may be better accounted for by variables at the same level of categorization (cf. Haslam, 2004). Thus, contact in a context that makes personal identities of workgroup members salient (i.e., decategorization) may be more predictive of interpersonal prosocial behavior, while contact in a context that makes workgroup identities salient (i.e., categorization) may be more predictive of intergroup prosocial behavior (cf. Tajfel, 1978). Further data from Study 1 support such a context-specific effect of contact between workgroups on interpersonal and intergroup prosocial behavior, respectively. In the last step, a temporal integration of the contact contexts that either lead to decategorization, categorization, or recategorization are examined based on the Longitudinal Contact Model (Pettigrew, 1998). A first indication that a temporal sequence from decategorization via categorization to recategorization may be particularly effective in fostering intergroup cooperation is obtained with data from Study 2. In order to provide a heuristic model for research on prosocial behavior between workgroups, findings are integrated into a Context-Specific Contact Model. The model proposes specific effects of contact in different contexts on prosocial behavior at different levels of categorization. Possible mediator and moderator processes are suggested. A number of implications for theory, future research and the management of relations between workgroups are discussed.
This dissertation introduces a methodology for formal specification and verification of user interfaces under security aspects. The methodology allows to use formal methods pervasively in the specification and verification of human-computer interaction. This work consists of three parts. In the first part, a formal methodology for the description of human-computer interaction is developed. In the second part, existing definitions of computer security are adapted for human-computer interaction and formalized. A generic formal model of human-computer interaction is developed. In the third part, the methodology is applied to the specification and verification of a secure email client.
Probability propagation nets
(2008)
This work introduces a Petri net representation for the propagation of probabilities and likelihoods, which can be applied to probabilistic Horn abduction, fault trees, and Bayesian networks. These so-called "probability propagation nets" increase the transparency of propagation processes by integrating structural and dynamical aspects into one homogeneous representation. It is shown by means of popular examples that probability propagation nets improve the understanding of propagation processes - especially with respect to the Bayesian propagation algorithms - and thus are well suited for the analysis and diagnosis of probabilistic models. Representing fault trees with probability propagation nets transfers these possibilities to the modeling of technical systems.
This volume contains those research papers presented at the Second International Conference on Tests and Proofs (TAP 2008) that were not included in the main conference proceedings. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areas for the advancement of software quality. To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. On the surface, the two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope of proving its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity, but in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of their incompatibility and taking instead the best of what each of these software engineering domains has to offer. The first TAP conference (held at ETH Zurich in February 2007) was an attempt to provide a forum for the cross-fertilization of ideas and approaches from the testing and proving communities. For the 2008 edition we found the Monash University Prato Centre near Florence to be an ideal place providing a stimulating environment. We wish to sincerely thank all the authors who submitted their work for consideration. And we would like to thank the Program Committee members as well as additional referees for their great effort and professional work in the review and selection process. Their names are listed on the following pages. In addition to the contributed papers, the program included three excellent keynote talks. We are grateful to Michael Hennell (LDRA Ltd., Cheshire, UK), Orna Kupferman (Hebrew University, Israel), and Elaine Weyuker (AT&T Labs Inc., USA) for accepting the invitation to address the conference. Two very interesting tutorials were part of TAP 2008: "Parameterized Unit Testing with Pex" (J. de Halleux, N. Tillmann) and "Integrating Verification and Testing of Object-Oriented Software" (C. Engel, C. Gladisch, V. Klebanov, and P. Rümmer). We would like to express our thanks to the tutorial presenters for their contribution. It was a team effort that made the conference so successful. We are grateful to the Conference Chair and the Steering Committee members for their support. And we particularly thank Christoph Gladisch, Beate Körner, and Philipp Rümmer for their hard work and help in making the conference a success. In addition, we gratefully acknowledge the generous support of Microsoft Research Redmond, who financed an invited speaker.
The University of Koblenz-Landau would like to apply for participation in the RoboCup Mixed Reality League in Suzhou, China 2008. Our team is composed of ten team members and two supervisors. All members are graduate students of Computational Visualistics. Our supervisors are Ph.D. candidates currently researching in the working groups of artificial intelligence and computer graphics.