Refine
Has Fulltext
- yes (31) (remove)
Year of publication
- 2012 (31) (remove)
Document Type
- Article (27)
- Doctoral Thesis (2)
- Other (1)
- Postprint (1)
Language
- English (31) (remove)
Is part of the Bibliography
- no (31) (remove)
Keywords
- Curriculum Framework (15)
- European values education (15)
- Europäische Werteerziehung (15)
- Familie (15)
- Family (15)
- Lehrevaluation (15)
- Studierendenaustausch (15)
- Unterrichtseinheiten (15)
- curriculum framework (15)
- lesson evaluation (15)
- student exchange (15)
- teaching units (15)
- Africa (1)
- Afrika (1)
- Anpassung (1)
- Aufklärung (1)
- Beschleunigung (1)
- Blickbewegungen (1)
- Computationale Modellierung (1)
- Fortschritt (1)
- Gedankenschweifen (1)
- Gedankenverlorenes Lesen (1)
- Graphensuche (1)
- Klimawandel (1)
- Kommunikation (1)
- Landwirtschaft (1)
- Levels-of-inattention Hypothese (1)
- Linguistic Landscapes (1)
- Linguistics (1)
- Linguistics of Variation (1)
- Mobilität (1)
- Netz (1)
- Pflanzenwachstum (1)
- Preprocessing (1)
- Relevanz (1)
- Sociolinguistics (1)
- Soziolinguistik (1)
- Sprachwissenschaft (1)
- Theorembeweisen (1)
- Transporttechnologie (1)
- Unifikation (1)
- Variationslinguistik (1)
- World Englishes (1)
- adapation (1)
- agriculture (1)
- climate change (1)
- computational modeling (1)
- crop modeling (1)
- eye movements (1)
- graph-search (1)
- levels-of-inattention hypothesis (1)
- mind wandering (1)
- mindless reading (1)
- preprocessing (1)
- relevance (1)
- theorem (1)
- unification (1)
Institute
- Institut für Umweltwissenschaften und Geographie (15)
- Strukturbereich Kognitionswissenschaften (6)
- Institut für Jüdische Studien und Religionswissenschaft (4)
- Vereinigung für Jüdische Studien e. V. (4)
- Department Psychologie (1)
- Institut für Anglistik und Amerikanistik (1)
- Institut für Geowissenschaften (1)
- Institut für Informatik und Computational Science (1)
- Institut für Künste und Medien (1)
- Institut für Romanistik (1)
Developing Critical Thinking
(2012)
Developing critical thinking
(2012)
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.
Videos related to the maps
(2012)
Deepening Understanding
(2012)
Relating to students
(2012)
1. The Assignment 'Devotion to Religion and acitive Citizenship' 2. The Assignment 'How are religious spread across Europe' 3. The Assignment 'Is football as important as religion?' 4. The Assignment 'Why be religious?' 5. The Assignment 'Lucky charms' 6. The Assignment 'No Creo en el Jamas' (Life after death) 7. The Assignment 'Religion and its influence on politics ans policies' 8. The Assignment 'Secularisation in Europe' 9. The Assignment 'The meaning of religious places' 10. The Assignment 'Unity in diversity' 11. Which conceptions did you find?
The EVE curriculum framework
(2012)
Narcissus and Echo
(2012)
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.
Connecting the new world
(2012)
This article explores the link between the profound technological transformations of the nineteenth century and the life and work of the Prussian scholar Alexander von Humboldt (1769-1859). It analyses how Humboldt sought to appropriate the revolutionary new communication and transportation technologies of the time in order to integrate the American continent into global networks of commercial, intellectual and material exchange. Recent scholarship on Humboldt’s expedition to the New World (1799-1804) has claimed that his descriptions of tropical landscapes opened up South America to a range of ‘transformative interventions’ (Pratt) by European capitalists and investors. These studies, however, have not analysed the motivations underlying Humboldt’s support for such intrusions into nature. Furthermore, they have not explored the role that such projects played in shaping Humboldt’s understanding of the forces behind the progress of societies. To comprehend Humboldt’s approval for human interventions in America’s natural world, this study first explores the role that eighteenth-century theories of progress and the notion of geographical determinism played in shaping his conception of civilisational development. It will look at concrete examples of transformative interventions in the American hemisphere that were actively proposed by Humboldt and intended to overcome natural obstacles to human interaction. These were the use of steamships, electric telegraphy, railroads and large-scale canals that together enabled global trade and communication to occur at an unprecedented pace. All these contemporary innovations will be linked to the four motifs of nets, mobility, progress and acceleration, which were driving forces behind the ‘transformation of the world’ that took place in the course of the nineteenth century.