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.

4959 Publications


2022 | Conference Paper | IST-REx-ID: 12775 | OA
Anytime guarantees for reachability in uncountable Markov decision processes
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 12510 | OA
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 | OA
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 | OA
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 | OA
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
 

2022 | Journal Article | IST-REx-ID: 12274 | OA
Retrograde movements determine effective stem cell numbers in the intestine
Azkanaz M, Corominas-Murtra B, Ellenbroek SIJ, Bruens L, Webb AT, Laskaris D, Oost KC, Lafirenze SJA, Annusver K, Messal HA, Iqbal S, Flanagan DJ, Huels DJ, Rojas-Rodríguez F, Vizoso M, Kasper M, Sansom OJ, Snippert HJ, Liberali P, Simons BD, Katajisto P, Hannezo EB, van Rheenen J. 2022. Retrograde movements determine effective stem cell numbers in the intestine. Nature. 607(7919), 548–554.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12144 | OA
Adenylate cyclase activity of TIR1/AFB auxin receptors in plants
L. Qi, M. Kwiatkowski, H. Chen, L. Hörmayer, S.A. Sinclair, M. Zou, C.I. del Genio, M.F. Kubeš, R. Napier, K. Jaworski, J. Friml, Nature 611 (2022) 133–138.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12275 | OA
Specific N-glycans regulate an extracellular adhesion complex during somatosensory dendrite patterning
M. Rahman, N. Ramirez, C.A. Diaz‐Balzac, H.E. Bülow, EMBO Reports 23 (2022).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12146 | OA
Phase-locking flows between orthogonally stretching parallel plates
B. Wang, R. Ayats López, A. Meseguer, F. Marques, Physics of Fluids 34 (2022).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications