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 | OA
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 | OA
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 | OA
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 | OA
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
 

Search

Filter Publications