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.
1488 Publications
2016 |Published| Journal Article | IST-REx-ID: 261
Effective ratner theorem for SL (2, R) ⋉R2 and gaps in √n modulo 1
T.D. Browning, I. Vinogradov, Journal of the London Mathematical Society 94 (2016) 61–84.
View
| DOI
T.D. Browning, I. Vinogradov, Journal of the London Mathematical Society 94 (2016) 61–84.
2016 |Published| Journal Article | IST-REx-ID: 382
Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions
Z. Luo, E. Irtem, M. Ibanez, R. Nafria, S. Márti Sánchez, A. Genç, M. De La Mata, Y. Liu, D. Cadavid, J. Llorca, J. Arbiol, T. Andreu, J. Morante, A. Cabot, ACS Applied Materials and Interfaces 8 (2016) 17435–17444.
View
| DOI
Z. Luo, E. Irtem, M. Ibanez, R. Nafria, S. Márti Sánchez, A. Genç, M. De La Mata, Y. Liu, D. Cadavid, J. Llorca, J. Arbiol, T. Andreu, J. Morante, A. Cabot, ACS Applied Materials and Interfaces 8 (2016) 17435–17444.
2016 |Published| Technical Report | IST-REx-ID: 5446 | 
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
2016 |Published| Technical Report | IST-REx-ID: 5447 |
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
2016 |Published| Technical Report | IST-REx-ID: 5448 |
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 5806
On functionality of quadraginta octants of naive sphere with application to circle drawing
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
View
| DOI
R. Biswas, P. Bhowmick, in:, Discrete Geometry for Computer Imagery, Springer Nature, Cham, 2016, pp. 256–267.
2016 |Published| Journal Article | IST-REx-ID: 6732 |
Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors
M. Mondelli, S.H. Hassani, R.L. Urbanke, IEEE Transactions on Information Theory 62 (2016) 6698–6712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, S.H. Hassani, R.L. Urbanke, IEEE Transactions on Information Theory 62 (2016) 6698–6712.
2016 |Published| Conference Paper | IST-REx-ID: 6733 |
Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, R. Urbankez, in:, 2016 IEEE International Symposium on Information Theory , IEEE, 2016, pp. 1755–1759.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Kudekar, S. Kumar, M. Mondelli, H.D. Pfister, R. Urbankez, in:, 2016 IEEE International Symposium on Information Theory , IEEE, 2016, pp. 1755–1759.
2016 |Published| Journal Article | IST-REx-ID: 7294
Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel
A.M. Escamilla-Pérez, N. Louvain, M. Kaschowitz, S.A. Freunberger, O. Fontaine, B. Boury, N. Brun, P.H. Mutin, Journal of Sol-Gel Science and Technology 79 (2016) 270–278.
View
| DOI
A.M. Escamilla-Pérez, N. Louvain, M. Kaschowitz, S.A. Freunberger, O. Fontaine, B. Boury, N. Brun, P.H. Mutin, Journal of Sol-Gel Science and Technology 79 (2016) 270–278.
2016 |Published| Journal Article | IST-REx-ID: 7761
Pinning susceptibility: The effect of dilute, quenched disorder on jamming
A.L. Graves, S. Nashed, E. Padgett, C.P. Goodrich, A.J. Liu, J.P. Sethna, Physical Review Letters 116 (2016).
View
| DOI
A.L. Graves, S. Nashed, E. Padgett, C.P. Goodrich, A.J. Liu, J.P. Sethna, Physical Review Letters 116 (2016).
2016 |Published| Journal Article | IST-REx-ID: 8241 |
Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform
J. Singer, K. Manzano-Szalai, J. Singer, K. Thell, A. Bentley-Lukschal, C. Stremnitzer, F. Roth-Walter, M. Weghofer, M. Ritter, K. Pino Tossi, M. Hörer, U. Michaelis, E. Jensen-Jarolim, OncoImmunology 5 (2016).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Singer, K. Manzano-Szalai, J. Singer, K. Thell, A. Bentley-Lukschal, C. Stremnitzer, F. Roth-Walter, M. Weghofer, M. Ritter, K. Pino Tossi, M. Hörer, U. Michaelis, E. Jensen-Jarolim, OncoImmunology 5 (2016).
2016 |Published| Conference Paper | IST-REx-ID: 8302 |
Enhancing bitcoin security and performance with strong consistency via collective signing
E. Kokoris Kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser, B. Ford, in:, Proceedings of the 25th USENIX Conference on Security Symposium, USENIX Association, 2016, pp. 279–296.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
E. Kokoris Kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser, B. Ford, in:, Proceedings of the 25th USENIX Conference on Security Symposium, USENIX Association, 2016, pp. 279–296.
2016 |Published| Journal Article | IST-REx-ID: 92
Relating the structure of geminal Amido Esters to their molecular hyperpolarizability
J. Cole, T. Lin, C. Ashcroft, J. Pérez Moreno, Y. Tan, P. Venkatesan, A.P. Higginbotham, P. Pattison, A. Edwards, R. Piltz, K. Clays, A. Ilangovan, Journal of Physical Chemistry C 120 (2016) 29439–29448.
View
| DOI
J. Cole, T. Lin, C. Ashcroft, J. Pérez Moreno, Y. Tan, P. Venkatesan, A.P. Higginbotham, P. Pattison, A. Edwards, R. Piltz, K. Clays, A. Ilangovan, Journal of Physical Chemistry C 120 (2016) 29439–29448.
2016 |Published| Journal Article | IST-REx-ID: 1158 |
Shedding light on the grey zone of speciation along a continuum of genomic divergence
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
[Published Version]
View
| Files available
| DOI
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
2016 |Published| Journal Article | IST-REx-ID: 1167 |
Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
[Published Version]
View
| Files available
| DOI
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
2016 |Published| Journal Article | IST-REx-ID: 8453
Cross-correlated relaxation of dipolar coupling and chemical-shift anisotropy in magic-angle spinning R1ρ NMR measurements: Application to protein backbone dynamics measurements
V. Kurauskas, E. Weber, A. Hessel, I. Ayala, D. Marion, P. Schanda, The Journal of Physical Chemistry B 120 (2016) 8905–8913.
View
| DOI
V. Kurauskas, E. Weber, A. Hessel, I. Ayala, D. Marion, P. Schanda, The Journal of Physical Chemistry B 120 (2016) 8905–8913.
2016 |Published| Journal Article | IST-REx-ID: 8493
A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems
M. Guardia, V. Kaloshin, J. Zhang, Communications in Mathematical Physics 348 (2016) 321–361.
View
| DOI
M. Guardia, V. Kaloshin, J. Zhang, Communications in Mathematical Physics 348 (2016) 321–361.
2016 |Published| Journal Article | IST-REx-ID: 8494
Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders
P. Bernard, V. Kaloshin, K. Zhang, Acta Mathematica 217 (2016) 1–79.
View
| DOI
P. Bernard, V. Kaloshin, K. Zhang, Acta Mathematica 217 (2016) 1–79.
2016 |Published| Journal Article | IST-REx-ID: 12622 |
Air temperature variability in a high-elevation Himalayan catchment
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.
2016 |Published| Journal Article | IST-REx-ID: 12624 |
Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal
E.S. Miles, F. Pellicciotti, I.C. Willis, J.F. Steiner, P. Buri, N.S. Arnold, Annals of Glaciology 57 (2016) 29–40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. Miles, F. Pellicciotti, I.C. Willis, J.F. Steiner, P. Buri, N.S. Arnold, Annals of Glaciology 57 (2016) 29–40.