Refine
Has Fulltext
- yes (31)
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)
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.
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.
Agriculture is one of the most important human activities providing food and more agricultural goods for seven billion people around the world and is of special importance in sub-Saharan Africa. The majority of people depends on the agricultural sector for their livelihoods and will suffer from negative climate change impacts on agriculture until the middle and end of the 21st century, even more if weak governments, economic crises or violent conflicts endanger the countries’ food security. The impact of temperature increases and changing precipitation patterns on agricultural vegetation motivated this thesis in the first place. Analyzing the potentials of reducing negative climate change impacts by adapting crop management to changing climate is a second objective of the thesis. As a precondition for simulating climate change impacts on agricultural crops with a global crop model first the timing of sowing in the tropics was improved and validated as this is an important factor determining the length and timing of the crops´ development phases, the occurrence of water stress and final crop yield. Crop yields are projected to decline in most regions which is evident from the results of this thesis, but the uncertainties that exist in climate projections and in the efficiency of adaptation options because of political, economical or institutional obstacles have to be considered. The effect of temperature increases and changing precipitation patterns on crop yields can be analyzed separately and varies in space across the continent. Southern Africa is clearly the region most susceptible to climate change, especially to precipitation changes. The Sahel north of 13° N and parts of Eastern Africa with short growing seasons below 120 days and limited wet season precipitation of less than 500 mm are also vulnerable to precipitation changes while in most other part of East and Central Africa, in contrast, the effect of temperature increase on crops overbalances the precipitation effect and is most pronounced in a band stretching from Angola to Ethiopia in the 2060s. The results of this thesis confirm the findings from previous studies on the magnitude of climate change impact on crops in sub-Saharan Africa but beyond that helps to understand the drivers of these changes and the potential of certain management strategies for adaptation in more detail. Crop yield changes depend on the initial growing conditions, on the magnitude of climate change, and on the crop, cropping system and adaptive capacity of African farmers which is only now evident from this comprehensive study for sub-Saharan Africa. Furthermore this study improves the representation of tropical cropping systems in a global crop model and considers the major food crops cultivated in sub-Saharan Africa and climate change impacts throughout the continent.
Especially for the last twenty years, the studies of Linguistic Landscapes (LLs) have been gaining the status as an autonomous linguistic discipline. The LL of a (mostly) geographically limited area – which consists of e.g. billboards, posters, shop signs, material for election campaigns, etc. – gives deep insights into the presence or absence of languages in that particular area. Thus, LL not only allows to conclude from the presence of a language to its dominance, but also from its absence to the oppression of minorities, above all in areas where minority languages should – demographically seen – be visible. The LLs of big cities are fruitful research areas due to the mass of linguistic data. The first part of this paper deals with the theoretical and practical research that has been conducted in LL studies so far. A summary of the theory, methodologies and different approaches is given. In the second part I apply the theoretical basis to my own case study. For this, the LLs of two shopping streets in different areas of Hong Kong were examined in 2010. It seems likely that the linguistic competence of English must be rather high in Hong Kong, due to the long-lasting influence of British culture and mentality and the official status of the language. The case study's results are based on empirical data showing the objectively visible presence of English in both examined areas, as well as on two surveys. Those were conducted both openly and anonymously. The surveys are a reinsurance measuring the level of linguistic competence of English in Hong Kong. That level was defined before by an analysis of the LL. Hence, this case study is a new approach to LL analysis which does not end with the description of its material composition (as have done most studies before), but which rather includes its creators by asking in what way people's actual linguistic competence is reflected in Hong Kong's LL.
Videos related to the maps
(2012)