Doctoral Thesis
Refine
Year of publication
- 2008 (5) (remove)
Document Type
- Doctoral Thesis (5) (remove)
Language
- English (5) (remove)
Has Fulltext
- yes (5) (remove)
Keywords
- Abduktion <Logik> (1)
- Bayes-Netz (1)
- Bayesian Networks (1)
- Beruflicher Kontakt (1)
- Computer Security (1)
- Computersicherheit (1)
- Diagnose (1)
- Diagnosis (1)
- Epiphyten (1)
- Fault Trees (1)
- Fehlerbaum (1)
- Foliicolous lichens (1)
- Formal Methods (1)
- Formale Methoden (1)
- Human-Computer Interaction (1)
- Innerbetriebliche Kooperation (1)
- Interaktion (1)
- Intergruppenprozesse (1)
- Mensch-Maschine-Interaktion (1)
- OCB (1)
- Petri Nets (1)
- Petri-Netz (1)
- Propagation (1)
- Prosoziales Verhalten (1)
- Schreiben (1)
- Schreibtechnik (1)
- Social identity theory (1)
- Soziale Identität (1)
- Tropical rainforest (1)
- Tropischer Regenwald (1)
- Unsicheres Schließen (1)
- Verhandlung (1)
- Wahrscheinlichkeit (1)
- anthropogenic disturbance (1)
- cooperation (1)
- focused feedback (1)
- interaction (1)
- intergroup contact (1)
- negotiation (1)
- organizational behavior (1)
- prosocial behavior (1)
- prosoziale Gruppennorm (1)
- relative Prototypikalität (1)
- revision (1)
- writing (1)
- Überarbeitung (1)
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.
This thesis is concerned with an issue of considerable importance to the development of revision skills: the role of teacher feedback. Prompted by the concern to develop a model of instruction which will help students write to the best of their capacities, the present study forms a proposal: an interactive model of revision. The study researches whether the kind of feedback proposed in this model is indeed a helpful tool for revision and whether the kind of negotiated revision that occurs is a vehicle for learning. The first section of the thesis reviews different areas of literature which are relevant to the study. More specifically, Chapter 2 presents the historical and theoretical foundations of different writing instructional practices and sheds light on issues concerning the use of the process approach. It also reviews research based on sociocognitive theoretical perspectives in an attempt to delineate the impact of interpersonal or social activity on individual performance and progress. Chapter 3 examines issues associated with the process approach in particular and illustrates how theory and method come together in a process writing classroom. Chapter 4 presents the differences in revising behaviours between experienced and inexperienced writers in both L1 and L2 contexts and the various ways these differences have been justified. It also highlights a number of issues which have been identified as contributing to effective revision. Particular attention is paid to the role that teacher feedback has to play as a means of promoting substantive student revision with an instructional emphasis on fluency, organisation and language. Chapter 5 presents an interactive model of revision, which envisions a communicative exchange between two partners, the student-writer and the teacher-reader, collaborating in order to develop awareness of revision strategies and establish criteria for effective writing. Chapter 6 investigates the epistemological basis of the research and presents a set of research questions and hypotheses, which guided the investigation. Chapter 7 frames the context of the research and details the methods used to collect the data from the study. The study involved 100 Year 7 students in two gymnasia in Koblenz, Germany. During the time of the investigation, the students wrote and revised five tasks. Three of these tasks were revised after receiving teacher feedback, which focused on aspects such as appropriacy and sufficiency of information, organization, coherence and grammatical accuracy. The study investigates the effects of this kind of focused feedback on the students" revisions and explores the relationship between revision and text improvement. Large quantitative and qualitative data sets were generated during the research. The quantitative data was based on the student documents (1000 original and revised drafts) whereas the qualitative data emerged from student questionnaires and seven case studies. Chapter 8 presents descriptions of the data analyses. More specifically, it describes the initial and final coding of the revisions traced in the student documents. Then it focuses on the type of qualitative analysis employed in the case studies in order to investigate the relationship between revision and text improvement. The final section of the chapter describes the questionnaire analysis, which was carried out to investigate attitudes, benefits and constraints from the implementation of the model. Chapter 9 examines the statistical results from the analysis of the students" revisions. More specifically, it explores the revisions made by the students across tasks and the relationships between the features of the teacher feedback and these revisions. The analysis highlights patterns in the development of revision skills and positive correlations of student revisions with features of the teacher feedback. Chapter 10 looks at the descriptive data from the case studies of seven individual student writers. The analysis of this data illustrates how the specific students negotiated the revisions and sheds more light on the relationship between feedback, revision and text improvement. Chapter 11 contains the analysis of the students" answers to the questionnaire, which provide illuminative information about the feedback-related attitudes. In Chapter 12, the thesis reaches its final destination. The journey over the paths of literature exploration, data gathering and data analysis ends with reflections on the messages that emerge from the data analysis. The conclusion reached is that young students can learn how to revise their writing and focused feedback is a viable pedagogic option for teaching revision. In addition to discussing the findings, this final section considers the pedagogical implications for the teaching of writing and suggests possible avenues for further work.
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.
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.
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.