TY - CHAP A1 - Fernando, Tim T1 - Temporal propositions as regular languages N2 - Temporal propositions are mapped to sets of strings that witness (in a precise sense) the propositions over discrete linear Kripke frames. The strings are collected into regular languages to ensure the decidability of entailments given by inclusions between languages. (Various notions of bounded entailment are shown to be expressible as language inclusions.) The languages unwind computations implicit in the logical (and temporal) connectives via a system of finite-state constraints adapted from finite-state morphology. Applications to Hybrid Logic and non-monotonic inertial reasoning are briefly considered. Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-27194 ER - TY - GEN A1 - Kindelberger, Kilian A1 - Schmidt, Heiko T1 - Terror, Glaubenskrieg und Fundamentalismus Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-9499 ER - TY - JOUR A1 - Linck, Barbara T1 - Test items for and misconceptions of competences in the domain of logic programming JF - Commentarii informaticae didacticae : (CID) N2 - Development of competence-oriented curricula is still an important theme in informatics education. Unfortunately informatics curricula, which include the domain of logic programming, are still input-orientated or lack detailed competence descriptions. Therefore, the development of competence model and of learning outcomes' descriptions is essential for the learning process in this domain. A prior research developed both. The next research step is to formulate test items to measure the described learning outcomes. This article describes this procedure and exemplifies test items. It also relates a test in school to the items and shows which misconceptions and typical errors are important to discuss in class. The test result can also confirm or disprove the competence model. Therefore, this school test is important for theoretical research as well as for the concrete planning of lessons. Quantitative analysis in school is important for evaluation and improvement of informatics education. KW - competence KW - test items KW - misconceptions KW - informatics in upper secondary education KW - logic programming Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64461 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 25 EP - 34 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Bockreis, Anke A1 - Brockmann, Christiane A1 - Jager, Johannes T1 - Testmethoden für die Bewertung der Ablagerungseignung von MBA-Abfällen JF - Brandenburgische Umwelt-Berichte : BUB ; Schriftenreihe der Mathematisch-Naturwissenschaftlichen Fakultät der Universität Potsdam Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-3286 SN - 1434-2375 SN - 1611-9339 VL - 6 SP - 114 EP - 126 ER - TY - JOUR A1 - Klüter, Helmut T1 - Thabe, Sabine, Raum(de)konstruktionen : Reflexionen zu einer Philosophie des Raumes / [rezensiert von] Helmut Klüter JF - Geographische Revue: Zeitschrift für Literatur und Diskussion N2 - Rezensiertes Werk: Thabe, Sabine: Raum(de)konstruktionen : Reflexionen zu einer Philosophie des Raumes / Sabine Thabe. - Opladen : Leske und Budrich, 2002. - 337 S. ISBN 3-8100-3289-1 Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-30717 SN - 1438-3039 VL - 5 IS - 2 SP - 83 EP - 85 ER - TY - CHAP ED - Kurths, Jürgen ED - Fradkov, Alexander ED - Chen, Guanrong T1 - The 3rd international IEEE scientific conference on physics and control (PhysCon 2007) : September 3rd-7th 2007 at the University of Potsdam N2 - During the last few years there was a tremendous growth of scientific activities in the fields related to both Physics and Control theory: nonlinear dynamics, micro- and nanotechnologies, self-organization and complexity, etc. New horizons were opened and new exciting applications emerged. Experts with different backgrounds starting to work together need more opportunities for information exchange to improve mutual understanding and cooperation. The Conference "Physics and Control 2007" is the third international conference focusing on the borderland between Physics and Control with emphasis on both theory and applications. With its 2007 address at Potsdam, Germany, the conference is located for the first time outside of Russia. The major goal of the Conference is to bring together researchers from different scientific communities and to gain some general and unified perspectives in the studies of controlled systems in physics, engineering, chemistry, biology and other natural sciences. We hope that the Conference helps experts in control theory to get acquainted with new interesting problems, and helps experts in physics and related fields to know more about ideas and tools from the modern control theory. KW - nonlinear dynamics KW - micro- and nanotechnologies KW - self-organization KW - complexity Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-15228 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - CHAP A1 - Massa, D. L. A1 - Prinja, R. K. A1 - Fullerton, A. W. T1 - The effects of clumping on wind line variability N2 - We review the effects of clumping on the profiles of resonance doublets. By allowing the ratio of the doublet oscillator strenghts to be a free parameter, we demonstrate that doublet profiles contain more information than is normally utilized. In clumped (or porous) winds, this ratio can lies between unity and the ratio of the f-values, and can change as a function of velocity and time, depending on the fraction of the stellar disk that is covered by material moving at a particular velocity at a given moment. Using these insights, we present the results of SEI modeling of a sample of B supergiants, ζ Pup and a time series for a star whose terminal velocity is low enough to make the components of its Si VIλλ1400 independent. These results are interpreted within the framewrok of the Oskinova et al. (2007) model, and demonstrate how the doublet profiles can be used to extract infromation about wind structure. Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-18095 ER - TY - JOUR A1 - Mitchell, Don T1 - The end of culture? BT - culturalism and cultural geography in the Anglo-American “University of Excellence” JF - Geographische Revue : Zeitschrift für Literatur und Diskussion N2 - Content: -”Post-Culture” -Cultural Studies, Geography, and Culturalism -Taking Culture Seriously in the Post-Cultural World -Conclusion Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-24016 SN - 1438-3039 VL - 2 IS - 2 SP - 3 EP - 17 ER - TY - GEN A1 - Archer, Clive T1 - The EU, security and the Baltic region N2 - The end of the cold war division of the Baltic Sea in 1989, and the three Baltic states’ return to independence in 1991 created new opportunities for the decision-makers of the area, as well as new possibilities for fashioning security in the region. This article will examine the security debate affecting the Baltic Sea region in the post-cold war period, and in particular, the relevance of the European Union to that debate. The following section will examine various concepts of security relevant to the Baltic region; the third section looks at the EU and the Baltic area; and the last part deals with the implications that EU membership by the Baltic Sea states may have for the security of the Baltic Sea zone. Y1 - 1999 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-11453 ER - TY - CHAP A1 - Hirschi, Raphael T1 - The impact of reduced mass loss rates on the evolution of massive stars N2 - Mass loss is a very important aspect of the life of massive stars. After briefly reviewing its importance, we discuss the impact of the recently proposed downward revision of mass loss rates due to clumping (difficulty to form Wolf-Rayet stars and production of critically rotating stars). Although a small reduction might be allowed, large reduction factors around ten are disfavoured. We then discuss the possibility of significant mass loss at very low metallicity due to stars reaching break-up velocities and especially due to the metal enrichment of the surface of the star via rotational and convective mixing. This significant mass loss may help the first very massive stars avoid the fate of pair-creation supernova, the chemical signature of which is not observed in extremely metal poor stars. The chemical composition of the very low metallicity winds is very similar to that of the most metal poor star known to date, HE1327-2326 and offer an interesting explanation for the origin of the metals in this star. We also discuss the importance of mass loss in the context of long and soft gamma-ray bursts and pair-creation supernovae. Finally, we would like to stress that mass loss in cooler parts of the HR-diagram (luminous blue variable and yellow and red supergiant stages) are much more uncertain than in the hot part. More work needs to be done in these areas to better constrain the evolution of the most massive stars. Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-17616 ER - TY - CHAP A1 - Krtička, Jiri A1 - Puls, Joachim A1 - Kubát, Jiří T1 - The influence of clumping on predicted O star wind parameters N2 - We study the influence of clumping on the predicted wind structure of O-type stars. For this purpose we artificially include clumping into our stationary wind models. When the clumps are assumed to be optically thin, the radiative line force increases compared to corresponding unclumped models, with a similar effect on either the mass-loss rate or the terminal velocity (depending on the onset of clumping). Optically thick clumps, alternatively, might be able to decrease the radiative force. Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-17969 ER - TY - JOUR A1 - Endriss, Cornelia A1 - Hinterwimmer, Stefan T1 - The influence of tense in adverbial quantification JF - Interdisciplinary studies on information structure : ISIS ; working papers of the SFB 632 N2 - We argue that there is a crucial difference between determiner and adverbial quantification. Following Herburger [2000] and von Fintel [1994], we assume that determiner quantifiers quantify over individuals and adverbial quantifiers over eventualities. While it is usually assumed that the semantics of sentences with determiner quantifiers and those with adverbial quantifiers basically come out the same, we will show by way of new data that quantification over events is more restricted than quantification over individuals. This is because eventualities in contrast to individuals have to be located in time which is done using contextual information according to a pragmatic resolution strategy. If the contextual information and the tense information given in the respective sentence contradict each other, the sentence is uninterpretable. We conclude that this is the reason why in these cases adverbial quantification, i.e. quantification over eventualities, is impossible whereas quantification over individuals is fine. KW - Adverbial Quantification KW - Covert Variables KW - Domain Restriction KW - Quantificational Variability Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-8409 SN - 1866-4725 SN - 1614-4708 IS - 1 SP - 121 EP - 151 ER - TY - RPRT A1 - Marcus, Jan A1 - Siedler, Thomas A1 - Ziebarth, Nicolas R. T1 - The Long-Run Effects of Sports Club Vouchers for Primary School Children T2 - CEPA Discussion Papers N2 - Starting in 2009, the German state of Saxony distributed sports club membership vouchers among all 33,000 third graders in the state. The policy’s objective was to encourage them to develop a long-term habit of exercising. In 2018, we carried out a large register-based survey among several cohorts in Saxony and two neighboring states. Our difference-in-differences estimations show that, even after a decade, awareness of the voucher program was significantly higher in the treatment group. We also find that youth received and redeemed the vouchers. However, we do not find significant short- or long-term effects on sports club membership, physical activity, overweightness, or motor skills. T3 - CEPA Discussion Papers - 34 KW - physical activity KW - voucher KW - primary school KW - obesity KW - habit formation KW - objective health measures KW - school health examinations KW - windfall gains KW - crowding out KW - taxpayer subsidies Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-508978 SN - 2628-653X IS - 34 ER - TY - JOUR A1 - Verlaan, Stephanie T1 - The Misapplication of Western Conflict and Reconciliation Theories on New World Wars JF - Transitional Justice : Theoretical and Practical Approaches (Potsdamer Studien zu Staat, Recht und Politik ; 7) N2 - This chapter deals with the problem that theories of peace building, conflict resolution and reconciliation were predominately created in the West and, therefore, do not necessarily fit the understanding of peace, conflict, and resolution in non-Western societies and cultures. Within these societies, the acceptance of suffering may also be higher, which leads to different priorities of conflict resolution approaches. Furthermore, this chapter deals with the question of whether the current understanding of wars and the nature of conflict change the basis of established conflict theories. These theoretical approaches are then applied in Sierra Leone as a non-Western negotiation scenario. Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-570149 SN - 978-3-86956-473-9 SN - 1869-2443 SN - 1867-2663 IS - 7 SP - 11 EP - 38 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Nakano, Yoshiaki A1 - Izutsu, Katsunobu T1 - The new course of study and a prospect of information studies education in Japan JF - Commentarii informaticae didacticae : (CID) N2 - Japan launched the new Course of Study in April 2012, which has been carried out in elementary schools and junior high schools. It will also be implemented in senior high schools from April 2013. This article presents an overview of the information studies education in the new Course of Study for K-12. Besides, the authors point out what role experts of informatics and information studies education should play in the general education centered around information studies that is meant to help people of the nation to lead an active, powerful, and flexible life until the satisfying end. KW - General subject “Information” KW - Course of Study KW - Scientific understanding of Information KW - Information Ethics Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64522 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 89 EP - 96 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Große-Bölting, Gregor A1 - Scheppach, Lukas A1 - Mühling, Andreas T1 - The Place of Ethics in Computer Science Education JF - Hochschuldidaktik Informatik HDI 2021 (Commentarii informaticae didacticae) N2 - Ethical issues surrounding modern computing technologies play an increasingly important role in the public debate. Yet, ethics still either doesn’t appear at all or only to a very small extent in computer science degree programs. This paper provides an argument for the value of ethics beyond a pure responsibility perspective and describes the positive value of ethical debate for future computer scientists. It also provides a systematic analysis of the module handbooks of 67 German universities and shows that there is indeed a lack of ethics in computer science education. Finally, we present a principled design of a compulsory course for undergraduate students. KW - Ethics KW - Diversity KW - Social impact KW - Bachelor KW - Curriculum analysis KW - Course development Y1 - 2023 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-615982 SN - 978-3-86956-548-4 SN - 1868-0844 SN - 2191-1940 IS - 13 SP - 173 EP - 187 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Wassner, Dalia T1 - The Port Jew and Nuestra América BT - Narratives of Collective Responsibility and Belonging JF - PaRDeS : Journal of the Association for Jewish Studies in Germany JF - PaRDeS : Zeitschrift der Vereinigung für Jüdische Studien e.V. N2 - Jacob Brandon Maduro’s Memoirs and Related Observations (Havana, 1953) speak to the lasting yet malleable legacy of Jewish Caribbean/Atlantic mercantile communities that defined early modern settlement in the Americas. A close reading of the Memoirs, alongside relevant archival records and community narratives, lends new perspectives to scholarship on Port Jewries and the Atlantic Diaspora. Specifically concerned with Jacob’s adoption of such leading intellectual and political tropes as the Monroe doctrine, José Martí’s Nuestra America, and a Zionism that evolved from an ideology to a reality, the Memoirs reveal a narrative at once defined by the tremendous upheavals of the first half of the 20th century, and an enduring sense of Jewish diasporic peoplehood defined through a Port Jew paradigm whereby the preservation of Jewish ethnicity is understood as synonymous with the championing of modernity. Y1 - 2023 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-585580 SN - 978-3-86956-552-1 SN - 1614-6492 SN - 1862-7684 IS - 28 SP - 84 EP - 99 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - GEN A1 - Höhle, Barbara A1 - Schmitz, Michaela A1 - Müller, Anja A1 - Weissenborn, Jürgen T1 - The recognition of discontinuous verbal dependencies by German 19-month-olds : evidence for lexical and structural influences on children’s early processing capacities N2 - Recent work has shown that English-learning 18-month-olds can detect the relationship between discontinuous morphemes such as is and -ing in Grandma is always running (Gomez, 2002; Santelmann & Jusczyk, 1998) but only at a maximum of 3 intervening syllables. In this article we examine the tracking of discontinuous dependencies in children acquiring German. Due to freer word order, German allows for greater distances between dependent elements and a greater syntactic variety of the intervening elements than English does. The aim of this study was to investigate whether factors other than distance may influence the child’s capacity to recognize discontinuous elements. Our findings provide evidence that children’s recognition capacities are affected not only by distance but also by their ability to linguistically analyze the material intervening between the dependent elements. We speculate that this result supports the existence of processing mechanisms that reduce a discontinuous relation to a local one based on subcategorization relations. T3 - Zweitveröffentlichungen der Universität Potsdam : Humanwissenschaftliche Reihe - paper 024 Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-16297 ER - TY - JOUR A1 - Lessner, Daniel T1 - The role of algorithm in general secondary education revisited JF - Commentarii informaticae didacticae : (CID) N2 - The traditional purpose of algorithm in education is to prepare students for programming. In our effort to introduce the practically missing computing science into Czech general secondary education, we have revisited this purpose.We propose an approach, which is in better accordance with the goals of general secondary education in Czechia. The importance of programming is diminishing, while recognition of algorithmic procedures and precise (yet concise) communication of algorithms is gaining importance. This includes expressing algorithms in natural language, which is more useful for most of the students than programming. We propose criteria to evaluate such descriptions. Finally, an idea about the limitations is required (inefficient algorithms, unsolvable problems, Turing’s test). We describe these adjusted educational goals and an outline of the resulting course. Our experience with carrying out the proposed intentions is satisfactory, although we did not accomplish all the defined goals. KW - computing science education KW - general secondary education KW - mandatory computer science foundations KW - concept of algorithm Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64534 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 99 EP - 110 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Elbourne, Paul T1 - The Semantics of Ellipsis JF - Interdisciplinary studies on information structure : ISIS ; working papers of the SFB 632 N2 - There are four phenomena that are particularly troublesome for theories of ellipsis: the existence of sloppy readings when the relevant pronouns cannot possibly be bound; an ellipsis being resolved in such a way that an ellipsis site in the antecedent is not understood in the way it was there; an ellipsis site drawing material from two or more separate antecedents; and ellipsis with no linguistic antecedent. These cases are accounted for by means of a new theory that involves copying syntactically incomplete antecedent material and an analysis of silent VPs and NPs that makes them into higher order definite descriptions that can be bound into. KW - VP-ellipsis KW - NP-deletion KW - definite descriptions Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-8722 SN - 1866-4725 SN - 1614-4708 IS - 3 SP - 63 EP - 109 ER -