Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
K. Mysliwy, R. Seiringer, Annales Henri Poincare 21 (2020) 4003–4025.
LibreCat: https://research-explorer.ista.ac.at/record/8705
DOI: 10.1007/s00023-020-00969-3
WoS: 000578111800002
arXiv: 2003.12371

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.
LibreCat: https://research-explorer.ista.ac.at/record/10861
DOI: 10.1007/s10009-020-00582-z
WoS: 000555398600001

SCIM: Universal single-cell matching with unpaired feature sets
S.G. Stark, J. Ficek, F. Locatello, X. Bonilla, S. Chevrier, F. Singer, R. Aebersold, F.S. Al-Quaddoomi, J. Albinus, I. Alborelli, S. Andani, P.-O. Attinger, M. Bacac, D. Baumhoer, B. Beck-Schimmer, N. Beerenwinkel, C. Beisel, L. Bernasconi, A. Bertolini, B. Bodenmiller, X. Bonilla, R. Casanova, S. Chevrier, N. Chicherova, M. D’Costa, E. Danenberg, N. Davidson, M.-A.D. gan, R. Dummer, S. Engler, M. Erkens, K. Eschbach, C. Esposito, A. Fedier, P. Ferreira, J. Ficek, A.L. Frei, B. Frey, S. Goetze, L. Grob, G. Gut, D. Günther, M. Haberecker, P. Haeuptle, V. Heinzelmann-Schwarz, S. Herter, R. Holtackers, T. Huesser, A. Irmisch, F. Jacob, A. Jacobs, T.M. Jaeger, K. Jahn, A.R. James, P.M. Jermann, A. Kahles, A. Kahraman, V.H. Koelzer, W. Kuebler, J. Kuipers, C.P. Kunze, C. Kurzeder, K.-V. Lehmann, M. Levesque, S. Lugert, G. Maass, M. Manz, P. Markolin, J. Mena, U. Menzel, J.M. Metzler, N. Miglino, E.S. Milani, H. Moch, S. Muenst, R. Murri, C.K. Ng, S. Nicolet, M. Nowak, P.G. Pedrioli, L. Pelkmans, S. Piscuoglio, M. Prummer, M. Ritter, C. Rommel, M.L. Rosano-González, G. Rätsch, N. Santacroce, J.S. del Castillo, R. Schlenker, P.C. Schwalie, S. Schwan, T. Schär, G. Senti, F. Singer, S. Sivapatham, B. Snijder, B. Sobottka, V.T. Sreedharan, S. Stark, D.J. Stekhoven, A.P. Theocharides, T.M. Thomas, M. Tolnay, V. Tosevski, N.C. Toussaint, M.A. Tuncel, M. Tusup, A.V. Drogen, M. Vetter, T. Vlajnic, S. Weber, W.P. Weber, R. Wegmann, M. Weller, F. Wendt, N. Wey, A. Wicki, B. Wollscheid, S. Yu, J. Ziegler, M. Zimmermann, M. Zoche, G. Zuend, G. Rätsch, K.-V. Lehmann, Bioinformatics 36 (2020) i919–i927.
LibreCat: https://research-explorer.ista.ac.at/record/14125
DOI: 10.1093/bioinformatics/btaa843
PMID: 33381818

A commentary on the unsupervised learning of disentangled representations
F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, in:, The 34th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2020, pp. 13681–13684.
LibreCat: https://research-explorer.ista.ac.at/record/14186
DOI: 10.1609/aaai.v34i09.7120
arXiv: 2007.14184

Weakly-supervised disentanglement without compromises
F. Locatello, B. Poole, G. Rätsch, B. Schölkopf, O. Bachem, M. Tschannen, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 6348–6359.
LibreCat: https://research-explorer.ista.ac.at/record/14188
arXiv: 2002.02886

Stochastic Frank-Wolfe for constrained finite-sum minimization
G. Négiar, G. Dresdner, A. Tsai, L.E. Ghaoui, F. Locatello, R.M. Freund, F. Pedregosa, in:, Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 7253–7262.
LibreCat: https://research-explorer.ista.ac.at/record/14187
arXiv: 2002.11860

A sober look at the unsupervised learning of disentangled representations and their evaluation
F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, Journal of Machine Learning Research 21 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/14195
arXiv: 2010.14766

The relation between crosstalk and gene regulation form revisited
R. Grah, T. Friedlander, PLOS Computational Biology 16 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7569
DOI: 10.1371/journal.pcbi.1007642
WoS: 000526725200019

Novel imprints in mouse blastocysts are predominantly DNA methylation independent
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8813
DOI: 10.1101/2020.11.03.366948
PMID: PPR234457 

Maximizing crosstalk
R. Grah, T. Friedlander, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/9777
DOI: 10.1371/journal.pcbi.1007642.s002

Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8332
DOI: 10.15479/AT:ISTA:8332

Object-centric learning with slot attention
F. Locatello, D. Weissenborn, T. Unterthiner, A. Mahendran, G. Heigold, J. Uszkoreit, A. Dosovitskiy, T. Kipf, in:, Advances in Neural Information Processing Systems, Curran Associates, 2020, pp. 11525–11538.
LibreCat: https://research-explorer.ista.ac.at/record/14326
arXiv: 2006.15055

Scaling limits of discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, SIAM Journal on Mathematical Analysis 52 (2020) 2759–2802.
LibreCat: https://research-explorer.ista.ac.at/record/71
DOI: 10.1137/19M1243440
WoS: 000546975100017
arXiv: 1809.01092

Simulating liquids on dynamically warping grids
I. Hikaru, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, IEEE Transactions on Visualization and Computer Graphics 26 (2020) 2288–2302.
LibreCat: https://research-explorer.ista.ac.at/record/5681
DOI: 10.1109/TVCG.2018.2883628
WoS: 000532295600014
PMID: 30507534

Rotation of coupled cold molecules in the presence of a many-body environment
X. Li, Rotation of Coupled Cold Molecules in the Presence of a Many-Body Environment, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8958
DOI: 10.15479/AT:ISTA:8958

Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8386
DOI: 10.15479/AT:ISTA:8386

Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing
J. Kukucka, Implementation of a Hole Spin Qubit in Ge Hut Wires and Dispersive Spin Sensing, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7996
DOI: 10.15479/AT:ISTA:7996

Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
LibreCat: https://research-explorer.ista.ac.at/record/8272
DOI: 10.1007/978-3-030-53291-8_21
WoS: 000695272500021
arXiv: 2005.04018

Computational analysis of filament polymerization dynamics in cytoskeletal networks
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
LibreCat: https://research-explorer.ista.ac.at/record/7572
DOI: 10.1016/bs.mcb.2020.01.006
WoS: 000611826500008

Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins
N.S. Baranova, P. Radler, V.M. Hernández-Rocamora, C. Alfonso, M.D. Lopez Pelegrin, G. Rivas, W. Vollmer, M. Loose, Nature Microbiology 5 (2020) 407–417.
LibreCat: https://research-explorer.ista.ac.at/record/7387
DOI: 10.1038/s41564-019-0657-5
WoS: 000508584700007
PMID: 31959972

Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
LibreCat: https://research-explorer.ista.ac.at/record/8163
DOI: 10.1556/012.2020.57.2.1454
WoS: 000570978400005

A note on belief structures and s-approximation spaces
A. Shakiba, A.K. Goharshady, M.R. Hooshmandasl, M. Alambardar Meybodi, Iranian Journal of Mathematical Sciences and Informatics 15 (2020) 117–128.
LibreCat: https://research-explorer.ista.ac.at/record/8671
DOI: 10.29252/ijmsi.15.2.117
arXiv: 1805.10672

On the regularisation of the noise for the Euler-Maruyama scheme with irregular drift
K. Dareiotis, M. Gerencser, Electronic Journal of Probability 25 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/6359
DOI: 10.1214/20-EJP479
WoS: 000550150700001
arXiv: 1812.04583

Leveraging structure in Computer Vision tasks for flexible Deep Learning models
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8390
DOI: 10.15479/AT:ISTA:8390

Leveraging 2D data to learn textured 3D mesh generation
P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2020, pp. 7498–7507.
LibreCat: https://research-explorer.ista.ac.at/record/8186
DOI: 10.1109/CVPR42600.2020.00752
arXiv: 2004.04180

Generation of effective zinc-deficient agar-solidified media allows identification of root morphology changes in response to zinc limitation
S.A. Sinclair, U. Krämer, Plant Signaling &; Behavior 15 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7416
DOI: 10.1080/15592324.2019.1687175
WoS: 000494909300001
PMID: 31696764

Modelled distributions of Triebel–Lizorkin type
S. Hensel, T. Rosati, Studia Mathematica 252 (2020) 251–297.
LibreCat: https://research-explorer.ista.ac.at/record/9196
DOI: 10.4064/sm180411-11-2
WoS: 000558100500002
arXiv: 1709.05202

Structures of immature EIAV Gag lattices reveal a conserved role for I in lentivirus assembly
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7464
DOI: 10.1371/journal.ppat.1008277
WoS: 000510746400010
PMID: 31986188

Limits on amplifiers of natural selection under death-Birth updating
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7212
DOI: 10.1371/journal.pcbi.1007494
WoS: 000510916500025
arXiv: 1906.02785

A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/7196
DOI: 10.15479/AT:ISTA:7196

Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks
A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.
LibreCat: https://research-explorer.ista.ac.at/record/9198
arXiv: 1912.10095

The weighted mean curvature derivative of a space-filling diagram
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 51–67.
LibreCat: https://research-explorer.ista.ac.at/record/9157
DOI: 10.1515/cmb-2020-0100

The weighted Gaussian curvature derivative of a space-filling diagram
A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 74–88.
LibreCat: https://research-explorer.ista.ac.at/record/9156
DOI: 10.1515/cmb-2020-0101
arXiv: 1908.06777

Symmetric simple exclusion process in dynamic environment: Hydrodynamics
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8973
DOI: 10.1214/20-EJP536
WoS: 000591737500001
arXiv: 1811.01366

Density of rational points on a quadric bundle in 3×3
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.
LibreCat: https://research-explorer.ista.ac.at/record/179
DOI: 10.1215/00127094-2020-0031
WoS: 000582676300002
arXiv: 1805.10715

Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/9814
DOI: 10.6084/m9.figshare.5973013.v1

Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit
B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8285
DOI: 10.1103/PhysRevLett.125.043202
WoS: 000552227400008
PMID: 32794788
arXiv: 1912.10218

New designs and noise channels in electro-optic microwave to optical up-conversion
N.J. Lambert, S. Mobassem, A.R. Rueda Sanchez, H.G.L. Schwefel, in:, OSA Quantum 2.0 Conference, Optica Publishing Group, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/10328
DOI: 10.1364/QUANTUM.2020.QTu8A.1

A meta-learning approach to (re)discover plasticity rules that carve a desired function into a neural network
B.J. Confavreux, F. Zenke, E.J. Agnes, T. Lillicrap, T.P. Vogels, in:, Advances in Neural Information Processing Systems, 2020, pp. 16398–16408.
LibreCat: https://research-explorer.ista.ac.at/record/9633

Non-steroidal anti-inflammatory drugs target TWISTED DWAR-regulated actin dynamics and auxin transport-mediated plant development
S. Tan, M. Di Donato, M. Glanc, X. Zhang, P. Klíma, J. Liu, A. Bailly, N. Ferro, J. Petrásek, M. Geisler, J. Friml, Cell Reports 33 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8943
DOI: 10.1016/j.celrep.2020.108463
WoS: 000595658100018
PMID: 33264621

Nonlinear hydrodynamic instability and turbulence in pulsatile flow
D. Xu, A. Varshney, X. Ma, B. Song, M. Riedl, M. Avila, B. Hof, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 11233–11239.
LibreCat: https://research-explorer.ista.ac.at/record/7932
DOI: 10.1073/pnas.1913716117
WoS: 000536797100014
arXiv: 2005.11190

The Dyson equation with linear self-energy: Spectral bands, edges and cusps
J. Alt, L. Erdös, T.H. Krüger, Documenta Mathematica 25 (2020) 1421–1539.
LibreCat: https://research-explorer.ista.ac.at/record/14694
DOI: 10.4171/dm/780
arXiv: 1804.07752

Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8156
DOI: 10.15479/AT:ISTA:8156

 The local density approximation in density functional theory
M. Lewin, E.H. Lieb, R. Seiringer, Pure and Applied Analysis 2 (2020) 35–73.
LibreCat: https://research-explorer.ista.ac.at/record/14891
DOI: 10.2140/paa.2020.2.35
arXiv: 1903.04046

Differential loss of spinal interneurons in a mouse model of ALS
A. Salamatina, J.H. Yang, S. Brenner-Morton, J.B. Bikoff, L. Fang, C.R. Kintner, T.M. Jessell, L.B. Sweeney, Neuroscience 450 (2020) 81–95.
LibreCat: https://research-explorer.ista.ac.at/record/8914
DOI: 10.1016/j.neuroscience.2020.08.011
WoS: 000595588700008
PMID: 32858144

Enhancement of proximity induced superconductivity in planar Germanium
G. Katsaros, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8834
DOI: 10.15479/AT:ISTA:8834

Analysis scripts and research data for the paper "Mechanisms of drug interactions between translation-inhibiting antibiotics"
B. Kavcic, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8097
DOI: 10.15479/AT:ISTA:8097

Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)
L.S. Arathoon, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8254
DOI: 10.15479/AT:ISTA:8254

Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling
F. Gao, J.-H. Wang, H. Watzinger, H. Hu, M.J. Randi, J.-Y. Zhang, T. Wang, Y. Yao, G.-L. Wang, J. Kukucka, L. Vukusi, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J.-J. Zhang, Advanced Materials 32 (2020).
LibreCat: https://research-explorer.ista.ac.at/record/7541
DOI: 10.1002/adma.201906523
WoS: 000516660900001

Analysis scripts and research data for the paper "Minimal biophysical model of combined antibiotic action"
B. Kavcic, (2020).
LibreCat: https://research-explorer.ista.ac.at/record/8930
DOI: 10.15479/AT:ISTA:8930