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 -