Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4929 Publications
2015 | Journal Article | IST-REx-ID: 10794 | 
Parise, Francesca, et al. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.” Frontiers in Environmental Science, vol. 3, 42, Frontiers, 2015, doi:10.3389/fenvs.2015.00042.
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Value 1 Problem under Finite-Memory Strategies for Concurrent Mean-Payoff Games.” Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2015, no. 1, SIAM, 2015, pp. 1018–29, doi:10.1137/1.9781611973730.69.
[Preprint]
View
| DOI
| arXiv
2015 | Journal Article | IST-REx-ID: 1383 |
Yu, Luo, et al. “V-ATPase Activity in the TGN/EE Is Required for Exocytosis and Recycling in Arabidopsis.” Nature Plants, vol. 1, no. 7, 15094, Nature Publishing Group, 2015, 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, Anastasia, and Christoph Lampert. Lifelong Learning with Non-i.i.d. Tasks. Vol. 2015, Neural Information Processing Systems, 2015, pp. 1540–48.
View
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 1424 |
Kwitt, Roland, et al. Statistical Topological Data Analysis-A Kernel Perspective. Vol. 28, Neural Information Processing Systems, 2015, pp. 3070–78.
[Submitted Version]
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1430 |
Paixao, Tiago, et al. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.” Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–62, doi:10.1145/2739480.2754758.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1474 |
Ferrara, Anna, et al. Policy Privacy in Cryptographic Access Control. IEEE, 2015, pp. 46–60, doi:10.1109/CSF.2015.11.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1483 |
Reininghaus, Jan, et al. A Stable Multi-Scale Kernel for Topological Machine Learning. IEEE, 2015, pp. 4741–48, doi:10.1109/CVPR.2015.7299106.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Conference Paper | IST-REx-ID: 1498 |
Dragoi, Cezara, et al. The Need for Language Support for Fault-Tolerant Distributed Systems. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:10.4230/LIPIcs.SNAPL.2015.90.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1497 |
Andergassen, Daniel, et al. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.” Nucleic Acids Research, vol. 43, no. 21, e146, Oxford University Press, 2015, doi:10.1093/nar/gkv727.
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1499 |
Kretinsky, Jan, et al. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Vol. 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–54, doi:10.4230/LIPIcs.CONCUR.2015.142.
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1495 |
Edelsbrunner, Herbert, et al. “Relaxed Disk Packing.” Proceedings of the 27th Canadian Conference on Computational Geometry, vol. 2015–August, Queen’s University, 2015, pp. 128–35.
[Submitted Version]
View
| Download Submitted Version (ext.)
2015 | Conference Paper | IST-REx-ID: 1510 |
Franek, Peter, and Marek Krcál. On Computability and Triviality of Well Groups. Vol. 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–56, doi:10.4230/LIPIcs.SOCG.2015.842.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1505 |
Bao, Zhigang, et al. “Universality for the Largest Eigenvalue of Sample Covariance Matrices with General Population.” Annals of Statistics, vol. 43, no. 1, Institute of Mathematical Statistics, 2015, pp. 382–421, doi:10.1214/14-AOS1281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1508 |
Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” Journal of the European Mathematical Society, vol. 17, no. 8, European Mathematical Society, 2015, pp. 1927–2036, doi:10.4171/JEMS/548.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1506 |
Bao, Zhigang, et al. “The Logarithmic Law of Random Determinant.” Bernoulli, vol. 21, no. 3, Bernoulli Society for Mathematical Statistics and Probability, 2015, pp. 1600–28, doi:10.3150/14-BEJ615.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1513 |
Pal, Arka, and Beatriz Vicoso. “The X Chromosome of Hemipteran Insects: Conservation, Dosage Compensation and Sex-Biased Expression.” Genome Biology and Evolution, vol. 7, no. 12, Oxford University Press, 2015, pp. 3259–68, doi:10.1093/gbe/evv215.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1517 |
Erbar, Matthias, et al. “From Large Deviations to Wasserstein Gradient Flows in Multiple Dimensions.” Electronic Communications in Probability, vol. 20, 89, Institute of Mathematical Statistics, 2015, doi:10.1214/ECP.v20-4315.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1519 |
Barton, Nicholas H., and Maria Servedio. “The Interpretation of Selection Coefficients.” Evolution, vol. 69, no. 5, Wiley, 2015, pp. 1101–12, doi:10.1111/evo.12641.
[Submitted Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, Gaurav, et al. Computational Design of Walking Automata. ACM, 2015, pp. 93–100, doi:10.1145/2786784.2786803.
View
| DOI