• Publicationsclose
• Research dataclose
• Other research productsclose
• Netherlands Organisation for Scientific Research (NWO) close
• CZ close
• Digital Humanities and Cultural Heritage close

One of the first big hurdles that mathematicians encounter when considering writing formal proofs is the necessity to get acquainted with the formal terminology and the parsing mechanisms used in the large ITP libraries. This includes the large number of formal symbols, the grammar of the formal languages and the advanced mechanisms instrumenting the proof assistants to correctly understand the formal expressions in the presence of ubiquitous overloading.

Práce se věnuje vzniku, průběhu a důsledkům čtyř posloupných válek v Africe na Zlatonosném pobřeží. Ve válkách se zajímavě kloubily zájmy afrických království a obchodní rivalita evropských států v regionu, jmenovitě Anglie a Spojených provincií. Práce války popisuje hlavně z evropské perspektivy, a zároveň je v jejím rámci i celkově popsaná koexistence Evropanů, žijících v pevnostech na pobřeží Guinejského zálivu a domorodých Afričanů, způsob, jakým se Evropané v Africe angažovali a fungování místní politiky domorodých států a evropských obchodních společností. Obhájeno The thesis follows the origin, the course and the consequences of four successive wars in Africa on the Gold Coast. In these wars, there an interesting intertwining of local African polities and trading rivalry of European states in the region, namely England and United provinces. The thesis describes the wars mainly from European perspective, and within its frameworks, it also describes the general coexistence of Europeans, living on the trading forts in Guinea bay and native Africans, the way how Europeans engaged themselves in Africa and the way local politics and politics of the European trading companies worked.

Cultural heritage institutions are currently rethinking access to their collections to allow the public to interpret and contribute to their collections. In this work, we present the Agora project, an interdisciplinary project in which Web technology and theory of interpretation meet. This we call digital hermeneutics. The Agora project facilitates the understanding of historical events and improves the access to integrated online history collections. In this contribution, we focus on defining and modeling prototypical object-event and event-event relationships that support the interpretation of objects in cultural heritage collections. We present a use case in which we model historical events as well as relations between objects and events for a set of paintings from the Rijksmuseum Amsterdam collection. Our use case shows how Web technology and theory of interpretation meet in the present, and what technological hurdles still need to be taken to fully support digital hermeneutics.

This paper reviews the aims, context, approach and early outcomes of a new transnational participative archaeology project focussed on rural village communities. ‘Community Archaeology in Rural Environments Meeting Societal Challenges’ (CARE-MSoC) includes three European countries where participative community archaeology is new- the Czech Republic, the Netherlands and Poland. CARE-MSoC aims to explore the feasibility, value and impact of excavation by rural residents within their home communities by using a method which can be deployed anywhere and which in the UK has been shown to advance knowledge of the past while also delivering a wide range of social and heritage benefits: multiple test pit excavation within inhabited villages. Data presented here from the Czech Republic, the Netherlands and Poland show the activity to be popular and effective here in benefitting people while also attracting, sustaining and growing local interest in heritage participation in all three countries.

We thank Eveline Verhulst for help with the methylome data, Christa Mateman for lab assistance, Martijn Derks for calculating the sliding windows, Tieshan Xu for the help with the Trinity assembly, Louise Dittmar for the help in dN/dS and diversity analysis, Christian Huber for help on the sweep analysis and Jun-Mo Kim who designed the SNP chip. K.M.S. was supported by a grant from the Cooperative Research Program for Agriculture Science & Technology Development (PJ009103) of the Rural Development Administration, Republic of Korea. T.I.G., P.C. and K.Z. were supported by a BBSRC grant (BB/K000209/1) and a NERC grant (NE/L005328/1) awarded to K.Z., C.J.G. was funded by Natural Environment Research Council (NERC) (NE/K01126X/1). K.J.F.V. was funded by the Dutch Organisation for Scientific Research, NWO VIDI grant (864.10.008). B.C.S. was funded by ERC Advanced Grant (250164) and by a Wolfson Merit Award from the Royal Society. J.S. was funded by a European Research Council (ERC) Starting grant, Avian EGG (202487) and a Natural Environment Research Council (NERC), The Great Tit HapMap Project (NE/J012599/1). M.E.V. was supported by the Netherlands Organisation for Scientific Research (NWO-VICI grant) and the European Research Council (ERC-2013-AdG 339092). [EN] For over 50 years, the great tit (Parus major) has been a model species for research in evolutionary, ecological and behavioural research; in particular, learning and cognition have been intensively studied. Here, to provide further insight into the molecular mechanisms behind these important traits, we de novo assemble a great tit reference genome and whole-genome re-sequence another 29 individuals from across Europe. We show an overrepresentation of genes related to neuronal functions, learning and cognition in regions under positive selection, as well as increased CpG methylation in these regions. In addition, great tit neuronal non-CpG methylation patterns are very similar to those observed in mammals, suggesting a universal role in neuronal epigenetic regulation which can affect learning-, memory-and experience-induced plasticity. The high-quality great tit genome assembly will play an instrumental role in furthering the integration of ecological, evolutionary, behavioural and genomic approaches in this model species.

Trait-based approaches are increasingly being used to test mechanisms underlying species assemblages and biotic interactions across a wide range of organisms including terrestrial arthropods and to investigate consequences for ecosystem processes. Such an approach relies on the standardized measurement of functional traits that can be applied across taxa and regions. Currently, however, unified methods of trait measurements are lacking for terrestrial arthropods and related macroinvertebrates (terrestrial invertebrates hereafter). Here, we present a comprehensive review and detailed protocol for a set of 29 traits known to be sensitive to global stressors and to affect ecosystem processes and services. We give recommendations how to measure these traits under standardized conditions across various terrestrial invertebrate taxonomic groups. We provide considerations and approaches that apply to almost all traits described, such as the selection of species and individuals needed for the measurements, the importance of intraspecific trait variability, how many populations or communities to sample and over which spatial scales. The approaches outlined here provide a means to improve the reliability and predictive power of functional traits to explain community assembly, species diversity patterns and ecosystem processes and services within and across taxa and trophic levels, allowing comparison of studies and running meta-analyses across regions and ecosystems. This handbook is a crucial first step towards standardizing trait methodology across the most studied terrestrial invertebrate groups, and the protocols are aimed to balance general applicability and requirements for special cases or particular taxa. Therefore, we envision this handbook as a common platform to which researchers can further provide methodological input for additional special cases. A lay summary is available for this article. This work was made possible by support from different agencies funding the following authors: F.M. Azcárate: Spanish MINECO, Project CGL2014-53789-R and Madrid Regional Government, Project REMEDINAL-3; J. Hortal: Spanish DGCyT project CGL2011-29317 Peer Reviewed