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
2014 |
Published |
Journal Article |
IST-REx-ID: 12632 |
A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response
J. Gabbi, M. Carenzo, F. Pellicciotti, A. Bauder, M. Funk, Journal of Glaciology 60 (2014) 1140–1154.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Gabbi, M. Carenzo, F. Pellicciotti, A. Bauder, M. Funk, Journal of Glaciology 60 (2014) 1140–1154.
2014 |
Published |
Journal Article |
IST-REx-ID: 12637 |
The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas
W.W. Immerzeel, L. Petersen, S. Ragettli, F. Pellicciotti, Water Resources Research 50 (2014) 2212–2226.
[Published Version]
View
| DOI
| Download Published Version (ext.)
W.W. Immerzeel, L. Petersen, S. Ragettli, F. Pellicciotti, Water Resources Research 50 (2014) 2212–2226.
2014 |
Published |
Journal Article |
IST-REx-ID: 9050 |
Hydrodynamic capture of microswimmers into sphere-bound orbits
D. Takagi, J.A. Palacci, A.B. Braunschweig, M.J. Shelley, J. Zhang, Soft Matter 10 (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
D. Takagi, J.A. Palacci, A.B. Braunschweig, M.J. Shelley, J. Zhang, Soft Matter 10 (2014).
2014 |
Published |
Journal Article |
IST-REx-ID: 9166 |
Light-activated self-propelled colloids
J.A. Palacci, S. Sacanna, S.-H. Kim, G.-R. Yi, D.J. Pine, P.M. Chaikin, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 372 (2014).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
J.A. Palacci, S. Sacanna, S.-H. Kim, G.-R. Yi, D.J. Pine, P.M. Chaikin, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 372 (2014).
2014 |
Draft |
Working Paper |
IST-REx-ID: 7038 |
Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
[Published Version]
View
| Files available
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
2014 |
Published |
Journal Article |
IST-REx-ID: 7071 |
Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate
K.A. Modic, T.E. Smidt, I. Kimchi, N.P. Breznay, A. Biffin, S. Choi, R.D. Johnson, R. Coldea, P. Watkins-Curry, G.T. McCandless, J.Y. Chan, F. Gandara, Z. Islam, A. Vishwanath, A. Shekhter, R.D. McDonald, J.G. Analytis, Nature Communications 5 (2014).
[Published Version]
View
| Files available
| DOI
K.A. Modic, T.E. Smidt, I. Kimchi, N.P. Breznay, A. Biffin, S. Choi, R.D. Johnson, R. Coldea, P. Watkins-Curry, G.T. McCandless, J.Y. Chan, F. Gandara, Z. Islam, A. Vishwanath, A. Shekhter, R.D. McDonald, J.G. Analytis, Nature Communications 5 (2014).
2014 |
Published |
Journal Article |
IST-REx-ID: 7598 |
Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5
S. Tan, H.-W. Xue, Cell Reports 9 (2014) 1692–1702.
[Published Version]
View
| Files available
| DOI
S. Tan, H.-W. Xue, Cell Reports 9 (2014) 1692–1702.
2014 |
Published |
Conference Paper |
IST-REx-ID: 772 |
Are lock-free concurrent algorithms practically wait-free?
D.-A. Alistarh, K. Censor Hillel, N. Shavit, in:, ACM, 2014, pp. 714–723.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, K. Censor Hillel, N. Shavit, in:, ACM, 2014, pp. 714–723.
2014 |
Published |
Conference Paper |
IST-REx-ID: 775 |
The levelarray: A fast, practical long-lived renaming algorithm
D.-A. Alistarh, J. Kopinsky, A. Matveev, N. Shavit, in:, IEEE, 2014, pp. 348–357.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, J. Kopinsky, A. Matveev, N. Shavit, in:, IEEE, 2014, pp. 348–357.
2014 |
Published |
Journal Article |
IST-REx-ID: 7771 |
Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic”
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 112 (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 112 (2014).
2014 |
Published |
Journal Article |
IST-REx-ID: 8021 |
Activity-dependent dendritic spine neck changes are correlated with synaptic strength
R. Araya, T.P. Vogels, R. Yuste, Proceedings of the National Academy of Sciences 111 (2014) E2895–E2904.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Araya, T.P. Vogels, R. Yuste, Proceedings of the National Academy of Sciences 111 (2014) E2895–E2904.
2014 |
Published |
Journal Article |
IST-REx-ID: 8022 |
Optimal control of transient dynamics in balanced networks supports generation of complex movements
G. Hennequin, T.P. Vogels, W. Gerstner, Neuron 82 (2014) 1394–1406.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
G. Hennequin, T.P. Vogels, W. Gerstner, Neuron 82 (2014) 1394–1406.
2014 |
Published |
Journal Article |
IST-REx-ID: 8023 |
Connection-type-specific biases make uniform random network models consistent with cortical recordings
C. Tomm, M. Avermann, C. Petersen, W. Gerstner, T.P. Vogels, Journal of Neurophysiology 112 (2014) 1801–1814.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Tomm, M. Avermann, C. Petersen, W. Gerstner, T.P. Vogels, Journal of Neurophysiology 112 (2014) 1801–1814.
2014 |
Published |
Conference Paper |
IST-REx-ID: 8044 |
Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
2014 |
Published |
Conference Paper |
IST-REx-ID: 1507 |
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
[Submitted Version]
View
| Download Submitted Version (ext.)
L. Erdös, in:, Proceedings of the International Congress of Mathematicians, International Congress of Mathematicians, 2014, pp. 214–236.
2014 |
Published |
Conference Paper |
IST-REx-ID: 1516 |
On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–137.
2014 |
Published |
Journal Article |
IST-REx-ID: 1629 |
Edit propagation using geometric relationship functions
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
[Submitted Version]
View
| Files available
| DOI
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
2014 |
Published |
Conference Paper |
IST-REx-ID: 1643 |
Constrained Verifiable Random Functions
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
2014 |
Published |
Conference Paper |
IST-REx-ID: 1702 |
Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.
2014 |
Published |
Journal Article |
IST-REx-ID: 1733 |
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.