Affiner les résultats

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

The impact of Instagram campaign in the Six Senses Group in Douro valley

Rebelo Vieira, Jessica ; Schegg, Roland (Dir.)

Mémoire de bachelor : Haute Ecole de Gestion & Tourisme, 2020.

Social media is an essential marketing tool; platforms such as Instagram are important for companies as it gives a visual aspect for followers to identify themselves with. Through diverse researches, success factors have been identified and compared with results obtained by analyzing Six Senses Douro Valley’s strategy used on the platform. The aim is to determine the impact of Instagram...

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

Areas of high conservation value in Georgia: present and future threats by invasive alien plants

Thalmann, Daniela ; Kikodze, David ; Khutsishvili, Manana ; Kharazishvili, David ; Guisan, Antoine ; Broennimann, Olivier ; Müller-Schärer, Heinz

In: Biological Invasions, 2015, vol. 17, no. 4, p. 1041-1054

Introduction, establishment rate, pathways and impact of spiders alien to Europe

Nentwig, Wolfgang

In: Biological Invasions, 2015, vol. 17, no. 9, p. 2757-2778

Parasites suppress immune-enhancing effect of methionine in nestling great tits

Wegmann, Michèle ; Voegeli, Beatrice ; Richner, Heinz

In: Oecologia, 2015, vol. 177, no. 1, p. 213-221

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

Complementarity effects do not necessarily result in significant transgressive over-performance in mixtures

Chen, Xiao-Yong ; Wang, Xiao-Yan ; Jiao, Jing ; Schmid, Bernhard

In: Biological Invasions, 2015, vol. 17, no. 2, p. 529-535

Emulsion detectors for the antihydrogen detection in AEgIS

Pistillo, C. ; Aghion, S. ; Amsler, C. ; Ariga, A. ; Ariga, T. ; Belov, A. ; Bonomi, G. ; Bräunig, P. ; Bremer, J. ; Brusa, R. ; Cabaret, L. ; Caccia, M. ; Caravita, R. ; Castelli, F. ; Cerchiari, G. ; Chlouba, K. ; Cialdi, S. ; Comparat, D. ; Consolati, G. ; Demetrio, A. ; Derking, H. ; Di Noto, L. ; Doser, M. ; Dudarev, A. ; Ereditato, A. ; Ferragut, R. ; Fontana, A. ; Gerber, S. ; Giammarchi, M. ; Gligorova, A. ; Gninenko, S. ; Haider, S. ; Hogan, S. ; Holmestad, H. ; Huse, T. ; Jordan, E. ; Kawada, J. ; Kellerbauer, A. ; Kimura, M. ; Krasnický, D. ; Lagomarsino, V. ; Lehner, S. ; Malbrunot, C. ; Mariazzi, S. ; Matveev, V. ; Mazzotta, Z. ; Nebbia, G. ; Nédélec, P. ; Oberthaler, M. ; Pacifico, N. ; Penasa, L. ; Petráček, V. ; Prelz, F. ; Prevedelli, M. ; Ravelli, L. ; Riccardi, C. ; Røhne, O. ; Rosenberger, S. ; Rotondi, A. ; Sandaker, H. ; Santoro, R. ; Scampoli, P. ; Simon, M. ; Špaček, M. ; Storey, J. ; Strojek, I. ; Subieta, M. ; Testera, G. ; Widmann, E. ; Yzombard, P. ; Zavatarelli, S. ; Zmeskal, J.

In: Hyperfine Interactions, 2015, vol. 233, no. 1-3, p. 29-34

Contrasting the effects of environment, dispersal and biotic interactions to explain the distribution of invasive plants in alpine communities

Gallien, Laure ; Mazel, Florent ; Lavergne, Sébastien ; Renaud, Julien ; Douzet, Rolland ; Thuiller, Wilfried

In: Biological Invasions, 2015, vol. 17, no. 5, p. 1407-1423