Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6436 Publications

2021 | Published | Conference Paper | IST-REx-ID: 10414 | OA
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Book | IST-REx-ID: 10415
Cubic Forms and the Circle Method
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
View | DOI
 
2021 | Published | Thesis | MS | IST-REx-ID: 10422 | OA
Towards designer materials using customizable particle shape
A. Piankov, Towards Designer Materials Using Customizable Particle Shape, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10429 | OA
On achieving scalability through relaxation
G. Nadiradze, On Achieving Scalability through Relaxation, Institute of Science and Technology Austria, 2021.
[Published Version] View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 10432 | OA
Elastic consistency: A practical consistency model for distributed stochastic gradient descent
G. Nadiradze, I. Markov, B. Chatterjee, V. Kungurtsev, D.-A. Alistarh, in:, Proceedings of the AAAI Conference on Artificial Intelligence, 2021, pp. 9037–9045.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10435 | OA
Asynchronous decentralized SGD with quantized and local updates
G. Nadiradze, A. Sabour, P. Davies, S. Li, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10527 | OA
Unconventional superconductivity in systems with annular Fermi surfaces: Application to rhombohedral trilayer graphene
A. Ghazaryan, T. Holder, M. Serbyn, E. Berg, Physical Review Letters 127 (2021).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10533 | OA
Histone H1 prevents non-CG methylation-mediated small RNA biogenesis in Arabidopsis heterochromatin
J. Choi, D.B. Lyons, D. Zilberman, ELife 10 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10534 | OA
Fullerene derivatives with oligoethylene-glycol side chains: An investigation on the origin of their outstanding transport properties
J. Dong, S. Sami, D. Balazs, R. Alessandri, F. Jahani, L. Qiu, S.J. Marrink, R.W.A. Havenith, J.C. Hummelen, M.A. Loi, G. Portale, Journal of Materials Chemistry C 9 (2021) 16217–16225.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 10535 | OA
Dynamic maximum entropy provides accurate approximation of structured population dynamics
K. Bodova, E. Szep, N.H. Barton, PLoS Computational Biology 17 (2021).
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10536 | OA
TGFβ signaling in myeloid cells promotes lung and liver metastasis through different mechanisms
C. Stefanescu, M. Van Gogh, M. Roblek, M. Heikenwalder, L. Borsig, Frontiers in Oncology 11 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10545 | OA
Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT)
R.A. Medina Ramos, M. Serbyn, Physical Review A 104 (2021).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10549 | OA
Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems
J.L. Fischer, S. Neukamm, Archive for Rational Mechanics and Analysis 242 (2021) 343–452.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 7685 | OA
The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics 33 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 7900 | OA
Bosonic collective excitations in Fermi gases
N.P. Benedikter, Reviews in Mathematical Physics 33 (2021).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 7901 | OA
Correlation energy of a weakly interacting Fermi gas
N.P. Benedikter, P.T. Nam, M. Porta, B. Schlein, R. Seiringer, Inventiones Mathematicae 225 (2021) 885–979.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 7905 | OA
Sheaf-theoretic stratification learning from geometric and topological perspectives
A. Brown, B. Wang, Discrete and Computational Geometry 65 (2021) 1166–1198.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 7925 | OA
New inertial relaxed method for solving split feasibilities
Y. Shehu, A. Gibali, Optimization Letters 15 (2021) 2109–2126.
[Published Version] View | Files available | DOI | WoS
 
2021 | Published | Journal Article | IST-REx-ID: 7939 | OA
Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing 34 (2021) 463–487.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 
2021 | Published | Book Chapter | IST-REx-ID: 7941
Simple multi-color super-resolution by X10 microscopy
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed