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.




5735 Publications

2020 | Published | Journal Article | IST-REx-ID: 8765 | OA
A practical method for animating anisotropic elastoplastic materials
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8385 | OA
Homogenized yarn-level cloth
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 39 (2020).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2020 | Published | Thesis | IST-REx-ID: 7629 | OA
Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, Institute of Science and Technology Austria, 2020.
[Published Version] View | Files available | DOI
 
2020 | Published | Book Chapter | IST-REx-ID: 74 | OA
Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures
Akopyan, Arseniy, Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures. Geometric Aspects of Functional Analysis 2256. 2020
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Preprint | IST-REx-ID: 7675 | OA
Normative models of enhancer function
R. Grah, B. Zoller, G. Tkačik, BioRxiv (2020).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 7909 | OA
Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion
J. Damiano-Guercio, L. Kurzawa, J. Müller, G.A. Dimchev, M. Schaks, M. Nemethova, T. Pokrant, S. Brühmann, J. Linkner, L. Blanchoin, M.K. Sixt, K. Rottner, J. Faix, ELife 9 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Conference Paper | IST-REx-ID: 15074 | OA
Brief announcement: Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Journal Article | IST-REx-ID: 8220 | OA
Stem cell lineage survival as a noisy competition for niche access
B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8077 | OA
Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence
Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 6593 | OA
An efficient projection-type method for monotone variational inequalities in Hilbert spaces
Y. Shehu, X.-H. Li, Q.-L. Dong, Numerical Algorithms 84 (2020) 365–388.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 8725 | OA
The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, in:, 34th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 3:1-3:18.
[Published Version] View | Files available | DOI | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 8722 | OA
Taming unbalanced training workloads in deep learning with partial collective operations
S. Li, T.B.-N. Tal Ben-Nun, S.D. Girolamo, D.-A. Alistarh, T. Hoefler, in:, Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 45–61.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 7636 | OA
Non-blocking interpolation search trees with doubly-logarithmic running time
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2020, pp. 276–291.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 15086 | OA
Adaptive gradient quantization for data-parallel SGD
F. Faghri, I. Tabrizian, I. Markov, D.-A. Alistarh, D. Roy, A. Ramezani-Kebrya, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2020.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 8272 | OA
Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 7955 | OA
Approximating values of generalized-reachability stochastic games
Ashok, Pranav, Approximating values of generalized-reachability stochastic games. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science . 2020
[Published Version] View | Files available | DOI | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 10673 | OA
A natural lottery ticket winner: Reinforcement learning with ordinary neural circuits
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–4093.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 10672 | OA
Learning representations for binary-classification without backpropagation
M. Lechner, in:, 8th International Conference on Learning Representations, ICLR, 2020.
[Published Version] View | Files available | Download Published Version (ext.)
 
2020 | Published | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 9103 | OA
Lagrangian reachtubes: The next generation
S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed