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.

3464 Publications


2012 | Conference Paper | IST-REx-ID: 2049 | OA
S. Heyse, E. Kiltz, V. Lyubashevsky, C. Paar, and K. Z. Pietrzak, “Lapin: An efficient authentication protocol based on ring-LPN,” in Conference proceedings FSE 2012, Washington, DC, USA, 2012, vol. 7549, pp. 346–365.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2125 | OA
M. Hairer and J. Maas, “A spatial version of the Itô-Stratonovich correction,” Annals of Probability, vol. 40, no. 4. Institute of Mathematical Statistics, pp. 1675–1714, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2127 | OA
M. Erbar and J. Maas, “Ricci curvature of finite Markov chains via convexity of the entropy,” Archive for Rational Mechanics and Analysis, vol. 206, no. 3. Springer, pp. 997–1038, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2128 | OA
J. Maas, J. Van Neerven, and P. Portal, “Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure,” Arkiv för Matematik, vol. 50, no. 2. Springer, pp. 379–395, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2151 | OA
M. Lemeshko, R. Krems, and H. Weimer, “Erratum: Nonadiabatic preparation of spin crystals with ultracold polar molecules,” Physical Review Letters, vol. 109, no. 4. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2201 | OA
M. Lemeshko, R. Krems, and H. Weimer, “Nonadiabatic preparation of spin crystals with ultracold polar molecules,” Physical Review Letters, vol. 109, no. 3. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2202 | OA
S. Alyabyshev, M. Lemeshko, and R. Krems, “Sensitive imaging of electromagnetic fields with paramagnetic polar molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 1. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA
M. Lemeshko and B. Friedrich, “Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other,” Molecular Physics, vol. 110, no. 15–16. Taylor & Francis, pp. 1873–1881, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 492 | OA
T. Galkovskyi et al., “GiA Roots: Software for the high throughput analysis of plant root system architecture,” BMC Plant Biology, vol. 12. BioMed Central, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
M. Tangermann et al., “Review of the BCI competition IV,” Frontiers in Neuroscience, vol. 6. Frontiers Research Foundation, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
A. Rabinovich and S. Rubin, “Interpretations in trees with countably many branches,” presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, “Faster algorithms for alternating refinement relations,” presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France, 2012, vol. 16, pp. 167–182.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
M. Pickup, D. Field, D. Rowell, and A. Young, “Predicting local adaptation in fragmented plant populations: Implications for restoration genetics,” Evolutionary Applications, vol. 5, no. 8. Wiley-Blackwell, pp. 913–924, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
M. K. Sixt, “Cell migration: Fibroblasts find a new way to get ahead,” Journal of Cell Biology, vol. 197, no. 3. Rockefeller University Press, pp. 347–349, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
K. Chatterjee and Y. Velner, Mean-payoff pushdown games. IST Austria, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, Faster algorithms for alternating refinement relations. IST Austria, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
F. Korc, V. Kolmogorov, and C. Lampert, Approximating marginals using discrete energy minimization. IST Austria, 2012.
View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
J. Porsche, Actual state of research data @ ISTAustria. IST Austria, 2012.
View | Files available
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,” in Automated Technology for Verification and Analysis, vol. 7561, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
R. Biswas and J. Sil, “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets,” Procedia Technology, vol. 4. Elsevier, pp. 820–824, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA
C. Bernecky and D. Taatjes, “Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly,” Journal of Molecular Biology, vol. 417, no. 5. Elsevier, pp. 387–394, 2012.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
K. E. Busch et al., “Tonic signaling from O2 sensors sets neural circuit activity and behavioral state,” Nature Neuroscience, vol. 15, no. 4. Springer Nature, pp. 581–591, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
F. Pausinger, “Elementary solutions of the Bernstein problem on two intervals,” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1. B. Verkin Institute for Low Temperature Physics and Engineering, pp. 63–78, 2012.
View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
T. Hausel and C. Pauly, “Prym varieties of spectral covers,” Geometry and Topology, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems and Hodge theory of character varieties: The case A 1,” Annals of Mathematics, vol. 175, no. 3. Princeton University Press, pp. 1329–1407, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
M. Mark et al., “Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions,” Physical Review Letters, vol. 108, no. 21. American Physical Society, 2012.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 114 | OA
S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water suspension,” Revista Cubana de Fisica, vol. 29, no. 1E. Universidad de La Habana, p. 1E31-1E33, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 9014 | OA
I. Theurkauff, C. Cottin-Bizonne, J. A. Palacci, C. Ybert, and L. Bocquet, “Dynamic clustering in active colloidal suspensions with chemical signaling,” Physical Review Letters, vol. 108, no. 26. American Physical Society , 2012.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 9142 | OA
C. J. MULLER and I. M. Held, “Detailed investigation of the self-aggregation of convection in cloud-resolving simulations,” Journal of the Atmospheric Sciences, vol. 69, no. 8. American Meteorological Society, pp. 2551–2565, 2012.
View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 922 | OA
E. B. Hannezo, J. Prost, and J. Joanny, “Mechanical instabilities of biological tubes,” Physical Review Letters, vol. 109, no. 1. American Physical Society, 2012.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 966 | OA
S. Bieri, M. Serbyn, T. Senthil, and P. Lee, “Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice,” Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3846 | OA
K. Chatterjee and T. A. Henzinger, “A survey of stochastic ω regular games,” Journal of Computer and System Sciences, vol. 78, no. 2. Elsevier, pp. 394–413, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 387 | OA
Z. Alpichshev et al., “STM imaging of impurity resonances on Bi 2Se 3,” Physical Review Letters, vol. 108, no. 20. American Physical Society, 2012.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 3115 | OA
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” Discrete & Computational Geometry, vol. 48, no. 4. Springer, pp. 964–989, 2012.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3117 | OA
V. Kolmogorov, “Minimizing a sum of submodular functions,” Discrete Applied Mathematics, vol. 160, no. 15. Elsevier, pp. 2246–2258, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3118 | OA
M. Bojsen-Hansen, H. Li, and C. J. Wojtan, “Tracking surfaces with evolving topology,” ACM Transactions on Graphics, vol. 31, no. 4. ACM, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3119 | OA
K. Raveendran, N. Thuerey, C. J. Wojtan, and G. Turk, “Controlling liquids using meshes,” in Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Aire-la-Ville, Switzerland, 2012, pp. 255–264.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3120 | OA
G. Brown, M. Kerber, and M. Reid, “Fano 3 folds in codimension 4 Tom and Jerry Part I,” Compositio Mathematica, vol. 148, no. 4. Cambridge University Press, pp. 1171–1194, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3121 | OA
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, and S. Smith, “Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA,” Nature Neuroscience, vol. 15, no. 9. Nature Publishing Group, pp. 1195–1197, 2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
J. Yu, C. J. Wojtan, G. Turk, and C. Yap, “Explicit mesh surfaces for particle based fluids,” in Computer Graphics Forum, Cagliari, Sardinia, Italy, 2012, vol. 31, no. 2, pp. 815–824.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
F. Korc, V. Kolmogorov, and C. Lampert, “Approximating marginals using discrete energy minimization,” presented at the ICML: International Conference on Machine Learning, Edinburgh, Scotland, 2012.
View | Files available
 

