The reintroduction of the Eurasian otter (Lutra lutra) into the Netherlands: hidden life revealed by noninvasive genetic monitoring

The last recorded presence of the Eurasian otter (Lutra lutra) in the Netherlands dates from 1989 and concerned a dead individual. In 2002 a reintroduction programme was started, and between June 2002 and April 2008 a total of 30 individuals (10 males and 20 females) were released into a lowland peat marsh in the north of the Netherlands. Noninvasive genetic monitoring based on the genetic profiles obtained from DNA extracted from otter faeces (spraints) was chosen for the post-release monitoring of the population. To this end, the founding individuals were genotyped before release and spraints were collected in the release area each winter from 2002 to 2008. From June 2002 to April 2008 we analysed the genetic profile of 1,265 spraints on the basis of 7–15 microsatellite loci, 582 of which (46%) were successfully assigned to either released or newly identified genotypes. We identified 54 offspring (23 females and 31 males): the females started to reproduce after 2 years and the males after 4 years. The mating and reproductive success among males was strongly skewed, with a few dominant males fathering two-thirds of the offspring, but the females had a more even distribution. The effective population size (Ne) was only about 30% of the observed density (N), mainly because of the large variance in reproductive success among males. Most juvenile males dispersed to surrounding areas on maturity, whereas juvenile females stayed inside the area next to the mother’s territory. The main cause of mortality was traffic accidents. Males had a higher mortality rate (22 out of 41 males (54%) vs. 9 out of 43 females (21%)). During winter 2007/08 we identified 47 individuals, 41 of which originated from mating within the release area. This study demonstrates that noninvasive molecular methods can be used efficiently in post-release monitoring studies of elusive species to reveal a comprehensive picture of the state of the populatio

Automatic Software Repair: a Bibliography

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature

Antecedents of academic performance of university students: academic engagement and psychological capital resources

Predicting academic performance is of key importance to the success, wellbeing and prosperity of students, their families, the economy, and the society at large. This study investigates the relationship between academic engagement, psychological capital (PsyCap) and academic performance. Data were collected in two different universities, one in Spain and another in Portugal. Students completed two self-report questionnaires regarding academic engagement and Psychological Capital. Academic performance was assessed through Grade Point Average, provided by the universities at the end of the exam period. The samples consisted of 389 and 243 undergraduate students, respectively. Results showed a positive relationship between academic engagement and PsyCap, on the one hand, and academic performance on the other, in both samples. Results also supported PsyCap as a full mediator in the relationship between academic engagement and academic performance. Exploration of alternative models yielded superior fit for the proposed model. Accordingly, academically engaged students were likely to experience higher levels of PsyCap, which in turn positively impacted their academic performance. The results point to the importance of considering psychological predictors, rather than the prevalent reliance on traditional predictors of academic performance

The Role of Visiting Professionals in Peacebuilding

Seeking to inform the peace-through-tourism scholarly debate, this chapter revisits this complex relationship from the angle of peacebuilding professionals. International peacebuilding settings habitually welcome peace professionals as visiting contributors, consultants, and freelancers. These visiting peacebuilders are characterised by a form of geographical hybridity that identifies them as a distinct audience in international peacebuilding and a niche audience of international travellers. In order to examine their role and contribution in international peacebuilding, the present study employs a qualitative methodological approach that combines historical narrative and field interviews to the case of the Cyprus peacebuilding discourse. This chapter argues that visiting peacebuilders have a significant role in formulating optimal encounters between peacebuilder audiences and in increasing the effectiveness of international peacebuilding projects

The Vadalog System: Datalog-based Reasoning for Knowledge Graphs

Over the past years, there has been a resurgence of Datalog-based systems in the database community as well as in industry. In this context, it has been recognized that to handle the complex knowl\-edge-based scenarios encountered today, such as reasoning over large knowledge graphs, Datalog has to be extended with features such as existential quantification. Yet, Datalog-based reasoning in the presence of existential quantification is in general undecidable. Many efforts have been made to define decidable fragments. Warded Datalog+/- is a very promising one, as it captures PTIME complexity while allowing ontological reasoning. Yet so far, no implementation of Warded Datalog+/- was available. In this paper we present the Vadalog system, a Datalog-based system for performing complex logic reasoning tasks, such as those required in advanced knowledge graphs. The Vadalog system is Oxford's contribution to the VADA research programme, a joint effort of the universities of Oxford, Manchester and Edinburgh and around 20 industrial partners. As the main contribution of this paper, we illustrate the first implementation of Warded Datalog+/-, a high-performance Datalog+/- system utilizing an aggressive termination control strategy. We also provide a comprehensive experimental evaluation.Comment: Extended version of VLDB paper <https://doi.org/10.14778/3213880.3213888

Micro-architectural analysis of in-memory OLTP: Revisited

Micro-architectural behavior of traditional disk-based online transaction processing (OLTP) systems has been investigated extensively over the past couple of decades. Results show that traditional OLTP systems mostly under-utilize the available micro-architectural resources. In-memory OLTP systems, on the other hand, process all the data in main-memory and, therefore, can omit the buffer pool. Furthermore, they usually adopt more lightweight concurrency control mechanisms, cache-conscious data structures, and cleaner codebases since they are usually designed from scratch. Hence, we expect significant differences in micro-architectural behavior when running OLTP on platforms optimized for in-memory processing as opposed to disk-based database systems. In particular, we expect that in-memory systems exploit micro-architectural features such as instruction and data caches significantly better than disk-based systems. This paper sheds light on the micro-architectural behavior of in-memory database systems by analyzing and contrasting it to the behavior of disk-based systems when running OLTP workloads. The results show that, despite all the design changes, in-memory OLTP exhibits very similar micro-architectural behavior to disk-based OLTP: more than half of the execution time goes to memory stalls where instruction cache misses or the long-latency data misses from the last-level cache (LLC) are the dominant factors in the overall execution time. Even though ground-up designed in-memory systems can eliminate the instruction cache misses, the reduction in instruction stalls amplifies the impact of LLC data misses. As a result, only 30% of the CPU cycles are used to retire instructions, and 70% of the CPU cycles are wasted to stalls for both traditional disk-based and new generation in-memory OLTP