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
2023 | Published | Conference Paper | IST-REx-ID: 14559 | 
Ansaripour, Matin, et al. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” 21st International Symposium on Automated Technology for Verification and Analysis, vol. 14215, Springer Nature, 2023, pp. 357–79, doi:10.1007/978-3-031-45329-8_17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13229 |
Shamipour, Shayan, et al. “Yolk Granule Fusion and Microtubule Aster Formation Regulate Cortical Granule Translocation and Exocytosis in Zebrafish Oocytes.” PLoS Biology, vol. 21, no. 6, Public Library of Science, 2023, p. e3002146, doi:10.1371/journal.pbio.3002146.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13053 |
Krumes, Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations , OpenReview, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14518 |
Avni, Guy, et al. “Reachability Poorman Discrete-Bidding Games.” Frontiers in Artificial Intelligence and Applications, vol. 372, IOS Press, 2023, pp. 141–48, doi:10.3233/FAIA230264.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
Akshay, S., et al. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 86–112, doi:10.1007/978-3-031-37709-9_5.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Avni, Guy, et al. “Bidding Graph Games with Partially-Observable Budgets.” Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 5, 2023, pp. 5464–71, doi:10.1609/aaai.v37i5.25679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14425 |
Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” Nature Communications, vol. 14, 6131, Springer Nature, 2023, doi:10.1038/s41467-023-41865-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Beneš, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.” 21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.
[Submitted Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14239 |
Mauri, Mirko, and Evgeny Shinder. “Homological Bondal-Orlov Localization Conjecture for Rational Singularities.” Forum of Mathematics, Sigma, vol. 11, e66, Cambridge University Press, 2023, doi:10.1017/fms.2023.65.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14658 |
Becker, J. M., et al. “Spin-Charge Correlations in Finite One-Dimensional Multiband Fermi Systems.” Physical Review Research, vol. 5, no. 4, 043039, American Physical Society, 2023, doi:10.1103/PhysRevResearch.5.043039.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14319 |
Anastos, Michael, et al. “Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets.” Electronic Journal of Combinatorics, vol. 30, no. 3, P3.10, Electronic Journal of Combinatorics, 2023, doi:10.37236/11714.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12313 |
Verzobio, Matteo. “Some Effectivity Results for Primitive Divisors of Elliptic Divisibility Sequences.” Pacific Journal of Mathematics, vol. 325, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–51, doi:10.2140/pjm.2023.325.331.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14605
Ouyang, Niuchang, et al. “Role of High-Order Lattice Anharmonicity in the Phonon Thermal Transport of Silver Halide AgX (X=Cl,Br, I).” Physical Review B, vol. 108, no. 17, 174302, American Physical Society, 2023, doi:10.1103/PhysRevB.108.174302.
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13268 |
Huybrechts, D., and Mirko Mauri. “On Type II Degenerations of Hyperkähler Manifolds.” Mathematical Research Letters, vol. 30, no. 1, International Press, 2023, pp. 125–41, doi:10.4310/mrl.2023.v30.n1.a6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14867 |
Anastos, Michael. “Constructing Hamilton Cycles and Perfect Matchings Efficiently.” Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41, doi:10.5817/cz.muni.eurocomb23-005.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 15363 |
Safaryan, Mher, et al. “Knowledge Distillation Performs Partial Variance Reduction.” 36th Conference on Neural Information Processing Systems, vol. 36, 2023.
[Published Version]
View
| Files available
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14486 |
Koutentakis, Georgios, et al. “Rotor Lattice Model of Ferroelectric Large Polarons.” Physical Review Research, vol. 5, no. 4, 043016, American Physical Society, 2023, doi:10.1103/PhysRevResearch.5.043016.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14654 |
Hwong, Yi-Ling, et al. “Assessing Memory in Convection Schemes Using Idealized Tests.” Journal of Advances in Modeling Earth Systems, vol. 15, no. 12, e2023MS003726, Wiley, 2023, doi:10.1029/2023MS003726.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14991 |
Hwong, Yi-Ling, et al. Data-Assessing Memory in Convection Schemes Using Idealized Tests. Zenodo, 2023, doi:10.5281/ZENODO.7757041.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14279 |
Ucar, Mehmet C. Source Data for the Manuscript “CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.” Zenodo, 2023, doi:10.5281/ZENODO.8133960.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)