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.
10763 Publications
2019 | Research Data | IST-REx-ID: 7154 | 
Guseinov R. Supplementary data for “Programming temporal morphing of self-actuated shells.” 2019. doi:10.15479/AT:ISTA:7154
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6747 |
Mondelli M, Montanari A. On the connection between learning two-layers neural networks and tensor decomposition. In: Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics. Vol 89. Proceedings of Machine Learning Research; 2019:1051-1060.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 7550 |
Portinale L, Stefanelli U. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 2019;28(2):425-447.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Draft | Preprint | IST-REx-ID: 7524 |
Deuchert A, Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas. I. Lower bound. arXiv. doi:10.48550/arXiv.1910.03372
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Submitted | Preprint | IST-REx-ID: 8314 |
Avarikioti G, Kokoris Kogias E, Wattenhofer R, Zindros D. Brick: Asynchronous payment channels. arXiv. doi:10.48550/arXiv.1905.11360
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Submitted | Preprint | IST-REx-ID: 8315 |
Avarikioti G, Kokoris Kogias E, Wattenhofer R. Divide and scale: Formalization of distributed ledger sharding protocols. arXiv. doi:10.48550/arXiv.1910.10434
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6759 |
Jelínek V, Töpfer M. On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. 2019;26(3). doi:10.37236/8096
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6989 |
Aichholzer O, Akitaya HA, Cheung KC, et al. Folding polyominoes with holes into a cube. In: Proceedings of the 31st Canadian Conference on Computational Geometry. Canadian Conference on Computational Geometry; 2019:164-170.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 7035 |
Geher GP, Titkos T, Virosztek D. Dirac masses and isometric rigidity. In: Kyoto RIMS Kôkyûroku. Vol 2125. Research Institute for Mathematical Sciences, Kyoto University; 2019:34-41.
[Submitted Version]
View
| Download Submitted Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 6659 |
Zenmyo N, Tokumaru H, Uchinomiya S, et al. Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins. Bulletin of the Chemical Society of Japan. 2019;92(5):995-1000. doi:10.1246/bcsj.20190034
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Published | Conference Paper | IST-REx-ID: 5948 |
Fu H, Chatterjee K. Termination of nondeterministic probabilistic programs. In: International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 11388. Springer Nature; 2019:468-490. doi:10.1007/978-3-030-11245-5_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Book Chapter | IST-REx-ID: 6726 |
Walter M. Sampling the integers with low relative error. In: Buchmann J, Nitaj A, Rachidi T, eds. Progress in Cryptology – AFRICACRYPT 2019. Vol 11627. LNCS. Cham: Springer Nature; 2019:157-180. doi:10.1007/978-3-030-23696-0_9
[Preprint]
View
| DOI
| Download Preprint (ext.)
2019 | Published | Thesis | IST-REx-ID: 6179 |
Schröder DJ. From Dyson to Pearcey: Universal statistics in random matrix theory. 2019. doi:10.15479/AT:ISTA:th6179
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 175 |
Browning TD, Loughran D. Sieving rational points on varieties. Transactions of the American Mathematical Society. 2019;371(8):5757-5785. doi:10.1090/tran/7514
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 19473 |
Perry RJ, Resch JM, Douglass AM, et al. Leptin’s hunger-suppressing effects are mediated by the hypothalamic–pituitary–adrenocortical axis in rodents. Proceedings of the National Academy of Sciences. 2019;116(27):13670-13679. doi:10.1073/pnas.1901795116
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 19493 |
Chan S, Hanselman J, Li W. Ranks, 2-Selmer groups, and Tamagawa numbers of elliptic curves with ℤ∕2ℤ × ℤ∕8ℤ-torsion. The Open Book Series. 2019;2:173-189. doi:10.2140/obs.2019.2.173
[Preprint]
View
| DOI
| Download Preprint (ext.)
2019 | Published | Journal Article | IST-REx-ID: 7093 |
Huszár K, Spreer J, Wagner U. On the treewidth of triangulated 3-manifolds. Journal of Computational Geometry. 2019;10(2):70–98. doi:10.20382/JOGC.V10I2A5
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9839 |
Polechova J. Data from: Is the sky the limit? On the expansion threshold of a species’ range. 2019. doi:10.5061/dryad.5vv37
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 5857 |
Fulek R, Pach J. Thrackles: An improved upper bound. Discrete Applied Mathematics. 2019;259(4):266-231. doi:10.1016/j.dam.2018.12.025
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Research Data Reference | IST-REx-ID: 9805 |
Barton NH. Data from: The consequences of an introgression event. 2019. doi:10.5061/dryad.2kb6fh4
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)