Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2423 Publications


2015 | Conference Paper | IST-REx-ID: 1859   OA
A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle
N. Shah, V. Kolmogorov, C. Lampert, in:, IEEE, 2015, pp. 2737–2745.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1873   OA
POMDPs under probabilistic semantics
K. Chatterjee, M. Chmelik, Artificial Intelligence 221 (2015) 46–72.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1880   OA
Superfluid behavior of a Bose-Einstein condensate in a random potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, New Journal of Physics 17 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1885   OA
Positional information, positional error, and readout precision in morphogenesis: A mathematical framework
G. Tkacik, J. Dubuis, M. Petkova, T. Gregor, Genetics 199 (2015) 39–59.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1993   OA
Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 2030   OA
A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow
L. Shi, M. Rampp, B. Hof, M. Avila, Computers and Fluids 106 (2015) 1–11.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035   OA
The persistent homology of a self-map
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085   OA
Collective excitations of Bose gases in the mean-field regime
P. Nam, R. Seiringer, Archive for Rational Mechanics and Analysis 215 (2015) 381–417.
View | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5440   OA
The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 778   OA
Inherent limitations of hybrid transactional memory
D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, N. Shavit, in:, Springer, 2015, pp. 185–199.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 780   OA
Polylogarithmic-time leader election in population protocols
D.-A. Alistarh, R. Gelashvili, in:, Springer, 2015, pp. 479–491.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 982   OA
Criterion for many-body localization-delocalization phase transition
M. Serbyn, Z. Papić, D. Abanin, Physical Review X 5 (2015).
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
The need for language support for fault-tolerant distributed systems
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501   OA
CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1537   OA
Cortical contractility triggers a stochastic switch to fast amoeboid cell motility
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
Cytokinin response factors regulate PIN-FORMED auxin transporters
M. Šimášková, J. O’Brien, M. Khan-Djamei, G. Van Noorden, K. Ötvös, A. Vieten, I. De Clercq, J. Van Haperen, C. Cuesta, K. Hoyerová, S. Vanneste, P. Marhavy, K.T. Wabnik, F. Van Breusegem, M. Nowack, A. Murphy, J. Friml, D. Weijers, T. Beeckman, E. Benková, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1835   OA
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1823   OA
Systematic discovery of drug interaction mechanisms
G. Chevereau, M.T. Bollenbach, Molecular Systems Biology 11 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1828   OA
Invariant measures of genetic recombination process
A. Akopyan, S. Pirogov, A. Rybko, Journal of Statistical Physics 160 (2015) 163–167.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed