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 | OA
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.)
 

2014 | Published | Journal Article | IST-REx-ID: 12637 | OA
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.)
 

2014 | Published | Journal Article | IST-REx-ID: 9050 | OA
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
 

2014 | Published | Journal Article | IST-REx-ID: 9166 | OA
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
 

2014 | Draft | Working Paper | IST-REx-ID: 7038 | OA
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
 

2014 | Published | Journal Article | IST-REx-ID: 7071 | OA
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
 

2014 | Published | Journal Article | IST-REx-ID: 7598 | OA [Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 772 | OA
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
 

2014 | Published | Conference Paper | IST-REx-ID: 775 | OA
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
 

2014 | Published | Journal Article | IST-REx-ID: 7771 | OA
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
 

2014 | Published | Journal Article | IST-REx-ID: 8021 | OA
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
 

2014 | Published | Journal Article | IST-REx-ID: 8022 | OA
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
 

2014 | Published | Journal Article | IST-REx-ID: 8023 | OA
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
 

2014 | Published | Conference Paper | IST-REx-ID: 8044 | OA
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.)
 

2014 | Published | Conference Paper | IST-REx-ID: 1507 | OA
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.)
 

2014 | Published | Conference Paper | IST-REx-ID: 1516 | OA
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
 

2014 | Published | Journal Article | IST-REx-ID: 1629 | OA
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
 

2014 | Published | Conference Paper | IST-REx-ID: 1643 | OA
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.)
 

2014 | Published | Conference Paper | IST-REx-ID: 1702 | OA
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.)
 

2014 | Published | Journal Article | IST-REx-ID: 1733 | OA
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.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed