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.

5612 Publications


2020 | Published | Journal Article | IST-REx-ID: 8168 | OA
Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers. Philosophical Transactions of the Royal Society Series B: Biological sciences. 2020;375(1806). doi:10.1098/rstb.2019.0528
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8170 | OA
Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains. Physical Review Letters. 2020;125(1). doi:10.1103/PhysRevLett.125.013001
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Scientific Software | IST-REx-ID: 8181 | OA
Hauschild R. Amplified centrosomes in dendritic cells promote immune cell effector functions. 2020. doi:10.15479/AT:ISTA:8181
View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 8186 | OA
Henderson PM, Tsiminaki V, Lampert C. Leveraging 2D data to learn textured 3D mesh generation. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. IEEE; 2020:7498-7507. doi:10.1109/CVPR42600.2020.00752
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8188 | OA
Henderson PM, Lampert C. Unsupervised object-centric video generation and decomposition in 3D. In: 34th Conference on Neural Information Processing Systems. Vol 33. Curran Associates; 2020:3106–3117.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 8190 | OA
Sixt MK, Huttenlocher A. Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. 2020;219(8). doi:10.1083/jcb.202007029
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31. doi:10.1007/978-3-030-51074-9_2
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 14891 | OA
Lewin M, Lieb EH, Seiringer R. The local density approximation in density functional theory. Pure and Applied Analysis. 2020;2(1):35-73. doi:10.2140/paa.2020.2.35
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 15036 | OA
Rosa HVD, Leonardo DA, Brognara G, et al. Molecular recognition at septin interfaces: The switches hold the key. Journal of Molecular Biology. 2020;432(21):5784-5801. doi:10.1016/j.jmb.2020.09.001
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 15037 | OA
Moulinier-Anzola J, Schwihla M, De-Araújo L, et al. TOLs function as ubiquitin receptors in the early steps of the ESCRT pathway in higher plants. Molecular Plant. 2020;13(5):717-731. doi:10.1016/j.molp.2020.02.012
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 15055 | OA
Brázdil T, Chatterjee K, Novotný P, Vahala J. Reinforcement learning of risk-constrained policies in Markov decision processes. Proceedings of the 34th AAAI Conference on Artificial Intelligence. 2020;34(06):9794-9801. doi:10.1609/aaai.v34i06.6531
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 15057 | OA
Park S, Artan M, Han SH, et al. VRK-1 extends life span by activation of AMPK via phosphorylation. Science Advances. 2020;6(27). doi:10.1126/sciadv.aaw7824
[Published Version] View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 15061 | OA
Pinotsis N, Zielinska K, Babuta M, et al. Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin. Proceedings of the National Academy of Sciences. 2020;117(36):22101-22112. doi:10.1073/pnas.1917269117
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 15063 | OA
Cipolloni G, Erdös L, Schröder DJ. Optimal lower bound on the least singular value of the shifted Ginibre ensemble. Probability and Mathematical Physics. 2020;1(1):101-146. doi:10.2140/pmp.2020.1.101
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 15064 | OA
Bauer U, Edelsbrunner H, Jablonski G, Mrozek M. Čech-Delaunay gradient flow and homology inference for self-maps. Journal of Applied and Computational Topology. 2020;4(4):455-480. doi:10.1007/s41468-020-00058-8
[Published Version] View | Files available | DOI
 

2020 | Published | Conference Paper | IST-REx-ID: 15074 | OA
Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Brief announcement: Efficient load-balancing through distributed token dropping. In: 34th International Symposium on Distributed Computing. Vol 179. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.DISC.2020.40
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 15077 | OA
Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles. In: 47th International Colloquium on Automata, Languages, and Programming. Vol 168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.ICALP.2020.7
[Published Version] View | Files available | DOI | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 15082 | OA
Aichholzer O, Obmann J, Patak P, Perz D, Tkadlec J. Disjoint tree-compatible plane perfect matchings. In: 36th European Workshop on Computational Geometry. ; 2020.
[Published Version] View | Download Published Version (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 177 | OA
Browning TD, Sawin W. A geometric version of the circle method. Annals of Mathematics. 2020;191(3):893-948. doi:10.4007/annals.2020.191.3.4
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed