Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5025 Publications
2022 |Published| Journal Article | IST-REx-ID: 11435 | 
Ivanov G, Naszodi M. A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. 2022;36(2):951-957. doi:10.1137/21M1403308
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12776 |
Browning TD. Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5. New York Journal of Mathematics. 2022;28:1193-1229.
[Published Version]
View
| Files available
2022 |Published| Journal Article | IST-REx-ID: 10850 |
Roos B, Seiringer R. Two-particle bound states at interfaces and corners. Journal of Functional Analysis. 2022;282(12). doi:10.1016/j.jfa.2022.109455
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12452 |
Rao P, B R M, Fox G, et al. VoRF: Volumetric Relightable Faces. In: 33rd British Machine Vision Conference. British Machine Vision Association and Society for Pattern Recognition; 2022.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 11478 |
Bartalska K, Hübschmann V, Korkut M, et al. A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. iScience. 2022;25(7). doi:10.1016/j.isci.2022.104580
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12117 |
Hübschmann V, Korkut M, Siegert S. Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. STAR Protocols. 2022;3(4). doi:10.1016/j.xpro.2022.101866
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12291 |
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 11626 |
Gallei MC. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. 2022. doi:10.15479/at:ista:11626
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10411 |
Li L, Gallei MC, Friml J. Bending to auxin: Fast acid growth for tropisms. Trends in Plant Science. 2022;27(5):440-449. doi:10.1016/j.tplants.2021.11.006
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Research Data Reference | IST-REx-ID: 14520 |
Zemlicka M, Redchenko E, Peruzzo M, et al. Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses. 2022. doi:10.5281/ZENODO.8408897
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 10791 |
Hansen AH, Pauler F, Riedl M, et al. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 2022;1(1). doi:10.1093/oons/kvac009
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. Sound and complete certificates for auantitative termination analysis of probabilistic programs. In: Proceedings of the 34th International Conference on Computer Aided Verification. Vol 13371. Springer; 2022:55-78. doi:10.1007/978-3-031-13185-1_4
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12511 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 2022;36(7):7326-7336. doi:10.1609/aaai.v36i7.20695
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 14601 |
Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv. doi:10.48550/arXiv.2205.11991
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10851 |
Phan DT, Senior JL, Ghazaryan A, et al. Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit. Physical Review Letters. 2022;128(10). doi:10.1103/physrevlett.128.107701
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11471 |
Sack S, Medina Ramos RA, Michailidis A, Kueng R, Serbyn M. Avoiding barren plateaus using classical shadows. PRX Quantum. 2022;3(2). doi:10.1103/prxquantum.3.020365
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12538 |
Amani MH, Bombari S, Mondelli M, Pukdee R, Rini S. Sharp asymptotics on the compression of two-layer neural networks. IEEE Information Theory Workshop. 2022:588-593. doi:10.1109/ITW54588.2022.9965870
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12537 |
Bombari S, Amani MH, Mondelli M. Memorization and optimization in deep neural networks with minimum over-parameterization. In: 36th Conference on Neural Information Processing Systems. Vol 35. Curran Associates; 2022:7628-7640.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12272 |
Stopp JA, Sixt MK. Plan your trip before you leave: The neutrophils’ search-and-run journey. Journal of Cell Biology. 2022;221(8). doi:10.1083/jcb.202206127
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12155
Qin Y, Qin B, Wang D, Chang C, Zhao L-D. Solid-state cooling: Thermoelectrics. Energy & Environmental Science. 2022;15(11):4527-4541. doi:10.1039/d2ee02408j
View
| Files available
| DOI
| WoS