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.
4966 Publications
2022 |
Published |
Conference Paper |
IST-REx-ID: 11775 |
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11777 |
High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
[Published Version]
View
| Files available
| DOI
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
2022 |
Published |
Journal Article |
IST-REx-ID: 11783 |
Low-energy spectrum and dynamics of the weakly interacting Bose gas
L. Bossmann, Journal of Mathematical Physics 63 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Bossmann, Journal of Mathematical Physics 63 (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 7791 |
When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.
2022 |
Published |
Preprint |
IST-REx-ID: 8125 |
High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating
W.F. Podlaski, E.J. Agnes, T.P. Vogels, BioRxiv (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
W.F. Podlaski, E.J. Agnes, T.P. Vogels, BioRxiv (2022).
2022 |
Published |
Journal Article |
IST-REx-ID: 7577 |
Weak convergence for variational inequalities with inertial-type method
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.
2022 |
Published |
Journal Article |
IST-REx-ID: 14355 |
A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease
Cali E, Lin S-J, Rocca C, Sahin Y, Al Shamsi A, El Chehadeh S, Chaabouni M, Mankad K, Galanaki E, Efthymiou S, Sudhakar S, Athanasiou-Fragkouli A, Celik T, Narli N, Bianca S, Murphy D, Moreira FMDC, Accogli A, Petree C, Huang K, Monastiri K, Edizadeh M, Nardello R, Ognibene M, De Marco P, Ruggieri M, Zara F, Striano P, Sahin Y, Al-Gazali L, Warde MTA, Gerard B, Zifarelli G, Beetz C, Fortuna S, Soler M, Valente EM, Varshney G, Maroofian R, Salpietro V, Houlden H, Grp SynS. 2022. A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. 24(10), 2194–2203.
[Published Version]
View
| Files available
| DOI
Cali E, Lin S-J, Rocca C, Sahin Y, Al Shamsi A, El Chehadeh S, Chaabouni M, Mankad K, Galanaki E, Efthymiou S, Sudhakar S, Athanasiou-Fragkouli A, Celik T, Narli N, Bianca S, Murphy D, Moreira FMDC, Accogli A, Petree C, Huang K, Monastiri K, Edizadeh M, Nardello R, Ognibene M, De Marco P, Ruggieri M, Zara F, Striano P, Sahin Y, Al-Gazali L, Warde MTA, Gerard B, Zifarelli G, Beetz C, Fortuna S, Soler M, Valente EM, Varshney G, Maroofian R, Salpietro V, Houlden H, Grp SynS. 2022. A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. 24(10), 2194–2203.
2022 |
Published |
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
U. Wagner, Bulletin de La Societe Mathematique de France 438 (2022) 281–294.
2022 |
Published |
Journal Article |
IST-REx-ID: 14437
Molecular engineering enables bright blue LEDs
H. Utzat, M. Ibáñez, Nature 612 (2022) 638–639.
View
| DOI
| PubMed | Europe PMC
H. Utzat, M. Ibáñez, Nature 612 (2022) 638–639.
2022 |
Research Data Reference |
IST-REx-ID: 14520 |
Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, (2022).
2022 |
Submitted |
Preprint |
IST-REx-ID: 14597 |
Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.L. Fischer, A. Marveggio, ArXiv (n.d.).
2022 |
Submitted |
Preprint |
IST-REx-ID: 14600 |
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
2022 |
Submitted |
Preprint |
IST-REx-ID: 14601 |
Learning stabilizing policies in stochastic control systems
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).
2022 |
Research Data Reference |
IST-REx-ID: 13064 |
Improving genome-wide association discovery and genomic prediction accuracy in biobank data
E. Orliac, D. Trejo Banos, S. Ojavee, K. Läll, R. Mägi, P. Visscher, M.R. Robinson, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Orliac, D. Trejo Banos, S. Ojavee, K. Läll, R. Mägi, P. Visscher, M.R. Robinson, (2022).
2022 |
Research Data Reference |
IST-REx-ID: 13066 |
Data from: Genetic architecture of repeated phenotypic divergence in Littorina saxatilis ecotype evolution
E. Koch, M. Ravinet, A.M. Westram, K. Jonannesson, R. Butlin, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Koch, M. Ravinet, A.M. Westram, K. Jonannesson, R. Butlin, (2022).
2022 |
Research Data Reference |
IST-REx-ID: 13076 |
Multi-queues can be state-of-the-art priority schedulers
A. Postnikova, N. Koval, G. Nadiradze, D.-A. Alistarh, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Postnikova, N. Koval, G. Nadiradze, D.-A. Alistarh, (2022).
2022 |
Published |
Conference Paper |
IST-REx-ID: 13239 |
Predictive learning enables neural networks to learn complex working memory tasks
T.L. Van Der Plas, T.P. Vogels, S.G. Manohar, in:, Proceedings of Machine Learning Research, ML Research Press, 2022, pp. 518–531.
[Published Version]
View
| Files available
T.L. Van Der Plas, T.P. Vogels, S.G. Manohar, in:, Proceedings of Machine Learning Research, ML Research Press, 2022, pp. 518–531.
2022 |
Published |
Journal Article |
IST-REx-ID: 13240 |
Tetracycline-controlled (TetON) gene expression system for the smut fungus Ustilago maydis
K.D. Ingole, N. Nagarajan, S. Uhse, C. Giannini, A. Djamei, Frontiers in Fungal Biology 3 (2022).
[Published Version]
View
| Files available
| DOI
K.D. Ingole, N. Nagarajan, S. Uhse, C. Giannini, A. Djamei, Frontiers in Fungal Biology 3 (2022).
2022 |
Published |
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
N.H. Konstantinov, C. Lampert, in:, Proceedings of Machine Learning Research, ML Research Press, 2022, pp. 59–83.
2022 |
Published |
Conference Paper |
IST-REx-ID: 14093 |
Faster one-sample stochastic conditional gradient method for composite convex minimization
G. Dresdner, M.-L. Vladarean, G. Rätsch, F. Locatello, V. Cevher, A. Yurtsever, in:, Proceedings of the 25th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2022, pp. 8439–8457.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
G. Dresdner, M.-L. Vladarean, G. Rätsch, F. Locatello, V. Cevher, A. Yurtsever, in:, Proceedings of the 25th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2022, pp. 8439–8457.