Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
J. Steiner, L.A. Sazanov, ELife 9 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8284
DOI: 10.7554/eLife.59407
WoS: 000562123600001
PMID: 32735215

Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8155
DOI: 10.15479/AT:ISTA:8155

SCF TI/AFB auxin signaling for bending termination during shoot gravitropism
H. Han, H. Rakusova, I. Verstraeten, Y. Zhang, J. Friml, Plant Physiology 183 (2020) 37–40.
LibreCat: https://research-explorer.ista.ac.at/record/7643
DOI: 10.1104/pp.20.00212
WoS: 000536641800018
PMID: 32107280

Normative models of enhancer function
R. Grah, B. Zoller, G. Tkadik, BioRxiv (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7675
DOI: 10.1101/2020.04.08.029405

The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7460
DOI: 10.15479/AT:ISTA:7460

On the average-case hardness of total search problems
C. Kamath Hosdurg, On the Average-Case Hardness of Total Search Problems, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7896
DOI: 10.15479/AT:ISTA:7896

Localizing grouped instances for efficient detection in low-resource scenarios
A. Royer, C. Lampert, in:, IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7936
DOI: 10.1109/WACV45572.2020.9093288
arXiv: 2004.12623

A flexible selection scheme for minimum-effort transfer learning
A. Royer, C. Lampert, in:, 2020 IEEE Winter Conference on Applications of Computer Vision, IEEE, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7937
DOI: 10.1109/WACV45572.2020.9093635
arXiv: 2008.11995

Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
LibreCat: https://research-explorer.ista.ac.at/record/8193

XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
LibreCat: https://research-explorer.ista.ac.at/record/8092
DOI: 10.1007/978-3-030-30671-7_3
arXiv: 1711.05139

Reconfiguration problems
Z. Masárová, Reconfiguration Problems, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7944
DOI: 10.15479/AT:ISTA:7944

Intermolecular forces and correlations mediated by a phonon bath
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8587
DOI: 10.1063/1.5144759
WoS: 000530448300001
arXiv: 1912.02658

In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8341
DOI: 10.15479/AT:ISTA:8341

Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
LibreCat: https://research-explorer.ista.ac.at/record/7580
DOI: 10.1073/pnas.1921027117
WoS: 000521821800040

Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8032
DOI: 10.15479/AT:ISTA:8032

Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
LibreCat: https://research-explorer.ista.ac.at/record/8195
DOI: 10.1007/978-3-030-53288-8_14
WoS: 000695276000014

Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
LibreCat: https://research-explorer.ista.ac.at/record/8012
DOI: 10.1145/3385412.3385980
WoS: 000614622300016

Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8358
DOI: 10.15479/AT:ISTA:8358

Generalizing CGAL periodic Delaunay triangulations
G.F. Osang, M. Rouxel-Labbé, M. Teillaud, in:, 28th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8703
DOI: 10.4230/LIPIcs.ESA.2020.75

Functional vs. parametric equivalence of ReLU networks
M. Phuong, C. Lampert, in:, 8th International Conference on Learning Representations, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7481