TY - CHAP A1 - Curzon, Paul A1 - Kalas, Ivan A1 - Schubert, Sigrid A1 - Schaper, Niclas A1 - Barnes, Jan A1 - Kennewell, Steve A1 - Bröker, Kathrin A1 - Kastens, Uwe A1 - Magenheim, Johannes A1 - Dagiene, Valentina A1 - Stupuriene, Gabriele A1 - Ellis, Jason Brent A1 - Abreu-Ellis, Carla Reis A1 - Grillenberger, Andreas A1 - Romeike, Ralf A1 - Haugsbakken, Halvdan A1 - Jones, Anthony A1 - Lewin, Cathy A1 - McNicol, Sarah A1 - Nelles, Wolfgang A1 - Neugebauer, Jonas A1 - Ohrndorf, Laura A1 - Schaper, Niclas A1 - Schubert, Sigrid A1 - Opel, Simone A1 - Kramer, Matthias A1 - Trommen, Michael A1 - Pottbäcker, Florian A1 - Ilaghef, Youssef A1 - Passig, David A1 - Tzuriel, David A1 - Kedmi, Ganit Eshel A1 - Saito, Toshinori A1 - Webb, Mary A1 - Weigend, Michael A1 - Bottino, Rosa A1 - Chioccariello, Augusto A1 - Christensen, Rhonda A1 - Knezek, Gerald A1 - Gioko, Anthony Maina A1 - Angondi, Enos Kiforo A1 - Waga, Rosemary A1 - Ohrndorf, Laura A1 - Or-Bach, Rachel A1 - Preston, Christina A1 - Younie, Sarah A1 - Przybylla, Mareen A1 - Romeike, Ralf A1 - Reynolds, Nicholas A1 - Swainston, Andrew A1 - Bendrups, Faye A1 - Sysło, Maciej M. A1 - Kwiatkowska, Anna Beata A1 - Zieris, Holger A1 - Gerstberger, Herbert A1 - Müller, Wolfgang A1 - Büchner, Steffen A1 - Opel, Simone A1 - Schiller, Thomas A1 - Wegner, Christian A1 - Zender, Raphael A1 - Lucke, Ulrike A1 - Diethelm, Ira A1 - Syrbe, Jörn A1 - Lai, Kwok-Wing A1 - Davis, Niki A1 - Eickelmann, Birgit A1 - Erstad, Ola A1 - Fisser, Petra A1 - Gibson, David A1 - Khaddage, Ferial A1 - Knezek, Gerald A1 - Micheuz, Peter A1 - Kloos, Carlos Delgado ED - Brinda, Torsten ED - Reynolds, Nicholas ED - Romeike, Ralf ED - Schwill, Andreas T1 - KEYCIT 2014 BT - key competencies in informatics and ICT N2 - In our rapidly changing world it is increasingly important not only to be an expert in a chosen field of study but also to be able to respond to developments, master new approaches to solving problems, and fulfil changing requirements in the modern world and in the job market. In response to these needs key competencies in understanding, developing and using new digital technologies are being brought into focus in school and university programmes. The IFIP TC3 conference "KEYCIT – Key Competences in Informatics and ICT (KEYCIT 2014)" was held at the University of Potsdam in Germany from July 1st to 4th, 2014 and addressed the combination of key competencies, Informatics and ICT in detail. The conference was organized into strands focusing on secondary education, university education and teacher education (organized by IFIP WGs 3.1 and 3.3) and provided a forum to present and to discuss research, case studies, positions, and national perspectives in this field. T3 - Commentarii informaticae didacticae (CID) - 7 KW - Schlüsselkompetenzen KW - Informatik KW - Bildung KW - ICT KW - Informatikdidaktik KW - Key Competencies KW - Informatics KW - education KW - ICT KW - Computer Science Education Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-70325 SN - 978-3-86956-292-6 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - CHAP A1 - Reimer, O. A1 - Aharonian, Felix A. A1 - Hinton, J. A1 - Hofmann, W. A1 - Hoppe, S. A1 - Raue, M. A1 - Reimer, A. T1 - VHE gamma-rays from Westerlund 2 and implications for the inferred energetics N2 - The H.E.S.S. collaboration recently reported the discovery of VHE γ-ray emission coincident with the young stellar cluster Westerlund 2. This system is known to host a population of hot, massive stars, and, most particularly, the WR binary WR 20a. Particle acceleration to TeV energies in Westerlund 2 can be accomplished in several alternative scenarios, therefore we only discuss energetic constraints based on the total available kinetic energy in the system, the actual mass loss rates of respective cluster members, and implied gamma-ray production from processes such as inverse Compton scattering or neutral pion decay. From the inferred gammaray luminosity of the order of 1035erg/s, implications for the efficiency of converting available kinetic energy into non-thermal radiation associated with stellar winds in the Westerlund 2 cluster are discussed under consideration of either the presence or absence of wind clumping. Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-18172 ER - TY - BOOK A1 - Weiß, Norman A1 - Verlaan, Stephanie A1 - Vasquez Carruthers, Juan Francisco A1 - Mair, Theresa A1 - Conner, Sean A1 - Maaser, Lucas A1 - Röthlisberger, Livia ED - Weiß, Norman T1 - Transitional Justice BT - Theoretical and Practical Approaches T3 - Potsdamer Studien zu Staat, Recht und Politik N2 - This publication deals with the topic of transitional justice. In six case studies, the authors link theoretical and practical implications in order to develop some innovative approaches. Their proposals might help to deal more effectively with the transition of societies, legal orders and political systems. Young academics from various backgrounds provide fresh insights and demonstrate the relevance of the topic. The chapters analyse transitions and conflicts in Sierra Leone, Argentina, Nicaragua, Nepal, and South Sudan as well as Germany’s colonial genocide in Namibia. Thus, the book provides the reader with new insights and contributes to the ongoing debate about transitional justice. N2 - Gegenstand dieser Publikation ist das Thema „Transitional Justice“. In sechs Fallstudien verknüpfen die Autoren theoretische und praktische Implikationen, um innovative Ansätze zu entwickeln. Ihre Vorschläge wollen dazu beitragen, den Übergangsprozess von Gesellschaften, Rechtsordnungen und politischen Systemen effektiver zu gestalten. Nachwuchswissenschaftler mit unterschiedlichem fachlichem Hintergrund geben hier neue Einblicke und zeigen die fortdauernde Relevanz des Themas. Die Kapitel analysieren Übergänge und Konflikte in Sierra Leone, Argentinien, Nicaragua, Nepal und Süd-Sudan sowie den kolonialen Völkermord in Namibia. So liefert das Buch dem Leser neue Erkenntnisse und trägt zur laufenden Debatte über das Thema „Transitional Justice“ bei. T3 - Potsdamer Studien zu Staat, Recht und Politik - 7 KW - transitional justice KW - transformation KW - transformative justice KW - reconciliation KW - political opportunism KW - Übergangsjustiz KW - Transformation KW - Versöhnung KW - Demokratisierung Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-431711 SN - 978-3-86956-473-9 SN - 1869-2443 SN - 1867-2663 IS - 7 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - THES A1 - Müller, Melanie J. I. T1 - Bidirectional transport by molecular motors T1 - Bidirektionaler Transport durch molekulare Motoren N2 - In biological cells, the long-range intracellular traffic is powered by molecular motors which transport various cargos along microtubule filaments. The microtubules possess an intrinsic direction, having a 'plus' and a 'minus' end. Some molecular motors such as cytoplasmic dynein walk to the minus end, while others such as conventional kinesin walk to the plus end. Cells typically have an isopolar microtubule network. This is most pronounced in neuronal axons or fungal hyphae. In these long and thin tubular protrusions, the microtubules are arranged parallel to the tube axis with the minus ends pointing to the cell body and the plus ends pointing to the tip. In such a tubular compartment, transport by only one motor type leads to 'motor traffic jams'. Kinesin-driven cargos accumulate at the tip, while dynein-driven cargos accumulate near the cell body. We identify the relevant length scales and characterize the jamming behaviour in these tube geometries by using both Monte Carlo simulations and analytical calculations. A possible solution to this jamming problem is to transport cargos with a team of plus and a team of minus motors simultaneously, so that they can travel bidirectionally, as observed in cells. The presumably simplest mechanism for such bidirectional transport is provided by a 'tug-of-war' between the two motor teams which is governed by mechanical motor interactions only. We develop a stochastic tug-of-war model and study it with numerical and analytical calculations. We find a surprisingly complex cooperative motility behaviour. We compare our results to the available experimental data, which we reproduce qualitatively and quantitatively. N2 - In biologischen Zellen transportieren molekulare Motoren verschiedenste Frachtteilchen entlang von Mikrotubuli-Filamenten. Die Mikrotubuli-Filamente besitzen eine intrinsische Richtung: sie haben ein "Plus-" und ein "Minus-"Ende. Einige molekulare Motoren wie Dynein laufen zum Minus-Ende, während andere wie Kinesin zum Plus-Ende laufen. Zellen haben typischerweise ein isopolares Mikrotubuli-Netzwerk. Dies ist besonders ausgeprägt in neuronalen Axonen oder Pilz-Hyphen. In diesen langen röhrenförmigen Ausstülpungen liegen die Mikrotubuli parallel zur Achse mit dem Minus-Ende zum Zellkörper und dem Plus-Ende zur Zellspitze gerichtet. In einer solchen Röhre führt Transport durch nur einen Motor-Typ zu "Motor-Staus". Kinesin-getriebene Frachten akkumulieren an der Spitze, während Dynein-getriebene Frachten am Zellkörper akkumulieren. Wir identifizieren die relevanten Längenskalen und charakterisieren das Stauverhalten in diesen Röhrengeometrien mit Hilfe von Monte-Carlo-Simulationen und analytischen Rechnungen. Eine mögliche Lösung für das Stauproblem ist der Transport mit einem Team von Plus- und einem Team von Minus-Motoren gleichzeitig, so dass die Fracht sich in beide Richtungen bewegen kann. Dies wird in Zellen tatsächlich beobachtet. Der einfachste Mechanismus für solchen bidirektionalen Transport ist ein "Tauziehen" zwischen den beiden Motor-Teams, das nur mit mechanischer Interaktion funktioniert. Wir entwickeln ein stochastisches Tauzieh-Modell, das wir mit numerischen und analytischen Rechnungen untersuchen. Es ergibt sich ein erstaunlich komplexes Motilitätsverhalten. Wir vergleichen unsere Resultate mit den vorhandenen experimentellen Daten, die wir qualitativ und quantitativ reproduzieren. KW - molekulare Motoren KW - bidirektionaler intrazellulärer Transport KW - Tauziehen KW - stochastische Prozesse KW - kooperative Phänomene KW - molecular motors KW - bidirectional intracellular transport KW - tug-of-war KW - stochastic processes KW - cooperative phenomena Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-18715 ER - TY - CHAP A1 - Banda, Gourinath A1 - Gallagher, John P. T1 - Constraint-based abstraction of a model checker for infinite state systems N2 - Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver. Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41516 ER - TY - JOUR A1 - Benacka, Jan T1 - BubbleSort, SelectSort and InsertSort in Excel & Delphi BT - learning the Concepts in a Constructionist Way JF - Commentarii informaticae didacticae : (CID) N2 - A method is presented of acquiring the principles of three sorting algorithms through developing interactive applications in Excel. KW - spreadsheets KW - sorting KW - constructionism Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64636 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 153 EP - 154 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Ragonis, Noa T1 - Problem-solving strategies must be taught implicitly JF - Commentarii informaticae didacticae : (CID) N2 - Problem solving is one of the central activities performed by computer scientists as well as by computer science learners. Whereas the teaching of algorithms and programming languages is usually well structured within a curriculum, the development of learners’ problem-solving skills is largely implicit and less structured. Students at all levels often face difficulties in problem analysis and solution construction. The basic assumption of the workshop is that without some formal instruction on effective strategies, even the most inventive learner may resort to unproductive trial-and-error problemsolving processes. Hence, it is important to teach problem-solving strategies and to guide teachers on how to teach their pupils this cognitive tool. Computer science educators should be aware of the difficulties and acquire appropriate pedagogical tools to help their learners gain and experience problem-solving skills. KW - Problem solving KW - Problem solving strategies KW - Teaching problem solving strategies Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64645 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 155 EP - 157 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Sentance, Sue A1 - Hodges, Steve T1 - .NET Gadgeteer Workshop JF - Commentarii informaticae didacticae : (CID) Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64654 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 159 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Berry, Carol A1 - Kusterer, Peter T1 - Using Teachers’ TryScience to support educators and improve teaching JF - Commentarii informaticae didacticae : (CID) N2 - The challenge is providing teachers with the resources they need to strengthen their instructions and better prepare students for the jobs of the 21st Century. Technology can help meet the challenge. Teachers’ Tryscience is a noncommercial offer, developed by the New York Hall of Science, TeachEngineering, the National Board for Professional Teaching Standards and IBM Citizenship to provide teachers with such resources. The workshop provides deeper insight into this tool and discussion of how to support teaching of informatics in schools. KW - science KW - teacher KW - collaboration KW - teaching material KW - instruction KW - lesson KW - social networking Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64665 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 161 EP - 162 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Gujberová, Monika A1 - Tomcsányi, Peter T1 - Environments for programming in primary education JF - Commentarii informaticae didacticae : (CID) N2 - The aim of our article is to collect and present information about contemporary programming environments that are suitable for primary education. We studied the ways they implement (or do not implement) some programming concepts, the ways programs are represented and built in order to support young and novice programmers, as well as their suitability to allow different forms of sharing the results of pupils’ work. We present not only a short description of each considered environment and the taxonomy in the form of a table, but also our understanding and opinions on how and why the environments implement the same concepts and ideas in different ways and which concepts and ideas seem to be important to the creators of such environments. KW - Primary informatics KW - Programming environments for children KW - Comparing programming environments Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64499 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 53 EP - 60 PB - Universitätsverlag Potsdam CY - Potsdam ER -