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.
7053 Publications
2016 |Published| Technical Report | IST-REx-ID: 5445 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. Vol 2016. AAAI Press; 2016:3225-3232.
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5449 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1
[Updated Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5451 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 5771 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mattei S, Schur FK, Briggs JA. Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. 2016;18(6):27-35. doi:10.1016/j.coviro.2016.02.008
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. On functionality of quadraginta octants of naive sphere with application to circle drawing. In: Discrete Geometry for Computer Imagery. Vol 9647. Cham: Springer Nature; 2016:256-267. doi:10.1007/978-3-319-32360-2_20
View
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5805
Sen N, Biswas R, Bhowmick P. On some local topological properties of naive discrete sphere. In: Computational Topology in Image Context. Vol 9667. Cham: Springer Nature; 2016:253-264. doi:10.1007/978-3-319-39441-1_23
View
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5809
Biswas R, Bhowmick P, Brimkov VE. On the connectivity and smoothness of discrete spherical circles. In: Combinatorial Image Analysis. Vol 9448. Cham: Springer Nature; 2016:86-100. doi:10.1007/978-3-319-26145-4_7
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 588
Hosten O, Engelsen N, Krishnakumar R, Kasevich M. Measurement noise 100 times lower than the quantum-projection limit using entangled atoms. Nature. 2016;529(7587):505-508. doi:10.1038/nature16176
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 587 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hosten O, Krishnakumar R, Engelsen N, Kasevich M. Quantum phase magnification. Science. 2016;352(6293):1552-1555. doi:10.1126/science.aaf3397
View
| DOI
| Download (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 592
Engelsen N, Hosten O, Krishnakumar R, Kasevich M. Engineering spin squeezed states for quantum-enhanced atom interferometry. In: IEEE; 2016.
View
| Download None (ext.)
2016 |Published| Journal Article | IST-REx-ID: 602
Bernecky C, Herzog F, Baumeister W, Plitzko J, Cramer P. Structure of transcribing mammalian RNA polymerase II. Nature. 2016;529(7587):551-554. doi:10.1038/nature16482
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7141
Rolando C, Erni A, Grison A, et al. Multipotency of adult hippocampal NSCs in vivo is restricted by Drosha/NFIB. Cell Stem Cell. 2016;19(5):653-662. doi:10.1016/j.stem.2016.07.003
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7599 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tang Y, Zhao C-Y, Tan S, Xue H-W. Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078. PLOS Genetics. 2016;12(8). doi:10.1371/journal.pgen.1006252
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 786 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alistarh D-A, Censor Hillel K, Shavit N. Are lock free concurrent algorithms practically wait free . Journal of the ACM. 2016;63(4). doi:10.1145/2903136
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 785
Haider S, Hasenplaugh W, Alistarh D-A. Lease/Release: Architectural support for scaling contended data structures. In: Vol 12-16-March-2016. ACM; 2016. doi:10.1145/2851141.2851155
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 8094 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Martius GS, Hostettler R, Knoll A, Der R. Self-organized control of an tendon driven arm by differential extrinsic plasticity. In: Proceedings of the Artificial Life Conference 2016. Vol 28. MIT Press; 2016:142-143. doi:10.7551/978-0-262-33936-0-ch029
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 813
Füzik T, Píchalová R, Schur FK, et al. Nucleic acid binding by Mason-Pfizer monkey virus CA promotes virus assembly and genome packaging. Journal of Virology. 2016;90(9):4593-4603. doi:10.1128/JVI.03197-15
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 816
Schur FK, Obr M, Hagen W, et al. An atomic model of HIV-1 capsid-SP1 reveals structures regulating assembly and maturation. Science. 2016;353(6298):506-508. doi:10.1126/science.aaf9620
View
| DOI