Please note that IST 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.
6504 Publications
2020 | Journal Article | IST-REx-ID: 8679
Lechner, M., Hasani, R., Amini, A., Henzinger, T. A., Rus, D., & Grosu, R. (2020). Neural circuit policies enabling auditable autonomy. Nature Machine Intelligence. Springer Nature. https://doi.org/10.1038/s42256-020-00237-3
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8680 | 
Tsai, T. Y.-C., Sikora, M. K., Xia, P., Colak-Champollion, T., Knaut, H., Heisenberg, C.-P. J., & Megason, S. G. (2020). An adhesion code ensures robust pattern formation during tissue morphogenesis. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aba6637
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8682 |
Browning, T. D., Boudec, P. L., & Sawin, W. (n.d.). The Hasse principle for random Fano hypersurfaces. arXiv.
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8691 |
Koudjinan, E. (2020). A KAM theorem for finitely differentiable Hamiltonian systems. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2020.03.044
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8694 |
Golmakani, A., Koudjinan, E., Luzzatto, S., & Pilarczyk, P. (2020). Rigorous numerics for critical orbits in the quadratic family. Chaos. AIP. https://doi.org/10.1063/5.0012822
View
| DOI
| Download Preprint (ext.)
| arXiv