Affiner les résultats


Università della Svizzera italiana

Using linear algebra in decomposition of Farkas interpolants

Blicha, Martin ; Hyvärinen, Antti E. J. ; Kofroň, Jan ; Sharygina, Natasha

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 ...

Università della Svizzera italiana

Adolf Loos à Vienne, Paris et Prague : habiter l’Europe de l’entre-deux-guerres

Poulot, Cécile ; Hildebrand, Sonja (Dir.) ; Trautmann-Waller, Céline (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2021ARC001.

Cette thèse est consacrée à la seconde partie de la carrière de l’architecte Adolf Loos (1870-1933) à partir de la fin de la Première Guerre mondiale jusqu’en 1933, et surtout après son départ de Vienne en 1923. Notre hypothèse de travail est que loin d’être une période « en creux » comme l’historiographie l’a souvent présentée, celle-ci est marquée par une plus large...

Consortium of Swiss Academic Libraries

ISMB/ECCB 2017 proceedings

Beerenwinkel, Niko ; Bromberg, Yana

In: Bioinformatics, 2017, vol. 33, no. 14, p. i1-i2

Université de Fribourg

Rethinking the Euro as a Common Currency for Europe : Keynes’s Plan Revisited

Rossi, Sergio

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...

Università della Svizzera italiana

International prognostic score for asymptomatic early-stage chronic lymphocytic leukemia

Condoluci, Adalgisa ; Terzi di Bergamo, Lodovico ; Langerbeins, Petra ; Hoechstetter, Manuela A. ; Herling, Carmen D. ; De Paoli, Lorenzo ; Delgado, Julio ; Rabe, Kari G. ; Gentile, Massimo ; Doubek, Michael ; Mauro, Francesca R. ; Chiodin, Giorgia ; Mattsson, Mattias ; Bahlo, Jasmin ; Cutrona, Giovanna ; Kotaskova, Jana ; Deambrogi, Clara ; Smedby, Karin E. ; Spina, Valeria ; Bruscaggin, Alessio ; Wu, Wei ; Moia, Riccardo ; Bianchi, Elena ; Gerber, Bernhard ; Zucca, Emanuele ; Gillessen, Silke ; Ghielmini, Michele ; Cavalli, Franco ; Stussi, Georg ; Hess, Mark A. ; Baumann, Tycho S. ; Neri, Antonino ; Ferrarini, Manlio ; Rosenquist, Richard ; Forconi, Francesco ; Foà, Robin ; Pospisilova, Sarka ; Morabito, Fortunato ; Stilgenbauer, Stephan ; Döhner, Hartmut ; Parikh, Sameer A. ; Wierda, William G. ; Montserrat, Emili ; Gaidano, Gianluca ; Hallek, Michael ; Rossi, Davide

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...

Université de Fribourg

Projecting the continental accumulation of alien species through to 2050

Seebens, Hanno ; Bacher, Sven ; Blackburn, Tim M. ; Capinha, César ; Dawson, Wayne ; Dullinger, Stefan ; Genovesi, Piero ; Hulme, Philip E. ; Kleunen, Mark ; Kühn, Ingolf ; Jeschke, Jonathan M. ; Lenzner, Bernd ; Liebhold, Andrew M. ; Pattison, Zarah ; Pergl, Jan ; Pyšek, Petr ; Winter, Marten ; Essl, Franz

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...

Université de Fribourg

Apex predators decline after an influx of pastoralists in former Central African Republic hunting zones

Aebischer, Thierry ; Ibrahim, Tidjani ; Hickisch, Raffael ; Furrer, Roman D. ; Leuenberger, Christoph ; Wegmann, Daniel

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...

Université de Fribourg

Independent introductions of hedgehogs to the North and South Island of New Zealand

Pipek, Pavel ; Pyšek, Petr ; Bacher, Sven ; Bolfíková, Barbora Černá ; Hulme, Philip E.

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...

Université de Fribourg

Notes on the cheek region of the Late Jurassic theropod dinosaur Allosaurus

Evers, Serjoscha W. ; Foth, Christian ; Rauhut, Oliver W.M.

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...