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.
9101 Publications
2022 | Journal Article | IST-REx-ID: 11403
Stöllner, Andrea. “Measuring Airborne Nanoplastics Using Aerosol Physics.” Nature Reviews Earth and Environment, vol. 3, no. 6, Springer Nature, 2022, p. 360, doi:10.1038/s43017-022-00302-y.
View
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 10791 | 
Hansen, Andi H., et al. “Tissue-Wide Effects Override Cell-Intrinsic Gene Function in Radial Neuron Migration.” Oxford Open Neuroscience, vol. 1, no. 1, kvac009, Oxford Academic, 2022, doi:10.1093/oons/kvac009.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12000 |
Chatterjee, Krishnendu, et al. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” Proceedings of the 34th International Conference on Computer Aided Verification, vol. 13371, Springer, 2022, pp. 55–78, doi:10.1007/978-3-031-13185-1_4.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12511 |
Lechner, Mathias, et al. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7, Association for the Advancement of Artificial Intelligence, 2022, pp. 7326–36, doi:10.1609/aaai.v36i7.20695.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 14601 |
Zikelic, Dorde, et al. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, doi:10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 10851 |
Phan, Duc T., et al. “Detecting Induced P±ip Pairing at the Al-InAs Interface with a Quantum Microwave Circuit.” Physical Review Letters, vol. 128, no. 10, 107701, American Physical Society, 2022, doi:10.1103/physrevlett.128.107701.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Book Chapter | IST-REx-ID: 12294
Kumar, Roshan, et al. “An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis.” Biochemical Pathways and Environmental Responses in Plants: Part A, edited by Joseph Jez, vol. 676, Elsevier, 2022, pp. 49–69, doi:10.1016/bs.mie.2022.07.019.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11471 |
Sack, Stefan, et al. “Avoiding Barren Plateaus Using Classical Shadows.” PRX Quantum, vol. 3, no. 2, 020365, American Physical Society, 2022, doi:10.1103/prxquantum.3.020365.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12538 |
Amani, Mohammad Hossein, et al. “Sharp Asymptotics on the Compression of Two-Layer Neural Networks.” IEEE Information Theory Workshop, IEEE, 2022, pp. 588–93, doi:10.1109/ITW54588.2022.9965870.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12537 |
Bombari, Simone, et al. “Memorization and Optimization in Deep Neural Networks with Minimum Over-Parameterization.” 36th Conference on Neural Information Processing Systems, vol. 35, Curran Associates, 2022, pp. 7628–40.
[Preprint]
View
| Download Preprint (ext.)
| arXiv