TY - JOUR A1 - D'Aprile, Iwan-Michelangelo A1 - Zimmermann, Matthias A1 - Jäger, Sophie A1 - Horn-Conrad, Antje A1 - Eckardt, Barbara A1 - Voigt, Juliane A1 - Görlich, Petra T1 - Portal = Friedrich der Große: Zwischen Legende und Wirklichkeit BT - Das Potsdamer Universitätsmagazin N2 - Aus dem Inhalt: - Friedrich der Große: Zwischen Legende und Wirklichkeit - Inseln im Büchermeer - Wenn das Universum beschleunigt expandiert T3 - Portal: Das Potsdamer Universitätsmagazin - 01/2012 Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-440464 SN - 1618-6893 IS - 01/2012 ER - TY - JOUR A1 - Röttgen, Norbert ED - Kleinwächter, Kai T1 - Regierungserklärung zu den Ergebnissen der Klimakonferenz in Durban BT - Bundesminister für Umwelt, Naturschutz und Reaktorsicherheit, Dr. Norbert Röttgen, am 16. Dezember 2011 (Auszüge) JF - Klimapolitik International KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81376 SN - 1868-6222 SN - 1868-6230 SP - 93 EP - 100 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Lederer, Markus ED - Kleinwächter, Kai T1 - Klimapolitik zwischen Kyoto und Cancún JF - Klimapolitik International N2 - In diesem einleitenden Beitrag des Themenschwerpunktes wird der Hintergrund der internationalen Klimaverhandlungen erläutert und die Ergebnisse des Kopenhagen-Akkords vorgestellt. Angesichts des Scheiterns der Kopenhagener Konferenz muss die zeitnahe Schließung eines rechtlich bindenden, globalen Klimaabkommens als unwahrscheinlich gelten. Die Klimapolitik wird zukünftig verstärkt auf nationalstaatlicher und transnationaler Ebene erfolgen. KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81364 SN - 1868-6222 SN - 1868-6230 SP - 83 EP - 92 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Haug, Constanze A1 - Berkhout, Frans ED - Kleinwächter, Kai T1 - Abschied von KyotoPlus? BT - Die EU und das Trauma von Kopenhagen JF - Klimapolitik International N2 - Die Ergebnisse des Klimagipfels von Kopenhagen sind eine bittere Enttäuschung für die EU. Ihr ist es nicht gelungen, ihren Führungsambitionen beim globalen Klimaschutz gerecht zu werden und die Konferenz zur Weichenstellung für ein rechtsverbindliches Klimaabkommen nach 2012 zu nutzen. Damit steht die Union vor grundlegenden strategischen Fragen zum Kurs ihrer Klimapolitik. KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81355 SN - 1868-6222 SN - 1868-6230 SP - 73 EP - 81 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Schunz, Simon ED - Kleinwächter, Kai T1 - Gescheiterte Klimapolitik? BT - Weltpolitik nach Kopenhagen JF - Klimapolitik International N2 - Der Kopenhagener Klimagipfel 2009 ist mit Spannung erwartet worden. Erreicht wurde lediglich ein Minimalkonsens. Der Autor liefert eine akteurszentrierte Deutung des Kopenhagener Abkommens und stellt die Frage nach dem Präzedenzcharakter der Verhandlungen: Handelte es sich um ein einmaliges Versagen multilateraler Diplomatie oder um einen Vorgeschmack auf die weltpolitische Routine des 21. Jahrhunderts? KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81347 SN - 1868-6222 SN - 1868-6230 SP - 67 EP - 72 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Müller, Melanie ED - Kleinwächter, Kai T1 - Die Zivilgesellschaft in der internationalen Klimapolitik BT - Zwischen Kooperation und Instrumentalisierung JF - Klimapolitik International N2 - Die Zivilgesellschaft hat dazu beigetragen, dass die Klimakonferenz in Kopenhagen zu einem Medienereignis wurde. Fernab großer Demonstrationen haben Nichtregierungsorganisationen (NRO) seit Jahren einen guten Zugang zu den internationalen Klimaverhandlungen. Am Beispiel von Chile wird gezeigt, wie Nichtregierungsorganisationen durch professionellen Lobbyismus ihre Positionen in politische Prozesse einspeisen. Sie befinden sich in einem Spannungsfeld von Kooperation und Instrumentalisierung durch politische Entscheidungsträger. KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81331 SN - 1868-6222 SN - 1868-6230 SP - 59 EP - 66 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Harnisch, Astrid A1 - Wienges, Sebastian ED - Kleinwächter, Kai T1 - Wie Klimaschutz finanzieren? BT - Zur Rolle privater und öffentlicher Finanzströme JF - Klimapolitik International N2 - Zur Finanzierung von Klimaschutz müssen öffentliche Mittel gezielt eingesetzt werden. Dies beinhaltet auch die Rahmenbedingungen für private Finanzströme signifikant zu verbessern. Anhand einer Problemanalyse bestimmen die Autoren Eckdaten für diese Hebelwirkung. Öffentliche Anschubfinanzierung kann somit die Grundlage für private Investitionen sein. Dies wird exemplarisch an der Internationalen Klimaschutzinitiative des Bundesumweltministeriums diskutiert. KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81328 SN - 1868-6222 SN - 1868-6230 SP - 50 EP - 58 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Schröder, Miriam ED - Kleinwächter, Kai T1 - China und Indien BT - Die neuen Spieler am Tisch JF - Klimapolitik International N2 - Der Artikel analysiert die neue Rolle aufsteigender Schwellenländer in den internationalen Klimaverhandlungen am Beispiel Chinas und Indiens. Die Ablehnung verbindlicher Reduktionsziele für Treibhausgase wurde in Kopenhagen als Blockadepolitik beider Länder gewertet. China und Indien können sich in ihrer Position behaupten, da ihr gestiegenes Gewicht in der multipolaren Weltordnung und die Untätigkeit führender Industrieländer ihre Verhandlungsposition stärkt. Die Autorin diskutiert Kooperationsmöglichkeiten auf subnationaler Ebene, die die Blockadeposition nationaler Regierungen umgehen können. KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81311 SN - 1868-6222 SN - 1868-6230 SP - 41 EP - 49 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Fuhr, Harald ED - Kleinwächter, Kai T1 - Klimawandel und Entwicklungspolitik JF - Klimapolitik International N2 - Der Autor diskutiert die Chancen und Risiken bei der Einbindung des Südens in die internationale Klimapolitik. Lange Zeit hatten die Entwicklungsländer am wenigsten zum Klimawandel beigetragen, wären aber am stärksten von ihm betroffen. Mittlerweile jedoch tragen diese Länder in erheblichem Maße selbst zum Klimawandel bei. Allerdings setzen deren Regierungen auf Zeit. Sie erwarten Ressourcentransfers. Dies verstärkt auch alte Probleme des ‚Rent-Seeking‘. KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81301 SN - 1868-6222 SN - 1868-6230 SP - 31 EP - 40 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Hentschel, Karl-Martin ED - Kleinwächter, Kai T1 - Klimapolitik am Ende? BT - Nach Durban wird es höchste Zeit für einen Strategiewechsel JF - Klimapolitik International KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81299 SN - 1868-6222 SN - 1868-6230 SP - 21 EP - 30 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Krämer, Raimund A1 - Kleinwächter, Kai ED - Kleinwächter, Kai T1 - Brandenburg ist klimapolitisch gut aufgestellt! BT - Interview mit der Ministerin für Umwelt, Gesundheit und Verbraucherschutz des Landes Brandenburg, Anita Tack JF - Klimapolitik International KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81285 SN - 1868-6222 SN - 1868-6230 SP - 11 EP - 20 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Kleinwächter, Kai ED - Kleinwächter, Kai T1 - Einleitung JF - Klimapolitik International KW - Klimapolitik KW - Klima KW - Durban 2011 KW - Klimakonferenz KW - NGO KW - Entwicklungspolitik KW - climate policy KW - climate KW - Climate Change Conference KW - development policy Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-81267 SN - 1868-6222 SN - 1868-6230 SP - 9 EP - 10 PB - Universitätsverlag Potsdam CY - Potsdam 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 - 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 -