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.
9114 Publications
2022 | Journal Article | IST-REx-ID: 12511 | 
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i7.20695.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 14601 |
Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 10851 |
Phan, Duc T, Jorden L Senior, Areg Ghazaryan, M. Hatefipour, W. M. Strickland, J. Shabani, Maksym Serbyn, and Andrew P Higginbotham. “Detecting Induced P±ip Pairing at the Al-InAs Interface with a Quantum Microwave Circuit.” Physical Review Letters. American Physical Society, 2022. https://doi.org/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, Michael Reichelt, and Naveen C. Bisht. “An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis.” In Biochemical Pathways and Environmental Responses in Plants: Part A, edited by Joseph Jez, 676:49–69. Elsevier, 2022. https://doi.org/10.1016/bs.mie.2022.07.019.
View
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11471 |
Sack, Stefan, Raimel A Medina Ramos, Alexios Michailidis, Richard Kueng, and Maksym Serbyn. “Avoiding Barren Plateaus Using Classical Shadows.” PRX Quantum. American Physical Society, 2022. https://doi.org/10.1103/prxquantum.3.020365.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12538 |
Amani, Mohammad Hossein, Simone Bombari, Marco Mondelli, Rattana Pukdee, and Stefano Rini. “Sharp Asymptotics on the Compression of Two-Layer Neural Networks.” IEEE Information Theory Workshop. IEEE, 2022. https://doi.org/10.1109/ITW54588.2022.9965870.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12537 |
Bombari, Simone, Mohammad Hossein Amani, and Marco Mondelli. “Memorization and Optimization in Deep Neural Networks with Minimum Over-Parameterization.” In 36th Conference on Neural Information Processing Systems, 35:7628–40. Curran Associates, 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12272 |
Stopp, Julian A, and Michael K Sixt. “Plan Your Trip before You Leave: The Neutrophils’ Search-and-Run Journey.” Journal of Cell Biology. Rockefeller University Press, 2022. https://doi.org/10.1083/jcb.202206127.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 12155
Qin, Yongxin, Bingchao Qin, Dongyang Wang, Cheng Chang, and Li-Dong Zhao. “Solid-State Cooling: Thermoelectrics.” Energy & Environmental Science. Royal Society of Chemistry, 2022. https://doi.org/10.1039/d2ee02408j.
View
| Files available
| DOI
| WoS
2022 | Preprint | IST-REx-ID: 14600 |
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv