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.
5612 Publications
2015 |
Published |
Journal Article |
IST-REx-ID: 933 |
García S, Hannezo EB, Elgeti J, Joanny J, Silberzan P, Gov N. Physics of active jamming during collective cellular motion in a monolayer. PNAS. 2015;112(50):15314-15319. doi:10.1073/pnas.1510973112
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2015 |
Published |
Journal Article |
IST-REx-ID: 7739 |
Santure AW, Poissant J, De Cauwer I, et al. Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations. Molecular Ecology. 2015;24:6148-6162. doi:10.1111/mec.13452
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |
Published |
Journal Article |
IST-REx-ID: 7741 |
Adams MJ, Robinson MR, Mannarelli M-E, Hatchwell BJ. Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird. Proceedings of the Royal Society B: Biological Sciences. 2015;282(1810). doi:10.1098/rspb.2015.0689
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2015 |
Published |
Preprint |
IST-REx-ID: 7779 |
Goodrich CP. Unearthing the anticrystal: Criticality in the linear response of disordered solids. arXiv:151008820. 2015.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Conference Paper |
IST-REx-ID: 778 |
Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. Inherent limitations of hybrid transactional memory. In: Vol 9363. Springer; 2015:185-199. doi:10.1007/978-3-662-48653-5_13
View
| DOI
| Download None (ext.)
| arXiv
2015 |
Published |
Conference Paper |
IST-REx-ID: 780 |
Alistarh D-A, Gelashvili R. Polylogarithmic-time leader election in population protocols. In: Vol 9135. Springer; 2015:479-491. doi:10.1007/978-3-662-47666-6_38
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Conference Paper |
IST-REx-ID: 783 |
Alistarh D-A, Gelashvili R, Vladu A. How to elect a leader faster than a tournament. In: Vol 2015-July. ACM; 2015:365-374. doi:10.1145/2767386.2767420
View
| DOI
| Download None (ext.)
2015 |
Submitted |
Preprint |
IST-REx-ID: 8183 |
Avvakumov S, Mabillard I, Skopenkov A, Wagner U. Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2015 |
Published |
Conference Paper |
IST-REx-ID: 1481 |
Ahmed U, Chatterjee K, Gulwani S. Automatic generation of alternative starting positions for simple traditional board games. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. Vol 2. AAAI Press; 2015:745-752.
View
| Files available
| Download None (ext.)
2015 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 1501 |
Chatterjee K, Chmelik M, Daca P. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 2015;47(2):230-264. doi:10.1007/s10703-015-0235-2
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |
Published |
Conference Paper |
IST-REx-ID: 1502 |
Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:10.1145/2737166.2737175
[Submitted Version]
View
| Files available
| DOI
2015 |
Published |
Journal Article |
IST-REx-ID: 1503 |
Sadel C. A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles. Ergodic Theory and Dynamical Systems. 2015;35(5):1582-1591. doi:10.1017/etds.2013.103
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |
Published |
Journal Article |
IST-REx-ID: 1504 |
Bao Z, Lin L, Pan G, Zhou W. Spectral statistics of large dimensional spearman s rank correlation matrix and its application. Annals of Statistics. 2015;43(6):2588-2623. doi:10.1214/15-AOS1353
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |
Published |
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 |
Published |
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.)