2012 | Conference Paper | IST-REx-ID: 3125 | OA
V. Sharmanska, N. Quadrianto, and C. Lampert, “Augmented attribute representations,” presented at the ECCV: European Conference on Computer Vision, Florence, Italy, 2012, vol. 7576, no. PART 5, pp. 242–255.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3127 | OA
N. Quadrianto, C. Lampert, and C. Chen, “The most persistent soft-clique in a set of sampled graphs,” in Proceedings of the 29th International Conference on Machine Learning, Edinburgh, United Kingdom, 2012, pp. 211–218.
View | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of partial-observation stochastic parity games,” Formal Methods in System Design, vol. 43, no. 2. Springer, pp. 268–284, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129 | OA
O. Busaryev, S. Cabello, C. Chen, T. Dey, and Y. Wang, “Annotating simplices with a homology basis and its applications,” presented at the SWAT: Symposium and Workshops on Algorithm Theory, Helsinki, Finland, 2012, vol. 7357, pp. 189–200.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3130 | OA
T. Bergmiller, M. Ackermann, and O. Silander, “Patterns of evolutionary conservation of essential genes correlate with their compensability,” PLoS Genetics, vol. 8, no. 6. Public Library of Science, 2012.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3131 | OA
D. Weissman and N. H. Barton, “Limits to the rate of adaptive substitution in sexual populations,” PLoS Genetics, vol. 8, no. 6. Public Library of Science, 2012.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3133 | OA
H. Edelsbrunner and M. Kerber, “Alexander duality for functions: The persistent behavior of land and water and shore,” in Proceedings of the twenty-eighth annual symposium on Computational geometry , Chapel Hill, NC, USA, 2012, pp. 249–258.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications