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.

7112 Publications


2023 | Published | Conference Paper | IST-REx-ID: 14460 | OA
SparseProp: Efficient sparse backpropagation for faster training of neural networks at the edge
M. Nikdan, T. Pegolotti, E.B. Iofinova, E. Kurtic, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 26215–26227.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14461 | OA
Quantized distributed training of large models with convergence guarantees
I. Markov, A. Vladu, Q. Guo, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 24020–24044.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14484 | OA
Control of tissue development by morphogens
A. Kicheva, J. Briscoe, Annual Review of Cell and Developmental Biology 39 (2023) 91–121.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14486 | OA
Rotor lattice model of ferroelectric large polarons
G. Koutentakis, A. Ghazaryan, M. Lemeshko, Physical Review Research 5 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14490 | OA
Lightning creation games
Z. Avarikioti, T. Lizurej, T. Michalak, M.X. Yeo, in:, 43rd International Conference on Distributed Computing Systems, IEEE, 2023, pp. 603–613.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Scientific Software | IST-REx-ID: 14502 | OA
Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data
G.A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, F.K. Schur, (2023).
View | Files available | DOI
 

2023 | Published | Thesis | IST-REx-ID: 14506 | OA
Advances in efficiency and privacy in payment channel network analysis
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14513 | OA
Few-body Bose gases in low dimensions - A laboratory for quantum dynamics
S.I. Mistakidis, A. Volosniev, R.E. Barfknecht, T. Fogarty, T. Busch, A. Foerster, P. Schmelcher, N.T. Zinner, Physics Reports 1042 (2023) 1–108.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 14514 | OA
Modeling Leidenfrost levitation of soft elastic solids
J. Binysh, I. Chakraborty, M.V. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J.E. Sprittles, A. Souslov, Physical Review Letters 131 (2023).
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14515 | OA
Path weight sampling: Exact Monte Carlo computation of the mutual information between stochastic trajectories
M. Reinhardt, G. Tkačik, P.R. Ten Wolde, Physical Review X 13 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14518 | OA
Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14523 | OA
SouslovLab/PRL2023-ModellingLeidenfrostLevitationofSoftElasticSolids: v1.0.1
J. Binysh, I. Chakraborty, M. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J. Sprittles, A. Souslov, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | Thesis | IST-REx-ID: 14539 | OA
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Thesis | IST-REx-ID: 14547 | OA
Resonant microwave spectroscopy of Al-InAs
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14552
Plant size, latitude, and phylogeny explain within-population variability in herbivory
Robinson ML et al. 2023. Plant size, latitude, and phylogeny explain within-population variability in herbivory. Science. 382(6671), 679–683.
View | Files available | DOI | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 14555 | OA
The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction
M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14556 | OA
How chromosomal inversions reorient the evolutionary process
E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlović, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology 36 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Published | Conference Paper | IST-REx-ID: 14559 | OA
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
 

2023 | Published | Thesis | IST-REx-ID: 14587 | OA
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

supervisor%3D3E04A7AA-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed