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.

2872 Publications


2013 | Journal Article | IST-REx-ID: 973 | OA
Serbyn, Maksym, Zlatko Papić, and Dmitry Abanin. “Local Conservation Laws and the Structure of the Many Body Localized States.” Physical Review Letters 111, no. 12 (2013). https://doi.org/10.1103/PhysRevLett.111.127201.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 974 | OA
Serbyn, Maksym, Todadri Senthil, and Patrick Lee. “Overscreened Kondo Fixed Point in S=1 Spin Liquid.” Physical Review B - Condensed Matter and Materials Physics 88, no. 2 (2013). https://doi.org/10.1103/PhysRevB.88.024419.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 975 | OA
Serbyn, Maksym, Zlatko Papić, and Dmitry Abanin. “Universal Slow Growth of Entanglement in Interacting Strongly Disordered Systems.” Physical Review Letters 110, no. 26 (2013). https://doi.org/10.1103/PhysRevLett.110.260601.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 976 | OA
Serbyn, Maksym, and Patrick Lee. “Spinon-Phonon Interaction in Algebraic Spin Liquids.” Physical Review B - Condensed Matter and Materials Physics 87, no. 17 (2013). https://doi.org/10.1103/PhysRevB.87.174424.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679394.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 1442 | OA
Hausel, Tamas, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics 177, no. 3 (2013): 1147–68. https://doi.org/10.4007/annals.2013.177.3.8.
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 1443 | OA
Hausel, Tamas. “Global Topology of the Hitchin System.” In Handbook of Moduli: Volume II, 25:29–70. International Press, 2013.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1470 | OA
De Cataldo, Mark, Tamas Hausel, and Luca Migliorini. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities 7 (2013): 23–38. https://doi.org/10.5427/jsing.2013.7c.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 3261 | OA
Dubuis, Julien, Gašper Tkačik, Eric Wieschaus, Thomas Gregor, and William Bialek. “Positional Information, in Bits.” PNAS 110, no. 41 (2013): 16301–8. https://doi.org/10.1073/pnas.1315642110.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 344 | OA
Ibanez, Maria, Doris Cadavid, Umberto Anselmi Tamburini, Reza Zamani, Stéphane Gorsse, Wenhua Li, Antonio López, Joan Morante, Jordi Arbiol, and Andreu Cabot. “Colloidal Synthesis and Thermoelectric Properties of Cu 2SnSe3 Nanocrystals.” Journal of Materials Chemistry A 1, no. 4 (2013): 1421–26. https://doi.org/10.1039/C2TA00419D.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2048 | OA
Faust, Sebastian, Krzysztof Z Pietrzak, and Joachim Schipper. “Practical Leakage-Resilient Symmetric Cryptography.” In Conference Proceedings CHES 2012, 7428:213–32. Springer, 2012. https://doi.org/10.1007/978-3-642-33027-8_13.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2049 | OA
Heyse, Stefan, Eike Kiltz, Vadim Lyubashevsky, Christof Paar, and Krzysztof Z Pietrzak. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” In Conference Proceedings FSE 2012, 7549:346–65. Springer, 2012. https://doi.org/10.1007/978-3-642-34047-5_20.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2125 | OA
Hairer, Martin, and Jan Maas. “A Spatial Version of the Itô-Stratonovich Correction.” Annals of Probability 40, no. 4 (2012): 1675–1714. https://doi.org/10.1214/11-AOP662.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2127 | OA
Erbar, Matthias, and Jan Maas. “Ricci Curvature of Finite Markov Chains via Convexity of the Entropy.” Archive for Rational Mechanics and Analysis 206, no. 3 (2012): 997–1038. https://doi.org/10.1007/s00205-012-0554-z.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2128 | OA
Maas, Jan, Jan Van Neerven, and Pierre Portal. “Whitney Coverings and the Tent Spaces T 1,q (γ) for the Gaussian Measure.” Arkiv För Matematik 50, no. 2 (2012): 379–95. https://doi.org/10.1007/s11512-010-0143-z.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2151 | OA
Lemeshko, Mikhail, Roman Krems, and Hendrik Weimer. “Erratum: Nonadiabatic Preparation of Spin Crystals with Ultracold Polar Molecules.” Physical Review Letters 109, no. 4 (2012). https://doi.org/10.1103/PhysRevLett.109.049901.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2201 | OA
Lemeshko, Mikhail, Roman Krems, and Hendrik Weimer. “Nonadiabatic Preparation of Spin Crystals with Ultracold Polar Molecules.” Physical Review Letters 109, no. 3 (2012). https://doi.org/10.1103/PhysRevLett.109.035301.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2202 | OA
Alyabyshev, Sergey, Mikhail Lemeshko, and Roman Krems. “Sensitive Imaging of Electromagnetic Fields with Paramagnetic Polar Molecules.” Physical Review A - Atomic, Molecular, and Optical Physics 86, no. 1 (2012). https://doi.org/10.1103/PhysRevA.86.013409.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “Interaction between Polar Molecules Subject to a Far-off-Resonant Optical Field: Entangled Dipoles up- or down-Holding Each Other.” Molecular Physics 110, no. 15–16 (2012): 1873–81. https://doi.org/10.1080/00268976.2012.689868.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2263 | OA
Liang, Huixuan, Simon Hippenmeyer, and H. Ghashghaei. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open 1, no. 12 (2012): 1200–1203. https://doi.org/10.1242/bio.20122287.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2267 | OA
Preiner, Reinhold, Stefan Jeschke, and Michael Wimmer. “Auto Splats: Dynamic Point Cloud Visualization on the GPU,” 139–48. Eurographics Association, 2012. https://doi.org/10.2312/EGPGV/EGPGV12/139-148.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2268 | OA
Auzinger, Thomas, Michael Guthe, and Stefan Jeschke. “Analytic Anti-Aliasing of Linear Functions on Polytopes,” 31:335–44. Wiley-Blackwell, 2012. http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2316 | OA
Frank, Rupert, Élliott Lieb, Robert Seiringer, and Lawrence Thomas. “Ground State Properties of Multi-Polaron Systems,” 477–85. World Scientific Publishing, 2012. https://doi.org/10.1142/9789814449243_0045.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2317 | OA
Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “Microscopic Derivation of the Ginzburg-Landau Model,” 575–83. World Scientific Publishing, 2012. https://doi.org/10.1142/9789814449243_0060.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.” Journal of Spectral Theory 2, no. 3 (2012): 321–28. https://doi.org/10.4171/JST/31.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2395 | OA
Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “Microscopic Derivation of Ginzburg-Landau Theory.” Journal of the American Mathematical Society 25, no. 3 (2012): 667–713. https://doi.org/10.1090/S0894-0347-2012-00735-8.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2396 | OA
Landon, Benjamin, and Robert Seiringer. “The Scattering Length at Positive Temperature.” Letters in Mathematical Physics 100, no. 3 (2012): 237–43. https://doi.org/10.1007/s11005-012-0566-5.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2397 | OA
Hainzl, Christian, and Robert Seiringer. “Low Density Limit of BCS Theory and Bose-Einstein Condensation of Fermion Pairs.” Letters in Mathematical Physics 100, no. 2 (2012): 119–38. https://doi.org/10.1007/s11005-011-0535-4.
View | DOI | Download (ext.)
 

2012 | Book Review | IST-REx-ID: 2398 | OA
Jakšić, Vojkan, Yoshiko Ogata, Claude Pillet, and Robert Seiringer. “Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics.” Reviews in Mathematical Physics. World Scientific Publishing, 2012. https://doi.org/10.1142/S0129055X12300026.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2400 | OA
Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Binding of Polarons and Atoms at Threshold.” Communications in Mathematical Physics 313, no. 2 (2012): 405–24. https://doi.org/10.1007/s00220-012-1436-9.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2401 | OA
Lieb, Élliott, and Robert Seiringer. “Further Implications of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics 149, no. 1 (2012): 86–91. https://doi.org/10.1007/s10955-012-0585-8.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2402 | OA
Frank, Rupert, and Robert Seiringer. “Lieb-Thirring Inequality for a Model of Particles with Point Interactions.” Journal of Mathematical Physics 53, no. 9 (2012). https://doi.org/10.1063/1.3697416.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2403 | OA
Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Disordered Bose-Einstein Condensates with Interaction in One Dimension.” Journal of Statistical Mechanics Theory and Experiment 2012, no. 11 (2012). https://doi.org/10.1088/1742-5468/2012/11/P11007.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger, Ingo, Ricardo De Matos Simoes, Anne Kupczok, Matthias Gube, Erika Kothe, Kerstin Voigt, and Arndt Von Haeseler. “A Consistent Phylogenetic Backbone for the Fungi.” Molecular Biology and Evolution 29, no. 5 (2012): 1319–34. https://doi.org/10.1093/molbev/msr285.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 242 | OA
Baier, Stephan, Timothy D Browning, Gihan Marasingha, and Liangyi Zhao. “Averages of Shifted Convolutions of D3 (N).” Proceedings of the Edinburgh Mathematical Society 55, no. 3 (2012): 551–76. https://doi.org/10.1017/S001309151100037X.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 244 | OA
Browning, Timothy D, and Alan Haynes. “Incomplete Kloosterman Sums and Multiplicative Inverses in Short Intervals.” International Journal of Number Theory 9, no. 2 (2012): 481–86. https://doi.org/ https://doi.org/10.1142/S1793042112501448.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2459 | OA
Zwiewka, Marta, and Jiří Friml. “Fluorescence Imaging-Based Forward Genetic Screens to Identify Trafficking Regulators in Plants.” Frontiers in Plant Science 3, no. May (2012). https://doi.org/10.3389/fpls.2012.00097.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 492 | OA
Galkovskyi, Taras, Yuriy Mileyko, Alexander Bucksch, Brad Moore, Olga Symonova, Charles Price, Chrostopher Topp, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” BMC Plant Biology 12 (2012). https://doi.org/10.1186/1471-2229-12-116.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience 6 (2012). https://doi.org/10.3389/fnins.2012.00055.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
Kruckman, Alex, Sasha Rubin, John Sheridan, and Ben Zax. “A Myhill Nerode Theorem for Automata with Advice.” In Proceedings GandALF 2012, 96:238–46. Open Publishing Association, 2012. https://doi.org/10.4204/EPTCS.96.18.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich, Alexander, and Sasha Rubin. “Interpretations in Trees with Countably Many Branches.” IEEE, 2012. https://doi.org/10.1109/LICS.2012.65.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. “Faster Algorithms for Alternating Refinement Relations,” 16:167–82. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.CSL.2012.167.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications 5, no. 8 (2012): 913–24. https://doi.org/10.1111/j.1752-4571.2012.00284.x.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.” Journal of Cell Biology 197, no. 3 (2012): 347–49. https://doi.org/10.1083/jcb.201204039.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0002.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0001.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0003.
View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
View | Files available
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” In Automated Technology for Verification and Analysis, 7561:107–21. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-33386-6_10.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.” Procedia Technology 4 (2012): 820–24. https://doi.org/10.1016/j.protcy.2012.05.134.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA
Bernecky, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF Assembly.” Journal of Molecular Biology 417, no. 5 (2012): 387–94. https://doi.org/10.1016/j.jmb.2012.02.014.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
Busch, Karl Emanuel, Patrick Laurent, Zoltan Soltesz, Robin Joseph Murphy, Olivier Faivre, Berthold Hedwig, Martin Thomas, Heather L Smith, and Mario de Bono. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.” Nature Neuroscience 15, no. 4 (2012): 581–91. https://doi.org/10.1038/nn.3061.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Preprint | IST-REx-ID: 2696 | OA
Erdös, László. “Universality for Random Matrices and Log-Gases.” ArXiv. ArXiv, 2012.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2700 | OA
Erdös, László. “Lecture Notes on Quantum Brownian Motion,” 95:3–98. Oxford University Press, 2012.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2715 | OA
Chatterjee, Krishnendu, Manas Joglekar, and Nisarg Shah. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives,” 18:461–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.461.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2848 | OA
Chatterjee, Krishnendu, Damien Zufferey, and Martin Nowak. “Evolutionary Game Dynamics in Populations with Different Learners.” Journal of Theoretical Biology 301 (2012): 161–73. https://doi.org/10.1016/j.jtbi.2012.02.021.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2849 | OA
Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space of Steiner Minimal Trees.” Russian Mathematical Surveys 67, no. 6 (2012): 1167–68. https://doi.org/10.1070/RM2012v067n06ABEH004820.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2875 | OA
Bielach, Agnieszka, Jérôme Duclercq, Peter Marhavy, and Eva Benková. “Genetic Approach towards the Identification of Auxin - Cytokinin Crosstalk Components Involved in Root Development.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 367, no. 1595 (2012): 1469–78. https://doi.org/10.1098/rstb.2011.0233.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Boker, Udi, and Thomas A Henzinger. “Approximate Determinization of Quantitative Automata.” In Leibniz International Proceedings in Informatics, 18:362–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2903 | OA
Edelsbrunner, Herbert, and Olga Symonova. “The Adaptive Topology of a Digital Image,” 41–48. IEEE, 2012. https://doi.org/10.1109/ISVD.2012.11.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2904 | OA
Pausinger, Florian. “Weak Multipliers for Generalized van Der Corput Sequences.” Journal de Theorie Des Nombres Des Bordeaux 24, no. 3 (2012): 729–49. https://doi.org/10.5802/jtnb.819.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2916 | OA
Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.” In Electronic Proceedings in Theoretical Computer Science, 96:29–42. EPTCS, 2012. https://doi.org/10.4204/EPTCS.96.3.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2012 | Preprint | IST-REx-ID: 2928 | OA
Kolmogorov, Vladimir, and Thomas Schoenemann. “Generalized Sequential Tree-Reweighted Message Passing.” ArXiv. ArXiv, 2012.
View | Download Preprint (ext.) | arXiv
 

