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: Journal of Inherited Metabolic Disease, 2015, vol. 38, no. 6, p. 1007-1019
|
In: Bioinformatics, 2018, vol. 34, no. 13, p. i519-i527
|
In: Discrete & Computational Geometry, 2015, vol. 54, no. 3, p. 610-636
|
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: 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: New Zealand Journal of Ecology, 2020, vol. 44, no. 1, p. -
According to the most recent (2005) compendium on the history of the European hedgehog (Erinaceus europaeus) in New Zealand, this small insectivorous mammal was first brought from Europe to the South Island in the 19th century. This introduction has been presumed to be the source of hedgehogs that subsequently spread to the North Island. This view was informed by the absence of hedgehogs in...
|
In: The Journal of Chemical Physics, 2019, vol. 151, no. 6, p. 064119
We present calculated and measured elastic and vibrational excitation cross sections in benzene with the objective to assess the reliability of the theoretical method and to shed more light on how the electronic motion of the incoming electron is coupled with the nuclear motion of the vibrations. The calculation employed the discrete momentum representation method which involves solving the...
|