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.
9112 Publications
2016 | Technical Report | IST-REx-ID: 5446 | 
Anonymous 1, Anonymous 2, Anonymous 3. Termination and Worst-Case Analysis of Recursive Programs. IST Austria; 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous 1, Anonymous 2, Anonymous 3. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria; 2016.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
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 | Technical Report | IST-REx-ID: 5451 |
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 | Technical Report | IST-REx-ID: 5448 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
[Published Version]
View
| Files available
| arXiv
2016 | Journal Article | IST-REx-ID: 5771 |
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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 587 |
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 | 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 | 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 | Journal Article | IST-REx-ID: 6732 |
Mondelli M, Hassani SH, Urbanke RL. Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. 2016;62(12):6698-6712. doi:10.1109/tit.2016.2616117
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6733 |
Kudekar S, Kumar S, Mondelli M, Pfister HD, Urbankez R. Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. In: 2016 IEEE International Symposium on Information Theory . IEEE; 2016:1755-1759. doi:10.1109/isit.2016.7541600
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6770
Mondelli M, Kudekar S, Kumar S, Pfister HD, Şaşoğlu E, Urbanke R. Reed-Muller codes: Thresholds and weight distribution. In: 24th International Zurich Seminar on Communications. ETH Zürich; 2016:50. doi:10.3929/ETHZ-A-010646484
View
| DOI
2016 | Journal Article | IST-REx-ID: 7068 |
Moll PJW, Potter AC, Nair NL, et al. Magnetic torque anomaly in the quantum limit of Weyl semimetals. Nature Communications. 2016;7. doi:10.1038/ncomms12492
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7069
Chan MK, Harrison N, McDonald RD, et al. Single reconstructed Fermi surface pocket in an underdoped single-layer cuprate superconductor. Nature Communications. 2016;7. doi:10.1038/ncomms12244
[Published Version]
View
| DOI
2016 | 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 | Journal Article | IST-REx-ID: 7279 |
Mourad E, Coustan L, Lannelongue P, et al. Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials. 2016;16(4):446-453. doi:10.1038/nmat4808
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7294
Escamilla-Pérez AM, Louvain N, Kaschowitz M, et al. Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel. Journal of Sol-Gel Science and Technology. 2016;79(2):270-278. doi:10.1007/s10971-016-4037-9
View
| DOI
2016 | Journal Article | IST-REx-ID: 7296
Volck T, Sinz W, Gstrein G, et al. Method for determination of the internal short resistance and heat evolution at different mechanical loads of a Lithium ion battery cell based on dummy pouch cells. Batteries. 2016;2(2). doi:10.3390/batteries2020008
[Published Version]
View
| DOI
2016 | Journal Article | IST-REx-ID: 7295
Mourad E, Coustan L, Freunberger SA, et al. Biredox ionic liquids: Electrochemical investigation and impact of ion size on electron transfer. Electrochimica Acta. 2016;206(7):513-523. doi:10.1016/j.electacta.2016.02.211
View
| DOI
2016 | Journal Article | IST-REx-ID: 7297 |
Freunberger SA. Batteries: Charging ahead rationally. Nature Energy. 2016;1(6). doi:10.1038/nenergy.2016.74
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7293
Thimmappa R, Chattanahalli Devendrachari M, Shafi S, Freunberger SA, Ottakam Thotiyl M. Proton conducting hollow graphene oxide cylinder as molecular fuel barrier for tubular H2-air fuel cell. International Journal of Hydrogen Energy. 2016;41(47):22305-22315. doi:10.1016/j.ijhydene.2016.08.057
View
| DOI
2016 | Journal Article | IST-REx-ID: 7298
Plaimer M, Breitfuß C, Sinz W, et al. Evaluating the trade-off between mechanical and electrochemical performance of separators for lithium-ion batteries: Methodology and application. Journal of Power Sources. 2016;306(2):702-710. doi:10.1016/j.jpowsour.2015.12.047
View
| DOI
2016 | Journal Article | IST-REx-ID: 7599 |
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 | Journal Article | IST-REx-ID: 7734
Peyrot WJ, Robinson MR, Penninx BWJH, Wray NR. Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits. JAMA Psychiatry. 2016;73(11):1189-1195. doi:10.1001/jamapsychiatry.2016.2566
View
| DOI
2016 | Journal Article | IST-REx-ID: 7736
Chen G-B, Lee SH, Zhu Z-X, Benyamin B, Robinson MR. EigenGWAS: Finding loci under selection through genome-wide association studies of eigenvectors in structured populations. Heredity. 2016;117:51-61. doi:10.1038/hdy.2016.25
View
| DOI
2016 | Journal Article | IST-REx-ID: 7737 |
Zhu Z, Zhang F, Hu H, et al. Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets. Nature Genetics. 2016;48(5):481-487. doi:10.1038/ng.3538
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 7762
Rieser JM, Goodrich CP, Liu AJ, Durian DJ. Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials. Physical Review Letters. 2016;116(8). doi:10.1103/physrevlett.116.088001
View
| DOI
2016 | Journal Article | IST-REx-ID: 7761
Graves AL, Nashed S, Padgett E, Goodrich CP, Liu AJ, Sethna JP. Pinning susceptibility: The effect of dilute, quenched disorder on jamming. Physical Review Letters. 2016;116(23). doi:10.1103/physrevlett.116.235501
View
| DOI
2016 | Journal Article | IST-REx-ID: 7764
Sussman DM, Goodrich CP, Liu AJ. Spatial structure of states of self stress in jammed systems. Soft Matter. 2016;12(17):3982-3990. doi:10.1039/c6sm00094k
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7763
Lombardini R, Acevedo R, Kuczala A, Keys KP, Goodrich CP, Johnson BR. Higher-order wavelet reconstruction/differentiation filters and Gibbs phenomena. Journal of Computational Physics. 2016;305:244-262. doi:10.1016/j.jcp.2015.10.035
View
| DOI
2016 | Journal Article | IST-REx-ID: 7760
Goodrich CP, Liu AJ, Sethna JP. Scaling ansatz for the jamming transition. Proceedings of the National Academy of Sciences. 2016;113(35):9745-9750. doi:10.1073/pnas.1601858113
View
| DOI
2016 | Journal Article | IST-REx-ID: 786 |
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 | 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 | Journal Article | IST-REx-ID: 8020 |
Barron HC, Vogels TP, Emir UE, et al. Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. 2016;90(1):191-203. doi:10.1016/j.neuron.2016.02.031
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 8094 |
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 | 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 | Preprint | IST-REx-ID: 8128 |
Clopath C, Vogels TP, Froemke RC, Sprekeler H. Receptive field formation by interacting excitatory and inhibitory synaptic plasticity. bioRxiv. 2016.
[Preprint]
View
| Download Preprint (ext.)
2016 | 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
2016 | Journal Article | IST-REx-ID: 8241 |
Singer J, Manzano-Szalai K, Singer J, et al. Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform. OncoImmunology. 2016;5(7). doi:10.1080/2162402x.2016.1171446
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 8302 |
Kokoris Kogias E, Jovanovic P, Gailly N, Khoffi I, Gasser L, Ford B. Enhancing bitcoin security and performance with strong consistency via collective signing. In: Proceedings of the 25th USENIX Conference on Security Symposium. USENIX Association; 2016:279–296.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 8300
Kokoris Kogias E, Voutyras O, Varvarigou T. TRM-SIoT: A scalable hybrid trust & reputation model for the social Internet of Things. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation. IEEE; 2016. doi:10.1109/etfa.2016.7733612
View
| DOI
2016 | Journal Article | IST-REx-ID: 8455
Kurauskas V, Crublet E, Macek P, et al. Sensitive proton-detected solid-state NMR spectroscopy of large proteins with selective CH3labelling: Application to the 50S ribosome subunit. Chemical Communications. 2016;52(61):9558-9561. doi:10.1039/c6cc04484k
View
| DOI
2016 | Journal Article | IST-REx-ID: 8497
Féjoz J, Guàrdia M, Kaloshin V, Roldán P. Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem. Journal of the European Mathematical Society. 2016;18(10):2315-2403. doi:10.4171/jems/642
View
| DOI
2016 | Journal Article | IST-REx-ID: 850
Sarkisyan K, Bolotin D, Meer M, Usmanova D, Mishin A, Sharonov G, Ivankov D, Bozhanova N, Baranov M, Soylemez O, Bogatyreva N, Vlasov P, Egorov E, Logacheva M, Kondrashov A, Chudakov D, Putintseva E, Mamedov I, Tawfik D, Lukyanov K, Kondrashov F. 2016. Local fitness landscape of the green fluorescent protein. Nature. 533, 397–401.
View
| DOI
2016 | Journal Article | IST-REx-ID: 8496
Avila A, De Simoi J, Kaloshin V. An integrable deformation of an ellipse of small eccentricity is an ellipse. Annals of Mathematics. 2016;184(2):527-558. doi:10.4007/annals.2016.184.2.5
View
| DOI
2016 | Journal Article | IST-REx-ID: 896
Howe K, Schiffer P, Zielinski J, et al. Structure and evolutionary history of a large family of NLR proteins in the zebrafish. Open Biology. 2016;6(4). doi:10.1098/rsob.160009
View
| DOI