ISTA Research Explorer

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.

10779 Publications

2021 | Published | Journal Article | IST-REx-ID: 10180 |

Hoefler, T., Alistarh, D.-A., Ben-Nun, T., Dryden, N., & Krumes, A. (2021). Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks. Journal of Machine Learning Research. ML Research Press.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10613 |

Chen, J. P., & Sau, F. (2021). Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems. Markov Processes And Related Fields. Polymat Publishing.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 19909

Cheng, B., Bethkenhagen, M., Pickard, C. J., & Hamel, S. (2021). Phase behaviours of superionic water at planetary conditions. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-021-01334-9

[Preprint] View | Files available | DOI | arXiv

2021 | Submitted | Preprint | IST-REx-ID: 9696 |

Cheng, B., Bethkenhagen, M., Pickard, C. J., & Hamel, S. (n.d.). Predicting the phase behaviors of superionic water at planetary conditions. arXiv. https://doi.org/10.48550/arXiv.2103.09035

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 8317 |

Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P., … Schmidt, C. (2021). Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2020.101700

2021 | Published | Conference Paper | IST-REx-ID: 9416 |

Phuong, M., & Lampert, C. (2021). The inductive bias of ReLU networks on orthogonally separable data. In 9th International Conference on Learning Representations. Virtual.

[Published Version] View | Files available | Download Published Version (ext.)

2021 | Published | Journal Article | IST-REx-ID: 10220 |

Avvakumov, S., Mabillard, I., Skopenkov, A. B., & Wagner, U. (2021). Eliminating higher-multiplicity intersections. III. Codimension 2. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-021-2216-z

2021 | Published | Journal Article | IST-REx-ID: 10299 |

Choueiri, G. H., Lopez Alonso, J. M., Varshney, A., Sankar, S., & Hof, B. (2021). Experimental observation of the origin and structure of elastoinertial turbulence. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2102350118

2021 | Published | Journal Article | IST-REx-ID: 6995 |

Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M., … Novitch, B. G. (2021). Identification of neural oscillations and epileptiform changes in human brain organoids. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/s41593-021-00906-5

2021 | Published | Conference Paper | IST-REx-ID: 10002 |

Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 10004 |

Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595

2021 | Published | Conference Paper | IST-REx-ID: 10076 |

Blackshear, S., Chalkias, K., Chatzigiannis, P., Faizullabhoy, R., Khaburzaniya, I., Kokoris Kogias, E., … Zakian, T. (2021). Reactive key-loss protection in blockchains. In FC 2021 Workshops (Vol. 12676, pp. 431–450). Virtual: Springer Nature. https://doi.org/10.1007/978-3-662-63958-0_34

[Preprint] View | DOI | Download Preprint (ext.) | WoS

2021 | Published | Journal Article | IST-REx-ID: 10176 |

Runkel, I., & Szegedy, L. (2021). Topological field theory on r-spin surfaces and the Arf-invariant. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0037826

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10223 |

Li, L., Verstraeten, I., Roosjen, M., Takahashi, K., Rodriguez Solovey, L., Merrin, J., … Friml, J. (2021). Cell surface and intracellular auxin signalling for H⁺ fluxes in root growth. Nature. Springer Nature. https://doi.org/10.1038/s41586-021-04037-6

2021 | Published | Conference Paper | IST-REx-ID: 10666 |

Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In 2021 IEEE International Conference on Robotics and Automation (pp. 4140–4147). Xi’an, China. https://doi.org/10.1109/ICRA48506.2021.9561036

2021 | Published | Conference Paper | IST-REx-ID: 10847 |

Tomášek, P., Horák, K., Aradhye, A., Bošanský, B., & Chatterjee, K. (2021). Solving partially observable stochastic shortest-path games. In 30th International Joint Conference on Artificial Intelligence (pp. 4182–4189). Virtual, Online: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2021/575

[Published Version] View | DOI | Download Published Version (ext.)

2021 | Published | Conference Abstract | IST-REx-ID: 12909 |

Schlögl, A., Elefante, S., Hornoiu, A., & Stadlbauer, S. (2021). Managing software on a heterogenous HPC cluster. In ASHPC21 – Austrian-Slovenian HPC Meeting 2021 (p. 5). Virtual: University of Ljubljana. https://doi.org/10.3359/2021hpc

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2021 | Published | Conference Paper | IST-REx-ID: 13147 |

Alimisis, F., Davies, P., & Alistarh, D.-A. (2021). Communication-efficient distributed optimization with quantized preconditioners. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 196–206). Virtual: ML Research Press.

[Published Version] View | Files available | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 13146 |

Nguyen, Q., Mondelli, M., & Montufar, G. (2021). Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 8119–8129). Virtual: ML Research Press.

[Published Version] View | Files available | arXiv

2021 | Published | Journal Article | IST-REx-ID: 8910 |

Valentini, M., Peñaranda, F., Hofmann, A. C., Brauns, M., Hauschild, R., Krogstrup, P., … Katsaros, G. (2021). Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abf1513

ISTA Research Explorer

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

10779 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

10779 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options