Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2678 Publications

2012 | Journal Article | IST-REx-ID: 2912
Edelsbrunner, Herbert, and Nataliya Strelkova. “Configuration Space for Shortest Networks .” Uspekhi Mat. Nauk 67, no. 6 (2012): 203–4. https://doi.org/10.4213/rm9503.
View | 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 (ext.)
 
2012 | Journal Article | IST-REx-ID: 2931
Torresani, Lorenzo, Vladimir Kolmogorov, and Carsten Rother. “A Dual Decomposition Approach to Feature Correspondence.” IEEE Transactions on Pattern Analysis and Machine Intelligence 35, no. 2 (2012): 259–71. https://doi.org/10.1109/TPAMI.2012.105.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 2917
Vladar, Harold. “The Game of Active Search for Extra Terrestrial Intelligence Breaking the Great Silence .” International Journal of Astrobiology 12, no. 1 (2012): 53–62. https://doi.org/10.1017/S1473550412000407.
View | DOI
 
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: 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 (ext.) | PubMed | Europe PMC
 
2012 | Conference Paper | IST-REx-ID: 3136
Guet, Calin C, Ashutosh Gupta, Thomas A Henzinger, Maria Mateescu, and Ali Sezgin. “Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits,” 7358:294–309. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_24.
View | DOI
 
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
 
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 (ext.) | arXiv
 
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 | 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 (ext.)
 
2012 | Journal Article | IST-REx-ID: 3167
Weber, Michele. “NextGen Speaks 13 .” Science 336, no. 6077 (2012): 32–34. https://doi.org/10.1126/science.336.6077.32.
View | DOI | PubMed | Europe PMC
 
2012 | Journal Article | IST-REx-ID: 3256   OA
Edelsbrunner, Herbert, and Michael Kerber. “Dual Complexes of Cubical Subdivisions of ℝn.” Discrete & Computational Geometry 47, no. 2 (2012): 393–414. https://doi.org/10.1007/s00454-011-9382-4.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 3244
Danowski, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB – Forum Bibliothek und Information 64, no. 4 (2012): 284.
View | Download (ext.)
 
2012 | Conference Paper | IST-REx-ID: 3282   OA
Dodis, Yevgeniy, Krzysztof Z Pietrzak, Eike Kiltz, and Daniel Wichs. “Message Authentication, Revisited,” 7237:355–74. Springer, 2012. https://doi.org/10.1007/978-3-642-29011-4_22.
View | Files available | DOI
 
2012 | Conference Paper | IST-REx-ID: 3124
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. “Approximating Marginals Using Discrete Energy Minimization.” ICML, 2012.
View | Files available
 
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 | 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: 3249
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances.” Theoretical Computer Science 413, no. 1 (2012): 21–35. https://doi.org/10.1016/j.tcs.2011.08.002.
View | Files available | DOI
 
2012 | Journal Article | IST-REx-ID: 2950
Behrndt, Martin, Guillaume Salbreux, Pedro Campinho, Robert Hauschild, Felix Oswald, Julia Roensch, Stephan Grill, and Carl-Philipp J Heisenberg. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” Science 338, no. 6104 (2012): 257–60. https://doi.org/10.1126/science.1224143.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed