Refine my results

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

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

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

Quantum description of a rotating and vibrating molecule

Brechet, Sylvain ; Reuse, François ; Maschke, Klaus ; Ansermet, Jean-Philippe

In: The European Physical Journal D, 2015, vol. 69, no. 7, p. 1-28

Clinical onset and course, response to treatment and outcome in 24 patients with the cblE or cblG remethylation defect complemented by genetic and in vitro enzyme study data

Huemer, M. ; Bürer, C. ; Ješina, P. ; Kožich, V. ; Landolt, M. ; Suormala, T. ; Fowler, B. ; Augoustides- Savvopoulou, P. ; Blair, E. ; Brennerova, K. ; Broomfield, A. ; De Meirleir, L. ; Gökcay, G. ; Hennermann, J. ; Jardine, P. ; Koch, J. ; Lorenzl, S. ; Lotz-Havla, A. ; Noss, J. ; Parini, R. ; Peters, H. ; Plecko, B. ; Ramos, F. ; Schlune, A. ; Tsiakas, K. ; Zerjav Tansek, M. ; Baumgartner, M.

In: Journal of Inherited Metabolic Disease, 2015, vol. 38, no. 5, p. 957-967

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

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

Mapping the unoccupied state dispersions in ${\mathrm{Ta}}_{2}{\mathrm{NiSe}}_{5}$ with resonant inelastic x-ray scattering

Monney, Claude ; Herzog, Marc ; Pulkkinen, Aki ; Huang, Y. ; Pelliciari, Jonathan ; Olalde-Velasco, P. ; Katayama, Naoyuk ; Nohara, Minoru ; Takagi, Hide ; Schmitt, Thorsten ; Mizokawa, Takashi

In: Physical Review B, 2020, vol. 102, no. 8, p. 085148

The transition metal chalcogenide Ta2NiSe5 undergoes a second-order phase transition at Tc=328K involving a small lattice distortion. Below Tc, a band gap at the center of its Brillouin zone increases up to about 0.35 eV. In this work, we study the electronic structure of Ta2NiSe5 in its low-temperature semiconducting phase, using resonant inelastic x-ray scattering (RIXS) at the Ni L3 edge....

Distinguishing the gapped and Weyl semimetal scenario in $\mathrm{Zr}{\mathrm{Te}}_{5}$: Insights from an effective two-band model

Rukelj, Z. ; Homes, C. C. ; Orlita, M. ; Akrap, Ana

In: Physical Review B, 2020, vol. 102, no. 12, p. 125201

Here we study the static and dynamic transport properties of a low-energy two-band model proposed previously in Martino et al. [PRL 122, 217402 (2019)], with an anisotropic in-plane linear momentum dependence and a parabolic out-of-plane dispersion. The model is extended to include a negative band gap, which leads to the emergence of a Weyl semimetal (WSM) state, as opposed to the gapped...