TY - GEN A1 - Ungelenk, Johannes T1 - Narcissus and Echo BT - A Political Reading of George Eliot's Daniel Deronda N2 - George Eliot’s late novel Daniel Deronda tackles big, fundamental political questions that radiate from the societal circumstances of the novel’s production and reach deep into our present-day life. The novel critically analyses the capitalistic, morally flawed and standard-less English society and narrates the title hero’s proto-Zionist mission to found a Jewish nation that re-establishes history, meaning and ethical values. This study attempts to trace the novel’s two models of society and time by bringing them into resonance with the myth of Narcissus and Echo famously rendered by Ovid. The unloving, self-referential, visual Narcissus is read as the model for the capitalistic world of spectacle and speculation. Echo’s loving, memory-bearing voice forms an important part in the construction of the sublating unity of the Jewish nation-to-come. Guided by this resonance between George Eliot’s novel and Ovid’s myth pieces of critical theory and philosophy are woven into the study’s fabric. The resulting analysis dissects and deconstructs the novel’s fascinating and highly complex patterns of conditions of possibility for the fabrication of the redeeming Jewish nation, the very same conditions that the novel presents as the conditions of possibility for narrating a meaningful story. T3 - Zweitveröffentlichungen der Universität Potsdam : Philosophische Reihe - 186 Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-599966 SN - 1866-8380 IS - 186 ER - TY - JOUR A1 - Frank, Mario T1 - Axiom relevance decision engine : technical report N2 - This document presents an axiom selection technique for classic first order theorem proving based on the relevance of axioms for the proof of a conjecture. It is based on unifiability of predicates and does not need statistical information like symbol frequency. The scope of the technique is the reduction of the set of axioms and the increase of the amount of provable conjectures in a given time. Since the technique generates a subset of the axiom set, it can be used as a preprocessor for automated theorem proving. This technical report describes the conception, implementation and evaluation of ARDE. The selection method, which is based on a breadth-first graph search by unifiability of predicates, is a weakened form of the connection calculus and uses specialised variants or unifiability to speed up the selection. The implementation of the concept is evaluated with comparison to the results of the world championship of theorem provers of the year 2012 (CASC J6). It is shown that both the theorem prover leanCoP which uses the connection calculus and E which uses equality reasoning, can benefit from the selection approach. Also, the evaluation shows that the concept is applyable for theorem proving problems with thousands of formulae and that the selection is independent from the calculus used by the theorem prover. N2 - Dieser technische Report beschreibt die Konzeption, Implementierung und Evaluation eines Verfahrens zur Auswahl von logischen Formeln bezüglich derer Relevanz für den Beweis einer logischen Formel. Das Verfahren wird ausschließlich für die Prädikatenlogik erster Ordnung angewandt, wenngleich es auch für höherstufige Prädikatenlogiken geeignet ist. Das Verfahren nutzt eine unifikationsbasierte Breitensuche im Graphen wobei jeder Knoten im Graphen ein Prädikat und jede existierende Kante eine Unifizierbarkeitsrelation ist. Ziel des Verfahrens ist die Reduktion einer gegebenen Menge von Formeln auf eine für aktuelle Theorembeweiser handhabbare Größe. Daher ist das Verfahren als Präprozess-Schritt für das automatische Theorembeweisen geeignet. Zur Beschleunigung der Suche wird neben der Standard-Unifikation eine abgeschwächte Unifikation verwendet. Das System wurde während der Weltmeisterschaft der Theorembeweiser im Jahre 2014 (CASC J6) in Manchester zusammen mit dem Theorembeweiser leanCoP eingereicht und konnte leanCoP dabei unterstützen, Probleme zu lösen, die leanCoP alleine nicht handhaben kann. Die Tests mit leanCoP und dem Theorembeweiser E im Nachgang zu der Weltmeisterschaft zeigen, dass das Verfahren unabhängig von dem verwendeten Kalkül ist und bei beiden Theorembeweisern positive Auswirkungen auf die Beweisbarkeit von Problemen mit großen Formelmengen hat. KW - Relevanz KW - Graphensuche KW - Theorembeweisen KW - Preprocessing KW - Unifikation KW - relevance KW - graph-search KW - preprocessing KW - unification KW - theorem Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-72128 ER - TY - THES A1 - Schad, Daniel T1 - Mindless reading and eye movements : theory, experiments and computational modeling T1 - Gedankenverlorenes Lesen und Blickbewegungen : Theorie, Experimente, und Computationale Modellierung N2 - It sometimes happens that we finish reading a passage of text just to realize that we have no idea what we just read. During these episodes of mindless reading our mind is elsewhere yet the eyes still move across the text. The phenomenon of mindless reading is common and seems to be widely recognized in lay psychology. However, the scientific investigation of mindless reading has long been underdeveloped. Recent progress in research on mindless reading has been based on self-report measures and on treating it as an all-or-none phenomenon (dichotomy-hypothesis). Here, we introduce the levels-of-inattention hypothesis proposing that mindless reading is graded and occurs at different levels of cognitive processing. Moreover, we introduce two new behavioral paradigms to study mindless reading at different levels in the eye-tracking laboratory. First (Chapter 2), we introduce shuffled text reading as a paradigm to approximate states of weak mindless reading experimentally and compare it to reading of normal text. Results from statistical analyses of eye movements that subjects perform in this task qualitatively support the ‘mindless’ hypothesis that cognitive influences on eye movements are reduced and the ‘foveal load’ hypothesis that the response of the zoom lens of attention to local text difficulty is enhanced when reading shuffled text. We introduce and validate an advanced version of the SWIFT model (SWIFT 3) incorporating the zoom lens of attention (Chapter 3) and use it to explain eye movements during shuffled text reading. Simulations of the SWIFT 3 model provide fully quantitative support for the ‘mindless’ and the ‘foveal load’ hypothesis. They moreover demonstrate that the zoom lens is an important concept to explain eye movements across reading and mindless reading tasks. Second (Chapter 4), we introduce the sustained attention to stimulus task (SAST) to catch episodes when external attention spontaneously lapses (i.e., attentional decoupling or mind wandering) via the overlooking of errors in the text and via signal detection analyses of error detection. Analyses of eye movements in the SAST revealed reduced influences from cognitive text processing during mindless reading. Based on these findings, we demonstrate that it is possible to predict states of mindless reading from eye movement recordings online. That cognition is not always needed to move the eyes supports autonomous mechanisms for saccade initiation. Results from analyses of error detection and eye movements provide support to our levels-of-inattention hypothesis that errors at different levels of the text assess different levels of decoupling. Analyses of pupil size in the SAST (Chapter 5) provide further support to the levels of inattention hypothesis and to the decoupling hypothesis that off-line thought is a distinct mode of cognitive functioning that demands cognitive resources and is associated with deep levels of decoupling. The present work demonstrates that the elusive phenomenon of mindless reading can be vigorously investigated in the cognitive laboratory and further incorporated in the theoretical framework of cognitive science. N2 - Beim Lesen passiert es manchmal dass wir zum Ende einer Textpassage gelangen und dabei plötzlich bemerken dass wir keinerlei Erinnerung daran haben was wir soeben gelesen haben. In solchen Momenten von gedankenverlorenem Lesen ist unser Geist abwesend, aber die Augen bewegen sich dennoch über den Text. Das Phänomen des gedankenverlorenen Lesens ist weit verbreitet und scheint in der Laienpsychologie allgemein anerkannt zu sein. Die wissenschaftliche Untersuchung von gedankenverlorenem Lesen war jedoch lange Zeit unzureichend entwickelt. Neuerer Forschungsfortschritt basierte darauf gedankenverlorenes Lesen durch Selbstberichte zu untersuchen und als ein Phänomen zu behandeln das entweder ganz oder gar nicht auftritt (Dichotomie-Hypothese). Hier stellen wir die ‚Stufen der Unaufmerksamkeit’-Hypothese auf, dass gedankenverlorenes Lesen ein graduelles Phänomen ist, das auf verschiedenen kognitiven Verarbeitungsstufen entsteht. Wir stellen zudem zwei neue Verhaltensparadigmen vor um verschiedene Stufen von gedankenverlorenem Lesen im Augenbewegungslabor zu untersuchen. Als erstes (in Kapitel 2) stellen wir das Lesen von verwürfeltem Text vor als ein Paradigma um Zustände von schwach gedankenverlorenem Lesen experimentell anzunähern, und vergleichen es mit dem Lesen von normalem Text. Die Ergebnisse von statistischen Augenbewegungsanalysen unterstützen qualitativ die ‚Unaufmerksamkeits’-Hypothese, dass kognitive Einflüsse auf Augenbewegungen beim Lesen von verwürfeltem Text reduziert ist, und die ‚Foveale Beanspruchungs’-Hypothese, dass die Reaktion der zoom lens visueller Aufmerksamkeit auf lokale Textschwierigkeit beim Lesen von verwürfeltem Text verstärkt ist. Wir stellen eine weiterentwickelte Version des SWIFT Modells (SWIFT 3) vor, welches die zoom lens der Aufmerksamkeit implementiert, und validieren dieses Modell am Lesen von verwürfeltem und normalem Text (Kapitel 3). Simulationen des SWIFT 3 Modells unterstützen die ‚Unaufmerksamkeits’ und die ‚Foveal Beanspruchungs’-Hypothese in einem vollständig quantitativen Modell. Zudem zeigen sie, dass die zoom lens der Aufmerksamkeit ein wichtiges Konzept ist um Augenbewegungen in Aufgaben zum Lesen und gedankenverlorenen Lesen zu erklären. Als zweites (Kapitel 4) stellen wir den sustained attention to stimulus task (SAST) vor um Episoden von spontaner externer Unaufmerksamkeit (also Entkopplung der Aufmerksamkeit oder Abschweifen der Gedanken) in einem Paradigma über Verhaltensparameter wie das Übersehen von Fehlern im Text und Signal-Detektions-Analysen von Fehlerentdeckung zu messen. Augenbewegungsanalysen im SAST decken abgeschwächte Einflüsse von kognitiver Textverarbeitung während gedankenverlorenem Lesen auf. Basierend auf diesen Befunden zeigen wir, dass es möglich ist Zustände von gedankenverlorenem Lesen online, also während dem Lesen, aus Augenbewegungen vorherzusagen bzw. abzulesen. Dass höhere Kognition nicht immer notwendig ist um die Augen zu bewegen unterstützt zudem autonome Mechanismen der Sakkadeninitiierung. Ergebnisse aus Analysen von Fehlerdetektion und Augenbewegungen unterstützen unsere ‚Stufen der Unaufmerksamkeit’-Hypothese, dass Fehler auf verschiedenen Textebenen verschiedene Stufen von Entkopplung messen. Analysen der Pupillengröße im SAST (Kapitel 5) bieten weitere Unterstützung für die ‚Stufen der Unaufmerksamkeit’-Hypothese, sowie für die Entkopplungs-Hypothese, dass abschweifende Gedanken eine abgegrenzte kognitiver Funktionsweise darstellen, welche kognitive Ressourcen benötigt und mit tiefen Stufen von Unaufmerksamkeit zusammenhängt. Die aktuelle Arbeit zeigt, dass das flüchtige Phänomen des gedankenverlorenen Lesens im kognitiven Labor mit strengen Methoden untersucht und weitergehend in den theoretischen Rahmen der Kognitionswissenschaft eingefügt werden kann. KW - Gedankenverlorenes Lesen KW - Blickbewegungen KW - Gedankenschweifen KW - Computationale Modellierung KW - Levels-of-inattention Hypothese KW - mindless reading KW - eye movements KW - mind wandering KW - computational modeling KW - levels-of-inattention hypothesis Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-70822 ER - TY - JOUR A1 - Pažický, Michal T1 - Slovak schools JF - Potsdamer geographische Praxis KW - Europäische Werteerziehung KW - Familie KW - Lehrevaluation KW - Studierendenaustausch KW - Unterrichtseinheiten KW - Curriculum Framework KW - European values education KW - Family KW - lesson evaluation KW - student exchange KW - teaching units KW - curriculum framework Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-66138 SN - 2194-1599 SN - 2194-1602 IS - 1 SP - 23 EP - 24 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Brooks, Clare T1 - The EVE curriculum framework BT - developments on the second phase JF - Potsdamer geographische Praxis N2 - 1. Evaluations 2. Main changes to the curriculum Framework 3. Looking Forwards KW - Europäische Werteerziehung KW - Familie KW - Lehrevaluation KW - Studierendenaustausch KW - Unterrichtseinheiten KW - Curriculum Framework KW - European values education KW - Family KW - lesson evaluation KW - student exchange KW - teaching units KW - curriculum framework Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-66128 SN - 2194-1599 SN - 2194-1602 IS - 1 SP - 17 EP - 20 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - van den Beemt, Martijn A1 - Çinkaya, Muhammed A1 - Erdem, Didem Tuğçe A1 - Janssen, Robert T1 - Conclusion for future teaching JF - Potsdamer geographische Praxis N2 - 1. The importance of the maps in the Atlas of European Values 2. Team teaching 3. The importance of discussions in secondary schools 4. Assignments 5. Impact 6. Comments KW - Europäische Werteerziehung KW - Familie KW - Lehrevaluation KW - Studierendenaustausch KW - Unterrichtseinheiten KW - Curriculum Framework KW - European values education KW - Family KW - lesson evaluation KW - student exchange KW - teaching units KW - curriculum framework Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-65880 SN - 2194-1599 SN - 2194-1602 IS - 1 SP - 99 EP - 104 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Altuntaş, Kezban A1 - Akçay, Pinar A1 - Kools, Suzanne A1 - Schnabel, Richard T1 - Assignments, curriculum framework and background information as the base of developing lessons JF - Potsdamer geographische Praxis N2 - 1. What are the general strengths of the assignments? 2. Structure of the assignment 3. Resources of the assignment 4. Fostering self-expression 5. How could you improve the assignment? 6. Lack of specific examples 7. Not relating the issue to the students 8. Language Problems 9. Infeasibility to adaptation 10. In what ways was the additional information useful ? How could this be improved? 11. Was the framework useful for you and in what way? 12. In what ways did the assignments reflect the steps identified in the framework? KW - Europäische Werteerziehung KW - Familie KW - Lehrevaluation KW - Studierendenaustausch KW - Unterrichtseinheiten KW - Curriculum Framework KW - European values education KW - Family KW - lesson evaluation KW - student exchange KW - teaching units KW - curriculum framework Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-65877 SN - 2194-1599 SN - 2194-1602 IS - 1 SP - 93 EP - 98 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Azar, Elif Zeynep A1 - Erdönmez, Çağlayan A1 - Verscheijden, Desirée T1 - Developing Critical Thinking JF - Potsdamer geographische Praxis N2 - 1. Critical thinking in curriculum framework 2. A general look at critical thinking 3. How critical thinking take s place in the classroom and some specific examples 4. Suggestions 5. Conclusion KW - Europäische Werteerziehung KW - Familie KW - Lehrevaluation KW - Studierendenaustausch KW - Unterrichtseinheiten KW - Curriculum Framework KW - European values education KW - Family KW - lesson evaluation KW - student exchange KW - teaching units KW - curriculum framework Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-65867 SN - 2194-1599 SN - 2194-1602 IS - 1 SP - 87 EP - 92 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Akpniar, Seda A1 - Maas, Desiree A1 - Rooth, Anneke T1 - Deepening Understanding JF - Potsdamer geographische Praxis N2 - 1. Background information 2. Explanations during the lessons 3. Deepening under standing in some assignments 4. Conclusion KW - Europäische Werteerziehung KW - Familie KW - Lehrevaluation KW - Studierendenaustausch KW - Unterrichtseinheiten KW - Curriculum Framework KW - European values education KW - Family KW - lesson evaluation KW - student exchange KW - teaching units KW - curriculum framework Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-65859 SN - 2194-1599 SN - 2194-1602 IS - 1 SP - 81 EP - 85 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Knoops, Femke A1 - Erbil, Fethiye A1 - Ertürk, Mustafa T1 - Teaching patterns and trends JF - Potsdamer geographische Praxis N2 - 1. Outline 2. Definition 3. Why is it important (or not) to teach about patterns and trends? What are the strengths and weaknesses of teaching patterns and trends? 4. How were patterns and trends offered in the original assignments? 5. What did the student teacher change in practice? How did it go? 6. Suggestions for improving patterns and trends KW - Europäische Werteerziehung KW - Familie KW - Lehrevaluation KW - Studierendenaustausch KW - Unterrichtseinheiten KW - Curriculum Framework KW - European values education KW - Family KW - lesson evaluation KW - student exchange KW - teaching units KW - curriculum framework Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-65845 SN - 2194-1599 SN - 2194-1602 IS - 1 SP - 75 EP - 79 PB - Universitätsverlag Potsdam CY - Potsdam ER -