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.
3100 Publications
2021 | Preprint | IST-REx-ID: 9200 | 
Synthesis of hybrid automata with affine dynamics from time-series data
M. Garcia Soto, T.A. Henzinger, C. Schilling, ArXiv (n.d.).
View
| Files available
| arXiv
M. Garcia Soto, T.A. Henzinger, C. Schilling, ArXiv (n.d.).
2021 | Preprint | IST-REx-ID: 9199 |
Equidistribution and freeness on Grassmannians
T.D. Browning, T. Horesh, F.A. Wilsch, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, T. Horesh, F.A. Wilsch, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 9205 |
Cryo-EM grid optimization for membrane proteins
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
View
| Files available
| DOI
D. Kampjut, J. Steiner, L.A. Sazanov, IScience 24 (2021).
2021 | Journal Article | IST-REx-ID: 9206 |
Synthesis, bottom up assembly and thermoelectric properties of Sb-doped PbS nanocrystal building blocks
D. Cadavid, K. Wei, Y. Liu, Y. Zhang, M. Li, A. Genç, T. Berestok, M. Ibáñez, A. Shavel, G.S. Nolas, A. Cabot, Materials 14 (2021).
View
| Files available
| DOI
D. Cadavid, K. Wei, Y. Liu, Y. Zhang, M. Li, A. Genç, T. Berestok, M. Ibáñez, A. Shavel, G.S. Nolas, A. Cabot, Materials 14 (2021).
2021 | Conference Paper | IST-REx-ID: 9202 |
Hybridization for stability verification of nonlinear switched systems
M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2021, pp. 244–256.
View
| Files available
| DOI
M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2021, pp. 244–256.
2021 | Journal Article | IST-REx-ID: 9212
Auxin-regulated lateral root organogenesis
N. Cavallari, C. Artner, E. Benková, Cold Spring Harbor Perspectives in Biology (2021).
View
| DOI
| PubMed | Europe PMC
N. Cavallari, C. Artner, E. Benková, Cold Spring Harbor Perspectives in Biology (2021).
2021 | Journal Article | IST-REx-ID: 9225 |
Persistence of the spectral gap for the Landau–Pekar equations
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Letters in Mathematical Physics 111 (2021).
View
| Files available
| DOI
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Letters in Mathematical Physics 111 (2021).
2021 | Conference Paper | IST-REx-ID: 9227
Experimental evaluation of a local search approximation algorithm for the multiway cut problem
A. Bloch-Hansen, N. Samei, R. Solis-Oba, in:, Conference on Algorithms and Discrete Applied Mathematics, Springer Nature, 2021, pp. 346–358.
View
| DOI
A. Bloch-Hansen, N. Samei, R. Solis-Oba, in:, Conference on Algorithms and Discrete Applied Mathematics, Springer Nature, 2021, pp. 346–358.
2021 | Journal Article | IST-REx-ID: 9226
The many bits of positional information
G. Tkačik, T. Gregor, Development 148 (2021).
View
| DOI
| PubMed | Europe PMC
G. Tkačik, T. Gregor, Development 148 (2021).
2021 | Journal Article | IST-REx-ID: 9228
Towards democratizing and automating online conferences: Lessons from the Neuromatch Conferences
T. Achakulvisut, T. Ruangrong, P. Mineault, T.P. Vogels, M.A.K. Peters, P. Poirazi, C. Rozell, B. Wyble, D.F.M. Goodman, K.P. Kording, Trends in Cognitive Sciences (2021).
View
| DOI
T. Achakulvisut, T. Ruangrong, P. Mineault, T.P. Vogels, M.A.K. Peters, P. Poirazi, C. Rozell, B. Wyble, D.F.M. Goodman, K.P. Kording, Trends in Cognitive Sciences (2021).