Please note that IST 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.

6278 Publications


2014 | Journal Article | IST-REx-ID: 2062 | OA View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2063
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2064 | OA
Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus
M. Rubio, Y. Fukazawa, N. Kamasawa, C. Clarkson, E. Molnár, R. Shigemoto, Journal of Comparative Neurology 522 (2014) 4023–4042.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2080
Spin-It: Optimizing moment of inertia for spinnable objects
M. Bac̈Her, E. Whiting, B. Bickel, O. Sorkine Hornung, in:, ACM, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2081
Designing inflatable structures
M. Skouras, B. Thomaszewski, P. Kaufmann, A. Garg, B. Bickel, E. Grinspun, M. Gross, in:, ACM, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2082 | OA
The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2083 | OA
Role of sex and migration in adaptation to sink environments
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2084 | OA
Spatio-temporally precise activation of engineered receptor tyrosine kinases by light
M. Grusch, K. Schelch, R. Riedler, E. Gschaider-Reichhart, C. Differ, W. Berger, Á. Inglés Prieto, H.L. Janovjak, EMBO Journal 33 (2014) 1713–1726.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2086 | OA
So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2115
Facial performance enhancement using dynamic shape space analysis
A. Bermano, D. Bradley, T. Beeler, F. Zund, D. Nowrouzezahrai, I. Baran, O. Sorkine Hornung, H. Pfister, R. Sumner, B. Bickel, M. Groß, ACM Transactions on Graphics 33 (2014).
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2131 | OA
Approximating Rough Stochastic PDEs
M. Hairer, J. Maas, H. Weber, Communications on Pure and Applied Mathematics 67 (2014) 776–870.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2132 | OA
Gradient flow structures for discrete porous medium equations
M. Erbar, J. Maas, Discrete and Continuous Dynamical Systems- Series A 34 (2014) 1355–1374.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2133 | OA View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2140 | OA
Dissipative preparation of spatial order in Rydberg-dressed Bose-Einstein condensates
J. Otterbach, M. Lemeshko, Physical Review Letters 113 (2014).
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2141 | OA View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2153 | OA
Induced matchings of barcodes and the algebraic stability of persistence
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2154 | OA
On Gromov's method of selecting heavily covered points
J. Matoušek, U. Wagner, Discrete & Computational Geometry 52 (2014) 1–33.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2155 | OA
The morse theory of Čech and Delaunay filtrations
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2156 | OA
Measuring distance between Reeb graphs
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2157 | OA
Embeddability in the 3 sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
View | Files available | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications