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.




5791 Publications

2015 | Published | Conference Paper | IST-REx-ID: 1859 | OA
Shah, Neel, Vladimir Kolmogorov, and Christoph Lampert. “A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle,” 2737–45. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298890.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1882 | OA
Fahrenberg, Uli, Jan Kretinsky, Axel Legay, and Louis Traonouez. “Compositionality for Quantitative Specifications,” 8997:306–24. Springer, 2015. https://doi.org/10.1007/978-3-319-15317-9_19.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1840 | OA
Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control. IEEE, 2015. https://doi.org/10.1109/TAC.2014.2364971.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1864 | OA
Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for Random Band Matrices II: The General Case.” Annales Henri Poincare. Springer, 2015. https://doi.org/10.1007/s00023-014-0333-5.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1857 | OA
Pentina, Anastasia, Viktoriia Sharmanska, and Christoph Lampert. “Curriculum Learning of Multiple Tasks,” 5492–5500. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7299188.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1885 | OA
Tkačik, Gašper, Julien Dubuis, Mariela Petkova, and Thomas Gregor. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.” Genetics. Genetics Society of America, 2015. https://doi.org/10.1534/genetics.114.171850.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM. ACM, 2015. https://doi.org/10.1145/2699430.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.” Information and Computation. Elsevier, 2015. https://doi.org/10.1016/j.ic.2015.06.003.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1637 | OA
Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs,” 1246–58. IEEE, 2015. https://doi.org/10.1109/FOCS.2015.80.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1512 | OA
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers,” 34:507–21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.507.
[Submitted Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1511 | OA
Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result,” 34:476–90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.476.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1430 | OA
Paixao, Tiago, Dirk Sudholt, Jorge Heredia, and Barbora Trubenova. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.” In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 1455–62. ACM, 2015. https://doi.org/10.1145/2739480.2754758.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design. Springer, 2015. https://doi.org/10.1007/s10703-015-0235-2.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1576 | OA
Cepeda Humerez, Sarah A, Georg Rieckh, and Gašper Tkačik. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.” Physical Review Letters. American Physical Society, 2015. https://doi.org/10.1103/PhysRevLett.115.248101.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1660 | OA
Brázdil, Tomáš, Stefan Kiefer, Antonín Kučera, and Petr Novotný. “Long-Run Average Behaviour of Probabilistic Vector Addition Systems,” 44–55. IEEE, 2015. https://doi.org/10.1109/LICS.2015.15.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1664 | OA
Barkley, Dwight, Baofang Song, Mukund Vasudevan, Grégoire M Lemoult, Marc Avila, and Björn Hof. “The Rise of Fully Turbulent Flow.” Nature. Nature Publishing Group, 2015. https://doi.org/10.1038/nature15701.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1677 | OA
Alt, Johannes. “The Local Semicircle Law for Random Matrices with a Fourfold Symmetry.” Journal of Mathematical Physics. American Institute of Physics, 2015. https://doi.org/10.1063/1.4932606.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński, Marcin, Jan Kaczmarczyk, and Jozef Spałek. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.” Physical Review B. American Physical Society, 2015. https://doi.org/10.1103/PhysRevB.92.125135.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1704 | OA
Deuchert, Andreas, Christian Hainzl, and Robert Seiringer. “Note on a Family of Monotone Quantum Relative Entropies.” Letters in Mathematical Physics. Springer, 2015. https://doi.org/10.1007/s11005-015-0787-5.
[Preprint] View | Files available | DOI | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1698 | OA
Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation. Elsevier, 2015. https://doi.org/10.1016/j.ic.2015.03.001.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

type<>software

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed