ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2022 | Journal Article | IST-REx-ID: 12510 |

GoTube: Scalable statistical verification of continuous-depth models
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2022 | Journal Article | IST-REx-ID: 10802 |

Fairness-aware PAC learning from corrupted data
N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.

[Published Version] View | Files available | arXiv

2022 | Conference Paper | IST-REx-ID: 13241 |

On the impossibility of fairness-aware learning from corrupted data
N.H. Konstantinov, C. Lampert, in:, Proceedings of Machine Learning Research, ML Research Press, 2022, pp. 59–83.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2022 | Journal Article | IST-REx-ID: 10566 |

Room temperature aqueous-based synthesis of copper-doped lead sulfide nanoparticles for thermoelectric application
M. Li, Y. Liu, Y. Zhang, C. Chang, T. Zhang, D. Yang, K. Xiao, J. Arbiol, M. Ibáñez, A. Cabot, Chemical Engineering Journal 433 (2022).

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2022 | Journal Article | IST-REx-ID: 14381

High-dimensional expanders (after Gromov, Kaufman, Kazhdan, Lubotzky, and others)
U. Wagner, Bulletin de La Societe Mathematique de France 438 (2022) 281–294.

View | DOI