2012 | Report | IST-REx-ID: 2929 | OA
Kolmogorov, Vladimir. The Power of Linear Programming for Valued CSPs: A Constructive Characterization. Unknown, 2012.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2930 | OA
Huber, Anna, and Vladimir Kolmogorov. “Towards Minimizing K-Submodular Functions,” 7422:451–62. Springer, 2012. https://doi.org/10.1007/978-3-642-32147-4_40.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2936 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Finite Automata with Time Delay Blocks.” In Roceedings of the Tenth ACM International Conference on Embedded Software, 43–52. ACM, 2012. https://doi.org/10.1145/2380356.2380370.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2937 | OA
Almeida, José, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, and Santiago Béguelin. “Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.” In Proceedings of the 2012 ACM Conference on Computer and Communications Security, 488–500. ACM, 2012. https://doi.org/10.1145/2382196.2382249.
View | DOI | Download Submitted Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2941 | OA
Dolbilin, Nikolai, Herbert Edelsbrunner, and Oleg Musin. “On the Optimality of Functionals over Triangulations of Delaunay Sets.” Russian Mathematical Surveys 67, no. 4 (2012): 781–83. https://doi.org/10.1070/RM2012v067n04ABEH004807.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2943 | OA
Hadizadeh Yazdi, Nastaran, Calin C Guet, Reid Johnson, and John Marko. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.” Molecular Microbiology 86, no. 6 (2012): 1318–33. https://doi.org/10.1111/mmi.12071.
View | DOI | Download Submitted Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2946 | OA
Dueck, Anne, Christian Ziegler, Alexander Eichner, Eugène Berezikov, and Gunter Meister. “MicroRNAs Associated with the Different Human Argonaute Proteins.” Nucleic Acids Research 40, no. 19 (2012): 9850–62. https://doi.org/10.1093/nar/gks705.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2947 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Ritankar Majumdar. “Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games,” 7561:385–99. Springer, 2012. https://doi.org/10.1007/978-3-642-33386-6_30.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2954 | OA
Pernia-Andrade, Alejandro, Sarit Goswami, Yvonne Stickler, Ulrich Fröbe, Alois Schlögl, and Peter M Jonas. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.” Biophysical Journal 103, no. 7 (2012): 1429–39. https://doi.org/10.1016/j.bpj.2012.08.039.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 2955 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012. https://doi.org/10.1109/LICS.2012.28.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2957 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012. https://doi.org/10.1109/LICS.2012.29.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 2958 | OA
Allen, Kevin, J Nick Rawlins, David Bannerman, and Jozsef L Csicsvari. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through Rate Remapping.” Journal of Neuroscience 32, no. 42 (2012): 14752–66. https://doi.org/10.1523/JNEUROSCI.6175-11.2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2959 | OA
Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical Models.” Annals of Statistics 40, no. 1 (2012): 238–61. https://doi.org/10.1214/11-AOS957.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2962 | OA
Aeschbacher, Simon, Mark Beaumont, and Andreas Futschik. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.” Genetics 192, no. 3 (2012): 1027–47. https://doi.org/10.1534/genetics.112.143164.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2965 | OA
Danowski, Patrick. “Kontext Open Access: Creative Commons.” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare 65, no. 2 (2012): 200–212.
View | Files available | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2966 | OA
Cremer, Sylvia, Masaki Suefuji, Alexandra Schrempf, and Jürgen Heinze. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.” BMC Ecology 12 (2012). https://doi.org/10.1186/1472-6785-12-7.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2968 | OA
Lohse, Konrad, Nicholas H Barton, George Melika, and Graham Stone. “A Likelihood Based Comparison of Population Histories in a Parasitoid Guild.” Molecular Ecology 21, no. 18 (2012): 4605–17. https://doi.org/10.1111/j.1365-294X.2012.05700.x.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2969 | OA
Goswami, Sarit, Iancu Bucurenciu, and Peter M Jonas. “Miniature IPSCs in Hippocampal Granule Cells Are Triggered by Voltage-Gated Ca^(2+) Channels via Microdomain Coupling.” Journal of Neuroscience 32, no. 41 (2012): 14294–304. https://doi.org/10.1523/JNEUROSCI.6104-11.2012.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2972 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.” Theoretical Computer Science 458 (2012): 49–60. https://doi.org/10.1016/j.tcs.2012.07.038.
View | Files available | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2974 | OA
Jain, Abhishek, Stephan Krenn, Krzysztof Z Pietrzak, and Aris Tentes. “Commitments and Efficient Zero Knowledge Proofs from Learning Parity with Noise.” edited by Xiaoyun Wang and Kazue Sako, 7658:663–80. Springer, 2012. https://doi.org/10.1007/978-3-642-34961-4_40.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3115 | OA
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” Discrete & Computational Geometry 48, no. 4 (2012): 964–89. https://doi.org/10.1007/s00454-012-9441-5.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3117 | OA
Kolmogorov, Vladimir. “Minimizing a Sum of Submodular Functions.” Discrete Applied Mathematics 160, no. 15 (2012): 2246–58. https://doi.org/10.1016/j.dam.2012.05.025.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3118 | OA
Bojsen-Hansen, Morten, Hao Li, and Christopher J Wojtan. “Tracking Surfaces with Evolving Topology.” ACM Transactions on Graphics 31, no. 4 (2012). https://doi.org/10.1145/2185520.2185549.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3119 | OA
Raveendran, Karthik, Nils Thuerey, Christopher J Wojtan, and Greg Turk. “Controlling Liquids Using Meshes.” In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 255–64. ACM, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3120 | OA
Brown, Gavin, Michael Kerber, and Miles Reid. “Fano 3 Folds in Codimension 4 Tom and Jerry Part I.” Compositio Mathematica 148, no. 4 (2012): 1171–94. https://doi.org/10.1112/S0010437X11007226.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3121 | OA
Williams, Courtney, Wenyan Chen, Chia Lee, Daniel Yaeger, Nicholas Vyleta, and Stephen Smith. “Coactivation of Multiple Tightly Coupled Calcium Channels Triggers Spontaneous Release of GABA.” Nature Neuroscience 15, no. 9 (2012): 1195–97. https://doi.org/10.1038/nn.3162.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
Yu, Jihun, Christopher J Wojtan, Greg Turk, and Chee Yap. “Explicit Mesh Surfaces for Particle Based Fluids.” In Computer Graphics Forum, 31:815–24. Blackwell Publishing, 2012. https://doi.org/10.1111/j.1467-8659.2012.03062.x.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. “Approximating Marginals Using Discrete Energy Minimization.” ICML, 2012.
View | Files available
 

