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.

7994 Publications


2021 | Published | Conference Paper | IST-REx-ID: 10668 | OA
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10670 | OA
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10674 | OA
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10688 | OA
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10692 | OA
Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order
H. Polshyn, J. Zhu, M. Kumar, Y. Zhang, F. Yang, C. Tschirhart, M. Serlin, K. Watanabe, T. Tanaguchi, A. MacDonald, A. Young, in:, APS March Meeting 2021, American Physical Society, 2021.
[Published Version] View | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 10694 | OA
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10711 | OA
The distribution of the maximum of partial sums of Kloosterman sums and other trace functions
P. Autissier, D. Bonolis, Y. Lamzouri, Compositio Mathematica 157 (2021) 1610–1651.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10738 | OA
The Landau–Pekar equations: Adiabatic theorem and accuracy
N.K. Leopold, S.A.E. Rademacher, B. Schlein, R. Seiringer, Analysis and PDE 14 (2021) 2079–2100.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Draft | Preprint | IST-REx-ID: 10762 | OA
Artificial neural network states for non-additive systems
W. Rzadkowski, M. Lemeshko, J.H. Mentink, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Draft | Preprint | IST-REx-ID: 10803 | OA
Fairness through regularization for learning to rank
N.H. Konstantinov, C. Lampert, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Published | Journal Article | IST-REx-ID: 10806 | OA
Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate
M. Calcabrini, D. Van den Eynden, S. Sanchez Ribot, R. Pokratath, J. Llorca, J. De Roo, M. Ibáñez, JACS Au 1 (2021) 1898–1903.
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 9362 | OA
Inferring the function performed by a recurrent neural network
M.J. Chalk, G. Tkačik, O. Marre, PLoS ONE 16 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9363 | OA
Optogenetic delivery of trophic signals in a genetic model of Parkinson's disease
Á. Inglés Prieto, N. Furthmann, S.H. Crossman, A.M. Tichy, N. Hoyer, M. Petersen, V. Zheden, J. Bicher, E. Gschaider-Reichhart, A. György, D.E. Siekhaus, P. Soba, K.F. Winklhofer, H.L. Janovjak, PLoS Genetics 17 (2021) e1009479.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9368 | OA
mRNA surveillance complex PELOTA-HBS1 eegulates phosphoinositide-sependent protein kinase1 and plant growth
W. Kong, S. Tan, Q. Zhao, D. Lin, Z. Xu, J. Friml, H. Xue, Plant Physiology 186 (2021) 2003–2020.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9374 | OA
Homage to Felsenstein 1981, or why are there so few/many species?
R.K. Butlin, M.R. Servedio, C.M. Smadja, C. Bank, N.H. Barton, S.M. Flaxman, T. Giraud, R. Hopkins, E.L. Larson, M.E. Maan, J. Meier, R. Merrill, M.A.F. Noor, D. Ortiz‐Barrientos, A. Qvarnström, Evolution 75 (2021) 978–988.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9375 | OA
Haplotype tagging reveals parallel formation of hybrid races in two butterfly species
J.I. Meier, P.A. Salazar, M. Kučka, R.W. Davies, A. Dréau, I. Aldás, O.B. Power, N.J. Nadeau, J.R. Bridle, C. Rolian, N.H. Barton, W.O. McMillan, C.D. Jiggins, Y.F. Chan, Proceedings of the National Academy of Sciences of the United States of America 118 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Published | Journal Article | IST-REx-ID: 9376 | OA
Computational design of planar multistable compliant structures
R. Zhang, T. Auzinger, B. Bickel, ACM Transactions on Graphics 40 (2021).
[Published Version] View | Files available | DOI | WoS
 

2021 | Published | Journal Article | IST-REx-ID: 9379 | OA
The Wdr1-LIMK-Cofilin axis controls B cell antigen receptor-induced actin remodeling and signaling at the immune synapse
M. Bolger-Munro, K. Choi, F. Cheung, Y.T. Liu, M. Dang-Lawson, N. Deretic, C. Keane, M.R. Gold, Frontiers in Cell and Developmental Biology 9 (2021).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed