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.
5769 Publications
2021 | Conference Paper | IST-REx-ID: 10665 | 
Henzinger, Thomas A., et al. “Scalable Verification of Quantized Neural Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5A, AAAI Press, 2021, pp. 3787–95.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10667 |
Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021, doi:10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 13358 |
Ryssy, Joonas, et al. “Light‐responsive Dynamic DNA‐origami‐based Plasmonic Assemblies.” Angewandte Chemie International Edition, vol. 60, no. 11, Wiley, 2021, pp. 5859–63, doi:10.1002/anie.202014963.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 13357 |
Bian, Tong, et al. “Electrostatic Co-Assembly of Nanoparticles with Oppositely Charged Small Molecules into Static and Dynamic Superstructures.” Nature Chemistry, vol. 13, no. 10, Springer Nature, 2021, pp. 940–49, doi:10.1038/s41557-021-00752-9.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 | Research Data Reference | IST-REx-ID: 13072 |
McCartney DL, Hillary RF, Conole EL, Trejo Banos D, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Munoz Maniega S, del C Valdes-Hernandez M, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2021. Blood-based epigenome-wide analyses of cognitive abilities, Zenodo, 10.5281/ZENODO.5794028.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)