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.
71 Publications
2023 | Conference Paper | IST-REx-ID: 14084 | 
Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
View
| Files available
| DOI
| arXiv
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2022 | Journal Article | IST-REx-ID: 10737 |
Combining pattern-based CRFs and weighted context-free grammars
R. Takhanov, V. Kolmogorov, Intelligent Data Analysis 26 (2022) 257–272.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Takhanov, V. Kolmogorov, Intelligent Data Analysis 26 (2022) 257–272.
2021 | Conference Paper | IST-REx-ID: 10072 |
A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
View
| Files available
| DOI
| arXiv
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10552 |
One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
2021 | Conference Paper | IST-REx-ID: 9227
Experimental evaluation of a local search approximation algorithm for the multiway cut problem
A. Bloch-Hansen, N. Samei, R. Solis-Oba, in:, Conference on Algorithms and Discrete Applied Mathematics, Springer Nature, 2021, pp. 346–358.
View
| DOI
A. Bloch-Hansen, N. Samei, R. Solis-Oba, in:, Conference on Algorithms and Discrete Applied Mathematics, Springer Nature, 2021, pp. 346–358.
2021 | Conference Paper | IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
2021 | Preprint | IST-REx-ID: 10045 |
Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Dvorak, V. Kolmogorov, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 8817
An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research 93 (2021) 213–242.
View
| DOI
| WoS
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research 93 (2021) 213–242.
2021 | Journal Article | IST-REx-ID: 9315
New convergence results for inertial Krasnoselskii–Mann iterations in Hilbert spaces with applications
O.S. Iyiola, Y. Shehu, Results in Mathematics 76 (2021).
View
| DOI
| WoS
O.S. Iyiola, Y. Shehu, Results in Mathematics 76 (2021).