TY - JOUR A1 - Spikes, Montrai A1 - Rodríguez-Silva, Rodet A1 - Bennett, Kerri-Ann A1 - Bräger, Stefan A1 - Josaphat, James A1 - Torres-Pineda, Patricia A1 - Ernst, Anja A1 - Havenstein, Katja A1 - Schlupp, Ingo A1 - Tiedemann, Ralph T1 - A phylogeny of the genus Limia (Teleostei: Poeciliidae) suggests a single-lake radiation nested in a Caribbean-wide allopatric speciation scenario JF - BMC Research Notes N2 - Objective The Caribbean is an important global biodiversity hotspot. Adaptive radiations there lead to many speciation events within a limited period and hence are particularly prominent biodiversity generators. A prime example are freshwater fish of the genus Limia, endemic to the Greater Antilles. Within Hispaniola, nine species have been described from a single isolated site, Lake Miragoâne, pointing towards extraordinary sympatric speciation. This study examines the evolutionary history of the Limia species in Lake Miragoâne, relative to their congeners throughout the Caribbean. Results For 12 Limia species, we obtained almost complete sequences of the mitochondrial cytochrome b gene, a well-established marker for lower-level taxonomic relationships. We included sequences of six further Limia species from GenBank (total N  = 18 species). Our phylogenies are in concordance with other published phylogenies of Limia. There is strong support that the species found in Lake Miragoâne in Haiti are monophyletic, confirming a recent local radiation. Within Lake Miragoâne, speciation is likely extremely recent, leading to incomplete lineage sorting in the mtDNA. Future studies using multiple unlinked genetic markers are needed to disentangle the relationships within the Lake Miragoâne clade. KW - Cytochrome b KW - Island biogeography KW - Fresh water fish KW - Phylogeny Y1 - 2021 U6 - https://doi.org/10.1186/s13104-021-05843-x SN - 1756-0500 VL - 14 SP - 1 EP - 8 PB - BMC Research Notes / Biomed Central CY - London ER - TY - JOUR A1 - Krüger, Johanna A1 - Foerster, Verena Elisabeth A1 - Trauth, Martin H. A1 - Hofreiter, Michael A1 - Tiedemann, Ralph T1 - Exploring the Past Biosphere of Chew Bahir/Southern Ethiopia: Cross-Species Hybridization Capture of Ancient Sedimentary DNA from a Deep Drill Core JF - Frontiers in Earth Science N2 - Eastern Africa has been a prime target for scientific drilling because it is rich in key paleoanthropological sites as well as in paleolakes, containing valuable paleoclimatic information on evolutionary time scales. The Hominin Sites and Paleolakes Drilling Project (HSPDP) explores these paleolakes with the aim of reconstructing environmental conditions around critical episodes of hominin evolution. Identification of biological taxa based on their sedimentary ancient DNA (sedaDNA) traces can contribute to understand past ecological and climatological conditions of the living environment of our ancestors. However, sedaDNA recovery from tropical environments is challenging because high temperatures, UV irradiation, and desiccation result in highly degraded DNA. Consequently, most of the DNA fragments in tropical sediments are too short for PCR amplification. We analyzed sedaDNA in the upper 70 m of the composite sediment core of the HSPDP drill site at Chew Bahir for eukaryotic remnants. We first tested shotgun high throughput sequencing which leads to metagenomes dominated by bacterial DNA of the deep biosphere, while only a small fraction was derived from eukaryotic, and thus probably ancient, DNA. Subsequently, we performed cross-species hybridization capture of sedaDNA to enrich ancient DNA (aDNA) from eukaryotic remnants for paleoenvironmental analysis, using established barcoding genes (cox1 and rbcL for animals and plants, respectively) from 199 species that may have had relatives in the past biosphere at Chew Bahir. Metagenomes yielded after hybridization capture are richer in reads with similarity to cox1 and rbcL in comparison to metagenomes without prior hybridization capture. Taxonomic assignments of the reads from these hybridization capture metagenomes also yielded larger fractions of the eukaryotic domain. For reads assigned to cox1, inferred wet periods were associated with high inferred relative abundances of putative limnic organisms (gastropods, green algae), while inferred dry periods showed increased relative abundances for insects. These findings indicate that cross-species hybridization capture can be an effective approach to enhance the information content of sedaDNA in order to explore biosphere changes associated with past environmental conditions, enabling such analyses even under tropical conditions. KW - Chew Bahir KW - hybridization capture KW - ICDP KW - paleoclimate KW - past biosphere KW - sedaDNA KW - sediment core Y1 - 2021 U6 - https://doi.org/10.3389/feart.2021.683010 SN - 2296-6463 SP - 1 EP - 20 PB - Frontiers in Earth Science CY - Lausanne, Schweiz 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 - TY - JOUR A1 - Dagiene, Valentina A1 - Jevsikova, Tatjana A1 - Schule, Carsten A1 - Sentance, Sue A1 - Thota, Neena T1 - A comparison of current trends within computer science teaching in school in Germany and the UK JF - Commentarii informaticae didacticae : (CID) N2 - In the last two years, CS as a school subject has gained a lot of attention worldwide, although different countries have differing approaches to and experiences of introducing CS in schools. This paper reports on a study comparing current trends in CS at school, with a major focus on two countries, Germany and UK. A survey was carried out of a number of teaching professionals and experts from the UK and Germany with regard to the content and delivery of CS in school. An analysis of the quantitative data reveals a difference in foci in the two countries; putting this into the context of curricular developments we are able to offer interpretations of these trends and suggest ways in which curricula in CS at school should be moving forward. KW - CS Ed Research KW - ICT KW - CS at school KW - CS curriculum KW - topics KW - international comparison KW - international study Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64504 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 63 EP - 75 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Gülbahar, Yasemin A1 - Ilkhan, Mustafa A1 - Kilis, Selcan A1 - Arslan, Okan T1 - Informatics education in Turkey BT - national ICT curriculum and teacher training at elementary level JF - Commentarii informaticae didacticae : (CID) N2 - This article is a summary of the work carried out by the Ministry of Education in Turkey, in terms of the development of a new ICT Curriculum, together with the e-Training of teachers who will play an important role in the forthcoming pilot study. Based on recent literature on the topic, the article starts by introducing the “F@tih Project”, a national project that aims to effectively integrate technology into schools. After assessing teachers’ and students’ ICT competencies, as defined internationally, the review continues with the proposed model for the e-training of teachers. Summarizing the process of development of the new ICT curriculum, researchers underline key points of the curriculum such as dimensions, levels and competencies. Then teachers’ e-training approaches, together with selected tools, are explained in line with the importance and stages of action research that will be used throughout the pilot implementation of the curriculum and e-training process. KW - informatics education KW - ICT curriculum KW - teacher training Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64517 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 77 EP - 87 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 - 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 - Reffay, Christophe A1 - Miled, Mahdi A1 - Ortiz, Pascal A1 - Février, Loic T1 - An epistemic hypermedia to learn python as a resource for an introductory course for algorithmic in France JF - Commentarii informaticae didacticae : (CID) N2 - We launched an original large-scale experiment concerning informatics learning in French high schools. We are using the France-IOI platform to federate resources and share observation for research. The first step is the implementation of an adaptive hypermedia based on very fine grain epistemic modules for Python programming learning. We define the necessary traces to be built in order to study the trajectories of navigation the pupils will draw across this hypermedia. It may be browsed by pupils either as a course support, or an extra help to solve the list of exercises (mainly for algorithmics discovery). By leaving the locus of control to the learner, we want to observe the different trajectories they finally draw through our system. These trajectories may be abstracted and interpreted as strategies and then compared for their relative efficiency. Our hypothesis is that learners have different profiles and may use the appropriate strategy accordingly. This paper presents the research questions, the method and the expected results. KW - Adaptive hypermedia KW - Navigation KW - Programming learning KW - Pytho n KW - Trajectories Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64545 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 111 EP - 118 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Grgurina, Nataša T1 - Computational thinking in Dutch secondary education JF - Commentarii informaticae didacticae : (CID) N2 - We shall examine the Pedagogical Content Knowledge (PCK) of Computer Science (CS) teachers concerning students’ Computational Thinking (CT) problem solving skills within the context of a CS course in Dutch secondary education and thus obtain an operational definition of CT and ascertain appropriate teaching methodology. Next we shall develop an instrument to assess students’ CT and design a curriculum intervention geared toward teaching and improving students’ CT problem solving skills and competences. As a result, this research will yield an operational definition of CT, knowledge about CT PCK, a CT assessment instrument and teaching materials and accompanying teacher instructions. It shall contribute to CS teacher education, development of CT education and to education in other (STEM) subjects where CT plays a supporting role, both nationally and internationally. KW - computational thinking KW - situated learning KW - engaged computing KW - computer science Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64556 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 119 EP - 123 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Weise, Martin T1 - A model for teaching informatics to German secondary school students in English-language bilingual education JF - Commentarii informaticae didacticae : (CID) N2 - Informatics as a school subject has been virtually absent from bilingual education programs in German secondary schools. Most bilingual programs in German secondary education started out by focusing on subjects from the field of social sciences. Teachers and bilingual curriculum experts alike have been regarding those as the most suitable subjects for bilingual instruction – largely due to the intercultural perspective that a bilingual approach provides. And though one cannot deny the gain that ensues from an intercultural perspective on subjects such as history or geography, this benefit is certainly not limited to social science subjects. In consequence, bilingual curriculum designers have already begun to include other subjects such as physics or chemistry in bilingual school programs. It only seems a small step to extend this to informatics. This paper will start out by addressing potential benefits of adding informatics to the range of subjects taught as part of English-language bilingual programs in German secondary education. In a second step it will sketch out a methodological (= didactical) model for teaching informatics to German learners through English. It will then provide two items of hands-on and tested teaching material in accordance with this model. The discussion will conclude with a brief outlook on the chances and prerequisites of firmly establishing informatics as part of bilingual school curricula in Germany. Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64568 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 127 EP - 137 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Bellettini, Carlo A1 - Lonati, Violetta A1 - Malchiodi, Dario A1 - Monga, Mattia A1 - Morpurgo, Anna A1 - Torelli, Mauro T1 - What you see is what you have in mind BT - constructing mental models for formatted text processing JF - Commentarii informaticae didacticae : (CID) N2 - In this paper we report on our experiments in teaching computer science concepts with a mix of tangible and abstract object manipulations. The goal we set ourselves was to let pupils discover the challenges one has to meet to automatically manipulate formatted text. We worked with a group of 25 secondary school pupils (9-10th grade), and they were actually able to “invent” the concept of mark-up language. From this experiment we distilled a set of activities which will be replicated in other classes (6th grade) under the guidance of maths teachers. Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64612 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 139 EP - 147 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - JOUR A1 - Planteu, Lukas A1 - Standl, Bernhard A1 - Grossmann, Wilfried A1 - Neuwirth, Erich T1 - Integrating school practice in Austrian teacher education JF - Commentarii informaticae didacticae : (CID) N2 - We present a concept of better integration of practical teaching in student teacher education in Computer Science. As an introduction to the workshop different possible scenarios are discussed on the basis of examples. Afterwards workshop participants will have the opportunity to discuss the application of the aconcepts in other settings. Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-64628 SN - 1868-0844 SN - 2191-1940 IS - 6 SP - 151 EP - 152 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - THES A1 - Lenz, Josefine T1 - Thermokarst dynamics in central-eastern Beringia T1 - Thermokarstdynamik im zentral-östlichen Beringia BT - insights from permafrost and lacustrine sediment cores BT - Einblicke durch Permafrost- und Seesedimentkerne N2 - Widespread landscape changes are presently observed in the Arctic and are most likely to accelerate in the future, in particular in permafrost regions which are sensitive to climate warming. To assess current and future developments, it is crucial to understand past environmental dynamics in these landscapes. Causes and interactions of environmental variability can hardly be resolved by instrumental records covering modern time scales. However, long-term environmental variability is recorded in paleoenvironmental archives. Lake sediments are important archives that allow reconstruction of local limnogeological processes as well as past environmental changes driven directly or indirectly by climate dynamics. This study aims at reconstructing Late Quaternary permafrost and thermokarst dynamics in central-eastern Beringia, the terrestrial land mass connecting Eurasia and North America during glacial sea-level low stands. In order to investigate development, processes and influence of thermokarst dynamics, several sediment cores from extant lakes and drained lake basins were analyzed to answer the following research questions: 1. When did permafrost degradation and thermokarst lake development take place and what were enhancing and inhibiting environmental factors? 2. What are the dominant processes during thermokarst lake development and how are they reflected in proxy records? 3. How did, and still do, thermokarst dynamics contribute to the inventory and properties of organic matter in sediments and the carbon cycle? Methods applied in this study are based upon a multi-proxy approach combining sedimentological, geochemical, geochronological, and micropaleontological analyses, as well as analyses of stable isotopes and hydrochemistry of pore-water and ice. Modern field observations of water quality and basin morphometrics complete the environmental investigations. The investigated sediment cores reveal permafrost degradation and thermokarst dynamics on different time scales. The analysis of a sediment core from GG basin on the northern Seward Peninsula (Alaska) shows prevalent terrestrial accumulation of yedoma throughout the Early to Mid Wisconsin with intermediate wet conditions at around 44.5 to 41.5 ka BP. This first wetland development was terminated by the accumulation of a 1-meter-thick airfall tephra most likely originating from the South Killeak Maar eruption at 42 ka BP. A depositional hiatus between 22.5 and 0.23 ka BP may indicate thermokarst lake formation in the surrounding of the site which forms a yedoma upland till today. The thermokarst lake forming GG basin initiated 230 ± 30 cal a BP and drained in Spring 2005 AD. Four years after drainage the lake talik was still unfrozen below 268 cm depth. A permafrost core from Mama Rhonda basin on the northern Seward Peninsula preserved a full lacustrine record including several lake phases. The first lake generation developed at 11.8 cal ka BP during the Lateglacial-Early Holocene transition; its old basin (Grandma Rhonda) is still partially preserved at the southern margin of the study basin. Around 9.0 cal ka BP a shallow and more dynamic thermokarst lake developed with actively eroding shorelines and potentially intermediate shallow water or wetland phases (Mama Rhonda). Mama Rhonda lake drainage at 1.1 cal ka BP was followed by gradual accumulation of terrestrial peat and top-down refreezing of the lake talik. A significant lower organic carbon content was measured in Grandma Rhonda deposits (mean TOC of 2.5 wt%) than in Mama Rhonda deposits (mean TOC of 7.9 wt%) highlighting the impact of thermokarst dynamics on biogeochemical cycling in different lake generations by thawing and mobilization of organic carbon into the lake system. Proximal and distal sediment cores from Peatball Lake on the Arctic Coastal Plain of Alaska revealed young thermokarst dynamics since about 1,400 years along a depositional gradient based on reconstructions from shoreline expansion rates and absolute dating results. After its initiation as a remnant pond of a previous drained lake basin, a rapidly deepening lake with increasing oxygenation of the water column is evident from laminated sediments, and higher Fe/Ti and Fe/S ratios in the sediment. The sediment record archived characterizing shifts in depositional regimes and sediment sources from upland deposits and re-deposited sediments from drained thaw lake basins depending on the gradually changing shoreline configuration. These changes are evident from alternating organic inputs into the lake system which highlights the potential for thermokarst lakes to recycle old carbon from degrading permafrost deposits of its catchment. The lake sediment record from Herschel Island in the Yukon (Canada) covers the full Holocene period. After its initiation as a thermokarst lake at 11.7 cal ka BP and intense thermokarst activity until 10.0 cal ka BP, the steady sedimentation was interrupted by a depositional hiatus at 1.6 cal ka BP which likely resulted from lake drainage or allochthonous slumping due to collapsing shore lines. The specific setting of the lake on a push moraine composed of marine deposits is reflected in the sedimentary record. Freshening of the maturing lake is indicated by decreasing electrical conductivity in pore-water. Alternation of marine to freshwater ostracods and foraminifera confirms decreasing salinity as well but also reflects episodical re-deposition of allochthonous marine sediments. Based on permafrost and lacustrine sediment records, this thesis shows examples of the Late Quaternary evolution of typical Arctic permafrost landscapes in central-eastern Beringia and the complex interaction of local disturbance processes, regional environmental dynamics and global climate patterns. This study confirms that thermokarst lakes are important agents of organic matter recycling in complex and continuously changing landscapes. N2 - Derzeit werden deutliche Landschaftsveränderungen in der Arktis beobachtet, welche sich höchstwahrscheinlich zukünftig v.a. in den Permafrostregionen verstärken, da diese besonders empfindlich auf Klimaveränderungen reagieren. Um derzeitige und zukünftige Entwicklungen einschätzen zu können, ist es wichtig vergangene Umweltprozesse zu verstehen. Ursachen und Wechselwirkungen von Umweltveränderungen können nur bedingt durch instrumentelle Aufzeichnungen erklärt werden, doch Paleo-Umweltarchive können weit in die Vergangenheit reichende Umweltdynamiken aufzeichnen. Seesedimente sind wichtige Archive, die lokale limnogeologische Prozesse, aber auch direkt oder indirekt klimatisch gesteuerte Umweltveränderungen der Vergangenheit aufzeichnen. Ziel der vorliegenden Arbeit ist es, spätquartäre Permafrost- und Thermokarstdynamik im zentral-östlichen Beringia zu rekonstruieren. Beringia umfasst jene terrestrische Landmasse, welche Eurasien und Nord-Amerika zu Zeiten von Meeresspiegeltiefständen verband. Um die Entwicklung, die Prozesse und den Einfluss von Thermokarstdynamik zu untersuchen, wurden mehrere Sedimentkerne von rezenten Seen und ausgelaufenen Seebecken analysiert, um folgende Forschungsfragen zu beantworten: 1. Zu welcher Zeit degradierte Permafrost und wann entwickelten sich Thermokarstseen? Was waren hemmende oder verstärkende Faktoren? 2. Was sind dominierende Prozesse während der Entwicklung von Thermokarstseen und wie spiegeln sich diese in Proxy-Aufzeichnungen wieder? 3. Wie hat Thermokarstdynamik damals und heute zur Bedeutung von organischer Substanz in Sedimenten und im Kohlenstoffkreislauf beigetragen? Die in dieser Arbeit angewandten Methoden basieren auf einem sogenannten „multi-proxy“ Ansatz, der sedimentologische, geochemische, geochronologische und mikropaläontologische Analysen, sowie die Untersuchung von stabilen Isotopen und die Hydrochemie von Porenwasser und -eis, verbindet. Feldmessungen der modernen Wasserqualität und Beckenmorphometrie komplettieren die Umweltuntersuchungen. Auf Grundlage der untersuchten Sedimentkerne lässt sich die Degradation von Permafrost und die Dynamik von Thermokarst auf zeitlich verschiedenen Skalen rekonstruieren. Die Analyse eines Sedimentkerns vom GG-Becken auf der nördlichen Seward-Halbinsel (Alaska) zeigt eine vorwiegend terrestrische Akkumulation von Yedoma während des Früh- und Mittel-Wisconsin mit zwischenzeitlich feuchteren Verhältnissen zwischen 44,5 und 41,5 ka BP. Diese frühe Feuchtgebietsphase wurde durch die Akkumulation einer 1 m dicken Tephra-Lage beendet, welche sehr wahrscheinlich von der Eruption des heutigen South Killeak Maar vor etwa 42.000 Jahren stammt. Eine Schichtlücke im Sedimentkern von etwa 22,5 und 0,23 ka BP gibt einen Hinweis auf Thermokarstentwicklung in der Umgebung der Kernlokation, welche bis heute ein Yedoma-Rudiment bildet. Der Thermokarstsee, der GG-Becken formte, entstand 230 ± 30 cal a BP und drainierte im Frühling 2005 AD. Vier Jahre nach der Drainage war der Talik des Sees in einer Tiefe von 268 cm noch ungefroren. Ein Permafrostkern vom Mama Rhonda-Becken auf der nördlichen Seward-Halbinsel archivierte eine vollständige limnische Fazies mit mehreren Seephasen. Die erste Seegeneration entstand am Übergang vom Spätglazial zum Frühholozän um etwa 11,8 cal ka BP; das alte Seebecken (Grandma Rhonda) ist bis heute südlich der Kernlokation erhalten. Etwa um 9,0 cal ka BP entwickelte sich ein eher flaches und dynamisches Seesystem mit aktiv erodierenden Ufern und potenziell zwischengeschalteten Flachwasser- oder Feuchtgebietsphasen (Mama Rhonda). Die Drainage vom Mama Rhonda-See etwa 1,1 cal ka BP wurde gefolgt von gradueller Torfakkumulation und einem von oben zurückfrierenden See-Talik Es wurde ein deutlich geringerer organischer Kohlenstoff-Gehalt in Grandma Rhonda-Ablagerungen (TOC im Mittel 2,5 Gew.-%) festgestellt, als in Mama Rhonda Ablagerungen (TOC im Mittel 7,9 Gew.-%). Dies zeigt den bedeutenden Einfluss von Thermokarst auf biogeochemische Kreisläufe, da in verschiedenen Seegenerationen organischen Kohlenstoff durch Permafrost-Tauen im Seesystem mobilisiert wird. Seesedimentkerne aus der Uferzone und dem zentralen Bereich von Peatball Lake auf der Arktischen Küstenebene von Alaska, ergaben eine junge Thermokarstdynamik von 1.400 Jahren, welche auf der Basis von absoluten Datierungen und Uferexpansionsraten rekonstruiert wurde. Nach der Seeinitiierung als Rest-See eines zuvor ausgelaufenen Seebeckens, vertiefte sich Peatball Lake verhältnismäßig schnell mit zunehmender Sauerstoffanreicherung der Wassersäule, wie aus laminierten Sedimenten und hohen Fe/Ti- und Fe/S-Verhältnissen im Sediment ersichtlich ist. Die Sedimente von Peatball Lake archivierten einen Wechsel des Ablagerungsregimes bei Ausdehnung der Seefläche und einen Wechsel der Sedimentquelle von ursprünglichen, rein terrestrischen Ablagerungen und bereits umgelagerten Sedimenten aus drainierten Seebecken. Angezeigt wird dieser Wechsel durch eine Veränderung im Eintrag organischen Materials in das Seesystem, was wiederum das Potential von Thermokarstseen bei der Aufarbeitung alten Kohlenstoffs aus degradierendem Permafrost im Einzugsgebiet verdeutlicht. Der Seesedimentkern von der Herschel Insel im Yukon (Kanada) deckt das gesamte Holozän ab. Nach der Seeentstehung um 11,7 cal ka BP und einer Zeit intensiver Thermokarstaktivität bis 11,0 cal ka BP, wird die Phase einer eher kontinuierlichen Sedimentation von einer Schichtlücke um 1,6 cal ka BP unterbrochen. Diese wurde entweder durch die Drainage des Sees oder einer allochthonen Rutschung instabiler Uferlinien verursacht. Die spezielle Situation des Sees auf einer Stauchendmoräne aus marinem Material spiegelt sich auch in dem Seesedimentarchiv wieder. Das Aussüßen des wachsenden Sees wird durch die abnehmende elektrische Leitfähigkeit im Porenwasser angezeigt. Der Wechsel von marinen und Süßwasserostrakoden- und Foraminiferengemeinschaften bestätigt zum einen die abnehmende Salinität des Sees, aber zeigt zum anderen auch episodische Umlagerung von allochthonem, marinem Sediment. Auf der Grundlange von Permafrost- und Seesedimentkernen zeigt diese Arbeit Beispiele spätquartärer Entwicklungsgeschichte typischer Arktischer Permafrostlandschaften im zentral-östlichen Beringia. Es werden komplexe Zusammenhänge zwischen lokalen Störungsprozessen, regionaler Umweltdynamik und globalen Klimaveränderungen aufgezeigt. Thermokarstseen spielen dabei eine wichtige Rolle im sich kontinuierlich verändernden Landschaftsbild der hohen Breiten und im Stoffkreislauf bei der Aufarbeitung organischer Substanz. KW - paleolimnology KW - permafrost degradation KW - periglacial landscape evolution KW - thermokarst processes KW - carbon cycling KW - central-eastern Beringia KW - Paläolimnologie KW - Permafrostdegradation KW - periglaziale Landschaftsentwicklung KW - Thermokarstprozesse KW - Kohlenstoffkreislauf KW - zentral-östliches Beringia Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-101364 ER - TY - BOOK A1 - Smirnov, Sergey A1 - Reijers, Hajo A. A1 - Nugteren, Thijs A1 - Weske, Mathias T1 - Business process model abstraction : theory and practice N2 - Business process management aims at capturing, understanding, and improving work in organizations. The central artifacts are process models, which serve different purposes. Detailed process models are used to analyze concrete working procedures, while high-level models show, for instance, handovers between departments. To provide different views on process models, business process model abstraction has emerged. While several approaches have been proposed, a number of abstraction use case that are both relevant for industry and scientifically challenging are yet to be addressed. In this paper we systematically develop, classify, and consolidate different use cases for business process model abstraction. The reported work is based on a study with BPM users in the health insurance sector and validated with a BPM consultancy company and a large BPM vendor. The identified fifteen abstraction use cases reflect the industry demand. The related work on business process model abstraction is evaluated against the use cases, which leads to a research agenda. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 35 Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-41782 SN - 978-3-86956-054-0 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - THES A1 - Löffler, Frank T1 - Numerical simulations of neutron star - black hole mergers T1 - Computersimulationen von Zusammenstößen eines schwarzen Lochs und eines Neutronensterns N2 - Collisions of black holes and neutron stars, named mixed binaries in the following, are interesting because of at least two reasons. Firstly, it is expected that they emit a large amount of energy as gravitational waves, which could be measured by new detectors. The form of those waves is expected to carry information about the internal structure of such systems. Secondly, collisions of such objects are the prime suspects of short gamma ray bursts. The exact mechanism for the energy emission is unknown so far. In the past, Newtonian theory of gravitation and modifications to it were often used for numerical simulations of collisions of mixed binary systems. However, near to such objects, the gravitational forces are so strong, that the use of General Relativity is necessary for accurate predictions. There are a lot of problems in general relativistic simulations. However, systems of two neutron stars and systems of two black holes have been studies extensively in the past and a lot of those problems have been solved. One of the remaining problems so far has been the use of hydrodynamic on excision boundaries. Inside excision regions, no evolution is carried out. Such regions are often used inside black holes to circumvent instabilities of the numerical methods near the singularity. Methods to handle hydrodynamics at such boundaries have been described and tests are shown in this work. One important test and the first application of those methods has been the simulation of a collapsing neutron star to a black hole. The success of these simulations and in particular the performance of the excision methods was an important step towards simulations of mixed binaries. Initial data are necessary for every numerical simulation. However, the creation of such initial data for general relativistic situations is in general very complicated. In this work it is shown how to obtain initial data for mixed binary systems using an already existing method for initial data of two black holes. These initial data have been used for evolutions of such systems and problems encountered are discussed in this work. One of the problems are instabilities due to different methods, which could be solved by dissipation of appropriate strength. Another problem is the expected drift of the black hole towards the neutron star. It is shown, that this can be solved by using special gauge conditions, which prevent the black hole from moving on the computational grid. The methods and simulations shown in this work are only the starting step for a much more detailed study of mixed binary system. Better methods, models and simulations with higher resolution and even better gauge conditions will be focus of future work. It is expected that such detailed studies can give information about the emitted gravitational waves, which is important in view of the newly built gravitational wave detectors. In addition, these simulations could give insight into the processes responsible for short gamma ray bursts. N2 - Zusammenstöße eines schwarzen Lochs und eines Neutronensterns, im Folgenden "gemischte Zusammenstöße" genannt, sind aus wenigstens zwei Gründen interessant. Erstens wird erwartet, dass dabei große Mengen Energie als Gravitationswellen freigesetzt werden und diese mit neuen Detektoren gemessen werden können. Die Form dieser Wellen verrät viel über die Beschaffenheit eines solchen Systems und stellt neben elektromagnetischen Wellen eine wichtige Informationsquelle dar. Zweitens sind Zusammenstöße von kompakten Objekten wie Neutronensternen und schwarze Löchern sehr wahrscheinlich die Ursache sogenannter kurzer Gammastrahlungsblitze. Deren genauer Mechanismus für die Umwandlung der gewaltigen Energiemengen, die bei diesen Blitzen ausgesandt werden, ist jedoch bisher unbekannt. Computersimulationen von Zusammenstößen eines gemischten Systems wurden bisher oft unter Benutzung der Newtonschen Gravitationstheorie, bzw. Korrekturen dazu, durchgeführt. In der Nähe so kompakte Objekte wie schwarzer Löcher oder Neutronensterne ist jedoch die Gravitationswirkung so stark, dass Näherungen wie die erwähnten Korrekturen der Newtonschen Gravitationstheorie zu ungenau sind. Eine Benutzung der allgemeinen Relativitätstheorie ist daher für dieses Problem unumgänglich. Die Probleme allgemein-relativistischer Simulationen sind vielfältig. Jedoch wurden Binärsysteme zweier schwarzer Löcher und zweier Neutronensterne schon eingehend untersucht, und so viele Probleme, die auch Simulationen gemischter Systeme betreffen, gelöst. Eins der bisher ausstehenden Probleme war die Behandlung der Hydrodynamik an Ausschneiderändern; Rändern zu Gebieten, die in der Zeitentwicklung der Simulation ignoriert werden. Solche Ränder werden zum Beispiel innerhalb eines schwarzen Lochs benutzt, um Instabilitäten des Programms in der Nähe der Singularität zu vermeiden. Methoden, solche Ränder zu behandeln wurden in der Arbeit entwickelt, getestet und gezeigt, dass sie verlässlich arbeiten. Ein wichtiger Test für diese Methoden, der gleichzeitig der Gewinnung neuer Erkenntnisse diente, war deren Anwendung auf Simulationen von zu schwarzen Löchern kollabierenden, rotierenden Sternen. Der Erfolg, diese Simulationen ohne Probleme mit den erwähnten Methoden durchzuführen, war ein wichtiger Schritt zu Simulationen gemischter Binärsysteme. Für Computersimulationen sind Anfangsdaten notwendig, die das gewünschte Problem beschreiben. Die Erstellung solcher Anfangsdaten ist jedoch unter Benutzung der allgemeinen Relativitätstheorie ausser in Spezialfällen sehr komplex. Wir zeigen, wie man einen schon vorhandenen Algorithmus für Anfangsdaten für zwei schwarze Löcher ändern kann, um Anfangsdaten für ein gemischtes Binärsystem zu erhalten. Diese Anfangsdaten wurden für Simulationen eines gemischten Binärsystems benutzt. Während dieser Simulationen traten mehrere Probleme auf. Zwei dieser Probleme waren numerische Instabilitäten unterschiedlicher Herkunft. Beide konnten jedoch mit angepasst starker Dissipation (der künstliche Entnahme von hochfrequenter Energie aus dem System) unterdrückt werden. Ein weiteres Problem war die erwartete Bewegung des schwarzen Lochs in Richtung des Neutronensterns. Da ein Teil des Simulationsgebietes innerhalb des schwarzen Lochs ausgeschnitten wird und das verwendete Programm bewegte Ausschneidegebiete nicht behandeln kann, darf sich das schwarze Loch jedoch auf dem Gitter kaum bewegen. Wir haben dieses Problem durch eine an das Problem angepasste Eichbedingung gelöst, die auf Bewegungen des scheinbaren Horizons reagiert und die Position des schwarzen Lochs auf diese Weise nahezu konstant hält. Die Methoden und Simulationen dieser Arbeit sind nur der Anfangspunkt einer ausführlichen Studie von Binärsystemen eines schwarzen Lochs und eines Neutronensterns. Bessere Methoden, Modelle und Simulationen mit höherer Auflösung und besser an das System angepassten Koordinaten werden Mittelpunkt zukünftiger Arbeit sein. Es wird erwartet, dass solche detailierten Studien Erkenntnisse über die abgestrahlten Gravitationswellen liefern, die gerade in Hinblick auf die neuen Gravitationswellendetektoren wichtig sind. Weiterhin könnten diese Simulationen dabei helfen, die Prozesse, die kurze Gammastrahlungsblitze hervorrufen, und über die im Moment kaum etwas bekannt ist, aufzuklären. KW - Relativistische Astrophysik KW - Neutronensterne KW - schwarze Löcher KW - neutron stars KW - black holes Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-7743 ER -