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.

11357 Publications


2014 | Published | Journal Article | IST-REx-ID: 18414 | OA
Masci J, Bronstein MM, Bronstein AM, Schmidhuber J. 2014. Multimodal similarity-preserving hashing. IEEE Transactions on Pattern Analysis and Machine Intelligence. 36(4), 824–830.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 1842 | OA
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 53(1), 64–79.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 18423
Litman R, Bronstein AM, Bronstein M, Castellani U. 2014. Supervised learning of bag‐of‐features shape descriptors using sparse coding. Computer Graphics Forum. 33(5), 127–136.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1844 | OA
Risso V, Manssour Triedo F, Delgado Delgado A, Arco R, Barroso Deljesús A, Inglés Prieto Á, Godoy Ruiz R, Gavira J, Gaucher E, Ibarra Molero B, Sánchez Ruiz J. 2014. Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. 32(2), 440–455.
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1852 | OA
Sassi M, Ali O, Boudon F, Cloarec G, Abad U, Cellier C, Chen X, Gilles B, Milani P, Friml J, Vernoux T, Godin C, Hamant O, Traas J. 2014. An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. 24(19), 2335–2342.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2014 | Published | Conference Paper | IST-REx-ID: 1853
Jha S, Tripakis S, Seshia S, Chatterjee K. 2014. Game theoretic secure localization in wireless sensor networks. IOT: Internet of Things, 85–90.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1854 | OA
Guerrero P, Auzinger T, Wimmer M, Jeschke S. 2014. Partial shape matching using transformation parameter similarity. Computer Graphics Forum. 34(1), 239–252.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 1862 | OA
Chen X, Grandont L, Li H, Hauschild R, Paque S, Abuzeineh A, Rakusova H, Benková E, Perrot Rechenmann C, Friml J. 2014. Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules. Nature. 516(729), 90–93.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2014 | Published | Conference Paper | IST-REx-ID: 1869
Hofferek G, Gupta A. 2014. Suraq - a controller synthesis tool using uninterpreted functions. HVC 2014. HVC: Haifa Verification Conference, LNCS, vol. 8855, 68–74.
View | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger TA, Otop J, Samanta R. 2014. Lipschitz robustness of finite-state transducers. Leibniz International Proceedings in Informatics, LIPIcs. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 29, 431–443.
[Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 185–200.
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12632 | OA
Gabbi J, Carenzo M, Pellicciotti F, Bauder A, Funk M. 2014. A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response. Journal of Glaciology. 60(224), 1140–1154.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 12634
Pellicciotti F, Ragettli S, Carenzo M, McPhee J. 2014. Changes of glaciers in the Andes of Chile and priorities for future work. Science of The Total Environment. 493, 1197–1210.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12635
Pellicciotti F, Carenzo M, Bordoy R, Stoffel M. 2014. Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research. Science of The Total Environment. 493, 1152–1170.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12636
Immerzeel WW, Kraaijenbrink PDA, Shea JM, Shrestha AB, Pellicciotti F, Bierkens MFP, de Jong SM. 2014. High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles. Remote Sensing of Environment. 150(7), 93–103.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12637 | OA
Immerzeel WW, Petersen L, Ragettli S, Pellicciotti F. 2014. The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas. Water Resources Research. 50(3), 2212–2226.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 1309
Fischer JL. 2014. Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models. Nonlinear Differential Equations and Applications. 21(1), 27–50.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1312
Fischer JL. 2014. Upper bounds on waiting times for the Thin-film equation: The case of weak slippage. Archive for Rational Mechanics and Analysis. 211(3), 771–818.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1979
Sazanov LA. 2014. The mechanism of coupling between electron transfer and proton translocation in respiratory complex I. Journal of Bioenergetics and Biomembranes. 46(4), 247–253.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1980
Heikal A, Nakatani Y, Dunn E, Weimar M, Day C, Baker E, Lott S, Sazanov LA, Cook G. 2014. Structure of the bacterial type II NADH dehydrogenase: a monotopic membrane protein with an essential role in energy generation. Molecular Microbiology. 91(5), 950–964.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed