RNDr. Vít Musil, Ph.D.
odborný asistent – Katedra teorie programování
kancelář: C415
Botanická 554/68a
602 00 Brno
telefon: | 549 49 7026 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 20
2022
-
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, rok: 2022
2021
-
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, rok: 2021
-
Maximal Non-compactness of Sobolev Embeddings
Journal of Geometric Analysis, rok: 2021, ročník: 31, vydání: 9, DOI
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), rok: 2021
-
Sharp exponential inequalities for the Ornstein-Uhlenbeck operator
Journal of Functional Analysis, rok: 2021, ročník: 281, vydání: 11, DOI
2020
-
Boundedness of classical operators on rearrangement-invariant spaces
Journal of Functional Analysis, rok: 2020, ročník: 278, vydání: 4, DOI
-
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), rok: 2020
-
Differentiation of Blackbox Combinatorial Solvers
8th International Conference on Learning Representations, ICLR 2020, rok: 2020
-
Moser inequalities in Gauss space
Mathematische Annalen, rok: 2020, ročník: 377, vydání: 3-4, DOI
-
Optimizing Rank-based Metrics with Blackbox Differentiation
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2020), rok: 2020