Résultats de la recherche - RERO DOC

Recherche:



Recherche simple

Consortium of Swiss Academic Libraries

Beyond the "B”: a new concept of the surgical staple enabling miniature staplers

Demertzis, Stefanos ; Beslac, Oligca ; Mettler, Daniel ; Zalokar, Daniel ; Spangler, Taylor ; Hausen, Bernard ; Swanstrom, Lee

In: Surgical Endoscopy, 2015, vol. 29, no. 12, p. 3674-3684

Consortium of Swiss Academic Libraries

Existence of bounded discrete steady state solutions of the van Roosbroeck system with monotone Fermi-Dirac statistic functions

Gärtner, K.

In: Journal of Computational Electronics, 2015, vol. 14, no. 3, p. 773-787

Consortium of Swiss Academic Libraries

Decision Procedures for Flat Array Properties

Alberti, Francesco ; Ghilardi, Silvio ; Sharygina, Natasha

In: Journal of Automated Reasoning, 2015, vol. 54, no. 4, p. 327-352

Consortium of Swiss Academic Libraries

Introducing uncertainty in complex event processing: model, implementation, and validation

Cugola, Gianpaolo ; Margara, Alessandro ; Matteucci, Matteo ; Tamburrelli, Giordano

In: Computing, 2015, vol. 97, no. 2, p. 103-144

Consortium of Swiss Academic Libraries

Gluteal Augmentation Techniques: A Comprehensive Literature Review

Oranges, Carlo M. ; Tremp, Mathias ; di Summa, Pietro G. ; Haug, Martin ; Kalbermatten, Daniel F. ; Harder, Yves ; Schaefer, Dirk J.

In: Aesthetic Surgery Journal, 2017, vol. 37, no. 5, p. 560-569

Consortium of Swiss Academic Libraries

Introduction to "On the use of Markov chain Monte Carlo methods for the sampling of mixture models” by R. Douc, F. Maire, J. Olsson

Peluso, Stefano

In: Statistics and Computing, 2015, vol. 25, no. 1, p. 93-94

Consortium of Swiss Academic Libraries

EmoSnaps: a mobile application for emotion recall from facial expressions

Niforatos, Evangelos ; Karapanos, Evangelos

In: Personal and Ubiquitous Computing, 2015, vol. 19, no. 2, p. 425-444

Consortium of Swiss Academic Libraries

Size of web domains and interlinking behavior of higher education institutions in Europe

Lepori, Benedetto ; Aguillo, Isidro ; Seeber, Marco

In: Scientometrics, 2014, vol. 100, no. 2, p. 497-518

Consortium of Swiss Academic Libraries

An extension of lazy abstraction with interpolation for programs with arrays

Alberti, Francesco ; Bruttomesso, Roberto ; Ghilardi, Silvio ; Ranise, Silvio ; Sharygina, Natasha

In: Formal Methods in System Design, 2014, vol. 45, no. 1, p. 63-109

Consortium of Swiss Academic Libraries

Resolution proof transformation for compression and interpolation

Rollini, Simone ; Bruttomesso, Roberto ; Sharygina, Natasha ; Tsitovich, Aliaksei

In: Formal Methods in System Design, 2014, vol. 45, no. 1, p. 1-41

Powered by Invenio
/ © Copyright RERO