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 ...
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2021ARC001.
This thesis examines the second part of the career of the architect Adolf Loos (1870-1933) from the end of the First World War until 1933, and especially after his departure from Vienna in 1923. From the mid-1920’s onwards, Loos built, projected and published between France, Czechoslovakia and Austria. Our working hypothesis is that, far from being a period "in hollow" as historiography has...
|
In: Bioinformatics, 2017, vol. 33, no. 14, p. i1-i2
|
In: Bioinformatics, 2017, vol. 33, no. 14, p. i75-i82
|
In: Revista de Economía Crítica, 2019, vol. 27, p. 86-99
This paper sets off from the monetary–structural origins of the euro-area crisis, which is not a sovereign debt crisis, but a crisis due to a lack of payment finality at international level. The first section explains that international payments across the euro area are not, to date, final for the countries concerned, as the European Central Bank does not operate as settlement institution...
|
In: Blood, 2020, vol. 135, no. 21, p. 1859–1869
Most patients with chronic lymphocytic leukemia (CLL) are diagnosed with early-stage disease and managed with active surveillance. The individual course of patients with early-stage CLL is heterogeneous, and their probability of needing treatment is hardly anticipated at diagnosis. We aimed at developing an international prognostic score to predict time to first treatment (TTFT) in patients...
|
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: 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...
|
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: PeerJ, 2020, vol. 8, p. e8493
Allosaurus, from the Late Jurassic of North America and Europe, is a model taxon for Jurassic basal tetanuran theropod dinosaurs. It has achieved an almost iconic status due to its early discovery in the late, 19th century, and due to the abundance of material from the Morrison Formation of the western U.S.A., making Allosaurus one of the best-known theropod taxa. Despite this, various...
|