Please note that ISTA 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.

620 Publications


2023 | Journal Article | IST-REx-ID: 12738 | OA
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 12961
A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence
B. Wagner, V. Šlipogor, J. Oh, M. Varga, M. Hoeschele, Developmental Science 26 (2023).
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14458 | OA
SparseGPT: Massive language models can be accurately pruned in one-shot
E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14444 | OA
Substructures in Latin squares
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14448 | OA
Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions
V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 11980–11989.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

eissn%3D978-94-009-0435-4

Search

Filter Publications