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 |
Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. Stochastic games with lexicographic objectives. Formal Methods in System Design. 2023. doi:10.1007/s10703-023-00411-4
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 12961
Wagner B, Šlipogor V, Oh J, Varga M, Hoeschele M. A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence. Developmental Science. 2023;26(5). doi:10.1111/desc.13395
View
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14458 |
Frantar E, Alistarh D-A. SparseGPT: Massive language models can be accurately pruned in one-shot. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:10323-10337.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14444 |
Kwan MA, Sah A, Sawhney M, Simkin M. Substructures in Latin squares. Israel Journal of Mathematics. 2023;256(2):363-416. doi:10.1007/s11856-023-2513-9
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14448 |
Kolmogorov V. Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions. In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Vol 2023. IEEE; 2023:11980-11989. doi:10.1109/CVPR52729.2023.01153
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv