Ergebnisse einschränken

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

How Do Cold-Adapted Plants Respond to Climatic Cycles? Interglacial Expansion Explains Current Distribution and Genomic Diversity in Primula farinosa L

Theodoridis, Spyros ; Randin, Christophe ; szövényi, Peter ; Boucher, Florian C. ; Patsiou, Theofania S. ; Conti, Elena

In: Systematic Biology, 2017, vol. 66, no. 5, p. 715-736

A General Model for Estimating Macroevolutionary Landscapes

Boucher, Florian C. ; Démery, Vincent ; Conti, Elena ; Harmon, Luke J. ; Uyeda, Josef

In: Systematic Biology, 2018, vol. 67, no. 2, p. 304-319

Patterns, causes and consequences of genome size variation in Restionaceae of the Cape flora

Linder, H. Peter ; Suda, Jan ; Weiss-Schneeweiss, Hanna ; Trávníček, Pavel ; Bouchenak-Khelladi, Yanis

In: Botanical Journal of the Linnean Society, 2017, vol. 183, no. 4, p. 515-531

Spatial behavior in relation to mating systems: movement patterns, nearest-neighbor distances, and mating success in diploid and polyploid frog hybrids ( Pelophylax esculentus )

Hoffmann, Alexandra ; Abt Tietje, Gaby ; Reyer, Heinz-Ulrich

In: Behavioral Ecology and Sociobiology, 2015, vol. 69, no. 3, p. 501-517

Bayesian Phylogenetic Estimation of Clade Ages Supports Trans-Atlantic Dispersal of Cichlid Fishes

Matschiner, Michael ; Musilová, Zuzana ; Barth, Julia M. I. ; Starostová, Zuzana ; Salzburger, Walter ; Steel, Mike ; Bouckaert, Remco

In: Systematic Biology, 2017, vol. 66, no. 1, p. 3-22

Bounds for Pach's Selection Theorem and for the Minimum Solid Angle in a Simplex

Karasev, Roman ; Kynčl, Jan ; Paták, Pavel ; Patáková, Zuzana ; Tancer, Martin

In: Discrete & Computational Geometry, 2015, vol. 54, no. 3, p. 610-636

MAcroecological Framework for Invasive Aliens (MAFIA): disentangling large-scale context dependence in biological invasions

Pyšek, Petr ; Bacher, Sven ; Kühn, Ingolf ; Novoa, Ana ; Catford, Jane A. ; Hulme, Philip E. ; Pergl, Jan ; Richardson, David M. ; Wilson, John R. U. ; Blackburn, Tim M.

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

Frameworks used in invasion science: progress and prospects

Wilson, John R.U. ; Bacher, Sven ; Daehler, Curtis C. ; Groom, Quentin J. ; Kumschick, Sabrina ; Lockwood, Julie L. ; Robinson, Tamara B. ; Zengeya, Tsungai A. ; Richardson, David M.

In: NeoBiota, 2020, vol. 62, p. 1–30

Our understanding and management of biological invasions relies on our ability to classify and conceptualise the phenomenon. This need has stimulated the development of a plethora of frameworks, ranging in nature from conceptual to applied. However, most of these frameworks have not been widely tested and their general applicability is unknown. In order to critically evaluate frameworks in...

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