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.

8998 Publications


2023 | Journal Article | IST-REx-ID: 14815 | OA
On biased compression for distributed learning
A. Beznosikov, S. Horvath, P. Richtarik, M. Safaryan, Journal of Machine Learning Research 24 (2023) 1–50.
[Published Version] View | Files available | WoS | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14456 | OA
Shortest dominating set reconfiguration under token sliding
J.M. Křišťan, J. Svoboda, in:, 24th International Symposium on Fundamentals of Computation Theory, Springer Nature, 2023, pp. 333–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14829 | OA
Proof of availability and retrieval in a modular blockchain architecture
S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 36–53.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 14827
Connecting theory and experiment in cell and tissue mechanics
C. Schwayer, D. Brückner, Journal of Cell Science 136 (2023).
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint] View | Files available | DOI | arXiv
 

Search

Filter Publications