2012 | Conference Paper | IST-REx-ID: 3125 | OA
Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Augmented Attribute Representations,” 7576:242–55. Springer, 2012. https://doi.org/10.1007/978-3-642-33715-4_18.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3127 | OA
Quadrianto, Novi, Christoph Lampert, and Chao Chen. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” In Proceedings of the 29th International Conference on Machine Learning, 211–18. Omnipress, 2012.
View | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Partial-Observation Stochastic Parity Games.” Formal Methods in System Design 43, no. 2 (2012): 268–84. https://doi.org/10.1007/s10703-012-0164-2.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129 | OA
Busaryev, Oleksiy, Sergio Cabello, Chao Chen, Tamal Dey, and Yusu Wang. “Annotating Simplices with a Homology Basis and Its Applications,” 7357:189–200. Springer, 2012. https://doi.org/10.1007/978-3-642-31155-0_17.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3130 | OA
Bergmiller, Tobias, Martin Ackermann, and Olin Silander. “Patterns of Evolutionary Conservation of Essential Genes Correlate with Their Compensability.” PLoS Genetics 8, no. 6 (2012). https://doi.org/10.1371/journal.pgen.1002803.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3131 | OA
Weissman, Daniel, and Nicholas H Barton. “Limits to the Rate of Adaptive Substitution in Sexual Populations.” PLoS Genetics 8, no. 6 (2012). https://doi.org/10.1371/journal.pgen.1002740.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3133 | OA
Edelsbrunner, Herbert, and Michael 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 , 249–58. ACM, 2012. https://doi.org/10.1145/2261250.2261287.
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications