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.

3380 Publications


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. Springer, 2012. 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. Springer, 2012. 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. American Institute of Physics, 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. IOP Publishing Ltd., 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. Oxford University Press, 2012. 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. Cambridge University Press, 2012. 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. World Scientific Publishing, 2012. 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. Frontiers Research Foundation, 2012. https://doi.org/10.3389/fpls.2012.00097.
View | Files available | DOI
 

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. Elsevier, 2012. 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. IOP Publishing Ltd., 2012. 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 Marhavý, 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. Royal Society, The, 2012. 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. Universite de Bordeaux, 2012. 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. IOP Publishing, 2012. 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. Wiley-Blackwell, 2012. 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. Oxford University Press, 2012. 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. Biophysical, 2012. 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. Society for Neuroscience, 2012. 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. Institute of Mathematical Statistics, 2012. 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. Genetics Society of America, 2012. 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. VÖB, 2012.
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. BioMed Central, 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. Wiley-Blackwell, 2012. 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. Society for Neuroscience, 2012. 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. Elsevier, 2012. 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: 808 | OA
Vinzenz, Marlene, Maria Nemethova, Florian KM Schur, Jan Mueller, Akihiro Narita, Edit Urban, Christoph Winkler, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.” Journal of Cell Science. Company of Biologists, 2012. https://doi.org/10.1242/jcs.107623.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 171 | OA
Browning, Timothy D, and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2012. https://doi.org/10.1515/crelle.2012.039.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1756 | OA
Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Pascal Gentile, and Silvano De Franceschi. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.” Nano Letters. American Chemical Society, 2012. https://doi.org/10.1021/nl300930m.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
Zhang, Jianjun, Georgios Katsaros, Francesco Montalenti, Daniele Scopece, Roman Rezaev, Christine Mickel, Bernd Rellinghaus, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.085502.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
Lee, Eduardo, Xiaocheng Jiang, Ramón Aguado, Georgios Katsaros, Charles Lieber, and Silvano De Franceschi. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.186802.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1782 | OA
Pechal, M, Stefan Berger, Abdufarrukh Abdumalikov, Johannes M Fink, Jonas Mlynek, L. Steffen, Andreas Wallraff, and Stefan Filipp. “Geometric Phase and Nonadiabatic Effects in an Electronic Harmonic Oscillator.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.170401.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
Mlynek, Jonas, Abdufarrukh Abdumalikov, Johannes M Fink, L. Steffen, Matthias Baur, C Lang, Arjan Van Loo, and Andreas Wallraff. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2012. https://doi.org/10.1103/PhysRevA.86.053838.
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. Institute of Mathematical Statistics, 2012. 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. Springer, 2012. 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. Springer, 2012. 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. American Physical Society, 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. American Physical Society, 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. American Physical Society, 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. Taylor & Francis, 2012. https://doi.org/10.1080/00268976.2012.689868.
View | DOI | Download (ext.)
 

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. BioMed Central, 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. Frontiers Research Foundation, 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. Wiley-Blackwell, 2012. 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. Rockefeller University Press, 2012. 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. Elsevier, 2012. 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. Elsevier, 2012. 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. Springer Nature, 2012. https://doi.org/10.1038/nn.3061.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering, 2012.
View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp 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. ACM, 2012. https://doi.org/10.1145/2393596.2393664.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology. University of Warwick, 2012. https://doi.org/10.2140/gt.2012.16.1609.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.3.7.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
Mark, Manfred, Elmar Haller, Katharina Lauber, Johann G Danzl, Alexander Janisch, Hans Büchler, Andrew Daley, and Hanns Nägerl. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.215302.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 114 | OA
Waitukaitis, Scott R, and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” Revista Cubana de Fisica. Universidad de La Habana, 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 9014 | OA
Theurkauff, I., C. Cottin-Bizonne, Jérémie A Palacci, C. Ybert, and L. Bocquet. “Dynamic Clustering in Active Colloidal Suspensions with Chemical Signaling.” Physical Review Letters. American Physical Society , 2012. https://doi.org/10.1103/physrevlett.108.268303.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 9142 | OA
MULLER, Caroline J, and Isaac M. Held. “Detailed Investigation of the Self-Aggregation of Convection in Cloud-Resolving Simulations.” Journal of the Atmospheric Sciences. American Meteorological Society, 2012. https://doi.org/10.1175/jas-d-11-0257.1.
View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 922 | OA
Hannezo, Edouard B, Jacques Prost, and Jean Joanny. “Mechanical Instabilities of Biological Tubes.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.109.018101.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 966 | OA
Bieri, Samuel, Maksym Serbyn, Todadri Senthil, and Patrick 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. American Physical Society, 2012. https://doi.org/10.1103/PhysRevB.86.224409.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3846 | OA
Chatterjee, Krishnendu, and Thomas A Henzinger. “A Survey of Stochastic ω Regular Games.” Journal of Computer and System Sciences. Elsevier, 2012. https://doi.org/10.1016/j.jcss.2011.05.002.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 387 | OA
Alpichshev, Zhanybek, Rudro Biswas, Alexander Balatsky, James Analytis, Jiunhaw Chu, Ian Fisher, and Aharon Kapitulnik. “STM Imaging of Impurity Resonances on Bi 2Se 3.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.206402.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 3115 | OA
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” Discrete & Computational Geometry. Springer, 2012. 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. Elsevier, 2012. 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. ACM, 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. Cambridge University Press, 2012. 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. Nature Publishing Group, 2012. 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. Springer, 2012. 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. Public Library of Science, 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. Public Library of Science, 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.)
 

2012 | Conference Paper | IST-REx-ID: 3135 | OA
Brázdil, Brázdil, Krishnendu Chatterjee, Antonín Kučera, and Petr Novotný. “Efficient Controller Synthesis for Consumption Games with Multiple Resource Types,” 7358:23–38. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_8.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, Benoît, Uli Fahrenberg, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Synchronous Interface Theories and Time Triggered Scheduling,” 7273:203–18. Springer, 2012. https://doi.org/10.1007/978-3-642-30793-5_13.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications