Please note that ISTA 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.
4171 Publications
2016 | Conference Paper | IST-REx-ID: 1386 | 
Chatterjee K, Fu H, Goharshady AK. Termination analysis of probabilistic programs through Positivstellensatz’s. In: Vol 9779. Springer; 2016:3-22. doi:10.1007/978-3-319-41528-4_1
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 10794 |
Parise F, Lygeros J, Ruess J. Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. 2015;3. doi:10.3389/fenvs.2015.00042
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1383 |
Yu L, Scholl S, Doering A, et al. V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants. 2015;1(7). doi:10.1038/nplants.2015.94
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Conference Paper | IST-REx-ID: 1425 |
Pentina A, Lampert C. Lifelong learning with non-i.i.d. tasks. In: Vol 2015. Neural Information Processing Systems; 2015:1540-1548.
View
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 1424 |
Kwitt R, Huber S, Niethammer M, Lin W, Bauer U. Statistical topological data analysis-A kernel perspective. In: Vol 28. Neural Information Processing Systems; 2015:3070-3078.
[Submitted Version]
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1430 |
Paixao T, Sudholt D, Heredia J, Trubenova B. First steps towards a runtime comparison of natural and artificial evolution. In: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. ACM; 2015:1455-1462. doi:10.1145/2739480.2754758
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1474 |
Ferrara A, Fuchsbauer G, Liu B, Warinschi B. Policy privacy in cryptographic access control. In: IEEE; 2015:46-60. doi:10.1109/CSF.2015.11
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1483 |
Reininghaus J, Huber S, Bauer U, Kwitt R. A stable multi-scale kernel for topological machine learning. In: IEEE; 2015:4741-4748. doi:10.1109/CVPR.2015.7299106
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1498 |
Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant distributed systems. 2015;32:90-102. doi:10.4230/LIPIcs.SNAPL.2015.90
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1497 |
Andergassen D, Dotter C, Kulinski T, et al. Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. 2015;43(21). doi:10.1093/nar/gkv727
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1499 |
Kretinsky J, Larsen K, Laursen S, Srba J. Polynomial time decidability of weighted synchronization under partial observability. In: Vol 42. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:142-154. doi:10.4230/LIPIcs.CONCUR.2015.142
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1495 |
Edelsbrunner H, Iglesias Ham M, Kurlin V. Relaxed disk packing. In: Proceedings of the 27th Canadian Conference on Computational Geometry. Vol 2015-August. Queen’s University; 2015:128-135.
[Submitted Version]
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1510 |
Franek P, Krcál M. On computability and triviality of well groups. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:842-856. doi:10.4230/LIPIcs.SOCG.2015.842
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1505 |
Bao Z, Pan G, Zhou W. Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. 2015;43(1):382-421. doi:10.1214/14-AOS1281
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1508 |
Erdös L, Yau H. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 2015;17(8):1927-2036. doi:10.4171/JEMS/548
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1506 |
Bao Z, Pan G, Zhou W. The logarithmic law of random determinant. Bernoulli. 2015;21(3):1600-1628. doi:10.3150/14-BEJ615
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1513 |
Pal A, Vicoso B. The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution. 2015;7(12):3259-3268. doi:10.1093/gbe/evv215
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1517 |
Erbar M, Maas J, Renger M. From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. 2015;20. doi:10.1214/ECP.v20-4315
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1519 |
Barton NH, Servedio M. The interpretation of selection coefficients. Evolution. 2015;69(5):1101-1112. doi:10.1111/evo.12641
[Submitted Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1525 |
Bauer B, Blechl G, Bock C, et al. Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen. 2015;68(3):580-607. doi:10.5281/zenodo.33178
[Published Version]
View
| Files available
| DOI