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.

5611 Publications


2022 | Published | Journal Article | IST-REx-ID: 12684 | OA
Effective equidistribution of lattice points in positive characteristic
T. Horesh, F. Paulin, Journal de Theorie Des Nombres de Bordeaux 34 (2022) 679–703.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12750 | OA
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12775 | OA
Anytime guarantees for reachability in uncountable Markov decision processes
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12776 | OA
Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5
T.D. Browning, New York Journal of Mathematics 28 (2022) 1193–1229.
[Published Version] View | Files available
 

2022 | Published | Conference Paper | IST-REx-ID: 12780 | OA
CGX: Adaptive system support for communication-efficient deep learning
I. Markov, H. Ramezanikebrya, D.-A. Alistarh, in:, Proceedings of the 23rd ACM/IFIP International Middleware Conference, Association for Computing Machinery, 2022, pp. 241–254.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12793 | OA
A coarse geometric expansion of a variant of Arthur's truncated traces and some applications
H. Yu, Pacific Journal of Mathematics 321 (2022) 193–237.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 12860 | OA
Towards differential relational privacy and its use in question answering
S. Bombari, A. Achille, Z. Wang, Y.-X. Wang, Y. Xie, K.Y. Singh, S. Appalaraju, V. Mahadevan, S. Soatto, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Abstract | IST-REx-ID: 12894 | OA
Where is the sweet spot? A procurement story of general purpose compute nodes
A. Schlögl, A. Hornoiu, S. Elefante, S. Stadlbauer, in:, ASHPC22 - Austrian-Slovenian HPC Meeting 2022, EuroCC Austria c/o Universität Wien, 2022, p. 7.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12923 | OA
Modulating the surface and photophysical properties of carbon dots to access colloidal photocatalysts for cross-couplings
Z. Zhao, B. Pieber, M. Delbianco, ACS Catalysis 12 (2022) 13831–13837.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12924 | OA
Intraligand charge transfer enables visible‐light‐mediated Nickel‐catalyzed cross-coupling reactions
C. Cavedon, S. Gisbertz, S. Reischauer, S. Vogl, E. Sperlich, J.H. Burke, R.F. Wallick, S. Schrottke, W. Hsu, L. Anghileri, Y. Pfeifer, N. Richter, C. Teutloff, H. Müller‐Werkmeister, D. Cambié, P.H. Seeberger, J. Vura‐Weis, R.M. van der Veen, A. Thomas, B. Pieber, Angewandte Chemie International Edition 61 (2022).
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 12938 | OA
From vibrational spectroscopy and quantum tunnelling to periodic band structures – a self-supervised, all-purpose neural network approach to general quantum problems
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Physical Chemistry Chemical Physics 24 (2022) 25191–25202.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9794 | OA
Multitier mechanics control stromal adaptations in swelling lymph nodes
F.P. Assen, J. Abe, M. Hons, R. Hauschild, S. Shamipour, W. Kaufmann, T. Costanzo, G. Krens, M. Brown, B. Ludewig, S. Hippenmeyer, C.-P.J. Heisenberg, W. Weninger, E.B. Hannezo, S.A. Luther, J.V. Stein, M.K. Sixt, Nature Immunology 23 (2022) 1246–1255.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 9977 | OA
Resurgence analysis of quantum invariants of Seifert fibered homology spheres
W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10666 | OA
Adversarial training is not ready for robot learning
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.
View | Files available | DOI | Download None (ext.) | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10667 | OA
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10668 | OA
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10670 | OA
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed