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.
4976 Publications
2021 | 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
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
2021 | Journal Article | IST-REx-ID: 10535 | 
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
K. Bodova, E. Szep, N.H. Barton, PLoS Computational Biology 17 (2021).
2021 | Conference Paper | IST-REx-ID: 10552 |
One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
2021 | Conference Paper | IST-REx-ID: 10595 |
Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
2021 | Conference Paper | IST-REx-ID: 10599 |
Successive syndrome-check decoding of polar codes
S.A. Hashemi, M. Mondelli, J. Cioffi, A. Goldsmith, in:, Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, Institute of Electrical and Electronics Engineers, 2021, pp. 943–947.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.A. Hashemi, M. Mondelli, J. Cioffi, A. Goldsmith, in:, Proceedings of the 55th Asilomar Conference on Signals, Systems, and Computers, Institute of Electrical and Electronics Engineers, 2021, pp. 943–947.
2021 | Journal Article | IST-REx-ID: 10608 |
Coarse infinite-dimensionality of hyperspaces of finite subsets
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
[Published Version]
View
| Files available
| DOI
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
2021 | Journal Article | IST-REx-ID: 10613 |
Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
2021 | Conference Paper | IST-REx-ID: 10630 |
On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10629 |
Quantitative verification on product graphs of small treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Journal Article | IST-REx-ID: 10635 |
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
2021 | Other Publication | IST-REx-ID: 10645 |
Qubit energy-relaxation statistics in the Bluefors quantum measurement system
S. Simbierowicz, C. Shi, M. Collodo, M. Kirste, F. Hassani, J.M. Fink, J. Bylander, D. Perez Lozano, R. Lake, Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
[Published Version]
View
| Download Published Version (ext.)
S. Simbierowicz, C. Shi, M. Collodo, M. Kirste, F. Hassani, J.M. Fink, J. Bylander, D. Perez Lozano, R. Lake, Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
2021 | Other Publication | IST-REx-ID: 10644 |
The Bluefors dilution refrigerator as an integrated quantum measurement system
R. Lake, S. Simbierowicz, P. Krantz, F. Hassani, J.M. Fink, The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
[Published Version]
View
| Download Published Version (ext.)
R. Lake, S. Simbierowicz, P. Krantz, F. Hassani, J.M. Fink, The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System, Bluefors Oy, Helsinki, Finland, 2021.
2021 | Conference Paper | IST-REx-ID: 10669 |
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
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.
2021 | Conference Paper | IST-REx-ID: 10671 |
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
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.
2021 | Conference Paper | IST-REx-ID: 10668 |
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.)
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.
2021 | Conference Paper | IST-REx-ID: 10670 |
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
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Conference Paper | IST-REx-ID: 10688 |
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 | Conference Paper | IST-REx-ID: 10694 |
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 | Conference Paper | IST-REx-ID: 10847 |
Solving partially observable stochastic shortest-path games
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
2021 | Conference Paper | IST-REx-ID: 10853 |
A scalable concurrent algorithm for dynamic connectivity
A. Fedorov, N. Koval, D.-A. Alistarh, in:, Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2021, pp. 208–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Fedorov, N. Koval, D.-A. Alistarh, in:, Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2021, pp. 208–220.
2021 | Preprint | IST-REx-ID: 10912 |
Quantifying the coexistence of neuronal oscillations and avalanches
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, (n.d.).
2021 | Conference Paper | IST-REx-ID: 11436 |
Asynchronous optimization methods for efficient training of deep neural networks with guarantees
V. Kungurtsev, M. Egan, B. Chatterjee, D.-A. Alistarh, in:, 35th AAAI Conference on Artificial Intelligence, AAAI 2021, AAAI Press, 2021, pp. 8209–8216.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
V. Kungurtsev, M. Egan, B. Chatterjee, D.-A. Alistarh, in:, 35th AAAI Conference on Artificial Intelligence, AAAI 2021, AAAI Press, 2021, pp. 8209–8216.
2021 | Conference Paper | IST-REx-ID: 11453 |
Online learning of neural computations from sparse temporal feedback
L. Braun, T.P. Vogels, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 16437–16450.
[Published Version]
View
| Download Published Version (ext.)
L. Braun, T.P. Vogels, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 16437–16450.
2021 | Conference Paper | IST-REx-ID: 11452 |
Distributed principal component analysis with limited communication
F. Alimisis, P. Davies, B. Vandereycken, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 2823–2834.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
F. Alimisis, P. Davies, B. Vandereycken, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 2823–2834.
2021 | Conference Paper | IST-REx-ID: 11463 |
M-FAC: Efficient matrix-free approximations of second-order information
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 14873–14886.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
E. Frantar, E. Kurtic, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 14873–14886.
2021 | Conference Paper | IST-REx-ID: 11464 |
Towards tight communication lower bounds for distributed optimisation
D.-A. Alistarh, J. Korhonen, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 7254–7266.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
D.-A. Alistarh, J. Korhonen, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 7254–7266.
2021 | Preprint | IST-REx-ID: 12077 |
On the leading constant in the Manin-type conjecture for Campana points
A.L. Shute, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.L. Shute, ArXiv (n.d.).
2021 | Preprint | IST-REx-ID: 12076 |
Sums of four squareful numbers
A.L. Shute, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A.L. Shute, ArXiv (n.d.).
2021 | 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
S.M. Truckenbrodt, S.O. Rizzoli, in:, Methods in Cell Biology, Elsevier, 2021, pp. 33–56.
2021 | Journal Article | IST-REx-ID: 9097 |
Role of subnetworks mediated by TNF α, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
[Published Version]
View
| Files available
| DOI
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
2021 | Book Chapter | IST-REx-ID: 9245
Quantifying tissue tension in the granulosa layer after laser surgery
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
View
| DOI
| PubMed | Europe PMC
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
2021 | Conference Paper | IST-REx-ID: 9296 |
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
2021 | Book Chapter | IST-REx-ID: 9403 |
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
2021 | Conference Paper | IST-REx-ID: 9466 |
The convergence of slide-type reductions
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
[Published Version]
View
| Files available
| DOI
M. Walter, in:, Public-Key Cryptography – PKC 2021, Springer Nature, 2021, pp. 45–67.
2021 | Journal Article | IST-REx-ID: 9465 |
A step in the Delaunay mosaic of order k
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, A. Nikitenko, G.F. Osang, Journal of Geometry 112 (2021).
2021 | Conference Paper | IST-REx-ID: 9543 |
New bounds for distributed mean estimation and variance reduction
P. Davies, V. Gurunanthan, N. Moshrefi, S. Ashkboos, D.-A. Alistarh, in:, 9th International Conference on Learning Representations, 2021.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
P. Davies, V. Gurunanthan, N. Moshrefi, S. Ashkboos, D.-A. Alistarh, in:, 9th International Conference on Learning Representations, 2021.
2021 | Conference Paper | IST-REx-ID: 9592 |
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
[Submitted Version]
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
2021 | Preprint | IST-REx-ID: 9082 |
Simultaneous identification of brain cell type and lineage via single cell RNA sequencing
D.J. Anderson, F. Pauler, A. McKenna, J. Shendure, S. Hippenmeyer, M.S. Horwitz, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
D.J. Anderson, F. Pauler, A. McKenna, J. Shendure, S. Hippenmeyer, M.S. Horwitz, BioRxiv (n.d.).
2021 | Conference Paper | IST-REx-ID: 9210 |
Does SGD implicitly optimize for smoothness?
V. Volhejn, C. Lampert, in:, 42nd German Conference on Pattern Recognition, Springer, 2021, pp. 246–259.
[Submitted Version]
View
| Files available
| DOI
V. Volhejn, C. Lampert, in:, 42nd German Conference on Pattern Recognition, Springer, 2021, pp. 246–259.
2021 | Conference Paper | IST-REx-ID: 9345 |
The density fingerprint of a periodic point set
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.
2021 | Preprint | IST-REx-ID: 9435 |
Non co-preservation of the 1/2 and 1/(2l+1)-rational caustics along deformations of circles
V. Kaloshin, E. Koudjinan, (2021).
[Submitted Version]
View
| Files available
V. Kaloshin, E. Koudjinan, (2021).
2021 | Conference Paper | IST-REx-ID: 9604 |
Counting cells of order-k voronoi tessellations in ℝ3 with morse theory
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 9620 |
Collecting coupons is faster with friends
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
[Preprint]
View
| Files available
| DOI
D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.
2021 | Conference Paper | IST-REx-ID: 9826 |
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
2021 | Conference Paper | IST-REx-ID: 9825 |
Dual lattice attacks for closest vector problems (with preprocessing)
T. Laarhoven, M. Walter, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 478–502.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T. Laarhoven, M. Walter, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 478–502.
2021 | Conference Paper | IST-REx-ID: 9823 |
Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 87–105.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, F. Ellen, J. Rybicki, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 87–105.
2021 | Conference Paper | IST-REx-ID: 9824
Body centered cubic grid - coordinate system and discrete analytical plane definition
L. Čomić, R. Zrour, G. Largeteau-Skapin, R. Biswas, E. Andres, in:, Discrete Geometry and Mathematical Morphology, Springer Nature, 2021, pp. 152–163.
View
| DOI
L. Čomić, R. Zrour, G. Largeteau-Skapin, R. Biswas, E. Andres, in:, Discrete Geometry and Mathematical Morphology, Springer Nature, 2021, pp. 152–163.
2021 | Preprint | IST-REx-ID: 9980 |
Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries
C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger, V. Wood, Research Square (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger, V. Wood, Research Square (n.d.).
2021 | Conference Paper | IST-REx-ID: 12767 |
On satisficing in quantitative games
S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2021, pp. 20–37.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Bansal, K. Chatterjee, M.Y. Vardi, in:, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2021, pp. 20–37.
2021 | Preprint | IST-REx-ID: 10011 |
A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, ArXiv (n.d.).