In: International journal on software tools for technology transfer, 2021, p. 15
The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable states, e.g. as candidates for inductive loop invariants. Interpolants for a linear system can be efficiently computed from a Simplex refutation by ...
|
In: Botanical Journal of the Linnean Society, 2017, vol. 183, no. 4, p. 515-531
|
In: Discrete & Computational Geometry, 2015, vol. 54, no. 3, p. 610-636
|
In: Transgenic Research, 2015, vol. 24, no. 1, p. 87-97
|
In: NeoBiota, 2020, vol. 62, p. 407–461
Macroecology is the study of patterns, and the processes that determine those patterns, in the distribution and abundance of organisms at large scales, whether they be spatial (from hundreds of kilometres to global), temporal (from decades to centuries), and organismal (numbers of species or higher taxa). In the context of invasion ecology, macroecological studies include, for example,...
|
In: Global Change Biology, 2020, p. gcb.15333
Biological invasions have steadily increased over recent centuries. However, we still lack a clear expectation about future trends in alien species numbers. In particular, we do not know whether alien species will continue to accumulate in regional floras and faunas, or whether the pace of accumulation will decrease due to the depletion of native source pools. Here, we apply a new model to...
|
In: International Journal of Molecular Sciences, 2020, vol. 21, no. 15, p. 5335
In vitro three-dimensional (3D) lung cell models have been thoroughly investigated in recent years and provide a reliable tool to assess the hazard associated with nanomaterials (NMs) released into the air. In this study, a 3D lung co-culture model was optimized to assess the hazard potential of multiwalled carbon nanotubes (MWCNTs), which is known to provoke inflammation and fibrosis,...
|
In: Conservation Biology, 2020/n/a//-
Article impact statement: In an era of profound biodiversity crisis, invasion costs, invader impacts, and human agency should not be dismissed.
|
In: Biological Reviews, 2020, p. brv.12627
Biological invasions are a global consequence of an increasingly connected world and the rise in human population size. The numbers of invasive alien species – the subset of alien species that spread widely in areas where they are not native, affecting the environment or human livelihoods – are increasing. Synergies with other global changes are exacerbating current invasions and...
|
In: Biological Conservation, 2020, vol. 241, p. 108326
Pastoralism is spreading in Central Africa, where many protected areas are under consideration to be opened for grazing, in particular hunting zones. Here we document the loss of biodiversity followed by an influx of transhumant pastoralism into previously uninhabited and virtually pristine habitat in the Central African Republic. Our track count and camera trap surveys of 2012, 2016 and...
|