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.
5884 Publications
2015 |Published| Technical Report | IST-REx-ID: 5443 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Chmelik M, Davies J. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria; 2015. doi:10.15479/AT:IST-2015-325-v2-1
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1511 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:476-490. doi:10.4230/LIPIcs.SOCG.2015.476
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 6118 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fenk LA, de Bono M. Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity. Proceedings of the National Academy of Sciences. 2015;112(27):E3525-E3534. doi:10.1073/pnas.1423808112
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 6120 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Laurent P, Soltesz Z, Nelson GM, et al. Decoding a neural circuit controlling global animal state in C. elegans. eLife. 2015;4. doi:10.7554/elife.04241
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 |Published| Conference Paper | IST-REx-ID: 1637 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. In: IEEE; 2015:1246-1258. doi:10.1109/FOCS.2015.80
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 6737 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mondelli M, Hassani H, Sason I, Urbanke R. Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory. 2015;61(2):783-800. doi:10.1109/tit.2014.2368555
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 6736 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mondelli M, Hassani H, Urbanke R. Scaling exponent of list decoders with applications to polar codes. IEEE Transactions on Information Theory. 2015;61(9):4838-4851. doi:10.1109/tit.2015.2453315
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 7741 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 7739 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Conference Paper | IST-REx-ID: 778 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Preprint | IST-REx-ID: 7779 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 780 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 9057 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Palacci JA, Sacanna S, Abramian A, et al. Artificial rheotaxis. Science Advances. 2015;1(4). doi:10.1126/sciadv.1400214
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 9141 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lefauve A, Muller CJ, Melet A. A three-dimensional map of tidal dissipation over abyssal hills. Journal of Geophysical Research: Oceans. 2015;120(7):4760-4777. doi:10.1002/2014jc010598
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 928 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sehring I, Recho P, Denker E, et al. Assembly and positioning of actomyosin rings by contractility and planar cell polarity. eLife. 2015;4. doi:10.7554/eLife.09206
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 9575 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Krivelevich M, Kwan MA, Sudakov B. Cycles and matchings in randomly perturbed digraphs and hypergraphs. Electronic Notes in Discrete Mathematics. 2015;49:181-187. doi:10.1016/j.endm.2015.06.027
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 9688 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cheng B, Tribello GA, Ceriotti M. Solid-liquid interfacial free energy out of equilibrium. Physical Review B - Condensed Matter and Materials Physics. 2015;92(18). doi:10.1103/physrevb.92.180102
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 1855 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology. 2015;84(3):615-624. doi:10.1111/1365-2656.12345
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 1830 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Theis F, Ugelvig LV, Marr C, Cremer S. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0108
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC